当前位置:主页 > 科技论文 > 机械论文 >

基于混合整数规划的FMS活性控制器设计

发布时间:2020-06-28 08:03
【摘要】: 本文主要研究柔性制造系统中的死锁问题,利用Petri网对其建模,对一种网的子类-S3PR网,提出了几种新的死锁预防策略。网模型中的信标可分为基本信标和从属信标,对每个基本信标添加控制库所使其不变式可控,并利用混合整数规划方法来保证不会产生新的可被清空的信标。同样,也可以利用混合整数规划方法找出一个最大无标识信标,并一次又一次的从中导出极小信标,对每个极小信标,添加一个控制库所,使其不变式可控,并用混合整数规划方法检验保证不会产生由添加的控制库所引起的新的可被清空的信标。这两种新的死锁预防策略会得到更多的许可行为,因为添加的控制库所和弧的数量比现有的其它方法要少的多。 利用区域理论设计控制器可以使受控网得到最大许可行为,但是随着网规模的扩大,会出现状态爆炸的问题,从而导致计算量比较大。而且不同的初始标识对应着不同的控制器,需要一次次重新计算。本文为了避免这些问题,给出了保证原网无死锁时,初始标识之间应满足的关系式。就是说,给定网结构,无论初始标识如何变化,都可以通过改变控制库所中托肯数来快捷地设计出新的控制器,避免了重复计算。
【学位授予单位】:西安电子科技大学
【学位级别】:硕士
【学位授予年份】:2006
【分类号】:TH165
【图文】:

活性控制,混合整数规划,花开,网模


于混合整数规划的 FMS 活性控制器设计2.2 Petri 网的实例分析候变化看成一个系统,那么它包含四个温暖花开。我们把四个箭头代表的变, p3和p4来表示对应的四个库所,或更冬四季)于是每个条件都有真和非真两的四季系统的 Petri 网模型如图 2.2 所示 p3,及炎热把我们从夏季带到了秋季流,它的流动不仅有量变,而且有质变图 2.1 初步模型

实例图,实例,工件,机器人


第二章 Petri 网的基本概念对应的 Petri 网模型中,p1限制进程中的工件个数至多为 2,p2代表载工件,p3代表机床正在加工工件,p4代表机器人正在卸载工件,pp6代表机器人。装载工件卸载工件需要机器人完成,而加工工件需,所以 p5输出弧分别指向 t1、t3,输入弧与 t2、t4相连。p6只与 t2、t3

【共引文献】

相关期刊论文 前10条

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

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

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

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

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

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

7 徐刚,吴智铭;银行家算法在柔性制造系统中的改进和应用[J];计算机集成制造系统-CIMS;2004年01期

8 闫明明;李志武;韦娜;赵咪;;S~3PMR网的一种死锁预防优化策略[J];计算机集成制造系统;2008年01期

9 ;Deadlock prevention for flexible manufacturing system[J];Journal of Control Theory and Applications;2005年04期

10 徐刚,吴智铭;考虑缓冲区的自动生产单元的无死锁调度策略[J];控制理论与应用;2005年02期

相关博士学位论文 前10条

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

2 钟春富;基于Petri网的柔性制造系统控制器设计[D];西安电子科技大学;2010年

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

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

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

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

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

8 赵咪;基于一般Petri网的自动制造系统活性控制器设计[D];西安电子科技大学;2009年

9 朱森;资源分配系统死锁控制及其应用研究[D];西安电子科技大学;2009年

10 胡核算;自动制造系统的Petri网控制器设计及优化[D];西安电子科技大学;2010年

相关硕士学位论文 前10条

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

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

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

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

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

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

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

8 张建;结构简化的Petri网活性控制器设计[D];西安电子科技大学;2007年

9 王国锋;一种基于区域法的死锁预防优化策略[D];西安电子科技大学;2009年

10 李鑫;WS~3PR网活性研究中的若干算法优化与实现[D];西安电子科技大学;2010年



本文编号:2732780

资料下载
论文发表

本文链接:https://www.wllwen.com/kejilunwen/jixiegongcheng/2732780.html


Copyright(c)文论论文网All Rights Reserved | 网站地图 |

版权申明:资料由用户b4a3f***提供,本站仅收录摘要或目录,作者需要删除请E-mail邮箱bigeng88@qq.com