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

Petri网死锁迭代控制算法研究

作　者: 李兰溪
导　师: 李志武
学　校: 西安电子科技大学
专　业: 控制理论与控制工程
关键词: 死锁预防迭代控制信标网的转化整数线性规划
分类号: TP301.1
类　型: 硕士论文
年　份: 2011年
下　载: 17次
引　用: 0次
阅　读: 论文下载

内容摘要

迭代控制算法是一种Pe tr i网死锁预防方法。基本的控制思想为,对于一个Pe tr i网,求取可被清空的极小信标,通过添加控制库所,直至找不到可被清空的极小信标或者检测不到死状态为止。但是,对于可被清空的信标添加控制库所,从而使原网受控,仅适用于普通网。由于柔性制造系统的Pe tr i网模型进行迭代控制的过程中得到的Pe tr i网往往是一般网,所以对于一般网的控制策略的研究显得尤为重要。本文对四种基于联合标识和极小信标生成的现有的Pe tr i网迭代控制算法进行了分析。由于这四种算法同时考虑信标和状态,因此通常可以得到最优的控制器。在对以上四种算法的最后一种算法- - - ME SP - I SC改进的基础上,通过采用网转化,得出了三种采用控制普通网的方法来控制一般网的迭代控制算法。在这些算法的实现过程中涉及到一般网向普通网的转化及返回转化问题、联合关键标识的可被清空的极小信标覆盖集生成问题、死锁检测问题、冗余控制库所的检测及删除问题等。在这些问题的解决过程中,大量使用到整数线性规划。

全文目录

摘要  3-4
Abstract  4-7
第一章绪论  7-13
  1.1 研究背景与意义  7-10
  1.2 本文完成的主要工作  10-13
第二章 Petri 网基本理论  13-21
  2.1 Petri 网基本定义  13-14
  2.2 Petri 网的特性  14-15
  2.3 信标与陷阱的定义和性质  15-16
  2.4 结构不变式的定义和性质  16
  2.5 广义互斥约束  16-18
  2.6 可达图  18-19
  2.7 本章小结  19-21
第三章网转化和迭代控制算法  21-43
  3.1 网的转化  21-29
    3.1.1 变迁分解  22
    3.1.2 一般网转化为PT-普通网  22-23
    3.1.3 网的返回转化  23-24
    3.1.4 等价性  24-29
  3.2 关键标识和信标选择  29-33
  3.3 冗余控制库所  33-34
  3.4 死锁检测  34-35
  3.5 基于网转化的迭代控制  35-39
    3.5.1 第一种迭代控制算法SC-ISC1  35-36
    3.5.2 第二种迭代控制算法SC-ISC2  36-39
    3.5.3 第三种迭代控制算法SC-ISC3  39
  3.6 本章小结  39-43
第四章基于网转化的MESP-ISC 迭代控制算法  43-73
  4.1 可被清空的极小信标生成问题（ESP）  43-44
  4.2 MESP-ISC 迭代控制算法  44-46
  4.3 基于网转化的迭代控制算法分析  46-48
  4.4 TMESP-ISC-1 算法实例分析验证及改正算法  48-57
    4.4.1 TMESP-ISC-1 算法实例分析验证  48-54
    4.4.2 TMESP-ISC-1-A 算法实例分析验证  54-57
  4.5 TMESP-ISC-2 算法实例分析及验证  57-68
  4.6 TMESP-ISC-3 算法实例分析及验证  68-71
  4.7 本章小结  71-73
第五章总结与展望  73-75
致谢  75-77
参考文献  77-81

Petri网死锁迭代控制算法研究

内容摘要

全文目录

相似论文