航天任务模型到规划模型转换的映射方法研究

Mapping Method of Transforming EOSAT-PDDL Model to Planning Model

卫星任务规划与调度的基础是建立合理的任务规划的数学模型,由于针对具体的规划问题,规划模型的构建效率较低而且通用性不强。通过提出转换规则,分析模型转换的源模型——基于PDDL的航天应用任务模型(记为EOSAST-PDDL)和目标模型——规划模型,得到模型转换的主要因素,在此基础上提出了模型转换的映射方法。针对规划模型的组成元素设计转换规则和转换的过程算法,实现了数学模型的自动化构建。最后,通过对地观测卫星对点目标的观测应用任务的案例,验证了映射方法的可行性。

Planning and scheduling on application task of satellite is based on the establishment of the suitable task mathematical planning model. In the past, mathematical planning model was established for some specific planning problem. The construction is inefficient and difficult to reuse. Through analyzing of source model （Earth Observing Satellite Application Tasks modeling based PDDL, EOSAT-PDDL） and target model （planning model） in model transformation, main factors of transformation were obtained. Finally, a transforming mapping method was brought forward. The mapping method mainly includes rules and process algorithm, which build mathematical planning model automatically. Through designing a case of point target imaging of earth observing satellite, the model transformation method above is validated and illuminated.