过载受限的变结构制导律滑动模态稳定域分析

针对实际导弹过载受限问题,基于到达条件,分析和确定了三维变结构制导律中滑动模态的稳定域.根据末端三维弹目相对运动学关系,建立了三维制导系统的数学模型,并以纵向平面模型和变结构控制中到达条件为基础,引入分段光滑连续函数,以三维平面间的耦合关系为出发点,从两个方面分析并确定了过载受限变结构制导律的滑动模态吸引区,证明其制导系统的稳定性.最后,针对零化视线角速率而设计的变结构制导律,确定了它的滑动模态吸引区,验证了理论分析方法的有效性.     

Linux内核技术分析及升级

针对Linux操作系统强大、稳定的功能,分析了其内核的诸多技术特性,并介绍了Linux内核升级的方法、步骤和注意事项.     

轴流压气机重复级边界条件的建立及其在流场数值诊断中的应用

本文对轴流压气机多级环境中存在的重复级流动现象的建立及其在流场数值模拟中的应用进行了研究。研究表明负荷是重复级现象建立的关键因素之一,在高负荷的情况下,压气机内很快就可到达重复级状态。另外,本文利用重复级流动模型建立了重复级边界条件,在此基础上,利用1.5 级对流场已达到重复级状态的多级流场进行了流场数值模拟,计算结果表明此方法在保证具有较好精度的前提下。      

象征型拟微分算子的L~2－有界性

证明了象征型拟微分算子的一个Ｌ２有界性定理，其中象征ａ（ｘ，ξ）关于ｘ的正则性条件被进一步减弱了。在某种意义下，该结果给出了定理Ａ与定理Ｂ之间的联系。     

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

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

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

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

基于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不仅可应用于飞机，还可以应用于其他装备，并以导弹为例进行了分析。