跳到主要內容

臺灣博碩士論文加值系統

(34.226.244.254) 您好!臺灣時間:2021/08/01 03:16
字體大小: 字級放大   字級縮小   預設字形  
回查詢結果 :::

詳目顯示

: 
twitterline
研究生:廖崧富
研究生(外文):Sung-fu Liao
論文名稱:整合IDEF/CTPN/SFC於間斷事件控制系統PLC分析與設計之研究
論文名稱(外文):An Integrated IDEF/CTPN/SFC Approach to Analysis and Design of Discrete Event Control Systems
指導教授:呂明山呂明山引用關係
指導教授(外文):Ming-shan Lu
學位類別:碩士
校院名稱:國立雲林科技大學
系所名稱:工業工程與管理研究所碩士班
學門:工程學門
學類:工業工程學類
論文種類:學術論文
論文出版年:2004
畢業學年度:92
語文別:中文
論文頁數:100
中文關鍵詞:彩色時間派翠網IDEF順序功能圖可程式邏輯控制器系統分析與設計
外文關鍵詞:Colored Timed Petri NetsIDEFSequence Function ChartSystem Analysis and designProgrammable Logic Controller
相關次數:
  • 被引用被引用:5
  • 點閱點閱:466
  • 評分評分:
  • 下載下載:126
  • 收藏至我的研究室書目清單書目收藏:2
