利用代數轉換法改進合板制造加工程序

Abstract

本論文系利用函數型制造系統(Functional Manufactruing Systems)的理論和函數式 語言中的代數法則(Algebraic Laws)，來改進合板的制造和加工程序。函數型制造系 統以浪搭計算(Lambda Calculus) 做為數學基礎，用來分析官僚式控制模式(Hierar- chical Control Model) 之工廠；代數法則的觀念首見於Bakus 於1977年提出之FP系 統。在利用代數法則進行改善前，首先介紹函數型制造系統的浪搭計算原理和優良性 質，并說明合板制造和加工為一函數型制造系統；其次是利用函數式語言FP實作一函 數型制造系統，以便使工作命令與浪搭計算的觀念結合；然后介紹FP中的代數法則， 并證明其正確性；接下來介紹利用代數法則對一合板制造加工工廠做轉換的程序，并 得到改善此工廠的可行性方案，以提高生產力。