航天器规划序列中逻辑条件不满足动作集的快速检测方法

摘要

本发明公开的航天器规划序列中逻辑条件不满足动作集的快速检测方法，属于航天器自主任务规划修复领域。本发明结合航天器当时的逻辑状态和未执行规划序列，根据前提‑效果之间的因果关系进行约束传播，分析规划序列中动作执行需满足的逻辑前提条件与航天器当时的逻辑状态之间的关系，检测出受当前航天器逻辑状态直接影响的动作集合；根据前提‑效果之间的因果关系再次进行约束传播，分析需满足的逻辑前提条件与受当前航天器逻辑状态直接影响的动作集合中动作效果之间的关系，检测出受当前航天器逻辑状态间接影响的动作集合；直接跳过出现在影响范围内的动作，自主规避逻辑条件不满足的动作。本发明具有自主检测效率高、通用性好、实现简单的优点。