從數理邏輯觀點設計彈性製造系統排程控制器

Abstract

本論文是研究如何從數理邏輯觀點分析彈性製造系統排程控制器的設計；實作上，是 配合活動掃瞄模擬（Activity-scanning Simulation）的方法，以PROLOG設計一套彈 性製造系統排程控制器。 從數理邏輯的觀點設計彈性製造系統排程控制器，其公設聯立子句（System of Sim- ultaneous Clauses,SOSC）可分為：假設（Hypotheses）、公設集（Axioms）及猜測 （Conjecture）三部分ｏ假設是批待排程加工的工件；公設集是刀具、夾具、製程公 設及彈性製造系統設備公設；猜測是排程控制器使用者選擇的某一排程法則。其中， 推理法則是採用遞推原理。 在某一排程公設聯立子句下，不同批量的工件，會有不同的排程結果，無法逐一討論 ，最好的解決方式就是討論聯立子的數量邏輯性質，尋找一組標準解（Hernrand Mo- del ）。排程特殊解是由標準解轉換而得，此標準解就是數理邏輯的固定點（Fixpo- int ）。PROLOG及彈性製造系統排程控制器因數理邏輯固定點理論的支持，可以保證 ，程式整合時彼此不矛盾，並具完全性（Completeness）及可靠性（Soundness ）。 本研究彈性製造系統排程控制器在架構上分為四個模組：一輸入模組、二排程法則知 識庫模組、三模擬模組、四輸出模組。操作上，使用者於輸入模組輸入工件訂單與工 廠資源資料，在排程法則知識庫模組選擇一排程法則，供模擬模組以活動掃瞄法模擬 ，於輸出模組輸出排程結果。控制器的操作是以滑鼠進行。