自主航天器的规划系统建模研究

Research on Modelling of Planning System for Autonomous Spacecraft

根据自主航天器的特点,分析了其规划问题中活动的并行特性以及约束的复杂性,提出了自主航天器规划系统的系统结构,并对规划模型的模型要素进行分析,然后采用规划域定义语言对规划域进行建模,以时间区间理论为基础对规划问题的持续时间约束进行表示,采用时间线模型表现航天器的并行活动,最终解决了自主航天器规划系统的建模与约束表达问题。最后通过一个算例验证了所提方法的正确性。

Concurrences for actions and complexity of constraints for planning problem of autonomous spacecraft have been analyzed according to the characters of spacecraft system.The architecture of planning system for autonomous spacecraft has been proposed,and the main elements of planning model have been analyzed.Subsequently the planning domain has been modeled through Planning Domain Definition Language,the duration constraint has been represented by means of interval theory,and timeline models have been adopted to represent the concurrent activities of spacecraft. Finally,the modeling of planning system for autonomous spacecraft and representation of its constraint are solved,and a simulation example is given to demonstrate the proposed approach.