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

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

指令抗干扰性能研究

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

基本型计算机遥测系统的遥测软件规划设想

本文对基本型遥测软件的特征作了说明。从遥测系统的使用角度,以及功能和性能等方面分析了遥测软件的需求特点,为遥测软件设计提供了依据。由于遥测数据处理的重要性和复杂性,着重对遥测数据处理作了进一步分析。提出按参数性质分类的遥测参数分类方法,和遥测数据处理的层次概念。最后,在以上分析的基础上提出基本型遥测软件开发的指导思想和原则,简要描述基本型遥测软件的规范,软件组织和外部接口。     

基于目标操作化的多引擎协作体系结构研究

基于目标操作化的域原子操作模型,研究分析了面向应用目标的系统设计与实现的基本问题,通过引入解释引擎,提出了面向目标的形式模型与应用软件设计实现的一体化机制;在系统级应用中间件之上,引入组件服务,提出了一个通过处理操作作业流实现目标的、多个操作服务引擎协作的体系结构,通过构造组件适配器,以满足操作服务引擎对异构组件服务的一致性访问.     

防止Ⅱ型驾驶员诱发振荡技术的研究

许多严重的飞行事故都与由速率限制引起的Ⅱ型PIO有关。针对如何预防PIO，首先介绍了自适应杆增益和软件限制环节的设计原理。然后以某带速率限制的电传飞机为例，运用同一理论，分析采用自适应杆增益和软件限制环节来改善速率限制的不利影响。仿真结果表明，自适应杆增益环节和软件限制环节都能抑制住PIO的发生，但两者组合加入抑制效果更好，飞行品质也能达到满意的程度。     

建立民航维修专家系统的分析

简要介绍了专家系统的原理及构成.分析了“设计民航维修专家系统”的过程,目前加拿大正着手研制的“先进的维修软件系统”的概况.最后提出专家系统需要解决的关键技术问题及发展情况.     

CMM管理体系在航天器海上测控软件工作中的应用探讨

软件质量三分靠技术七分靠管理，软件过程的规范管理和过程改善成为当前软件管理工作的棱心，CMM正是通过不断优化软件过程来实现软件质量控制的目的。本文主要阐述了CMM的概念和内涵，分析了CMM在我国的应用现状、CSMTC软件工作的现状和影响其软件质量的因素，探讨了CMM管理体系在CSMTC软件开发和维护工作中的应用意义和方法，给出了实施CMM管理需注意的几个问题。     

飞行器结构失效概率的分析

本文讨论了在服役期间的飞行器上金属铝制结构的失效模型,认为它是环境载荷及并发的疲劳共同作用的结果。其失效过程是初始裂纹萌生、裂纹增长、结构剩余强度的下降,最后导致结构破坏。本文以某飞行器为例,进行了结构失效概率的计算。此方法及公式可作为分析其它飞行器结构失效模式的参考。     

民用飞机初始备件计划研究及系统软件实现

国内民用航空制造业如今正在加速发展，而相应的备件工程与波音、空客都还是有一定的差距。结合ARJ21飞机项目研究了民用飞机初始备件计划模型，并在此基础上开发了备件计划软件系统，完成了初始备件计划工作的计算机化。     

DLR-F4翼身组合体的阻力计算

为了考察自行研发的CFD软件的计算能力和阻力计算精度，本文采用LU—SGS方法、MUSCL差分格式和Baldwin—Lomax代数湍流模型，数值模拟了AIAA阻力计算工作室提供的DLR—F4翼身组合体的绕流流场，综合分析了easel和case2的气动力的计算结果，并与NASA Christopher L．Rumsey采用CFL3D6．0和AFRL/VAAC Don W．Kinsey采用Cobalt60提供的两组计算结果以及AGARD提供的两种不同风洞的测力试验结果作了比较。计算结果表明，本文计算精度与国外CFD软件相当。为了提高激波，边界层干扰的模拟精度，今后要重点加强湍流模型的应用研究。