管制-飞行状态相依网络模型及特性分析

管制员和航空器是管制系统的关键所在，两者紧密关联、相互依存，分析其间的相互关系，能够加深对管制系统的理解，更好地维护其运行效率。为此，首先构建了一种由飞行状态网络和管制网络相耦合所组成的相依网络模型。其中，飞行状态网络由空中的航空器和彼此之间位置关系决定；管制网络由管制扇区及其之间的移交关系确定。然后根据管制员对航空器的调配难度确定依存边的权重。最后依据构建原则模拟生成人造网络，对该网络的节点度、点强和加权聚类系数以及网络效率和鲁棒性进行了分析。分析结果表明:所构建的相依网络模型能够反映管制员和航空器之间的相互关系，管制节点重要程度高于航空器节点。      

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

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

自组织网络中的分布式能量感知拓扑控制算法

为了有效利用无线自组织网络的能量,将最小连通支配集和计算几何学相结合,提出了一种自组织网络中的分布式能量感知拓扑控制算法.首先选举能量寿命较长的节点构建能量感知最小连通支配集,保证支配节点有充足的能量完成路由转发任务.之后在能量感知最小连通支配集上面构建Delaunay三角剖分,降低节点数据发送能耗,保证链路的能量有效性和网络拓扑的平面性.在原有连通支配集失效的情况下,选举能量寿命较长的替代节点进行拓扑重构,实现动态网络能量均衡.仿真结果表明,本算法在获得小的支配集的同时延长了网络寿命.      

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

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

基于SVM的低空飞行冲突探测改进模型

为保障通航飞行器在低空空域的飞行安全,提出了一种基于支持向量机（SVM）的飞行冲突探测改进模型。首先,建立适应于飞行器的保护区。然后,利用改进型ID3决策树算法将搜索空间降低到局部的方法筛选具有潜在飞行冲突的飞行器,并利用随机森林（RF）选择合适训练集。最后,利用tanh函数优化容易饱和的sigmoid函数对SVM分类结果的概率映射。通过仿真验证和对比分析,结果表明:利用基于密度聚类的DBSACN算法去除异常点,将剔除产生误报和虚报的数据作为训练集优化SVM分类器,改进的飞行冲突探测模型的误报率和虚报率分别降低了0.6%和1.9%,算法执行效率得到提高,而且具有较好的抗干扰能力与稳定性。      

基于航路点布局的多目标网络结构优化方法

为了提高区域航路网络结构的科学性、减轻飞行流量增长对网络运行带来的压力,提出了基于航路点布局的多目标网络结构优化方法。首先,考虑区域航路网络的组成要素,设计了反映网络综合性能的优化目标和约束条件以形成优化模型。然后,建立基于节点移动、融合、分解的航路点布局策略,进而给出优化模型的求解步骤,并利用NSGA-Ⅲ算法完成模型求解。最后,对北京飞行情报区部分区域航路网络进行仿真分析,结果表明,使用NSGA-Ⅲ算法得出的区域航路网络具有良好的综合性能。最优网络在满足约束条件的同时,保证了运行费用和非直线系数基本不变,并使得飞行冲突系数减少了10.8%。可见,所提优化方法能有效提升区域航路网络的经济性、安全性和可行性,符合中国现行空域环境和管理体制。      

簇飞行航天器网络动态连接和路径时空演进特性

簇飞行航天器模块的高速飞行增加了网络拓扑的不确定性.为优化簇飞行航天器的轨道设计，提升簇飞行航天器网络性能，在簇飞行航天器节点动态连接的基础上，开展基于概率连接矩阵的簇飞行航天器网络动态连接和路径时空演进特性研究.基于航天器双星伴飞模式，建立了簇飞行航天器节点移动模型，运用经验统计和曲线拟合的分析方法，得到簇飞行航天器网络节点间的距离密度函数；利用簇飞行航天器网络节点间相对距离有界的约束，给出节点连接距离的阈值范围；利用STK生成的轨道数据，通过给出序贯路径定义和一种新的矩阵乘法运算，得到节点多跳序贯路径的概率连接矩阵，分析轨道超周期内节点动态连接和路径时空演进特性，为簇飞行航天器网络的设计和优化提供理论参考.      

基于速度障碍法的飞行冲突解脱与恢复策略

