柔性制造系统死锁预防的Petri网控制器综合
摘要 | 第1-7页 |
Abstract | 第7-9页 |
符号对照表 | 第9-11页 |
图目录 | 第11-13页 |
目录 | 第13-15页 |
1 绪论 | 第15-29页 |
·课题背景和研究意义 | 第15-17页 |
·柔性制造系统死锁控制的研究内容和研究方法 | 第17-20页 |
·死锁的基本概念 | 第17-18页 |
·FMS死锁控制的研究内容和研究方法 | 第18-20页 |
·柔性制造系统死锁预防研究的发展现状 | 第20-26页 |
·死锁预防研究的发展历程 | 第21-22页 |
·存在的主要问题及其研究现状 | 第22-26页 |
·本文的研究内容和创新点 | 第26-28页 |
·本文的研究内容 | 第26-27页 |
·本文的创新点及各个章节介绍 | 第27-28页 |
·本章小结 | 第28-29页 |
2 理论基础 | 第29-43页 |
·引言 | 第29页 |
·PETRI网理论基础 | 第29-31页 |
·柔性制造系统的PETRI网模型 | 第31-34页 |
·库所不变量控制法(PIBC) | 第34-36页 |
·迭代信标控制法(ISC) | 第36-37页 |
·网络转换法(NT) | 第37-39页 |
·被清空信标检测法(MIP) | 第39-41页 |
·冗余控制器检测法(RCP) | 第41-42页 |
·本章小结 | 第42-43页 |
3 柔性制造系统的最大容许死锁预防控制研究 | 第43-63页 |
·引言 | 第43-44页 |
·基于操作库所集标识最小化的必要信标求取算法 | 第44-51页 |
·操作库所集标识最小化 | 第45-47页 |
·改进的混合整数规划法 | 第47-51页 |
·加权控制器与普通控制器的转换 | 第51-53页 |
·必要信标的顺序迭代控制算法 | 第53-55页 |
·改进的迭代信标控制算法 | 第53-54页 |
·必要信标的顺序迭代死锁预防控制策略 | 第54-55页 |
·BENCHMARK例子研究与控制性能分析 | 第55-61页 |
·Benchmark例子研究 | 第55-59页 |
·控制性能分析 | 第59-61页 |
·本章小结 | 第61-63页 |
4 柔性制造系统的全局优化死锁预防控制研究 | 第63-77页 |
·引言 | 第63-64页 |
·死锁预防控制策略的性能权衡 | 第64-71页 |
·信标的抢占库所集标识约束 | 第64-67页 |
·全局优化迭代信标控制策略 | 第67-68页 |
·Benchmark实例研究 | 第68-71页 |
·冗余控制器检测 | 第71-76页 |
·非冗余控制器的判定 | 第71-73页 |
·非冗余控制器的计算 | 第73-74页 |
·实例研究 | 第74-76页 |
·本章小结 | 第76-77页 |
5 预分配与分割缓冲器的死锁预防方法研究 | 第77-95页 |
·引言 | 第77-78页 |
·基于缓冲器预分配与分割的死锁预防策略 | 第78-88页 |
·一类特殊的FMS | 第78-79页 |
·缓冲器预分配技术 | 第79-80页 |
·MRSNB和MRSANB | 第80-84页 |
·缓冲器分割技术 | 第84-86页 |
·实例研究 | 第86-88页 |
·改进的缓冲器分割技术 | 第88-93页 |
·基于信标计算的缓冲器分割技术 | 第88-89页 |
·算法分析及实例研究 | 第89-93页 |
·本章小结 | 第93-95页 |
6 缓冲器预分配与信标控制的混合死锁预防方法研究 | 第95-113页 |
·引言 | 第95-96页 |
·基于严格极小信标不变的网络简约转换法 | 第96-102页 |
·MRSNB的转换 | 第96-100页 |
·网络转换算法的应用和扩展 | 第100-102页 |
·基于缓冲器预分配和信标控制的三步混合控制算法 | 第102-104页 |
·实验研究与性能分析 | 第104-112页 |
·实例研究 | 第104-109页 |
·控制算法性能分析 | 第109-112页 |
·本章小结 | 第112-113页 |
7 总结和展望 | 第113-117页 |
·研究工作总结 | 第113-114页 |
·挑战与展望 | 第114-117页 |
参考文献 | 第117-127页 |
攻读博士学位期间完成的学术论文 | 第127页 |