不同组合方式双排孔射流气膜冷却特性研究

基于计算流体力学理论建立了气膜冷却射流的控制微分方程。采用Fluent对不同组合方式下双排孔射流气膜冷却特性进行了计算研究。根据实际工况,分析了不同吹风比下,上游孔顺向射流+下游孔顺向射流、上游孔顺向射流+下游孔逆向射流、上游孔逆向射流+下游孔顺向射流、上游孔逆向射流+下游孔逆向射流共4种不同组合结构的气膜冷却特性。结果表明,吹风比为0.3时,上游孔顺向射流+下游孔顺向射流组合展向平均气膜冷却效率较高,达到0.15左右;吹风比为0.8时,上游孔逆向射流+下游孔顺向射流组合展向平均气膜冷却效率较高,达到0.18左右;吹风比为1.4时,上游孔逆向射流+下游孔顺向射流组合展向平均气膜冷却效率,可以达到0.24左右。研究结果对涡轮叶片气孔结构设计有重要参考价值。     

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

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