基于证据理论的TPS诊断性能综合评定

测试程序集TPS(Test Program Set)诊断性能的评定是保证TPS质量的重要手段.针对TPS诊断性能的评定问题,研究了基于D-S(Dempster-Shafer)证据理论的综合评定方法,介绍了D-S证据理论的基本原理,提出了TPS评价验证的数学模型以及基于证据理论的TPS诊断性能综合评定的基本框架,定义了TPS诊断性能的基本概率分配函数(BPAF,Basic Probability Assignment Functions),并在此基础上提出了基于Kolmogorov-Smimov(K-S)检验的BPAF确定方法,给出了TPS诊断性能综合评定的步骤,最后对基于D-S证据理论的TPS诊断性能综合评定的有效性进行了实例分析,结果证明了该方法的有效性.      

软件数据耦合影响分析方法

以软件中数据为核心,通过分析一个具有高度数据耦合、实时并发进程特点的武器装备飞行控制软件实例,提出一种实时软件数据耦合影响分析方法.该方法通过静态分析实时软件中全部共享数据的并发使用情况,可有效发现实时软件中因数据耦合和并发执行引起的共享数据冲突,消除软件的质量隐患.     

人类是时间存在的证据？

数十年前,科学家将量子理论套用到宇宙上。得到的方程式却“消灭”了时间。时间的流逝究竟是真实存在，还是我们认知的错觉？施翼林教授提出大胆的见解，认为我们就是时间存在的证明。他画出的宇宙连环图是什么样的光景呢？     

科学务实的流量管理

流量管理不仅包括对航班流量的控制也包括航班审批、优化空域、协调军方等多方面的内容。我国现阶段的流量管理尚处于粗放型阶段,无论是空域改革还是在可以高效优化资源的全国流量管理中心都不是一朝一夕可以完成的,是一个任重道远的系统工程。如何利用现有资源科学合理的对流量进行管理,是空管工作中值得进一步思考和推敲的课题。     

规范无人机空域使用的建议

我国无人机在民用、警用和军用领域的应用正在快速发展。为了避免发生无人机与有人航空器的飞行冲突事件，应当针对我国无人机的发展特点，实现无人机空域使用的长期制度化管理和短期的保护性管理。     

一种适用于中期冲突探测的概率型算法

借鉴飞机沿航迹误差服从正态分布这一经典结论,对飞机沿航迹方向运动进行建模,根据同高度两架飞机的相遇几何约束,建立适当的直角坐标系表示两架飞机的位置,构造椭圆形冲突区域,并在此基础上提出了一种针对同高度两条交叉航路的中期冲突探测的概率型算法,然后结合仿真曲线分析了各影响因素与冲突概率之间的关系.结果表明:该算法对于15～20 min预测时间范围的冲突探测可以取得良好地效果;相同条件下,两条航线夹角越大,探测精度越高.同时与以往的随机化算法相比,该算法具有计算方法简单、计算速度快、计算结果精度高等优点.最后将该算法推广至可适用于由多个航路段组成的航路之间的冲突探测,从而使该算法具有更广泛的应用性.     

短期冲突告警算法

本文介绍西南空管局有关单位设计的一套完备的短期冲突预测和告警算法，并系统、详尽地讨论了算法原理、特性和实现方法，算法的软件实现已在实际的应用系统中采用，并已在现场生产使用中得到证实。     

诺亚方舟：驶自宇宙？

《圣经》里记载了一个诺亚方舟的故事。故事说,最初是神创造了人,接着下了连续40个昼夜的大雨,洪水淹没了整个大地。神不忍心让善良的诺亚死于洪水,便命令诺亚用歌斐木建造一艘方舟,让诺亚和他的亲属以及7只雄鸟、7只雌鸟、7头公兽、7头母兽上船逃难。最后洪水漫过了高山的山顶,除了诺亚方舟上的生命外,其他的生命都已灭绝。后来,劫后余生的诺亚成为人类的先祖。有趣的是,当人们在谈论“生命是如何从没有生命的地球上产生的”这一问题时,世界各国文化中都出现一把有关大洪水的“钥匙”———一个类似诺亚方舟的故事。于是,到底有没有一条诺…     

空中交通管制员心理素质探讨

空中交通管制员的优良心理素质在保障航空器安全飞行、避免飞行冲突方面起着关键性的作用.论述了管制员的心理素质与飞行冲突的关系,选择具有良好心理素质管制员的方法,以及在职管制员的培训工作.