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

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

Research on Extensional Constraint Filtering Method Based on Dynamic Constraint Sets

With the development of deep space missions and the complexity of scientific tasks, the autonomous mission planning and scheduling of deep space explorers has become a research hotspot. On the basis of the task characteristics and the analysis of the system constraints of deep space probes,combined the intelligent planning theory with the constraint satisfaction technology,the dynamic characteristics of the constraints in the multi-layer constraint programming model is studied,and the fast extensional constraint filtering algorithm is designed based on the dynamic constraint sets. In this method, the newly added activities are classified according to the conflict between activities in the domain information,and the consistency of variables in the constraint table are checked. The results show that the proposed algorithm can effectively reduce the number of invalid constraints in the constraint processing,reduce the algorithm backtracking in the process of problem processing,and improve the efficiency and success rate of the planning.