从习惯、协作、精力入手严防管制工作“错、忘、漏”

分析近几年空管原因发生的飞行冲突事件，原因多是管制员“错、忘、漏”问题，管制员“错、忘、漏”问题的原因是多方面的：从心理学上讲，人是会犯错误的；其次，航班量的持续增长和管制员数量相对较少之间的矛盾日益突出，在相当多的地区，真正的“双岗制”还很难实现；第三，民航可使用空域的限制以及大量军航活动增加了调配飞行冲突的难度和管制员的工作负荷。     

新一代并行处理星载计算机技术研究

为提高卫星的整体性能，对并行处理技术在集中式控制体系结构卫星平台的关键部件——星载计算机中的应用进行了研究。所设计的星载计算机采用了总线仲裁和故障隔离技术，并具有图像处理等复杂功能。通过并行双CPU资源的冗余重构设计，可保证在某个CPU发生故障后实现星戴计算机的降级使用，提高了星载计算机的可靠性，并给出了监控软件的流程。最后，采用离散傅里叶变换(DFT)运算，对设计的计算机的并行处理能力进行了预估。     

基于仲裁的高可用服务器故障检测机制的研究

故障检测是设计高可用系统的一项关键技术,本文研究了双模高可用容错服务器的故障检测机制.首先,通过马尔科夫模型对服务器系统进行了分析,指出设计高覆盖率和高成功率的故障检测机制对系统可用性的重要影响.针对传统使用的故障检测机制成功率较低的问题,提出了一种仲裁检测机制,仲裁系统采用容错方案设计,具有较高的可靠性,在双机无法对故障做出正确判断时,可作为可信的第三方对故障做出准确的定位,有效地提高了系统的检测成功率.在此基础上,一种基于仲裁的多层心跳检测机制被应用到了实际系统的设计中,并通过试验证明了其可满足可用性设计要求.     

基于专家系统的飞控计划自动生成中的冲突消解

本文针对载人航天飞行试验飞控计划自动生成中存在的冲突问题，提出通过建立对基于专家系统的飞控计划中事件执行主体设置不同优先级的冲突消解策略，以及该冲突消解策略的形式化生成、表示、执行，最终成功解决载人航天飞控计划的冲突问题。在载人航天系统的模拟试验中，证明该方法能高效动态生成飞控计划。     

RVSM对空管自动化系统新的要求

按照总局空管局在全国范围内实删SM的计划，在2007年8月底之前要完成空管系统自动化系统的改造，RVSM功能的实施对目前还不支持RVSM的空管自动化系统将有些什么新的要求？本文将重点RVSM对短期冲突告警（STCA）和飞行计划冲突探测处理（FPCP）两个功能模块提出的新的要求进行讨论。     

航空电子光纤通道高层轻量协议的研究

比较了航空电子环境FC(FC-AE)高层五种协议的特点、适用范围、通用性、技术支持性,说明FC轻量协议(FC-LP)适合航电通信的原因.论述了FC-LP的组成与特点:引入了FC节点访问标识和虚拟通道的概念,将通信模式确定为分布对等模式,增加了通道控制、信息传输流控、节点访问标识管理等协议流程,限定了FCP、FC物理层、FC仲裁环、FC交换接口标准功能的不同实现要求.总之,FC-LP通信协议具有高可靠、高效率、低延时的特点,能满足强时性和高可靠性飞机航空电子系统通信需求.     

飞行冲突探测与解脱的研究

由于空中交通流量的增加,我国的空中交通管理系统面临着越来越严重的航线拥挤。解决这一问题的最有效方法之一就是“自由飞行”,即允许飞行员选择最合适自己的飞行航线和飞行速度。但这却给管制员的工作带来的困难。本介绍了如何将遗传算法用于自由飞条件下的飞行冲突探测与解脱,并且表明由于该方法计算快速,能够很好地解决飞行冲突问题。     

仲裁第三人制度探究

阐述争议双方的主要观点及理由,列举其他国家对仲裁第三人制度的立法及实践经验,结合我国的立法现状得出中国目前无需设立仲裁第三人制度的结论。