Witness建模與仿真實(shí)例

《Witness建模與仿真實(shí)例》由會員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在教育資源-天天文庫。

1、實(shí)例4：裝卸服務(wù)中心人員調(diào)度仿真系統(tǒng)哲學(xué)家用餐問題五位哲學(xué)家均勻地圍坐在一張圓桌周圍，他們一邊討論一邊用餐。每人前面有一盤佳肴，每個盤子之間有一把叉子。每位哲學(xué)家說話（思考）時不吃也不占用叉子，吃食物時不說話也不思考，等待時不說話也不思考；任何一位哲學(xué)家在任何時候要么處于說話（思考）狀態(tài)，要么處于吃食物狀態(tài)，要么處于等待叉子的狀態(tài)；允許同時有多人說話（思考）或多人吃食物；當(dāng)某人要吃食物時，必須同時占用靠近他的兩把叉子，當(dāng)不夠兩把叉子時，他處于等待叉子的狀態(tài)；叉子一旦被某人占用，就處于被占用狀態(tài)，直到

2、該人的吃食物活動完成后才被釋放；任何一把叉子，均可被靠近它的哲學(xué)家占用，也只能被靠近它的哲學(xué)家占用，按FIFO規(guī)則，食物充足，也不考慮吃飽了不想吃的問題。一真實(shí)系統(tǒng)描述（一）系統(tǒng)描述五個裝卸點(diǎn)位于圓形服務(wù)中心區(qū)周圍，每個裝卸點(diǎn)之間有一位裝卸工人，該服務(wù)中心有兩名清理工人負(fù)責(zé)清理貨車。1、該服務(wù)中心每10min來一輛貨車需要服務(wù)，每輛貨車在服務(wù)中心進(jìn)行一次裝卸和一次清理服務(wù)。2、裝卸貨車時不許清掃工人對該貨車進(jìn)行清掃。3、清掃貨車時不許裝卸工人對該貨車裝卸貨物。4、任何一輛貨車在裝卸站點(diǎn)時要么處于清掃

3、狀態(tài)，要么處于裝卸貨物狀態(tài)，要么處于等待工人的狀態(tài)。一真實(shí)系統(tǒng)描述5、當(dāng)某輛貨車要裝卸貨物時，必須接受靠近它的兩位裝卸工人，當(dāng)不夠兩位裝卸工人時，它處于等待工人的狀態(tài)；工人一旦被某輛貨車占用，就處于被占用狀態(tài)，直到該貨車的裝卸完成后才被釋放。6、任何一位裝卸工人，均可被靠近他的貨車占用，也只能被靠近他的貨車占用，按FIFO規(guī)則。7、貨物充足，兩次服務(wù)完畢后，貨車離開。8、設(shè)每一輛車每一次接受清理服務(wù)的時間（min）長度服從正態(tài)分布N（10，8），每次裝卸的時間長度服從均勻分布U（15，25）。初始狀

4、態(tài)為：裝卸點(diǎn)的貨車1、3和5為先接受清理服務(wù)狀態(tài)，2和4先接受裝卸服務(wù)。貨車到達(dá)貨車進(jìn)入站點(diǎn)進(jìn)行裝卸和清理完成離開一真實(shí)系統(tǒng)描述（二）邏輯流程圖二系統(tǒng)仿真目的（1）了解裝卸中心仿真系統(tǒng)設(shè)計。（2）加深對離散事件系統(tǒng)仿真的基本概念的理解。（3）熟悉語法AND和OR的用法。（4）掌握用事件調(diào)度法進(jìn)行仿真建模的原理和方法。（5）找出該中心的瓶頸資源以及解決人工約束的策略。仿真時鐘邁進(jìn)貨車到達(dá)系統(tǒng)進(jìn)入站點(diǎn)站點(diǎn)2，4準(zhǔn)備接受裝卸準(zhǔn)備接受清理裝卸工人空閑清理工人空閑等待接受裝卸接受清理清理工人空閑裝卸工人空閑等

5、待接受清理接受裝卸離開站點(diǎn)離開站點(diǎn)YNYNNYYNNY三、系統(tǒng)仿真工作流程Y四、系統(tǒng)仿真模型的設(shè)計（一）總體效果圖（一）總體效果圖（一）元素定義表元素名稱類型數(shù)量說明TruckPart1貨車Station1Machine1裝卸站點(diǎn)1Station2Machine1裝卸站點(diǎn)2Station3Machine1裝卸站點(diǎn)3Station4Machine1裝卸站點(diǎn)4Station5Machine1裝卸站點(diǎn)5EntranceConveyor1裝卸服務(wù)中心入口ExitConveyor1裝卸服務(wù)中心出口Dustma

6、nLabor2清理工人Stevedore1Labor1裝卸工人1Stevedore2Labor1裝卸工人2Stevedore3Labor1裝卸工人3Stevedore4Labor1裝卸工人4Stevedore5Labor1裝卸工人5四、系統(tǒng)仿真模型的設(shè)計（一）總體效果圖（一）總體效果圖（二）元素可視化設(shè)計：總體效果圖四、系統(tǒng)仿真模型的設(shè)計（一）總體效果圖（一）總體效果圖（三）元素詳細(xì)設(shè)計1、對Part元素Truck的細(xì)節(jié)定義（如下圖所示）：Type:ActiveInterArrival:10.0To

7、…:PushtoEntranceatRear四、系統(tǒng)仿真模型的設(shè)計（一）總體效果圖（一）總體效果圖2、對Machine元素的細(xì)節(jié)定義：在Station1的Detail對話框General頁面設(shè)置；其他裝卸站點(diǎn)的細(xì)節(jié)定義與此雷同，如下圖所示。四、系統(tǒng)仿真模型的設(shè)計（一）總體效果圖（一）總體效果圖四、系統(tǒng)仿真模型的設(shè)計（一）總體效果圖（一）總體效果圖2、對Machine元素的細(xì)節(jié)定義：在Detail對話框Setup頁面點(diǎn)擊Add/Remove…，跳出Add/RemoveSentup對話框；在SetupD

8、escription下輸入“ridup”，點(diǎn)擊Add添加成功，點(diǎn)擊OK到Detail對話框Setup頁面，進(jìn)行設(shè)置；其他裝卸站點(diǎn)的細(xì)節(jié)定義與此雷同四、系統(tǒng)仿真模型的設(shè)計（一）總體效果圖（一）總體效果圖3、對Conveyor元素Entrance的細(xì)節(jié)定義：Entrance.LengthinPart:10Entrance.MovementIndexTime:0.1四、系統(tǒng)仿真模型的設(shè)計（一）總體效果圖（一）總體效果圖4、對Conveyor元素Exit的細(xì)節(jié)定義（如圖24所