Performability analysis of avionics system with multilayer HM/FM using stochastic Petri nets

The integrated modular avionics (IMA) architecture is an open standard in avionics industry, in which the number of functionalities implemented by software is greater than ever before. In the IMA architecture, the reliability of the avionics system is highly affected by the software applications. In order to enhance the fault tolerance feature with regard to software application failures, many industrial standards propose a layered health monitoring/fault management (HM/FM) scheme to periodically check the health status of software application processes and recover the malfunctioning software process whenever an error is located. In this paper, we make an analytical study of the HM/FM system for avionics application software. We use the stochastic Petri nets (SPN) to build a formal model of each component and present a method to combine the components together to form a complete system model with respect to three interlayer query strategies. We further investigate the effectiveness of these strategies in an illustrative system.     

航空常用铝合金动态拉伸力学性能探究

利用分离式Hopkinson拉杆设备对五种航空常用铝合金2A12-CZ,2A12-M,2024-T351,7050-T74,7050-T7451进行了室温动态拉伸力学性能探究,并利用电子万能试验机对这五种材料进行了准静态拉伸力学性能测试,得到了五种铝合金在不同应变率下的拉伸真实应力应变曲线。试验结果显示:7050系列铝合金有较高的屈服强度,2A12M抗拉强度则最低。五种航空铝合金都表现出不同程度的正的应变率敏感效应,其中2A12-CZ敏感性最强,7050T7451敏感性最弱。五种铝合金动态拉伸失效应变明显大于准静态拉伸失效应变。2A12M与2024T351有较高的动态拉伸失效应变。在试验结果的基础上,选择Johnson-Cook本构模型,Cowper-Symonds本构模型来拟合这五种材料的动态本构,模型预测与试验结果吻合较好。     

一种可靠的MDIO接口逻辑设计

本文介绍了一种可靠的MDIO 接口逻辑设计的方法。目前已使用在AFDX交换机专用集成电路芯片上。该设计采用VHDL 进行描述,并使用Modelsim进行了仿真,结果表明,该设计的正确性和可靠性。同时在AFDX交换机板级调试过程中,也验证了设计的正确性。     

基于航班排队仿真的终端区空域容量评估

为提升多扇区终端区空域容量评估的实效性,基于终端区交通流显著的排队特性,结合考虑扇区耦合关系,建立仿真模型并给出新的评估方法.以成都终端区为例,选取一周航班计划,针对每日运行状况共进行35次仿真,评定成都终端区平行双跑道隔离运行模式下的空域容量为47架次/h,并指出空域划设缺陷.经管制员雷达模拟机演练及实际运行数据验证,新评估方法有效,评估结论更符合实际.     

飞机机翼积冰研究方法和进展分析

通过对目前国内外研究飞机机翼积冰三种方法的分析,指出了它们各自优缺点,重点介绍了现行国内外研究的进展和新趋势,提出了研究方法的改进方案和进一步研究的建议。     

基于模糊Petri网的维修保障活动可视化建模与仿真研究

介绍了模糊Petri网矩阵推理算法,并对模糊Petri网中的元素进行了抽象定义,同时,为了仿真实现矩阵推理算法,定义了用于存储模型数据和中间计算结果的动态数组,并给出具体代码建模流程图。最后,作为验证实例,应用飞机前轮更换轮胎对该维修保障活动仿真软件进行验证。结果表明,该软件可对该维修保障活动进行建模,即直观清晰地体现出飞机某环节维修保障活动的进程,同时也可以根据相关参数进行分析,将能为在航空系统产品保障效能评估中找出可靠性、维修性、测试性和保障性设计存在的薄弱环节提供技术支持。     

斜切对抑制引射式波瓣喷管内部流动分离的效果研究

 为了了解大扩张波瓣流动分离及其控制方法,对引射式波瓣混合器的扩张角与波瓣内部流动分离的关系进行了研究,得到了引射式波瓣混合器出现分离的临界瓣角,进而提出了对存在流动分离的波瓣喷管进行斜切处理的方法,有效地抑制了引射式大扩张角波瓣喷管主流侧瓣顶内存在的流动分离现象,同时还对斜切波瓣与存在流动分离的基准波瓣喷管的引射系数和波瓣出口处的总压损失进行了研究。总的来看,对于存在主流侧流动分离的引射式大瓣角波瓣喷管而言,斜切处理一种是提高其引射效果、降低流动损失的合理方案。     

运输机空投货物建模与任务性能影响因素研究

针对当前运输机空投货物模型可拓展性不强的问题,提出了分离体的建模方法。在无需分析货物与飞机整体质心变化的情况下,分别以货物和飞机为对象进行受力分析,推导了货物与飞机之间的相互作用力,建立了更加贴近实际的运输机单件货物空投和连续空投的动力学模型。最后,通过数值仿真,分析了飞行速度和牵引伞牵引比对空投任务性能的影响。结果表明,飞行速度和牵引比越大,飞机在货物干扰作用下的状态变化量越小。     

基于遥测数据的无人机气动参数辨识方法研究

针对无人机在高空低速飞行时易受风场影响及在数据分析时遥测数据不完备的问题,进行了气动参数辨识方法研究,提出了基于空速管平面矢量三角形的风场估计方法及基于风场信息修正的气动角估计方法。以某型无人机为例,对遥测数据进行了充分分析与信息综合,运用逐步回归方法进行了纵向气动参数辨识,并进行了实验验证。结果表明,模型计算结果与实测数据吻合较好,说明所提方法有效。考虑到辨识模型的数学本质,该方法对其他固定翼无人机同样适用。     

垂直/短距起降飞机的控制仿真技术

针对垂直/短距起降飞机的特点,通过在某型飞机上虚拟加装升力风扇系统,建立了垂直/短距起降飞机的动力学模型,提出了垂直起降阶段垂向、纵向、横向和航向的控制方式并完成了控制律的设计与验证。研究结果表明,所建立的垂直起降动力学模型能够描述垂直起降飞机的动力学特点,提出的控制方式和设计的控制律能够有效地控制飞机实现垂直升降、侧飞、偏航、前飞和后飞等运动,可用于垂直起降飞机的飞行品质、起降程序的设计和验证等相关方面的研究。