Recursive Solution of Queue Length Distribution for Geo/G/1 Queue with Delayed Min(N, D)-Policy

Yingyuan WEI, Yinghui TANG, Miaomiao YU

Journal of Systems Science and Information ›› 2020, Vol. 8 ›› Issue (4) : 367-386.

PDF(331 KB)
PDF(331 KB)
Journal of Systems Science and Information ›› 2020, Vol. 8 ›› Issue (4) : 367-386. DOI: 10.21078/JSSI-2020-367-20
 

Recursive Solution of Queue Length Distribution for Geo/G/1 Queue with Delayed Min(N, D)-Policy

Author information +
History +

Abstract

In this paper we consider a discrete-time Geo/G/1 queue with delayed Min(N, D)-policy. Using renewal process theory, total probability decomposition technique and z-transform, we study the transient and equilibrium properties of the queue length from an arbitrary initial state, and obtain both the recursive expressions of the transient state queue length distribution and the steady state queue length distribution at arbitrary time epoch n+. Furthermore, we derive the important relations between equilibrium queue length distributions at different time epochs n-, n and n+. Finally, we give some numerical examples about capacity decision in queueing systems to demonstrate the application of the analytical results reported in this paper.

Key words

delayed Min(N, D)-policy discrete-time queue / total probability decomposition technique / z-transform / queue length distribution / system capacity optimum design

Cite this article

Download Citations
Yingyuan WEI , Yinghui TANG , Miaomiao YU. Recursive Solution of Queue Length Distribution for Geo/G/1 Queue with Delayed Min(N, D)-Policy. Journal of Systems Science and Information, 2020, 8(4): 367-386 https://doi.org/10.21078/JSSI-2020-367-20

1 Introduction

Parallel to continuous-time queues, discrete-time queues are more suitable to model and analyze the digital communication system, and thus it has gained importance due to its applicability in the performance analysis of telecommunication systems. Classical examples are synchronous communication systems (slotted ALOHA) or packet switching systems with time slotting. Currently, ATM multiplexer in the broadband integrated services digital network (B-ISDN), circuit-switched time-division multiple access (TDMA) systems and slotted carrier-sense multiple access (CSMA) protocols have become a powerful incentive for the study of discrete-time queueing systems.
Queueing systems with control policies have been well studied by numerous researcher. Earliest works were the N-policy of Yadin and Naor[1], the D-policy of Balachandran[2] and the T-policy of Heyman[3]. Since their seminal works, an enormous number of works on the threshold policies and vacation queues have been published.
As is well known, the N-policy stipulates that the idle server begins to serve the customers only when N customers have accumulated in the system. Under the D-policy, the idle server begins to operate when the total workload (i.e., the sum of the service times of the waiting customers) exceeds D. Under the T-policy, the server takes a vacation of fixed length T. After the server returns from vacation, he begins to serve the customers if there is one or more present. If not, he takes another vacation of length T. The process repeats in this way until the server finds at least one customer upon the return from a vacation. If T is a random variable, the system becomes the multiple vacation system of Levy and Yechiali[4].
N-policy is most often combined with vacations. Hur and Paik[5] studied the effect of different arrival rates on the N-policy M/G/1 queue with server setup, and derived the steady state queue length, waiting time and the optimal value of N. Wang and Huang[6] analyzed the p,N-policy M/G/1 queue with a removable and unreliable server, and used the maximum entropy approach to develop the approximate formulae for the probability distributions of the number of customers and the expected waiting time in the system. Tang, et al.[7] studied the queue size of M/G/1 queueing system with N-policy and setup times. As for discrete time case, Wei, et al.[8] considered the Geo/G/1 queueing system with delayed N-policy. Recently, Wei, et al.[9] further investigated the N-policy queue with setup time and variable input rate. The recursive expressions of the z-transformation of the transient queue length distribution and the recursive expressions of the steady state queue length distribution at arbitrary time epoch are both obtained. Luo, et al.[10] obtained the recursive solution of queue length for Geo/G/1 queue with N-policy, and the important relations between the steady state queue length distributions at different time epochs n, n and n+ are discovered. Moreover, under the renewal input process, Lim, et al.[11] studied the GI/Geo/1 queue with N-policy, the steady state queue length and the waiting time distributions are derived by them.
The pioneering works on the analysis of M/G/1 queue with D-policy were carried out by Chae and Park[12] and Artalejo[13]. More works concerning D-policy can be found in Lee and Beak[14], Wang[15], Lee, et al.[16], and Wei, et al.[17].
Recently, most works on the dynamic control of the queueing systems are concerned with joint policies where two or more policies are combined. Lee and Seo[18] considered the M/G/1 queue under the Min(N,D)-policy and performed some cost optimization. Lee, et al.[19] considered the MAP/G/1 queue under the Min(N,D)-policy and analyzed the queue length, workload, and waiting time. Tang, et al.[20] studied the M/G/1 queueing system with Min(N,V)-policy based on multiple server vacations and obtained the queue length distribution.
In this paper, we consider the discrete-time Geo/G/1 queue under the delayed Min(N,D)-policy. To the best of the authors' knowledge, this paper is the first study on the discrete-time Geo/G/1 queue under the delayed Min (N,D)-policy.
The consideration of delayed Min(N,D)-policy is not only for generalization in mathematics. In fact, it approximates some real world situations more closely. For example, this sort of queue occurs in the area of transportation systems. In a courier service a worker usually needs some preparation and duty-transition procedure besides his/her primary express delivery service. The preparation and duty-transition procedure are needed to improve efficiency. It is desirable that a truck serving a particular origin-destination pair should carry more than one package on a trip. Hence, if there is less than N packages waiting it waits until the N-th package arrives. However, in order to maintain good business it does not want to keep packages delayed too long if there is not up to N available. Hence, if the total backlog of the delivery service time of the waiting packages exceeds D the truck departs even if there is less than N packages.
In this paper, we firstly define server busy period and system idle period respectively, and discuss the probability distribution of the transient state queue length in a server busy period by employing the total probability decomposition technique. Then starting from an arbitrary initial state, we discuss the probability distribution of the transient state queue length at arbitrary time epoch n+ and also report the recursive expression for the steady state queue length distribution. It is worthwhile to point out that through the traditional analysis techniques (e.g., embedded Markov chain and supplementary variable techniques) it is very difficult to obtain the recursive expression of the steady state queue length distribution. More importantly, in contrast to the traditional methods, using the analysis technique proposed in this paper, we can easily obtain the recursive formulas of the steady state queue length distribution that are more suited for numerical computations. Furthermore, with the z-transform technique, we derive the probability generating functions of the transient and the steady state distributions of the queue length. Especially, we can obtain some corresponding results of the discrete-time queueing system under some special cases. Finally, by numerical examples, we investigate the sensitivity of variant system parameters on the stationary queue length distribution, and also illustrate the applications of the stationary queue length distribution in the system capacity design.
The rest of the paper is organized as follows. In the next section, the model of the considered queueing system is described. In Section 3, we study the transient state queue length distribution at time epoch n+ during the server busy period. In Section 4, we study the transient state distribution and the steady state distribution of the queue size at arbitrary time epoch n+. Moreover, we also find that the queue length distribution in equilibrium follows the stochastic decomposition discipline under the Min(N,D)-policy. In Section 5, we study the steady state queue length distribution at time epochs n and n, and give the important relationship between the steady state queue length distributions at different epochs n, n and n+. In Section 6, we demonstrate that several queue models are special cases of the queueing model presented in this study. Finally, we give numerical examples in Section 7.