针对飞行中的冲突解脱和航迹恢复问题,在速度障碍法模型的基础上提出了一种几何优化的方法,并对这个问题进行了严格的数学描述。首先根据飞机之间的相对位置和速度关系,确定其冲突类型,以及是否满足各解脱策略的条件,选取相应的解脱策略,待冲突解脱完成后,飞机恢复至原航线飞行。然后通过几何分析,理论推导,该模型能够有效解决飞行冲突,并且具体给出冲突解脱和航迹恢复的位置。最后在仿真中,所提方法根据不同场景能够自主选择冲突解脱策略,结果显示该方法简单高效,并且在航迹恢复过程中不引入新的飞行冲突。      

基于复杂网络的空中交通复杂性识别方法

在空中交通管理中，识别空中交通复杂性是一项重要工作。目前的算法多采用飞机密度、机群、滞留程度等宏观指标对复杂性进行评价。利用复杂网络理论描述空中交通状况，将空域中的飞机视为节点，飞机与飞机之间距离小于彼此的机载防撞系统（ACAS）通信距离时开始构成连边，以此构建飞行状态复杂网络模型，可以更好地描述网络内部的微观特征。选取环边数、节点强度、平均聚类系数、介数中心性和网络效率等拓扑特性指标，对动态空中交通状况进行了研究。在此基础上，采用独立主元分析（ICA）在线识别空中交通复杂性，将交通顺畅的情况作为训练数据集进行处理，根据SPE统计量、I2统计量和I_e2统计量的变化来识别复杂性情况。仿真结果表明，所提方法可以较好地识别空中交通复杂性。      

基于贝叶斯网络的关键链项目管理模型

针对项目进度管理问题,在分析关键链项目管理方法和贝叶斯网络模型技术的基础上,建立了关键链项目管理贝叶斯网络模型（CCPMBN）。首先给出了CCPMBN的基本定义,详述了模型中的节点、有向边及节点条件概率分布信息。然后,提出了面向贝叶斯网络的关键链工序分解方法,研究了基于项目关键链信息的CCPMBN建模方法。针对关键链模型中的大量资源冲突情况,分析了CCPMBN中的各类冲突结构,并给出了冲突描述及化解方法。最后,通过CCPMBN基本性质和特征分析表明了贝叶斯网络模型在项目进度管理中的应用前景。     

航天嵌入式软件数据访问冲突基准测试集研究

针对数据访问冲突问题的检测方法及工具的研究很多,但缺少对其进行评估的基准测试集。文章基于大量真实航天嵌入式软件中断数据访问冲突案例研究的结果,总结出影响数据访问冲突检测的6类要素,设计开发了嵌入式软件中断数据访问冲突基准测试集程序RaceBench,对SpaceDRC工具进行了指标评估。结果表明,RaceBench能够有效评估工具的适用性。     

一种基于SVM的低空飞行冲突探测算法

随着低空飞行密度不断增加,低空航行安全已引起广泛关注,由于低空环境复杂,低空飞行受地面障碍物和天气影响比商用航空显著,传统的空中交通警戒与防撞系统（TCAS）和其他冲突探测方法并不适用于低空密集飞行环境。针对传统探测方法计算量大、适用性差的不足,引入支持向量机（SVM）的二元分类方法,通过对本机和周边飞机航迹归一化处理,采用智能优化算法对关键参数进行优化,利用模拟数据对分类器进行预先训练,实现了适用于低空飞行的高效冲突探测。以大量的仿造数据对算法有效性进行了测试验证,结果表明漏警率和误警率分别控制在约0.1%和6%,克服了传统确定型方法与概率型方法难以兼顾效率与适用性的缺陷。      

航天嵌入式软件数据访问冲突基准测试集研究

针对数据访问冲突问题的检测方法及工具的研究很多,但缺少对其进行评估的基准测试集。文章基于大量真实航天嵌入式软件中断数据访问冲突案例研究的结果,总结出影响数据访问冲突检测的6类要素,设计开发了嵌入式软件中断数据访问冲突基准测试集程序RaceBench,对SpaceDRC工具进行了指标评估。结果表明,RaceBench能够有效评估工具的适用性。     

基于互相关算法的环境振动检测方法研究

为检测环境振动，构建巴特沃斯带通滤波器对环境中采集到的原始数据进行滤波，提出了邻近节点判定法，使用邻近节点构建节点网络来减小算法的时间与空间复杂度，分别计算每组网络节点的平均互相关系数，通过设定互相关阈值和台站数量阈值来判定环境振动。使用1108个检波器的数据对邻近节点判定法进行验证，并讨论算法中两类阈值对判定环境振动结果的影响，理论分析和实验结果表明，该方法可用于多节点的传感器网络，可以快速、准确地检测出环境振动。     

