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

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

液压多点协调加载技术在机翼载荷校准试验中的应用

载荷校准试验是飞机飞行载荷测量的关键技术环节,而校准试验载荷的加载方式、载荷量级的大小直接影响着载荷建模及飞行实测载荷精准度。本文提出的液压多点协调加载技术,可实现飞机机翼多点、自动控制、协调加卸载,与以往人工单点加载试验相比,载荷量级提高到了机翼限制载荷的40%以上,并可模拟机翼在飞行时气动载荷的压心分布情况进行试验加卸载,提高了试验载荷模拟飞行载荷的真实程度。采用多点协调加载数据建立机翼的载荷方程,较以往单点数据,方程精度提高了4%以上,为提高实测载荷精度奠定了坚实的基础技术。     

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

建立了系统主要部件数学模型,利用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）官方颁布的油箱可燃性评估应用程序。研究表明:①燃油箱可燃性适航符合性验证工作重点是可燃性暴露时间评估方法的应用;不同类型油箱,所允许的机队平均可燃性暴露水平不同,其中,机身油箱是适航审定关注的重点;②为了确定隔舱的平均燃油温度、气相空间温度和油箱壁面温度,并根据平均燃油温度计算燃油箱隔舱的热时间常数和平衡温差以用于蒙特卡洛分析,最经济有效的方法是建立燃油箱热模型;③计算机队平均可燃性暴露时间的难点在于平衡温差与时间常数的准确获取,对于该问题,可以通过遗传算法追踪来予以解决。     

民用飞机维修手册验证方法研究

国产民用飞机维修程序存在验证方法不完善的问题,有必要对其验证方法进行研究。根据飞机维修手册技术中的程序类型和程序内容,介绍三种验证方法;在 S1000D 标准提出的书面验证和操作验证方法基础上,结合国产民用飞机的验证实践与总结,提出维修使用验证子方法和维修专项验证子方法,阐述两类子方法的适用范围;提出评估/模拟验证方法及其四类子方法,并进行实例验证。结果表明：本文提出的民用飞机维修手册验证方法有效,对飞机维修手册验证的开展具有参考意义。     

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

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

某轻型直升机应急医疗设备改装试验和试飞适航验证方法研究

直升机因其自身的机动特性,能够满足城市应急救援的运输和救护需求,日益成为城市应急医疗服务系统的重要组成部分。目前,应急医疗服务系统通航加改装需求很大,改装需要进行试验和试飞验证,国内此类改装适航取证的案例较少。本文基于某轻型直升机应急医疗设备改装适航取证工作经验,对改装取证的试验和试飞工作进行分析说明,为同类型改装工作提供参考。     

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

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