2 Model Formulation

We consider a discrete-time Geo/G/1 queueing system with delayed Min(N,D)-policy. The arrivals at different times are independent from each other. The customers are served one by one. For mathematical clarity, we assume that the model discussed in this paper is a late arrival system with delayed access (LAS-DA) [21], that is, a potential arrival can only take place in (n,n), n=0,1,, a potential service and departure can only take place in (n,n+), n=1,2,. We do not permit a departure at such a time point for a customer who has just arrived the instant previously to an empty system. Furthermore, we suppose that there is no customer arrival in the beginning time interval (0,0) and no departure in (0,0+).
The time between two successive arrivals, denoted by τ follows a geometric distribution with parameter p, and probability mass function (p.m.f.) P{τ=j}=p(1p)j1, j=1,2,, 0<p<1. That is to say, a customer arrives with probability p in each interval (n,n), n=0,1,, and the probability that no customer arrives is 1p. The service times, denoted by χi (i=1,2,), are independent and identically distributed (i.i.d.) random variables with p.m.f. P{χ=j}=gj, j=1,2,, and the probability generating function (p.g.f.) G(z)=j=1gjzj,|z|<1. The average service time is finite and denoted by μ (1μ<).
The policy of this queueing system is delayed Min(N,D)-policy. Whenever the system becomes empty, the server (being in his/her post) will spend some time for preparation and duty-transition procedure before he/she begins to server the customs. The preparation and duty-transition procedure are needed to provide high reliability and improve the system performance. If customers arrive in the preparation (delayed) time, the server will begin to serve the customs immediately until there are no customers remaining in the queue. The length of the delayed time, denoted by Y, is generally distributed. The delayed times are independent and identically distributed (i.i.d.) random variables with p.m.f. P{Y=j}=yj, j=0,1,, and p.g.f. Y(z)=j=0yjzj, |z|<1, and finite mean E(Y) (0E(Y)<) and variance. If no customer arrives in delayed time, the idle server resumes its service if either one of the following two conditions is met, whichever occurs first:
(i) N customers have accumulated in the system, or
(ii) total backlog of the service time of the waiting customers exceeds D,
where N and D denote fixed positive integer, i.e., N,DZ+,Z+ denotes the set of positive integer.
Various stochastic processes involved in the system are assumed to be independent of each other. Furthermore, we suppose that the service begins at once if there are k (k1) customers at initial epoch 0+ (this assumption has no effect on the steady state queue length distribution).
In this paper, let L(n), L(n) and L(n+) denote the queue length at time epochs n, n and n+, e.g., the number of customers present in the system (including the one in service) at time epochs n,n and n+, respectively. R denotes the set of real number.
p¯=1p,f(z)=pz1p¯z,min{a,b}={a,ab,b,a>b,a,bR.

3 Recursive Solution for Transient State Queue Length Distribution at Time Epoch n+ During Server Busy Period

For mathematical clarity, we note that "server busy period" is from the instant when the server begins to serve customers until the system becomes idle again. Let b represent the length of server busy period initiated by only one customer. We have the following Lemma which is also give by Bruneel and Kim[22].
Lemma 1 Let B(z)=j=1P{b=j}zj,|z|<1, then B(z) subjects to the equation B(z)=G((1p+pB(z))z), mean
E[b]={ρp(1ρ), ρ<1,, ρ1,
where ρ=pμ.
Let bi denote the server busy period initiated by i customers, because of the Markovian property of geometric distribution, bi can be expressed as
bi=b1+b2++bi,i=1,2,,
where b1,b2,,bi are independent of each other, and have the same distribution function as b, therefore
j=iP{bi=j}zj=Bi(z),i=1,2,,|z|<1.
"System idle time" is from the instant when the system becomes idle until a new customer arrives. The system idle time of the queueing system is the residual time of arriving interval.
In the remaining part of this section, we will give the distribution of the queue length at time epoch n+ during the server busy period b. Let Qj(n+)=P{b>n+,L(n+)=j},j=1,2, represent the probability that the queueing length equals to j at instant n+ during server busy period b, where the instant n+=0+ is the beginning of the busy period b, and the boundary condition is Q1(0+)=1,Qj(0+)=0,j=2,3,.
Lemma 2 If |z|<1, let qj+(z)=n=0Qj(n+)zn present the p.g.f. of Qj(n+), hence we have the following recursive expressions of qj+(z),
q1+(z)=B(z)[1G(p¯z)][1p¯z]G(p¯z),qj+(z)=1G(p¯z){B(z)n=j1znk=n+1gk(nj1)pj1p¯nj+1+i=1j1qji+(z)Bi(z)[B(z)G(p¯z)m=1ik=m(km)gkzk(pB(z))mp¯km]},  j=2,3,,
where i=1j=0 if j0.
Proof The proof is similar to Theorem 2.1 in [23].

4 Solution for Transient State and Steady State Queue Length Distribution at Time Epoch n+

One of the important operating characteristics in a queueing system is the queue length distribution. In the following subsections, using a new method, we will study the system queue length at different time epochs.
Let Pij(n+)=P{L(n+)=j|L(0+)=i} (i,j=0,1,) be the conditional probability of the queue length, and pij+(z)=n=0Pij(n+)zn represents the p.g.f. of Pij(n+). Since the system is renewal process alternates with server busy period and server idle period, by using renewal process theory and total probability decomposition technique, we obtain the recursive expression of the z-transformation of the transient queue length distribution at any time epoch n+ as follows.
Theorem 1 When N=1 and P{Y=0}=1, or D=1 and P{Y=0}=1, if |z|<1, then we have
pi0+(z)=[B(z)]i1p¯zpzB(z),i=0,1,,
(1)
p0j+(z)=pzqj+(z)1p¯zpzB(z),j=1,2,,
(2)
pij+(z)=k=1iBk1(z)qji+k+(z)+pz[B(z)]iqj+(z)1p¯zpzB(z),i,j=1,2,,
(3)
where B(z) and qj+(z) are determined by Lemmas 1 and 2, respectively.
Proof When N=1 and P{Y=0}=1 or D=1 and P{Y=0}=1, the model discussed in this paper becomes the classical Geo/G/1 queueing system. Thus the process of deduction is similar to the proof in [23].
Theorem 2 When N2 and D2,N,DZ+, if |z|<1, then p00+(z) and pi0+(z) are given by
p00+(z)=11p¯z{1+f(z)B(z)Δ(z)},
(4)
pi0+(z)=[B(z)]i[1p¯z]Δ(z),i=1,2,,
(5)
where B(z) is determined by Lemma 1,
min{N1,D}={N1,N1D,D,N1>D,Cm(D)=P{s=1mχs<D},C0(D)=1,Am(D)=Cm1(D)Cm(D),m=1,2,,min{N1,D},Δ(z)=1f(z)B(z)+Y(p¯z){f(z)B(z)CN1(D)[f(z)B(z)]Nm=1min{N1,D}Am(D)[f(z)B(z)]m}.
Proof Let Sk=i=1kχi,lk=i=1kτi, and S0=l0=0. The system is empty at time epoch n+ if and only if the system is in the "system idle period". Because all of the beginning and ending epochs of server busy period are renewal points, by using renewal process theory and total probability decomposition technique, the conditional probability P00(n+) can be divided into two parts according to whether the first customer arrived before n+. Given that system starts from idle state, we have
P00(n+)=P{0n+<τ^1}+P{τ^1+bn+<τ^1+b+τ^2}+P{0<τ^2Y,τ^1+b+τ^2n+,L(n+)=0}+m=1min{N1,D}P{τ^2>Y0,τ^1+b+τ^2+lm1n+,Sm1<DSm,L(n+)=0}+P{τ^2>Y0,τ^1+b+τ^2+lN1n+,SN1<D,L(n+)=0}=p¯n+t=2nP{τ^1+b=t}p¯nt+t=2n1P{τ^1+b=t}r=1ntP{τ^2=r}l=rP{Y=l}P10((ntr)+)+m=1min{N1,D}Am(D)t=2nmP{τ^1+b=t}r=1ntm+1P{τ^2=r}l=0r1P{Y=l}u=m1ntrP{lm1=u}Pm0((ntru)+)+CN1(D)t=2nNP{τ^1+b=t}r=1ntN+1P{τ^2=r}l=0r1P{Y=l}u=N1ntrP{lN1=u}PN0((ntru)+),
(6)
where τ^k denotes the kth(k1) "system idle time" that the system starts from the initial state L(0+)=0,τ^k follows the same distribution as τ.
For i=1,2,, similarly, we have
Pi0(n+)=t=inP{bi=t}p¯nt+t=in1P{bi=t}r=1ntP{τ^1=r}l=rP{Y=l}P10((ntr)+)+m=1min{N1,D}Am(D)t=inmP{bi=t}r=1ntm+1P{τ^1=r}l=0r1P{Y=l}u=m1ntrP{lm1=u}Pm0((ntru)+)+CN1(D)t=inNP{bi=t}r=1ntN+1P{τ^1=r}l=0r1P{Y=l}u=N1ntrP{lN1=u}PN0((ntru)+).
(7)
Taking the p.g.f. on both sides of the equations (6) and (7), respectively, we have
p00+(z)=11p¯z+f(z)B(z){11p¯z+f(z)[1Y(p¯z)]p10+(z)+Y(p¯z)[CN1(D)[f(z)]NpN0+(z)+m=1min{N1,D}Am(D)[f(z)]mpm0+(z)]},
(8)
pi0+(z)=[B(z)]i{11p¯z+f(z)[1Y(p¯z)]p10+(z)+Y(p¯z)[CN1(D)[f(z)]NpN0+(z)+m=1min{N1,D}Am(D)[f(z)]mpm0+(z)]}.
(9)
Equations (8) and (9) give the relationship between p00+(z) and pi0+(z):
pi0+(z)=[B(z)]i1f(z)[p00+(z)11p¯z],i=1,2,.
(10)
Substituting (10) into (8) gives (4), and furthermore, we get (5).
Theorem 3 When N2 and D2,N,DZ+, if |z|<1,i=1,2,,j=1,2,, min{N,D}1, then p0j+(z) and pij+(z) are given by
p0j+(z)=f(z){qj+(z)+γj(z)Δ(z)},
(11)
pij+(z)=k=1i[B(z)]k1qji+k+(z)+[B(z)]i1γj(z)Δ(z),
(12)
where B(z) and qj+(z) are determined by Lemmas 1 and 2, respectively, Δ(z) has been given in Theorem 2,
γj(z)=f(z)B(z)[1Y(p¯z)]qj+(z)+Y(p¯z){Cj(D)[f(z)]jB(z)1p¯z+CN1(D)[f(z)]Nk=Nj+1N[B(z)]kqjN+k+(z)+m=1jAm(D)[f(z)]mk=1m[B(z)]kqjm+k+(z)+m=j+1min{N1,D}Am(D)[f(z)]mk=mj+1m[B(z)]kqjm+k+(z)}.
Proof For j=1,2,,min{N,D}1,L(n+)=j indicates that epoch n+ locates in server busy period or server idle period with some customers waiting for service, by using the same method as in the proof of Theorem 2, we have
P0j(n+)=P{τ^1n+<τ^1+b;L(n+)=j}+P{0<τ^2Y,τ^1+b+τ^2n+,L(n+)=j}+m=1min{N1,D}P{τ^2>Y0,τ^1+b+τ^2+lj1n+<τ^1+b+τ^2+lj,Sj<D,Sm1<DSm}+m=1min{N1,D}P{τ^2>Y0,τ^1+b+τ^2+lm1n+,Sm1<DSm,L(n+)=j}+P{τ^2>Y0,τ^1+b+τ^2+lj1n+<τ^1+b+τ^2+lj,Sj<D,SN1<D}+P{τ^2>Y0,τ^1+b+τ^2+lN1n+,SN1<D,L(n+)=j}=t=1nP{τ^1=t}Qj((nt)+)+t=2n1P{τ^1+b=t}r=1ntP{τ^2=r}l=rP{Y=l}P1j((ntr)+)+Cj(D)t=2njP{τ^1+b=t}r=1ntj+1P{τ^2=r}l=0r1P{Y=l}u=j1ntrP{lj1=u}p¯ntru+m=1min{N1,D}Am(D)t=2nmP{τ^1+b=t}r=1ntm+1P{τ^2=r}l=0r1P{Y=l}u=m1ntrP{lm1=u}Pmj((ntru)+)+CN1(D)t=2nNP{τ^1+b=t}r=1ntN+1P{τ^2=r}l=0r1P{Y=l}u=N1ntrP{lN1=u}PNj((ntru)+),
(13)
where τ^k,k1 has been given in Theorem 2.
For L(0+)=i,i=1,2,, similarly, we have
Pij(n+)=k=1ir=k1nP{b1+b2++bk1=r}Qji+k((nr)+)+t=in1P{bi=t}r=1ntP{τ^1=r}l=rP{Y=l}P1j((ntr)+)+Cj(D)t=injP{bi=t}r=1ntj+1P{τ^1=r}l=0r1P{Y=l}u=j1ntrP{lj1=u}p¯ntru+m=1min{N1,D}Am(D)t=inmP{bi=t}r=1ntm+1P{τ^1=r}l=0r1P{Y=l}u=m1ntP{lm1=u}Pmj((ntru)+)+CN1(D)t=inNP{bi=t}r=1ntN+1P{τ^1=r}l=0r1P{Y=l}u=N1ntrP{lN1=u}PNj((ntru)+).
(14)
Taking the p.g.f. on both sides of Equations (13) and (14), respectively, we have
p0j+(z)=f(z)qj+(z)+f(z)B(z){f(z)[1Y(p¯z)]p1j+(z)+Y(p¯z)[CN1(D)[f(z)]NpNj+(z)+m=1min{N1,D}Am(D)[f(z)]mpmj+(z)+Cj(D)[f(z)]j1p¯z]},
(15)
pij+(z)=k=1i[B(z)]k1qji+k+(z)+[B(z)]i{f(z)[1Y(p¯z)]p1j+(z)+Y(p¯z)[CN1(D)[f(z)]NpNj+(z)+m=1min{N1,D}Am(D)[f(z)]mpmj+(z)+Cj(D)[f(z)]j1p¯z]}.
(16)
With (15) and (16), we can get the relationship between p0j+(z) and pij+(z) :
pij+(z)=k=1i[B(z)]k1qji+k+(z)+[B(z)]i1f(z){p0j+(z)f(z)qj+(z)},i=1,2,,j=1,2,,min{N,D}1.
(17)
Substituting (17) into (15) gives (11), and furthermore, we get (12).
Theorem 4 When N2 and D2,N,DZ+, if |z|<1,i=1,2,,j=min{N,D}, min{N,D}+1,min{N,D}+2,, then p0j+(z) and pij+(z) are given by
p0j+(z)=f(z){qj+(z)+σj(z)Δ(z)},
(18)
pij+(z)=k=1i[B(z)]k1qji+k+(z)+[B(z)]i1σj(z)Δ(z),
(19)
where B(z) and qj+(z) are determined by Lemmas 1 and 2, respectively, Δ(z) has been given in Theorem 2,
σj(z)=f(z)B(z)[1Y(p¯z)]qj+(z)+Y(p¯z){CN1(D)[f(z)]Nk=1N[B(z)]kqjN+k+(z)+m=1min{N1,D}Am(D)[f(z)]mk=1m[B(z)]kqjm+k+(z)}.
Proof For j=min{N,D},min{N,D}+1,min{N,D}+2,,L(n+)=j means that epoch n+ locates in server busy period with some customers waiting for service, the proof is similar to the Theorem 3.
Based on the transient state distribution of the queue length at arbitrary time epoch n+ obtained in Theorems 1 to 4, the steady state distribution of queue length at any time epoch n+ can be easily obtained as follows.
Theorem 5 Let pj+=limnP{L(n+)=j},j=0,1,, when N=1 and P{Y=0}=1, or D=1 and P{Y=0}=1, we have
1) when ρ1, pj+=0,j=0,1,.
2) when ρ<1, {pj+,j=0,1,} exists and satisfies the following recursion formulas
p0+=1ρ,
(20)
p1+=(1ρ)(1G(p¯))G(p¯),
(21)
pj+=1G(p¯){p(1ρ)n=j1k=n+1gk(nj1)pj1p¯nj+1+i=1j1pji+[1G(p¯)m=1ik=mgkpmp¯km]},i=2,3,.
(22)
Proof The proof is similar to Theorem 3.1 in [23].
Theorem 6 Let pj+=limnP{L(n+)=j},j=0,1,, When N2 and D2,N,DZ+, we have
1) when ρ1, pj+=0,j=0,1,.
2) when ρ<1, {pj+,j=0,1,} exists and satisfies the following recursion formulas
p0+=1ρ1+Y(p¯)m=1min{N,D}1Cm(D),
(23)
pj+=pp0+{[1Y(p¯)]qj+(1)+Y(p¯)[Cj(D)p+CN1(D)k=Nj+1NqjN+k+(1)+m=1jAm(D)k=1mqjm+k+(1)+m=j+1min{N1,D}Am(D)k=mj+1mqjm+k+(1)]},j=1,2,,min{N,D}1,
(24)
pj+=pp0+{[1Y(p¯)]qj+(1)+Y(p¯)[CN1(D)k=1NqjN+k+(1)+m=1min{N1,D}Am(D)k=1mqjm+k+(1)]},j=min{N,D},min{N,D}+1,min{N,D}+2,,
(25)
where
q1+(1)=1G(p¯)pG(p¯),qj+(1)=1G(p¯){n=j1k=n+1gk(nj1)pj1p¯nj+1+i=1j1qji+(1)[1G(p¯)m=1ik=m(km)gkpmp¯km]},j=2,3,.
Proof Using total probability decomposition and noting 0P{L(0+)=i}Pij(n+)<1, we get
pj+=limnP{L(n+)=j}=limni=0P{L(n+)=j,L(0+)=i}=limni=0P{L(0+)=i}P{L(n+)=j|L(0+)=i}=limni=0P{L(0+)=i}Pij(n+)=i=0P{L(0+)=i}limnPij(n+)=i=0P{L(0+)=i}limz1(1z)pij+(z)=limz1(1z)pij+(z).
Employing Lemmas 1 to 2, Theorems 2 to 4, and applying L'Hospital's rule, Theorem 6 can be obtained. In fact, the L'Hospital's rule used in the calculation of limnPij(n+)=limz1(1z)pij+(z) based on limitation theory of z-transform[24] leads to E[b] in the denominator. Because the condition of ρ<1 given in Lemma 1 ensures the existence of E[b] and ρ1 results in E[b]=, which brings to pj+=0,j=0,1,, the stationary distribution of queue length does not exist if ρ1 holds on.
Corollary 1 Let π+(z)=j=0pj+zj,|z|<1 denotes the p.g.f. of the steady state queue length distribution {pj+,j=0,1,} at arbitrary time epoch n+, for ρ<1, we have
π+(z)=(1ρ)(1z)G(p¯+pz)G(p¯+pz)z1+Y(p¯)j=1min{N,D}1Cj(D)zj1+Y(p¯)m=1min{N,D}1Cm(D),
where m=1k=0 if k0.
Proof Using definition of p.g.f. and combining Theorems 5 and 6, we can obtain Corollary 1.
Remark 1 The conclusion given by Corollary 1 shows that the π+(z) can be decomposed by π0(z)Φ(z) under the delayed Min(N,D)-policy, that is π+(z)=π0(z)Φ(z), where π0(z)=(1ρ)(1z)G(p¯+pz)G(p¯+pz)z denotes the p.g.f. of equilibrium queue length distribution of the classical discrete-time Geo/G/1 queue, Φ(z)=1+Y(p¯)j=1min{N,D}1Cj(D)zj1+Y(p¯)m=1min{N,D}1Cm(D) denotes the p.g.f. of the additional queue length caused by delayed Min(N,D)-policy, and it contains no G(1p+pz). This implies that the equilibrium queue length discussed in this paper has the stochastic decomposition structure under the delayed Min(N,D)-policy, and the additional queue length L+ follows a discrete distribution with the following p.m.f.
P{L+=0}=11+Y(p¯)m=1min{N,D}1Cm(D),P{L+=j}=Y(p¯)Cj(D)1+Y(p¯)m=1min{N,D}1Cm(D),j=1,2,,min{N,D}1,
where N2 and D2,N,DZ+.
Corollary 2 Let E[L+] denote the average steady state queue length at time epoch n+, for ρ<1, we have
E[L+]=ρ+p22(1ρ)E[χ2χ]+Y(p¯)j=1min{N,D}1jCj(D)1+Y(p¯)m=1min{N,D}1Cm(D),
(26)
where E[χ2]=j=1j2gj, and m=1k=0 if k0.
Proof We can easily obtain (26) by using E[L+]=[dπ+(z)dz]|z=1.

