小天体着陆任务规划修复的弧一致时间约束松弛推理方法  

Arc-consistent Temporal Constraint Relaxation Reasoning Method for Landing Mission Planning Repair of Small Celestial Bodies

作　　者：徐瑞[1,2] 李世震 李朝玉 王棒[1,2] 朱圣英 梁子璇[1,2] XU Rui;LI Shizhen;LI Zhaoyu;WANG Bang;ZHU Shengying;LIANG Zixuan(School of Aerospace Engineering,Beijing Institute of Technology,Beijing 100081,China;Key Laboratory of Autonomous Navigation and Control for Deep Space Exploration(Beijing Institute of Technology),Ministry of Industry and Information Technology,Beijing 100081,China)

机构地区：[1]北京理工大学宇航学院,北京100081 [2]深空自主导航与控制工信部重点实验室(北京理工大学),北京100081

出　　处：《宇航学报》2025年第3期544-554,共11页Journal of Astronautics

基　　金：国家重点研发计划(2019YFA0706500);中国科协青年人才托举工程(2022QNRC001,2021QNRC001)。

摘　　要：任务规划修复是探测器着陆过程中自主应对不确知小天体环境的关键,而小天体着陆任务时间约束复杂且耦合,时间约束推理的速度直接影响到规划修复的效率。针对小天体着陆任务规划修复中的时间约束松弛推理慢问题,提出变量值域支持列表以保存变量间的影响关系,进而提出减量式弧一致时间约束松弛推理方法,减小约束松弛的推理范围,快速求解时间网络中变量的扩展值域,实现规划修复中时间约束松弛的高效推理。最后,以小天体着陆任务规划修复场景进行数值仿真,验证了方法的有效性和高效性,可为小天体着陆器快速任务规划修复提供支撑。Plan repair is essential for probes to adapt autonomously to the uncertain environments of small celestial bodies.The temporal constraints associated with landing missions on such bodies are complex and interconnected,meaning that the speed of temporal constraint inference directly impacts the efficiency of plan repair.To address the issue of slow temporal constraint relaxation reasoning in plan repair for small celestial body landing missions,a variable domain support list is introduced to maintain the influence relationships between variables.Furthermore,a decremental arcconsistency method for temporal constraint relaxation reasoning is proposed.This method narrows down the reasoning scope of constraint relaxation,quickly determines the extension range of variable domains within the temporal network,and enables efficient reasoning for temporal constraint relaxation in plan repair.Numerical simulations are conducted using a scenario involving plan repair for a small celestial body landing mission,validating the effectiveness and efficiency of the proposed method.This approach provides support for rapid mission plan repair for landers on small celestial bodies.

关 键 词：小天体探测 任务规划 规划修复 时间约束推理 减量式弧一致 

分 类 号：V474.6[航空宇航科学与技术—飞行器设计]