一种基于空动作的深空探测约束可满足任务规划方法

摘要

本发明公开的一种基于空动作的深空探测约束可满足任务规划方法，属于航天深空探测领域。本发明在建立深空探测器规划模型与深空探测器约束模型基础上，对深空探测器系统模型进行分层处理，对活动单元逐层处理，降低约束处理过程中的复杂度；考虑到深空探测任务规划问题的稀疏特性，根据最小承诺原则在每层活动单元中仅选择一个活动单元赋值并将其它活动单元赋予空动作；当冲突发生时对赋空值的活动单元进行修正解除冲突或进行回溯；当所有层的变量都完成赋值后，获得规划解，实现深空探测器自主任务规划。本发明要解决问题为：将深空探测任务中的复杂约束转化为约束处理中的剪枝能力，提高深空探测器自主任务规划的效率，满足探测器实时性要求。