系统分析:线性规划、非线性规划与排队模型 · 第 7 / 11 篇(展开目录)
从线性规划建模、单纯形法、对偶与灵敏度、运输与指派,到非线性规划、随机过程、马尔可夫链、排队模型和决策分析,每章都配手算例题和自测,最后一章用综合例题把方法串起来。
- 第1章 线性规划建模:从文字题到标准型
- 第2章 单纯形法:单纯形表、大 M 法与两阶段法
- 第3章 对偶与灵敏度分析:最终单纯形表还能回答什么
- 第4章 运输问题与指派问题:Vogel 法、位势法与匈牙利法
- 第5章 非线性规划(一):一维搜索与多元无约束优化
- 第6章 非线性规划(二):拉格朗日乘子与 KKT 条件
- 第7章 随机过程基础:几何分布、指数分布与泊松过程
- 第8章 马尔可夫链:离散时间与连续时间
- 第9章 排队模型:从 M/M/1 到 M/M/m
- 第10章 决策分析:不确定性准则、决策树与效用
- 第11章 综合例题讲解与解析
约 25 分钟 · 需要条件概率
读完你能: 用几何分布和指数分布描述寿命、加工时间、修理时间;用无记忆性计算条件概率;求两个独立指数随机变量谁先发生、最小值的分布;区分四类随机过程;计算泊松过程在一段时间内到达 个的概率,并处理泊松流的合并与分流。
1. 几何分布:第几次才成功
每次试验独立,成功概率都是 。 = 第一次成功发生在第几次:
的含义是“前 次都失败”,所以是 。在系统分析里,“成功”常常是某个事件发生:一个时间单位里工件加工完、刀具损坏、故障修好……
例1: 刀具每次加工有 2% 的概率损坏, 是它坚持到第几次加工时损坏。
- 平均寿命 次加工。
- 至少还能用 20 次以上:。
无记忆性
证明只需一行:。
例1 续: 已经用了 10 次还没坏,再用 30 次以上不坏的概率是多少?。已经用过的 10 次不影响将来——“旧刀”和“新刀”一样。
几何分布是唯一具有无记忆性的离散分布。
2. 指数分布:连续时间里的“等多久”
叫速率(每单位时间发生多少次), 是平均时间。它常用来描述到达间隔、加工时间、准备时间、故障前时间、修理时间等。
无记忆性:
指数分布是唯一具有无记忆性的连续分布。这一点非常关键:正是因为它,连续时间马尔可夫链在某个状态里“已经待了多久”不影响将来,才能只用当前状态描述系统。
例2: 修理时间服从指数分布,平均 20 分钟( 次/小时)。
- 超过 30 分钟的概率:。
- 已经修了 20 分钟,再过 10 分钟内修好的概率:。
3. 两个指数时间“赛跑”
设 、 相互独立。
第二个结论:。第一个结论:
推广到多个: 个独立指数时间的最小值速率是 ,第 个最先发生的概率是 。
例3: 机器加工一个零件的时间 (每小时),故障前时间 。
- 加工过程中“先完成还是先故障”:零件先完成的概率 。
- 机器在“加工”状态停留的时间:,平均 2 小时——不论以哪种方式离开。
这正是第8章连续时间马尔可夫链里“一个状态有几个出口”的计算方法。
几何分布的对应结论
离散情形也有类似结论:独立几何随机变量 (参数 )中 严格先发生的概率是 。离散时间里两者可能在同一步发生,所以公式比连续情形复杂。
4. 随机过程的四种类型
随机过程 是一族随机变量, 通常是时间。所有可能取值组成状态空间 。按时间和状态是离散还是连续分成四类:
|
状态离散(称为“链”) |
状态连续 |
| 时间离散 |
每小时检查一次机器是好是坏 |
每天中午测量的温度 |
| 时间连续 |
任意时刻机器的状态; 内到达的零件数 |
机械臂在 时刻走过的距离 |
接下来讨论两类“链”:离散时间马尔可夫链(DTMC)和连续时间马尔可夫链(CTMC),见第8章;以及一种特殊的连续时间链——泊松过程。
5. 泊松过程
表示 内到达的个数。齐次泊松过程从 开始,不相交时间区间内的增量相互独立,长度为 的区间内到达数服从同一个均值为 的泊松分布:
此时 是速率为 的泊松过程,。它描述零件到达车间、任务到达计算中心、电话到达交换机、顾客到达柜台。只有单个时刻的泊松分布还不够,独立增量与平稳增量同样是定义的一部分。
令 :。这正是“下一次到达的等待时间 超过 ”的概率,所以
两句话记住泊松过程:
- 到达间隔服从速率 的指数分布;
- 长度为 的时间内到达个数服从均值 的泊松分布。
例4: 顾客按每小时 6 人的泊松过程到达。
- 10 分钟内恰好来 2 人:,。
- 15 分钟内没人来:。
- 30 分钟内至少来 2 人:,。
- 相邻两位顾客平均间隔 小时 = 10 分钟。
6. 泊松流的合并与分流
合并(叠加): 个独立的泊松流,速率 ,合在一起仍是泊松流,速率 。例如两条生产线分别以每小时 4 件、2 件送来零件,检验台收到的是每小时 6 件的泊松流。
分流(分解): 速率 的泊松流中,每个到达独立地以概率 分到第 类(),则第 类是速率 的泊松流,且各类之间相互独立。例如每小时 10 位顾客,30% 买 A 套餐,则 A 套餐的点单是每小时 3 单的泊松流。
排队比较题的关键一步
“三个窗口各卖一种饭,顾客按需求分流”的系统,就是把速率 的总流分成三条速率 的泊松流,每个窗口各自是一个单服务台排队。第9章比较几种排队设计时会反复用到这一点。
7. 小结
|
几何分布 |
指数分布 |
泊松分布 |
| 类型 |
离散,取 |
连续,取 |
离散,取 |
| 含义 |
第几次才发生 |
要等多久 |
一段时间内发生几次 |
| 尾概率/概率 |
|
|
|
| 均值 |
|
|
|
| 无记忆性 |
有(离散中唯一) |
有(连续中唯一) |
— |
- 独立指数时间的最小值:速率相加;谁先发生:速率占比。
- 泊松过程 = 到达间隔为指数分布的计数过程;合并速率相加,分流速率按比例。
自测
1. 机器故障前时间服从指数分布,平均 100 小时。已知它已经运行了 40 小时,接下来 10 小时内发生故障的概率是多少?
/小时。由无记忆性,。与已经运行了多久无关。
2. 设备在“工作”状态时,可能因为加工完成(速率 3/小时)、发生故障(速率 0.5/小时)或被调去做别的任务(速率 0.5/小时)而离开。它在“工作”状态平均停留多久?离开时是因为故障的概率是多少?
停留时间是三个指数时间的最小值,速率 /小时,平均 15 分钟。因故障离开的概率 。
3. 网站每分钟平均收到 2 个请求(泊松)。其中 25% 是图片请求。1 分钟内恰好收到 1 个图片请求的概率是多少?
图片请求是速率 /分钟的泊松流。。