文档介绍：银行ATM服务系统建模与仿真设计说明书
1 系统描述
中北大学工商银行ATM自助存款机为全校师生提供自助取款服务,此服务系统由ATM机,存款人等构成。目前工商银行只有一台自助存款机,在日常的服务过程中经常出现排队等待的现象。在高峰期,存款人到达率服从一定的概率分布,服务速率依赖于存款人的操作时间。建模的目的是在假定存款人到达时间间隔和存款服务花费的时间服从一定的概率分布时,考察ATM机的忙闲情况以及服务质量,并提出改进意见。
2 系统分析
系统的实体分析
在工商银行ATM是一个单台单队的服务系统,由三类实体组成:ATM机、存款人及排队队列。ATM机是永久实体,存款人是临时实体,排队队列是一类特殊实体。
分析实体的状态及活动
ATM机有“存款服务”和“空闲”两个活动,分别对应“忙”和“闲”两种状态。存款人通过ATM机完成存款活动,或者在队列中排队等待,有“等待服务”和“接受服务”两种状态。排队队列的状态以队列长度标识。三类实体的活动及状态之间存在逻辑上的联系。
分析实体状态的变化情况
当某一存款人到达时,如果ATM机处于“忙”状态,则该存款人进入“等待服务”状态,否则,进入“接受服务”状态。处于排队等待中的存款人,如果ATM机完成了对前一存款人的服务,则进入“接受服务”状态,否则继续保持“等待服务”状态。 ATM机完成对某一存款人的服务时,如果队列处于“非零”状态,则立即开始服务活动,否则进入“闲”状态。
分析引起状态发生变化的事件
“存款人到达”或“存款人结束排队”可以导致“存款服务”活动的开始,而“存款人存完离去”可以导致“存款服务”活动的结束,这三个瞬时行为均可看作为事件。但是,由于“存款人结束排队”是以ATM机状态为“闲”为条件,因此是条件事件;而队列状态为“非零”时ATM机状态为“闲”是以事件“存款人存完离去”为条件的。因此,“存款人到达”将使ATM机由“闲”变为“忙”,或使“队列长度”加1。“存款人存
完离去”使ATM机由“忙”变为“闲”。“存款人结束排队”将使“队列长度”减1,并使ATM机由“闲”变为“忙”。
分析队列实体的操作
由于存款服务中只有一个队列,而且存款人不会因为排队人数太多而离去,因此队列规则很简单,没有换队等特殊的队列操作。
系统的流程图描述
顾客排队首
有其他顾客离
顾客排队等待
顾客进入队列
ATM空闲
离开
服务
进入工行
顾客到达
NO
置ATM忙

YES
置ATN闲
YES NO

图1 工商银行ATM服务系统实体流程图

模型参变量
读者到达时间、服务时间等,这些变量由输入数据分析得出。
给出排队规则
队列的排队规则是先到先服务,即每名读者到达时排在队尾,工作人员先为排在队首的读者服务。
3 系统仿真输入数据分析
数据的收集

顾客
序号
到达间隔
服务时间
到达时刻
开始服务
服务结束
等待服务时间
服务系统是否休息?休息时间
1
0
3
0
0
3
0
0
2
2
4
2
3
7
1
0
3
5
1
7
7
8
0
0
4
6
5
13
13
18
0
5
5
3
4
16
18
22
2
0
6
2
3
18
22
25
4
0
7
3
4
21
25
29
4
0
8
4
3
25
29
32
4
0
9
5
2
30
32
34
2
0
10
2
4
32
34
38
2
0
11
4
5
36
38
43
2
0
12
4
3
40
43
46
3
0
13
3
4
43
46
50
3
0
14
2
2
45
50
52
5
0
15
1
3
46
52
55
6
0
16
3
2
49
55
57
6
0
17
1
5
50
57
62
7
0
18
4
1
54
62
63
8
0
19
5
3
59
63
65
4
0
20
3
2
62
65
67
3
0
21
3
5
65
67
72
2
0
22
2
2
67
72
74
5
0
23
5
4
72
74
78
2
0
24
1
3
73
78
81
5
0
25
3
1
76
81
82
5
0
26
3