隨著自動化製造系統的複雜化,如何縮短間斷事件控制系統的開發時間並正確地達成控制的目標,有賴一套有效率的系統分析與設計的方法與工具。本研究提出一套整合IDEF/CTPN/SFC之系統分析與設計的方法來開發間斷事件控制系統。運用IDEF結構化、階層化之分析工具來做系統的功能及流程分析,並以IDEF/CTPN之轉換規則做CTPN的轉換,接著再以CTPN/SFC之轉換規則做SFC的轉換。經由IDEF/CTPN轉換後的派翠網比直接用派翠網的設計方法更具有系統化及結構化。同時經由派翠網的動態分析特性可以了解系統的活性。用CTPN直接轉成SFC,此SFC可直接用於間斷事件控制器PLC的設計。本研究所提出之IDEF/CTPN/SFC三階段系統分析與設計的方法,可以使PLC控制器的開發具有系統性,並可減少錯誤。另外本研究所提出之兩階段轉換規則,可以縮短工具之間的轉換,進而達到縮短開發時間的目的。
As automated manufacturing system become more complex, how to save the time for developing a control system and achieve the control objective depend on an effective system analysis and design method and tool. In this research an integrated IDEF/CTPN/SFC approach is proposed to develop a discrete event control system. The proposed approach includes three stages. First, IDEF is used for the functional and activity flow description of system due to its structural and hierarchical features. Secondarily, IDEF/ is converted into CTPN for dynamic behavior analysis. Finally, CTPN is converted into SFC for PLC language design. The Petri net model converted from IDEF is more systematic and structural than that directly obtained from system description. The proposed these stage methodologies and the conversions between IDEF/CTPN and CTPN/SFC provide a complete method and tool for designing discrete event control system. In addition, it can reduce errors and save the time for developing the control system.
博碩士論文授權書 i
博碩士論文電子檔授權書 ii
口試審定書 iii
摘要 v
ABSTRACT vi
誌謝 vii
目錄 viii
表目錄 x
圖目錄 xi
第一章 緒論 1
1.1 研究背景與動機 1
1.2 研究目的 1
1.3 研究架構與流程 3
第二章 相關文獻探討 6
2.1 IDEF家族簡介 6
2.1.1 IDEF0功能模型(Function Modeling) 7
2.1.2 IDEF3流程描述(Process Description Capture) 10
2.1.3 IDEF0-3模式之探討 13
2.2 派翠網 14
2.3 高階派翠網 18
2.3.1 彩色派翠網 18
2.3.2 時間派翠網 19
2.3.3 彩色時間派翠網 20
2.4 順序功能圖 20
2.5 IDEF分析技術用於製造系統之相關研究 22
2.6 派翠網運用於製造系統之相關研究 23
2.7 順序功能圖與派翠網之對應關係 24
2.8 PLC控制器與派翠網轉換規則 26
第三章 研究方法 28
3.1 轉換方法 29
3.1.1 IDEF0-3與彩色時間派翠網之轉換規則 29
3.1.2 彩色時間派翠網與順序功能圖之轉換規則 35
3.2 資源物件Petri net之建構 41
3.3 派翠網的驗證 42
第四章 實例驗證 44
4.1 大小球分類機 44
4.1.1 系統之功能分析 45
4.1.2 系統之流程分析 47
4.1.3 IDEF0-3轉換成CTPN 49
4.1.4 CTPN轉換成SFC 62
4.2 組裝系統 65
4.2.1 系統功能分析 66
4.2.2 系統之流程分析 67
4.2.3 IDEF0-3轉換為CTPN 70
4.2.4 CTPN轉換成SFC 87
4.2.5 系統的監控畫面 91
第五章 結論與建議 93
5.1 結論 93
5.2 建議 94
參考文獻 95
作者簡歷 100
[1] 吳添財, 2002, 以裴氏網路建構彈性製造系統之動態模擬與線上診斷系統之研究, 國立高雄第一科技大學,碩士論文
[2] 洪信銘, 1991, 利用IDEF/CPN/G2設計方法實作即時型現場監控系統, 國立交通大學工業工程研究所,碩士論文
[3] 張進群, 1995, “IDEF家族的系統規劃方法介紹”, 機械工業雜誌, 頁145-151, 84年7月號
[4] 蔡政龍, 1994, IDEF3流程描述與斐氏圖模式轉換之探討, 國立交通大學工業工程研究所,碩士論文
[5] 廖元順, 2000, 遠距程序診斷及控制平台之建立, 國立臺北科技大學機電整合研究所,碩士論文
[6] Bravoco, R.R. and Yadav, S.B., 1985, “A Methodology to Model the Information Structure of an Organization”, Computer in Industry, Vol.5, pp. 59-71
[7] Cho, H. and Lee, I., 1999, “Integrated framework of IDEF modeling methods for structured design of shop floor control systems”, International Journal of Computer Integrated Manufacturing, Vol.12, pp.113-128
[8] Coffman, E.G., Elphick, M.J., and Shoshani, A., 1971, “System deadlocks”, ACM Computing Surveys, Vol.3, No.2, pp. 67-78
[9] Coquhoun, G.J.; Baines, R.W., and Grossley, R., 1996, “A composite behavioural modelling approach for manufacturing enterprise”, The International Journal of Computer Integrated Manufacturing, Vol.9, No.6, pp. 463-475
[10] David, R. and Alla, H., 1992, Petri nets and Grafcet, Prentice Hall
[11] Frey, G., 2000, “Automatic Implementation of Petri Net based Control Algorithms on PLC”, Proceedings of the American Control Conference, pp.2819-2823
[12] Fujino, K.; Imafuku, K.; Yamashita, Y. and Nishitani H., 2000, “Design and verification of the SFC program for Sequential Control”, Computers and Chemical Engineering, Vol.24, pp. 303-308
[13] Jensen, K., 1992, Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, Springer-Verlag Berlin Heidelberg
[14] Jiang, Z.; Fung, R. Y. K.; Zuo, M. J. and Tu, P. Y. L., 2000, “An extension to Timed Colored Petri Nets (TCPNs) for modeling Manufacturing Systems with limited resources availability”, Proceedings of the 3rd World Congress on Intelligent Control and Automation, pp. 2336-2340
[15] Kuo, C. H. and Huang, H. P., 2000, “Failure Modeling and Process Monitoring for Flexible Manufacturing Systems Using Colred Timed Petri Nets”, IEEE Transactions on Robots and Automation, Vol.16, No.3, pp.301-311
[16] Jones, A. H.; Uzam, M. and Ajlouni N., 1996, “Design of Discrete Event Control Systems for Programmable Logic Controllers Using T-Timed Petri Nets”, Proceedings of the 1996 IEEE International Symposium on Computer-Aided Control System Design, pp.212-217
[17] Kurapati, V.; Zhou, M. C. and Caudill, R., 1995, ”Design of Sequence Controllers using Petri net models”, Systems, Man and Cybernetics, 1995 IEEE International Conference, Vol.4, pp. 3469-3474
[18] Lee, J. S. and Hsu, P. L., 2000, “A PLC-based Design for the Sequence Controller in Discrete Event Systems”, Proceedings of the 2000 IEEE International Conference on Control Applications, pp.929-934
[19] Liang, G.R. and Hong, H.M., 1994, “Hierachy transformation method for repetitive manufacturing system specification, design, verification and implementation”, Computer Integrated Manufacturing Systems, Vol.7, No.3, pp. 191-205
[20] Lin, J. T. and Lee, C. C., 1995, “A CTPN-Based Scheduler For A Flexible Manufacturing Cell”, Journal of the Chinese Institute of Engineers, Vol.18, No.5, pp. 655-672
[21] Mayer, R.J.; Painter, M.K., and deWitte, P.S., 1994, IDEF Family of Methods for Concurrent Engineering and Business Re-engineering Application, Knowledge Based Sytem, Inc.
[22] Mikolajczak, B. and Ottlik, A., 2000, “Specification of distributed systems with actors using object-oriented Petri nets”, Systems, Man, and Cybernetics, 2000 IEEE International Conference, Vol.4, pp.3134-3140
[23] Miyazawa, I.; Tanaka, H. and Sekiguchi, T., 1997, “Verification of the behavior of sequential function chart based on its Petri net model”, Emerging Technologies and Factory Automation Proceedings, 1997 6th IEEE International Conference, pp. 532-537
[24] Murata, T., 1989, “Petri nets: Properties, Analysis and Applications”, Proceedings of the IEEE, Vol77, pp. 541-580
[25] Ramchandani, C., 1974, Analysis of Asynchronous Concurrent Systems By Timed Petri Nets, Phd Dissertation, MIT
[26] Santarek, K. and Buseif, I.M., 1998, “Modelling and design of flexible manufacturing systems using SADT and Petri nets tools”, Journal of Material Processing Technology, Vol.76, pp.212-218
[27] Uzam, M. and Jones, A.H., 1998, “Discrete Event Control System Design Using Automation Petri Nets and their Ladder Diagram Implementation”, The International Journal of Advanced Manufacturing Technology, Vol.14, No.10, pp.716-728
[28] Uzam, M.; Jones, A. H. and Ajlouni, N., 1996, “Conversion of Petri Net Controllers for Manufacturing Systems into Ladder Logic Diagrams”, Emerging Technologies and Factory Automation, 1996. EFTA ''96. Proceedings., 1996 IEEE Conference, Vol.2, pp.649-655
[29] Venkatesh, K. and Ilyas, M., 1995, Real-Time Petri nets for modeling, controlling, and simulation of local area networks in flexible manufacturing system, Elsevier Science Ltd. Printed in Great Britain, Computers Ind. Engng, Vol.28, No.1, pp.147-162
[30] Venkatesh, K.; Zhou, M. C. and Caudill, R. J., 1994, “Comparing Ladder Logic Diagrams and Petri Nets for Sequence Controller Design Through a Discrete Manufacturing Sytem”, IEEE Transactions on Industrial Electronics, Vol.41, No.6
[31] Wang, L. H. and Wu, S. Y., 1998, “Modeling with Colored Timed Object-oriented Petri Nets for Automated Manufacturing Systems”, Computers Industrial Engineering, Vol.34, No.2
[32] Wegrzyn, A. and Wegrzyn, M., 2000, “Petri net-based specification, analysis and synthesis of logic controllers”, Industrial Electronics, ISIE 2000. Proceedings of the 2000 IEEE International Symposium, Vol.1, pp20-26
[33] Zhou, M. C.; Dicesare, F. and Rudolph, D. L., 1992, Design and implementation of a Petri net based supervisor for a flexible manufacturing system, Asutomatica, 28, pp.1199-1208
QRCODE
 
 
 
 
 
                                                                                                                                                                                                                                                                                                                                                                                                               
第一頁 上一頁 下一頁 最後一頁 top