【摘 要】
：
针对航天资源规划问题,提出了一种基于形式化行为描述的规划建模方法.该方法结合航天资源规划问题的特点, 在分析比较命题式描述机制和基于模型的描述机制的模型描述能力的基
【机 构】
：
国防科学技术大学机电工程与自动化学院;
论文部分内容阅读
针对航天资源规划问题,提出了一种基于形式化行为描述的规划建模方法.该方法结合航天资源规划问题的特点, 在分析比较命题式描述机制和基于模型的描述机制的模型描述能力的基础上,采用改进的命题式描述机制作为航天资源形式化行为的描述方法,这样使得问题在确定性规划框架下求解的同时,具有较强的领域知识描述能力;又考虑到航天资源时间约束和资源约束的复杂性,选用一种改进的 PDDL 规划语言作为航天资源形式化行为描述语言.最后,以成像卫星为例,建立了其规划模型.
其他文献
为研究不同工况参数对边帮采煤机螺旋输送性能的影响,采用EDEM软件建立螺旋输送仿真模型,以输送速率、平均质量流率为定性评价指标,利用极差法分析螺旋输送机构螺距、转速、
本文通过对贵州西部煤层气勘探开发的基础条件、开发优势及存在的问题进行分析，提出贵州西部煤层气勘探开发工作仍属风险勘探阶段，但试验性勘探开发的时机已经成熟，通过政府的支
任务型教学模式是当前外语教学界讨论的热点话题。本文以任务型教学模式的相关理论研究为基础．以辩论赛在高职英语教学中的实践为例。指出在大学英语课堂教学中开展英语辩论的
石包头水库大坝是典型的边勘察、边设计、边施工工程,施工过程中对设计方案几经修改,大坝建成后第二年就出现了水平裂缝。通过理论分析,分别用经验公式和有效应力圆弧滑裂面
键合金银丝是一种以金银合金为基体的导电合金丝,因兼具性能和成本优势近年来广受关注。为促进我国相关产业的技术进步,采用专利导航分析并结合文献综述、标准对比等手段综合
为了研究瓦斯爆炸的压力与温度特性,利用矩形管道装置对不同体积分数的瓦斯进行爆炸实验。采用压力传感器和微细热电偶测量爆炸过程中压力与温度的变化,并结合高速摄像仪采集
时代的进步让计算机智能化成为了制造业的主流,流水线的高效作业代替了人工,快速、安全成为了自动化发展的重要主题。机械自动化是打破传统的重要步骤,具有现代化机械制造的
驾校C证场地考试三维模拟以一组动态按钮联系漫游模式和考试训练模式。在两种模式中,以一组动态伸缩按钮介绍直角转弯、S弯道等5种模式的具体规则和操作细节;漫游模式中加入
“内蒙古少年儿童出版社”微信公众号发展稳中有进,形成了特色的推送风格,传播了正能量,具有社会效益。但也存在标题语义不达、内容质量不佳、排版美观度不足、推送频率不合
明确同一栖息地内捕食动物的食物组成,是理解动物种间共存、群落发展趋势和生态系统结构与功能稳定的重要基础。2017年采用样线法收集北京松山国家级自然保护区食肉动物粪便