二阶矩-EBU模型用于两相反应流场的数值模拟

采用RNG k-ε紊流模型模拟紊流粘性,二阶矩-EBU紊流燃烧模型计算燃烧速率,六通量热辐射模型考虑辐射传热对两相反应流场的影响,在任意曲线坐标系下对航空发动机环形燃烧室三维两相反应流场进行数值研究。气相流场采用P ISO算法求解,液相采用颗粒轨道模型,并用PS IC考虑气液两相的耦合影响。对两种燃烧室的流场进行计算的结果与实验数据对比,表明该计算方法可靠,可为燃烧室性能的改善提供有用依据。     

自动飞行模式转换逻辑的形式化建模与验证

自动飞行控制系统（Automatic flight control system,AFCS）是现代飞机中重要的安全关键系统之一，飞行引导控制系统（Flight guidance control system,FGCS）是其重要的组成部分。FGCS中的飞行模式有数十种，模式转换逻辑十分复杂，在各个模式间转换时易出现模式混淆等问题，难以对其安全性和正确性进行验证。而利用计算机科学中的形式化方法，通过对安全关键系统进行形式化建模和验证，可以提高系统的正确性和安全性。本文以典型FGCS中的自动飞行模式转换逻辑作为研究对象，采用自主研制的软件工具ART(Avionics requirement tool)对其进行形式化建模与验证，并与Matlab/Simulink中的Design Verifier工具进行了验证能力和效率的对比分析。实例研究结果表明，采用形式化方法对FGCS的自动飞行模式转换逻辑进行建模、验证可行，所研制的软件平台具有更完善的验证能力和更好的验证效率。     

基于粘性伴随方法的涡轮叶片二次流损失优化设计

在航空涡轮叶片设计中,减少流动损失对改善涡轮叶片性能具有十分重要的意义。本文介绍了一种连续伴随方法在涡轮叶片优化设计中的应用,通过对某低展弦比涡轮叶片的根壁外形进行优化来减少二次流损失。首先通过改变叶高方向的安装角分布使得气流出口偏转角逼近目标分布,以此验证粘性伴随方法的精确性和有效性。其次,在优化二次流损失时,设计目标选取为叶片通道出口的熵增,同时满足出口流动偏转角约束。最后,分析讨论了叶片根壁外形变化对减小二次流损失及二次动能的影响。结果表明：该优化设计能有效地减小二次动能,从而提高叶片的效率。