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

基于一般Petri网的死锁迭代控制策略的研究

作 者: 王心宇
导 师: 李志武
学 校: 西安电子科技大学
专 业: 机械电子工程
关键词: 死锁预防 迭代控制 信标 网的转化 改进混合整数规划
分类号: TP273
类 型: 硕士论文
年 份: 2011年
下 载: 5次
引 用: 0次
阅 读: 论文下载
 

内容摘要


死锁是自动制造系统控制系统设计时必须考虑和解决的问题。迭代控制算法是其中的一种Petri网死锁预防方法。本文对基于改进的混合整数规划方法(RMIP算法)寻找严格极小信标的迭代控制算法进行了分析。RMIP算法避免求取网系统中所有的严格极小信标,在计算信标方面可以大大降低复杂度。在RMIP算法求取严格极小信标的基础上,通过分析网的转化与网控制的转化之间的关系,得出了一种可以用控制普通网的方法来控制一般网的迭代控制算法。在这些算法的实现过程中涉及到RMIP求解极小信标的问题、一般网向普通网的转化及返回转化问题、死锁检测问题、冗余控制库所的检测及删除等问题。

全文目录


摘要  3-4
Abstract  4-7
第一章 绪论  7-11
  1.1 研究背景与意义  7-10
    1.1.1 Petri网的研究背景  7-8
    1.1.2 死锁的产生及其控制方法  8-9
    1.1.3 本文研究的意义  9-10
  1.2 本文完成的主要工作  10-11
第二章 PETRI网基本理论  11-17
  2.1 PETRI网的基本理论  11-15
    2.1.1 Petri网的简单建模  11-12
    2.1.2 Petri网的基本定义  12-13
    2.1.3 Petri网的活性分析  13-14
    2.1.4 结构不变式的定义及性质  14
    2.1.5 信标与陷阱的定义和性质  14-15
  2.2 小结  15-17
第三章 RMIP求取严格极小信标的理论  17-33
  3.1 MIP算法基本知识  17-20
    3.1.1 MIP求取最大空信标的算法  17-20
    3.1.2 最大空信标求取严格极小信标算法[9]  20
  3.2 RMIP求取严格极小信标的算法  20-21
  3.3 RMIP算法求取严格极小信标实例验证  21-26
  3.4 广义互斥约束  26-28
  3.5 基于普通网的RMIP迭代控制算法---O-RMIP  28-29
  3.6 O-RMIP算法实例验证  29-31
  3.7 本章小结  31-33
第四章 基于多种权值分解方法的死锁迭代控制策略  33-57
  4.1 两种权值转化方法  33-42
    4.1.1 L-TRANS转化算法及理论证明  33-37
    4.1.2 I-TRANS转化算法及理论证明  37-41
    4.1.3 两种权值转化算法比较以及改进的NI-TRANS算法  41-42
  4.2 网的返回转化  42
  4.3 冗余控制库所  42-43
  4.4 基于一般网的G-RMIP迭代控制策略  43-49
    4.4.1 基于一般网的G-RMIP 迭代控制策略  43-45
    4.4.2 G-RMIP 迭代控制算法对 L-TRANS 转化正确性的实例验证  45-47
    4.4.3 G-RMIP 迭代控制算法分析  47-49
  4.5 R G-RMIP 迭代控制算法  49-56
    4.5.1 死锁检测  49-50
    4.5.2 基于针对一般网的改进 RMIP 迭代控制策略 R G- RMIP  50-52
    4.5.3 RG-RMIP 迭代控制策略实例验证  52-56
  4.6 小结  56-57
第五章 总结与展望  57-59
  5.1 论文总结  57-58
  5.2 研究展望  58-59
致谢  59-61
参考文献  61-64

相似论文

  1. 无线传感器网络定位系统研究及设计,TN929.5
  2. 基于FPGA的数字信标接收机设计,TN851
  3. 基于Petri网的一类并发程序死锁预防策略,TP311.1
  4. 基于地理信息的无线传感器网络路由理论研究,TP212.9
  5. 实时公交信息服务关键技术研究,TP399-C6
  6. 无线传感器网络节点定位算法研究,TP212.9
  7. 锁核酸分子信标的设计、合成及其性能研究,Q503
  8. 基于OS-ELM-RPLS的间歇过程软测量建模与迭代控制,TB497
  9. 基于PE模型的迭代辨识与控制设计方法研究,N945.14
  10. p53基因codon72多态性与剖腹产术后瘢痕增生的相关性研究,R719.8
  11. Petri网死锁迭代控制中若干问题研究,TP301.1
  12. 核酸信标配基的构建、活性鉴定及其检测方法的建立,Q52
  13. 新型纳米金胶和DNA酶的传感技术对核酸和蛋白检测的应用研究,Q51-3
  14. 基于功能核酸的生物传感技术的研究,Q503
  15. Petri网死锁迭代控制算法研究,TP301.1
  16. 柔性制造系统中基于petri网的死锁预防策略,TH165
  17. 一种基于区域法的死锁预防优化策略,TP301
  18. 基于Petri网的船运交通系统死锁预防策略,U69
  19. 利用分子信标探针熔解曲线技术快速筛查结核分枝杆菌临床分离株中耐乙胺丁醇突变,R450
  20. 基于催化金属沉积的信号放大生物分析方法研究,Q503
  21. 激光钠信标数值模拟研究,O436

中图分类: > 工业技术 > 自动化技术、计算机技术 > 自动化技术及设备 > 自动化系统 > 自动控制、自动控制系统
© 2012 www.xueweilunwen.com