收藏本站
收藏 | 论文排版

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

宋泾舸  
【摘要】: 摘要:智能规划(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系统为工具探讨了该方法的实现。同时实现了基于该本体的图形化知识建模环境。实践表明,该方法在一定条件下具有建模一致性好、建模过程易操作、与规划器协同便捷等特点。 最后,总结了本文的主要工作并对进一步的研究方向进行了展望。


知网文化
【相似文献】
中国期刊全文数据库 前20条
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期
11 谷文祥,徐丽,张新梅;图规划框架下智能规划的研究与发展[J];世界科技研究与发展;2005年04期
12 谷文祥;李丽;李丹丹;;规划识别的研究及其应用[J];智能系统学报;2007年01期
13 宋建强;钱雪忠;;基于智能规划与矩阵运算的智能排课系统设计[J];科技资讯;2009年31期
14 谷文祥,孙铁利,吕英华;智能规划中互斥动作延迟算法[J];东北师大学报(自然科学版);2003年03期
15 仝庆贻,颜钢锋;混杂系统及其在电力系统中的应用[J];电力系统及其自动化学报;2003年02期
16 胡泊,王三民,王宝树;基于智能规划的计划识别模型[J];计算机工程与设计;2005年07期
17 张霓,吴铁军;具有多个平衡点的不确定混杂系统的鲁棒镇定[J];浙江大学学报(工学版);2002年03期
18 陈阳舟,林林,崔平远;基于动态规划原理的混杂系统二次型最优控制[J];北京工业大学学报;2004年03期
19 郑应平;离散事件系统理论研究和应用进展(Ⅱ)[J];控制与决策;1996年03期
20 邢科义,赵天绪,张东红;非线性采样控制系统的稳定性[J];自动化学报;2002年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 宋泾舸;混杂系统中基于模型的集成智能规划理论与方法研究[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年
中国重要报纸全文数据库 前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年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978