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

平价蔬菜自选市场
Witness建模、仿真与优化

梁标0805060107彭磊0805060108
刘文博0805060115李兴宝0805060116
曹创宾0805060117闫旭东0805060118

平价蔬菜自选市场Witness建模、仿真与优化

市场调查现状及总体描述
根据对附近几个经营相对成熟的蔬菜市场进行观测，对其中比较典型的一个超市进行了统计分析，由于时间及各方面的限制，只是进行了初步的了解，具体情况如下：这是一个小型蔬菜自选市场，顾客到达的时间间隔服从负指数分布，平均50s来一个顾客，自选市场为顾客准备了一批购物篮子。顾客到达市场时，如果发现有空篮子，就取一个篮子进去；否则离去。
顾客选购商品的数量是随机数。经过一段时间观察，有20%的顾客买3种蔬菜，30%的顾客买6种蔬菜，40%的顾客买9种蔬菜，10%的顾客买15种蔬菜。顾客购货时间的长短取决于自选市场内的顾客人数，选购完毕，顾客到4个柜台中的一个柜台前结账。结账时，每件商品需15s，装袋需20s，结帐完毕放回购物篮子，然后离去。
蔬菜由供应商供给到收货中心，当收货中心内的数量小于100的时候从供应商处进货，然后由收货中心通过收货部供给蔬菜超市，超市的订单直接由收货部下达到收货中心。
离开（篮子数=0）
顾客

市场工作流程描述
离开
供应商
到银台结账（4台）
收货处
自由选购
进入超市选择蔬菜（篮子数>0）
购物篮

witness元素定义

元素名称类型数量说明customerPart1顾客leaveBuffer1顾客没有拿到篮子离开customernoBuffer1顾客排队进入市场basketnoBuffer1篮子的队列GetBasketMachine1顾客取得篮子MarketBuffer1商场购物CwaitBuffer1顾客排队等待结账CoutMachine4顾客结帐完毕离去BasketPart1篮子(非可视化)goodnoAttribute1顾客购买商品数量ZVariable1决定顾客购买商品数量的随机变量(非可视化)goodinMachine1超市收货入库Factory1Machine1供货商1Convey1Conveyor1货物运输链Shouhuo
zhongxinBuffer1收货中心P1Part1商品V1Variable1供货商供货数量V2Variable1送入超市蔬菜数量PathPath1通向收货中心路径

witness各个元素细节的设计
1、对Part元素Customer的细节设计
Type:Active
InputtoModel.InterArrival:NEGEXP(50)
InputtoModel(To…)：
IFNPARTS(basketno)-NPARTS(customerno)>0
PUSHtocustomerno
ELSE
PUSHtoLeave
ENDIF
2、对Buffer元素Leave的详细设计
Capacity=1000
3、对Buffer元素customerno的详细设计
Capacity=1000
4、对Buffer元素basketno的详细设计
Capacity=1000
5、对Machine元素getBasket的详细设计
Type:Assembly
Input.From…:SEQUENCE/Waitcustomerno#(1),basketno#(1)
CycleTime=80.0
ActiononFinish:!changealltocustomer
Output.TO…:PUSHtoMarket
6、对Buffer元素Market的详细设计
Capacity=1000
Option:Max
MaximumTime:600+NPARTS(ELEMENT)*2
EXITRULEFORBUFFERMarket:PUSHtoCwait
ActionsonOutput:z=UNIFORM(0,1)
IFz<0.2
goodno=3
ELSEIFz<0.5
goodno=6
ELSEIFz<0.9
goodno=9
ELSE
goodno=15
ENDIF
7、对Buffer元素Cwait的详细设计
Capacity=1000
8、对Machine元素Cout的详细设计
Quantity:4
Type:Production
Priority:Lowest
Input.From…:PULLfromCwait
CycleTime=15*goodno+20
OutputProduction:1
PartType:Basket
Output.TO…:PUSHCustomertoSHIP，Baskettobasketno
9、对Part元素Basket的细节设计
Ty