完整後設資料紀錄
DC 欄位語言
dc.contributor.author李承勳en_US
dc.contributor.authorLee, Cherng-Shiunen_US
dc.contributor.author梁高榮en_US
dc.contributor.authorLiang, Gau-Rongen_US
dc.date.accessioned2014-12-12T02:19:19Z-
dc.date.available2014-12-12T02:19:19Z-
dc.date.issued1997en_US
dc.identifier.urihttp://140.113.39.130/cdrfb3/record/nctu/#NT863031031en_US
dc.identifier.urihttp://hdl.handle.net/11536/63332-
dc.description.abstract裴氏國及互通系統計算法可作為設計現場偵察員與維修員的數學工具。在裴氏國方法中,其法則矩陣可以利用擬陣理論轉換為標準表達矩陣,並求出適當的暫存點不變量以作為偵察員的設計基礎。而此種暫存點不變量的觀念,也可以同樣地應用在維修員的設計上。在互通系統計算方法中,則經由軟體Lite中的兩個模組LOTOS與SMILE來達成設計。本論文利用位於國立交通大學工業工程與管理學系現場監控實驗室的自動化灌模製造系統來實證這兩種偵察員的設計方法。zh_TW
dc.description.abstractPetri net and calculus of communicating systems (CCS) are proposed as mathematical tools for designing monitors and troubleshooters on shop floor. For the Petri net aproach, its rule matrix is transformed into a standard representative matrix in matroid theory. Then proper place invariants are generated as rules for designing monitors. Similarly the concept of place invariants is applied for designing troubleshooters. For the CCS approach, the design process is achieved through two software modules in Lite: LOTOS and SMILE. Both approaches have been applied to implementing monitors and troubleshooters for a mold-filling system at our laboratory.en_US
dc.language.isozh_TWen_US
dc.subject裴氏圖zh_TW
dc.subject互通系統計算法zh_TW
dc.subject偵察員zh_TW
dc.subject維修員zh_TW
dc.subject擬陣理論zh_TW
dc.subjectPetri Neten_US
dc.subjectCalculus of Communicating Systemsen_US
dc.subjectMonitorsen_US
dc.subjectTroubleshootersen_US
dc.subjectMatroid Theoryen_US
dc.title偵察員維修員的設計與實作:裴氏圖及互通系統計算法解法zh_TW
dc.titleDesign and Implementation of Monitors and Troubleshooters: Petri Net and Calculus of Communicating Systems Approachesen_US
dc.typeThesisen_US
dc.contributor.department工業工程與管理學系zh_TW
顯示於類別:畢業論文