Petri网自动制造系统动态驱动可视化死锁控制策略硕士论文.docVIP

可编程图形环境下自动制造系统分析与控制?s of the system. By virtue of the available technologies such as Petri net, graphic animation in computer graphics, .NET Framework included C# programming language and graphics application program interface of Managed DirectX, this thesis conducts simulations of ... 摘要 3-4 Abstract 4 第一章 绪论 7-13 1.1 研究背景与意义 7-12 1.1.1 Petri网和自动化制造系统的Petri网模型 7-10 1.1.2 Petri网驱动FMS模型演化的研究现状 10-11 1.1.3 死锁及其控制方法 11-12 1.2 本文完成的主要工作 12-13 第二章 Petri网基本理论 13-23 2.1 基本定义 13-15 2.2 结构不变式 15 2.3 信标与陷阱 15-16 2.4 可达图 16-19 2.5 基本信标 19-20 2.6 S~3PR网 20-21 2.7 小结 21-23 第三章 Managed DirectX三维实时渲染技术 23-39 3.1 DirectX和Managed DirectX介绍 23-24 3.2 3D图形学基础 24-31 3.2.1 3D坐标系统和坐标 24-25 3.2.2 矩阵 25-27 3.2.3 仿射矩阵 27-28 3.2.4 3D变换矩阵 28-31 3.3 Direct 3D虚拟图形卡 31-33 3.4 Direct 3D图形原理 33-37 3.4.1 世界、观察和投影矩阵 34-35 3.4.2 Mesh类 35-37 3.5 小结 37-39 第四章 以Petri网作为后台驱动的FMS模型演化设计 39-57 4.1 基本思想 39-43 4.2 与Petri网对应的FMS模型设计 43-44 4.2.1 FMS模型的设计步骤 43-44 4.2.2 闲置库所和资源库所对应的3D模型 44 4.3 以Petri网作为后台驱动的FMS虚拟模型演化设计 44-54 4.3.1 问题分析 45-46 4.3.2 FMS_Modle.cs类介绍 46-52 4.3.3 Petri.cs类介绍 52-53 4.3.4 Program.cs类介绍 53-54 4.4 小结 54-57 第五章 Petri网死锁控制策略的可视化 57-63 5.1 图形图像基本知识 57-58 5.2 Petri网基本状态演化可视化 58-61 5.3 Petri网死锁控制策略可视化 61-62 5.3.1 基于信标的死锁控制策略 61-62 5.3.2 控制器的加载和可视化 62 5.4 小结 62-63 第六章 实例分析 63-75 6.1 单顺序进程 63-65 6.2 多顺序进程 65-74 6.3 小结 74-75 第七章 总结与展望 75-77 7.1 论文总结 75-76 7.2 研究展望 76-77 致谢 77-79 参考文献