基于时间约束网络的空中编队冲突检测方法研究

摘要

The method of collision detection for temporal constraint on air formation coordinated operation against ground was studied using graph theory. The characteristics of temporal constraint in air formation coordinated operation against ground were presented, the Simple Temporal Constraint Network (STCN) theory was discussed, and a STCN model on mission was established. Then the model was translated into a weight matrix resulted from references to graph theory. The correspondence between values of cycles and weight matrix element was analyzed, and then a weight matrix algorithm, which was a new method for consistency testing, was put forward. Theoretic analysis showed that;all values of cycles could be calculated synchronously, moreover, the time complexity was reduced effectively and testing efficiency was improved remarkably, and it satisfied the requirement of dynamic coordination. The simulation result showed that the method was effective and feasible.%研究了采用图论方法检测空中编队对岸打击协同作战时序安排合理性的方法.论述了空中编队协同对岸打击作战的时间约束特点,结合简单时间约束网络理论,建立了任务的简单时间约束网络模型.借鉴图论的相关理论,将任务简单时间约束网络模型转化为权值矩阵的形式.分析网络中回路权值与权值矩阵元素的对应关系,提出一致性检测的新方法——权值矩阵法.理论分析表明:该方法可同步并行计算所有回路的权值之和,有效减小了时间复杂度,显著提高了检测效率,更加适合动态协同过程的需求.仿真结果表明该方法可行、有效.