随机过程与排队论17-18要点.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 计算机科学与工程学院　顾小丰 证明(续2) Qj(t)＝P{?+L1+L2+…+Lv＞t≥0；N(t)=j} ＝P{?＞t≥0；N(t)=j} j≥1　　(5) 根据服务顺序的安排，无论时刻t-x落入哪个区间Lk（1≤k≤i）内，都有在此时刻系统的顾客数等于“第一类顾客数”加上 “第二类顾客数”，而且Lk与忙期b有相同的概率特性，所以 60－* * 计算机科学与工程学院　顾小丰 证明(续3) P{L1+L2+…+Li＞t-x；N(t-x)=j} ，　j≥1　　　　　　(6) 其中，当j≤0时，Qj(t)=0； “*”号表示卷积运算。于是 Qj(t)＝?j-1(t) j≥1　　　　　　(7) 60－* * 计算机科学与工程学院　顾小丰 证明(续4) 对R(s)＞0，上式的拉普拉斯变换为 60－* * 计算机科学与工程学院　顾小丰 证明(续5) 并注意到§7.4中定理1，有b(s)＝g(s+?-? b(s))。于是本定理得证。 j≥1　　　　　　(8) +… 60－* * 计算机科学与工程学院　顾小丰 定理2 对t≥0，令 对R(s) ＞0，i≥0，j≥1，有 (9) 其中：当i≤0时 　由定理1给出；b(s)由§7.4中定理1确定。 (10) 60－* * 计算机科学与工程学院　顾小丰 证明 设　与bj分别表示从初始状态N(0)＝0出发， 系统的第j个闲期与忙期长度，j≥1。由于到达是参数?的泊松流，所以　服从参数为?的负指数分布，而且从任意初始状态出发，顾客离开后瞬时对长为n（n≥0）的那些时刻构成一个更新过程的更新时刻，于是{ 　, j≥1}与{bj, j≥1}相互独立，且各自为一个独立过程。 　　显然，在时刻t系统的对长等于0的充要条件是时刻t处于系统的闲期，所以 60－* * 计算机科学与工程学院　顾小丰 证明(续1) 其中b(i)表示有i个顾客开始的忙期长度。由于到 达是泊松流，所以类似前面服务顺序的安排，b(i)可表示为 b(i)＝b1+b2+…+bi，i≥1 (13) 而且b1,b2,…,bi相互独立,有相同分布B(t),所以 (11) (12) 60－* * 计算机科学与工程学院　顾小丰 证明(续2) P{b(i)≤t}＝B(i)(t)，i≥1,t≥0 (14) 然后取拉普拉斯变换，经过整理即得式(9)。 　　同理，当j≥1时，有 Pij(t)＝P{时刻t处于忙期；N(t)=j|N(0)=i} i≥0 (15) 　　于是，当i＝0时， (16) 60－* * 计算机科学与工程学院　顾小丰 证明(续3) 当i≥1时， (17) 类似Qj(t)的讨论，有 (18) 于是 (19) 然后取拉普拉斯变换，经过整理即得式(10)。 60－* * 计算机科学与工程学院　顾小丰 定理3 令pj＝ P{N(t)=j}，j≥0，则对任意初始状态，有 当?＝?/?≥1时，pj＝0，=0,1,2,…… 当?＝?/?＜1时，{pj，j ≥ 0}，且构成概率分布，有 p0＝1－ ? 其中当j≤0时，有 60－* * 计算机科学与工程学院　顾小丰 推论 令P(z)＝ ，则当?＜1时， 在M/G/1/∞排队系统中，当?＜1时， 60－* * 计算机科学与工程学院　顾小丰 §7.3 等待时间与逗留时间 假定顾客是先到先服务。 令Wq(t)与W(t)在统计平衡下，顾客的等待时间分布函数和逗留时间分布函数，且它们的拉普拉斯－司梯阶变换为 定理 对M/G/1/?排队系统，在?1下，有 其中2)称为扑拉克－辛钦公式； 60－* * 计算机科学与工程学院　顾小丰 证明 显然，在统计平衡下，顾客服务完毕离开系统时留在系统中的顾客数应等于在该顾客的逗留时间内到达的顾客数，即 于是 即 P{在该顾客的逗留时间内到达j个} 60－* * 计算机科学与工程学院　顾小丰 证明(续) 令s＝?(1-z)得 因为逗留时间W等于等待时间Wq加上服务时间?，即W＝Wq+?，且Wq与?相互独立，因此W的概率密度为Wq的概率密度和?的概率密度的卷积，再利用卷积的拉普拉斯变换等于拉普拉斯变换的乘积，得 即 60－* * 计算机科学与工程学院　顾小丰 推论1 令 表示服务时间分布G(t)的平衡分布， 则等待时间分布函数Wq(t)为 其中 证明 令 ，则 ，R(s)0，于是 显然，当?＜1时，其模