基于形式化行为描述的航天资源规划建模技术研究
针对航天资源规划问题，提出了一种基于形式化行为描述的规划建模方法．该方法结合航天资源规划问题的特点，在分析比较命题式描述机制和基于模型的描述机制的模型描述能力的基础上，采用改进的命题式描述机制作为航天资源形式化行为的描述方法，这样使得问题在确定性规划框架下求解的同时，具有较强的领域知识描述能力；又考虑到航天资源时间约束和资源约束的复杂性，选用一种改进的PDDL规划语言作为航天资源形式化行为描述语言．最后，以成像卫星为例，建立了其规划模型．
航天资源 成像卫星 资源规划 描述机制
王励 陈克伟 王炎娟 张辉
国防科学技术大学机电工程与自动化学院，湖南，长沙，410073
国内会议
合肥
中文
521-524
2008-07-01（万方平台首次上网日期，不代表论文的发表时间）