深空探测器动态约束规划中的外延约束过滤方法研究

随着深空探测任务的增加以及星上科学任务的日益复杂,深空探测器自主任务规划与调度技术成为研究的热点。在深空探测器任务特点与系统约束分析的基础上,将智能规划理论与约束可满足技术相结合,研究多层约束规划模型中约束的动态特征,设计了基于动态约束表的外延约束快速过滤算法,根据领域信息中活动间的冲突性特征来对新加入的活动进行分类和一致性检查。仿真结果表明:提出的算法能够有效地降低约束处理中无效的约束检查次数,降低问题处理过程中的算法回溯,提高规划效率和成功率。     

基于约束可满足的深空探测任务规划方法研究

基于传统的CSP算法不能充分体现规划过程的特点,讨论了如何将规划中的动作关系映射到CSP结构中,并据此提出了一种以动作为中心的启发式变量选择策略;分析验证了该方法能够显著降低传统CSP变量搜索策略的时间复杂度,同时对于约束编码的规划问题具有一般适用性。仿真实验表明,本文提出的方法减少了约束处理中的冗余操作,有效提高了问题的求解效率,为工程应用奠定了基础。