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