臺灣博碩士論文加值系統

近年來由於產業整體電子化之潮流，使結合電子商務與電子式製造之系統科技的突破與發展更顯重要。在當今產品生產多樣化之需求下，使用彈性製造系統(Flexible Manufacturing System, FMS)之生產技術，不但具有電子式控制之基礎，可因應產品規格之彈性，亦可提供系統運作之彈性，因而成為最能適應產業電子化之系統架構模式。此外，為了能夠爭取市場先機，生產系統必須能被快速地規劃及彈性地修改，使其製造系統具備全自動作業之能力。而使用模組(Module)方式建構此自動流程機構，不僅快速、易修改，模組更具有可重複使用之特性，故可免去重複設計所浪費的時間與成本，尚可減少操作上發生錯誤的機率。於是，以模組方式塑造流程自動化之生產機構成為本論文之研究目標。
本研究先使用IDEF0 (Integration DEFinition language)作為模組化分析之工具，以階段式功能為目標加以分析整體系統架構，再使用斐氏網(Petri Net)塑造各功能模組，藉由所建立之個別功能模組，組合形成整體之系統。而各功能模組間則透過資料庫的支援與連結，引導出整體系統之運作功能。實作部份則以建構彈性製造系統為例，預期於研究成果中將探討模組塑模方法，並評估整體系統之功能與效益。

The prevailing of electronic integration in the enterprises has demanded a robust base for the e-business and e-manufacturing systems. Advancement in the technologies that facilitate such integration has become an important issue in system development nowadays. In modern production systems, operations should be electronically adjustable to accommodate variations in production pattern and product style. Such criteria can be easily achieved by a well defined Flexible Manufacturing System (FMS). On the other hand, fast turnover in market demands also requires rapid modeling for an adjustable automatic workflow control mechanism. This research will implement a modulized approach to develop the workflow mechanism of an FMS, for the modules are simpler to build, easier to tune, cost effective and reusable, not to mention its control stability.
In the implementation stage, the Integration DEFinition language, or IDEF0, is used to analyze and construct the hierarchy of the FMS function. Each sub-function is regarded as a unique module that performs disintegrated task, and each module is then modeled by an equivalent Petri net simulate the operations. A database system is also built to support parameters in each module, so that the integrated modules will perform correctly. In the result, system evaluations on modeling method and performance will be conducted.

中文摘要 I
英文摘要 III
誌謝 IV
目錄 V
圖目錄 VIII
表目錄 XI
第一章 緒論 1
1.1 研究背景與動機 1
1.2 研究目的 2
1.3 研究範圍與限制 3
1.4 研究步驟與流程 4
1.5 論文架構 5
第二章 文獻探討 6
2.1 IDEF方法論 6
2.1.1 IDEF發展背景 6
2.1.2 IDEF0功能模型 8
2.1.3 IDEF的優點 12
2.1.4 IDEF的缺點 12
2.1.5 IDEF應用 12
2.2 斐氏網(Petri Net)方法論 14
2.2.1 斐氏網背景 14
2.2.2 斐氏網建構模組 14
2.2.3 斐氏網應用 17
2.3 應用IDEF與斐式網分析製造系統 18
2.4 文獻總結 19
第三章 研究方法 22
3.1 彈性製造系統 24
3.1.1 彈性製造系統架構 24
3.1.2 彈性製造系統資料流程 26
3.2 功能模組 27
3.2.1 功能模組概念 27
3.2.2 模組間溝通法則 28
3.3 IDEF0與斐氏網關連架構 30
3.3.1 IDEF0整合斐氏網概念 30
3.3.2 IDEF0與斐氏網之轉換原則 32
3.3.3 應用IDEF0與斐氏網模型於彈性製造系統 33
3.4 應用IDEF0分析FMS 34
3.4.1 IDEF0分解程序 34
3.4.2 FMS之IDEF0分析架構 35
3.5 模組式斐氏網 41
3.5.1 模組式斐氏網功能 41
3.5.2 模組式斐氏網模型建置 42
3.5.3 模組式斐氏網模型驗證 46
第四章 實作範例 52
4.1 工具簡介 52
4.1.1 PACE軟體簡介 52
4.1.2 Delphi軟體簡介 53
4.2 範例說明 55
4.2.1 範例之系統規劃 56
4.2.2 範例之PN模組建構 57
4.2.3 範例之系統執行與驗證 72
4.3 實驗設置 76
第五章 結論與建議 77
5.1 結論 77
5.2 未來研究與建議 78
參考文獻 80

