摘要
对于成像卫星的操作规划,如何高效求解其规划问题模型是一个十分关键的问题。针对基于规划域定义语言(PDDL)表示的成像卫星操作规划问题的求解,采用将基于命题式的PDDL语言描述的模型转化为多值变量模型的方法,建立了基于混合整数规划的问题求解模型,从而可以方便地采用混合整数规划的已有求解器进行求解,提高了问题的求解效率。对关键技术进行了分析,并设计了问题求解流程。仿真实验结果证明该方法是可行和适用的。
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 PDDLbased 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.
出处
《计算机工程与应用》
CSCD
北大核心
2011年第3期229-232,共4页
Computer Engineering and Applications
基金
国家部委预研基金资助项目No.9140A22010807KG01~~
关键词
成像卫星
操作规划
多值变量模型
混合整数规划
imaging satellite mission planning multi-valued variable model Mixed Integer Programming（MIP）
