可编程图形环境下自动制造系统分析与控制

发布时间：2018-01-28 16:57

本文关键词： Petri网自动制造系统动态驱动可视化死锁控制策略　出处：《西安电子科技大学》2011年硕士论文　论文类型：学位论文

【摘要】：Petri网是自动制造系统建模与分析的有效工具。在自动制造系统建模与分析的初始阶段,利用计算机仿真技术分析系统各项性能指标是有效且可靠的方法。本文依据成熟的Petri网模型并结合计算机图形学中图形动画的基础理论知识,结合.NET框架下的C#编程语言和Managed DirectX图形应用程序接口,对自动制造系统及其基于Petri网的一种控制策略在可编程图形环境下进行仿真。本文的主要内容:介绍了Petri网和自动制造系统的基础知识以及三维实时渲染技术;采用Petri网对自动制造系统模型动态驱动的可视化仿真思想,分别给出了自动制造系统演化及其Petri网模型死锁控制策略之一的可视化仿真方法;通过实例分析验证了设计思想和仿真方法的可行性。本文实现了以Petri网的状态变化驱动自动制造系统模型的实时演化,并实现了死锁控制策略的可视化,将抽象的Petri网状态演化和死锁控制策略表现得更为直观、易懂。
[Abstract]:Petri net is an effective tool for modeling and analysis of automatic manufacturing system. It is an effective and reliable method to use computer simulation technology to analyze the performance of the system. Based on the mature Petri net model and the basic theoretical knowledge of graphics animation in computer graphics. Combines the C # programming language under the .NET Framework with the Managed DirectX graphical application interface. The automatic manufacturing system and a control strategy based on Petri net are simulated in programmable graphics environment. The main contents of this paper are as follows: the basic knowledge of Petri net and automatic manufacturing system and the technology of 3D real-time rendering are introduced. Based on the idea of dynamic driving of automatic manufacturing system model based on Petri net, the visual simulation method of automatic manufacturing system evolution and one of the deadlock control strategies of Petri net model are presented. The feasibility of the design idea and simulation method is verified by an example. In this paper, the real-time evolution of automatic manufacturing system model driven by state change of Petri net is realized, and the visualization of deadlock control strategy is realized. Abstract Petri net state evolution and deadlock control strategy are more intuitive and easy to understand.
【学位授予单位】：西安电子科技大学
【学位级别】：硕士
【学位授予年份】：2011
【分类号】：TP301.1;TH166

【引证文献】