5 Solution for Steady State Queue Length Distribution at Time Epochs n and n

In order to find the queue length distributions at time epochs n and n, we need some additional notations. Let
Pij(n)=P{L(n)=j|L(0)=i},Pij(n)=P{L(n)=j|L(0)=i}
denote the conditional probability.
pj=limnP{L(n)=j},pj=limnP{L(n)=j},π(z)=j=0pjzj,π(z)=j=0pjzj,|z|<1.
Let E[L] denotes the average steady state queue length at epoch n. Furthermore we suppose there is no customer arrival in the beginning time interval (0,0) and no departure in (0,0+). It means P{L(0)=i}=P{L(0)=i}=P{L(0+)=i}. So, for i0,j0,n1, we have
Pij(n)=P{L(n)=j|L(0)=i}=P{L((n1)+)=j|L(0+)=i}=Pij((n1)+).
(27)
Taking limit as n on Equation (27) and using Theorem 4, we get the following theorem.
Theorem 7 For ρ<1, we have
pj=pj+,j=0,1,,π(z)=π+(z),
where pj+ (j=0,1,) is determined by Theorems 5 and 6, π+(z) is given by Corollary 1.
The results in Theorem 7 indicate that the steady state queue length distribution at time epoch n+ is the same as the one at time epoch n.
We proceed to find the recursive solution for the queue length at time epoch n. Since p0=(1p)p0,pj=ppj1+(1p)pj,j=1,2,, we obtain the following theorem.
Theorem 8 For ρ<1, we have
p0=(1p)p0+,pj=ppj1++(1p)pj+,j=1,2,;π(z)=(1p+pz)(1ρ)(1z)G(p¯+pz)G(p¯+pz)z1+Y(p¯)j=1min{N,D}1Cj(D)zj1+Y(p¯)m=1min{N,D}1Cm(D),|z|<1;E[L]=p+ρ+p22(1ρ)E[χ2χ]+Y(p¯)j=1min{N,D}1jCj(D)1+Y(p¯)m=1min{N,D}1Cm(D),
where pj+ is determined by Theorems 5 and 6.
Remark 2 From Theorems 5 to 8, we can obtain the following relations
pj=pj+pj,j=0,1,.
The relations indicate the important difference between discrete-time queueing system and continuous-time queueing system.

