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