收藏本站
《西安电子科技大学》 2011年
收藏 | 手机打开
二维码
手机客户端打开本文

柔性制造系统最大许可行为Petri网控制器设计

陈玉峰  
【摘要】:柔性制造系统由计算机控制,利用有限的资源如机器人、缓冲器、机床等来加工生产不同类型的工件。在柔性制造系统中,死锁是必须考虑和解决的问题。这是由于死锁经常引起额外的损失甚至造成灾难性的后果。为了满足系统生产需要并能高效地利用系统资源,必须设计一种高效的死锁控制策略来确保死锁不会发生。基于Petri网的死锁控制预防策略利用一种离线的控制机制,通过给系统添加约束的方式防止死锁发生。该策略的优点是,一旦控制策略建立并应用于被控系统,死锁就不会发生。 通常评价一个Petri网监督器的性能指标有三个:行为许可性、结构复杂性以及计算复杂性。最大许可行为的监督器往往意味着系统资源可以被高效利用;结构简单的监督器可以降低在控制策略实现阶段所需的软件和硬件费用;较低计算复杂度的控制策略则意味着该策略可以应用于规模较大、比较复杂的系统。因此,许多研究者做了大量工作以试图得到拥有最大许可行为的、简单监督器结构的以及较低计算复杂度的控制器设计方法。 Petri网的可达图分析对于死锁控制是一种非常重要的分析方法。由于要枚举部分或者全部可达图而存在状态爆炸问题。基于该分析技术,往往可以得到具有较高许可行为的次优或者最优监督器。本文立足于设计活性Petri网监督器并兼顾考虑其行为许可性、结构复杂性和计算复杂性,主要完成以下工作。 1.计算Petri网的可达图往往引起状态爆炸问题。二值决策图(BDD, Binary Decision Diagram)能够用较小的数据结构表示较大的可达标识集合并对该集合进行高效的运算。因此,二值决策图在一定程度上克服了状态爆炸问题。本文扩展二值决策图的应用并提出多种算法使之应用于求解合法状态集合、首遇坏标识集合、合法状态的最小覆盖集以及首遇坏标识的最小覆盖集。从而使本文的死锁预防策略更加高效。 2.基于结构分析,信标在死锁预防策略中是一种非常重要的概念。信标是库所的集合并且一旦一个信标失去其所有托肯,它将永远被清空。一个极小信标不包含任何其他信标。实际上,大部分基于信标的死锁控制策略只考虑极小信标。一个网的信标(极小信标)的数目与网的规模成指数关系。因此,计算所有的极小信标非常复杂。本文提出一种利用二值决策图计算所有极小信标的方法。信标的特性可以用布尔函数表示从而可以用布尔函数的真值来表示信标。然后用二值决策图来表示信标的布尔函数。最后,一个网的所有信标都可以用二值决策图表示。利用二值决策图进行集合关系运算从所有信标中计算出所有极小信标。试验结果验证了二值决策图计算所有信标和极小信标的有效性和高效性。 3.提出一种通过整数线性规划设计柔性制造系统的最大许可行为的Petri网活性监督器方法。Petri网的可达图可以分为两个区域:活区域和死区域。首遇坏标识处于死区域并且是从活区域进入死区域首先遇到的标识。通过求解线性规划问题,使求得的P不变式禁止一个首遇坏标识并保证所有的合法状态都可达。同时,提出一种向量覆盖方法来减少需要考虑的合法状态和首遇坏标识的数目。向量覆盖使合法状态和首遇坏标识减少到两个相对很小的集合,分别称作合法状态的最小覆盖集和首遇坏标识的最小覆盖集。因此,设计控制库所时只需要考虑这两个较小的集合。对于选定的首遇坏标识,提出进一步的向量覆盖方法,大大减小了合法状态最小覆盖集中需要考虑的合法状态。从而使求解的整数线性规划问题具有较少的约束条件并能在短时间内求解。 4.一些Petri网并不存在用控制库所表示的最大许可行为的监督器。对于这类网,本文提出一种死锁预防算法来设计最好许可行为的监督器。所谓最好许可行为的监督器就是能确保受控系统拥有最多合法状态。实际上,一些Petri网不存在最大许可行为活性监督器的原因是当某个首遇坏标识被禁止时,存在至少两个合法状态不能同时保证其可达。也就是说,当设计一个P不变式禁止某个首遇坏标识时,一些合法状态的可达条件是相互矛盾的。因此,一个或者更多的合法标识必然被控制库所禁止。本文通过设计一个整数线性规划问题并用其目标函数来保证最多的合法状态可达,从而得到最好许可行为的控制器。 5.结构复杂性在最大许可行为控制器设计中也是一个很重要的评价标准。提出一种监督器设计方法,使所得到的监督器在拥有最大许可行为的条件下所需要的控制库所数目是较小的。最大许可行为可以通过设计整数线性规划(记为MCPP, Minimal Control Place Problem)使得所求的控制库所能禁止首遇坏标识最小覆盖集中所有标识并保证合法状态覆盖集中所有标识可达。在每个控制库所都可以构成一个P半流的条件下,线性规划的目标函数可以最小化控制库所的数目。因此,在每个控制库所都能构成一个P半流的条件下,得到的监督器拥有最小数目的控制库所并且是行为最大许可的。 6.为了解决MCPP的计算复杂度问题,并保证受控系统是行为最大许可的且拥有较简单的控制结构,提出一种迭代的死锁预防策略以及一个改进的方法。在每一次迭代中,通过一个整数线性规划设计一个P不变式使得其禁止尽可能多的首遇坏标识。求解该整数线性规划问题得到一个P不变式以及一个控制库所。所有被该P不变式禁止的首遇坏标识都从首遇坏标识的最小集合中删除。此迭代过程一直进行直到首遇坏标识最小集合为空时终止。最终求得一个拥有最大许可行为并拥有较少数目控制库所的监督器。同时提出一个改进的方法来减少该方法的计算时间。实际上,迭代步骤做了如下修改。在每一次迭代,从首遇坏标识的最小集合中取出一个标识并设计一个P不变式来禁止所选择的首遇坏标识。P不变式通过求解整数线性规划求得并使其保证合法状态最小集中的所有状态可达。与此同时,目标函数保证该P不变式可以禁止尽量多的首遇坏标识。该改进版本的整数线性规划拥有较少的约束条件和变量。因此,跟未改进版本的整数线性规划相比,其求解时间更短。
【学位授予单位】:西安电子科技大学
【学位级别】:博士
【学位授予年份】:2011
【分类号】:TP273