6 Several Special Cases

Some models are special cases of the model discussed in this paper.
Corollary 3 When N, the model discussed in this paper becomes Geo/G/1 queueing system with delayed D-policy[17].
Corollary 4 When D, the model discussed in this paper becomes Geo/G/1 queueing system with delayed N-policy[8].

7 Numerical Examples and Discussion

To demonstrate the applicability of the recursive formulas given in the Theorems 5 and 6, in this section, we presented some numerical examples in the form of tables and graphs.
In all cases, the service time χ is assumed to follow a geometric distribution with parameter μ and the delayed time Y is assumed to follow a geometric distribution with parameter q.
Remark 3 The notations used in the tables and graphs are the same as those defined earlier in this paper. In the tables, let d.p. denote the delayed policy.
Here we first analyze the effect of different N and D on the steady state queue length distribution {pj+,j=0,1,} and the average queue length E[L+] to illustrate the performance of the system.
Figure 1 shows the average queue lengths E[L+] for different values of N under varying ρ. D is fixed at D=20. We see in Figure 1 that the average queue lengths under the delayed Min(N,D)-policy is smaller than or equal to those of the delayed N-policies because the average queue length is increasing with respect of D and the delayed Min(N,)-policy is equivalent to the delayed N-policy. We note that N=1 implies the classical Geo/G/1 queueing system.
Figure 1 Comparison of the average queue length E[L+] for different values of N and varying ρ

