基于信标选择的死锁控制算法研究
| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 第一章 绪论 | 第7-13页 |
| ·研究背景与意义 | 第7-11页 |
| ·本文完成的主要工作 | 第11-13页 |
| 第二章 Petri 网基本理论及建模 | 第13-23页 |
| ·Petri网基本定义及性质 | 第13-17页 |
| ·Petri网的结构定义 | 第13-14页 |
| ·Petri网变迁的发射规则 | 第14-15页 |
| ·Petri网的特性 | 第15页 |
| ·不变式的定义及其性质 | 第15-16页 |
| ·信标和陷阱的定义和性质 | 第16-17页 |
| ·Petri网实例分析 | 第17-21页 |
| ·共享内存同步读-写模型 | 第17页 |
| ·简单的通信协议模型 | 第17-18页 |
| ·简单FMS的Petri网模型 | 第18页 |
| ·FMS的网模型分析 | 第18-21页 |
| ·本章小结 | 第21-23页 |
| 第三章 根据符号关联矩阵求信标 | 第23-37页 |
| ·算法相关定义和定理 | 第23-24页 |
| ·算法描述 | 第24-27页 |
| ·算例 | 第27-29页 |
| ·符号关联矩阵求信标算法的改进 | 第29-35页 |
| ·本章小结 | 第35-37页 |
| 第四章 S~3PR 网及S~4PR 网模型 | 第37-45页 |
| ·FMS的Petri网建模方法 | 第37-39页 |
| ·S~3PR网模型 | 第39-41页 |
| ·S~3PR网基本定义 | 第39-40页 |
| ·S~3PR网建模实例 | 第40-41页 |
| ·S~4PR网模型 | 第41-43页 |
| ·S~4PR网基本定义 | 第41-42页 |
| ·S~4PR网模型实例 | 第42-43页 |
| ·本章小结 | 第43-45页 |
| 第五章 死锁预防策略 | 第45-57页 |
| ·当前死锁预防算法简介 | 第45-46页 |
| ·Ezpeleta死锁预防策略 | 第46-50页 |
| ·信标选择与死锁控制 | 第50-54页 |
| ·广义相互抑制约束 | 第51页 |
| ·集合覆盖问题 | 第51-53页 |
| ·关键标识及其求取算法 | 第53-54页 |
| ·优化的选择信标控制算法 | 第54-56页 |
| ·死锁预防算法的优化 | 第55-56页 |
| ·算法说明 | 第56页 |
| ·本章小结 | 第56-57页 |
| 第六章 死锁预防算法在FMS 中的应用 | 第57-67页 |
| ·控制应用实例一 | 第57-61页 |
| ·S~3PR网模型的控制实例分析 | 第57-60页 |
| ·实例一不同死锁预防策略应用对比 | 第60-61页 |
| ·控制应用实例二 | 第61-65页 |
| ·S~4PR网模型的控制实例分析 | 第61-65页 |
| ·实例二不同死锁预防策略应用对比 | 第65页 |
| ·本章小结 | 第65-67页 |
| 第七章 总结与展望 | 第67-69页 |
| ·论文总结 | 第67页 |
| ·前景展望 | 第67-69页 |
| 致谢 | 第69-71页 |
| 参考文献 | 第71-76页 |
