“海拔最高的战争”——波音空客补贴争端

对欧美双方在大型客机领域的贸易冲突进行了详细阐述,总结和归纳出欧美双方向各自航空企业提供政府补贴的类型、方式、所违反的国际法规以及补贴对双方航空企业发展的影响。对空客以及波音公司近20年的经营状况进行比较,分析出美国首先向WTO提起诉讼的原因。最后,对欧美双方在大型客机领域的贸易冲突的发展前景进行预测,并对我国政府支持大型客机产业的方式提出了若干意见。     

提高管制员防冲突应变能力浅析

<正>引言随着空中飞行流量的急剧增加,缩小垂直间隔和水平间隔的实施,在空域运行条件没有得到充分改善的情况下,产生空中飞行冲突的可能性在不断增加。由于航空安全是个复杂的系统,任何一个环节     

移动Ad Hoc网络中一种支持QoS的多址接入协议

基于随机竞争和冲突解决的思想,为多跳移动Ad Hoc网络提出了一种支持服务质量(QoS)的多址接入(QMA)协议.将业务负载划分为时延敏感的实时业务和非时延敏感的数据业务.按照该协议,节点在发送业务分组前利用预报突发进行竞争接入,节点按照业务分组时延情况确定预报突发的长度,所发预报突发能持续到最后的节点优先获得接入.同时,具有实时业务的节点可以按照其优先级在更早的竞争微时隙中开始发送预报突发,因而可以比发送数据业务的节点更优先接入信道.最后利用OPNET仿真评估了QMA协议的多址性能,通过与带冲突避免的载波侦听(CSMA/CA)协议比较表明,QMA协议可以提供较高的吞吐量和较低的消息丢失率,并能为实时业务提供较低的时延,从而实现了对多媒体业务的QoS支持.      

“现代”级驱逐舰的失火内幕

最近的圣波得堡北方造船厂的大火，不仅烧出了俄罗期造船业的人事管理问题，更烧出俄罗期军工企业的内部冲突问题。特别自苏联解体和冷战结束以来，国际军火市场日益紧缩、订单大幅减少，面临生存问题的俄罗期军工企业，未来将何去何从非常值得注意。     

基于复杂网络和朴素贝叶斯的飞行态势评估

为了辅助管制员作出合理的冲突调配决策，准确地评估空中飞行态势，提出了一种基于复杂网络和朴素贝叶斯分类器的飞行态势评估方法。首先，依据航空器的位置、航速、航向等重要信息，通过三维速度障碍法构建了冲突网络，在此基础上选取了平均度、平均点强、平均加权聚类系数等6个网络特征指标构建态势评估指标体系。采用分类的思想对飞行态势进行评估，分类器选择朴素贝叶斯分类器，将飞行态势分为优、良、中、差4个等级。仿真试验结果表明：相对于传统飞行状态网络，所构建的冲突网络能够降低33.3%的虚警率；所提出的评估模型能够准确判断空中的飞行态势，能为航空管制工作提供辅助决策。     

基于可达集的无人机低空飞行冲突解脱算法

针对无人空中交通管理（UTM）中的冲突解脱问题，提出了以可达集分析为基础的实时避撞算法。该算法可用于城市低空环境中的密集交通流空域，保证无人机（UAV）飞行过程的安全性。基于相对运动的概念，通过分析平面空域中的飞行博弈问题对避撞系统进行建模，同时利用水平集方法和最优控制理论对无人机的可达集进行分析和计算，使用机载传感器获取无人机与周围物体的信息，为每架无人机提供新的避撞策略。通过3种不同空域环境的飞行案例进行仿真实验，验证了该策略不仅可以得到平滑的飞行路径，实时安全地解决冲突解脱问题，而且针对合作/非合作目标均有效。     

模型驱动的安全关键系统标准符合性验证方法

大部分安全关键系统都需要进行安全认证,以确保其不会对人、财产或环境造成重大伤害。提供符合性认证所必须的证据是一项具有挑战性的任务。目前学术界提出一种模型驱动的安全关键系统标准符合性验证方法,该方法便于证据链的收集和标准符合性验证。分析了当前模型驱动的安全关键系统的研究现状,介绍了其标准符合性验证方法的概念、模型和框架,并将其与传统的方法进行比较分析,为我国安全关键系统的标准符合性验证提供借鉴。     

基于冲突分类与消解的多智能体路径规划算法设计CSCD

多智能体路径规划应用广泛但求解困难。为更好地处理多智能体路径规划中的路径冲突问题,提高求解效率,将冲突进一步分类为相向顶点冲突和交叉顶点冲突,并提出了对应的消解方式。相向顶点冲突的消解方法采用提前添加约束的方式,避免在消解其冲突的过程中产生另一个可预见的冲突;交叉顶点冲突的消解方法采用寻找最佳等待时间的方式,在消解其冲突的同时消解其他存在的冲突。两种冲突消解方法均可减小约束树的规模,在一定程度上减少算法的计算量。并提出了基于冲突搜索算法的高层节点冲突搜索算法。实验结果表明,所提出的冲突分类及消解方式有效地减小了算法高层中约束树的规模,降低了算法计算量,并在智能体密集的环境下表现出更大的优势。