基于模型检查的民用飞机飞控系统安全性评估

在以大型民机为代表的安全关键系统研制中,系统复杂度的提升极大地降低了依赖设计人员经验的传统安全性评估手段的效率与有效性,并带来了反复迭代困难等问题,基于模型的安全性评估方法(MBSA)能够显著降低研制过程的分析复杂度,提高安全性评估的工作效率。民机系统安全性评估指南ARP 4761A中也增加了MBSA相关的安全性评估工作。阐述了利用有限状态机与时态逻辑构建形式化安全性模型,开展安全性评估的基本原理,详细的分析过程及定义安全属性的方法,并以某民用飞机为对象,建立飞控系统副翼控制功能的SMV形式化模型,定义了副翼控制功能的形式化安全性需求,给出了基于形式模型的安全性属性验证评估案例,证明了基于形式化方法的安全性评估在民机系统安全性工作中的可行性。     

飞机结构数字孪生关键建模仿真技术

飞机结构安全性设计思想经历了从静强度设计、安全寿命设计、损伤容限与耐久性设计到单机追踪的演变,未来有进一步向结构数字孪生的方向发展的趋势。飞机结构数字孪生是数字线程驱动的,多学科、多物理、多尺度、多保真度、多概率的模拟仿真系统,采用在线传感器监测、离线地面检查、飞机运行历史等多源数据,反映并预测对应飞机结构实体在全寿命周期内的行为和性能,有望革新现有的飞机结构使用和维护模式。面向疲劳寿命管理,提出飞机结构数字孪生的5项关键建模仿真技术,分别是载荷和损伤的数据获取技术、多尺度建模和力学分析技术、含裂纹复杂结构的精确高效仿真技术、基于降阶的数字孪生高效建模技术和考虑不确定性与多源异构数据的剩余寿命评估技术,并详细探讨这五项关键技术的研究现状与发展方向,为飞机结构数字孪生的系统研究与工程应用提供参考。     

载人运载火箭技术回顾与展望

载人运载火箭是运载火箭家族中一个比较特殊的种类。通过对历史上载人运载火箭发展的简单回顾,总结了载人运载火箭的主要特点。从载人运载火箭总体设计、分系统设计等方面展望了未来载人运载火箭设计需求,供未来载人运载火箭的设计参考。     

马尔可夫分析在系统安全性评估中的应用研究

安全性分析是适航符合性验证的重要方法。对马尔可夫分析在系统安全性评估中的应用进行了深入研究,阐明了马尔可夫分析的作用与应用时机,结合功能危险状态“V1速度后起落架无指令收起”分别给出了在初步系统安全性评估与系统安全性评估中进行马尔可夫分析的一般方法,将马尔可夫分析与故障树分析的结论进行了对比,袁明了本文方法的适用性。     

火箭装药积形变力学特性的研究

本文论述了体积形变的粘弹行为，提出了实时体和只形变非接触测试系统，通过实验研究，给出了固体推进剂的体积蠕变柔量、体积松弛模量和材料的初始气孔率。其结果对药柱强度分析分析计算，配方工艺研究和使用寿命预测均具有实用意义。     

三维组合药型单室双推力发动机燃面与内弹道计算

基于有限容积的思想，构造任意形状的三维药柱燃面退移通用计算方法，并推广应用于嵌金属丝推进剂的燃面计算。计算过程只关心燃面的始态和终态，可完全避开错综复杂的几何燃面变化规律，实现任意药型下多推进剂、变燃速燃面退移的计算机数值模拟。在此基础上，对三维组合药型单室双推力发动机进行了喉部烧蚀条件下的内弹道计算，同时与试验结果进行比较，取得了较好的效果。     

固液混合火箭发动机仿真与优化设计

建立了固液混合火箭发动机的仿真模型和相应的单目标和多目标优化模型,编制了系统仿真程序;采用差分进化算法针对不同的优化目标对发动机的参数进行优化;针对挤压式系统建立了质量模型,在优化过程中考虑了主要部件结构质量对发动机性能的影响;针对固液发动机常用的侧面燃烧药柱编制了内弹道计算程序。以药柱几何参数、氧化剂流量、燃烧室平均工作压强和喷管扩张比等参数为设计变量,对发动机平均比冲、总质量、关机时飞行速度和密度比冲等性能参数进行优化,在Pareto分析的基础上选择了氧化剂流量、燃烧室平均工作压强和喷管扩张比对发动机性能的影响作了深入研究;最后对某型固液发动机进行了优化分析。     

分层架构下基于模型的软件—体化开发

日益复杂的软件功能,高安全性系统的苛刻要求以及不断压缩的研制周期等因素推动了软件开发方法的创新。本文以机载软件为对象,介绍了基于模型和分层架构的一体化软件开发与验证方法。     

冲击激励转子系统动力学响应及安全性设计

叶片丢失是高涵道比涡扇发动机适航认证的关键,是影响结构完整性和安全性的关键问题。针对叶片丢失产生的冲击载荷激励,开展了转子结构系统的动力响应机理和安全性设计方法研究,为发动机结构完整性设计提供支撑。建立了高速柔性悬臂转子系统动力学模型,考虑了刚度质量分布特征、载荷传递特征、转静件耦合特征。通过理论和试验,揭示了突加不平衡激励和超大不平衡转子受到持续的冲击碰摩作用过程中,转子振动响应和轴承支反力响应特征。结果表明,支承结构是影响系统存亡的关键环节。提出了提高整机系统安全性的变支承刚度设计方法,在保护轴承完整性、避免抱轴的同时,也降低了系统的振动响应。基于整机模型的叶片丢失全过程的算例仿真分析表明,该方法使支点所受峰值载荷降低了46%,验证了安全性设计策略的有效性。