Full size|PPT slide

By varying ρ Figure 2 shows the average queue lengths for different values of D. We fixed the values of p,q and N at p=0.4,q=0.1 and N=5. We see in the figure that the mean queue lengths under the delayed Min(N,D)-policy is always smaller than those of the delayed D-policies. This is obvious if we consider the fact that the average queue length is an increasing function of N and that the delayed D-policy is equivalent to the delayed Min(,D)-policy. The reason why the average queue lengths for D=10 and D=20 are almost the same is that for such large D, the system is controlled by N most of the time. We note that D=1 implies the classical M/G/1 queueing system.
Figure 2 Comparison of the average queue length E[L+] for different values of D and varying ρ

Full size|PPT slide

Table 1 shows the steady state queue length distribution and the average queue length at epoch n+ for different values of N under the delayed N-policy and the delayed Min(N,D)-policy respectively. Here we select p=0.2,D=20,μ=2,q=0.1. When the parameter D is fixed at D=20, we can see in table 1 that the steady state queue length distribution and the average queue length for N=20 and N=25 are almost the same under the delayed Min(N,D)-policy, which implies that for such large N, the effect of N on the system behavior is mere and the system is controlled by D. We note that such phenomena does not occur in Geo/G/1 queue with delayed N-policy. We note that N=1 implies the classical Geo/G/1 queueing system.
Table 1 The steady state queue length distribution and average queue length at epochs n+ with parameters p=0.2,D=20,μ=2,q=0.1
N 1 3 5
d.p. N Min(N,D) N Min(N,D) N Min(N,D)
p0+ 0.6 0.6 0.35 0.35 0.24706 0.24715
p1+ 0.35 0.3 0.35 0.3 0.21176 0.21185
p2+ 0.075 0.075 0.23125 0.23125 0.16324 0.16329
p3+ 0.01875 0.01875 0.089063 0.089061 0.1511 0.15113
p4+ 0.0046875 0.0046875 0.022266 0.022265 0.14807 0.14792
p5+ 0.0011719 0.0011719 0.0055664 0.0055663 0.059076 0.058997
p6+ 0.0002927 0.00029297 0.0013916 0.0013916 0.014769 0.014749
p7+ 7.3242×105 7.3242×105 0.0003479 0.00034789 0.0036923 0.0036873
p8+ 1.8311×105 1.8311×105 8.6975×105 8.6973×105 0.00092307 0.00092183
p9+ 4.5776×106 4.5776×106 2.1744×105 2.1743×105 0.00023077 0.00023046
p10+ 1.1444×106 1.1444×106 5.4359×106 5.4358×106 5.7692×105 5.7615×105
E[L+] 0.5333 0.53333 0.1.1583 1.1583 2.0039 2.003
N 10 20 25
d.p. N Min(N,D) N Min(N,D) N Min(N,D)
p0+ 0.14237 0.15042 0.077064 0.13659 0.062687 0.13659
p1+ 0.12203 0.12893 0.066055 0.11707 0.053731 0.11707
p2+ 0.094068 0.09938 0.050917 0.090242 0.041418 0.090242
p3+ 0.087076 0.091975 0.047133 0.083518 0.03834 0.083518
p4+ 0.085328 0.09002 0.046187 0.081743 0.03757 0.081743
p5+ 0.084891 0.089109 0.046187 0.080916 0.037378 0.080916
p6+ 0.084782 0.087591 0.045891 0.079537 0.037329 0.079537
p7+ 0.084755 0.084133 0.045876 0.076397 0.037317 0.076397
p8+ 0.084748 0.077411 0.045873 0.070293 0.037314 0.070293
p9+ 0.084746 0.066696 0.045872 0.060563 0.037314 0.060563
p10+ 0.033898 0.025755 0.045872 0.047777 0.037313 0.047777
E[L+] 4.3469 4.0981 9.2489 4.7813 11.727 4.7813
Table 2 shows the steady state queue length distribution and the average queue length at epoch n+ for different values of D under the delayed D-policy and the delayed Min(N,D)-policy respectively. We fixed the values of p=0.25,μ=2,q=0.1 and N=4. The reason why the steady state queue length distribution and the mean queue lengths for D=25 and D=30 are almost the same under the delayed Min(N,D)-policy is that for such large D, the system is almost controlled by the threshold value of N. Also, such phenomenon does not occur in Geo/G/1 queue with delayed D-policy. We note that D=1 implies the classical M/G/1 queueing system.
Table 2 The steady state queue length distribution and average queue length at epochs n+ with parameters p=0.2,N=4,μ=2,q=0.1
D 1 5 10
d.p. D Min(N,D) D Min(N,D) D Min(N,D)
p0+ 0.6 0.6 0.35 0.35462 0.23014 0.29532
p1+ 0.3 0.3 0.29219 0.29604 0.1971 0.25293
p2+ 0.075 0.075 0.18828 0.19077 0.15037 0.19296
p3+ 0.01875 0.01875 0.10762 0.10904 0.13255 0.17009
p4+ 0.0046875 0.0046875 0.044482 0.037154 0.11316 0.066522
p5+ 0.0011719 0.0011719 0.013074 0.0092884 0.084717 0.01663
p6+ 0.00029297 0.00029297 0.0032684 0.0023221 0.052322 0.0041576
p7+ 7.3242×105 7.3242×105 0.00081711 0.00058053 0.025682 0.0010394
p8+ 1.8311×105 1.8311×105 0.00020428 0.00014513 0.009872 0.00025985
p9+ 4.5776×106 4.5776×106 5.1069×105 3.6283×105 0.009872 6.4963×105
p10+ 1.1444×106 1.1444×106 1.2767×105 9.0707×106 0.0007976 1.6241×105
E[L+] 0.53333 0.53333 1.2625 1.2193 2.3826 1.5335
D 20 25 30
d.p. D Min(N,D) D Min(N,D) D Min(N,D))
p0+ 0.13659 0.28968 0.11351 0.28966 0.09711 0.28966
p1+ 0.11707 0.24829 0.097297 0.24828 0.083237 0.24828
p2+ 0.090242 0.19139 0.075 0.19138 0.064162 0.19138
p3+ 0.083518 0.17713 0.069425 0.17715 0.059393 0.17715
p4+ 0.081743 0.070136 0.068026 0.07015 0.058201 0.07015
p5+ 0.080916 0.017534 0.06765 0.017538 0.057901 0.017538
p6+ 0.079537 0.0043835 0.067446 0.0043844 0.057818 0.0043844
p7+ 0.076397 0.0010959 0.067044 0.0010961 0.057765 0.0010961
p8+ 0.070293 0.00027397 0.066026 0.00027402 0.057643 0.00027402
p9+ 0.060563 6.8493×105 0.063786 6.8506×105 0.05731 6.8506×105
p10+ 0.047777 1.7123×105 0.059622 1.7127×105 0.05651 1.7127×105
E[L+] 4.7813 1.5677 6.0063 1.5678 7.2385 1.5678
Finally, under a special case, we further explain the importance of the steady state queue length distribution in the system capacity design.
In practice, the congestion of facilities is a key factor to be considered in decision-making process, since it has serious negative implications in both the manufacturing and the service sectors. The immediate consequence of congestion is that it leads to an increase in operating costs; further, the degradation in the quality of service results in customer dissatisfaction and eventual loss of market share. In most of the cases, queueing managers often use the stationary mean queue length to calculate the buffer capacity, so as to reduce the blocking probability of the system. However, through the following numerical example, we can see that employing the stationary mean queue length to estimate the buffer capacity may be not very suitable.
Let p=0.4,N=5,D=20,μ=2,q=0.1, by Corollary 2, we obtain E[L+]=3.562. Furthermore, using the datums presented in Table 3, Equations (28) and (29) give the probability that the number of customers in the system exceeds the mean queue length. From the calculation results, we can realize that the probability of more than 30.833% is too high, this also means that a considerable number of customers will be rejected by the system due to no waiting place available upon arrival. Therefore, using the mean queue length to design the system capacity is quite inaccurate. On the other hand, from Table 3, we further observe that the probability that the number of customers in the system exceeds 24 is less than 0.01%. Thus, design a system with large capacity is also unnecessary. In practice, we may use the steady state queue length distribution and give some more reasonable system designs, so as to reduce the system operating costs.
P{L+>E[L+]}=1j=0E[L+]pj+=1j=04pj+=0.30833,
(28)
P{L+>E[L+]+1}=1j=0E[L+]+1pj+=1j=05pj+=0.20555.
(29)
Table 3 The steady state queue length distribution at epochs n+ with parameters p=0.4,N=5,D=20,μ=2,q=0.1
p0+ p1+ p2+ p3+ p4+ p5+ p6+
0.10701 0.16594 0.1494 0.13836 0.13096 0.10278 0.068519
p7+ p8+ p9+ p10+ p11+ p12+ p13+
0.045679 0.030453 0.020302 0.013535 0.009023 0.0060153 0.0040102
p14+ p15 p16+ p17+ p18+ p19+ p20+
0.0026735 0.0017823 0.0011882 0.00079214 0.0005281 0.00035206 0.00023471
p21+ p22+ p23+ p24+ p25+ p26+ p27+
0.00015647 0.00010432 6.9544×105 4.6362×105 3.0908×105 2.0605×105 1.3737×105
p28+ p29+ p30+ p31+ p32+ p33+ p34+
9.158×106 6.1053×106 4.0702×106 2.7135×106 1.809×106 1.206×106 8.0399×107
p35+ p36+ p37+ p38+ p39+ p40+ p41+
5.36×107 3.5733×107 2.3822×107 1.5881×107 1.0588×107 7.0584×108 4.7056×108
p42+ p43+ p44+ p45+ p46+ p47+ p48+
3.1371×108 2.0914×108 1.3942×108 9.295×109 6.1967×109 4.1311×109 2.7541×109

