学位论文 > 优秀研究生学位论文题录展示

一种基于传递矩阵的死锁检测和预防策略

作　者: 马晓海
导　师: 李志武
学　校: 西安电子科技大学
专　业: 控制理论与控制工程
关键词: Petri网传递矩阵柔性制造系统死锁节点 P-不变式
分类号: TH165
类　型: 硕士论文
年　份: 2009年
下　载: 62次
引　用: 0次
阅　读: 论文下载

内容摘要

利用Petri网对柔性制造系统进行设计一直是Petri网研究的重要方向。对于一个网模型而言,找到死锁节点,利用一定办法对其死锁节点进行控制,使其网变活,是一种良好的控制策略。在这篇文章里,我们提到了一种新的死锁检测方法,利用传递矩阵这一新的死锁查找办法,得到S~3PR网的死锁节点,然后结合P-不变式控制原理,对网添加控制库所和相应控制弧,使得S~3PR网最终是一个活的Petri网模型。这种新的死锁查找方法是在研究0-1网的基础上得到的,并把它推广应用到任何普通网内,与P-不变式控制原理相结合形成新的Petri网死锁检测和预防策略。该策略可以利用Matlab软件编程去进行矩阵计算,从而可大大节省计算时间,使控制器的设计相比于以前的查找死锁办法更简单,效率更高。因此利用这种新的死锁检测和预防策略可以在较短的时间里得到一个优化的Petri网模型。

全文目录

摘要  3-4
Abstract  4-7
第一章绪论  7-13
  1.1 研究背景与意义  7-9
  1.2 Petri网的研究和应用现状  9-10
  1.3 FMS系统的死锁研究现状  10-11
  1.4 本文完成的主要工作  11-13
第二章 Petri网理论基础及系统建模分析  13-21
  2.1 Petri网的基本理论  13-16
    2.1.1 Petri网的基础定义  13-14
    2.1.2 Petri网的活性及不变式  14-15
    2.1.3 Petri网的一些基本性质  15-16
  2.2 FMS的Petri网模型  16-17
  2.3 Petri网中库所的分类  17-19
  2.4 小结  19-21
第三章柔性制造系统的Petri网模型  21-27
  3.1 资源控制合并网  21-22
  3.2 FMS的Petri网模型-S~3PR网  22-25
  3.3 小结  25-27
第四章基本信标理论  27-33
  4.1 基本信标和从属信标  27-29
  4.2 信标的可控条件  29-30
  4.3 求取基本信标的一种算法  30-31
  4.4 小结  31-33
第五章传递矩阵的概念和特性  33-43
  5.1 传递矩阵的基本概念  33-37
  5.2 传递矩阵应用实例及算法  37-42
    5.2.1 一个求Petri网死锁过程实例  37-41
    5.2.2 求取死锁详细算法设计  41-42
  5.3 小结  42-43
第六章死锁预防控制策略  43-49
  6.1 死锁预防控制本质思想  43-44
  6.2 基于P-不变式的死锁预防控制  44-48
  6.3 小结  48-49
第七章一种新的死锁检测和预防策略  49-59
  7.1 死锁检测和预防策略算法  49-50
  7.2 应用举例  50-57
  7.3 小结  57-59
第八章总结和展望  59-61
致谢  61-63
参考文献  63-67
在读期间的研究成果  67

一种基于传递矩阵的死锁检测和预防策略

内容摘要

全文目录

相似论文