随着深空探测任务的增加以及星上科学任务的日益复杂,深空探测器自主任务规划与调度技术成为研究的热点。在深空探测器任务特点与系统约束分析的基础上,将智能规划理论与约束可满足技术相结合,研究多层约束规划模型中约束的动态特征,设计了基于动态约束表的外延约束快速过滤算法,根据领域信息中活动间的冲突性特征来对新加入的活动进行分类和一致性检查。仿真结果表明:提出的算法能够有效地降低约束处理中无效的约束检查次数,降低问题处理过程中的算法回溯,提高规划效率和成功率。
类型: 期刊论文
作者: 姜啸,徐瑞,陈俐均
关键词: 规划,约束可满足,过滤算法,外延约束,动态约束集
来源: 深空探测学报 2019年06期
年度: 2019
分类: 工程科技Ⅱ辑
专业: 航空航天科学与工程
单位: 北京航天控制仪器研究所,北京理工大学深空探测技术研究所,深空自主导航与控制工业和信息化部重点实验室
基金: 国家自然科学基金资助项目(617773061)
分类号: V476
DOI: 10.15982/j.issn.2095-7777.2019.06.010
页码: 586-594
总页数: 9
文件大小: 1440K
下载量: 8
本文来源: https://www.lunwen90.cn/article/dea041db83d21d3d26bb4dd9.html