【相似文献】
中国期刊全文数据库 前10条
1 刘宏,李志武,叶尚辉;FMS的一种实时控制Petri网模型及应用[J];西安电子科技大学学报;1997年02期
2 姜浩,毕诸明,朱岩;FMS运行控制系统的建模方法及测试机理[J];东南大学学报(自然科学版);1997年01期
3 李秀,姜澄宇,王宁生,冷晟;一种面向对象的Petri网[J];南京航空航天大学学报;1999年02期
4 桂志波;柔性制造系统与Petri网概述[J];系统工程;1996年03期
5 王龙,郑大钟;一类柔性制造系统的运行特性[J];信息与控制;1988年05期
6 肖祥胜,马玉林,张德强,苏宝华,刘文剑;柔性制造系统检测监控系统的研究[J];高技术通讯;1995年09期
7 朱兰娟,吴智铭;一种基于知识的 FMS 动态调度系统[J];上海交通大学学报;1997年12期
8 孙斌,董书芳,吴祖育;柔性制造系统 DNC 控制过程分析[J];组合机床与自动化加工技术;1998年02期
9 PaulG.Rànky ,曾焕瑶;柔性制造系统的设计和运行(三)[J];组合机床与自动化加工技术;1987年01期
10 王宁生;;柔性制造系统(FMS)综述[J];工业控制计算机;1990年05期
中国重要会议论文全文数据库 前10条
1 岳昊;;具有多资源需求和柔性加工路径的顺序资源分配系统Petri网模型的死锁结构特征[A];第二十九届中国控制会议论文集[C];2010年
2 薛瑜;李承家;吕莉芳;;模糊Petri网与连续Petri网的关系[A];第九届中国不确定系统年会、第五届中国智能计算大会、第十三届中国青年信息与管理学者大会论文集[C];2011年
3 刘长有;张莉;;基于着色Petri网的一类航班推出冲突建模与仿真[A];第二十九届中国控制会议论文集[C];2010年
4 吕莉芳;李承家;薛瑜;;时延离散Petri网的形式分析[A];第九届中国不确定系统年会、第五届中国智能计算大会、第十三届中国青年信息与管理学者大会论文集[C];2011年
5 王志坚;蔡自兴;;基于Petri网的企业信息化系统统一建模研究[A];第二十六届中国控制会议论文集[C];2007年
6 叶阳东;贾利民;;列车运行对象Petri网系统的仿真[A];2001系统仿真技术及其应用学术会议论文集[C];2001年
7 王小梅;李新明;刘东;韩星晔;;基于Petri网的网络传输协议建模与性能分析[A];全国第4届信号和智能信息处理与应用学术会议论文集[C];2010年
8 李震;刘斌;殷永峰;李晓勋;;基于改进Petri网的可信软件模型验证和测试研究[A];第六届中国测试学术会议论文集[C];2010年
9 韩亚欣;罗明宇;谭跃进;;主生产调度过程的随机Petri网模型[A];'2000系统仿真技术及其应用学术交流会论文集[C];2000年
10 张春雷;孙志挥;陈淼;;一种基于PETRI高级网的工作流动态建模方法[A];第十七届全国数据库学术会议论文集(研究报告篇)[C];2000年
中国重要报纸全文数据库 前10条
1 记者 李玉峰;天锻柔性制造系统跨入世界先进行列[N];天津日报;2006年
2 通讯员 张军;天锻柔性制造系统跨入世界先进行列[N];中国知识产权报;2006年
3 记者 蔡立军;天锻板材成形液压机柔性制造系统研发成功[N];中国冶金报;2006年
4 高荆萍;大连机床一国外子公司获大额订单[N];中国工业报;2006年
5 本报记者 齐雪岭;天锻“板材成形液压机柔性制造系统”通过验收[N];中国工业报;2010年
6 ;值得注意的免费安全工具[N];网络世界;2004年
7 陈运发;宁江机床与五粮液合作 七亿元打造数控机床巨舰[N];中国工业报;2006年
8 本报记者 杨建琨 通讯员 贺承明;首条高精度大规格自动柔性生产线成功运行[N];中国工业报;2009年
9 陈循介;世界机床未来20年将向加工单元和柔性制造系统发展[N];机电商报;2010年
10 本报记者 李楠;以大连机床装备世界[N];大连日报;2006年
中国博士学位论文全文数据库 前10条
1 陈玉峰;柔性制造系统最大许可行为Petri网控制器设计[D];西安电子科技大学;2011年
2 张志明;柔性制造系统死锁预防的Petri网控制器综合[D];浙江大学;2010年
3 李绍勇;基于信标迭代控制的Petri网死锁预防策略[D];西安电子科技大学;2011年
4 秦萌;存在不可控与不可观变迁的Petri网活性控制器设计[D];西安电子科技大学;2011年
5 孔令东;基于模糊Petri网的瓦斯突出空间预测模型研究[D];中国矿业大学;2011年
6 刘改云;自动制造系统的Petri网结构分析和控制器设计[D];西安电子科技大学;2011年
7 李海凌;基于Petri网工作流技术的工程项目群管理研究[D];西南交通大学;2012年
8 刘心;基于Petri网的FMS建模及故障诊断方法研究[D];哈尔滨工程大学;2010年
9 杨鹏;基于广义随机Petri网理论的SIP的研究[D];兰州理工大学;2009年
10 钟春富;基于Petri网的柔性制造系统控制器设计[D];西安电子科技大学;2010年
中国硕士学位论文全文数据库 前10条
1 何铁厂;基于Petri网的柔性制造系统死锁预防研究[D];西安电子科技大学;2010年
2 王浩;基于Petri网的柔性制造系统死锁预防策略[D];西安电子科技大学;2004年
3 李亚南;基于区域理论的Petri网活性控制器优化设计[D];西安电子科技大学;2010年
4 张万良;基于Petri网的柔性制造系统建模及其调度研究[D];西安理工大学;2010年
5 何秀霞;基于Petri网的车站调度模型的研究[D];太原科技大学;2010年
6 王慧;基于Petri网的物流配送业务流程优化与仿真研究[D];武汉理工大学;2011年
7 翟维维;基于Petri网的工作流模型在并行审批系统的研究[D];北京林业大学;2011年
8 杨雪;基于高级Petri网的住院医师培训工作流系统建模与实现[D];沈阳工业大学;2010年
9 王佳慧;基于面向对象的随机Petri网图形建模与分析工具的开发[D];郑州大学;2010年
10 赵冬霞;基于面向对象时间Petri网的物流配送业务流程优化与仿真[D];哈尔滨工业大学;2010年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026