面向动作冲突的空间敌意目标规避区间松弛规划方法

本发明属于卫星任务规划技术领域，具体涉及面向动作冲突的空间敌意目标规避区间松弛规划方法，包括以下步骤，S1：定义卫星规避威胁的任务规划问题，S2：规划算法的结构，S3：规划通过搜索来处理数值变量和扩展节点，S4：利用启发式函数，估计节点的成本，以从边界状态到达目标问题所需的动作数来衡量，S5：使用Z3来验证规划的一致性，并在其区间值中为数值变量分配最合适的值，S6：输出最终的规划结果，完成卫星规避威胁的任务规划。本发明在保证航天器安全的前提下尽可能地减小资源和时间的消耗，使系统总体性能达到最优，对于保障国家空间资产安全、提高卫星业务连续稳定运行能力、高效建设航天强国具有重大意义。