A Discrete-Time Geo / G / 1 Retrial Queue with J Vacations and Two Types of Breakdowns

This paper is concerned with a discrete-time Geo/G/1 retrial queueing model with J vacations and two types of breakdowns. If the orbit is empty, the server takes at most J vacations repeatedly until at least one customer appears in the orbit upon returning from a vacation. It is assumed that the server is subject to two types of different breakdowns and is sent immediately for repair. We analyze the Markov chain underlying the considered queueing system and derive the system state distribution as well as the orbit size and the system size distributions in terms of their generating functions. Then, we obtain some performance measures through the generating functions. Moreover, the stochastic decomposition property and the corresponding continuous-time queueing system are investigated. Finally, some numerical examples are provided to illustrate the effect of vacations and breakdowns on several performance measures of the system.


Introduction
During the past few decades, retrial queueing systems have been widely studied due to their important applications in many practical systems such as inventory systems, computer systems, and telecommunication networks.Retrial queueing systems are characterized by the fact that arriving customers who find the server busy may join a retrial group to retry their requests after some random time.For excellent bibliographies on retrial queues, the readers are referred to [1][2][3].
Although many continuous-time retrial queueing models have been studied extensively in the past years, only few researchers studied the discrete-time retrial queues.In fact, the discrete-time retrial queueing systems are suitable for the description of the various phenomena in slotted time computer and communication systems such as broad-band integrated services digital network (B-ISDN) and timedivision multiple access (TDMA) systems.Yang and Li [4] firstly studied a discrete-time //1 retrial queue and obtained some performance measures of the systems.This work was generalized to discrete-time //1 retrial queue with general retrial times by Atencia and Moreno [5].In recent years, there has been a growing interest in the investigation of discrete-time retrial queue with server breakdowns.Such phenomena occur in day-to-day life, for example, the components of the computer and communication systems are subject to random breakdowns.Discrete-time retrial queues that take into account server breakdowns were studied by Atencia and Moreno [6,7], Moreno [8], Wang and Zhao [9], Wang [10], Wang and Zhang [11], and Atencia et al. [12].
On the other hand, queueing systems with server vacations have been widely used to analyze the performance of some systems such as manufacturing systems and computer systems.In recent years, retrial queues with server vacations have drawn more and more attention.Li and Yang [13] studied a //1 retrial queue with a finite number of input sources and Bernoulli vacations by the method of supplementary variables.Since the work of Li and Yang, the retrial queues with Bernoulli vacations have been studied by many authors, see Kumar and Arivudainambi [14], Kumar et al. [15], and Choudhury [16].In addition, the retrial queues with exhaustive service vacations were also studied by several authors.For example, Artalejo [17] analyzed an //1 retrial queue with multiple vacations and obtained two stochastic decomposition results for the system size.As a generalization of single and multiple vacation policy, Chang and Ke [18] and Ke and Chang [19] introduced the concept of  vacations into //1 retrial queueing systems.Ke and Chang [20] and Wu [21] studied the models concerning both server breakdowns and vacations, simultaneously.
The majority of articles studied the continuous-time retrial queues with server vacations.Most recently, Wang [22] extended the continuous-time //1 retrial queue with Bernoulli vacations to discrete-time counterpart.Li et al. [23], Liu and Song [24] considered the discrete-time //1 retrial queue with working vacation.Zhang et al. [25] studied a discrete-time //1 retrial queue with single vacation and starting failure.To the best of our knowledge, no work appeared till now concerning the discrete-time retrial queue with exhaustive  vacations policy and server's different types of breakdowns.In fact, the discrete-time retrial queues with  vacations and server breakdowns are more appropriate to analyze some real situations, such as e-mail systems, IP access networks, and computer systems.This motivates us to analyze the discrete-time retrial queue with  vacations and and general retrial times.In this work, we consider a discretetime //1 retrial queue with  vacations where the server may be subjected to two different types of breakdowns.
The rest of the paper is organized as follows.In Section 2, the description of our model is given.In Section 3, We derive the generating functions of the number of customers in the orbit and in the system.The closed-form expressions of some performance measures of the system are also obtained.In Section 4, we give two stochastic decomposition results for the system size.In Section 5, the relationship between our model and the continuous-time counterpart is given.In Section 6, we present some numerical results to show the influence of the parameters on some performance measures of the system.

