摘要

为解决作战推演中作战计划时空冲突检测问题,对作战计划建模和时空冲突检测算法展开了研究。首先将作战计划分解为推演事件序列并分析了推演事件之间的时空关系;然后采用时间约束网表达推演事件序列,将推演事件时间冲突检测转化为负环检测问题;最后采用BellmanFord算法设计了负环检测函数,并对典型案例进行了实验,验证了算法的可行性。

  • 单位
    信息工程大学