| 摘要 | 第1-5页 |
| Abstract | 第5-9页 |
| 第一章 绪论 | 第9-23页 |
| ·背景介绍 | 第9页 |
| ·死锁问题的定义及特点 | 第9-11页 |
| ·解决死锁问题的策略 | 第11-12页 |
| ·制造系统建模方法及其对应的死锁描述 | 第12-17页 |
| ·Petri 网方法 | 第13-15页 |
| ·图论方法 | 第15-16页 |
| ·自动机方法 | 第16-17页 |
| ·无死锁调度方法 | 第17-20页 |
| ·各种死锁解决方法的比较 | 第20页 |
| ·本文的主要内容和结构安排 | 第20-23页 |
| 第二章 基于Petri 网和遗传算法的无死锁调度 | 第23-45页 |
| ·无缓冲区单资源分配系统的无死锁调度 | 第23-38页 |
| ·前言 | 第23-25页 |
| ·问题描述及赋时Petri 网模型 | 第25-27页 |
| ·最大空Siphon 和死锁检验算法 | 第27-30页 |
| ·具有无死锁约束的遗传算法 | 第30-35页 |
| ·计算实例 | 第35-37页 |
| ·结论 | 第37-38页 |
| ·无缓冲区多资源分配系统的无死锁调度 | 第38-45页 |
| ·问题描述以及赋时Petri 网模型 | 第38-39页 |
| ·D-siphon 和死锁检测方法 | 第39-41页 |
| ·遗传算法的设计 | 第41页 |
| ·计算实例 | 第41-43页 |
| ·结论 | 第43-45页 |
| 第三章 基于图论和遗传算法的无死锁调度 | 第45-67页 |
| ·考虑中央缓冲区基于图论和遗传算法的无死锁调度 | 第45-56页 |
| ·前言 | 第45-47页 |
| ·问题描述 | 第47页 |
| ·基于图论的死锁避免算法 | 第47-50页 |
| ·遗传算法的设计 | 第50-52页 |
| ·实例计算 | 第52-55页 |
| ·结论 | 第55-56页 |
| ·具有特殊缓冲区结构的轨道导引小车的无死锁调度 | 第56-67页 |
| ·前言 | 第56-57页 |
| ·问题描述 | 第57-58页 |
| ·RGV 系统中的死锁避免 | 第58-60页 |
| ·具有无死锁约束的遗传算法 | 第60-62页 |
| ·实例计算 | 第62-65页 |
| ·结论 | 第65-67页 |
| 第四章 用于柔性制造系统中死锁避免的银行家算法 | 第67-85页 |
| ·用于死锁避免的基于图论模型的分布式银行家算法 | 第67-76页 |
| ·前言 | 第67-68页 |
| ·自动制造系统的有向图建模 | 第68-71页 |
| ·基于图论模型的分布式银行家算法 | 第71-75页 |
| ·结论 | 第75-76页 |
| ·考虑柔性路由和多资源请求的基于Petri 网的银行家算法 | 第76-85页 |
| ·前言 | 第76-77页 |
| ·柔性制造系统的Petri 网建模 | 第77-79页 |
| ·基于S*PR 网用于死锁避免的银行家算法 | 第79-82页 |
| ·计算实例 | 第82-83页 |
| ·结论 | 第83-85页 |
| 第五章 基于有向图模型的一种新的分布式死锁避免策略 | 第85-99页 |
| ·前言 | 第85-86页 |
| ·制造系统的有向图模型及一些相关结论 | 第86-90页 |
| ·分布式策略的特点 | 第90-91页 |
| ·系统划分 | 第91-93页 |
| ·分布式控制策略 | 第93-97页 |
| ·限制死锁的产生 | 第93-95页 |
| ·限制死锁的避免 | 第95-96页 |
| ·改进的分布式控制策略 | 第96-97页 |
| ·计算复杂度 | 第97-98页 |
| ·结论 | 第98-99页 |
| 第六章 基于禁止弧Petri 网模型及区域理论的死锁解决方法 | 第99-109页 |
| ·前言 | 第99-100页 |
| ·Petri 网模型的最大活性空间 | 第100-101页 |
| ·区域理论和控制器综合方法 | 第101-103页 |
| ·实例 | 第103-108页 |
| ·结论 | 第108-109页 |
| 第七章 总结与展望 | 第109-113页 |
| ·本文的主要研究内容 | 第109-110页 |
| ·本文的主要创新之处 | 第110-111页 |
| ·展望 | 第111-113页 |
| 参考文献 | 第113-119页 |
| 致谢 | 第119-120页 |
| 作者在攻读博士学位期间已完成的学术论文 | 第120-123页 |
