基于国产操作系统的软件测试方法研究

国内软件研发平台的国产化趋势,使提高国产操作系统平台下软件的质量已经成为软件测试领域所面临问题的重中之重。通过对中标麒麟操作系统(Kylin)和锐华嵌入式实时操作系统(ReWorks)的发展现状与使用特点的介绍,结合雷达实际人机软件及数据处理软件的开发环境,对基于国产操作系统的软件测试方法进行研究,分析测试结果,总结软件测试方法设计、应用及实践的过程。     

航空发动机适航安全分析条款要求及 验证方法浅析

介绍航空发动机适航规章安全分析条款的演变历程,结合条款咨询通告对条款要求进行解析,明确了规章要求的航空发动机不期望事件及概率要求。结合ARP 4761的系统安全性评估流程,明确航空发动机安全性评估3个阶段及适用的安全分析方法,并构建了航空发动机安全分析条款符合性工作流程,可为安全分析条款的符合性提供指导。     

空管系统如何做好安全绩效考核工作

在深入分析当前空管系统安全绩效现状的基础上,指出了安全绩效考核中存在的常见问题,并结合空管行业的特性以及实际工作经验,提出了开展安全绩效考核工作的基本方法和步骤,以期对有效推进空管系统安全绩效考核考核工作提供一些启示和借鉴。     

军机对战UFO——墨西哥上空的猫鼠大战

2004年4月20日，墨西哥国防部邀请知名UFO专家，同时也是知名电视主持人的莫桑参加一个事关国家安全的秘密会议。与会人士除了莫桑，还有国防部长克莱门特·维加将军以及他的随员。莫桑被告知，坎佩切州的卡门城上空发生了一起离奇的事件。     

基于CIDBN的战术活动识别模型及在线精确推理

战术活动识别是战场态势感知的重要研究内容。为提高战术活动识别的准确性与实时性，提出了一种基于上下文独立动态贝叶斯网络（CIDBN）的战术活动识别模型及在线精确推理。通过对战术活动机制的分析，采用动态贝叶斯网络（DBN）理论，建立了一个初始战术活动识别模型。该模型引入了威胁指数节点来影响战术活动的终止与选择，并采用模糊隶属度函数对连续变量进行离散化处理。依据上下文独立关系对该模型进行简化，获得了一个基于CIDBN的战术活动识别模型。将接口算法扩展于该模型上，提出了在线精确推理算法。仿真结果表明，所提出的战术活动识别方法，具有识别精度高、较低不确定性和实时性高的优点。      

飞机姿态仪中的人机工效

飞机姿态仪具有运动地平线和运动飞机等不同格式,不同格式的姿态仪对飞行员的仪表识别及飞行安全产生不同的影响作用。本文概述了不同格式姿态仪的人机工效问题,总结了国内外对姿态仪识别绩效的研究进展,分析了影响姿态仪识别的因素。在此基础上,归纳出运动飞机格式具备识别优势的4点工效学机制,即显示画面原则、三维空间神经心理模型、刺激-反应相容性和反应-效应相容性。最后,针对近年来出现的航空新技术,提出了未来姿态仪人机工效研究需要解决和关注的问题。     

基于闭环工作流引擎的通用航空安全管理信息系统的设计与实现

我国在通用航空运行和安全管理方面开展的研究相对较少,难以适应日益发展的通用航空产业。本文分析了现有的通用航空安全运行体系,对中国民航飞行学院飞行安全管理进行需求分析,提出基于闭环工作流引擎的管理系统,并对系统进行设计实现。