平价蔬菜自选超市witness建模与仿真

《平价蔬菜自选超市witness建模与仿真》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、平价蔬菜自选市场Witness建模、仿真与优化梁标0805060107彭磊0805060108刘文博0805060115李兴宝0805060116曹创宾0805060117闫旭东0805060118平价蔬菜自选市场Witness建模、仿真与优化（一）市场调查现状及总体描述根据对附近几个经营相对成熟的蔬菜市场进行观测，对其中比较典型的一个超市进行了统计分析，由于时间及各方面的限制，只是进行了初步的了解，具体情况如下：这是一个小型蔬菜自选市场，顾客到达的时间间隔服从负指数分布，平均50s来一个顾客，自

2、选市场为顾客准备了一批购物篮子。顾客到达市场时，如果发现有空篮子，就取一个篮子进去；否则离去。顾客选购商品的数量是随机数。经过一段时间观察，有20%的顾客买3种蔬菜，30%的顾客买6种蔬菜，40%的顾客买9种蔬菜，10%的顾客买15种蔬菜。顾客购货时间的长短取决于自选市场内的顾客人数，选购完毕，顾客到4个柜台中的一个柜台前结账。结账时，每件商品需15s，装袋需20s，结帐完毕放回购物篮子，然后离去。蔬菜由供应商供给到收货中心，当收货中心内的数量小于100的时候从供应商处进货，然后由收货中心通过收货

3、部供给蔬菜超市，超市的订单直接由收货部下达到收货中心。离开（篮子数=0）顾客（二）市场工作流程描述离开供应商到银台结账（4台）收货处自由选购进入超市选择蔬菜（篮子数>0）购物篮（一）witness元素定义元素名称类型数量说明customerPart1顾客leaveBuffer1顾客没有拿到篮子离开customernoBuffer1顾客排队进入市场basketnoBuffer1篮子的队列GetBasketMachine1顾客取得篮子MarketBuffer1商场购物CwaitBuffer1顾客排队等

4、待结账CoutMachine4顾客结帐完毕离去BasketPart1篮子(非可视化)goodnoAttribute1顾客购买商品数量ZVariable1决定顾客购买商品数量的随机变量(非可视化)goodinMachine1超市收货入库Factory1Machine1供货商1Convey1Conveyor1货物运输链ShouhuozhongxinBuffer1收货中心P1Part1商品V1Variable1供货商供货数量V2Variable1送入超市蔬菜数量PathPath1通向收货中心路径（一）w

5、itness各个元素细节的设计1、对Part元素Customer的细节设计Type:ActiveInputtoModel.InterArrival:NEGEXP(50)InputtoModel(To…)：IFNPARTS(basketno)-NPARTS(customerno)>0PUSHtocustomernoELSEPUSHtoLeaveENDIF2、对Buffer元素Leave的详细设计Capacity=10003、对Buffer元素customerno的详细设计Capacity=10004

6、、对Buffer元素basketno的详细设计Capacity=10005、对Machine元素getBasket的详细设计Type:AssemblyInput.From…:SEQUENCE/Waitcustomerno#(1),basketno#(1)CycleTime=80.0ActiononFinish:!changealltocustomerOutput.TO…:PUSHtoMarket6、对Buffer元素Market的详细设计Capacity=1000Option:MaxMaximum

7、Time:600+NPARTS(ELEMENT)*2EXITRULEFORBUFFERMarket:PUSHtoCwaitActionsonOutput:z=UNIFORM(0,1)IFz<0.2goodno=3ELSEIFz<0.5goodno=6ELSEIFz<0.9goodno=9ELSEgoodno=15ENDIF7、对Buffer元素Cwait的详细设计Capacity=10008、对Machine元素Cout的详细设计Quantity:4Type:ProductionPriority:

8、LowestInput.From…:PULLfromCwaitCycleTime=15*goodno+20OutputProduction:1PartType:BasketOutput.TO…:PUSHCustomertoSHIP，Baskettobasketno9、对Part元素Basket的细节设计Type:ActiveInputtoModel.InterArrival:1.0InputtoModel(To…)：PUSHtobasketnoMaximum:3010、对Attri