收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

HTN规划及其复杂度分析

陈蔼祥  柴啸龙  胡桂武  
【摘要】:为了克服经典状态空间规划中的状态空间的指数爆炸问题,研究者们提出了分层任务网络规划(HTN)技术。给出了HTN规划的形式表示,并给出了其操作语义,在此基础上讨论了HTN规划的复杂性,指出了HTN规划技术的优缺点所在。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 丁志义;宋国新;邵志清;;命令的操作语义在类型系统中的一种表示[J];小型微型计算机系统;2006年07期
2 叶晓波;王松;支蕾;;用操作语义解读程序设计语言中的while循环结构[J];楚雄师范学院学报;2010年12期
3 钱俊彦;赵岭忠;;基于LTS的Statecharts操作语义研究[J];计算机工程;2006年22期
4 刘晓平;李忠泽;;基于操作语义的线束工艺设计系统研究[J];广西大学学报(自然科学版);2010年05期
5 叶晓波;支蕾;;用形式语义探讨局部变量的作用域[J];楚雄师范学院学报;2011年06期
6 张卫星,蒋凡;并发TTCN的操作语义及相关算法[J];计算机工程;2003年04期
7 林敬恩;滕忠坚;陈圣群;;一种基于状态机的形式化验证技术[J];电脑知识与技术;2008年13期
8 陈纯;张申生;李磊;张敬谊;王晨;;协同CAD系统中操作语义共享技术研究[J];计算机工程;2006年06期
9 彭小青;何积丰;;基于事件驱动的系统级仿真器的操作语义[J];计算机应用与软件;2007年08期
10 王聪;王智学;;UML活动图的操作语义[J];计算机研究与发展;2007年10期
11 高三海;董荣胜;吴光伟;;三方认证协议BNV的分析及改进[J];计算机工程与应用;2008年04期
12 Saumya K.Debray;Prateek Mishra;戴敏;;PROLOG的指称语义和操作语义(续)[J];计算机科学;1990年05期
13 王晨;张申生;陈纯;;基于操作语义的AutoCAD协同设计的实现[J];计算机应用与软件;2006年02期
14 刘雪梅;柳永坡;张懋;;一种改进的软件测试流程实例的描述方法[J];计算机工程与应用;2008年15期
15 郭德贵;刘磊;张晶;;C/ATLAS单动作测试语句实现的操作语义描述[J];吉林大学学报(理学版);2008年01期
16 陈月霞;;谈形式语义学[J];科技资讯;2010年34期
17 邵志清;建立于谓词逻辑上的递归程序及其操作语义[J];软件学报;1991年04期
18 刘冬梅,宋国新;并行程序的一种形式化硬件综合方法[J];华东理工大学学报;2001年05期
19 李勇坚,何积丰,孙永强;Verilog操作语义研究[J];软件学报;2002年10期
20 钱俊彦,古天龙,赵岭忠;Statecharts的形式化验证研究[J];计算机工程;2005年18期
中国重要会议论文全文数据库 前10条
1 杨印生;李树根;张魁元;张怀胜;;对称模糊规划问题的双水平截集解法[A];全国青年管理科学与系统科学论文集(第2卷)[C];1993年
2 李忠泽;徐本柱;刘晓平;;基于操作语义的线束工艺设计系统研究[A];全国第20届计算机技术与应用学术会议(CACIS·2009)暨全国第1届安全关键技术与应用学术会议论文集(下册)[C];2009年
3 黄河潮;林鹏;卢兆明;;p-中位数法在城市应急避难所规划中的应用[A];中国灾害防御协会——风险分析专业委员会第一届年会论文集[C];2004年
4 王忠诚;;试论土地利用总体规划与城市总体规划在建设发展中的协调统一问题[A];“土地利用总体规划与经济社会可持续发展”研究文集(上册)[C];2004年
5 匡萃冶;刘君玲;;公安人力资源战略与规划论析[A];区域人才开发的理论与实践——港澳台大陆人才论坛暨2008年中华人力资源研究会年会论文集[C];2008年
6 童万亨;陈国樑;;谈谈新农村建设的几个问题[A];社会主义新农村建设研究——中国农业经济学会2006年年会暨社会主义新农村建设学术研讨会论文集[C];2006年
7 高国华;沈林成;常文森;;一种飞行器航迹规划用户界面[A];1997中国控制与决策学术年会论文集[C];1997年
8 柳永坡;晏海华;张懋;刘雪梅;;测试流程管理与监控技术的研究与实现[A];第五届中国测试学术会议论文集[C];2008年
9 周海滨;冷兆云;马博;杜正春;郎祖强;;配电网无功补偿点选择方法研究[A];中国高等学校电力系统及其自动化专业第二十四届学术年会论文集(上册)[C];2008年
10 陈楷;;模糊遗传算法在区域配网优化中的应用[A];加入WTO和中国科技与可持续发展——挑战与机遇、责任和对策(上册)[C];2002年
中国博士学位论文全文数据库 前10条
1 杨潇潇;框架时序逻辑程序语言MSVL的形式语义[D];西安电子科技大学;2009年
2 左天军;Java虚拟机安全性的形式化分析和验证[D];西安电子科技大学;2005年
3 张秀国;基于过程网络的服务协同计算模型研究[D];大连海事大学;2006年
4 叶俊民;基于软件体系结构的测试用例生成技术研究[D];哈尔滨工程大学;2005年
5 张长胜;求解规划、聚类和调度问题的混合粒子群算法研究[D];吉林大学;2009年
6 李响;动态不确定性环境下的实时规划系统研究[D];中国科学技术大学;2004年
7 詹敏;基于对等计算的企业应用集成系统的研究与实现[D];中国科学院研究生院(软件研究所);2002年
8 祖莉;智能割草机器人全区域覆盖运行的控制和动力学特性研究[D];南京理工大学;2005年
9 冷健;安全管理和安全策略研究与设计[D];湖南大学;2006年
10 项森;基于逻辑的程序验证方法在高可信软件开发上的应用[D];中国科学技术大学;2006年
中国硕士学位论文全文数据库 前10条
1 冯利波;rCOS的操作语义及其在程序分析中的应用[D];华东师范大学;2010年
2 张坤明;孔系组合夹具夹紧方案自动规划方法的研究[D];河海大学;2005年
3 赵小芳;动态模糊逻辑程序设计语言的操作语义模型及验证[D];苏州大学;2006年
4 李波;工作流机和建模的设计与实现[D];吉林大学;2005年
5 李英雄;模糊随机规划理论及其应用[D];哈尔滨工业大学;2006年
6 刘青;物流中心城市的物流系统规划研究[D];中国石油大学;2007年
7 蔡德洪;铁路现代物流中心宏观布局规划问题研究[D];北京交通大学;2008年
8 张保国;基于UML Statechart图的软件测试用例自动生成技术研究[D];湖南大学;2004年
9 林洪伟;两类分式规划问题的算法研究[D];北方民族大学;2008年
10 王丽娜;一个过程式语言操作语义的设计与可视化实现[D];东北师范大学;2009年
中国重要报纸全文数据库 前10条
1 沈英甲;规划问题理性解决[N];科技日报;2004年
2 连俊;风景名胜区 规划问题多[N];经济日报;2002年
3 采文;谷广善同志因病去世[N];中国航天报;2007年
4 中国中医研究院中医药信息研究所 陈珞珈 李宗友 朱佳卿;区域卫生规划中中医医疗机构规划问题[N];中国中医药报;2001年
5 陈忠华;“俩老大”联手战煤荒[N];中国矿业报;2004年
6 徐鹃 戴春华;常州规划局:加强机制建设促效能提高[N];中国纪检监察报;2006年
7 记者 周祚 通讯员 章劲松;2010年广州市区将拥有9条城市轨道线[N];广州日报;2005年
8 刘超凡;以“一片两路”为突破口 尽快完善贵阳市城市和城市路网规划[N];贵州日报;2007年
9 本报记者 李传涛;HSDPA网络部署策略[N];通信产业报;2006年
10 记者 王大为;蔚小平等领导与王广辉一行座谈[N];锡林郭勒日报;2007年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978