期刊文献+
共找到9篇文章
< 1 >
每页显示 20 50 100
基于PDDL的对地观测卫星任务规划建模研究 被引量:4
1
作者 伍国华 马满好 +1 位作者 邱涤珊 冉承新 《遥感信息》 CSCD 2010年第3期94-98,共5页
传统的数学模型方法是解决复杂卫星任务规划问题的一种途径,但其抽象性给建模人员带来很大难度。PDDL(Planning Domain Definition Language)可以针对卫星任务规划问题建立清晰有效的模型,并能把模型的知识转化成计算机易于接受的形式。... 传统的数学模型方法是解决复杂卫星任务规划问题的一种途径,但其抽象性给建模人员带来很大难度。PDDL(Planning Domain Definition Language)可以针对卫星任务规划问题建立清晰有效的模型,并能把模型的知识转化成计算机易于接受的形式。用PDDL描述对地观测卫星的任务规划问题,分析了卫星执行任务时涉及的约束、相关活动和所需的资源,建立任务规划模型的域文件(domain file)和问题(problem file)文件,并针对所建模型提出求解模型的算法流程,最后通过一个算例验证模型和算法是有效地。 展开更多
关键词 卫星任务规划 pddl模型 对地观测卫星
在线阅读 下载PDF
基于PDDL的成像卫星任务规划建模 被引量:9
2
作者 陈克伟 安蓓 +1 位作者 王炎娟 张辉 《兵工自动化》 2008年第12期41-44,共4页
基于对成像卫星任务规划问题的特点的深入分析,提出一种基于状态-动作模型的任务规划建模的方法:采用PDDL语言对成像卫星的领域知识进行描述,解决动作的持续时间约束、复杂的资源约束和一类特殊的外部事件约束的表达问题,最终建立成像... 基于对成像卫星任务规划问题的特点的深入分析,提出一种基于状态-动作模型的任务规划建模的方法:采用PDDL语言对成像卫星的领域知识进行描述,解决动作的持续时间约束、复杂的资源约束和一类特殊的外部事件约束的表达问题,最终建立成像卫星任务规划模型。通过对该建模方法的模型描述能力分析,表明该建模方法较传统规划建模方法具有较好的描述能力,能满足描述成像卫星任务规划问题的要求。 展开更多
关键词 成像卫星 任务规划 建模 约束 pddl(Planning DOMAIN DEFINITION Language)
在线阅读 下载PDF
基于PDDL的侦察卫星应用任务建模研究 被引量:2
3
作者 范志良 王迪 +1 位作者 任海燕 马满好 《航天控制》 CSCD 北大核心 2009年第5期77-82,共6页
侦察卫星应用任务是指由侦察卫星完成的任务,构建任务模型是为了使用户提交的复杂多元的侦察任务表达更加清晰化,给后续的任务调度模型提供数据。通过对侦察任务的简单分析,结合规划域定义语言(PDDL)的特点,形成一种航天任务建模的新方... 侦察卫星应用任务是指由侦察卫星完成的任务,构建任务模型是为了使用户提交的复杂多元的侦察任务表达更加清晰化,给后续的任务调度模型提供数据。通过对侦察任务的简单分析,结合规划域定义语言(PDDL)的特点,形成一种航天任务建模的新方法。针对侦察卫星应用任务的资源和时间约束等问题,采用对语言扩展的方法,通过给初始状态、目标说明和活动模型添加被扩展的谓词表达式来解决。最后,给出海上移动目标监视的案例,验证了建模方法的可行性。 展开更多
关键词 侦察卫星 任务建模 规划领域定义语言
在线阅读 下载PDF
一种对地观测卫星应用任务描述模型 被引量:2
4
作者 马满好 祝江汉 +1 位作者 范志良 罗雪山 《国防科技大学学报》 EI CAS CSCD 北大核心 2011年第2期89-94,共6页
对地观测卫星(EOS)的应用任务建模是任务规划与调度的重要组成部分。从对地观测卫星系统的组成、应用任务特点以及建模基本要素等3个方面,对应用任务进行了详细的分析,其中特点包括任务周期性、严格的时间限制性、实体属性的复杂性以及... 对地观测卫星(EOS)的应用任务建模是任务规划与调度的重要组成部分。从对地观测卫星系统的组成、应用任务特点以及建模基本要素等3个方面,对应用任务进行了详细的分析,其中特点包括任务周期性、严格的时间限制性、实体属性的复杂性以及任务的突发性等,建模基本要素主要包括约束条件和活动。在此基础上,使用规划领域定义语言(PDDL)对建模要素进行建模,主要包括约束条件和活动模型的标准化构建等。最后,给出了对地观测卫星对点目标的应用任务的建模案例,验证了任务建模适用于对地观测卫星任务规划。 展开更多
关键词 对地观测卫星 应用任务 规划领域定义语言 建模
在线阅读 下载PDF
航天任务模型到规划模型转换的映射方法研究 被引量:1
5
作者 马满好 罗雪山 范志良 《系统仿真学报》 CAS CSCD 北大核心 2009年第21期6743-6746,共4页
卫星任务规划与调度的基础是建立合理的任务规划的数学模型,由于针对具体的规划问题,规划模型的构建效率较低而且通用性不强。通过提出转换规则,分析模型转换的源模型——基于PDDL的航天应用任务模型(记为EOSAST-PDDL)和目标模型——规... 卫星任务规划与调度的基础是建立合理的任务规划的数学模型,由于针对具体的规划问题,规划模型的构建效率较低而且通用性不强。通过提出转换规则,分析模型转换的源模型——基于PDDL的航天应用任务模型(记为EOSAST-PDDL)和目标模型——规划模型,得到模型转换的主要因素,在此基础上提出了模型转换的映射方法。针对规划模型的组成元素设计转换规则和转换的过程算法,实现了数学模型的自动化构建。最后,通过对地观测卫星对点目标的观测应用任务的案例,验证了映射方法的可行性。 展开更多
关键词 EOSAT-pddl模型 规划模型 模型转换 映射
原文传递
信息安全风险过程的规划渗透图模型
6
作者 王桢珍 武小悦 刘忠 《计算机科学》 CSCD 北大核心 2009年第6期44-46,56,共4页
提出了一个可应用于信息安全风险过程建模的规划渗透图模型:采用形式化的规划域定义语言PDDL(Planning Domain Definition Language)对风险过程的领域和问题进行了描述,基于智能规划方法中的动作、状态等概念对风险过程的系统信息、脆... 提出了一个可应用于信息安全风险过程建模的规划渗透图模型:采用形式化的规划域定义语言PDDL(Planning Domain Definition Language)对风险过程的领域和问题进行了描述,基于智能规划方法中的动作、状态等概念对风险过程的系统信息、脆弱性、威胁主体及防御主体之间的关联进行建模,提出了规划渗透图构建的关键算法,并用一个修改后的规划引擎应用相关构建算法推导出所有渗透路径,最后调用Graphviz Tootkit的接口绘制出规划渗透图。 展开更多
关键词 风险过程 规划渗透图模型 规划域定义语言 智能规划
在线阅读 下载PDF
一种通用型遥操作任务智能规划方法研究 被引量:3
7
作者 高宇辉 师明 +1 位作者 蔡敦波 张弓 《深空探测学报(中英文)》 CSCD 北大核心 2021年第2期140-146,共7页
在地外天体执行遥操作任务时,在复杂约束条件下会出现多分支作业选择困难、事件属性设置复杂等现实难题。提出了一种通用型任务智能规划方法——分层规划对象模型(Hierarchical Plan Object Model,HPOM),巡视器在地外天体作业时,其分解... 在地外天体执行遥操作任务时,在复杂约束条件下会出现多分支作业选择困难、事件属性设置复杂等现实难题。提出了一种通用型任务智能规划方法——分层规划对象模型(Hierarchical Plan Object Model,HPOM),巡视器在地外天体作业时,其分解为多选项作业、带约束行为、多分支指令序列、参数化虚拟指令4个层次,将带约束行为表示的计划转化为行为规划问题进行求解,获得求解方法集合。采用“人机协同迭代求解”(Human-In-The-Loop,HITL)的处理流程,生成指令序列以期实现对不同规划粒度方案的一致性验证。该方法已成功应用于“嫦娥四号”(Chang'E-4,CE-4)任务,为任务圆满成功提供了技术支撑。 展开更多
关键词 嫦娥四号 任务规划 分层对象模型 pddl建模 人机协同
在线阅读 下载PDF
基于状态检测的规划约束描述语言设计 被引量:1
8
作者 周丘实 张克 +1 位作者 孙鑫 秦筱楲 《战术导弹技术》 北大核心 2016年第4期65-69,共5页
面向无人飞行器的复杂任务约束,借鉴规划领域描述语言(PDDL)的结构与思路,提出了一种基于状态检测的规划约束描述语言。这种约束描述语言以状态为主体,通过规范的语法,对规划过程中的复杂约束条件进行描述,并且具备良好的可扩展性。对比... 面向无人飞行器的复杂任务约束,借鉴规划领域描述语言(PDDL)的结构与思路,提出了一种基于状态检测的规划约束描述语言。这种约束描述语言以状态为主体,通过规范的语法,对规划过程中的复杂约束条件进行描述,并且具备良好的可扩展性。对比了PDDL与基于状态检测的规划约束描述语言的联系与区别,介绍了面向约束的规划描述语言的定义、结构与语法,并通过示例检验了其对约束的表达能力。 展开更多
关键词 任务规划 约束建模 描述语言 规划领域描述语言 约束条件
原文传递
基于多演示动作基元参数化学习的机器人任务泛化 被引量:4
9
作者 刘环 钱堃 +1 位作者 桂博兴 马旭东 《机器人》 EI CSCD 北大核心 2019年第5期574-582,共9页
针对机器人示范学习过程中任务泛化与动作轨迹泛化问题,提出了一种将多演示动作轨迹的任务参数化学习与动作序列推理相结合的方法.针对通用动作基元的多演示轨迹样本,利用动态运动基元进行轨迹编码并建立任务参数化模型,利用高斯过程回... 针对机器人示范学习过程中任务泛化与动作轨迹泛化问题,提出了一种将多演示动作轨迹的任务参数化学习与动作序列推理相结合的方法.针对通用动作基元的多演示轨迹样本,利用动态运动基元进行轨迹编码并建立任务参数化模型,利用高斯过程回归学习外部参数与模型参数之间的映射.针对新的任务实例,利用规划域定义语言推理缺失动作序列,任务参数化模型根据新的外部参数泛化出动作的目标轨迹,并修正轨迹误差.在UR5机器人上的实验表明,面对不同任务实例和环境变化,该方法可灵活生成动作序列并调整泛化目标,基于多演示的任务参数化模型能够对给定外部参数泛化出平滑的目标轨迹,泛化效果优于单一演示轨迹,提高了机器人任务泛化的能力. 展开更多
关键词 示范学习 动态运动基元 任务参数化模型 规划域定义语言
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部