收藏本站
《北京交通大学》 2010年
收藏 | 手机打开
二维码
手机客户端打开本文

混杂系统中基于模型的集成智能规划理论与方法研究

宋泾舸  
【摘要】: 摘要:智能规划(AI planning)是人工智能(AI)的重要研究领域,其主要任务是根据系统的初始状态和给定的动作集合,在计算机的辅助下自动或半自动地生成动作序列(称为一个计划plan),用以达到给定的目标状态或实现给定的目标任务。智能规划的研究已有近四十年的历史。近年来,面向实际应用成为智能规划的研究热点之一。 层次任务网(Hierarchical task network, HTN)规划是面向实际应用提出的重要‘智能规划框架和方法,在智能物流与交通、智能制造、软件工程、工业控制、军事调度等领域具有广泛的应用前景。 本文在智能工程理论的指导下,结合载运工具运用、电站运行等工程应用,进行了若干面向实际应用的HTN规划基础理论与实施方法研究。主要包括: (1)为改善大规模规划问题的求解效率,本文提出了基于模型的层次任务网规划的基本概念,进而给出了一种系统建模的集成框架——结构化对象—属性—关系模型(SOAR)和若干基于该模型的推理算法。通过对载运工具运用实例的实验表明,在面向对象、基于构件的混杂环境中,该方法不仅能够很好地组织系统模型并对涉及符号与数值知识进行集成描述,提供更为实用的系统建模支持,而且能够显著改善大规模环境下的HTN规划求解效率。 (2)为适应复杂环境中的规划问题,提出了将系统仿真技术与HTN规划相结合的框架用于求解混杂环境中的规划问题。该框架将顺序任务分解算法(Ordered Task Decomposition, OTD)与前向仿真算法有机地融合,能够保持仿真与规划求解的同步进行。基于该框架,提出并实现了工业系统故障处理预案的生成机制。以电站凝结器真空下降的处理为例验证了该框架的可行性。 (3)为灵活地进行计划的评估与优化,本文提出了一种快速有效的多计划生成算法——分段回溯算法,不仅能够在一次HTN规划求解过程中快速地生成一定数量的可行解,而且将计划生成过程与计划评估过程分离,从而为采用灵活多样的计划评估与优化方法提供有力的支持。 (4)目前的多数智能规划语言主要面向理论问题的研究,模型的理解、修改、扩展、维护均存在一定的困难,不能有效支持工程领域中的智能规划研究。本文在SOAR框架的基础上,基于Modelica语言的基本语法,设计并实现了一种建模语言——基于模型的集成规划语言(MIPL)。该语言不仅支持面向对象、基于构件、层次化的建模方法,而且支持混合符号/数值的推理与计算以及HTN规划。本文涉及的多数算例采用该语言实现。 (5)为了增强知识在智能规划中的运用,本文在本体论方法的基础上,提出了基于SOAR框架的智能规划系统本体论——SOAR-HTN,并以Protege系统为工具探讨了该方法的实现。同时实现了基于该本体的图形化知识建模环境。实践表明,该方法在一定条件下具有建模一致性好、建模过程易操作、与规划器协同便捷等特点。 最后,总结了本文的主要工作并对进一步的研究方向进行了展望。
【学位授予单位】:北京交通大学
【学位级别】:博士
【学位授予年份】:2010
【分类号】:TP18

