平价蔬菜自选超市Witness建模与仿真.doc

平价蔬菜自选超市Witness建模与仿真 平价蔬菜自选超市Witness建模与仿真 平价蔬菜自选超市Witness建模与仿真 平价蔬菜自选市场 Witness建模、仿真与优化 梁 标 彭 磊 刘文博 李兴宝 曹创宾 闫旭东 平价蔬菜自选市场Witness建模、仿真与优化 市场调查现状及总体描述 根据对附近几个经营相对成熟的蔬菜市场进行观测，对其中比较典型的一个超市进行了统计分析，由于时间及各方面的限制，只是进行了初步的了解，具体情况如下：这是一个小型蔬菜自选市场，顾客到达的时间间隔服从负指数分布，平均50s来一个顾客，自选市场为顾客准备了一批购物篮子。顾客到达市场时，如果发现有空篮子，就取一个篮子进去；否则离去。 顾客选购商品的数量是随机数。经过一段时间观察，有20%的顾客买3种蔬菜，30%的顾客买6种蔬菜，40%的顾客买9种蔬菜，10%的顾客买15种蔬菜。顾客购货时间的长短取决于自选市场内的顾客人数，选购完毕，顾客到4个柜台中的一个柜台前结账。结账时，每件商品需15s，装袋需20s，结帐完毕放回购物篮子，然后离去。 蔬菜由供应商供给到收货中心，当收货中心内的数量小于100的时候从供应商处进货，然后由收货中心通过收货部供给蔬菜超市，超市的订单直接由收货部下达到收货中心。 离开（篮子数=0）顾客市场工作流程描述 离开（篮子数=0） 顾客 离开供应商到银台结账（4台）收货处自由选购进入超市选择蔬菜（篮子数0）购物篮 离开 供应商 到银台结账（4台） 收货处 自由选购 进入超市选择蔬菜（篮子数0） 购物篮 witness元素定义 元素名称 类型 数量 说明 customer Part 1 顾客 leave Buffer 1 顾客没有拿到篮子离开 customerno Buffer 1 顾客排队进入市场 basketno Buffer 1 篮子的队列 GetBasket Machine 1 顾客取得篮子 Market Buffer 1 商场购物 Cwait Buffer 1 顾客排队等待结账 Cout Machine 4 顾客结帐完毕离去 Basket Part 1 篮子(非可视化) goodno Attribute 1 顾客购买商品数量 Z Variable 1 决定顾客购买商品数量的随机变量(非可视化) goodin Machine 1 超市收货入库 Factory1 Machine 1 供货商1 Convey1 Conveyor 1 货物运输链 Shouhuo zhongxin Buffer 1 收货中心 P1 Part 1 商品 V1 Variable 1 供货商供货数量 V2 Variable 1 送入超市蔬菜数量 Path Path 1 通向收货中心路径 witness各个元素细节的设计 1、对Part元素Customer的细节设计 Type: Active Input to Model. Inter Arrival: NEGEXP (50) Input to Model(To…) ： IF NPARTS (basketno) - NPARTS (customerno) 0 PUSH to customerno ELSE PUSH to Leave ENDIF 2、对Buffer元素Leave的详细设计 Capacity=1000 3、对Buffer元素customerno的详细设计 Capacity=1000 4、对Buffer元素basketno的详细设计 Capacity=1000 5、对Machine元素getBasket的详细设计 Type: Assembly Input .From…: SEQUENCE /Wait customerno #(1),basketno#(1) Cycle Time = Action on Finish: !change all to customer Output .TO…: PUSH to Market 6、对Buffer元素Market的详细设计 Capacity=1000 Option: Max Maximum Time: 600 + NPARTS (ELEMENT) * 2 EXIT RULE FOR BUFFER Market: PUSH to Cwait Actions on Output: z = UNIFORM (0,1) IF z goodno = 3 ELSEIF z goodno = 6 ELSEIF z goodno = 9 ELSE goodno =15 ENDIF 7、对Buffer元素Cwait的详细设计 Capacity=1000 8、对Machine元素Cout的详