臺灣博碩士論文加值系統

在這知識爆炸的時代裡，促使科技的日新月異，各類系統之結構與功能也日趨複
雜，在複雜的系統當中常又伴隨著許多模糊(Fuzzy)、不確定、非線性(Nonlinear)
及時變(Time variant)的事物或因素，使得分析受控系統上，已面臨到無法使用精
確的數學模型來完整描述複雜系統之組織與物性，因而造成了控制上的困難。故在現
今樣樣講求時效的時代環境下，工程師如何減少研發控制系統的時間，是個非常值得
重視及研究的問題。

因此，本研究中將會探討兩種不同的系統推演模式－模糊理論(Fuzzy theory)
及派翠網(Petri nets)，利用模糊理論的推論法則(Inference rules)使用在派翠
網的態變(Transitions)推論上，將此兩種推演理論作一重新的整合及詮釋，作為一
種可詮釋整個模糊控制系統(Fuzzy control system)推論情形的派翠網圖形表示模
型，並且研發出一套具備本研究之定義模型的交談式視窗界面軟體模擬分析工具，以建
立更有效能的系統推論軟體工具，並可藉由此工具驗證本定義模型的可行性及正確性，
提供給未來從事相關方面研究者重要的工具及參考文獻。

In this knowledge explosion era, while technology is advancing rapidly with each passing day, the structures and the functions of systems become more and more complicated. In addiction, the fuzzy, uncertain, nonlinear, and time variant events and factors occur in the complicated system; thus, we will face a problem in analyzing controlled system, for not being able to completely describe the complicated system’s organization and property by precise mathematic models. Therefore we have difficulties in system controlling. In this era, everything requires efficiency. It is a very worth attention and worth studying issue for programmers to reduce time for developing the controlled system.

In this research, I will discuss two different infereed systems: Fuzzy Theory and Petri Net. Fuzzy Theory’s inference rules will be applied in Petri Net’s transitions. These two inference theories will be integrated and interpreted so as to be a Petri Net graphic model which can interpret the whole fuzzy control system. Moreover, a set of software simulation analyzing tool, which embodies this research’s definition model, with dialogue windows interface, will be developed. In this way, we can build a more efficient system inference software tool. By this tool, we can prove correctness and practicability of this definition model in order to offer important tools and references to the future researchers in the related field.

中文摘要 i
ABSTRACT ii
誌 謝 iii
目 錄 iv
圖目錄 vii
表目錄 x
第一章 緒論 1
1.1 研究背景與動機 1
1.2 研究目的 2
1.3 研究步驟 4
1.4 研究預期成果 5
1.5 論文架構概述 6
第二章 相關理論及文獻探討 7
2.1 模糊理論的由來 7
2.2 模糊集合 9
2.2.1 模糊集合與明確集合的差別 9
2.2.2 模糊集合的表示方式 11
2.2.3 模糊集合的運算 11
2.2.4 模糊集合的歸屬函數 12
2.2.5 模糊數與擴張原理 13
2.2.6 模糊關係 16
2.3 模糊邏輯 18
2.3.1 語言變數 18
2.3.2 模糊命題與模糊蘊含式 20
2.3.3 模糊蘊含式的運算方法 21
2.4 模糊推論 22
2.4.1 模糊推論引擎 22
2.4.2 解模糊 24
2.5 派翠網由來 25
2.6 派翠網圖形結構 26
2.7 派翠網屬性 29
2.8 派翠網動態行為與分析方法 30
2.9 改良式派翠網 36
2.9.1 時間派翠網 36
2.9.2 彩色派翠網 36
2.10 模糊理論結合派翠網之相關文獻探討 39
第三章 模糊理論與派翠網之整合及模擬系統開發 44
3.1 模糊控制 44
3.1.1 模糊控制系統的基本架構 45
3.1.2 模糊控制系統的設計步驟 46
3.2 本論文提出的模糊理論結合派翠網之定義模型 49
3.3 模擬系統開發 55
3.3.1 模擬系統的開發工具 55
3.3.2 模擬系統整體的程式架構 55
3.3.3 各程式區塊運用的程式撰寫方式概略說明 56
第四章 模擬系統應用實例展示與驗證 71
4.1 模糊洗衣機控制系統的設計 71
4.2 模糊洗衣機控制系統的模糊派翠網模型架構 74
4.3 應用模擬系統繪製模糊派翠網模型的操作流程 77
4.4 模擬系統產生之推論演示說明及結果分析 90
第五章 結論與未來展望 99
5.1 結論 99
5.2 未來展望 100
參考文獻 101
附錄 105
A 路徑表儲存路徑的方法程式碼 105
B 判斷各變數態變上所連結的模糊集合位態之程式碼 107
C 判斷模糊集合所屬的歸屬函數型式副程式之程式碼 108
D set1sub1( )副程式 109
E PTAY( )副程式 111
F nRun( )副程式 112
G Timer1中三種位態至態變的演算及演示之程式碼 114
H Timer1中三種態變至位態的演算及演示之程式碼 117

