机载显示软件DF验证方法

对A661机载显示软件中的DF文件的原理和验证机理进行了分析,并提出了一种新型的DF验证方法。该方法基于自动化分析技术,能够提供基于数据的验证结果,为机载显示软件研制人员提供了一种客观、高效的DF验证方法。     

软件可靠性定量指标的分配与验证

阐述了软件开发过程中可靠性定量指标的分配原则和方法 ,对定量指标的验证进行了分析和探讨 ,研究了基于不同模型的验证方法 ,最后给出了一个控制软件可靠性分配和验证的例子。     

航空发动机CCAR33-R2.75条款适航符合性验证方法研究

针对航空发动机适航取证的安全性需求,对航空发动机CCAR33-R2.75适航条款进行了解读与分析,明确了该条款的验证要求和方法.将功能危险分析法、故障树分析法和故障模式与影响分析法运用到该验证方法中,并提出了航空发动机CCAR33-R2.75条款适航符合性验证的流程.最后对某型航空发动机进行实例分析,验证了发动机不可控火情对CCAR33-R2.75条款的符合性.该安全性验证方法能够为航空发动机CCAR33-R2.75条款适航符合性验证提供支持.     

固体火箭发动机试验故障错判案例启示

介绍了一个固体火箭发动机试验中的关联性试验故障错判案例,分析了由于验证方法不当引起错判的原因,并提出了在试验故障分析时要把验证方法写入故障图、对验证方法也要验证、对验证方法应根据重要性、价格等因素分别进行重点分析的故障分析观点。     

民用飞机飞控系统MOC8工程模拟器验证方法分析

针对某民用飞机飞控系统MOC8适航符合性验证,提出了一种基于飞控系统功能危险性分析（FHA）的试验验证方法。采用飞行员在环试验,在工程模拟器上模拟FHA中的故障。通过对故障现象和故障影响进行评估,进而验证飞机的设计符合MOC8相关适航要求。阐述了验证方法和验证工具,详细介绍了验证方案和验证流程,并通过验证实例表明该方法的可行性和有效性。该验证方法可为同类机型的MOC8适航符合性验证提供有效途径,具有工程实践意义。     

测试性研制阶段数据评估验证方法

分析了现有测试性验证方法应用情况,阐述了测试性研制阶段数据评估验证方法的必要性。通过与现有测试性验证方法的对比分析,提出了一种新的测试性验证方法,并说明了该验证方法的含义和特点。该验证方法可用于故障检测率、故障隔离率和虚警率的验证。建立了该验证方法的工作框架,包括验证要求、验证程序、验证技术和验证组织。重点阐述了该验证方法的两种工作方式实施流程、适用的最小样本量范围、测试性数据收集表格和测试性数据判据。其中,测试性数据收集表格可以记录故障检测、故障隔离和虚警信息。进行了案例应用,给出了数据分析结果和经验总结。案例应用表明该方法能够达到测试性验证的效果。     

飞机级高场强辐射场验证替代方法研究

为了解决飞机级高场强辐射场（HIRF）验证技术难点,结合防护要求,对其验证替代方法进行了研 究,分别包括低电平扫描场法、低电平扫描电流法、混响室法、差模电流注入法、低电平直接注入法和表面环 线电流注入法,对六种替代方法的验证机理、验证难点进行了分析,总结了各种方法的优缺点,并给出了推荐 的HIRF 防护验证替代方法顺序。     

航空货物装载布局验证方法研究

为了验证单架运输机装载布局的合理性,提出了一种航空货物装载布局验证方法。通过对航空货物的特殊性和飞机货舱装载约束条件的分析,建立了航空货物装载布局验证模型,对装载货物的布局进行验证分析,编制了航空货物装载布局验证流程,采用VC++软件实现了装载布局快速验证。     

基于SCADE的飞控软件的适航验证与确认

中国民用航空规章第25部对机载软件提出了适航要求,DO178B是对适航要求的符合性方法,但其中一些验证和确认目标并不适用于基于SCADE的软件验证。为此,分析了飞控软件的适航要求和符合性方法,并对基于SCADE的飞控软件的开发流程和传统的开发流程进行了分析对比,对基于SCADE的飞控软件的适航验证与确认工作提出了建议。     

机载电子系统验证能力建设研究

随着机载电子系统验证工作的重要性逐渐提升,系统供应商迫切需要建设相应的验证能力。验证能力可以从验证体系、验证条件和验证技术三方面进行建设。对验证过程、验证方法、验证职责和验证效果进行分析,提出验证体系的建设思路;对验证使能设备总体清单、实现路径和验证平台设计进行分析,提出验证条件的建设思路;对设计仿真技术、自动化测试技术和健壮性测试技术进行分析,提出验证技术的研发思路。     

民机高升力系统操作试验的符合性验证和设计方法研究

民机高升力系统在飞机适航审定阶段,需要表明满足CCAR25.683条款要求。针对该条款,采用何种验证方法,是适航当局和飞机设计者普遍关注的问题。通过对CCAR25.683.条款的分析,提出了将实验室验证与分析/计算相结合的符合性验证方法。实验室验证在飞机地面模拟试验台上进行高升力系统操作试验验证,分析/计算通过对设计数据和静力试验机变形数据的计算,比较理论变形差值与实测补偿量;并提出了设计阶段考虑传动线系适应机翼变形的设计补偿思路,对高升力系统的试航验证及设计具有一定的参考价值。     

