完整後設資料紀錄
DC 欄位 | 值 | 語言 |
---|---|---|
dc.contributor.author | 賴宏峰 | en_US |
dc.contributor.author | LAI, HONG-FENG | en_US |
dc.contributor.author | 梁高榮 | en_US |
dc.contributor.author | LIANG, GAO-RONG | en_US |
dc.date.accessioned | 2014-12-12T02:05:18Z | - |
dc.date.available | 2014-12-12T02:05:18Z | - |
dc.date.issued | 1988 | en_US |
dc.identifier.uri | http://140.113.39.130/cdrfb3/record/nctu/#NT772030004 | en_US |
dc.identifier.uri | http://hdl.handle.net/11536/53610 | - |
dc.description.abstract | 本文探討宣告型製造系統(Declarative Manufacturing System)的分析與實作。所 謂宣告型製造系統是由函數型製造系統(Functional Manufacturing Systum )和關 係型製造統(Relational Manufacturing System )所組成。依照組成結構物理性質 的差異,共可分為三型:第一型宣告型製造系統以函數型製造系統為型上系統(Met- a System),關係型製造系統為型式系統(Formal System )。第二型宣告型製造系 統則在關係型製系統內鑲入函數型功能。第三型宣告型製造系統為混合型,具備第一 型與第二型宣告型製造系統的特性。本文則討論第一型宣告型製造系統,於分析部分 將探討述語邏輯(predicate logic )、浪搭計算(lambda calculus )和整合兩者 的理由。宣告型製造系統實作部分,將架構一個工作站控列系統,此工作站由庫床工 具機,五軸機器人和自動導引所組作、其中車床工具機和自動導引車屬於關係型製造 系統,機器人屬於函數型製造系統,經由實作可印證應用宣告型製造系統的理論於實 際製造系統的可行性。 | zh_TW |
dc.language.iso | zh_TW | en_US |
dc.subject | 宣告型製造系統 | zh_TW |
dc.subject | 關係型製造系統 | zh_TW |
dc.subject | 函數型製造系統 | zh_TW |
dc.subject | 型上系統 | zh_TW |
dc.subject | 型式系統 | zh_TW |
dc.subject | 述語邏輯 | zh_TW |
dc.subject | 浪搭計算 | zh_TW |
dc.subject | DMS | en_US |
dc.subject | RMS | en_US |
dc.subject | FMS | en_US |
dc.subject | META-SYSTEM | en_US |
dc.subject | FORMAL-SYSTEM | en_US |
dc.subject | PREDICATE-LOGIC | en_US |
dc.subject | LAMBDA-CALCULUS | en_US |
dc.title | 宣告型製造系統的分析與實作 | zh_TW |
dc.type | Thesis | en_US |
dc.contributor.department | 工業工程與管理學系 | zh_TW |
顯示於類別: | 畢業論文 |