对某装备任务系统软件故障的研究

通过对任务系统软件故障进行定位和分析，提出了基于互斥信号量对获取数据进行现场保护及在任务管理区增加对时间的容错处理的解决措施，并对其进行了分析和验证。     

基于ATML标准的ATS软件建模技术

论述了国外ATML标准体系结构和构成ATML标准所有子模型的描述方法,提出了在现有ATS软件平台基础上,实现兼容ATML标准所需的建模流程设计、模型识别及模型运行流程设计等技术途径,为实现ATS软件平台的通用性、开放性及武器装备各种维护级别的测试资源的共享奠定了技术基础。     

航天器软件风险集成管理方法

为确保航天器软件产品功能、性能符合任务需求,安全、可靠地完成飞行任务,需要对其进行风险管理。文章首先介绍了软件风险管理理论研究现状;然后结合航天器软件强实时性、高可靠性和安全性、维护困难等问题,提出了基于系统集成思想的软件风险控制方法;最后以某航天器为例介绍了该套方法的应用成果。研究结果可为识别航天器软件风险,提高软件产品质量提供参考。     

指令抗干扰性能研究

本文从分析指令的特性出发,研究了指令在外界干扰作用下的特性,提出了单故障相关指令对的概念,分析了单故障相关指令对的性质,提出了单故障相关指令集生成算法,讨论了不同类型指令在单故障情况下的效应,并作了初步分类,最后提供了部分故障试验结果。     

载人航天器密封舱内强制通风下的火灾温度场及流场特性仿真分析

文章建立微重力环境下载人航天器密封舱简化物理模型,利用FDS软件仿真分析火源在密封舱中心位置时不同送风角度（θ=0°、θ=45°、θ=60°）下舱内温度和烟气浓度的分布规律。分析结果显示：需要在大功率设备上方两侧布置火灾探测器;不同送风角度下的速度场不同,造成舱内温度分布规律也不同;当送风角度θ=45°、θ=60°时,密封舱内的烟气与θ=0°时相比更易排出。分析结果可为载人航天器密封舱内送风口及火灾探测器的设置提供参考。     

基于扩展块的星载软件控制流容错评价方法

空间环境因素引发的星载软件瞬态的控制流错误可能对系统执行效能造成严重影响，为避免容错算法存储开销和执行开销给系统带入过多的计算压力，提出在容错算法开销和所取得的系统的可靠性提升上取得一定折衷，这是星载软件可靠性设计的合理方向。设计了一种适合于弹性添加容错代码的容错方法：扩展块数字签名的控制流检测方法ESCFC（Extend block Signatures for Control Flow Checking）。由空间高能粒子的实验结果和在轨实测结果为系统可靠度建模，提出了算法开销和可靠性效能提升的平衡关系的工程参考和理论依据。定性分析和模拟，充分说明了将该方法运用于航天工程的可行性。     

"空军航空修理物资管理信息系统"的设计与实现

本文首先分析了空军航空修理企业的管理特点，然后详细论述了空军航空修理物资管理信息系统的设计原则、网络方案、总体结构及软件设计方法。     

基于对象关系模型的C＋＋程序静态分析器

面向对象程序设计技术给软件的测试和维护来了新困难。针对这些困难，提出了用于描述程序中对象类之间三种依赖的对象关系图模型，并研究了这一模型在软件测试和维护中的两个具体应用及其相应算法，为了从特定的面向对象程度设计语言Ｃ＋＋编写的程序中提取ＯＲＤ较信息，构造了一个逆向工程工具－Ｃ＋＋程序静态分析器，并对其实现上的一些关键技术进行了介绍。     

软件无线电侦察系统中的信号处理技术

软件无线电是无线通信领域特别是军事通信领域的一场革命,并已取得了长足的进展,软件无线电通信的侦察与对抗已成为一个十分紧迫的课题。本文对软件无线电侦察系统中的通信信号检测与分选技术进行了研究,为进一步研究提供了有用的参考。     

军用嵌入式可信软件研究

随着军用计算机技术的不断发展,软件在军用设备中的地位越来越重要。软件规模日益增大,安全性、可靠性等问题日益凸显。充分研究可信软件的特性,对提高我国军用装备技术水平意义重大。在总结学术界对可信软件定义的基础上,结合实际的军事嵌入式应用阐述了软件可信性特点。分析了国内外军用领域软件可信性的发展现状,总结了软件可信性的评估方法。