透過您的圖書館登入
IP:18.223.106.232
  • 學位論文

用法則轉換法從歐氏記號圖產生階梯圖

Rule-Based Transformation Method for Generating Ladder Diagrams from Eulerian Marked Graphs

指導教授 : 梁高榮

摘要


對於自動化製造系統的互動行為來說,歐氏記號圖是常見的圖形化分析工具。相對地,階梯圖是用來控制自動化製造系統的圖形化實作工具。在本論文中,發展出了三條圖形化轉換法則,將歐氏記號圖轉換到階梯圖。為了要讓轉換過程自動化,三條法則會在物件層進行實作。更進一步地來說,由於兩種圖形化工具都可以透過唯一的可加註語言與物件來表達。故圖形化轉換法則可用在轉換歐氏記號圖物件到階梯圖物件的流程。換言之,此圖形化轉換順序流程分為六個階段:歐氏記號圖、歐氏記號圖文件、歐氏記號圖物件、階梯圖物件、階梯圖文件與階梯圖。在這六個階段的基礎上,本論文實作出自動化圖形轉換系統,來自動產生階梯圖。

並列摘要


Eulerian Marked Graph (EMG) is a graphic design tool for analyzing the interactive behavior of an Automated Manufacturing System (AMS). In contrast, Ladder Diagram (LD) is a graphic implementation tool for controlling an AMS. In this thesis, three graph transformation rules are proposed to transform EMGs into LDs. For automating the graph transformation process, three rules are implemented at the object level. Moreover, since both graphic tools can be uniquely represented through extensible markup language documents and objects, three graph transformation rules are used to transform EMG objects into LD objects. In other words, this sequential graph transformation process consists of six stages: EMG, EMG document, EMG objects, LD objects, LD document, and LD. Based on those transformation stages, an automated graph transformation system has been implemented for generating ladder diagrams.

參考文獻


[9] 黃柏勳,「建立自動化製造系統的開放資料伺服器連接架構」,國立交通大學工業工程與管理研究所碩士論文,2010。
[11] 鄭仲元,「記號圖到階梯圖的自動物件轉換」,國立交通大學工業工程與管理研究所碩士論文,2011。
[14] David, R and Alla, “Petri Nets & Grafcet: Tools for Modeling Discrete Event Systems,” Prentice Hall, 1992.
Feb. 20, 2012.
[35] Jones, A. H., Uzam, M., and Ajlouni, N., “Design of Discrete Event Control System for Programmable Logic Controllers Using T-timed Petri Nets,” IEEE Int. Symp. Computer-Aided Control System Design, Sep. 15-18, 1996.

延伸閱讀