[1]A. Konar, and A. M. Mandal, "Uncertainty management in expert systems using fuzzy Petri nets,"
IEEE Transaction on Knowledge and Data Engineering, 8, 1, 96-105, 1996.
[2]C. G. Looney, "Fuzzy Petri nets for rule-based decisionmaking,"
IEEE Transaction on Systems, Man, and Cybernetics, 18, 1, 178-183, 1988.
[3]D. Hrovat, "Optimal Active Suspension Structures for Quarter-car Vehicle Models,"
Automatica, 26, 5, 845-860, 1990.
[4]D. S. Yeung and E. C. C. Tsang, "A multilevel weighted fuzzy reasoning algorithm for expert systems,"
IEEE Transaction on Systems, Man, and Cybernetics-Part A: Systems and Humans, 28, 2, 149-158, 1998.
[5]E. H. Mamdani, "Application of fuzzy logic to approximate reasoning using linguistic systems,"
Fuzzy Sets and Systems, 26, 1182-1191, 1977.
[6]H. Scarpelli, F. Gomide, and R. Yager, "A reasoning algorithm for high level fuzzy Petri net,"
IEEE Transaction on Fuzzy Systems , 4, 3, 282-294, 1996.
[7]J. S. Wu, C. C. Liut, K. L. Liout, and R.F.Chd, "A Petri Net Algorithm for Scheduling of Generic Restoration Actions,"
IEEE Transactions on Power Systems, 12, 1, 69-76, 1997.
[8]Kurt Jensen, " Coloured Petri Nets：A High Level Language for System Design and Analysis,"
Lecture Notes in Computer Science, 483, 342-416, 1990.
[9]L. A. Zadeh, "Fuzzy sets,"
Information and Control, 8, 3, 338-353, 1965.
[10]L. A. Zadeh, "Outline of a new approach to the analysis of complex and systems and decision processes,"
IEEE Transaction on Systems, Man, and Cybernetics, 3, 1, 28-44, 1973.
[11]L. A. Zadeh, "The concept of a linguistic variable and its application to approximate reasoning I, II, III,"
Information Sciences, 8, 199-251, 301-357；9, 43-80, 1975.
[12]L. Ljung, " Systems Identification: Theory for the User,"
Prentice Hall, 1999.
[13]Masaharu Mizumoto, H. J. Zimmermann, "Comparison of fuzzy reasoning methods,"
Fuzzy Sets and Systems, 8, 3, 253-283, 1982.
[14]Miguel Felder, Angelo Gargantini, Angelo Morzenti, "A theory of implementation and refinement in timed Petri nets,"
Theoretical Computer Science, 202, 1-2, 127-161, 1998.
[15]P. M. Larsen, "Industrial applications of fuzzy logic control,"
International journal of man-machine studies, 12, 1, 3-10, 1980.
[16]Petri net Editor Web, http://www.cs.uct.ac.za/Research/DNA/DaNAMiCS/
[17]Q. G. Wang, and Y. Zhang, "Robust Identification of Continuous Systems with Dead-time from Step Responses,"
Automatica, 37, 3, 377-390, 2001.
[18]R. Johansson, "Systems Modeling and Identification,"
Prentice Hall, 1993.
[19]S. Hsieh, J.S. Hwang, and H. C. Chou, "A Petri-net based structure for AS/RS Operation modeling,"
International Journal of Production Research, 32, 12, 3323-3346, 1998.
[20]S. M. Chen, J. M. Ke, and J. F. Chang, "Knowledge representation using fuzzy Petri nets,"
IEEE Transaction on Knowledge and Data Engineering, 2, 3, 311-319, 1990.
[21]S.M.Chen, "Weighted Fuzzy Reasoning Using Weighted Fuzzy Petri Nets,"
IEEE Transaction on Knowledge and Data Engineering, 14, 2, 386-397, 2002.
[22]Satoru Fukami, Masaharu Mizumoto, Kokichi Tanaka, "Some considerations on fuzzy conditional inference,"
Fuzzy Sets and Systems, 4, 3, 243-273, 1980.
[23]Sheng-Ke Yu, "Comments on "Knowledge Representation Using Fuzzy Petri Nets,"
IEEE Transaction on Knowledge and Data Engineering, 7, 1, 190-192, 1995.
[24]Tadao Murata, "Petri Nets: Properties, Analysis and Applications,"
Proceedings of the IEEE, 77, 4, 541-583, 1989.
[25]Thomas O. Boucher, "Computer Automation in Manufacturing – An introduction,"
Chapman & Hall New York, 1996.
[26]Timothy J. Ross, "Fuzzy Logic with Engineering Applications,"
McGraw Hill, 2000.
[27]V. R. L. Shen, and F. Lai, "Requirements Specification and Analysis of Digital Systems Using Fuzzy and Marked Petri Nets,"
IEEE Transaction on Systems, Man, and Cybernetics, 28, 5, 748-754, 1998.
[28]W. Li-Xin, "A Course in Fuzzy Systems and Control,"
Prentice Hall, 1997.
[29]X. Li, W. Yu, and F. Lara-Rosano, "Dynamic Knowledge inference and learning under adaptive fuzzy Petri net framework,"
IEEE Transaction on Systems, Man, and Cybernetics-Part C: Applications and Reviews, 30, 4, 442-450, 2000.
[30]王文俊 編著，認識Fuzzy-第三版，
全華書局，民國92年。
[31]王振權，單向加熱系統之控制器設計，
國立臺灣科技大學機械工程研究所，碩士論文，民國94年。
[32]王進得，蕭大全 編著，類神經網路與模糊控制理論入門，
全華書局，民國92年。
[33]林則孟 編著，系統模擬理論與應用，
滄海書局，民國92年。
[34]林軒儀，彩色派屈網應用在大眾捷運供電系統主變壓器規劃與負載傳供之研究，
國立高雄應用科技大學電機工程研究所，碩士論文，民國93年
[35]孫宗瀛，楊英魁 編著，Fuzzy 控制：理論、時作與應用，
全華書局，民國94年。
[36]郭正欽，模糊派翠網路在主變壓器裝設時程規化之研究，
國立高雄應用科技大學機械工程研究所，碩士論文，民國93年。
[37]陳良佑，以模糊邏輯設計反流器輸出濾波器，
私立逢甲大學電機工程研究所，碩士論文，民國93年。
[38]陳品羚，單向加熱器溫度系統之適應控制，
國立臺灣科技大學機械工程研究所，碩士論文，民國92年。
[39]陳涵櫻，以Coloured Petri Net為基礎的低壓工業電路配線分析，
國立台灣師範大學資訊教育研究所，碩士論文，民國92年。
[40]楊英魁，孫宗瀛，鄭魁香，林建德，蔣絮堂 編著，模糊控制理論與技術，
全華書局，民國85年，初版。
[41]韓世翔，考量環境智慧之適性化行動學習平台，
私立中原大學資訊管理學系研究所，碩士論文，民國93年。
[42]顏義樺，以聯想法則概念網路為基礎之文章概念探索及相似性比對，
私立東海大學資訊工程與科學研究所，碩士論文，民國92年。