着装体温调节数学模型的医学研究

本文利用隔热特性不同的六部分组成的飞行服,对经修改的六节段着装体温调节数学模型进行了检验。分别测量了中国人及其服装的生理和物理数据。在环境温度动态变化的条件下,对模型所预测的和实测的人体生理指标变化进行了比较,结果表明,符合较好。     

电液伺服阀衔铁组件综合性能检测及应用

从电液伺服阀及衔铁组件的工作原理出发,详细阐述了衔铁组件运动机理,通过公式推演为衔铁组件综合性能检测提供了一种有效的实现方法,即以外部力加载及位移加载的方式模拟衔铁组件实际工作过程中受到的力和位移大小。通过研制衔铁组件综合性能检测装置,获得了衔铁组件综合性能参数,并利用其进行不同衔铁组件对比试验,试验结果表明衔铁组件综合性能参数的有效控制可为伺服阀啸叫振动抑制提供了新途径。     

基于二次点火的飞行器横向转移入轨弹道设计

为了解决航天器发射过程因发射场地的地理位置约束造成的入轨夹角问题,基于火箭上面级二次点火,对航天器横向转移零速度偏差入轨弹道进行了设计。对二次点火和变射面横向转移弹道进行了研究,根据横向转移弹道特点,为简化控制程序,分时序对火箭二级非连续点火纵横向飞行程序进行了设计;并分析横向转移入轨弹道各项约束条件,建立弹道优化模型。根据弹道设计模型,以某两级液体燃料运载火箭为研究对象,对二次点火横向转移入轨弹道进行优化仿真。结果表明:入轨时刻航天器位置偏差为0.391m,速度偏差为1.277m/s,速度偏差比二次点火固定射面入轨弹道减少了737.844m/s,满足零速度偏差入轨精度要求。      

MD-82型飞机机身下部蒙皮腐蚀原因分析与防腐改进措施

分析了MD-82型飞机机身下部蒙皮产生腐蚀的原因,指出了该型飞机在防腐设计上存在的缺陷,并给出了一系列有效的防腐改进措施。     

基于AMESim主平台的Simulink/Flowmaster联合仿真技术研究

为更简便地实现AMESim,Simulink,Flowmaster三个软件平台的联合仿真,提出了一种基于AMESim主平台的Simulink/Flowmaster联合仿真方案,用AMESim平台调用Simulink模块接口以及AMESim/Flowmaster平台提供的二次开发的功能实现AMESim,Simulink,Flowmaster三个软件的联合仿真。先进行AMESim/Simulink平台间通信,通过两者间的软件接口将Simulink模块导出为AMESim可调用模块,实现联合。再进行AMESim/Flowmaster平台间联合,因AMESim/Flowmaster平台间无直接接口,用这两个软件提供的二次开发功能,通过读写数据库实现两者的数据通信,其中与读写数据库通信相关的函数库需提前开发。再次建立三个平台各自的模块,实现三者的联合仿真。案例证明了该联合仿真系统的可行性。该法可用于类似平台间的联合。     

一种分裂形式CPR格式在欠解析流动中的稳定性研究

基于重构的修正过程（correction procedure via reconstruction, CPR）方法是一种适用于非结构网格、紧致高效的高阶方法，但在离散非线性对流项时容易因为混淆误差的累积而出现数值不稳定。本文研究了基于LG (Legendre-Gauss)点分裂形式的CPR方法在欠解析流动中的稳定性，并将其与子单元限制技术结合，求解含激波的欠解析流动问题。结果表明：经过边界通量修正的LG点分裂形式CPR格式能够满足离散守恒律，且与子单元限制相结合后守恒律依然成立；在无激波的欠解析流动问题中，相比于散度形式CPR格式，分裂形式明显提高了计算的稳定性，而且比使用LGL(Legendre-Gauss-Lobatto)点的分裂形式CPR格式具有更小的数值误差；在含激波的欠解析流动求解中，相比基于LGL点的间断伽辽金谱元法子单元限制策略，基于LG点的分裂形式CPR格式子单元限制策略具有更高的分辨率和更小的振荡。     

基于NuSMV的AADL模型形式化验证技术

结构分析描述语言(AADL)是一种描述任务关键嵌入式系统架构和行为的建模语言，在航空航天领域广泛被应用。为验证AADL模型的任务关键属性和系统行为的正确性，提出基于NuSMV(新符号模型检查器)的AADL模型形式化验证方法。首先，覆盖AADL模型的所有软件构件和行为特征，提出了AADL模型到NuSMV模型的映射规则和转换算法；其次，采用图同构方法分析了转换算法的正确性；然后，在NuSMV模型中采用时态逻辑公式对AADL模型中待验证属性进行描述，以验证AADL模型中安全性、活性和嵌套模态配置的正确性；最后，以飞行控制系统为例，详细阐释了基于NuSMV的AADL模型形式化验证方法，并给出验证属性的统计信息。