手机知网App
【参考文献】
中国期刊全文数据库 前5条
1 唐胜利,何祖威,禤莉明,常涛;火电机组运行指导系统[J];动力工程;2000年05期
2 万绪财;刘彤;徐力海;李少宁;;基于属性模糊聚类和关联规则的锅炉异常工况分析[J];动力工程;2007年03期
3 陈刚;李冰;陈非;黄树红;;大型火电机组引风机的状态检修[J];华中科技大学学报(自然科学版);2007年01期
4 代树武,孙辉先;卫星的智能规划与调度[J];控制与决策;2003年02期
5 宋泾舸;查建中;陆一平;;智能规划研究综述——一个面向应用的视角[J];智能系统学报;2007年02期
【共引文献】
中国期刊全文数据库 前10条
1 宋泾舸;查建中;陆一平;;HTN规划中面向多计划生成的顺序任务分解算法[J];北京交通大学学报;2009年04期
2 宋泾舸;查建中;陆一平;;基于虚拟装配体绑定的产品层次化装配序列生成[J];北京交通大学学报;2011年01期
3 孙伟;;智能规划与规划识别在网络教学技术中的应用研究刍议[J];长春大学学报;2010年02期
4 王武华;陈新宁;;基于GOLOG语言的作战任务形式化方法[J];电脑知识与技术;2012年10期
5 王桢珍;武小悦;刘忠;;一种基于智能规划的信息安全风险过程建模方法[J];电子学报;2008年S1期
6 黄平;李晖;韩丰;冯建雷;;电网智能规划系统技术[J];华东电力;2012年01期
7 刘洋,代树武;卫星有效载荷的规划与调度[J];华北航天工业学院学报;2004年02期
8 张辉;;基于工作组的访问控制模型研究[J];哈尔滨理工大学学报;2011年03期
9 王洁,鞠实儿;数据库中不完善信息的逻辑描述[J];华南理工大学学报(社会科学版);2003年03期
10 刘洋,代树武,孙辉先;卫星有效载荷的规划与调度[J];航天控制;2004年05期
中国重要会议论文全文数据库 前4条
1 曹鹏彬;曹立峰;;智能装配规划技术及其求解方法[A];节能减排 绿色制造 智能制造——低碳经济下高技术制造产业与智能制造发展论坛论文集[C];2010年
2 王励;陈克伟;王炎娟;张辉;;基于形式化行为描述的航天资源规划建模技术研究[A];'2008系统仿真技术及其应用学术会议论文集[C];2008年
3 曹鹏彬;曹立峰;;智能装配规划技术及其求解方法[A];2010全国机械装备先进制造技术(广州)高峰论坛论文汇编[C];2010年
4 代树武;孙辉先;;一种航天器自主控制体系结构[A];中国空间科学学会空间探测专业委员会第十六次学术会议论文集(下)[C];2003年
中国博士学位论文全文数据库 前10条
1 杨婷婷;基于数据的电站节能优化控制研究[D];华北电力大学(北京);2010年
2 谢圆;月球车遥操作中的任务规划技术研究[D];中国科学技术大学;2011年
3 唐攀;基于HTN规划的应急行动方案制定方法及技术[D];华中科技大学;2011年
4 董泽;锅炉高温承压部件寿命预测及运行分析专家系统的研究[D];华北电力大学;2001年
5 唐胜利;热动力系统仿真环境的研究与开发[D];重庆大学;2004年
6 刘薇;基于MOGA的HXMT天文卫星巡天扫描智能规划模型[D];中国科学院研究生院(空间科学与应用研究中心);2006年
7 李蔚;基于免疫—禁忌混合算法的汽轮发电机组优化运行研究[D];浙江大学;2006年
8 阮启明;面向区域目标的成像侦察卫星调度问题研究[D];国防科学技术大学;2006年
9 王军民;成像卫星鲁棒性调度方法及应用研究[D];国防科学技术大学;2008年
10 刘曼兰;永磁直流电机故障在线监测与智能诊断的研究[D];哈尔滨工业大学;2007年
中国硕士学位论文全文数据库 前10条
1 赵强;基于物联网技术的电力设备状态检修[D];华北电力大学(北京);2011年
2 吴凌九;基于图规划的UCAV对地攻击战术动作序列规划研究[D];国防科学技术大学;2011年
3 王勇;仿真培训中学员操作技能评价模型与自动评价系统研究[D];华北电力大学(河北);2003年
4 谷长兴;基于HTN的供应链过程优化策略及其应用研究[D];天津大学;2004年
5 刘洋;卫星有效载荷规划与调度的算法及仿真[D];中国科学院研究生院(空间科学与应用研究中心);2004年
6 邹建平;火电厂锅炉高温承压部件运行分析专家系统的研究[D];华北电力大学(河北);2004年
7 陈立军;基于WebGIS的卫星观测计划编制系统[D];中国科学院研究生院(空间科学与应用研究中心);2006年
8 冯泽磊;电站故障诊断专家系统和寿命管理在线监测软件开发[D];东南大学;2005年
9 张钋;基于语义的网络服务匹配机制的研究与实现[D];清华大学;2005年
10 张维一;机动车驾驶培训领域本体的研究与实现[D];上海交通大学;2007年
【二级参考文献】
中国期刊全文数据库 前9条
1 董学育;基于BP网络的故障诊断方法及其在电站中的应用[J];动力工程;2004年01期
2 张建华,侯国莲,孙晓刚,袁桂丽;采用概率神经网络的汽轮机故障诊断方法[J];动力工程;2005年05期
3 付忠广,田志友,靳涛,戈志华,卞双;关联规则数据挖掘及其在电厂DCS数据分析中的应用[J];发电设备;2004年S1期
4 徐玉秀,原培新;模糊数学在故障诊断系统中的应用研究[J];高压电器;2000年05期
5 代树武,孙辉先;卫星运行中的自主控制技术[J];空间科学学报;2002年02期
6 孙巧玲,沈炯,李益国;基于遗传算法的燃煤电站锅炉整体燃烧优化方法研究[J];热能动力工程;2004年01期
7 鲍文,于达仁,王伟,徐志强;基于关联规则的火电厂传感器故障检测[J];中国电机工程学报;2003年12期
8 林诗庄;强化设备管理的点检和大小修综合信息平台建设[J];中国电力;2004年10期
9 李耀君,于新颖;火电厂设备状态检修技术[J];中国电力;2005年04期
【相似文献】
中国期刊全文数据库 前10条
1 吕立华,宋执环,李平,王慧;基于Multi-Agent的面向过程混杂系统的集成技术[J];系统工程理论与实践;2001年09期
2 丁德路,姜云飞;基于智能规划的时间表问题研究[J];小型微型计算机系统;2003年02期
3 张友红,谷文祥,刘日仙;非确定规划及带有时间和资源的规划的研究[J];计算机应用研究;2005年03期
4 杨光;李恒;王雷;;敌意规划模型在分布式入侵检测中的设计与研究[J];科技资讯;2008年21期
5 刘日仙,谷文祥,殷明浩;智能规划识别及其应用的研究[J];计算机工程;2005年15期
6 吴兆春,王梅生,徐心和;一类混杂系统建模的原则[J];东北大学学报(自然科学版);1998年02期
7 李宏光,俞金寿;化工过程控制混杂系统及其Petri网描述[J];计算机与应用化学;2003年05期
8 吴康恒,姜云飞;基于模型检测的领域约束规划[J];软件学报;2004年11期
9 李伟生;;基于智能规划的计划识别方法研究[J];重庆邮电大学学报(自然科学版);2009年04期
10 徐心和;混杂系统的存在与研究[J];基础自动化;1996年01期
中国重要会议论文全文数据库 前10条
1 吕波;;导管数字化制造技术研究现状及展望[A];2006中国数字化造船论坛论文集[C];2006年
2 胡玉玲;曹建国;;T-S模糊神经网络应用于变参数系统的控制研究[A];第16届中国过程控制学术年会暨第4届全国故障诊断与安全性学术会议论文集[C];2005年
3 朱红发;王文军;徐培民;;带钢-辊子-柔性支承混杂系统动力学建模[A];机械动力学理论及其应用[C];2011年
4 贾利民;;关于模糊混杂系统[A];中国系统工程学会模糊数学与模糊系统委员会第十一届年会论文选集[C];2002年
5 王平;王振荣;;雷达的中频信号数字化正交解调[A];2007年全国微波毫米波会议论文集(下册)[C];2007年
6 蒋保臣;吴超;;数字锁相环的matlab仿真[A];系统仿真技术及其应用(第7卷)——'2005系统仿真技术及其应用学术交流会论文选编[C];2005年
7 明岗;;热电制冷片的模拟仿真[A];全国暖通空调制冷2006年学术年会论文集[C];2006年
8 韩亚欣;徐学军;;供应链协同要素分析及方法选择[A];全国第十届企业信息化与工业工程学术年会论文集[C];2006年
9 李亚峰;;串联型有源电力滤波器在智能建筑谐波抑制方面的应用研究[A];全国冶金自动化信息网2009年会论文集[C];2009年
10 刘峰;王国胜;吕强;王珂珂;;基于极点配置的磁悬浮球系统设计[A];2009中国控制与决策会议论文集(2)[C];2009年
中国重要报纸全文数据库 前10条
1 张阳;智能规划优化物流管理[N];国际经贸消息;2002年
2 许琦敏;我国确定城市交通智能规划[N];文汇报;2003年
3 刘霞;鸟鸣取代了汽笛[N];科技日报;2009年
4 张振;用友通集成框架为小企业及伙伴谋增值[N];电脑商报;2006年
5 本报记者 陈翔;智能规划数据中心的绿色布线[N];中国计算机报;2009年
6 宋殿毅;何为物流的核心?[N];中国计算机报;2003年
7 本报记者 胡永平;仿真饰品微笑走来[N];中国矿业报;2000年
8 周业安;基于模型的估值不过是幻觉[N];上海证券报;2008年
9 任飞;BI将给中国带来什么?[N];中国经营报;2004年
10 小清;仿真首饰引领时尚潮流[N];中国黄金报;2001年
中国博士学位论文全文数据库 前10条
1 宋泾舸;混杂系统中基于模型的集成智能规划理论与方法研究[D];北京交通大学;2010年
2 王娟;一类非线性酶催化混杂系统的建模与优化[D];大连理工大学;2012年
3 杨莹;几类随机混杂系统的稳定性分析及其控制[D];西安电子科技大学;2009年
4 尹增山;混杂系统优化控制理论研究[D];浙江大学;2001年
5 张誉铎;连续发酵非线性混杂系统的鲁棒性分析与并行优化[D];大连理工大学;2012年
6 韩晓龙;集装箱港口装卸作业资源配置研究[D];上海海事大学;2005年
7 李震;内燃机曲轴-轴承系统摩擦学动力学耦合研究[D];合肥工业大学;2005年
8 傅少君;岩土结构仿真反馈分析的理论与实践[D];武汉大学;2005年
9 胡仕成;连续铸轧流变界面热行为研究[D];中南大学;2005年
10 李浚圣;线性切换系统的最优切换律[D];东北大学;2005年
中国硕士学位论文全文数据库 前10条
1 刘鸿亮;基于启发值的图规划算法[D];吉林大学;2011年
2 高冰冰;基于量化布尔公式的规划编码问题[D];吉林大学;2011年
3 曹锐;工业混杂系统递阶Petri网建模与优化[D];北京化工大学;2005年
4 何金山;基于智能规划的多步攻击识别方法的研究[D];吉林大学;2012年
5 刘日仙;基于粗糙集的智能规划模型的研究[D];东北师范大学;2005年
6 赵成丽;基于PPDDL子集的弹道图规划算法的研究[D];东北师范大学;2005年
7 黄帅;智能规划在自然语句生成中的应用[D];吉林大学;2012年
8 胡琳;基于JSF、Spring、Hibernate集成框架的实现与应用[D];华中科技大学;2009年
9 郭瑛;反向产生中间目标的规划算法研究[D];吉林大学;2011年
10 王中科;混杂系统渐近行为及工程应用的分析[D];大连交通大学;2010年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026