军工高安全软件数值型运行时错误分析方法

提出一种抽象解释和有界模型验证的数值型运行时错误分析方法.利用抽象解释方法分析程序数值变量范围,获得每个程序点达到不动点的变量初步值范围信息.根据待分析的运行时错误类型,在相关需要检测的程序点处将数值变量取值信息转化为断言或假设形式插入程序中,将带有断言和假设的程序转化为布尔公式,验证其可满足性,进而验证断言的正确性.实验证明,该方法与现有方法相比,在精度和效率两方面都有良好的表现.     

基于不确定传感器状态的机载系统多层故障诊断方法

准确的机载系统故障诊断是保证飞机安全飞行和实现经济效益最大化的重要途径。然而传感器受到内外部环境条件的影响而不可避免的存在检测状态的不确定性,因此基于单个传感器或局部区域传感器综合检测结果的方法难以完全保证故障诊断的有效性和正确性。针对飞机机载系统的结构和工作原理,充分利用系统中不同层级、不同区域传感器检测特征之间的关联关系,考虑单个传感器本身存在的不确定性,构建了传感器信息前向融合与反向校验相结合的分层诊断决策方法,实现了对系统状态和传感器状态的双重估计与更新,克服了单一传感器故障对系统诊断推理准确度的影响。该方法较传统故障诊断模型,不再依赖某一个或某一类传感器信息的绝对可靠,在实现系统级的准确故障诊断同时,还能判断具体某一传感器本身是否发生虚拟警。在飞机液压系统故障诊断案例中,新方法成功将系统故障诊断的虚警率降低了96%,传感器的不确定度降低了84%。     

民用飞机系统安全性分析中EWIS部件的考虑

通过对适航规章25.1709的分析,结合AC25.1701,提出了民用飞机系统安全性分析中需考虑EWIS部件的一些方面,并初步研究了具体的分析方法。     

多体分离数值模拟及方法验证

利用自主研发的混合网格Euler／RANs方程解算软件WoF90以及六自由度动力学与运动学方程解算程序,采用脚本语言技术实现网格的自动生成,建立了一套可用于多体分离问题的准定常Euler流动非结构网格方法。通过AEDC算例对非结构准定常Euler方程方法解决多体分离问题进行了计算研究,验证了方法的可行性。     

航空发动机钛火防护技术及试验验证方法

钛合金在航空发动机上应用广泛,特别是对于追求高推重比的军用发动机更是如此。但采用钛合金存在钛火风险,且钛火故障危害大、发生频率高。分析了钛火故障产生的原因,描述了故障导致的后果,并结合发动机上典型钛火故障,总结了4种较为有效的钛火防护设计技术。阐述了钛火防护技术的试验验证方法和目的,指出只有通过试验验证,才能确认钛火防护技术的安全有效。     

大型民用客机管制与监视系统验证与测试平台的构建

目的在于研发大型民用客机航路管制与监视系统验证与测试平台,以实现机地数据通信系统环境下的航路管制与监视信息的数据地面接收和处理;同时,依照现有的空管航路管制与监视功能的国际标准和相关区域的运行要求,实现地面管制系统向机载系统的数据发布。该项研究成果能对口飞机机载数据链相关的ATC(Air Traffic Control空中交通管制)功能和部分监视功能ADS-C(Automatic Dependent Surveillance-Contract合同式自动相关监视)、ADS-B(Automatic Dependent Surveillance-Broadcast广播式自动相关监视),提供对应的地面收发端,监控机载系统数据状态。该成果可以配合飞机研发过程中的试验和排故,并为适航验证工作提供有力的准备和支持。     

试验

JASSM导弹通过飞行试验完成软件验证 洛克希德。马丁公司研制的联合防区外空对地导弹（JASSM）最近在新墨西哥州的白沙导弹靶场成功完成产品验证测试（PVT）。