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

离散事件系统的Petri网控制器综合

吴维敏  
【摘要】: 离散事件系统(DES)就其本质而言是一个人造系统。计算机科学的迅猛发展及其在现代文明社会中无孔不入的应用,促使具有DES特征的人造系统越来越多,结构也越来越复杂。制造系统(尤其是柔性制造系统FMS、计算机集成制造系统CIMS)、系统调度、通信网络(系统)、交通控制系统、随机服务系统、计算机操作系统、军事上的C_3I系统以及其他一些对现代文明的发展至关重要的系统等都是DES的典型实例。在从事DES研究的人员中不仅有控制理论领域的学者,而且还有计算机、通信、机械制造以及管理科学等领域的学者。 DES研究的主要内容包括系统的性能分析和控制综合。本文以Petri网(PN)为工具,研究具有不等式约束的DES的控制器综合方法。本文的研究结果和内容可概括为以下的几个主要方面: 首先,首次提出利用有限容量库所(FCP)的概念设计DES的PN控制器的FCP方法。这种方法的优点是计算简单,尤其是当系统是大而复杂时,优点更加明显。本文还把FCP方法运用到具有库所标识和变迁激发的混合约束的DES的控制器设计中去。与现有的方法相比,FCP方法可处理的系统和约束更具一般性,更重要的是这种方法具有能指明给定约束由于死锁的缘故而不能实现的优点。 接着,利用扩展Petri网,提出了DES的PN控制器设计的两种对偶的方法:加权抑制弧(WIA)方法和加权使能弧(WEA)方法。WIA方法与已报道的利用抑制弧设计控制器的方法相比,无需搜索整个系统的状态空间,因此在计算效率上具有无可比拟的优势,同时该方法也不受PPIC(前向路径输入条件)的约束。WEA方法是一种利用加权使能弧设计DES控制器的方法,被首次用来设计具有“大于或等于”形式的不等式约束的DES的控制器,该方法控制概念清晰,非常容易为控制工程师所理解和接受。 吴维敏:浙江大学博士学位论文 其次,本文还首次提出了DES的混合型PN控制器设计方法。混合型的 控制器兼具逻辑型和结构型控制器的优点,它可自动获取系统的状态信息, 也允许系统真正的并发。 再次,首次利用有色Petri网,实现了DES的“或”逻辑的控制。方法之 一是借助有色Petri网实现DES的分层监控,进而实现了“或”逻辑的最大 容许控制。方法之二是通过恰当地定义有色Petri网的激发警戒函数,也实现 了“或”逻辑的最大容许控制。这二种方法在实现“或”逻辑控制的同时都 无需引入负的托肯数。 最后,本文还研究了在由标识图建模的DES的框架下,为了实现给定的 不等式约束而必须考虑Petri网中不可控变迁的影响而进行的约束变换的方 法。这一约束转化方法是基于Petri网变迁的使能规则和标识图的特殊结构 的。 全文不仅有详尽的算法描述,并且有充分的理论证明。分布全文的多个 例子,验证和说明了本文所提出的各种离散事件系统的Petri网控制器综合方 法的有效性和可行性。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 包得海;赵海阔;;Petri网在旅游管理系统中的应用[J];陇东学院学报;2011年04期
2 董振华;董笑菊;;有界Petri网的进程演算表达[J];上海交通大学学报;2011年07期
3 霍敏霞;丁晓明;;基于Petri网的并发程序测试用例产生方法[J];计算机科学;2011年09期
4 喻平;曹继平;宋建社;梁中雨;;基于Petri网的系统最小割集求解[J];系统仿真技术;2011年02期
5 施於人;代应;;eEPC与Petri网在流程改进建模中的比较[J];重庆理工大学学报(自然科学);2011年07期
6 汪胜荣;郑连清;;一种能量高效的无线传感器网络分簇路由设计[J];大连海事大学学报;2011年03期
7 王英新;毛羽强;;粗糙集在Petri网中的应用[J];承德石油高等专科学校学报;2011年02期
8 邵丽丽;;基于Petri网的电梯系统规格说明[J];长春大学学报;2011年06期
9 林婧;;基于Petri网和概念格的服务发现与组合[J];电子商务;2011年07期
10 代秀娟;章昭辉;王敏生;杨娟;潘冬生;汪小寒;;旅游信息服务组合的Petri网建模及其实现[J];安徽师范大学学报(自然科学版);2011年04期
11 秦娜;;基于Petri网模型的府际利益均衡分析[J];社科纵横;2011年07期
12 孔东明;史贤俊;;数模混合电路故障诊断方法的研究[J];电子设计工程;2011年14期
13 林惠标;焦志刚;;基于带抑止弧Petri网的PLC梯形图设计方法[J];机电工程技术;2011年04期
14 何剑宇;;基于Petri网统计分析模型在目标监控中的应用[J];辽宁师专学报(自然科学版);2011年02期
15 孙妍姑;;基于Petri网的网格工作流建模与优化[J];淮南师范学院学报;2011年04期
16 赵业清;朱道飞;王华;毕贵红;王建军;;基于Petri网和Agent的复杂适应系统建模[J];计算机工程;2011年15期
17 张昊;;基于工作流技术的高校教务管理系统[J];沈阳师范大学学报(自然科学版);2011年03期
18 王枝楠;王兆青;;基于UML和Petri网的锅炉仿真系统的研究[J];工业控制计算机;2011年08期
19 刘丙杰;刘勇志;黄岳;;基于克隆选择算法的学习型Petri网及在潜在通路分析中的应用[J];航天控制;2011年04期
20 冯云;;关于P/T系统中冲突的讨论[J];电脑知识与技术;2011年18期
中国重要会议论文全文数据库 前10条
1 黄英;谭益智;;基于PC的离散事件控制系统[A];1994中国控制与决策学术年会论文集[C];1994年
2 王凯;吴维敏;陆飞华;;DES的Petri网控制器设计LIP方法的扩展[A];2005中国控制与决策学术年会论文集(上)[C];2005年
3 赵新昱;于云程;张维明;;Petri网仿真平台设计与实现[A];1996年中国智能自动化学术会议论文集(下册)[C];1996年
4 王志坚;蔡自兴;;基于Petri网的制造系统建模与分析[A];面向制造业的自动化与信息化技术创新设计的基础技术——2001年中国机械工程学会年会暨第九届全国特种加工学术年会论文集[C];2001年
5 赵不贿;王霄;赵德安;蔡兰;;人工智能中的Petri网方法[A];1998年中国智能自动化学术会议论文集(上册)[C];1998年
6 颜文俊;孙优贤;;蒸煮过程的离散事件建模[A];1994中国控制与决策学术年会论文集[C];1994年
7 赵彩霞;高学东;乔卫义;;基于Petri网的工作流建模技术在社会保险系统中的应用[A];全国第八届工业工程与企业信息化学术会议论文集[C];2004年
8 尹章才;李霖;;基于Petri网的时空拓扑关系研究[A];中国地理信息系统协会第八届年会论文集[C];2004年
9 徐光辉;徐志军;;C/E系统Petri网的VHDL建模与仿真[A];开创新世纪的通信技术——第七届全国青年通信学术会议论文集[C];2001年
10 谢东;韩曾晋;;一类混合系统动态过程的Petri网描述[A];1996中国控制与决策学术年会论文集[C];1996年
中国博士学位论文全文数据库 前10条
1 董利达;基于序状Petri网的离散事件系统监控理论[D];浙江大学;2004年
2 吴维敏;离散事件系统的Petri网控制器综合[D];浙江大学;2002年
3 张瑶瑶;基于约束转换的离散事件系统监控器综合[D];浙江大学;2007年
4 陆飞华;离散事件系统的混合监控理论[D];浙江大学;2009年
5 王寿光;基于简化技术的离散事件系统控制器的综合[D];浙江大学;2005年
6 陶泽;基于Petri网和混合遗传算法的JSP优化调度[D];东北大学;2006年
7 韦娜;基于无死锁初始标识的Petri网控制器设计[D];西安电子科技大学;2008年
8 刘皓玮;行车指挥系统的Petri网建模与列车运行调整的遗传优化的研究[D];铁道部科学研究院;2000年
9 王安荣;Petri网基本信标的求取算法及死锁避免策略研究[D];西安电子科技大学;2009年
10 张悦;混杂系统建模与控制方法研究[D];华北电力大学(河北);2008年
中国硕士学位论文全文数据库 前10条
1 孟永刚;基于Petri网下的离散事件的模拟与动态系统的验证[D];西华大学;2006年
2 田维新;基于Petri网的离散事件系统仿真模型及其应用研究[D];华中科技大学;2006年
3 王四平;基于Petri网的混合系统建模、分析与设计研究[D];江苏大学;2002年
4 茹雨;一类禁止状态规范下Petri网控制器的综合[D];浙江大学;2005年
5 张东红;离散事件系统的Petri网控制方法研究[D];西安电子科技大学;2000年
6 宋娜;基于Petri网的化工间歇过程特征状态监督器[D];北京化工大学;2008年
7 龚波;基于WITNESS的生产物流系统仿真研究[D];武汉理工大学;2008年
8 叶剑虹;Petri网的模拟与验证[D];西华大学;2006年
9 刘文秀;单片机系统仿真[D];沈阳工业大学;2004年
10 汪佳;某转向器制造企业生产物流系统仿真研究[D];南京理工大学;2008年
中国重要报纸全文数据库 前6条
1 李兵峰 本报特约通讯员  刘明松;掌声背后的追求[N];解放军报;2006年
2 广东省电信科学技术研究院多媒体部 张宇飞 卢燕青;实时系统软件分析和设计方法综述[N];中国计算机报;2000年
3 记者陈欣然 通讯员张丽;南大教授李勇建获中国青年科技奖[N];天津教育报;2010年
4 本报记者 沈力钧;决战新媒体竞争时代[N];计算机世界;2004年
5 国防科技大学教授 金士尧;计算机仿真与仿真计算机[N];解放军报;2001年
6 韩世坤 陈继勇;构建企业跨国并购智力支持体系[N];亚太经济时报;2002年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978