直升机姿态指令/姿态保持响应类型试飞验证技术研究

对直升机ACAH响应类型和RATE响应类型进行了分析比较,对ADS-33E中的直升机ACAH响应类型验证要求进行了分析研究,说明了ACAH响应类型在不良目视环境下使用的较强稳定性,给出了ACAH响应类型的试飞方法及某型直升机ACAH响应类型验证的试飞评定结果和分析。试验结果表明,该方法适用于直升机ACAH响应类型的验证。     

嵌入式操作系统的形式化验证方法

对嵌入式操作系统类安全关键软件,测试、模拟、分析等传统软件验证方法不能保证其正确性,需要使用形式化方法。综述了主流商用嵌入式操作系统所采用的形式化验证方法,分析了操作系统内核不同特性的形式化验证思路。通常对空间隔离、信息流控制、系统调用、进程间通信等的证明采用定理证明方式,而对时间隔离的证明则采用模型检测方式。 seL4的通用抽象和逐层精化方法、模型检测和定理证明的混合方法在工程使用中都有前途。     

DERA的核心压气机发展验证计划

对DERA的核心压气机发展验证计划作了简要介绍,重点围绕核心压气机设计研制思想、方法和设计研究体系的发展验证,分析和说明了已取得的各项进展。最后对这一研究计划的意义进行了分析和讨论。     

稳态温度场作用下涡轮叶片振动特性的研究

根据一维线性分段插值方法对一维温度场进行分段插值拟合,为有限元方法分析温度场作用下叶片振动问题中温度载荷的施加提供了简化可行的方案,利用有限元方法验证该线性拟合方案的可行性,并采用多种方法对计算结果进行验证分析,对一维稳态温度场的分段插值进行了误差分析,得到稳态温度场作用下叶片振动问题的有限元分析计算方法和温度载荷施加方案。     

基于OODA环的对地攻击流程半实物仿真验证方法

针对无人机（UAV）机载设备和软件在不具备真实飞行环境下的对地攻击流程验证问题,提出了一种基于观察-判断-决策-行动（OODA）循环的对地攻击流程半实物仿真验证方法。首先,采用OODA环思想对无人机对地攻击流程进行分析,设计了一套基于OODA环的半实物仿真验证系统。然后,将无人机对地攻击流程精度模型分为感知、判断和攻击3种,建立了半实物仿真验证系统主要的精度模型。最后,运用该验证方法对某无人机的3个机载软件进行了试验,验证了该方法的有效性。该方法可以验证无人机对地攻击流程的设计效果,在飞机设计阶段为攻击流程的工程设计提供参考。     

航空发动机限寿件批准寿命适航验证方法

以传统的安全寿命法为基础,研究了航空发动机限寿件批准寿命适航验证流程和审定要素.以限寿件适航要求和咨询通告符合性方法为指导,借鉴航空发动机通用规范对关键件的定寿管理方法,从计算分析验证和试验验证给出限寿件批准寿命适航符合性验证的流程和方法.以典型的民用航空发动机为例研究了限寿件的判定准则.从限寿件结构危险点的判定方法、载荷谱的处理和应力分析给出了限寿件批准寿命计算分析验证的关键技术;从试验条件、试验温度方案、试验应力系数和散度系数的获取给出了限寿件批准寿命试验验证的关键技术.为航空发动机限寿件批准寿命适航审定提供指导方法,也为中国民用航空局编制航空发动机限寿件适航咨询通告提供参考依据.      

基于某型座椅系统安全带替换的动态试验验证方法研究

对动态座椅系统安全带替换的验证方法进行研究,提出解决方案,并据此进行工程验证,实践了安全带替换试验方法,分析了验证过程出现的问题并提出改进建议。     

操作试验适航条款要求及符合性验证方法研究

研究了CCAR25.683条款的要求和条款制定背景,对CCAR25部、FAR25部和CS25部中25.683条款差异进行了分析,研究了针对25.683条款要求可接受的验证方法,结合电传飞控系统的设计特征提出了为满足25.683条款要求所需采取的验证方法和具体验证工作。     

基于极限应变法的超转分析验证与应用

为了提供快速提高轮盘超转破裂裕度方法,满足适航对超转相关要求,基于极限应变法开展了轮盘超转分析和试验验证。轮盘破裂转速分析与试验结果符合性较好,轮盘起始破裂位置、应力应变分布特征通过轮盘碎片断口及残余变形获得了验证。根据轮盘起始破裂位置,给出了适航超转要求中最不利尺寸公差的确定方法和通过局部结构强化提高轮盘破裂转速的方法。分析和试验结果的对比证明了极限应变法用于超转破裂分析的合理性,整个过程也为充分利用超转试验结果对分析进行验证提供了范例,提出的提高轮盘破裂裕度方法和最不利尺寸公差确定方法具有较强操作性,可为航空发动机轮盘超转设计和适航取证提供参考。