8 Conclusion

The research highlight of this work is the recursive formulae given by Theorems 5 to 8. They can be used to calculate the accurate numerical value of queue length distribution at different epochs n,n, and n+. As far as we know, the recursive solution for queue length distributions at different time epochs are new. These performance measures can help us to make more accurate capacity planning decisions. Moreover, from Remark 2 we obtain the relations of queue length distribution among pj,pj and pj+.

References

1
Yadin M, Naor P. Queueing systems with a removable service station. Operational Research Quarterly, 1963, 14, 393- 405.
2
Balachandran K R. Control Policies for a single server system. Management Science, 1973, 19, 1013- 1018.
3
Heyman D P. The T-policy for the M/G/1 queue. Management Science, 1977, 23, 775- 778.
4
Levy H, Yechiali U. Utilization of idle time in an M/G/1 queueing system. Management Science, 1975, 22 (2): 202- 211.
5
Hur S, Paik S J. The effect of different arrival rates on the N-policy of M/G/1 with server setup. Applied Mathematical Modelling, 1999, 23 (4): 289- 299.
6
Wang K H, Huang K B. A maximum entropy approach for the p,N-policy M/G/1 queue with a removable and unreliable server. Applied Mathematical Modelling, 2009, 33 (4): 2024- 2034.
7
Tang Y H, Pu H, Yu M M. Queue size of M/G/1 queueing system with N-policy and set-up times. Systems Engineering — Theory & Practice, 2011, 31 (1): 131- 137.
8
Wei Y Y, Tang Y H, Gu J X. The queue length distribution and numerical calculation for Geo/G/1 queueing system with delayed N-policy. Systems Engineering — Theory & Practice, 2011, 31 (11): 2151- 2160.
9
Wei Y Y, Yu M M, Tang Y H, et al. Queue size distribution and capacity optimum design for N-policy Geo.(λ1,λ2,λ3)/G/1 queue with setup time and variable input rate. Mathematical and Computer Modelling, 2013, 57, 1559- 1571.
10
Luo C Y, Tang Y H, Li W, et al. The recursive solution of queue length for Geo/G/1 queue with N-policy. Journal of Systems Science and Complexity, 2012, 25 (2): 293- 302.
11
Lim D E, Lee D H, Yang W S, et al. Analysis of the GI/Geo/1 queue with N-policy. Applied Mathematical Modelling, 2013, 37 (7): 4643- 4652.
12
Chae K C, Park Y I. The queue length distribution for the M/G/1 queue under the D-policy. Journal of Applied Probability, 2001, 38 (1): 278- 297.
13
Artalejo J R. On the M/G/1 queue with D-policy. Applied Mathematical Modelling, 2001, 25 (12): 1055- 1069.
14
Lee H W, Beak J W, Jeon J. Analysis of the M.X/G/1 queue under D-policy. Stochastic Analysis and Applications, 2005, 23 (4): 785- 808.
15
Wang K H, Kuo C C, Ke J C. Optimal control of the D-policy M/G/1 queueing system with server breakdowns. American Journal of Applied Sciences, 2008, 5 (5): 565- 573.
16
Lee H W, Kim S A, Lee S W. Analysis and cost optimization of the M/G/1 queue under the D-policy and LCFS discipline. Stochastic Analysis and Applications, 2008, 26 (1): 39- 59.
17
Wei Y Y, Tang Y H, Gu J X. Queue size distribution and capacity optimum design for Geo/G/1 queueing system with delayed D-policy. Systems Engineering — Theory & Practice, 2013, 33 (4): 996- 1005.
18
Lee H W, Seo W J. The performance of the M/G/1 queue under the dyadic Min(N,D)-policy and its cost optimization. Performance Evaluation, 2008, 65 (10): 742- 758.
19
Lee H W, Seo W J, Lee S W, et al. Analysis of the MAP/G/1 queue under the Min(N,D)-policy. Stochastic Models, 2010, 26 (1): 98- 123.
20
Tang Y H, Wu W Q, Liu Y P, et al. Queue length distribution of M/G/1 queueing system with Min(N,V)-policy based on multiple server vacations. Systems Engineering — Theory & Practice, 2014, 34 (6): 1533- 1546.
21
Hunter J J. Mathematical techniques of applied probability, Vol. Ⅱ, Discrete time models: Techniques and applications. New York: Academic Press, 1983.
22
Bruneel H, Kim B G. Discrete-time models for communication systems including ATM. Boston: Kluwer Academic, 1993.
23
Luo C Y, Tang Y H, Liu R B. Transient solution for queue-length distribution of Geometry/G/1 queueing model. Applied Mathematics — A Journal of Chinese Universities, Series B, 2007, 22 (1): 95- 100.
24
Jury E I. Theory and application of the z-transform method. New York: John Wiley and Sons, 1964.

Funding

the National Natural Science Foundation of China(71571127)
PDF(331 KB)

146

Accesses

0

Citation

Detail

Sections
Recommended

/