06. 排队论

定义

排队论也称随机服务系统理论，它研究的内容有三部分：

形态问题：各种排队系统的概率规律性，如队长分布、等待时间分布、忙期分布等；
最优化问题：分静态最优 (最优设计) 和动态最优 (最优运营)；
排队系统的统计推断：判断一个给定的排队系统符合于哪种模型。

排队论的一般模型如图：

graph LR

arrive[顾客随机到达]
subgraph 排队系统
queue[顾客排队]
srv["服务机构(服务时间随机)"]
end
leave[顾客离去]
arrive --> queue
queue --> srv
srv --> leave

一般的排队过程由三部分组成：

输入过程：顾客到来时间的规律性；
- 顾客组成可能有限或无限；
- 顾客到达可能逐个或成批；
- 顾客到达可以是相互独立或相关；
- 输入过程可以平稳 (与时间无关) 或非平稳。
排队规则：顾客按怎样的规则排队等待；
- 损失制 (消失制)：顾客到达时所有服务台均被占用，顾客随机离去；
- 等待制：顾客到达时所有服务台均被占用，顾客排队等待，直到接受完服务才离去；
- 混合制：既有等待又有损失，有队列长度有限和排队等待时间有限两种情况。
服务过程：
- 先到先服务；
- 后到先服务；
- 随机服务；
- 优先服务。

排队模型用六个符号表示：

表示顾客到达流或顾客到达间隔时间分布；
表示服务时间分布；
表示服务台数目；
表示系统容量限制；
表示顾客源数目；
表示服务规则。

如略去后三项，即指。

基本模型

M/M/1

M/M/1 模型表示顾客到达的时间间隔和服务时间均服从指数分布，服务台数量为 1 的排队模型。

泊松流与指数分布

如何理解顾客到达时间和服务时间服从指数分布？

首先，当顾客到达时间符合如下条件时，可以看作泊松分布：

将时间段无限分割成若干小的时间段，在每个接近于零的小时间段里，事件发生一次的概率与时间段的长度接近成正比；
在这个极小时间段内，事件发生二次及以上的概率恒等于 0；
事件在不同的时间段内发生与否相互独立。

推导过程如下：

在时间内，有个顾客到达，将平均分为个时间段，使得每个时间段内至多只有一个顾客到达，若每个时间段有顾客到达与否相互独立，则有二项分布，即其中表示每个时间段有顾客到达的概率；
二项分布的期望为则；
取时间段数量为无限，即令，并设，则有其中，即为总时间内到达的顾客数，为，即平均到达的顾客数。

因此，若单位时间到达的顾客数为，则内到达的顾客数服从因此，如果下一个顾客到达时间间隔为，即为内的顾客数为 0，即于是有

即顾客到达时间间隔服从指数分布，其中为单位时间到达的顾客数。

顾客数分布计算

对于 M/M/1 模型，顾客到达时间间隔服从参数为的指数分布，服务时间服从参数为的指数分布，服务台数量为 1。

即单位时间平均到达的顾客数 (到达率) 为，单位时间平均服务的顾客数 (服务率) 为。

令状态代表系统当前的顾客数为，状态转移如下图

graph LR
0((0))
1((1))
inf((...))
n-1((n-1))
n((n))
inf2((...))
0--λ-->1
1--λ-->inf
inf--λ-->n-1
n-1--λ-->n
n--λ-->inf2
inf2--μ-->n
n--μ-->n-1
n-1--μ-->inf
inf--μ-->1
1--μ-->0

设系统平稳后顾客数为的概率为。

若系统平稳，则对于任一状态，都有单位时间内进入该状态和单位时间内离开该状态的顾客平均数相等，即

状态 0：
状态 1：
状态 n：

而有，因此状态 1 可化为同理有即因此构成首项为，公比为的等比数列。

由等比数列求和公式，的和为

而和为 1 (所有状态概率之和为 1)，故记服务强度，则故因此系统中有 n 个顾客的概率为。

指标计算

平均顾客数 (平均队长)

平均排队长

平均逗留时间

对于逗留时间有故平均逗留时间即为期望

平均等待时间
平均忙期

平均忙期与平均闲期之比为而闲期到有顾客到达的时间间隔服从参数为的指数分布，因此，故

M/M/s

对于服务台为的排队模型，其服务率是变化的。记状态的到达率为，服务率为其中代表一个服务台的服务率，同样构造平衡方程，记，于是其中

吴世涵的博客

【数学建模笔记 06】数学建模的排队论