以波恩樹分析函數型製造系統

Abstract

本論文係利用波恩樹理論來分析函數型製造系統（Functional Manufacturing Syst- ems ）的性質。所謂的函數型製造系統是智慧型製造系統理論之一種，它以浪搭計算 （Lambda Calculus ）做為數學基礎，用來分析官僚式控制模式（Hierarchical Co- ntrol Model ）之工廠，而官僚式控制模式則是美國國標準局（NBS ，National Bu- reau of Standards ）在１９８１年起所進行的自動製造示範工廠（AMRF,Automated Manufacturing Research Facility ）之原理。在進行分析前，首先是介紹函數型製 造系統的浪搭計算原理；其次是用函數式語言FP實作，以便使工作命令與浪搭計算的 觀念能結合在一起。然後開始引入波恩樹，主要有波恩樹之定義，Scott 拓撲， － reduction 及Bohm out技術。接下來是分析工作命令在波恩樹上的性質，這是因為在 此之前的命令，其浪搭計算的運算是屬於代數性質，若使用波恩樹分析工作命令，將 會得到拓撲性質，如連績（Continuous），孤立點（Isolated point），緻密（Den- se），可分離性（Separable ）等。最後將這些性質歸納成兩方面，第一是數學性質 ，這是指工作命令在浪搭計算與拓樸間之變換關係；第二是物理意義，這是將所得到 拓樸性質，用來解釋函數型製造系統實際意義，分成單一，兩個及多個工作命令三項 來討論。因此波恩樹理論的引入，將促使函數型製造系統的理論更趨於完善。