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
-policy of Yadin and Naor
[1], the
-policy of Balachandran
[2] and the
-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
-policy stipulates that the idle server begins to serve the customers only when
customers have accumulated in the system. Under the
-policy, the idle server begins to operate when the total workload (i.e., the sum of the service times of the waiting customers) exceeds
. Under the
-policy, the server takes a vacation of fixed length
. 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
. The process repeats in this way until the server finds at least one customer upon the return from a vacation. If
is a random variable, the system becomes the multiple vacation system of Levy and Yechiali
[4].
-policy is most often combined with vacations. Hur and Paik
[5] studied the effect of different arrival rates on the
-policy M/G/1 queue with server setup, and derived the steady state queue length, waiting time and the optimal value of
. Wang and Huang
[6] analyzed the
-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
-policy and setup times. As for discrete time case, Wei, et al.
[8] considered the Geo/G/1 queueing system with delayed
-policy. Recently, Wei, et al.
[9] further investigated the
-policy queue with setup time and variable input rate. The recursive expressions of the
-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
-policy, and the important relations between the steady state queue length distributions at different time epochs
,
and
are discovered. Moreover, under the renewal input process, Lim, et al.
[11] studied the GI/Geo/1 queue with
-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
-policy were carried out by Chae and Park
[12] and Artalejo
[13]. More works concerning
-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
-policy and performed some cost optimization. Lee, et al.
[19] considered the MAP/G/1 queue under the Min
-policy and analyzed the queue length, workload, and waiting time. Tang, et al.
[20] studied the M/G/1 queueing system with Min
-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-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 -policy.
The consideration of delayed Min-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 packages waiting it waits until the -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 available. Hence, if the total backlog of the delivery service time of the waiting packages exceeds the truck departs even if there is less than 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 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 -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 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 . Moreover, we also find that the queue length distribution in equilibrium follows the stochastic decomposition discipline under the Min-policy. In Section 5, we study the steady state queue length distribution at time epochs and , and give the important relationship between the steady state queue length distributions at different epochs , and . 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
-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
,
, a potential service and departure can only take place in
,
. 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
and no departure in
.
The time between two successive arrivals, denoted by follows a geometric distribution with parameter , and probability mass function (p.m.f.) , , . That is to say, a customer arrives with probability in each interval , , and the probability that no customer arrives is . The service times, denoted by , are independent and identically distributed (i.i.d.) random variables with p.m.f. , , and the probability generating function (p.g.f.) . The average service time is finite and denoted by .
The policy of this queueing system is delayed Min-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 , is generally distributed. The delayed times are independent and identically distributed (i.i.d.) random variables with p.m.f. , , and p.g.f. , , and finite mean 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) customers have accumulated in the system, or
(ii) total backlog of the service time of the waiting customers exceeds ,
where and denote fixed positive integer, i.e., 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 customers at initial epoch (this assumption has no effect on the steady state queue length distribution).
In this paper, let , and denote the queue length at time epochs , and , e.g., the number of customers present in the system (including the one in service) at time epochs and , respectively. denotes the set of real number.
3 Recursive Solution for Transient State Queue Length Distribution at Time Epoch 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
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 , then subjects to the equation , mean
where .
Let denote the server busy period initiated by customers, because of the Markovian property of geometric distribution, can be expressed as
where are independent of each other, and have the same distribution function as , therefore
"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 during the server busy period . Let represent the probability that the queueing length equals to at instant during server busy period , where the instant is the beginning of the busy period , and the boundary condition is .
Lemma 2 If , let present the p.g.f. of , hence we have the following recursive expressions of ,
where if .
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
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 be the conditional probability of the queue length, and represents the p.g.f. of . 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 -transformation of the transient queue length distribution at any time epoch as follows.
Theorem 1 When and , or and , if , then we have
where and are determined by Lemmas and , respectively.
Proof When
and
or
and
, 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 and , if , then and are given by
where is determined by Lemma ,
Proof Let , and . The system is empty at time epoch 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 can be divided into two parts according to whether the first customer arrived before . Given that system starts from idle state, we have
where denotes the th "system idle time" that the system starts from the initial state follows the same distribution as .
For , similarly, we have
Taking the p.g.f. on both sides of the equations and , respectively, we have
Equations (8) and (9) give the relationship between and :
Substituting (10) into (8) gives (4), and furthermore, we get (5).
Theorem 3 When and , if , then and are given by
where and are determined by Lemmas and , respectively, has been given in Theorem ,
Proof For indicates that epoch 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
where has been given in Theorem 2.
For , similarly, we have
Taking the p.g.f. on both sides of Equations (13) and (14), respectively, we have
With and , we can get the relationship between and :
Substituting into gives , and furthermore, we get .
Theorem 4 When and , if then and are given by
where and are determined by Lemmas and , respectively, has been given in Theorem ,
Proof For means that epoch 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 obtained in Theorems 1 to 4, the steady state distribution of queue length at any time epoch can be easily obtained as follows.
Theorem 5 Let , when and , or and , we have
when , .
when , exists and satisfies the following recursion formulas
Proof The proof is similar to Theorem 3.1 in [
23].
Theorem 6 Let , When and we have
when , .
when , exists and satisfies the following recursion formulas
where
Proof Using total probability decomposition and noting , we get
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
based on limitation theory of
-transform
[24] leads to
in the denominator. Because the condition of
given in Lemma 1 ensures the existence of
and
results in
, which brings to
, the stationary distribution of queue length does not exist if
holds on.
Corollary 1 Let denotes the p.g.f. of the steady state queue length distribution at arbitrary time epoch , for , we have
where if .
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 shows that the can be decomposed by under the delayed Min-policy, that is , where denotes the p.g.f. of equilibrium queue length distribution of the classical discrete-time queue, denotes the p.g.f. of the additional queue length caused by delayed Min-policy, and it contains no . This implies that the equilibrium queue length discussed in this paper has the stochastic decomposition structure under the delayed Min-policy, and the additional queue length follows a discrete distribution with the following p.m.f.
where and .
Corollary 2 Let denote the average steady state queue length at time epoch , for , we have
where , and if .
Proof We can easily obtain by using .
5 Solution for Steady State Queue Length Distribution at Time Epochs and
In order to find the queue length distributions at time epochs and , we need some additional notations. Let
denote the conditional probability.
Let denotes the average steady state queue length at epoch . Furthermore we suppose there is no customer arrival in the beginning time interval and no departure in . It means . So, for , we have
Taking limit as on Equation (27) and using Theorem , we get the following theorem.
Theorem 7 For , we have
where is determined by Theorems and , is given by Corollary .
The results in Theorem indicate that the steady state queue length distribution at time epoch is the same as the one at time epoch .
We proceed to find the recursive solution for the queue length at time epoch . Since , we obtain the following theorem.
Theorem 8 For , we have
where is determined by Theorems and .
Remark 2 From Theorems 5 to 8, we can obtain the following relations
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 , the model discussed in this paper becomes Geo/G/1 queueing system with delayed -policy[17].
Corollary 4 When , the model discussed in this paper becomes Geo/G/1 queueing system with delayed -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 is assumed to follow a geometric distribution with parameter .
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 and on the steady state queue length distribution and the average queue length to illustrate the performance of the system.
Figure 1 shows the average queue lengths for different values of under varying . is fixed at . We see in Figure 1 that the average queue lengths under the delayed Min-policy is smaller than or equal to those of the delayed -policies because the average queue length is increasing with respect of and the delayed Min()-policy is equivalent to the delayed -policy. We note that implies the classical Geo/G/1 queueing system.
Figure 1 Comparison of the average queue length for different values of and varying |
Full size|PPT slide
By varying Figure 2 shows the average queue lengths for different values of . We fixed the values of and at and . We see in the figure that the mean queue lengths under the delayed Min-policy is always smaller than those of the delayed -policies. This is obvious if we consider the fact that the average queue length is an increasing function of and that the delayed -policy is equivalent to the delayed Min-policy. The reason why the average queue lengths for and are almost the same is that for such large , the system is controlled by most of the time. We note that implies the classical M/G/1 queueing system.
Figure 2 Comparison of the average queue length for different values of and varying |
Full size|PPT slide
Table 1 shows the steady state queue length distribution and the average queue length at epoch for different values of under the delayed -policy and the delayed Min-policy respectively. Here we select . When the parameter is fixed at , we can see in table 1 that the steady state queue length distribution and the average queue length for and are almost the same under the delayed Min-policy, which implies that for such large , the effect of on the system behavior is mere and the system is controlled by . We note that such phenomena does not occur in Geo/G/1 queue with delayed -policy. We note that implies the classical Geo/G/1 queueing system.
Table 1 The steady state queue length distribution and average queue length at epochs with parameters |
| 1 | | | 3 | | | 5 | |
d.p. | | Min | | Min | | Min |
| 0.6 | 0.6 | | 0.35 | 0.35 | | 0.24706 | 0.24715 |
| 0.35 | 0.3 | 0.35 | 0.3 | 0.21176 | 0.21185 |
| 0.075 | 0.075 | 0.23125 | 0.23125 | 0.16324 | 0.16329 |
| 0.01875 | 0.01875 | 0.089063 | 0.089061 | 0.1511 | 0.15113 |
| 0.0046875 | 0.0046875 | 0.022266 | 0.022265 | 0.14807 | 0.14792 |
| 0.0011719 | 0.0011719 | 0.0055664 | 0.0055663 | 0.059076 | 0.058997 |
| 0.0002927 | 0.00029297 | 0.0013916 | 0.0013916 | 0.014769 | 0.014749 |
| 7.3242 | 7.3242 | 0.0003479 | 0.00034789 | 0.0036923 | 0.0036873 |
| 1.8311 | 1.8311 | 8.6975 | 8.6973 | 0.00092307 | 0.00092183 |
| 4.5776 | 4.5776 | 2.1744 | 2.1743 | 0.00023077 | 0.00023046 |
| 1.1444 | 1.1444 | 5.4359 | 5.4358 | 5.7692 | 5.7615 |
| 0.5333 | 0.53333 | | 0.1.1583 | 1.1583 | | 2.0039 | 2.003 |
|
| 10 | | | 20 | | | 25 | |
d.p. | | Min | | Min | | Min |
| 0.14237 | 0.15042 | | 0.077064 | 0.13659 | | 0.062687 | 0.13659 |
| 0.12203 | 0.12893 | 0.066055 | 0.11707 | 0.053731 | 0.11707 |
| 0.094068 | 0.09938 | 0.050917 | 0.090242 | 0.041418 | 0.090242 |
| 0.087076 | 0.091975 | 0.047133 | 0.083518 | 0.03834 | 0.083518 |
| 0.085328 | 0.09002 | 0.046187 | 0.081743 | 0.03757 | 0.081743 |
| 0.084891 | 0.089109 | 0.046187 | 0.080916 | 0.037378 | 0.080916 |
| 0.084782 | 0.087591 | 0.045891 | 0.079537 | 0.037329 | 0.079537 |
| 0.084755 | 0.084133 | 0.045876 | 0.076397 | 0.037317 | 0.076397 |
| 0.084748 | 0.077411 | 0.045873 | 0.070293 | 0.037314 | 0.070293 |
| 0.084746 | 0.066696 | 0.045872 | 0.060563 | 0.037314 | 0.060563 |
| 0.033898 | 0.025755 | 0.045872 | 0.047777 | 0.037313 | 0.047777 |
| 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 for different values of under the delayed -policy and the delayed Min-policy respectively. We fixed the values of and . The reason why the steady state queue length distribution and the mean queue lengths for and are almost the same under the delayed Min-policy is that for such large , the system is almost controlled by the threshold value of . Also, such phenomenon does not occur in Geo/G/1 queue with delayed -policy. We note that implies the classical M/G/1 queueing system.
Table 2 The steady state queue length distribution and average queue length at epochs with parameters |
| 1 | | 5 | | 10 |
d.p. | | Min | | Min | | Min |
| 0.6 | 0.6 | | 0.35 | 0.35462 | | 0.23014 | 0.29532 |
| 0.3 | 0.3 | 0.29219 | 0.29604 | 0.1971 | 0.25293 |
| 0.075 | 0.075 | 0.18828 | 0.19077 | 0.15037 | 0.19296 |
| 0.01875 | 0.01875 | 0.10762 | 0.10904 | 0.13255 | 0.17009 |
| 0.0046875 | 0.0046875 | 0.044482 | 0.037154 | 0.11316 | 0.066522 |
| 0.0011719 | 0.0011719 | 0.013074 | 0.0092884 | 0.084717 | 0.01663 |
| 0.00029297 | 0.00029297 | 0.0032684 | 0.0023221 | 0.052322 | 0.0041576 |
| 7.3242 | 7.3242 | 0.00081711 | 0.00058053 | 0.025682 | 0.0010394 |
| 1.8311 | 1.8311 | 0.00020428 | 0.00014513 | 0.009872 | 0.00025985 |
| 4.5776 | 4.5776 | 5.1069 | 3.6283 | 0.009872 | 6.4963 |
| 1.1444 | 1.1444 | 1.2767 | 9.0707 | 0.0007976 | 1.6241 |
| 0.53333 | 0.53333 | | 1.2625 | 1.2193 | | 2.3826 | 1.5335 |
|
| 20 | | 25 | | 30 |
d.p. | | Min | | Min | | Min) |
| 0.13659 | 0.28968 | | 0.11351 | 0.28966 | | 0.09711 | 0.28966 |
| 0.11707 | 0.24829 | 0.097297 | 0.24828 | 0.083237 | 0.24828 |
| 0.090242 | 0.19139 | 0.075 | 0.19138 | 0.064162 | 0.19138 |
| 0.083518 | 0.17713 | 0.069425 | 0.17715 | 0.059393 | 0.17715 |
| 0.081743 | 0.070136 | 0.068026 | 0.07015 | 0.058201 | 0.07015 |
| 0.080916 | 0.017534 | 0.06765 | 0.017538 | 0.057901 | 0.017538 |
| 0.079537 | 0.0043835 | 0.067446 | 0.0043844 | 0.057818 | 0.0043844 |
| 0.076397 | 0.0010959 | 0.067044 | 0.0010961 | 0.057765 | 0.0010961 |
| 0.070293 | 0.00027397 | 0.066026 | 0.00027402 | 0.057643 | 0.00027402 |
| 0.060563 | 6.8493 | 0.063786 | 6.8506 | 0.05731 | 6.8506 |
| 0.047777 | 1.7123 | 0.059622 | 1.7127 | 0.05651 | 1.7127 |
| 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 , by Corollary 2, we obtain . 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 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.
Table 3 The steady state queue length distribution at epochs with parameters |
| | | | | | |
0.10701 | 0.16594 | 0.1494 | 0.13836 | 0.13096 | 0.10278 | 0.068519 |
| | | | | | |
0.045679 | 0.030453 | 0.020302 | 0.013535 | 0.009023 | 0.0060153 | 0.0040102 |
| | | | | | |
0.0026735 | 0.0017823 | 0.0011882 | 0.00079214 | 0.0005281 | 0.00035206 | 0.00023471 |
| | | | | | |
0.00015647 | 0.00010432 | 6.9544 | 4.6362 | 3.0908 | 2.0605 | 1.3737 |
| | | | | | |
9.158 | 6.1053 | 4.0702 | 2.7135 | 1.809 | 1.206 | 8.0399 |
| | | | | | |
5.36 | 3.5733 | 2.3822 | 1.5881 | 1.0588 | 7.0584 | 4.7056 |
| | | | | | |
3.1371 | 2.0914 | 1.3942 | 9.295 | 6.1967 | 4.1311 | 2.7541 |
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 , and . 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 we obtain the relations of queue length distribution among and .
{{custom_sec.title}}
{{custom_sec.title}}
{{custom_sec.content}}