构建一种新型人为因素分析模型

全面研究了典型人为因素分析模型的特点和局限性，综合了其优点，从而提出了逆向网络链式反应模型的新理论。     

卫星ATM网络中跨层设计的星上缓存管理优化方案

为提高卫星ATM(异步传递方式)网络星上缓存资源的利用率,针对利用上层协议重传的非实时数据业务,采用跨层设计方法提出了一种缓存管理优化方案—错误信元尾丢弃(ECTD)。它把信道误码引起的错误信元及后续的属于同一协议数据单元的无效信元丢弃。以早分组丢弃为基础,进一步建立了采用ECTD和不采用ECTD的分析有效吞吐量的数学模型。数值分析结果表明,ECTD具有优化缓存管理、提高有效吞吐量的作用,而且信元错误率和协议数据单元的长度越大,ECTD对有效吞吐量的改善就越明显。     

管制过程中人的错误及其管理

本文从民航飞行安全入手，结合管制事故，探讨管制过程中人为错误的性质、来源及其管理。以期在今后的管制工作中能运用“人的因素”的原理，减少管制员人为的错误，提高飞行安全。     

IBM MQ中间件在民航气象数据库系统中的应用

在民航二期数据库改造项目中，采用了多个操作系统和数据库系统软件平台，为了实现这些异构数据的无缝透明集中，采用了IBM MQ中间件技术。文中介绍了MQ在民航气象数据库系统中的应用，并通过实际运行，总结出了MQ运行过程中的故障分析和排除的技巧。     

《模具制造工艺》课程设计改革初探

阐述在《模具制造工艺》课程设计中进行教学改革的几项具体措施,重点介绍课程设计指导课的内容编排,对课程设计中的常见错误进行归纳和剖析。     

面向空间应用高可靠图像数传设备的设计与实现

针对空间高速图像数传任务需求, 设计并实现了一种采用SpaceWire总线传输协议的高速图像数传设备. 该设备的硬件以FPGA为控制核心, 完成对SpaceWire协议芯片的初始化配置、收发数据包处理、中断和异常状态处理等操作. 重点阐述了FPGA的可靠性设计, 包括状态机设计、异步时钟域设计和数据包传输与链路错误的恢复设计. 测试表明该设备能够稳定可靠地实现140 Mbit/s的图像数据传输, 对于链路的突发错误在一定时间内具有错误数据恢复能力, 能够有效保证传输数据的正确性和稳定性.      

航空电子设备NSEE试验评价方法

本文定义了航空电子设备大气中子单粒子效应(NSEE)硬失效、硬错误与软错误等大气中子辐射可靠性表征参数,提出了一套航空电子设备抗大气中子单粒子效应危害能力的试验评价方法,包括试验应力终止条件与起始条件的确定方法、M_NSEE预估方法、试验程序、试验评价方法等,并通过某航空用卫星导航接收机试验案例证明了该方法在工程应用中的可操作性与有效性,通过掌握数字信号处理(DSP)、静态随机存储器(SRAM)、现场可编程门阵列(FPGA)的NSEE敏感特性,可为航空用卫星导航接收机NSEE危害防控提供针对性的技术支持.本文为我国航空电子产品大气中子单粒子效应试验评价奠定了理论与应用基础,同时也为其他电子信息产品在大气中子单粒子效应试验评价方面提供了重要依据和参考.      

基于Object-FMA的软件代码审查方法

针对传统代码审查方法中使用的检查单具有的两个不足:缺少从代码到检查单缺陷记录的映射方式,检查单记录的代码缺陷类型不全而导致审查时代码缺陷的遗漏,提出了一种将代码进行层次划分,并使用对不同层次代码对象进行失效模式分析来代替使用传统检查单的代码审查方法.此外,提出了一种对象失效模式分析方法(Object-FMA,Object Fail-ure Modes Analysis),用于系统地分析代码对象的失效模式,为不同层次的代码对象建立失效模式库.在某型号软件的代码审查中对该方法进行了实例应用,结果表明此方法提供了一种从审查代码对象到失效模式库的映射方式,提高了代码审查的效率,审查时不仅能发现传统检查单中记录的代码词法、语法和常见语义的缺陷,还能有效地发现代码中人为疏忽或算法设计错误而引入的代码缺陷.     

无人机单片机控制系统软件容错设计

本文介绍了某型无人驾驶飞机系列MCS-51单片机控制系统的软件容错设计方法与实现。该软件采用了关键数据的余度管理技术,在充分考虑了本系统的任务功能及单片机固有特点的基础上,采用了若干行之有效的软件检错技术,包括执行条件检测、数据合理性检测、异常复位检测及软件陷井等。在检测到软件错误后,软件将执行一个恢复操作。恢复操作的基础是依据一组经过余度管理及相容性分析而保证为正确可靠的关键数据。恢复操作将消除软件系统所有可能的错误状态,将系统恢复至出错前的运行状态。实践表明,该软件的容错设计是可靠且有效的。     

实时连续多媒体任务模型及调度算法

传统周期任务模型过于简单,不能适应实时多媒体流任务的多种形式,以用户为中心的连续媒体的调度算法由于未能从全局上考虑任务的服务质量QoS(Quality of Service)需求,因而调度效率较低.提出一种改进的以多媒体对象为中心周期任务模型,该任务模型概括了目前多媒体任务的基本表现形式.基于该任务模型,提出了一种以连续多媒体流的整个质量表现过程为中心的任务表现路径模型TPP(Task Presentation Path).在全面考虑表现路径中媒体流对象的全局死线、局部死线和任务连续失效率的基础上,给出了连续多媒体流的比例资源分配调度算法PSTPP(Proportional Share based on Task Presentation Path).实验结果表明了所提出的周期任务模型的合理性,调度算法能提供比传统分时策略以及EDF算法更好的QoS保证.