witness系统仿真

图书馆借还书系统Witness建模、仿真与优化机械工程学院工业工程专业彭星光1105060129图书馆借还书系统Witness建模、仿真与优化一、系统描述目前我校图书馆的自助借阅机有一台，同学们大多数情况都得排队，排队学生可分为借书、还书，对于借书者而言当自助借书队列人数大于45人，则放弃借阅,否则排队在自助借阅机上进行借阅，但对于某些书籍自助借阅机不能自助借阅，必须转至人工服务排队借阅;对于还书者而言，当自助借书队列人数小于45人，则在自助机排队，否则去人工服务台排队进行还书。通过对调查数据统计分析可以得出读者借还图书的时间大概服从截断正态分布TNORMAL(2,1.549,6,2),对于借书同学其中约有30%书籍无法进行自助借阅，必须进行人工服务。二、系统流程三、元素定义1、元素定义2、可视化设计名称类型数量作用ppart1表示借阅书籍的人数bbpart1表示还书籍的人数bbuffer1表示自助借阅机排队b1buffer1表示人工借阅排队b2buffer1表示人工还书排队mmmachine1表示自助借阅机m1machine1表示人工借阅处m2machine1表示人工还书处L1Labor1表示借书处老师L2labor1表示还书处老师是否否是否是自助借阅45借书者自助借阅45自助借阅人工还书能否自主借阅人工借书放弃借阅借阅完毕还书者2、详细设计1）part元素设计①p元素细节设计Type:ActivewithprofileOutputrule(to):IFNPARTS(b)45PUSHtobELSEPUSHtoSHIPENDIF②bb元素细节设计Type:ActivewithprofileOutputrule(to):IFNPARTS(b)45PUSHtobELSEPUSHtob2ENDIF3)machine元素设计①mm元素细节设计Type:SingleCycletime:TNORMAL(2,1.549,6,2)Outputrule(to):PERCENT/189b1UsingPath30.00,SHIPUsingPath70.00②m1元素细节设计Type:SingleCycletime:TNORMAL(2,1.549,6,1)Laborrule:l1Outputrule(to):PUSHtoSHIP③m2元素细节设计Type:SingleCycletime:TNORMAL(2,1.549,6,1)Laborrule:l2Outputrule(to):PUSHtoSHIP四、系统仿真实验结果统计与分析对一天工作情况进行仿真模拟，得到如下结果：通过对系统的模拟，可以看出自动借阅机的繁忙率为42.78%，还书管理员繁忙率为35.83%，借书管理员繁忙率为12.27%，其中自主借阅机、还管理员书较为繁忙，且由于排队队列较长需要等待较长时间，浪费了同学很多时间去排队，不少同学选择放弃当天借还书，大大降低同学们借还书的积极性，因此应适当增加借阅机数量，并且增加还书管理员人数，以减少排队长度，节省同学宝贵时间，营造良好学习氛围。附相关调查数据：时间段借书到达时间还书人数单位读者接受服务的时间(min)频数人数8:0008:0001158:30108:30122159:00209:00143259:30259:302642010:003210:003651510:302910:303161011:003511:002511:303411:303412:003812:002312:302512:302213:001213:001913:302313:301414:001014:001714:301214:302915:002115:003115:303215:303516:002616:003016:303816:303917:004217:003317:302817:304118:001218:004318:303118:302419:003319:003619:303819:302220:002920:002920:304120:303421:003421:003621:304621:303422:004222:0037