- 1、本文档共12页,可阅读全部内容。
- 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
平价蔬菜自选超市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的详
文档评论(0)