空间环模设备液氮系统中文丘利管的研究

通过对文丘利管的工作原理的分析，阐明了文丘利管在液氮系统中所起的作用，提出了文丘利管的设计计算方法。通过对现有设备液氮系统的改造，对该系统及文止利管进行了试验验证工作。这些工作所得到的结论对新型环境模拟设备液氮系统的设计提供了重要的参考依据。     

变转速下跨声速压气机的耦合扩稳方法

为了探索在不同转速下均可有效提高压气机失速裕度的扩稳方法，以跨声速压气机为研究对象，利用缝式机匣处理和叶顶喷气进行耦合设计，并参数化研究了缝数目、缝长、缝宽及喷嘴周向宽度对压气机性能的影响规律，结合非定常数值模拟揭示了耦合型机匣处理的扩稳机理。研究结果表明，在100%、80%、60%转速下，压气机失速裕度分别提高9.31%、8.26%、8.68%,设计点效率分别降低0.77%、0.23%、0.41%。缝数目、缝长、缝宽是影响压气机失速裕度及效率的显著因素，而喷嘴周向宽度对压气机失速裕度及效率的影响较小。耦合型机匣处理内形成了抽吸、喷气的耦合流动循环，耦合强度的增加有利于压气机失速裕度的提高，但会降低压气机效率。耦合型机匣处理提高了叶顶负荷，但降低了叶顶泄漏强度，极大消除了叶顶泄漏涡引起的叶顶堵塞，这是压气机失速裕度提高的主要原因。耦合型机匣处理具有在不同转速下均能有效扩稳的潜力。     

一种分裂形式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模型形式化验证方法，并给出验证属性的统计信息。