欧洲探测器发现最新证据 火星上曾一片汪洋

2012年2月7日，据英国《每日邮报》报道，众所周知，火星的表面如今是片不毛之地，但欧洲航天局的“火星快车”探测器日前却发回强有力的证据，再次显示这颗火红的星球上曾有一片汪洋。     

树立“四个意识” 把握“四个特性”

民航厦门航管站成立于1988年,因毗连台北飞行情报区,地理位置十分重要;又因军民航飞行冲突比较多,台风等灾害性天气复杂,给保障飞行安全带来了巨大压力。由于全站齐心协力,紧紧围绕把握安全的重要性、复杂性、系统性、基础性等特性开展工作,因而连续实现了13年空管安全,保持了较好的安全态势。     

军航飞机流穿越民航航线冲突探测与解脱问题

针对军航飞机穿越民航航线的飞行冲突问题,对飞机流汇聚飞行场景进行建模分析,提出了基于滑动窗口的汇聚飞行冲突探测方法和基于合作博弈的多机冲突解脱方法。当飞机流进入预先划设的汇聚控制区,通过滑动窗口判断向前看时间内飞行冲突。基于此,潜在冲突机间组成一个联盟,以解脱边界条件为安全约束,以合作博弈理论中联盟福利最优解均衡各机效益,在保证安全的前提下实现效益均衡。根据最优机动方向特点,利用免疫粒子群优化算法快速求解策略。仿真结果表明,该场景下提出的方法能有效解算出满足要求的解脱策略,并均衡军民航飞机解脱效益。      

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

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

基于改进冲突搜索的多智能体路径规划算法

多智能体路径规划问题在航空航天领域的多机任务中应用广泛但求解困难。基于改进冲突搜索的算法被设计用来快速求解多智能体路径规划问题。全局路径规划方面，首先设计综合考虑路径代价总和以及最大完工时间的多目标代价函数，其次提出基于唯一最短路径的冲突分类及消解方案，降低多智能体路径规划的计算量。在线冲突消解方面，利用速度障碍法在线检测和消解智能体与动态障碍物间的突发冲突。仿真结果表明，本文算法在全局路径规划方面保留基于冲突搜索算法的最优性并且降低了算法计算量，同时本文算法能够有效实现在线冲突检测与消解。     

基于析取关系直接变换的冲突解脱方法

针对自由飞行条件下的飞行冲突解脱问题,提出了一种基于析取关系直接变换的联立求解方法(DDTSA)。首先在不引入额外辅助变量的情况下,将基于析取关系的安全边界条件变换成易于联立求解的约束条件,使问题的变量和方程个数大幅度减少,从而降低问题的求解难度。然后为保证求解的精度和稳定性,采用基于Radau配置点的拉格朗日插值多项式对微分代数方程组进行离散化处理,继而求解离散化得到的非线性规划问题。最后分别对2架、3架以及4架飞机的冲突解脱问题进行仿真,仿真结果表明与相关文献中的方法相比,该方法具有更高的计算效率并且能够得到更优的结果。     

基于证据理论的覆盖决策信息系统约简的数值刻画

决策为划分的覆盖决策信息系统的特征选择理论和方法日趋成熟。但在数据采集的过程中,有些数据集存在对象的决策缺失或决策不能完全确定情况,那么将决策刻画为覆盖更加合理。而决策为覆盖的覆盖决策信息系统特征选择的研究却很少见。本文讨论决策为覆盖的覆盖决策信息系统的特征选择,利用证据理论中的信任函数和似然函数给出覆盖决策信息系统约简的等价刻画,从而给出求约简的算法,并以实例说明该方法的有效性。