摘要：出于运营效率和飞行安全的考虑,民用飞机在航路终端区需有效减少飞行总系统误差(TSE),提高空域资源利用率。在此航段中,飞行技术误差(FTE)是最主要的组成部分,需采用引导控制一体化的设计思想,实现民机起飞/着陆段四维航迹精确跟踪,有效减小飞行技术误差。基于回路传递函数恢复(LTR)技术协调设计随机线性系统状态观测器和最优控制器,解决大气紊流作用下的民机飞行控制系统设计问题。在此基础上,引入自适应投影算子估计大气扰动导致的气动参数不确定性,并对其作用效果进行补偿。仿真结果表明,基于LQG/LTR(Linear Quadratic Gaussian/Loop Transfer Recovery)控制技术的自适应飞行控制律可以有效抑制气动参数不确定性影响,能够实现民机四维航迹/姿态一体化高精度控制的目标。

摘要：为避免复杂系统以可靠性、维修性、测试性和安全性为四性的设计中仍存在"割裂"现象,在确定四性一体化基本参数的基础上,约束可靠性等四性单性指标,建立了基于有色Petri网的复杂系统四性一体化综合评估方法。在JAVA环境下,基于有色Petri网,利用工具PIPE分别建立了复杂系统结构有色Petri网模型和综合评估有色Petri网模型,形成四性一体化综合评估有色Petri网模型。变迁触发时,将复杂系统的四性状态分为3类并分别染色。根据库所中的托肯颜色,判断复杂系统各项指标满足情况以及所处状态。重复迭代评估,实时跟踪复杂系统四性所处状态,实现四性一体化综合权衡设计。算例证明,四性一体化综合评估方法全面合理,验证了方法的有效性和准确性。

摘要：民机驾驶舱引入的新颖和独特的设计需表明对人为因素的适航符合性,因此在分析了以CS/FAR25.1302为代表的人为因素适航条款要求的基础上,制定了用于进行人为因素适航审定工作的专用条件,形成了民机驾驶舱人为因素适航符合性验证要求,确定了人为因素适航审定内容,给出了符合性验证资源的选择方法和试验结果的评价方法,规划了验证实施的流程,可为民机驾驶舱人为因素适航符合性验证与审定工作提供思路和方法。

摘要：随着民用飞机系统综合性能要求提高,飞行试验过程中潜在的各种随机风险越来越多。为降低民机试飞风险,建立了基于民机试飞过程的风险识别、分析、评估、管理工作体系。形成了民机试飞风险分析方法及使用过程,给出了民机试飞风险检查项目。开发民机试飞风险数据库,实现民机试飞风险文件管理、信息共享,减少试飞科目风险,提高民机试飞安全。

摘要：针对综合模块化航电系统(Integrated Modular Avionics,IMA)高度集成带来的故障传播问题,提出了基于AADL和HiP-HOPS的安全性分析方法。采用AADL语言对系统的架构及故障信息进行描述,建立其AADL体系结构模型。为了进一步对其进行安全性分析,提出了AADL模型向HiP-HOPS模型转化。利用HiP-HOPS可生成故障树和进行IF-FMEA组合失效分析,对IMA飞行规划系统故障传播进行安全性可靠性分析。实现了模型重用,减少了出错率,解决了IMA系统故障传播建模困难的问题。

摘要：对于安全关键系统,资源共享在不同功能之间引入了一些不可避免的互连,从而导致故障传播模式更加复杂,分析它们之间的关系变得更加困难。提出使用AADL(Architecture Analysis Design Language)建立系统模型并将其转换为GSPN(Generalized Stochastic Petri Net)模型。利用AADL错误附件不仅可以建立故障传播和组合故障的模型,而且可以将其转换为GSPN模型进行定量或者定性安全分析。以飞行控制软件系统为例,证明了利用AADL与GSPN建模并进行安全性分析是有效的。