航天器C51语言软件中断资源冲突分析方法

对航天器C51语言软件中常见的3种中断资源访问冲突情况进行了归纳总结.由目前软件资源冲突分析方法的比较结果,提出基于静态分析技术的C51语言软件资源访问冲突分析方法,并针对上述情况给出了具体分析流程.该方法可以解决多种C51语言软件中断资源访问冲突问题,也可以推广到其他处理器.     

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

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

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

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

基于DS证据理论的航天设备寿命预测方法

以动量轮为研究对象,提出一种基于D S证据理论和Bayes理论的信息融合及寿命预测方法。首先,挖掘多个寿命信息源的内、外部信息作为Bayes多源验前信息,并构建证据集合;其次,利用合成规则对证据集合进行合成,得到合理的验前融合权重的分配结果;然后,利用Bayes方法求解寿命参数的融合验后分布,并计算寿命参数的估计值;最后,根据参数估计值预测设备的剩余寿命。仿真结果表明,基于多源寿命信息融合的预测结果与单一来源的寿命预测结果相比,更加接近于设备的真实寿命信息。     

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

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

基于支持向量机和DS证据理论的双馈风机定子匝间短路故障诊断

结合支持向量机(SVM)和DS证据理论,搭建了扩展Park变换模型以及失电残压模型,从多元信息融合的角度进行定子匝间短路故障诊断。仿真证明,该方法可以有效提高故障诊断的精确度,从而减少误诊。     

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

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

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

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