Description of the Mathematical Model
We consider a discrete-time //1 retrial queue with  vacations and two types of server breakdowns where the time axis is segmented into slots of equal length and all queueing activities occur at the slot boundaries.Specifically, let the time axis be marked by 0, 1, . . ., , . ... Consider the epoch  and assume that the departures, the end of the vacations and the end of repairs occur in the interval ( − , ), while arrivals, retrials, the beginning of the vacations, and the beginning of repairs occur in the interval (,  + ) in sequence.That is, we consider an early arrival system (EAS) policy in our model.
Customers arrive at the system according to a geometrical arrival process with parameter , where  (0 <  < 1) is the probability that an arrival occurs in a slot.If an arriving customer finds that the server is idle, he commences his service immediately.Otherwise, if the server is busy, under repair or on vacation, the arriving customer joins the retrial orbit.It is assumed that only the customer at the head of the orbit is permitted to access to the server.The time between retrials is assumed to follow a general probability distribution {  } ∞ =0 with the generating function () = ∑ ∞ =0     .The service times are independent and identically distributed with arbitrary distribution {  } ∞ =1 , generating function () = ∑ ∞ =1     and th factorial moment   .It is assumed that the server is subject to two different types of breakdowns.The first type of breakdown is starting failure.In this model, an arriving customer who finds the server idle must turn on the server.If the server is activated successfully (with a probability  1 = 1 −  1 ), the customer begins his service immediately; otherwise, if the server is started unsuccessfully (with a complementary probability  1 ), the server is sent to repair immediately and the customer being served must join the orbit.The second type of breakdown is normal breakdown, that is, the server may break down during serving customers.The customer just being served before breakdown waits until the server is repaired to complete his remaining service time.The lifetime of the server is assumed to be geometrically distributed with parameter  2 .The repair times for the server of two types of breakdowns are independent and identically distributed with arbitrary distribution { , } ∞ =1 , generating functions   () = ∑ ∞ =0  ,   , and th factorial moment are  , ,  = 1, 2, respectively.
As soon as the system is empty, the server takes a vacation immediately.The vacation time is assumed to follow a general probability distribution {V  } ∞ =1 with generating function () = ∑ ∞ =1 V    and th factorial moment   .If there is at least one customer in the orbit at the end of a vacation, the server begins to provide service for customers immediately.Otherwise, if no customers appear in the orbit when the server returns from the vacation, it leaves for another vacation.This pattern continues until the server has taken a maximum number  of vacations.If the system is empty at the end of the th vacation, the server becomes idle and waits for new arriving customers.
Finally, we assume that the interarrival times, the service times, the retrial times, the repair times and the vacation times are mutually independent.
Based on Theorem 3, we can easily obtain the marginal generating functions of the number of customers when the server is in various states and some performance measures.They are summarized in the following Corollary.Their proofs are very easy, and thus are omitted.For convenience, we define variable  be the orbit size and  be the system size.

Corollary 4. (1) The marginal generating function of the number of customers in the orbit when the server is idle or vacation is given by
(2) The marginal generating function of the number of customers in the orbit when the server is busy is given by (3) The marginal generating function of the number of customers in the orbit when the server is under the first type of repair (4) The marginal generating function of the number of customers in the orbit when the server is under the second type of repair (5) The marginal generating function of the number of customers in the orbit when the server is on vacation is given by The generating function of the number of customers in the orbit is given by (44) (7) The probability generating function of the number of customers in the system is given by (1) The system is idle with probability (2) The probability that the server is free is (3) The probability that the server is busy is (4) The probability that the server is under the first type of repair is (5) The probability that the server is under the second type of repair is The probability that the server is on vacation is ) (7) The mean number of customers in the orbit is where (8) The mean number of customers in the system is Remark 6.Consider some special cases as follows.
(i) When  = 0,  1 =  2 = 0, our model becomes a discrete-time //1 queue with general retrial times.In this case, Φ() reduces to which coincides with results of the model studied by Atencia and Moreno [5].

Stochastic Decomposition
The property of stochastic decomposition was proposed firstly in queueing system with vacations.This property has also been studied for retrial queues with vacations by Artalejo [17].The property of stochastic decomposition shows that the steady-state system size at an arbitrary point can be represented as the sum of two independent random variable, one of which is the system size of the corresponding queueing system without server vacations and the other is the orbit size given that the server is on vacations.In this section, we present two different stochastic decompositions of the system size distribution in our model.
Theorem 7. The total number of customers () in the system can be represented as the sum of two independent random variables  =  1 +  1 . 1 is the number of customers in the //1/ queue with server breakdowns and  1 is the number of repeated customers given that the server is idle, under the first type of repair or on vacation.
Proof.After some algebra operation, Φ() can be expressed by where is the generating function of the //1 queue server with breakdowns, and is the generating function given that the server is idle, under first type of repair or on vacations.This completes the proof.
Theorem 8.The total number of customers () in the system can be expressed as the sum of two independent random variables  =  2 +  2 . 2 is the number of customers in the //1/ queue with two types of breakdowns and  2 is the number of repeated customers given that the server is idle or on vacation.
Proof.After some algebra operation, Φ() can be expressed by where is the generating function of the unreliable //1 queue, and is the generating function given that the server is idle or on vacations.This completes the proof.

