综合模块化航电的安全性分析理论与适航评估

综合模块化航电是未来民机发展趋势。IMA系统硬件架构复杂,需要健壮的软件系统支撑,必须予以充分的理论研究,评估系统安全风险以满足适航取证要求。结合系统安全性分析理论和基本方法,本文重点讨论了在IMA研究和应用中需要注意的技术问题,以期为型号研制提供理论和方法支撑。     

安全关键软件可靠性验证测试研究

针对现有的安全关键软件可靠性验证方案与可靠性验证测试加速过程进行分析和总结,提炼出每一种方案和加速过程的内容与适用范围,从而帮助软件可靠性测试人员能有效地选择最为合适的可靠性验证测试方案与加速过程。从而提升软件可靠性验证测试的工程应用能力,确保安全关键软件的可靠性水平。     

航改燃气轮机高低压压气机匹配技术研究

为适应航改燃气轮机研制需求,对其高低压压气机匹配技术进行了深入分析和研究.在完成设计压比相差大的高低压压气机设计特点和匹配特点研究基础上,利用多软件数值模拟和理论分析相结合的方法,制定了设计压比相差大的高低压压气机匹配的技术措施,并将技术措施落实到了全新设计的5级低压压气机设计中.5级压气机试验件试验结果全面达到或超过了设计指标要求,同时经燃气发生器技术平台验证结果表明:高低压压气机匹配良好,相关匹配设计技术为今后航改燃气轮机的研制提供了技术储备.     

倾转旋翼飞行器的建模和操纵分配策略

针对倾转旋翼飞行器试飞样机建立了旋翼、机翼、短舱、机身、平尾、垂尾等部件的非线性气动模型和飞行动力学模型,研究了直升机模式、倾转过渡模式和飞机模式下的操纵特性,根据配平分析和小扰动线性化处理结果得到了不同飞行模式下的操纵效率,提出了一套适用于全飞行模式的操纵分配策略,解决了飞行控制随飞行模式变化出现的气动结构部件变化与操纵冗余的难题.利用所提出的操纵分配策略可使飞行控制器统一设计,无需按不同飞行模式设计不同控制律,有效降低了飞行控制器的设计难度.仿真验证了倾转旋翼飞行器飞行动力学模型的可信性和操纵分配策略的有效性.      

民用飞机止动器对于FAR 25.675 条款的适航符合性验证

活动翼面在大型民机上大量存在,为满足FAR§25．675条款要求,都需要设置止动器并对该止动器结构进行详细的设计。通过实例分析,对缝翼止动器FAR§25．675条款适航符合性验证思路和方法进行了说明,给出了一种满足FAR§25．675条款的缝翼止动器设计方法。通过对该条款符合性验证的实例分析,对设计止动器结构提供了有益的思路,为民用飞机止动器设计顺利通过FAR§25．675条款的符合性验证提供了借鉴。     

飞机燃油系统健康管理体系研究

健康管理技术是提升高风险复杂技术装备安全性、可靠性的关键技术之一。本文以飞机燃油系统为对象．依据健康管理系统基本框架,构建了飞机燃油系统健康管理体系。在对其子系统进行FMECA分析的基础上,确定了飞机燃油系统健康管理状态监测要素,并对故障诊断及健康预测的方法进行了探讨。     

航空制造与维修质量特性

制造与维修质量是航空器固有安全性与可靠性的形成、保持、恢复的基本保障,是航空器保持初始适航与持续适航的基础。从质量管理学的基本理论出发,以质量及质量特性的定义及内涵为着眼点,分析了质量与安全的内在联系,航空制造质量特性及维修质量特性的形成过程及逻辑关系,为民航业相关从业人员进一步增强质量意识与安全意识提供一些个人见解。     

天空之眼——高空远程UAV的发展

无人飞行载具（Unmanned Aerial Vehicle，UAV）不仅具有多样性与低成本的优点，而且也无须冒损失飞行员的风险，近五年来通过在全球战事与纷争中的表现，已经使它成为世界上主要国家的首选武器装备。同时也由于可以执行3D任务（无聊“Dull”，肮脏“Dirty”，危险“Danger”）以及设计与制造技术门槛低，又不用通过繁琐的航空验证程序，使它也成为许多国家积极发展的航空产业项目之一。     

心中最美是火箭--记长征二号F运载火箭总设计师刘竹生

2005年10月12日,执行我国第二次载人飞行发射任务的长征二号F运载火箭再显神威,以雷霆万钧之势,直刺苍穹,将载有两名航天员、进行多天飞行的神舟六号飞船送入太空,创造了中国航天史上又一座新的里程碑。“神六”发射成功,再一次证明,长征二号F运载火箭是具有极高可靠性和安全性     

嵌入式处理器P2020机器码程序到C语言源程序的溯源方法

处理器PowerPC P2020在航空航天等嵌入式领域被广泛应用,以RTCA/DO-178C中A级软件的适航要求作为研究的出发点,提出了从文件、函数声明、函数体代码3层次实现P2020机器码程序到C源程序的溯源方法。在获取C语言源程序与PowerPC P2020机器码程序文件名列表的基础上,实现PowerPC P2020机器码文件主名的溯源;通过遍历C源程序抽象语法树和PowerPC P2020机器码获取函数名列表,实现PowerPC P2020机器码函数声明的溯源;通过定义C语言程序抽象语法树节点生成期望汇编指令序列的规则,实现PowerPC P2020机器码函数体的溯源。通过设计245个C源程序文件与345个PowerPC P2020机器码程序文件,1 111个C语言函数声明与1 273个PowerPC P2020机器码函数声明,以及覆盖C语言程序23类语法结构的460个测试用例,验证了PowerPC P2020机器码程序到C源程序的自动化溯源方法的有效性。结果表明：文件溯源和函数声明溯源的追溯匹配率达100%,程序函数体代码的平均溯源匹配率达97.22%。溯源匹配结果可以检查PowerPC P2020机器码程序是否在编译过程插入例外异常代码,以防止其带来的安全隐患,保证航空航天嵌入式安全关键软件机器码的安全性和可靠性。