排队论及其应用Lecture6一般到达或服务模型84.ppt

排队论及其应用

Lecture6 一般到达或服务模型;M/G/1排队模型;离散时间随机过程{Xi}具有Markov性质

证明：

这里An+1是服务器服务第n+1个客户这段时间S(n+1)内到达排队系统的客户数量。An+1和S(n+1)均为独立随机变量，稳态下与n无关。用A和S来表示。有

A和S相互独立，所以;所以，对Xn=i≥1

上式只和i与j有关，说明{Xi}具有Markov性质

对Xn=0，类似可以证明

;M/G/1稳态解;两边平方

再取期望，得

由于，可得

;现在求解E[A2]

所以

综上

对于M/G/1，客户离开时的系统参数均值=任意时刻的系统参数均值（将证明这一点）;M/G/1排队系统中平均客户数量

这个公式被称为Pollaczek-Khintchine等式（PK等式，波拉切克-辛钦等式）

F.Pollaczek：法国数学家

A.Y.Khinchin：苏联数学家（现代概率理论奠基人之一）

由Little’sLaw：

平均逗留时间：

平均排队时间：

平均排队客户数：;例子：;客户离开时的稳态系统状态;由此可以得到