面向适航符合性的智能航电系统认证研究进展

民用飞机航电系统引入人工智能/机器学习技术会带来可信性、不确定性和可解释性等问题,有必要通过有效的符合性方法向公众与利益攸关方证实智能航电系统的适航安全性。首先,分析了智能航电系统的等级分类和应用现状,阐述了现有指南和标准的适用性;然后,基于对当前研究成果的梳理,总结了包含可信度分析、安全性评估、安全风险缓解和认证/批准活动的智能航电系统认证框架实施流程及其技术细节;最后,给出智能航电系统在全生命周期各个阶段的符合性验证要求及实现方法建议,评估了符合性验证对现有适航体系的影响,为民用飞机智能航电系统的设计与认证提供了参考依据。     

面向可信的航空嵌入式软件开发方法框架

针对航空综合化软件的可信内涵,即可靠性、安全性和实时性,开展了开发方法的研究,提出了针对性的可信内涵模型和相应的开发过程模型,并设计了基于模型的需求分析、组件化设计以及系统配置综合的开发方法框架.在开发方法框架研究过程中,重点分析了航空综合化软件平台的特征,即因为物理资源的限制,软件任务之间存在复杂的交互、资源竞争和共享关系,并分析了这些特征对其可靠性、安全性和实时性的影响.     

面向源代码可信证据的航天软件可信度量评估方法

随着航天技术的迅猛发展，航天软件的功能越来越复杂，规模越来越大，对软件可信性的要求也越来越高.航天软件一旦失信，其带来的损失往往无法估量.从源代码证据入手，建立面向航天领域的嵌入式软件可信度量评估方法.结合航天领域特性，建立了面向C语言代码的可信证据规范，该证据规范区分关键证据与非关键证据以及可信正证据和可信负证据；提出一种面向源代码可信证据的航天软件可信性度量模型和可信性分级模型；最后通过将所构建的评估方法应用于NASA开源软件Core Flight Executive的可信量化评估，评估结果表明本文所建立的可信量化评估方法具有良好的有效性和实用性.     

外场维护人员可信性多元回归分析方法初探

研究了影响维护人员失误率的各个因素,选取了三个主要变量。通过与一元回归分析方法的比较分析,根据多元回归分析理论,建立了维护系统人力可信性的多变量模型。结合算例,给出了如何根据外场实际情况选用二次响应模型部分项进行数据拟合的方法。     

双通道空空中远程导弹武器系统效能计算

分析并给出了双通道空空中远程导弹武器系统的可用性、可信性、系统能力和效能计算公式。讨论了不同作战模式下的系统能力计算方法和公式。     

基于面积度量的加速退化试验可信性评价方法

针对已有方法难以定量给出产品加速退化试验(ADT)结果可信程度的问题，以正常应力下的试验数据为基准，基于面积度量思想提出了一种加速退化试验结果可信性的定量评价方法。基于加速退化试验数据和基准数据的概率分布距离，构建了加速退化试验可信性的面积度量指标，在此基础上，提出了一种归一化、无量纲的加速退化试验可信度指标CIA,并基于时间重要度的概念将多个单点的CIA综合成一个可反映整个产品加速退化试验可信性的指标。实例分析表明，新指标可以让设计师和决策者直观评判产品加速退化试验结果的可信程度，方便横向对比不同产品的加速退化试验结果的优劣；所建立的新指标适用于基准数据大样本、小样本、极小样本等不同情况，具有良好的通用性。     

多源自主导航系统基本特性研究

在新一代国家综合定位导航授时(PNT)体系中，多源自主导航系统以北斗导航为基石、以惯性导航为支撑，可满足终端即插即入、无缝衔接、无感切换、可信完备等需求，是面向定位导航授时服务等终端应用的关键核心技术。基于任务场景、运动环境以及运载体动力学等特征，提出并分析了多源自主导航系统可检测性、可重构性、可信性、完备性等基本特性的概念及其内在逻辑关系，并结合多种信号、信息、数据和技术资源，系统阐述了多源自主导航的方法体系和理论框架，为国家综合PNT体系发展与应用提供参考。