Witness建模与仿真实例

《Witness建模与仿真实例》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、实例4：装卸服务中心人员调度仿真系统哲学家用餐问题五位哲学家均匀地围坐在一张圆桌周围，他们一边讨论一边用餐。每人前面有一盘佳肴，每个盘子之间有一把叉子。每位哲学家说话（思考）时不吃也不占用叉子，吃食物时不说话也不思考，等待时不说话也不思考；任何一位哲学家在任何时候要么处于说话（思考）状态，要么处于吃食物状态，要么处于等待叉子的状态；允许同时有多人说话（思考）或多人吃食物；当某人要吃食物时，必须同时占用靠近他的两把叉子，当不够两把叉子时，他处于等待叉子的状态；叉子一旦被某人占用，就处于被占用状态，直到

2、该人的吃食物活动完成后才被释放；任何一把叉子，均可被靠近它的哲学家占用，也只能被靠近它的哲学家占用，按FIFO规则，食物充足，也不考虑吃饱了不想吃的问题。一真实系统描述（一）系统描述五个装卸点位于圆形服务中心区周围，每个装卸点之间有一位装卸工人，该服务中心有两名清理工人负责清理货车。1、该服务中心每10min来一辆货车需要服务，每辆货车在服务中心进行一次装卸和一次清理服务。2、装卸货车时不许清扫工人对该货车进行清扫。3、清扫货车时不许装卸工人对该货车装卸货物。4、任何一辆货车在装卸站点时要么处于清扫

3、状态，要么处于装卸货物状态，要么处于等待工人的状态。一真实系统描述5、当某辆货车要装卸货物时，必须接受靠近它的两位装卸工人，当不够两位装卸工人时，它处于等待工人的状态；工人一旦被某辆货车占用，就处于被占用状态，直到该货车的装卸完成后才被释放。6、任何一位装卸工人，均可被靠近他的货车占用，也只能被靠近他的货车占用，按FIFO规则。7、货物充足，两次服务完毕后，货车离开。8、设每一辆车每一次接受清理服务的时间（min）长度服从正态分布N（10，8），每次装卸的时间长度服从均匀分布U（15，25）。初始状

4、态为：装卸点的货车1、3和5为先接受清理服务状态，2和4先接受装卸服务。货车到达货车进入站点进行装卸和清理完成离开一真实系统描述（二）逻辑流程图二系统仿真目的（1）了解装卸中心仿真系统设计。（2）加深对离散事件系统仿真的基本概念的理解。（3）熟悉语法AND和OR的用法。（4）掌握用事件调度法进行仿真建模的原理和方法。（5）找出该中心的瓶颈资源以及解决人工约束的策略。仿真时钟迈进货车到达系统进入站点站点2，4准备接受装卸准备接受清理装卸工人空闲清理工人空闲等待接受装卸接受清理清理工人空闲装卸工人空闲等

5、待接受清理接受装卸离开站点离开站点YNYNNYYNNY三、系统仿真工作流程Y四、系统仿真模型的设计（一）总体效果图（一）总体效果图（一）元素定义表元素名称类型数量说明TruckPart1货车Station1Machine1装卸站点1Station2Machine1装卸站点2Station3Machine1装卸站点3Station4Machine1装卸站点4Station5Machine1装卸站点5EntranceConveyor1装卸服务中心入口ExitConveyor1装卸服务中心出口Dustma

6、nLabor2清理工人Stevedore1Labor1装卸工人1Stevedore2Labor1装卸工人2Stevedore3Labor1装卸工人3Stevedore4Labor1装卸工人4Stevedore5Labor1装卸工人5四、系统仿真模型的设计（一）总体效果图（一）总体效果图（二）元素可视化设计：总体效果图四、系统仿真模型的设计（一）总体效果图（一）总体效果图（三）元素详细设计1、对Part元素Truck的细节定义（如下图所示）：Type:ActiveInterArrival:10.0To

7、…:PushtoEntranceatRear四、系统仿真模型的设计（一）总体效果图（一）总体效果图2、对Machine元素的细节定义：在Station1的Detail对话框General页面设置；其他装卸站点的细节定义与此雷同，如下图所示。四、系统仿真模型的设计（一）总体效果图（一）总体效果图四、系统仿真模型的设计（一）总体效果图（一）总体效果图2、对Machine元素的细节定义：在Detail对话框Setup页面点击Add/Remove…，跳出Add/RemoveSentup对话框；在SetupD

8、escription下输入“ridup”，点击Add添加成功，点击OK到Detail对话框Setup页面，进行设置；其他装卸站点的细节定义与此雷同四、系统仿真模型的设计（一）总体效果图（一）总体效果图3、对Conveyor元素Entrance的细节定义：Entrance.LengthinPart:10Entrance.MovementIndexTime:0.1四、系统仿真模型的设计（一）总体效果图（一）总体效果图4、对Conveyor元素Exit的细节定义（如图24所