期刊文献+
共找到11篇文章
< 1 >
每页显示 20 50 100
基于PDDL的成像卫星任务规划建模 被引量:9
1
作者 陈克伟 安蓓 +1 位作者 王炎娟 张辉 《兵工自动化》 2008年第12期41-44,共4页
基于对成像卫星任务规划问题的特点的深入分析,提出一种基于状态-动作模型的任务规划建模的方法:采用PDDL语言对成像卫星的领域知识进行描述,解决动作的持续时间约束、复杂的资源约束和一类特殊的外部事件约束的表达问题,最终建立成像... 基于对成像卫星任务规划问题的特点的深入分析,提出一种基于状态-动作模型的任务规划建模的方法:采用PDDL语言对成像卫星的领域知识进行描述,解决动作的持续时间约束、复杂的资源约束和一类特殊的外部事件约束的表达问题,最终建立成像卫星任务规划模型。通过对该建模方法的模型描述能力分析,表明该建模方法较传统规划建模方法具有较好的描述能力,能满足描述成像卫星任务规划问题的要求。 展开更多
关键词 成像卫星 任务规划 建模 约束 pddl(Planning DOMAIN DEFINITION Language)
在线阅读 下载PDF
基于PDDL的对地观测卫星任务规划建模研究 被引量:4
2
作者 伍国华 马满好 +1 位作者 邱涤珊 冉承新 《遥感信息》 CSCD 2010年第3期94-98,共5页
传统的数学模型方法是解决复杂卫星任务规划问题的一种途径,但其抽象性给建模人员带来很大难度。PDDL(Planning Domain Definition Language)可以针对卫星任务规划问题建立清晰有效的模型,并能把模型的知识转化成计算机易于接受的形式。... 传统的数学模型方法是解决复杂卫星任务规划问题的一种途径,但其抽象性给建模人员带来很大难度。PDDL(Planning Domain Definition Language)可以针对卫星任务规划问题建立清晰有效的模型,并能把模型的知识转化成计算机易于接受的形式。用PDDL描述对地观测卫星的任务规划问题,分析了卫星执行任务时涉及的约束、相关活动和所需的资源,建立任务规划模型的域文件(domain file)和问题(problem file)文件,并针对所建模型提出求解模型的算法流程,最后通过一个算例验证模型和算法是有效地。 展开更多
关键词 卫星任务规划 pddl模型 对地观测卫星
在线阅读 下载PDF
一种基于知识表示的多步攻击规划问题描述模型 被引量:4
3
作者 努尔布力 解男男 +2 位作者 刘志宇 胡亮 柴胜 《电子学报》 EI CAS CSCD 北大核心 2013年第6期1101-1107,共7页
网络入侵检测中,攻击的形式越来越多样化和复杂化,网络多步攻击成为当前攻击的主要形式.智能规划最早用于人工智能领域,将一个领域内的知识形成规划推理时的规划域,将待求解的问题对应于规划问题.将智能规划应用于多步攻击领域,用以对... 网络入侵检测中,攻击的形式越来越多样化和复杂化,网络多步攻击成为当前攻击的主要形式.智能规划最早用于人工智能领域,将一个领域内的知识形成规划推理时的规划域,将待求解的问题对应于规划问题.将智能规划应用于多步攻击领域,用以对多步攻击进行识别,并以此为基础,提出一种基于知识表示的多步攻击规划问题描述模型,用以提供解决复杂网络攻击数据的形式化描述问题的一种探索.实验中规划问题采用PDDL语言进行描述,对所提模型进行可用性验证. 展开更多
关键词 多步攻击 智能规划 安全规划问题 pddl
在线阅读 下载PDF
规划的形式表示技术研究 被引量:2
4
作者 陈蔼祥 姜云飞 柴啸龙 《计算机科学》 CSCD 北大核心 2008年第7期105-110,共6页
智能规划是人工智能研究领域中的一个富有挑战性的课题。同时,智能规划问题具有广泛的实际应用背景。而自动规划问题面临的首要问题是规划问题的形式表示问题。本文系统地分析了情景演算,STRIPS,PDDL,HTN等各种规划形式表示技术,比较了... 智能规划是人工智能研究领域中的一个富有挑战性的课题。同时,智能规划问题具有广泛的实际应用背景。而自动规划问题面临的首要问题是规划问题的形式表示问题。本文系统地分析了情景演算,STRIPS,PDDL,HTN等各种规划形式表示技术,比较了各种形式表示技术的优缺点,并指出了进一步研究设计高效智能规划系统的方向。 展开更多
关键词 智能规划 形式表示 情景演算 STRIPS pddl HTN
在线阅读 下载PDF
航天任务模型到规划模型转换的映射方法研究 被引量:1
5
作者 马满好 罗雪山 范志良 《系统仿真学报》 CAS CSCD 北大核心 2009年第21期6743-6746,共4页
卫星任务规划与调度的基础是建立合理的任务规划的数学模型,由于针对具体的规划问题,规划模型的构建效率较低而且通用性不强。通过提出转换规则,分析模型转换的源模型——基于PDDL的航天应用任务模型(记为EOSAST-PDDL)和目标模型——规... 卫星任务规划与调度的基础是建立合理的任务规划的数学模型,由于针对具体的规划问题,规划模型的构建效率较低而且通用性不强。通过提出转换规则,分析模型转换的源模型——基于PDDL的航天应用任务模型(记为EOSAST-PDDL)和目标模型——规划模型,得到模型转换的主要因素,在此基础上提出了模型转换的映射方法。针对规划模型的组成元素设计转换规则和转换的过程算法,实现了数学模型的自动化构建。最后,通过对地观测卫星对点目标的观测应用任务的案例,验证了映射方法的可行性。 展开更多
关键词 EOSAT-pddl模型 规划模型 模型转换 映射
在线阅读 下载PDF
基于CPN的TDRS操作规划建模与仿真
6
作者 刘传辉 《火力与指挥控制》 CSCD 北大核心 2015年第5期152-156,共5页
以中继卫星(Racking and Data Relay Satellite,TDRS)为研究对象,以有色Petri网(Colored Petri Net,CPN)为数学工具,根据自顶向下的原则和层次化建模思想,提出一种基于CPN的TDRS操作规划模型,该模型分为顶层模型、控制模型、前向链路数... 以中继卫星(Racking and Data Relay Satellite,TDRS)为研究对象,以有色Petri网(Colored Petri Net,CPN)为数学工具,根据自顶向下的原则和层次化建模思想,提出一种基于CPN的TDRS操作规划模型,该模型分为顶层模型、控制模型、前向链路数据接收任务与发送任务的操作规划模型和返向链路数据接收任务与发送任务的操作规划模型,有效地描述了TDRS的动态行为特性。最后,通过仿真实验得到了TDRS操作规划方案,验证了所建模型的有效性。与PDDL模型比较分析表明:所建模型可以有效引入TDRS的领域知识,能够有效提高求解效率。所建模型可以为TDRS操作规划方案的制定提供理论参考。 展开更多
关键词 TDRS 操作规划 有色PETRI网 pddl
在线阅读 下载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
一种对地观测卫星应用任务描述模型 被引量:2
8
作者 马满好 祝江汉 +1 位作者 范志良 罗雪山 《国防科技大学学报》 EI CAS CSCD 北大核心 2011年第2期89-94,共6页
对地观测卫星(EOS)的应用任务建模是任务规划与调度的重要组成部分。从对地观测卫星系统的组成、应用任务特点以及建模基本要素等3个方面,对应用任务进行了详细的分析,其中特点包括任务周期性、严格的时间限制性、实体属性的复杂性以及... 对地观测卫星(EOS)的应用任务建模是任务规划与调度的重要组成部分。从对地观测卫星系统的组成、应用任务特点以及建模基本要素等3个方面,对应用任务进行了详细的分析,其中特点包括任务周期性、严格的时间限制性、实体属性的复杂性以及任务的突发性等,建模基本要素主要包括约束条件和活动。在此基础上,使用规划领域定义语言(PDDL)对建模要素进行建模,主要包括约束条件和活动模型的标准化构建等。最后,给出了对地观测卫星对点目标的应用任务的建模案例,验证了任务建模适用于对地观测卫星任务规划。 展开更多
关键词 对地观测卫星 应用任务 规划领域定义语言 建模
在线阅读 下载PDF
可能性规划表示与求解
9
作者 殷明浩 李丹丹 +1 位作者 谷文祥 孙吉贵 《南京大学学报(自然科学版)》 CAS CSCD 北大核心 2008年第5期466-476,共11页
利用可能性理论提出了一种基于PDDL(planning domain definition language)的可能性规划表示方法——Poss-PDDL,给出了基于可能性理论框架下的定性决策理论和图规划算法的可能性规划求解方法——可能性图规划,设计并开发了可能性规划问... 利用可能性理论提出了一种基于PDDL(planning domain definition language)的可能性规划表示方法——Poss-PDDL,给出了基于可能性理论框架下的定性决策理论和图规划算法的可能性规划求解方法——可能性图规划,设计并开发了可能性规划问题求解器Poss-Graphplan.PDDL是国际规划器大赛的标准域定义语言,这使得Poss-PDDL更具通用性和标准性.由于用可能性理论表示动作效果和状态的不确定性更具优势,因此Poss-Graphplan更适用于解决那些概率模型无法解决或者很难获得概率信息的不确定规划问题.可以证明,应用可能性图规划方法求解可能性规划问题得到的规划解是最优的.实验结果表明,可能性图规划方法在问题求解能力和速度上的表现都较为突出. 展开更多
关键词 可能性理论 可能性规划 定性效用理论 规划域定义语言 图规划
在线阅读 下载PDF
信息安全风险过程的规划渗透图模型
10
作者 王桢珍 武小悦 刘忠 《计算机科学》 CSCD 北大核心 2009年第6期44-46,56,共4页
提出了一个可应用于信息安全风险过程建模的规划渗透图模型:采用形式化的规划域定义语言PDDL(Planning Domain Definition Language)对风险过程的领域和问题进行了描述,基于智能规划方法中的动作、状态等概念对风险过程的系统信息、脆... 提出了一个可应用于信息安全风险过程建模的规划渗透图模型:采用形式化的规划域定义语言PDDL(Planning Domain Definition Language)对风险过程的领域和问题进行了描述,基于智能规划方法中的动作、状态等概念对风险过程的系统信息、脆弱性、威胁主体及防御主体之间的关联进行建模,提出了规划渗透图构建的关键算法,并用一个修改后的规划引擎应用相关构建算法推导出所有渗透路径,最后调用Graphviz Tootkit的接口绘制出规划渗透图。 展开更多
关键词 风险过程 规划渗透图模型 规划域定义语言 智能规划
在线阅读 下载PDF
针对可移动设备的TCG软件协议栈的扩充 被引量:2
11
作者 马洁 林中 《计算机工程与设计》 CSCD 北大核心 2006年第19期3586-3588,共3页
TSS即TCG(trustedcomputinggroup)软件协议栈是基于TPM(trustedplatformmodule)片上系统的支撑软件。但TSS无法直接获取可移动设备数据并满足它的特殊安全需求,所以针对移动设备对TSS框架进行了扩充,增加了PDDL(可移动设备驱动库函数层)... TSS即TCG(trustedcomputinggroup)软件协议栈是基于TPM(trustedplatformmodule)片上系统的支撑软件。但TSS无法直接获取可移动设备数据并满足它的特殊安全需求,所以针对移动设备对TSS框架进行了扩充,增加了PDDL(可移动设备驱动库函数层)和PDSI(可移动设备服务接口层)两个模块。实现了在扩充了的TSS基础上可移动设备的安全应用,使得可移动设备纳入了整个可信体系。 展开更多
关键词 可信平台模型 可信计算组织软件协议栈 可移动设备服务接口层 可移动设备驱动库函数层 密封存储
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部