摘要：针对软件开发中的一种软件验证技术———形式化验证技术进行研究,分析这种方法的原理和应用情况,并使用一个实例来说明这种方法在基于模型的软件开发中的使用方式,由这个过程可以看出,这种基于模型的形式化验证技术对于传统的软件验证方法来说是个有力的补充,对于一些高安全性的软件来说使用这种验证方式能有效提高软件的可靠性。

摘要：机载综合监视系统(I S S)作为目前先进大型客机航空电子系统的重要组成部分,主要实现气象、交通、地形监视功能。本文简单介绍了综合监视系统的功能和组成,并对其原理和特点进行了分析和阐述,给出了遵循ARINC 768标准的综合监视系统架构,并对综合监视系统的现状和发展趋势进行了探讨。

摘要：所需导航性能(RNP)运行是新航行系统的核心,其提出了航行方式从基于传感器导航到基于性能导航的转变,并且对飞机的系统架构设计及系统性能提出了新的要求。在设计阶段,对RNP系统的方案架构、性能和功能的有效评估和验证就显得十分重要。基于RNP系统的设计架构,该文主要介绍了RNP系统仿真验证平台架构的设计方案及对仿真软件的设计要求,其将用于对RNP系统整体的功能和性能进行评估、分析和验证,从而为飞机的系统研发提供重要的技术支持和验证手段。

摘要：音响告警作为吸引机组注意的手段,可以快速告知机组当前飞机存在需要其知晓的异常系统状态,也可用于告知机组当前的故障属性或为机组应采取的纠正动作提供指引。该文规划总结了民机音响告警设计应遵循的通用准则,并提供了建议的采用的音响告警,用于指导民机设计。

摘要：民用飞机机载维护系统为地勤维护人员维修飞机提供帮助,减少维护花费,降低航空公司的运营成本,成为当今民用飞机中一个重要组要部分。对机载维护系统的核心——故障诊断方法进行了研究,提出了民用飞机故障诊断功能设计的考虑。

摘要：无线电调谐控制板仿真器用于连接通信导航监视系统内HF、VHF、SATCOM、GLU等真实或仿真设备,实现对上述设备的调谐与控制,并将来自通信导航系统外的FMS导航控制参数路由到相关导航设备,当FMS不能正常控制这些导航设备时,无线电调谐控制板仿真器提供备份控制功能。

摘要：围绕地形提示和警告系统(TAWS)的基本功能,展开探讨了一种基于TAWS基本功能的改进设计用于防止人为恶意坠机事件的发生。

摘要：民用飞机机组告警系统的作用是吸引飞行机组的注意,使其知晓飞机和飞机系统出现的失效或故障,或出现的其他非正常条件。现代飞机机组告警系统的设计也需要对机组可能要采取的措施加以提示。本文在总结相关指南材料的基础上,进一步整理不同规范和指南间的共同点和不同点,以期定义一个较为合理的机组告警系统架构。

摘要：随着电磁环境日益复杂,混响室在电磁兼容(EMC)测试中已经不可缺少,混响室对于系统/设备的电磁抗干扰能力测试具有重要意义。系统地介绍了混响室的发展历程、工作原理、建模仿真、设计原则、校准以及电磁辐射抗扰度测试方法,为我国大型飞机系统/设备级电磁兼容测试提供参考。

摘要：世界范围内持续增长的空中运输对民用航空提出了巨大的挑战。尽管运输量增加,但事故数量却必须减少。为了实现这个宏伟的目标,必须对航电机载设备和驾驶舱人机接口进行改进。在分析合成视景系统和视景增强系统的基础上,指出在飞机的所有飞行阶段均能向飞行员提供最优化情景意识的综合监控和驾驶舱显示控制系统将是未来民用飞机驾驶舱发展的必然趋势。