製程計劃的邏輯解法

Abstract

鑑於現行製程規劃的方法中，無論是以人力或是電腦輔助（Computer Aided）方式； 而以電腦輔助方式中，無論是修正式（Variant Approach）或是創新式（Generativ- e Approach），均缺乏對與製程規劃有關之數學的探討。因此本研究乃是從數學上數 理邏輯（Mathematical Logic）的角度做出發點，應用已提出的”一階表面產生架構 ”（First order Surface-generating Theory:FOST）”來代表一台工具機，而以代 表多部工具機的”一階表面產生架構群”（Group of Surface-generation Theories :GOST ）做為製程規劃工作的數學模式。為了分析其解集合之固定點（Fixpoints ） ，文中還列舉了IF（Independent FOSTs ）及CF（Combined FOSTs）其他兩種製程規 劃的數學模式與之比較；以說明將GOST做為製程規劃工作數學模式的適切性。此外； 以GOST做製程規劃還具有下列兩項特性；第一，能產生特定工件規格之所有可行之製 程計劃的完全性（Completeness）。第二，是以個別工具機自行推理而產生製程計劃 的自主式製程計劃產生法（Bottom-up Process Plans Generation）。最後本文在A- UN３╱２６０上之Quintus Prolog以Edinburgh 語法來表示由三台鑽床工具機所組成 之工具機群，以不同之工件規格實際進行製程規劃工作，並將所得之結果與數學分析 相互驗證。