嵌入式操作系统的形式化验证方法

对嵌入式操作系统类安全关键软件,测试、模拟、分析等传统软件验证方法不能保证其正确性,需要使用形式化方法。综述了主流商用嵌入式操作系统所采用的形式化验证方法,分析了操作系统内核不同特性的形式化验证思路。通常对空间隔离、信息流控制、系统调用、进程间通信等的证明采用定理证明方式,而对时间隔离的证明则采用模型检测方式。 seL4的通用抽象和逐层精化方法、模型检测和定理证明的混合方法在工程使用中都有前途。     

民用飞机空调系统仿真分析

建立了系统主要部件数学模型,利用Matlab/Simulink平台开发了系统部件仿真模块、驾驶舱/客舱热载荷等模块,并搭建了某民用飞机空调系统仿真模型.在某国产商用飞机空调系统上加装了测试装置,并进行试验测试.通过仿真分析及试验结果比对发现,参数误差在2%以内,由此表明:建立的仿真模块具有较高的精度,提出的建模方法合理有效,对飞机空调系统设计、优化及适航符合性验证具有较高的使用价值.      

管道网络算法在涡轮内冷叶片换热计算中的应用

基于管道网络算法的概念,开发了适用于内冷通道换热计算的程序,耦合外流场求解程序HIT3D,以Mark II叶片实验工况5411的结果做验证,传热系数和温度的计算值与实验值有着较好的吻合.在此基础上,对某型高压涡轮动叶内冷通道的复杂流路,建立流体网络计算模型.对原型结构吸力面一侧叶顶新增一排气膜孔,并对前部和后部蛇形通道的两组相邻通道间新增连接起平衡作用的贯通孔各3个.改型设计和原型都用开发的管道网络程序计算流动和换热参数.结果显示:在入口冷气边界条件相同条件下,相对原型,改型设计最高温度和平均温度都有10K以上的降低,叶片吸力面局部高温区集中的状况改有所善.改型设计效果在CFX全三维模拟中亦得到证实.      

SiC/TC4复合材料横向拉伸应力集中系数的表征及试验验证

针对纤维均匀排布的单向纤维增强复合材料在横向拉伸荷载下基体产生应力集中的问题,提出了横向拉伸荷载下基体应力集中系数的表征方法。基于复合材料细观力学理论,通过编写程序在代表体积元(Representative Volume Element, RVE)模型上施加周期性边界条件,实现了单、双轴横向拉伸荷载下基体应力集中系数的计算,并通过单向纤维增强SiC/TC4复合材料板的横向拉伸试验验证了所建模型的有效性。利用所建模型计算不同纤维体积分数、材料组分以及温度条件下基体应力集中系数并分析其影响规律。计算结果表明:单轴横向拉伸应力集中系数随着纤维体积分数的增加而增大,双轴横向拉伸应力集中系数随着纤维体积分数的增加呈现出先减小后增大的趋势;在20℃～500℃区间内,单轴横向拉伸应力集中系数最大可达2.8,双轴横向拉伸应力集中系数最大达2.4。     

运输类飞机燃油箱可燃性适航符合性方法

基于国内运输类飞机适航认证需要,系统分析了CCAR/FAR25.981条款变迁历史、内涵与指标要求;并从型号申请人的角度针对适航取证过程中拟采取的符合性方法开展了初步探讨,归纳总结出不同类型油箱可燃性指标及符合性验证方法;在此基础上,研究了美国联邦航空局（FAA）官方颁布的油箱可燃性评估应用程序。研究表明:①燃油箱可燃性适航符合性验证工作重点是可燃性暴露时间评估方法的应用;不同类型油箱,所允许的机队平均可燃性暴露水平不同,其中,机身油箱是适航审定关注的重点;②为了确定隔舱的平均燃油温度、气相空间温度和油箱壁面温度,并根据平均燃油温度计算燃油箱隔舱的热时间常数和平衡温差以用于蒙特卡洛分析,最经济有效的方法是建立燃油箱热模型;③计算机队平均可燃性暴露时间的难点在于平衡温差与时间常数的准确获取,对于该问题,可以通过遗传算法追踪来予以解决。     

襟翼高升力系统和结构部件飞机维修手册程序验证研究

目前,我国民用飞机维修手册验证工作尚无相关标准和规范,亟需开展相关研究工作,争取早日建立完备的手册验证体系。在国产某型客机试飞阶段,结合试飞改装工作进行大批量维修手册操作验证工作,提出手册验证操作的技术要求、操作流程和实施要点;以襟翼高升力系统和结构部件的飞机维修手册验证程序为例,从实际操作可行性和省时性角度出发,开展手册验证计划编排和验证实施方法设计,总结维修操作难度较大的襟翼拆装程序编写实施要点、注意事项、常见维修性问题及改进方法,为后续验证工作提出建议。     

舰用燃气轮机棘爪式离合器结构优化

为了解决棘爪式离合器因无法承受电机产生的过大冲击载荷而失效的问题,对棘爪式离合器的结构进行分析与优化。在接口和外廓尺寸不变的条件下,采用棘爪柱销一体化设计和均载设计等方法,提出一种新的棘爪式离合器结构,并对其进行仿真分析、关键承力部件静力与冲击强度试验和舰用燃气轮机整机考核试验。结果表明:新的棘爪式离合器承载能力至少提高74%,在过大的冲击载荷作用下仍能正常工作,完全满足舰用燃气轮机的使用需求。     

基于改进Bezier曲线的复合叶轮式离心泵参数化设计及性能仿真

针对复合叶轮式燃油离心泵的高效设计问题,提出一种基于改进Bezier曲线的叶轮参数化设计方法,并进行了试验验证及性能仿真分析研究。通过引入比例系数来约束五点四次贝塞尔样条曲线的控制点参数,进而采用该改进的Bezier曲线方法完成叶轮的轴面轮廓型线设计。结合一级辅助叶片偏置设计方法,完成复合叶轮的参数化设计。基于上述方法,以某型燃油离心泵为例进行设计及三维建模。最后,通过外特性试验验证设计方法和仿真方法的有效性,并对所设计的复合叶轮式离心泵与普通叶轮离心泵进行性能仿真对比分析。结果表明：仿真与试验预测的扬程和效率结果基本吻合,所提出的设计方法和采用的仿真方法能够有效完成复合叶轮式燃油离心泵的参数化设计和性能仿真。此外,相比普通叶轮离心泵,复合叶轮式燃油离心泵压力分布相对均匀,无明显的流动损失,且进口流动有利于抗汽蚀性能。     

轴承腔油气两相流数值模拟的试验验证

为探索一种适于模拟轴承腔油气两相流流动特性的数值计算模型,建立了一套简化结构的轴承腔试验装置,通过试验研究获得了不同工况对轴承腔通风口出气比例和回油口滑油温升的影响规律.应用Fluent软件,采用Mixture多相流模型和Eulerian多相流模型分别搭配标准k-ε湍流模型和RNG(renormalization group) k-ε湍流模型对选定试验工况进行数值模拟.对比结果表明:当转速为2200r/min时,使用Mixture多相流模型搭配RNG k-ε湍流模型计算的滑油温升与试验值的相对误差仅为2.72%,体现了该计算模型在高转速时的精确性,并在此基础上获得了油气两相流速度场、压力场和温度场的分布特征.