面向安全属性的软件组件可信依赖关系度量模型

随着软件的应用规模越来越大,软件系统一旦出现故障,很可能会造成人员伤亡或财产等重大损失,因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域,作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件受到安全攻击或缺陷出现时,可信性会下降,会影响到与它可信关联的组件可信性,从而影响到整个系统的可信...     

一种新的射频仿真目标位置控制方法与软件研究

针对射频目标仿真系统中目标位置的控制，本文通过对国内外目标位置控制的常用方法进行研究，提出一种新的通用目标位置控制方法，该方法适用于任何天线分布的面阵。利用这种新的方法编写了基于三元阵天线阵面的射频仿真目标位置控制软件，实现对多目标在天线阵面上多种轨迹运动下的高速准确的定位，并能实时监视目标的运动状态和运动轨迹。     

基于动态库的星载软件可重构设计与实现

针对卫星在轨运行、长期处于无人值守状态,主要依靠星载软件的安全性和可靠性来保证整星任务的稳定工作。复杂多变的空间环境可能会引起星载器件的异常变化,从而导致星载软件异常,甚至发生软件"衰老"。本文在分析现有可重构方案基础上,提出了一种利用动态库的静态链接方式实现在轨可重构的方案,针对存在软件缺陷,或者需要功能升级和拓展的模块,利用遥控上注手段,采用MD5算法对数据文件完整性校验通过后,写入文件系统,并对原动态库文件作备份处理,以便版本回退。以具体实例对本文所述方案的可行性和有效性进行验证,结果表明:在嵌入式操作系统架构下,利用本方案实现星载软件可重构,能够有效提升星载软件在轨实施可重构的可靠性和安全性,进一步为星载软件的扩展和灵活应用提供支撑。     

航电系统集成验证环境中的试验总控系统建设

针对国内军用航空修理行业系统级综合试验现状,根据航电集成验证环境中总控系统的特点和应具有的基本功能,结合视情维修需求及现代软硬件技术状态和成熟试验验证的手段,介绍了航电系统集成验证环境中总控系统的建设思路,给出了总控系统硬件及上位机测试软件的实现方案。该总控系统的应用将提升航电系统的修理验证能力。     

基于三维场路协同方法的静电损伤仿真测试平台

静电放电已经逐渐成为导致各类电子设备故障的主要原因之一,在电子产品研制过程中通常采用实物测试方式检验产品抗静电能力,但该方式耗费资金过大、可重复性差同时易损伤受试设备。在这种情况下,建立基于三维场路协同方法的静电损伤仿真测试平台有效地解决了上述问题。该平台以电脑仿真技术（CST）软件为基础,通过构建静电放电枪模块,结合受试设备模块和仿真参数设置模块,以时域有限积分法求解器进行仿真,并利用数据输出和处理模块得出结果。利用建立好的仿真测试平台对一台数据传输设备进行8 kV接触放电,观察其表面电流和磁场分布,并对其造成的传导干扰和辐射干扰进行分析。通过建立静电损伤仿真测试平台,实现了静电放电测试的可重复以及无损伤的目的,具有较强的工程指导意义。      

Remote upgrading of a space-borne instrument

The main purposes of experiment “Obstanovka” (“Environment” in Russian) consisting of several instruments are to measure a set of electromagnetic and plasma phenomena characterizing the space weather conditions, and to evaluate how such a big and highly energy consuming body as the International Space Station disturbs the surrounding plasma, and how the station itself is charged due to the operation of so many instruments, solar batteries, life supporting devices, etc. Two identical Langmuir electrostatic probes are included in the experiment “Obstanovka”. In this paper the Langmuir probes for “Obstanovka” experiment are described, including the choice of geometry (spherical or cylindrical), a more reliable method for the sweep voltage generation, an adaptive algorithm for the probe’s operation. Special attention is paid to the possibility for remote upgrading of the instrument from the ground using the standard communication channels.     

I-DEAS软件在单相流体回路辐射器热分析中的应用

以神舟飞船单相流体回路辐射器为例,介绍了采用I-DEAS软件进行辐射器热分析研究的方法,包括建模、划分网格、计算及后处理等,并将仿真分析结果与热试验结果进行了对比。结果表明：采用I-DEAS软件对单相流体回路辐射器热分析具有很好的实用性和计算精度,显著降低了辐射器热分析的难度,并在一定程度上简化了前期设计中热试验验证的需求。     

超精密车床液体静压主轴环境动态测试系统设计

本文介绍了超精密车床液体静压主轴环境动态测试系统的用途。设计了系统的总体方案,详细介绍了硬件电路,并基于Measurement Studio软件包和DAM3000M接口开发了测控软件。     

GJB5000A软件测量指标的研究与应用

讨论了型号软件GJB5000A的测量与分析过程,采用系统论方法,阐述了三级测量目标、测量项的确定,对测量指标存在的涌现性进行了探讨,在此基础上举例说明如何在三级贯标项目中进行软件测量指标的选取。通过将近一年时间的GJB5000A项目实施,证明了测量指标选取有效性,以及测量指标存在的涌现性命题。     

一种高速可靠的大体量星载软件重构方案设计

随着星载软件的复杂度与体量不断增加,对软件在轨重构并进行更新维护的功能愈发重要。当软件越来越大时,使用低速通道进行重构的方案在时间上难以满足在一个测控弧段内重构软件的需求。同时,大软件使得数据存储空间更为紧缺,无法使用三模冗余等传统方法保证程序数据的可靠安全。因此,本文提出了一种使用高速通道的可靠的大体量星载软件重构方案。以固化在PROM （可编程只读存储器）上的引导监控程序作为根本保障,构建一个存于MRAM （磁随机存储器）上专门用于高速重构软件的安全模式程序作为方案核心,并给星载软件加入自重构功能作为最常用的重构方式。通过地面测试与在轨实验表明：该方案能够保证大体量软件重构功能的高速度与高可靠性,让星载软件的更新与维护更加安全与便捷。