一种柔性制造系统死锁控制器的行为优化研究

发布时间：2020-05-31 04:07

【摘要】： 柔性制造系统中对有限资源的竞争会使系统产生死锁现象。Petri网作为一种建模分析工具,它能很方便地为柔性制造系统建模并分析和解决这一死锁问题。目前死锁预防方法大都是在目标Petri网模型中增加控制器,它由新的控制库所和相关弧构成。Ezpeleta死锁预防算法是通过给造成死锁的每一个严格极小信标添加控制库所和连接弧来保证没有信标被清空。但随着网规模的增大,极小信标的数目会以指数级的规模激增,其缺点是给网系统添加了过多的控制库所和连接弧,这样会使最终网系统比初始网系统复杂很多。基于基本信标理论的死锁预防算法虽然使得控制器的结构有所简化,但它是一种保守的控制策略,它把监督库所的输出弧前提,结果使得受控网的许可行为有所减少,最终影响控制效果。本文致力于一种优化控制器的行为研究,它在得到更为优化控制效果的同时能进一步减少新添加控制库所数量。本算法可以产生结构上更为简单、同时许可行为更多的受控网模型。通过对几种不同规模的柔性制造系统的死锁分析得知本文算法的优越性在规模越大的网中越明显。
【图文】：

第四章 死锁预防算法2同样我们可以得到 S2={p4, p10, p11, p12}的控制库所 Vs2：Vs2 ＝{t1, t8} Vs2＝{t3, t6,t10}最后调整ξi值可以得到M0(Vs1)＝2M0(Vs2)＝2这样我们得到最终的控制网系统如图 4.2 所示。很明显此种算法比前一种算法少加了一个控制库所，同样使得网得到控制成为活网，而且可达状态数并没有减少，同样是 155。此种算法在大规模的网系统中应用显得尤为重要，，我们将在下面的章节中重点分析比较这两种方法。

第四章 死锁预防算法s.t.zt≥∑p∈ tvp-| t|+1, t∈T,vp≥zt, (t, p)∈F,vp, zt∈{0, 1}vp≥1{M(p)>0}, p∈P。M=M0+CY, M≥0, Y≥0设(N, M)是一个网系统，该网系统存在可被清空当 G(M)<|P|。从另外一个角度考虑这个问题，当 G(M)=|P|。定义，这个推论是显然成立的，同时，该推论提出两个图给出的就是反例。
【学位授予单位】：西安电子科技大学
【学位级别】：硕士
【学位授予年份】：2007
【分类号】：TH165

【共引文献】

相关期刊论文 前1条

1 王安荣,段江涛,李志武,贾建援;资源分配系统禁止状态的避免研究[J];西安电子科技大学学报;2005年05期

相关博士学位论文 前1条

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

相关硕士学位论文 前10条

1 袁伟东;面向类生物化制造系统的协调机制研究与实现[D];南京航空航天大学;2010年

2 郝林;基于Petri网的自动制造系统的死锁分析[D];西安电子科技大学;2002年

3 王浩;基于Petri网的柔性制造系统死锁预防策略[D];西安电子科技大学;2004年

4 支运安;基于基本信标的FMS死锁预防[D];西安电子科技大学;2005年

5 王兴平;基于FMS的死锁预防优化控制策略研究[D];西安电子科技大学;2005年

6 曹卫贤;基于柔性制造系统的基本信标死锁预防分析[D];西安电子科技大学;2005年

7 夏海斌;一类柔性制造系统的死锁研究与分析[D];西安电子科技大学;2005年

8 胡核算;基于MIP算法的系统Petri网模型中的死锁预防[D];西安电子科技大学;2005年

9 丁伟;基于Petri网的柔性制造系统设备故障建模及死锁预防[D];西安电子科技大学;2005年

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

本文编号：2689259