英文文獻：
Beavers, A. N., Roadmap to the e-Factory, AUERBACH, (2001).

Chen, Y. M.,“Development of a computer-aided concurrent net shape product and process development environment,” Robotics and Computer Integrated Manufacturing, Vol.13, pp.337-360 (1997).

DiCesare, F., Harhalakis, G., Proth, J. M.,Silva, M. and Vernadat, F. B., Practice of Petri Nets in Manufacturing, Chapman & Hall, (1993).

ElMekkawy, T. Y. and Elmaraghy, H. A., “Real-time scheduling with deadlock avoidance in flexible manufacturing systems,” Int J Adv Manuf Technol, Vol.22, pp.259-270 (2003).

Feldmann, K. and Colombo, A. W., “Monitoring of flexible production systems using high-level Petri net specifications,” Control Engineering Practice, Vol.7, pp.1449-1466 (1999).

Groover, M. P., Automation, Production Systems, and Computer -Integrated Manufacturing, Prentice-Hall, (2001).

Http://www.idef.com, IDEF0 Method Report

Islam, A. U., “Derivation of Selection Criteria of CIM Database Using IDEF0,” Computers ind. Engng, Vol.33, pp.31-34 (1997).

Jeong, K. Y., “Conceptual frame for development of optimized simulation-based scheduling systems,” Expert Systems with Applications, Vol.18, pp.299-306 (2000).

Peterson, J. L., Petri Nets Theory and the Modeling of System, Prentice Hall Inc, (1981).

Reyes, A., Yu, H., Kelleher, G. and Lloyd, S., ”Integrating Petri Nets and hybrid heuristic search for the scheduling of FMS,” Computers in Industry, Vol.47, pp.123-138 (2001).

Santarek, K. and Buseif, I. M., “Modelling and design of flexible manufacturing systems using SADT and Petri nets tools,” Journal of Materials Processing Technology, Vol.76, pp.212-218 (1998).

Wang, L. “Integrated design-to-control approach for holonic manufacturing systems,” Robotics and Computer Integrated Manufacturing, Vol.17, pp.159-167 (2001).

Wang, L. C. and Wu, S. Y., “Modeling with colored timed object-oriented petri nets for automated manufacturing systems,” Computers ind. Engng, Vol.34, pp. 463-480 (1998).

Zaytoon, J., “hierarchical analysis of manufacturing systems using petri nets,” Robotics and Computer Integrated Manufacturing, Vol.12, pp.353-366 (1996).

Zha, X. F., “An object-oriented knowledge based Petri net approach to intelligent integration of design and assembly planning,” Artificial Intelligence in Engineering, Vol.14, pp.83-112 (2000).

Zhou, M. C., “Petri net Synthesis and Analysis of a Flexible Manufacturing System Cell,” IEEE Transactions on systems. Man, and Cybernetics, Vol.23, pp523-531 (1993).

Zuberek, W. M. and Kubiak, W., ”Timed Petri Nets in Modeling and Analysis of Simple Schedules for Manufacturing Cells,” Computers and Mathematics with Applications, Vol.37, pp.191-206 (1999).


中文文獻：
工業機械雜誌84年七月

張景文，「以IDEF及Petri Nets建構同步設計流程控制模式」，碩士論文，朝陽科技大學工業工程與管理所，民國89年。

李海崧，「IDEF0整合分析模式應用於營造業品管之初步研究：以檢驗、量測與試驗設備管制程序為驗證範例」，碩士論文，中華大學建築與都市計畫學系，民國90。

林智偉，「使用派翠網路為基礎塑模與分析工作流程」，碩士論文，台灣科技大學電子工程所，民國90年。

馬士凱，「以代理人為基礎之彈性製造系統搬運設備協調機制之探討」，台北科技大學生產系統工程與管理研究所，碩士論文，民國91年。

廖一青，「產品協同設計模式之研究」，台北科技大學商業自動化與管理研究所，碩士論文，民國91年。

鄭博仁，「彈性製造系統之無鎖死排程研究」，碩士論文，朝陽科技大學工業工程與管理所，民國91年。

林建佑，「集體規劃之管理決策模式建立：應用系統動態法」，大葉大學工業工程所，碩士論文，民國92年。