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

摘要：

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

关键词：规划、约束可满足、过滤算法、外延约束、动态约束集

所属期刊栏目：6

分类号：TP18(自动化基础理论)

资助基金：国家自然科学基金资助项目617773061

在线出版日期：2020-03-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：586-594