论文部分内容阅读
柔性制造系统是一个典型的资源分配系统,它包含一系列的共享资源和若干顺序并发的工作流程。如果对共享资源的分配和使用缺乏有效的管理和控制措施,就会很容易发生死锁现象。死锁现象不仅会造成生产线中断,导致系统的性能下降,带来经济损失,甚至还会造成其它严重后果。柔性制造系统中死锁现象的检测和预防具有重要的意义。Petri网是一种离散事件系统的建模和分析工具,它被广泛应用于柔性制造系统的建模、性能分析以及死锁控制的研究中。信标是Petri网中的一种特殊结构,它与死锁有着紧密联系。用Petri网对柔性制造系统建模之后,死锁就意味着有信标在某个状态下被清空。柔性制造系统中基于信标的死锁预防策略通常是采取对信标添加控制库所的措施使其不被清空。因此死锁预防策略必须首先得到所有的极小信标,而理论上,信标的数量随着Petri网规模的增大呈指数式增长,由于受到极小信标计算效率较低的限制,很多基于信标的死锁预防控制策略难以应用在大规模系统中。很多学者在极小信标的研究方面做了大量工作,提出了许多开创性的算法,但是计算效率依然不高。Cordone等人提出的基于问题分解的极小信标枚举算法应用范围广,是业界计算效率较高的算法之一。本文针对Cordone问题分解法中的局部分解法,提出一种改进的算法。S3PR网是Petri网的一个子类,也被广泛应用于柔性制造系统的建模和死锁预防策略的研究中。针对S3PR网,本文提出一种新的算法,适用于包含大量严格极小信标的柔性制造系统中。主要工作如下:1.针对Cordone的局部分解法,在Wang等人提出的改进的GPMSE算法的基础上,将改进措施应用于局部分解法,提出一种改进的LPMSE算法。2.对于S3PR网,提出一种基于问题分解的计算严格极小信标的算法。本文使用新的问题分解法计算出所有的理想资源子网,然后利用理想资源子网求出所有的严格极小信标。3.根据本文提出的算法开发出计算极小信标的软件,介绍软件的开发环境和开发工具,以及主要数据结构和类的设计。