空中交通管制运行中的威胁与差错管理分析

在威胁与差错管理（TEM）理论基础上,科学地分析了空中交通管制（以下简称空管）运行中面临的威胁和可能的差错,指出威胁与差错管理的目标并非是消除威胁和差错,而是把其危害控制在一个可以接受的范围以内。通过分析,如果使我们能预先知道哪些情况下,哪些人员容易产生错误,并且知道这些因素是如何作用的,就可以帮助我们更好地防止和避免空管运行中的人为差错,降低事故和事故征候概率。文章分别界定了威胁、差错和非期望状况的概念,并给予详细的实例分析,从而提出了空管运行中TEM的策略和措施,以助空管系统从主动控制的角度提升空管运行安全的效能。     

容量受叠限的航班时刻规划算法的设计和实现

航班时刻规划是战略时期空中交通管制的主要方法.针对起降容量受限和航班延误耗损的变化趋势,提出基于时隙分配的航班时刻规划算法.该算法以调整时间最小和延误耗损总和最小为准则,对进离港航班统一分配时隙.算法考虑了对航班的前提调整,从而得到总延误损失费用与总延误时间值都较小的分配结果.同时,该算法也能处理有后继任务的航班.结合实际数据,用计算机仿真实验对该算法进行了验证,证明了算法的优化性和有效性.     

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

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

三万英尺上的万种风情

在3万英尺的高空,每一位空乘的微笑,都表达着一片土地的文化。他们或者年轻漂亮,或者亲切幽默,不同的文化让云中的空乘风情万端,而属于他们的微笑更让这种风情有了亲切的温度。     

冲突证据决策新方法及应用

冲突证据决策方法研究是证据理论重要研究课题。鉴于现有的证据理论改进方法在冲突证据决策过程中存在计算量较大,归一化过程不合理,证据组合效果不理想等一系列问题,提出基于二次组合的冲突证据决策方法。首先,提出新的基于二次组合的冲突证据决策方法的流程图;然后,提出新的乘性归一化规则,并对新的乘性归一化规则进行算例分析,验证其合理性;最后,分析现有冲突度量函数的不足,并提出新的冲突度量函数,并分析冲突度量函数的合理性。通过算例分析,并与现有证据组合规则的比较表明,所提方法不仅计算量得以改善,组合结果也得到提升。      

通用航空大发展对飞院管制部门的挑战

通用航空在我国即将迎来大发展局面,空域使用冲突矛盾会大量增加。文章详细分析了低空空域开放对飞院训练飞行的不利影响,论述了飞院管制部门承担通用飞行管制保障的必要性,提出了复杂飞行环境下飞院管制部门应采取的应对措施。     

D-S证据理论在多传感器数据融合中的应用

近年来,许多领域都在进行多传感器数据融合技术的研究。多传感器数据的属性融合有很多算法,最常用的算法是贝叶斯决策检验法,国际上已提出将证据理论用于数据融合,但在这方面的理论基础还不完善。本文研究了证据理论在多传感器数据融合中的应用。Ｄｅｍｐｓｔｅｒ－Ｓｈａｆｅｒ方法是对Ｂａｙｅｓ决策检验法的推广,证据理论比概率论满足更弱的公理系统,并且在区分不确定与不知及精确反映证据收集过程等方面显示了很大的灵活性。文中阐述了Ｄ－Ｓ证据理论的数学性质,给出了可信度公理及Ｄ－Ｓ综合规则,并进行了计算机仿真实验,实验结果说明这种判决方法非常实用,用于数据融合算法非常有效     

机场终端区着陆次序的排序规划算法

讨论了机场终端区飞机到达流的排序规划问题。为了能够在终端区交通繁忙的情况下高效地为到达的飞机流安排合理的着陆次序,并在不违反飞机间距要求的情况下给出各飞机经过优化的着陆时间,提高机场跑道的利用率,提出了经过改进的先来先服务、带有时间提前量、带有约束的位置偏移三种排序算法。当进入机场终端区的飞机数量超过机场终端区的容量时,分航路对飞机排队并对飞机间的距离进行限制     

实时数据库的主动机制研究与实现

主动机制是实时数据库管理系统（ＤＢＭＳ）的一个重要功能。在主动机制的基础上,实时ＤＢＭＳ能够根据数据库中某些数据及环境的变化,主动地作出一定的反应,执行预先设计的动作,而不仅仅是被动地执行用户的命令。文中主要介绍一个实时ＤＢＭＳ的主动子系统,采用事件－条件－动作的规则来实现其主动功能;讨论了规则的表示和存储结构,规则子系统的系统结构及与ＤＢＭＳ的联系;并详细介绍了条件评价器、规则检索优化、规则冲突     

基于Petri网的空中交通管制辅助决策系统

空中交通管制系统是生产实际中的一种典型的离散事件动态系统（Ｄｉｓｃｒｅｔｅ ｅｖｅｎｔ ｄｙｎａｍｉｃｓｙｓｔｅｍ,ＤＥＤＳ）,而Ｐｅｔｒｉ网理论是研究ＤＥＤＳ的有力工具之一。为了描述空中交通管制系统受到外部控制的交互机制及层次结构,文中引入Ｐｅｔｒｉ网概念的一类扩充－－开放Ｐｅｔｒｉ网的概念,并用开放Ｐｅｔｒｉ网工中交通管制辅助决策系统进行建模与分析,阐述了空中交通管制辅助决策系统的开放Ｐｅｔｒ