中国民用航空器CO2减排潜力的区域划分

对中国进行科学的区域划分，是研究具有区域差异性与空间相关性航空器CO₂排放问题并提出差异化CO₂减排措施的重要基础。基于2007—2016年中国部分地区民用航空器运行数据，在构建CO₂减排潜力分类模型的基础上，通过Kruskal算法得到省域网络关系最小生成树；采用谱聚类算法，以“最大化区划优度”为目标，划分航空器CO₂减排潜力的不同区域。结果表明：最优区域划分为四分区，区划优度为0.35；航空器CO₂减排潜力高的区域主要分布于中国西南和中南地区，潜力低的区域主要分布于东北和华北地区；针对各区域CO₂减排特征，从民航局、机场和航空公司等不同主体提出了差异化的区域CO₂减排措施。     

簇飞行网络雷达几何构型对模糊函数的影响

提出了集分离航天器与网络雷达为一体的簇飞行网络雷达概念.通过引入双基地雷达模糊函数，给出簇飞行网络雷达模糊函数定义和计算步骤，研究了雷达几何构型和簇飞行雷达之间相对有界基线对模糊函数的影响.数值计算结果表明:与单基地雷达模糊函数相比，网络雷达模糊函数主瓣宽度明显变窄，簇飞行模式下可变基线对雷达模糊函数的影响不大；雷达模糊函数应主要考虑目标飞行速度和接收距离变化的影响.最后，给出了簇飞行网络雷达模糊函数的一种上界.      

大飞行包线控制律的神经网络调参设计

对于具有大飞行包线的现代电传飞行控制系统,给出了一种3层BP(Back Propagation)神经网络代替传统的根据动压、高度或马赫数单一调参的控制律,解决了大飞行包线内控制参数复杂、单一调参无规律性、在全飞行包线上特别是在平衡点之间的飞行状态的稳定性无法保证等问题.通过离线训练,得出了一组隐层只有6个节点的网络结构参数,输出为各平衡点设计的最优鲁棒反馈增益.利用该网络实现了大飞行包线的根据高度和马赫数的双参数增益调参.仿真表明,利用该神经网络可以保证在所有平衡点上原设计的最优反馈增益不变,响应过程不变,同时可以细化平衡点之间的控制参数,在较大建模误差(约50％)和平衡点间也可以具有较好的控制效果.     

基于合作博弈的多机冲突解脱算法

为解决低空无人机冲突解脱过程中个体支付成本不公平问题,提出了基于合作博弈“核仁解”概念的多机冲突解脱算法。针对低空多机冲突场景的特点,基于“核仁解”概念,建立无人机冲突解脱支付矩阵。结合人工势场法与蚁群算法的优点,提出基于人工势场法-蚁群算法(APF-ACO)的冲突解脱混合求解策略。仿真结果表明:综合计算时间、可行性与系统效率3个评价指标,APF-ACO混合求解策略效能最优;基于合作博弈“核仁解”的求解策略在一定程度上可提升个体公平性;同时能够在牺牲少量整体利益的前提下,拥有优先级无人机的快速规划达到目标。      

航班保障因果分析框架

航班离港延误是民航界一致关注并希望解决的重点及难点问题。针对航班离港延误产生原因不明晰及因果影响强度不确定的问题，提出了BLCNS-LV-IDA因果分析框架，从因果推断的角度出发，在航班地面保障业务范畴领域内，从定性和定量2个层面对航班离港推出延误进行因果分析。以航班离港推出延误时长为目标变量，基于特征选择和极大祖先图贪婪搜索(GSMAG)算法结合的BLCNS局部因果网络结构发现算法，构建因果网络模型；根据得到的因果网络，基于LV-IDA算法对各等价网络中的边缘进行因果效应评估。实验结果表明：BLCNS局部因果网络结构发现算法在处理变量较多的大样本数据集时有一定的优势，在50节点集的1 000、5 000、10 000样本量下，F1值较基线算法分别提高了-0.303、0.008、0.132，呈明显上升趋势，且在运行时间方面至少缩短16.29%。节点间的因果效应明确了各节点对航班延误的具体影响强度，为航班保障的精细化管理、减少航班延误提供了指导。