设为首页 - 加入收藏
广告 1000x90
您的当前位置:黄大仙78345救世报网 > 局部死锁 > 正文

基于Petri网的柔性制造系统控制器设计

来源:未知 编辑:admin 时间:2019-05-17

  在柔性制造系统中,通常利用有限的资源来并行加工处理不同类型的工件。不同类型的工件通过竞争使用有限的资源,对资源的不合理分配会引起死锁,即两个或多个工件无限互相等待其他的工件释放资源。死锁意味着系统局部或全局的停顿,会大大降低系统的生产效率。为了使系统高效运转,必须解决死锁问题。Petri网作为一种数学工具,可以对柔性制造系统进行建模、分析与控制。在Petri网中,信标作为特殊的结构与死锁紧密相连,通过控制信标就可以消除死锁。在普通网中,可被清空的严格极小信标会阻止与其关联的变迁的发射,只要保证信标不被清空就可以控制信标,而基于不变式的特性就可以保证信标不被清空。在一般网中的情况远比普通网中复杂,存在严格极小信标并不意味着死锁的产生,一个被标记的信标也不意味着其不会引起死锁。基于最大受控信标的概念可以为一个未充分标记的信标设计控制库所,然而还有一些信标根据最大受控的概念无法得到合适的控制库所。如何设计控制库所直接影响着整个活性Petri网控制器许可行为的多少,而许可行为的多少是衡量一个活性Petri网控制器好坏的一个重要指标。一个活性Petri网控制器的许可行为越多,它对系统的限制越少。如何对一般网中的信标进行控制,如何减小添加的控制器对原系统行为的限制是我们来解决的主要问题。本文基于Petri网为柔性制造系统设计控制器,通过对柔性制造系统的Petri网模型分析就可以得到系统的控制器。本文主要的研究成果如下: 1. Petri网中信标与死锁密切相关,然而一般在一个网系统中信标的数目随着网系统的规模成指数增长,计算所有的信标比较困难。基于混合整数规划方法(mixed integer programming, MIP),提出一种针对S4R网的迭代死锁预防策略。每次迭代通过求解MIP问题得到一个非最大标记的信标,并通过添加控制库所构成P-不变式使得该信标为最大受控的。依次迭代,直到系统没有非最大标记的信标,系统所有的信标均为最大受控的,进而得到活性Petri网控制器。通过MIP求解信标,避免了计算所有的严格极小信标。迭代策略不能保证得到的控制器不存在冗余控制库所,最后设计剔除冗余控制库所的算法,可以得到结构更简单的活性Petri网控制器。 2.通过研究分析,给出了更形式化的max-controlled信标的概念。根据信标引起死锁的原因,推导出信标为self-max-controlled的充分条件,一个self-max-controlled信标不会引起死锁。证明了若一个WS3PR网中所有的严格极小信标均为self-max-controlled,则该网系统为自活的。自活的网系统不需要任何外界控制就可以始终有序的运行,而不会产生死锁,通过合理的配置资源数目及资源使用就可以得到自活的系统。 3.通过结构分析,提出了等价不变式和等价网系统的概念,两个等价的网系统具有相同的发射序列。可以为一个S3PR网找到等价的WS3PR网系统,通过重新配置WS3PR网弧的权值使得其所有的严格极小信标均为self-max-controlled,从而得到自活的WS3PR网,由自活的WS3PR网可以得到S3PR网的活性Petri控制器。同时给出了一个S3PR网的等价WS3PR网可以通过重新配置弧的权值而自活的充分条件。该策略得到的控制器需要的控制库所数目不多于资源库所数目,具有较多的许可行为。 4.一个信标的控制库设计的好坏直接影响活性Petri网控制器许可行为的多少。基于最大受控信标的概念设计的控制库所通常对系统的限制较多,基于max-controlled信标的概念,从不同的角度考虑,提出了三种方法为信标设计控制库所,可以为具有良好初始标识的S4R网的任意严格极小信标设计合适的控制库所。在此基础上给出了死锁预防策略,并通过实例验证所提出的方法。 5.并非所有的网系统都存在具有最大许可行为的活性Petri网控制器。通过分析网系统的结构和状态,给出了一类Petri网-WS3PR网不存在基于P-不变式的具有最大许可行为的活性Petri网控制器的充分条件。若一个WS3PR网存在不能最优受控的信标,则整个网系统不存在基于P-不变式的具有最大许可行为的活性Petri网控制器。若一个网系统存在可以引起矛盾约束的状态,同样使得整个网系统不存在基于P-不变式的具有最大许可行为的活性Petri网控制器。避免了盲目求解所有系统的具有最大许可行为的活性Petri网控制器。

  ;Optimal deadlock avoidance Petri net supervisors for automated manufacturing systems[J];Journal of Control Theory and Applications;2007年02期

  岳昊;李文杰;;S~3PR网多项式时间复杂度的化简算法[J];江西师范大学学报(自然科学版);2010年06期

  王志坚;;制造企业信息化系统研究综述[J];中国管理信息化;2008年13期

  吴国凤;胡德启;安磊;郑礼良;;含有不可控变迁的Petri网死锁避免策略[J];合肥工业大学学报(自然科学版);2012年04期

  岳昊;李文杰;;自动制造系统Petri网模型SPN的化简[J];长沙理工大学学报(自然科学版);2010年03期

  丁力;董利达;朴云;;基于Petri网的并发编程死锁预防策略[J];浙江大学学报(理学版);2012年01期

  俞建峰,殷跃红,陈兆能;一类制造系统活性控制[J];机床与液压;2003年03期

  岳昊;李文杰;;自动制造系统Petri网模型中的非完美变迁[J];井冈山大学学报(自然科学版);2010年06期

  韦娜;赵咪;闫明明;;基于Petri网的无死锁控制器设计[J];计算机科学;2008年11期

  朱森;;一类Petri网——S~4R的死锁预防策略[J];计算机科学;2010年10期

  赵振宏,肖田元;柔性制造单元的无死锁监控方法[J];计算机集成制造系统-CIMS;2001年05期

  王志坚;蔡自兴;;基于Petri网的企业信息化系统统一建模研究[A];第二十六届中国控制会议论文集[C];2007年

  岳昊;;具有多资源需求和柔性加工路径的顺序资源分配系统Petri网模型的死锁结构特征[A];第二十九届中国控制会议论文集[C];2010年

  张志明;柔性制造系统死锁预防的Petri网控制器综合[D];浙江大学;2010年

  刘改云;自动制造系统的Petri网结构分析和控制器设计[D];西安电子科技大学;2011年

  张镇;面向迎宾机器人组件化系统的建模与控制研究[D];上海交通大学;2011年

  赵丹;柔性制造系统刀具流动态调度研究[D];哈尔滨工程大学;2011年

  黄波;基于Petri网的FMS建模与调度研究[D];南京理工大学;2006年

  黄忠华;自动制造系统中的无死锁调度与控制[D];上海交通大学;2007年

  王志坚;基于Petri网的企业信息化系统建模及关键技术研究[D];中南大学;2007年

  韦娜;基于无死锁初始标识的Petri网控制器设计[D];西安电子科技大学;2008年

  王安荣;Petri网基本信标的求取算法及死锁避免策略研究[D];西安电子科技大学;2009年

  汪成英;S~3PR网的严格极小信标计算及活性控制器设计[D];浙江工商大学;2011年

  李兰溪;Petri网死锁迭代控制算法研究[D];西安电子科技大学;2011年

  李倩;基于Petri网分解的自动化物流系统控制系统研究[D];西安科技大学;2011年

  丁力;基于Petri网的一类并发程序死锁预防策略[D];浙江大学;2011年

  熊惠明;Petri网在FMS中的若干应用研究[D];西安电子科技大学;2004年

  卢阳;一类柔性制造系统死锁预防策略[D];西安电子科技大学;2005年

  张向峰;基于Petri网的柔性制造系统死锁预防研究[D];西安电子科技大学;2005年

  马雄;柔性制造系统无死锁Petri网控制器的分解研究[D];西安电子科技大学;2006年

  徐平江;一类Petri网的信标求取方法及应用研究[D];西安电子科技大学;2006年

  刘鼎;基于一类Petri Net模型的初始状态配置与死锁检测[D];西安电子科技大学;2006年

  刘继明;柔性制造系统对兵器制造业的影响[J];四川兵工学报;1994年02期

  王傲胜,刘哲;以仓储为中心的智能化车间[J];机电一体化;2004年05期

  李铭才;加工自动化过程中工件视觉识别系统的研究[J];广东自动化与信息工程;1996年04期

  陈箫枫,钟江生;柔性制造系统仿真问题的研究(续完)[J];组合机床与自动化加工技术;2001年12期

  王丽华;基于柔性制造技术的数字图书馆开发方法[J];现代情报;2005年03期

  李锋刚,倪志伟,黄玲;基于案例推理技术的制造系统可重构性研究[J];安徽建筑工业学院学报(自然科学版);2005年04期

  刘晶;;基于柔性思想的数字图书馆系统的研究与开发[J];图书情报工作;2006年S2期

  沈华东;周义;张坤;;基于GSM网络的柔性制造车间安防报警系统设计[J];机械设计与制造;2009年08期

  罗浩平;半导体集成电路的柔性生产技术[J];半导体技术;1995年06期

  许雁;坚持为企业服务走好“军转民”之路[J];兵工自动化;1996年04期

  单忠德;颜永年;卢清萍;费小琛;;单件、小批量板料快速柔性成形工艺研究[A];第八届全国塑性加工学术年会论文集[C];2002年

  单忠德;颜永年;卢清萍;费小琛;;单件、小批量板料快速柔性成形工艺研究[A];制造业与未来中国——2002年中国机械工程学会年会论文集[C];2002年

  韦文儒;;快速柔性制造重型车纵梁的工艺及设备[A];第三届广西青年学术年会论文集(自然科学篇)[C];2004年

  赵晓光;谭民;;一种面向柔性制造系统的机器人视觉技术[A];科技、工程与经济社会协调发展——中国科协第五届青年学术年会论文集[C];2004年

  吴启迪;;先进制造技术——构筑迈向21世纪的制造业环境[A];面向21世纪的科技进步与社会经济发展(下册)[C];1999年

  刘九卿;;应变式称重传感器技术动向和发展趋势[A];称重科技暨第五届称重技术研讨会论文集[C];2005年

  陈波;;柔性超高压水切割技术的应用与发展[A];中国船舶焊切技术暨新船型及海洋工程工艺发展高峰论坛论文集[C];2010年

  冯天平;;摩托发动机柔性生产管理信息系统的开发[A];先进制造技术论坛暨第二届制造业自动化与信息化技术交流会论文集[C];2003年

  叶呈武;张绪虎;郎泽保;;钛合金激光沉积快速成形技术发展现状[A];中国有色金属学会第十二届材料科学与合金加工学术年会论文集[C];2007年

  宋友良;邢宏岩;李沁溢;;中国造船企业实施精益生产方式若干问题的思考[A];2011中国造船工程学会造船工艺学术委员会造船企业精益生产学术研讨会论文集[C];2011年

  俞益益;杭机股份:柔性制造在应对市场突变中的重要作用[N];机电商报;2009年

  孟黎;GSP平台牵动中国ERP软件生态链[N];中国企业报;2007年

  齐慧;大连机床集团:发挥自身优势 提高创新能力[N];经济日报;2008年

  薛雷;基于Petri网的集成电路柔性制造系统建模、分析及调度[D];西安电子科技大学;2001年

  曾敏;大规模定制关键问题建模与应用研究[D];华中科技大学;2011年

  赵捧未;基于敏捷制造模式的制造信息系统的研究[D];西安电子科技大学;2004年

  梁智斌;在线水质分析系统的改造设计与实现[D];华南理工大学;2012年

  梁艳;基于混合型进化算法的柔性制造优化研究[D];大连理工大学;2013年

  张帆;柔性制造在军工电子企业生产组织中的应用[D];西南财经大学;2005年

  林洁;SRS-F01柔性制造教学系统的设计[D];苏州大学;2010年

  陈伟;柔性制造实验系统的加工过程自动规划和仿真的研究与开发[D];清华大学;2000年

  毕泗平;装备制造项目的柔性制造模式研究[D];中国海洋大学;2009年

本文链接:http://sesdagreat.com/jubusisuo/46.html

相关推荐:

网友评论:

栏目分类

现金彩票 联系QQ:24498872301 邮箱:24498872301@qq.com

Copyright © 2002-2011 DEDECMS. 现金彩票 版权所有 Power by DedeCms

Top