计算机工程与应用 ›› 2011, Vol. 47 ›› Issue (3): 229-232.DOI: 10.3778/j.issn.1002-8331.2011.03.067
程思微,张 辉,沈林成
CHENG Siwei,ZHANG Hui,SHEN Lincheng
摘要: 对于成像卫星的操作规划,如何高效求解其规划问题模型是一个十分关键的问题。针对基于规划域定义语言(PDDL)表示的成像卫星操作规划问题的求解,采用将基于命题式的PDDL语言描述的模型转化为多值变量模型的方法,建立了基于混合整数规划的问题求解模型,从而可以方便地采用混合整数规划的已有求解器进行求解,提高了问题的求解效率。对关键技术进行了分析,并设计了问题求解流程。仿真实验结果证明该方法是可行和适用的。
中图分类号: