基于QFD和TRIZ的可信软件技术冲突解决方法

为解决软件开发中的技术冲突及提高软件的可信性,提出了基于质量功能展开(QFD)和发明性问题解决理论(TRIZ)的可信软件技术冲突解决方法.首先构建可信软件规划质量屋,在软件开发过程中引入用户视角;其次,重点分析质量屋的技术特性自相关矩阵中呈负相关的技术特性,尝试用TRIZ的发明创新原理予以解决,获得多个可行的创新性解决...     

导弹武器系统效能评估的扩展ADC模型

根据导弹武器系统的作战任务过程,对美国武器系统效能工业咨询委员会(WSEIAC)提出的 ADC 模型加以扩展,使扩展后的效能评估模型能够分析导弹武器系统在任务过程不同时刻所需的不同能力,及遭受敌方硬火力杀伤后状态的改变对能力的影响。     

复杂可修系统效能中可信度矩阵的构造方法

复杂可修系统可信度建模对保证效能的定量分析至关重要.本文在考虑不同维修状况的基础上,着重对不同任务剖面内相应任务阶段中武器装备可信度进行了深入的定量分析和综合,进而构造出武器装备的可信度矩阵,用于武器装备的效能分析;文中以某地面车辆为例,进一步论证了武器装备可信度矩阵的工程含义,旨在为合理确定一大类武器装备的效能和可信度指标提供理论依据.     

Evaluation of airborne data link communication

An experimental prototype of a cockpit data link communication interface (modified Navigation Display (ND) and Multi-purpose Control and Display Unit (MCDU)) was developed and tested in an Airbus A340 Full Flight Simulator. 8 crews (16 professional pilots) performed simulator flights in a mixed voice and data link scenario. After each experiment video recordings were presented to the pilots and they were asked to estimate subjective strain (NASA task load index) and situational aspects retrospectively. Results show an increase in subjective strain and a decrease of ‘feeling of sovereignty’ and situation awareness under data link conditions. The effect is similar to the one caused by higher workload.     

综合化航空电子系统可信软件技术

航空电子系统要求航空任务的执行具有确定性、可预测和可控性。深入分析综合化航空电子系统软件安全性、可靠性、完整性和实时性需求,提出了综合化航空电子系统软件可信性的定义。首次将可信计算引入到综合化航空电子系统中,建立综合化航空电子系统可信软件体系结构,在此基础上,提出软件可信运行环境构建方法和可靠性增强技术。这些技术能够保障综合化航空电子系统的可预测性,对保证飞机任务的执行及其安全具有重要的作用,为研制适合于中国大飞机的综合化航空电子系统可信软件奠定基础。     

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

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

复杂可修系统可信度建模中任务维修度计算的统计推断方法

在设定每一部件的致命性故障率为常数并在确定出各部件任务修复时间置信上限的基础上,通过对可能发生的多次致命性故障事件的概率状态描述,得到了部件故障率与系统可信度的定量关系,进而依据这一可信度的建模原理归纳出不考虑任务修复时间的具体分布类型时复杂可修串联系统可信度的计算方法,同时也给出了任务维修度的统计推断表达式;最后,以典型的 ４ 部件串联可修系统为例,探讨了致命性故障次数、允许任务修复时间、部件任务修复时间的不同置信上限等的变化对系统可信度的影响,并论证了系统可靠性、维修性和保障性与可信度的关系。     

基于微内核的星载实时操作系统设计与实现

当前星载嵌入式实时操作系统将各个功能模块都集成在内核之中,这导致内核庞大,增加了内核出现bug的风险,从而使整个操作系统的可靠性降低.设计并实现了一个基于微内核的星载嵌入式实时操作系统,通过将功能模块以任务方式运行在用户态,任务间通过消息传递机制通讯,以减少内核代码量.最后测试表明设计达到故障隔离的效果.     

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

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

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

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