完整後設資料紀錄
DC 欄位語言
dc.contributor.author簡久芳en_US
dc.contributor.authorJIAN, JIU-FENGen_US
dc.contributor.author劉復華en_US
dc.contributor.authorLIU, FU-HUAen_US
dc.date.accessioned2014-12-12T02:08:57Z-
dc.date.available2014-12-12T02:08:57Z-
dc.date.issued1991en_US
dc.identifier.urihttp://140.113.39.130/cdrfb3/record/nctu/#NT802030014en_US
dc.identifier.urihttp://hdl.handle.net/11536/55671-
dc.description.abstract本研究以可用來建立同步系統模型的圖形化具-裴氏圖(Petri net,PN)及彩色裴氏圖 (Colored Petri net) 為理論基礎,針對自動倉庫系統(Automated Storage/ Retrieval Systems, AS/RS) 中轉運機系統(Robot-train System)進行模型的建立與 驗證。首先,針對一簡化的轉運機系統建立裴氏圖模型,以了解裴氏圖的操作原理, 接著針對一般儘勵轉運機系統建立彩色裴氏圖模型。根據裴氏圖理論所提供的穩態- 不變量(Placeinvariant)分析的方法,由模型中穩態(Place) 與激態(Transition)間 的輸出入關系所形成的投射矩陣(Incident matrix) ,求出系統的不變量。經由不變 量的分析,證明轉運機系統之裴氏圖及彩色裴氏圖模型具有守恆性(Conservation)、 有限性(Boundedness) ,及活性(Liveness)。並以電腦程式語言描述轉運機系統之彩 色裴氏圖模型,提供工廠中轉運機即時控制系統軟體開發的參考。zh_TW
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.title應用裴氏圖於直線型轉運機系統之模型建立與驗證zh_TW
dc.titleApplication of petri net to the modelling and validation of a robot-train systemen_US
dc.typeThesisen_US
dc.contributor.department工業工程與管理學系zh_TW
顯示於類別:畢業論文