Abstract: How to efficiently solve imaging operation planning model is a key question for imaging satellite operation planning.Based on established PDDL-based（Planning Domain Definition Language） operation planning model for imaging satellite which belongs to propositional representation in AI planning.The paper presents a novel approach to transform the PDDL-
based model to multi-valued variable model for imaging satellite planning，and gets a new model based on Mixed Integer Programming（MIP），which thereby can facilitate the adoption of the existing commercial mixed integer programming solver to solve the complex problem and improve the solving efficiency.Then it analyzes the key technologies and designs the problem solving process.Results of simulation experiment show that the method is feasible and applicable.

Key words: imaging satellite, mission planning, multi-valued variable model, Mixed Integer Programming（MIP）

摘要： 对于成像卫星的操作规划，如何高效求解其规划问题模型是一个十分关键的问题。针对基于规划域定义语言（PDDL）表示的成像卫星操作规划问题的求解，采用将基于命题式的PDDL语言描述的模型转化为多值变量模型的方法，建立了基于混合整数规划的问题求解模型，从而可以方便地采用混合整数规划的已有求解器进行求解，提高了问题的求解效率。对关键技术进行了分析，并设计了问题求解流程。仿真实验结果证明该方法是可行和适用的。

关键词: 成像卫星, 操作规划, 多值变量模型, 混合整数规划