实时多任务操作系统的汉化

描述了实时多任务操作系统汉字处理中的特点，着重对操作系统中与设备无关的功能对汉化的影响，汉字外码内码的选择，汉化与实时性、多任务特性的相互影响等几个问题进行了讨论。     

用最大值原理求某无人机的最优上升轨迹

为改进某无人机飞行性能，应用最大值原理求解无人机在垂直平面内的最优上升轨迹，推导了无人机最经济爬升所满足的极值方程；并用此方程和最快爬升极值方程这两类目标函数求解了某无人机的最优上升轨迹，计算结果表明，经优化后的爬升轨迹可以节省燃油，延长无人机的续航时间或快速爬升到预定的终点高度具有较好的性能收益。     

自修复飞行控制的数学模型

对于无法使用冗余技术的结构故障及损伤，欲最大可能地保证飞机的飞行安全，最有前景的方法是采用自修复技术。本根据自修复飞机的特点，明确规范了自修复飞机的若干基本假设，提出了自修复飞机控制输入、操纵输入、指令输入、修复输入以及操控因子等特有的新概念，以及它们之间的相互关系，为研究飞机的自修复控制提供了简单可靠的数学模型结构。     

基于Klocwork的C/C++软件静态检查

为了保证基于Linux与VxWorks操作系统的C/C++软件代码的质量,需要对软件源代码进行Klocwork检查。分别以SVN与ClearCase作为配置管理工具,将Klocwork工具分别在不同的操作系统下完成安装与配置之后,对C/C++源代码进行Klocwork检查。介绍了Linux环境下配置管理工具SVN客户端安装、SVN版本库的代码更新、Klocwork工具的安装与配置、ClearCase版本库的代码更新、以及Klocwork分别在Linux与VxWorks操作系统下进行Klocwork检查的步骤。给出了Klocwork检查分别在Linux与VxWorks操作系统中的详细检查步骤与检查脚本,以及对已经被检查出来的缺陷的处理。典型案例表明,Klocwork检查有助于及时发现并解决C/C++软件源代码的各种缺陷,从而提高软件质量和安全性。     

维修可达性建模及其应用分析

通过对飞机维修中的各个因素进行分析,基于波音737系列飞机建立一个维修可达性模型,并对模型中的各个模块分别开展可视性、实体可达性、操作空间分析,进一步验证了该模型的可行性和实用性,可为我国大飞机设计项目提供技术理论方法。     

基于兰彻斯特方程的体系对抗过程分析与评估方法

以经典兰彻斯特方程为基础,通过对兰彻斯特方程的重新解释和推导以及对体系对抗过程本质的分析,建立了体系对抗作战方程,为体系对抗作战过程的定量分析提供了基本工具和方法。在此基础上,分析了体系对抗作战方程的应用领域和应用方法,给出了解算体系对抗作战方程的具体方法。最后,通过一个实例计算验证了体系对抗作战方程及其解算方法的合理性。     

捷联式重力定高引信的力学分析及其关键技术

根据地球的重力场特性控制弹道导弹的引爆高度，不但安全可靠，而且可以对抗电子干扰。保持惯性空间是测量重力场的重要保证。本文论证捷联式重力定高引信的力学原理，给出了详细的数学证明。最后根据实验结果，讨论了捷联式重力测高引信的关键技术。     

免维修使用期分析

基于传统的指数分布的平均故障间隔时间（MTBF）方法已经不能适应现代战争对装备效能和费用的双重要求，提出了免维修使用期（MFOP）的概念，并通过与MTBF对比分析了其含义，意义及与之相关的度量，费用，适用范围，预计模型和实现等问题，指出了MFOP不仅可应用于飞机，还可以应用于其他装备，并以导弹为例进行了分析。     

导航星全球定位系统及其应用

较详细地介绍了导航星全球定位系统（ＧＰＳ）的组成、功能和发展过程。对该系统的导航定位原理、方法、精度度量方法，以及影响导航定位精度的误差进行了分析。全球定位系统是一个具有巨大的发展潜力和深透能力的系统，它的应用范围已超出了其原来的设计要求。最后还介绍了导航星全球定位系统的应用情况。     

满足适航要求的嵌入式操作系统测试方法

以被定义为DO-178C Level A级软件的自主版权嵌入式实时操作系统为应用模型，提出了一种基于DO-178C标准的嵌入式实时操作系统的测试方法。提出的测试模式解决了操作系统内核在目标机中难以测试的问题，同时对操作系统在目标机环境进行测试的一些具体问题给出了解决方案。方法既适合现阶段国军标对软件测试提出的要求，又保证了嵌入式操作系统软件测试活动与适航要求的符合性。