Relationship to the Corresponding Continuous-Time Model
In this section, we investigate the relationship between our discrete-time model and the corresponding continuous-time counterpart.We consider a continuous-time //1 general retrial queue with  vacations and two types of breakdowns.The customers arrive according to a Poisson process with rate .If an arriving customer finds that the server is busy, under repair or on vacations, the customer joins the orbit and only the first customer in the orbit is permitted to retry for service.The server is subject to two types of different breakdowns.
As soon as the server fails, it is repaired immediately.The first type of breakdown is starting failure, that is, an arriving customer must start the server, which takes negligible time and the server is started successfully with a probability  1 .In addition to starting failure, the server may break down during serving an customer and the lifetime of the server follows exponential distribution with rate  2 .
Once the system becomes empty, the server takes vacations immediately according to  vacation policy.The retail times, the service times, the repair times for the two types of breakdowns and the vacation times are all assumed to follow general continuous-time distributions denoted by (), (),  1 (),  2 (), and (), respectively, and their Laplace-Stieltjes transforms denoted by Ã(), S(), R1 (), R2 (), and Ṽ(), respectively, and their finite means are denoted by  1 ,  1 and  1,1 ,  2,1 , and  1 respectively.
We suppose that the time is divided into sufficiently small intervals of equal length Δ.Then, the continuous-time //1 general retrial queue with  vacations and two types of breakdowns can be approximated by the following: By using the definition of Lebesgue integration, we can get the following equalities: lim (67) From the above relations, we obtain the generating function of the system size for the corresponding continuous-time model by lim (68)

Numerical Examples
In this section, we present some numerical examples to illustrate the effect of the parameters on the main performance measures of the system.We consider two important performance measures: the probability that server is on vacation   and the mean orbit size ().It is assumed that the retrial time is geometric distribution with generating function () = (1 − )/(1 − ).The service time, the repair times of the server for the two types of breakdowns, and the vacation time are also assumed to follow geometric distribution with generating functions () = (1 − )/(1 − ),   () = (1 −   )/(1 −   ),  = 1,2, and () = (1 − V)/(1 − V), respectively.In general, we have chosen the arrival rate  = 0.1, the retrial rate  = 0.25, the service rate  = 0.5, and the vacation rate V = 0.5, and we have presented three curves which correspond to  1 = 0.1, 0.3 and 0.5, respectively, in Figures 1-4, where  1 is the probability that the server experience the first type of breakdown.Figure 1,   is increasing as a function of .For different values of  1 , we observe that   decreases with increasing values of  1 .That is because the mean service time of a customer is getting longer with increasing values of  1 and   decreases accordingly.Figure 2 describes the effect of  2 on   .The curve in Figure 2 shows that   is decreasing as a function of  2 which agrees with intuitive expectations.
Figures 3 and 4 describe the influence of the parameter  and  2 on the mean orbit size (), respectively.As to be expected, () increases with increasing value of  and  2 , that is, there are more customers in the orbit as  and  2 increase.
As we can observe in Figures 3 and 4, the mean orbit size () increases with increasing values of  1 .As the the value of  1 increases, the mean sojourn time time for an customer increases, and therefore the number of customers in the system increases.Moreover, the parameter  1 affects () more apparently, when the value of the parameter  1 is getting greater.

Figure 1 :
Figure 1: The curve of   with .
{  ;  ≥ 1} with   = (  ,   ,   ,   ,   ), where   denotes the state of the server and   be the number of the customers in the orbit.It is assumed that   = 0, 1, 2, 3, or 4 according to whether the server is free, busy, under repair for first type of breakdown, under repair for second type of breakdown, or on vacations, respectively.If   = 0,   represents the remaining retrial time.If   = 1,   represents the remaining service time of the customer currently being served.If   = 2,   represents the remaining repair time for the first type of breakdown.If   = 3,   represents the remaining service time of a customer currently being served and   represents the remaining repair time of the second type of breakdowns.If   = 4, let   =  represent that the server takes the th vacation and let represent the remaining vacation time,  = 1, 2, . . ., .It can be shown that {  ;  ≥ 1} is a Markov chain with the following state space: