具有工作休假和休假中断的M/M/1重试排队系统策略分析
Equilibrium of M/M/1 Retrail Queue System with Working Vacations and Vacation Interruption
摘要: 本文对具有工作休假和休假中断的M/M/1重试排队进行了研究。在队列中,顾客根据服务台是否被占用,服务台是否休假的情况,选择是否进入重试空间。通过对重试系统进行拟生灭过程研究并利用矩阵几何解法求出系统的性能指标,给出了顾客均衡和最优进队策,并给出均衡策略和最优策略下的社会均衡收益和社会最优收益。通过数值算例,比较了不同信息水平下的策略和收益。
Abstract: This paper studies M/M/1 retrail queue with working vacations and vacation interruption. In the queue, customers choose whether to enter the retrial orbit according to whether the server is oc-cupied and whether the server is on vacation. By studying the quasi-birth-death process of the retrail system and using the matrix geometric solution to obtain the performance index of the system, the customer equilibrium and the optimal queue strategy are given, and the social equi-librium income and social optimal income under the equilibrium strategy and optimal strategy are given. Through numerical examples, strategies and benefits under different information levels are compared.
文章引用:张晨希. 具有工作休假和休假中断的M/M/1重试排队系统策略分析[J]. 应用数学进展, 2022, 11(3): 1140-1149. https://doi.org/10.12677/AAM.2022.113123

1. 引言

在过去的几十年中Naor [1] 对客户的平衡和社会最优排队策略进行了深入研究,重试和休假的排队系统也随之发展。重试排队的通用模型、方法、结果、示例和应用可以在Artalejo和Corral以及Tian和Zhang中找到 [2] [3]。Wang,Zhang和Huang研究了在N策略下的重试排队的策略分析和优化 [4]。近年来,Li和Tian首先在文 [5] 中介绍,并研究了带有工作休假和假期中断的M/M/1排队,当系统在工作休假期服务完一个顾客后,若发现系统中仍有顾客,此时,系统中止休假,进入正常的服务状态,否则继续休假。Wang和Zhang考虑了单工作休假的马尔可夫队列中的均衡策略 [6]。此外,一旦系统的某些索引,例如:客户数量,在工作休假期间达到一定的价值。可以假设休假中断是在服务完成瞬间发生的。休假排队模型在计算机系统、通信系统和管理工程等领域都有重要的应用。对于假期中断模型,而后李继红、李文焘和田乃硕研究了带有部分工作休假和休假中断的M/M/c排队 [7]。在M/M/1重试队列中,Do研究了具有工作休假和恒定重试率的均衡客户行为 [8]。在离散时间下,重试空间的休假中断和工作休假的策略分析问题和可以参考Tao Li的文献 [9]。Li,Liu和Wang研究了在GI/M/1重试排队中带有启动期的单重工作休假和休假中断模型和在GI/M/1重试排队中带有伯努利策略的工作休假和休假中断模型 [10]。

2. 模型描述

在本文中,我们考虑具有工作休假和休假中断的M/M/1的重试排队,设:新顾客的到达形成强度为 λ 的泊松过程。当系统不在休假时的服务速率为 μ 的指数分布。如果服务台忙,到达顾客可能会加入到无限大的重试空间,当重试空间不为空时,重试遵循速率为 α 的Posion过程。服务规则为FCFS。

如果重试空间上没有任何顾客,则单个服务台在客户离开系统时开始工作休假。休假时间服从参数 θ 的指数分布。在休假期间,占用服务台的顾客以速率 η 接受服务( η < μ ),在服务完成的瞬间,服务器将停止休假。

I ( t ) 为t时刻重试空间中的顾客数, J ( t ) 为t时服务台的状态.在单一服务台的条件下有四种可能的状态如下:

J ( t ) = { 0 , , 1 , , 2 , , 3 , .

所有的顾客都遵循一个混合的策略“当服务台的状态为 j ( j = 0 , 1 , 2 , 3 ) 时,顾客选择进入系统的概率为 q j ”。假设到达时间、重试时间、服务时间、休假时间是相互独立的。

假定顾客到达时自己决定是否进入排队.一旦进入排队,中途退出是不允许的,每一个顾客完成服务都会有一个收益R,同时,当顾客进入系统,顾客需要因在系统中逗留(包括在重试空间中逗留和服务区域内逗留)而产生的一个单位时间的等待费用C。

拟生灭过程模型

当遵循混合策略“当服务台的状态为 j ( j = 0 , 1 , 2 , 3 ) 时,顾客选择进入系统的概率为 q j ”时, { I ( t ) , J ( t ) } 是状态空间 Ω = { ( i , j ) , j 0 , i = 0 , 1 , 2 , 3 } 的马尔科夫过程。令 λ v = λ q 0 λ b = λ q 2

按字典顺序排列上述状态,则无穷小生成元矩Q阵被写成如下的分块三对角矩阵

Q = ( A 0 C B A C ) ,

由于矩阵Q的分块结构,称 { I ( t ) , J ( t ) } 为QBD过程。

3. 稳态性能分析

因为矩阵D可约,在文献 [11] 中的定理7.3.1中给出QBD过程的正常返条件,经过行列变换后,QBD是正常返的当且仅当

v ( 0 α 0 0 ) e > v ( 0 0 0 λ q 3 ) e ,

其中 e = [ 1 1 1 ] T ,v是 { v ( λ b α λ b + α μ μ ) = 0 v e = 1 的解。

故QBD是正常返的当且仅当 α μ > ( λ b + α ) λ q 3

定理1 如果 α μ > ( λ b + α ) λ q 3 ,则拟生灭过程 { Q ( t ) , J ( t ) } 的稳态分布可以表示为

{ π k 0 = 0 , k 1 π k 1 = π 01 r 1 k , k 0 π k 2 = π 01 ( r 2 r 1 k 1 + r 3 r 4 r 5 r 1 ( r 5 k 1 r 1 k 1 ) ) + π 03 r 4 r 5 k 1 = 0 , k 1 π k 3 = π 01 r 3 r 5 r 1 ( r 5 k r 1 k ) + π 03 r 5 k , k 0

证明 使用 [11] 中的矩阵几何解法,有

π k = π 0 R k , k 1

其中

B [ R ] = ( A 0 C B R A + B ) , R = ( 0 0 0 0 0 r 1 r 2 r 3 0 0 0 0 0 0 r 4 r 5 ) .

r 1 = λ q 1 λ q 1 + η + θ , r 2 = λ q 1 α , r 3 = λ q 1 ( α θ + α λ q 1 + η λ b + θ λ b + λ q 1 λ b ) α μ ( λ q 1 + η + θ ) , r 4 = λ q 3 α , r 5 = λ q 3 ( λ b + α ) α μ .

由正规化条件

{ π 0 ( A 0 + R B ) = 0 , π 0 ( I R ) 1 e = 1.

得到

{ π 00 = η + θ + λ q 1 ( 1 1 r 1 + r 3 + r 3 r 4 r 2 ( 1 + r 5 ) ( 1 + r 1 ) ( 1 + r 5 ) ( θ + α r 2 ) ( 1 + r 4 ) ( μ + λ q 3 α r 4 ) ( 1 + r 5 ) + η + θ + λ q 1 λ v ) λ v , π 01 = ( 1 1 r 1 + r 3 + r 3 r 4 r 2 ( 1 + r 5 ) ( 1 + r 1 ) ( 1 + r 5 ) ( θ + α r 2 ) ( 1 + r 4 ) ( μ + λ q 3 α r 4 ) ( 1 + r 5 ) + η + θ + λ q 1 λ v ) 1 , π 03 = θ + α r 2 ( μ + λ q 3 α r 4 ) ( 1 1 r 1 + r 3 + r 3 r 4 r 2 ( 1 + r 5 ) ( 1 + r 1 ) ( 1 + r 5 ) ( θ + α r 2 ) ( 1 + r 4 ) ( μ + λ q 3 α r 4 ) ( 1 + r 5 ) + η + θ + λ q 1 λ v ) .

p j = k = 0 π k , j 为系统在状态j时的概率,可以得到服务台忙的概率为

P b = p 1 + p 3 = P { J = 1 } + P { J = 3 } = 1 r 5 + r 3 ( 1 r 5 ) ( 1 r 1 ) π 01 + 1 1 r 5 π 03 .

服务台空闲的概率是

P f = p 0 + p 2 = P { J = 0 } + P { J = 2 } = k = 0 π k 0 + k = 1 π k 2 = 1 P b .

设L为重试空间上的顾客数,得

E [ L ] = k = 0 k ( π k 0 + π k 2 ) + k = 1 k ( π k 1 + π k 3 ) = π 00 + π 01 ( r 1 + r 2 ) ( 1 r 5 ) 2 + r 3 r 4 ( 2 r 1 r 5 ) + r 3 ( 1 r 1 r 5 ) ( 1 r 1 ) 2 ( 1 r 5 ) 2 + π 03 r 4 + r 5 ( 1 r 5 ) 2 .

L s 为系统中的顾客数量,则有

E [ L s ] = k = 1 k ( π k 0 + π k 2 ) + k = 0 ( k + 1 ) ( π k 1 + π k 3 ) = E [ L ] + P b

顾客在到达时发现服务台处于状态j的平均逗留时间 T ( j , q 1 , q 3 ) 可以表示为

T ( 0 ) = μ + θ ( η + θ ) μ ,

T ( 1 , q 1 ) = θ + μ μ ( η + θ ) + λ b + α + μ 1 r 1 ,

T ( 2 ) = 1 μ ,

T ( 3 , q 1 , q 3 ) = 1 μ + λ b + α + μ α μ ( π 01 r 3 ( r 5 r 1 ) 2 + π 03 ) ( 1 1 r 5 π 01 r 3 ( 1 r 1 ) 2 ) ( 1 r 1 ) ( 1 r 5 ) π 03 ( 1 r 1 ) + π 01 r 3 .

因此,当服务台在状态j时到达时,决定加入系统的客户的预期净利润为

S e ( j , q 1 , q 3 ) = R C T ( j , q 1 , q 3 ) , ( j = 0 , 1 , 2 , 3 ) .

4. 完全不可视的情形的均衡策略和社会最优解

假设顾客不知道服务台是否在忙或是否在休假,此时顾客进入系统的混合策略是:客户进入系统的概率为 q j = q ( i = 1 , 3 ) ,在这种情况下,顾客的有效到达率是 λ * = λ q 。存在一个唯一得混合纳什均衡策略,顾客以 q e 的概率进入队列。

设W为顾客重试空间内的等待时间,因此根据Little’s公式,有

E [ W ] = E [ L ] / λ q .

则顾客在到达时决定进入服务器的平均逗留时间为

E [ W s ] = E [ L s ] / λ q ,

因此,该顾客决定进入系统的净收益为

S e ( q ) = R C E [ W s ] ,

社会最优解为

S s o c ( q ) = λ q ( R C E [ W s ] ) .

通过社会收益最大化可以得到顾客的最优进队概率 q * ,令x是 S s o c ( q ) = 0 的解,则 q * = max { 0 , min ( x , 1 ) }

5. 数值分析

在完全不可见的情况下,图1~5为顾客均衡进队概率和最优进队概率。不同参数对顾客的均衡进队概率 q e 和最优进队概率 q * 的影响,在图1图2中显示服务回报R和休假时的服务速率 η 越大,进队概率越大。在图3图4中显示随着休假率 θ 和重试率 α 的越大,顾客进队概率越大,这是因为,随着休假期时间的减少和重试率的增大,服务员可以更快的进入忙期,因此可以有更多的顾客可以进入系统。

Figure 1. Probability of entering the system C = 1 , α = 2 , λ = 0.6 , μ = 1 , θ = 0.1 , η = 0.1

图1. 进队概率 C = 1 , α = 2 , λ = 0.6 , μ = 1 , θ = 0.1 , η = 0.1

Figure 2. Probability of entering the system C = 1 , α = 2 , λ = 0.6 , μ = 1 , θ = 0.1 , η = 0.1

图2. 进队概率 C = 1 , R = 9 , α = 2 , λ = 0.6 , μ = 1 , η = 0.1

Figure 3. Probability of entering the system C = 1 , R = 9 , λ = 0.6 , μ = 1 , θ = 0.1 , η = 0.1

图3. 进队概率 C = 1 , R = 9 , λ = 0.6 , μ = 1 , θ = 0.1 , η = 0.1

Figure 4. Probability of entering the system C = 1 , R = 9 , α = 2 , λ = 0.6 , μ = 1 , θ = 0.1

图4. 进队概率 C = 1 , R = 9 , α = 2 , λ = 0.6 , μ = 1 , θ = 0.1

在完全不可见的情况下,研究了不同参数对顾客的均衡收益和最优收益的影响。在完全不可见排队中,顾客的均衡策略为 q e ,顾客遵循均衡策略时,收益用 S s o c ( q e ) 表示。顾客遵循最优策略 q * 时,收益用 S s o c ( q * ) 表示。在完全不可见排队中,顾客均衡收益和最优收益的数值分析具体算例如图5~8所示。

Figure 5. Social equilibrium benefit and optimal benefit C = 1 , α = 2 , λ = 0.6 , μ = 1 , θ = 0.1 , η = 0.1

图5. 社会均衡收益与最优收益 C = 1 , α = 2 , λ = 0.6 , μ = 1 , θ = 0.1 , η = 0.1

Figure 6. Social equilibrium benefit and optimal benefit C = 1 , R = 9 , λ = 0.6 , μ = 1 , θ = 0.1 , η = 0.1

图6. 社会均衡收益与最优收益 C = 1 , R = 9 , λ = 0.6 , μ = 1 , θ = 0.1 , η = 0.1

Figure 7. Social Equilibrium Benefit and Optimal Benefit C = 1 , R = 9 , λ = 0.6 , μ = 1 , θ = 0.1

图7. 社会均衡收益与最优收益 C = 1 , R = 9 , λ = 0.6 , μ = 1 , θ = 0.1

Figure 8. Social Equilibrium Benefit and Optimal Benefit C = 1 , R = 9 , α = 2 , λ = 0.6 , μ = 1 , η = 0.1

图8. 社会均衡收益与最优收益 C = 1 , R = 9 , α = 2 , λ = 0.6 , μ = 1 , η = 0.1

6. 定价策略

在完全不可视排队中,服务员对于进入系统的顾客费用为 ρ ,则顾客的均衡策略满足 R ρ C E ( W s ) = 0 。服务员的收益 Π s = λ q ρ 。顾客满足均衡收益时

ρ = R C E ( W s )

令上式和 S s o c ( q ) 对比发现 Π s = S s o c ( q ) 。因此,我们可以通过让系统收取一定的费用促使顾客以最优策略 q * 进入系统,同时也使服务员的收益最大化。同时,最优策略 q * 也是顾客得均衡策略,最优定价为 ρ * = R C E ( W s ( q * ) ) ,服务员收益最大化为 Π s = S s o c ( q * )

7. 结论

本文研究了具有工作休假和休假中断的M/M/1重试排队。顾客使用系统提供的信息来决定是进入系统还是止步。在不可见排队中过数值实例比较了均衡策略和社会最优策略,均衡策略下的社会收益和社会最优收益。均衡策略基本上大于社会最优策略,在不可见排队中均衡策略基本上大于社会最优策略,当服务员收取一定的费用时,可以促使顾客以社会最优策略进入系统。

参考文献

[1] Naor, P. (1969) The Regulation of Queue Size by Levying Tolls. Econometrica, 37, 15-24.
https://doi.org/10.2307/1909200
[2] Artalejo, J.R. and Gómez Corral, A. (2008) Retrial Queueing Systems. Springer, Berlin.
https://doi.org/10.1007/978-3-540-78725-9
[3] Tian, N., Li, J. and Zhang, Z. (2009) Matrix Analytic Method and Working Vacation Queues—A Survey. International Journal of Information and Management Sciences, 20, 603-633.
[4] Wang, J., Zhang, X. and Huang, P. (2017) Strategic Behavior and Social Optimization in a Constant Retrial Queue with the N-Policy. European Journal of Operational Research, 256, 841-849.
https://doi.org/10.1016/j.ejor.2016.06.034
[5] Li, J. and Tian, N. (2007) The M/M/1 Queue with Working Va-cations and Vacation Interruptions. Journal of Systems Science and Systems Engineering volume, 16, 121-127.
https://doi.org/10.1007/s11518-006-5030-6
[6] Zhang, Y. and Wang, J. (2017) Equilibrium Pricing in an M/G/1 Retrial Queue with Reserved Idle Time and Setup Time. Applied Mathematical Modelling, 49, 514-530.
https://doi.org/10.1016/j.apm.2017.05.017
[7] 李继红, 李文焘, 田乃硕. 带有部分工作休假和休假中断的M/M/c排队[J]. 数学的实践与认识, 2009, 39(8): 129-134.
[8] Do, N.H., Do, T.V. and Melikov, A. (2020) Equilib-rium Customer Behavior in the M/M/1 Retrialqueue with Working Vacations and a Constant Retrial Rate. Operational Research, 20, 627-646.
https://doi.org/10.1007/s12351-017-0369-7
[9] Li, T., Wang, Z. and Liu, Z. (2012) Geo/Geo/1 Retrial Queue with Working Vacations and Vacation Interruption. Journal of Applied Mathematics and Computing, 39, 131-143.
https://doi.org/10.1007/s12190-011-0516-x
[10] Li, T., Wang, Z. and Liu, Z. (2011) The GI/M/1 Queue with Start-Up Period and Single Working Vacation and Bernoulli Vacation Interruption. Applied Mathematics and Computation, 218, 4401-4413.
https://doi.org/10.1016/j.amc.2011.10.017
[11] Latouche, G. and Ramaswami, V. (1999) Introduction to Matrix Analytic Methods in Stochastic Modelling. ASA-SIAM Series on Applied Probability. SIAM, Philadelphia.
https://doi.org/10.1137/1.9780898719734