1. 引言
随着排队系统理论体系的发展,大量学者对不同的排队模型进行了研究。Liu, Y.N.和Whitt, W. [1] 建立了在服务时间为指数分布的情况下,多服务台队列模型的高负荷极限。Whitt, W. [2] 考虑
服务时间分布,建立了
队列模型中队长、等待时间及溢出随机过程的高负荷极限。Pang, G.D., Whitt, W. [3] 通过建立双参数随机过程的高负荷极限,得到
队列的高负荷逼近。Liu, Y.N.和Whitt, W. [4] 用确定的流体模型来逼近多服务台
队列模型,并确定与时间相关的性能函数。Liu, Y.N.和Whitt, W. [5] 建立了
在高负荷下的泛函弱大数定律。Talreja, R., Whitt, W. [6] 通过建立二维的Puhalskii首达时间的不变性定理,得到带有放弃的多服务台队列的等待时间的高负荷极限。刘建民 [7] 通过引入奥伦斯坦–乌伦贝克过程和布朗运动,在高负荷条件下,得到
队列中负荷过程和队长过程的收敛极限。Whitt, W. [8] 建立了
队列模型中队长的扩散逼近,通过用扩散过程的稳态分布得到队列模型测度指标的近似值,重点研究了稳态延迟率。谢瑞金 [9] 主要研究了
队列模型中等待时间在高负荷下的随机过程极限。Halfin, S., Whitt, W. [10] 证明了关于s个服务台队列的两种不同的高负荷极限定理。Puhalskii, A.A. [11] 研究了在高负荷条件下,带有顾客放弃的具有周期性的多服务台队列中顾客数的极限。根据文献 [1],建立服务时间分布
服务时间分布的
队列模型,运用随机过程极限 [12] 及概率测度收敛 [13] 的相关知识,对
队列模型中队首等待时间在高负荷期间的高负荷极限进行证明。
2.
队列模型描述
队列模型,具有随时间变化的到达率和服务台数,一般到达过程且满足泛函中心极限定理(FCLT),
服务时间分布(
服务时间分布是由以概率为p的指数分布和以概率为
的零点集混合而成的),顾客放弃服从一般的概率分布,有无穷等待空间且服从先到先服务的服务原则。
令S表示与
服务时间分布相关的量,设
服务时间分布与n是独立的,
服务时间分布的均值为
,
,则负荷强度是关于n的函数,即
,设
服务时间分布中指数部分的均值为
,则有
。设
表示在区间
上的左极限存在的右连续实值函数空间,属于
拓扑,即在区间I上的所有紧子区间中,都可以由连续极限得到一致收敛,
表示依分布收敛。
考虑
队列模型的一个序列,指数为n。在第n个模型中,具有一般到达过程,随时间变化的到达率为
,独立同分布(i.i.d.)的
服务时间分布其累积分布函数(cdf)为
,随时间变化的服务台数为
,其中
表示大于等于x的最小整数,顾客在队列中等待进入服务的耐心时间是i.i.d.且具有一般的cdf F,假设F是可微的,其概率密度函数(pdf)为f,即
,有
和
。
设
表示在
时间间隔内到达的顾客数,假设到达过程的序列
满足具有随时间变换布朗极限的FCLT,即当
时,有
(1)
其中
为标准的布朗运动(下标
表示与到达过程相关),
表示在
时间间隔内的总到达率,即
,
是关于到达过程变量的参数。
设
表示系统中的随时间变化的总顾客数(包括在服务中和队列中等待的顾客数),有
(2)
其中,
表示均值为m,方差为
的高斯分布,
为确定的流体逼近,
是均值为0,方差为
的高斯过程。
设
表示t时刻在服务中的总顾客数;
表示t时刻在队列中的总顾客数;
表示t时刻在系统中的总顾客数;
表示t时刻的队首等待时间(HWT),即t时刻在队列最前面顾客的等待时间;
表示t时刻的虚等待时间(PWT),即t时刻新到达顾客后不放弃的等待时间;
表示在
时间间隔内放弃的顾客数;
表示在
时间间隔内服务完成后离开的顾客数;
表示进入队列但没有进入服务,按时间x放弃的比例。
假设服务台变化函数
是可行的,即当
减小时,不会有顾客被强制退出服务系统。
由流量守恒可得,当
时,有
(3)
3. 主要结果及证明
假设在该队列模型中,
服务时间分布中指数服务分布的部分称为“忙期”,零点集分布部分称为“闲期”。假设系统中“忙期”与“闲期”是交替进行的。
假设系统是从忙期开始,为方便研究,给定一个特殊的初始条件,即所有服务台都是忙的且队列为空,即系统中的初始人数为
,且有
。
假设在忙期间隔
内,进入服务的速率大于0,顾客进入服务的速率是由服务台变空闲的量决定的,则当
,有
(4)
在忙期间隔的服务速率为:
。
其中
,
表示在t时刻进入服务的速率,
表示初始进入服务的速率。
在忙期间隔内,队长主要在假设没有人进入服务的情况下通过队列中人数密度
来分析,假设队列初始时为空队列,则
,
。
由文献 [4] 推论2可知,队长的密度为
(5)
引理1 (文献 [4] )考虑一个高负荷间隔
,如果
,
,且当
时,
成立,则队首等待时间w是常微分程
(6)
关于任何初值
在
上的唯一解。
此外,w在
上是利普希茨连续的,即
,
,
,有
。
w是右可微的,右导数为
由式(6)给出。
w也是左可微的,左导数为
(7)
由上可知,在除了有限多个点t外,w是处处连续可微的。
引理2 (文献 [4] )考虑一个高负荷间隔
,且
,
,且当
时,
成立,
。若
,
,则
满足
或
,
(8)
此外,
在点t是连续的,当且仅当
,使得
。反之也成立,当且仅当
,有
,若
,则
是连续的。
由引理1,引理2可知,在
队列模型中HWT w是下面常微分方程(ODE)的唯一解
(9)
由上述假设,可知上式中的分子与分母都是大于0的,因此有
在忙期期间,
,有
由式(9)的ODE可得
,
(10)
由引理2可知,PWT
是式(8)的唯一解,由式(8)也可以解得HWT w。
由式(4)可知,
是连续函数,事实上,w和
除在有限多个点外都是可微的,由上式可得其导数为:
或
(11)
由式(4)可知,上式是有界的。
在忙期间隔内,服务台都是满的,则在
时间间隔内完成服务离开的顾客数
,其中
。
在
时间间隔内放弃的顾客数为
,其中
(12)
是关于累积分布函数F的风险率函数,因为f是
中的元素,对所有x,有
,则
是有界的。
因为假设系统开始时为忙期,则忙期间隔为
,
,闲期间隔为
,
,有限多个这样的间隔可以覆盖整个区间
。现在用递归的方法考虑这些间隔,为方便表示,下文中记作
。
先考虑一个忙期间隔
,假设当
时,
,有
。
通过分析进入服务的顾客数来研究队首等待时间。
设
表示在
时间间隔内进入服务的顾客数,
,
,有
。则进入服务的人数与因完成服务而离开造成服务台空闲和服务台的变化量之和是渐进相等的。
即,当
时,
(13)
对
进行刻画,有
,
(14)
在
中,当
时,有
,
(15)
其中
,
。
关于
还有另一种表示方式:因为进入服务的顾客是等待时间最长的顾客,
表示在
时间间隔内进入服务的顾客数 (16)
其中
表示在模型n中第i个顾客到达的时间;
表示第i个顾客的等待时间。
设
,若时间间隔足够小的时候,放弃的人数可以忽略。
设
表示在
内从队列前面离开的顾客数,
表示
中放弃的顾客数
则
(17)
其中
(18)
因为队列中顾客的等待时间是以速率1增加的,则有
。
下证
是可以忽略的。
令
表示在t时刻在系统中的顾客,在
时间间隔内没有进入服务,在
时刻之前会放弃的顾客数。
可知,
的顾客数一定会进入服务,因为在
时刻之前没有放弃。
首先考虑到达时间
,
,则
则
,
(19)
由式(13)和(16)等价,可以对队首等待时间
进行描述。
如果系统一直处于忙期,可以使用无穷服务台模型,如式(13)中,其误差可以忽略。
我们可以得到式(18)的另一种表达式
(20)
其中
,
,
。
根据文献 [3] 可知
(21)
其中
。
(22)
定理(等待时间的泛函弱大数定律)
考虑一个忙期间隔
。若
成立,且
,则在
中,当
时,有
(23)
其中w为式(9)中连续确定性流体模型函数的极限。
证明:为方便证明,我们考虑特殊的初始条件,即所有服务台都是忙的且队列为空。可知在忙期间隔离去过程与速率为
的非齐次泊松过程是渐进相等的。要证
。通过利用判别紧性的方法(参考文献 [12],第11.6节)来证W的泛函弱大数定律,我们需要先证明序列
在
上是胎紧的,然后证明每个收敛子序列的极限相等。
先证
的胎紧性
首先序列
是有界的,因为
且
最大是以速率1增加的。所考虑的忙期间隔是在一个较大的有限间隔
中,因为系统假设是从忙期间隔开始且队列为空,则
。
在闲期间隔内,
仍然成立,所以
。
因为对所有的t,
,则
的连续模有界。
设
,在
中,
,
则
. (24)
由式(11)可知,
,则
是可以忽略的。
由对
和F的假设,可知当
时,
的被积函数是有界的。
有
(25)
所以
。
则有
,K为常数。 (26)
即序列
是胎紧的。
再说明
收敛子序列的极限,由胎紧性可知每个序列都有一个收敛的子序列,则要证
,现在只需证
的每个收敛子序列的极限为w。即证w满足下式
或
因为
是上面方程的唯一解。
由式(13)和(16)可得
,
(27)
在上式中,当
时,其极限接近于
。
我们还需要考虑从队列中离开的顾客数。
与
是渐进相等的。
对
应用
和连续映射定理可知,在
中,
(28)
也就是说,一旦我们知道极限W就可以确定
的极限。
由上可得,
(29)
在给定极限W的条件下,
和
极限可以确定。
则
(30)
由式(19)可知,当
任意小时,
可以忽略。
则
(31)
由引理1可知W满足式(9),因为常微分方程有唯一解,则
。
因为以上结论对每个收敛子序列的极限都成立,则
。
因为
,可以确定
和
的极限,即用
代替
。
即
可以表示为
或
.
4. 结束语
本文是在特殊初始条件下对
队列模型进行研究。通过将两种不同表达式等价,对队首等待时间进行表示。先证明队首等待时间序列的胎紧性,再说明每个收敛子序列收敛到同一个极限来证明队首等待时间的泛函弱大数定律。
参考文献