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

平价蔬菜自选市场Witness建模、仿真与优化梁 标0805060107 彭 磊0805060108刘文博0805060115 李兴宝0805060116曹创宾0805060117 闫旭东0805060118平价蔬菜自选市场Witness建模、仿真与优化市场调查现状及总体描述根据对附近几个经营相对成熟的蔬菜市场进行观测，对其中比较典型的一个超市进行了统计分析，由于时间及各方面的限制，只是进行了初步的了解，具体情况如下：这是一个小型蔬菜自选市场，顾客到达的时间间隔服从负指数分布，平均50s来一个顾客，自选市场为顾客准备了一批购物篮子。顾客到达市场时，如果发现有空篮子，就取一个篮子进去；否则离去。顾客选购商品的数量是随机数。经过一段时间观察，有20%的顾客买3种蔬菜，30%的顾客买6种蔬菜，40%的顾客买9种蔬菜，10%的顾客买15种蔬菜。顾客购货时间的长短取决于自选市场内的顾客人数，选购完毕，顾客到4个柜台中的一个柜台前结账。结账时，每件商品需15s，装袋需20s，结帐完毕放回购物篮子，然后离去。蔬菜由供应商供给到收货中心，当收货中心内的数量小于100的时候从供应商处进货，然后由收货中心通过收货部供给蔬菜超市，超市的订单直接由收货部下达到收货中心。离开（篮子数=0）顾客市场工作流程描述离开（篮子数=0）顾客离开供应商到银台结账（4台）收货处自由选购进入超市选择蔬菜（篮子数0）购物篮离开供应商到银台结账（4台）收货处自由选购进入超市选择蔬菜（篮子数0）购物篮witness元素定义元素名称类型数量说明customerPart1顾客leaveBuffer1顾客没有拿到篮子离开customernoBuffer1顾客排队进入市场basketnoBuffer1篮子的队列GetBasketMachine1顾客取得篮子MarketBuffer1商场购物CwaitBuffer1顾客排队等待结账CoutMachine4顾客结帐完毕离去BasketPart1篮子(非可视化)goodnoAttribute1顾客购买商品数量ZVariable1决定顾客购买商品数量的随机变量(非可视化)goodinMachine1超市收货入库Factory1Machine1供货商1Convey1Conveyor1货物运输链ShouhuozhongxinBuffer1收货中心P1Part1商品V1Variable1供货商供货数量V2Variable1送入超市蔬菜数量PathPath1通向收货中心路径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 customernoELSE PUSH to LeaveENDIF2、对Buffer元素Leave的详细设计Capacity=10003、对Buffer元素customerno的详细设计Capacity=10004、对Buffer元素basketno的详细设计Capacity=10005、对Machine元素getBasket的详细设计Type: Assembly Input .From…: SEQUENCE /Wait customerno #(1),basketno#(1)Cycle Time = 80.0Action on Finish: !change all to customerOutput .TO…: PUSH to Market6、对Buffer元素Market的详细设计 Capacity=1000Option: Max Maximum Time: 600 + NPARTS (ELEMENT) * 2EXIT RULE FOR BUFFER Market: PUSH to Cwait Actions on Output: z = UNIFORM (0,1) IF z 0.2 goodno = 3ELSEIF z 0.5 goodno = 6ELSEIF z 0.9 goodno = 9ELSE goodno =15ENDIF7、对Buffer元素Cwait的详细设计Capacity=10008、对Machine元素Cout的详细设计Quantity: 4Type: Production Priority: Lowest Input .From…: PULL from CwaitCycle Time = 15* goodno + 20Output Production:1Part Typ