变容量限制多阶段存储问题及其求解算法

本文给出了求变容量限制多阶段存储问题的最优存储方案的一个数值算法，证明了它的理论依据，并举例说明了算法的应用。该算法具有概念清楚、步骤明确、收敛性好、易于编程实现等优点，在存贮管理中有推广应用价值。     

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

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

热载与进口气流条件对柱肋通道换热的影响

目前关于燃气涡轮叶片冷却的实验研究多数是在常温常压进口气流和低壁温条件下进行的,而实际燃气涡轮叶片的冷却气流为来自于压气机的高温高压空气,且涡轮叶片壁面热载（定义为加热壁面壁温与冷却气流进口温度之比）很高。为了掌握热载与进口气流条件对于涡轮叶片尾缘内部冷却通道的冷却效果的影响,本文在考虑空气物性随温度变化的情况下,采用数值模拟方法进行了相关的计算和分析。计算选取了两种进口气流条件（常温常压、高温高压）,热载为1.1-1.9,进口气流雷诺数为5×103-1×105。计算结果表明,进口气流雷诺数一定的情况下,随着热载的增大,通道内换热能力降低,流动阻力系数增大;与常温常压进口气流条件相比,高温高压进口气流条件导致通道努塞尔数降低,并且努塞尔数在高热载条件的降低更为显著;在进口气流雷诺数为60000的条件下,高温高压进口气流、热载为1.9的条件下通道的努塞尔数比与常温常压进口气流条件、热载为1.1条件下通道的努塞尔数降低了15.8%,且随着进口气流雷诺数的提高,通道换热的削弱程度进一步增大。本文的研究表明,涡轮叶片的冷却设计必须考虑叶片冷却的实际条件,并对实验数据结果进行合理修正。     

基于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标准的嵌入式实时操作系统的测试方法。提出的测试模式解决了操作系统内核在目标机中难以测试的问题，同时对操作系统在目标机环境进行测试的一些具体问题给出了解决方案。方法既适合现阶段国军标对软件测试提出的要求，又保证了嵌入式操作系统软件测试活动与适航要求的符合性。     

非理想条件下认知蜂窝网络物理层安全传输方案

认知无线电技术可以解决频谱实际利用率不高的问 题，作为关键技术之一被引入下一代蜂窝移动网络中。同时，由于无线信道的广播特性和 不确定性，非理想条件下的信息安全传输问题不可回避。由于认知无线网络中主、次网络间 存在相互干扰，文中借鉴干扰对准思想，高效地管理和利用主、次网络之间的相互干扰，通 过优化设计发送预编码矩阵，尽量避免干扰合法用户接收，同时尽可能地对窃听节点实施阻 塞干扰。Monte Carlo仿真验证了非理想条件下干扰对准设计预编码矩阵的优越性，同时也 证实了信道估计精度在提高蜂窝移动系统传输性能和安全性能方面的重要性。