系统分析:线性规划、非线性规划与排队模型 · 第 9 / 11 篇(展开目录)
从线性规划建模、单纯形法、对偶与灵敏度、运输与指派,到非线性规划、随机过程、马尔可夫链、排队模型和决策分析,每章都配手算例题和自测,最后一章用综合例题把方法串起来。
- 第1章 线性规划建模:从文字题到标准型
- 第2章 单纯形法:单纯形表、大 M 法与两阶段法
- 第3章 对偶与灵敏度分析:最终单纯形表还能回答什么
- 第4章 运输问题与指派问题:Vogel 法、位势法与匈牙利法
- 第5章 非线性规划(一):一维搜索与多元无约束优化
- 第6章 非线性规划(二):拉格朗日乘子与 KKT 条件
- 第7章 随机过程基础:几何分布、指数分布与泊松过程
- 第8章 马尔可夫链:离散时间与连续时间
- 第9章 排队模型:从 M/M/1 到 M/M/m
- 第10章 决策分析:不确定性准则、决策树与效用
- 第11章 综合例题讲解与解析
约 35 分钟 · 需要第8章的生灭过程
读完你能: 读懂 A/S/m/K/L 记号;用 Little 公式在 L、Q、W、D 之间换算;计算 M/M/1、M/M/1/N、M/M/m、Mb/M/1 的性能指标;判断稳定条件;用等待时间分布求“等太久”的概率;用成本比较两种服务方案;比较三种常见排队设计并说明哪个指标对顾客最重要。
1. 排队系统与记号
一个排队系统由三部分组成:到达(规则还是随机,单个还是成批)、服务机构(几个服务台、服务时间分布)、排队规则(通常先到先服务)。
肯德尔记号 A/S/m/K/L:
| 位置 |
含义 |
常见取值 |
| A |
到达过程 |
M = 泊松到达(间隔为指数分布) |
| S |
服务时间分布 |
M = 指数分布 |
| m |
服务台个数 |
1, 2, … |
| K |
系统最大容量(含正在服务的) |
省略表示无限 |
| L |
顾客总体规模 |
省略表示无限 |
四个基本指标(稳态下):
| 记号 |
含义 |
|
系统中的平均顾客数(排队的 + 正在服务的) |
|
队列中的平均顾客数 |
|
顾客在系统中的平均停留时间 |
|
顾客在队列中的平均等待时间 |
2. Little 公式
是实际进入系统的到达率。Little 公式几乎不依赖具体分布和排队规则,只要系统达到稳态就成立,所以通常只需算出 中的一个,其余三个都能换算出来。
3. M/M/1
泊松到达(速率 )、指数服务(速率 )、一个服务台。系统内人数 是 、 的生灭过程。记利用率(交通强度)
由第8章的生灭公式:
稳定条件: ,即 。 时 发散,队伍无限增长, 都是无穷大。 也是服务台忙碌的时间比例。
例1: 零件按每小时 12 个到达检验台,检验速率每小时 15 个。
, 个, 个, 小时 = 20 分钟, 小时 = 16 分钟。检查: ✓, 分钟 ✓。
停留时间的分布
在先到先服务下,一个到达者看到 个人时,他的停留时间是 个指数服务时间之和。对 加权求和后得到一个简洁的结果:
排队等待时间 :(到达时系统空),。
例1 续: 零件在检验台停留超过半小时的概率 。
用成本选服务速率
例2: 例1中有两台检验设备可选:X 每小时检验 15 个、运行成本每小时 60 元;Y 每小时检验 20 个、成本每小时 90 元。零件在系统中每停留一小时造成 50 元的在制品损失。
每小时总成本 = 运行成本 + 50 × (系统中平均有 个零件在“等着花钱”):
- X:,总成本 元/小时;
- Y:,总成本 元/小时。
Y 虽然贵,但总成本低。
4. M/M/1/N:容量有限
系统最多容纳 人(排队位置 个),满员时到达的人被拒绝。这是 、 的有限生灭过程,状态 :
有限容量下不需要 也存在稳态。 时 。
关键是实际进入率:只有系统不满时到达的人才进得来,
例3: 例1的检验台前只放得下 2 个待检零件(),满了的零件转去别处。:
- 被拒绝的比例 17.3%,实际进入率 个/小时;
- ;
- 进入系统的零件平均停留 小时 ≈ 7.4 分钟。
W 用哪个到达率
按 Little 公式,进入系统的顾客平均停留 。有些公式表里的
实际上等于 (例3中为 0.102 小时),相当于把被拒绝的顾客也算进来、停留时间记为 0。两者含义不同;用公式表时照它的定义算,自己推导时写清楚用的是哪一个。
例3 续(服务速率的经济选择): 若每完成一个零件得利润 ,以速率 运行的成本为 ,则单位时间利润
,对 求极值即可找到最划算的服务速率。
5. M/M/m:多个服务台共用一条队
个相同的服务台,每个速率 ;有空闲服务台就立刻服务,否则排队。生灭速率 ,,。记
平均忙碌的服务台数 ;到达者需要排队的概率 。
例4: 汽修店有 3 名技师,每人每天修 6 辆,顾客每天来 15 辆。,。
70% 的顾客到达时需要排队。
6. 三种设计,哪个更好?
总到达率 ,总服务能力 ,三种组织方式:
| 系统 |
模型 |
|
例4的数据() |
| 1:三个窗口各卖一种,顾客按需求分流 |
3 个独立的 M/M/1,各为 |
|
天 |
| 2:一个窗口,三人合力服务一位顾客 |
M/M/1, |
|
天 |
| 3:三个窗口都能卖所有品种,共用一条队 |
M/M/3, |
见第5节 |
天 |
三个系统的稳定条件相同:。结论(对任意稳定的 都成立):
- 系统 1 最差:某个窗口排长队时,旁边的窗口可能闲着——服务能力被“隔开”浪费了。
- 系统 3 比系统 1 好:共用一条队,只要有人空着就能接下一位,没有闲置浪费。
- 系统 2 的总停留时间最短:人少时系统 3 只有一个人在工作(速率 ),而系统 2 总是三人合力(速率 ),服务本身更快。
但如果看排队等待时间 ,结论反过来:例4中 天 天。系统 3 中顾客更少需要排队,只是被服务得慢一些。
选哪个指标
对顾客来说,通常最在意的是从到达到离开的总时间 (修车要等多久才能取车);如果顾客更在意“有没有人在处理我的事”,或者服务过程中他们本来就要在场,那么 更重要。比较题要先说清选的是哪个指标、为什么,再下结论。另外还要考虑现实因素:三人合力未必真能把速度提高到 3 倍。
7. Mb/M/1:成批到达
顾客按批到达,批的到达是速率 的泊松过程,每批 个;单个服务台逐个服务,速率 。利用率 。
用母函数解速率平衡方程,得到
注意这里 Little 公式用的是个体到达率 。
例5: 零件每批 3 个,每小时 4 批,检验速率每小时 15 个。(与例1相同):
同样的利用率下,成批到达让 从 4 变成 8、 从 20 分钟变成 40 分钟——同一批的零件一到就开始互相等待。
8. 小结
| 模型 |
稳定条件 |
关键公式 |
| M/M/1 |
|
,,, |
| M/M/1/N |
总有稳态 |
, |
| M/M/m |
|
见第5节,, |
| Mb/M/1 |
|
, |
Little 公式 、 贯穿所有模型。
自测
1. 餐饮公司有 3 名厨师,订单每天 15 单(泊松),每名厨师独立完成一单的速率为每天 9 单。求 L、Q、W、D。
M/M/3,,。。,, 天, 天。
2. 例1中如果到达率涨到每小时 14 个,W 变成多少?这说明什么?
小时,是原来 20 分钟的 3 倍。利用率从 0.8 升到 0.933,等待时间急剧上升——接近满负荷时,到达率的小幅增加会让排队时间大幅增加,这是规划产能时要留余量的原因。
3. 图书馆某本新书只允许一位读者预约。借阅者按速率 λ 到达,借期服从均值 1/μ 的指数分布。写出状态与稳态概率。
状态 0:书在馆;1:借出、无预约;2:借出、有一人预约(再来的人被拒绝)。这是 的 M/M/1/N:,。令 ,,,。(还书后若有预约,书直接借给预约者,状态 2 → 1。)