论文部分内容阅读
对于成像卫星的操作规划,如何高效求解其规划问题模型是一个十分关键的问题。针对基于规划域定义语言(PDDL)表示的成像卫星操作规划问题的求解,采用将基于命题式的PDDL语言描述的模型转化为多值变量模型的方法,建立了基于混合整数规划的问题求解模型,从而可以方便地采用混合整数规划的已有求解器进行求解,提高了问题的求解效率。对关键技术进行了分析,并设计了问题求解流程。仿真实验结果证明该方法是可行和适用的。
For the operation planning of imaging satellites, how to efficiently solve its planning problem model is a very crucial issue. In order to solve the imaging satellite operation planning problem based on PDDL, the method of converting the model described by the PDDL language based on the propositional model into the multivalue variable model is adopted, and the problem solving model based on mixed integer programming is established. Therefore, the existing solver of mixed integer programming can be easily used to solve the problem, which improves the solution efficiency of the problem. The key technologies are analyzed and the problem solving process is designed. Simulation results show that this method is feasible and applicable.