1 Introduction
In recent years, retrial queueing systems have been widely adopted to model LAN (local area networking) systems. Because in a LAN, a job that can not be disposed at its arrival instant will be translated again in a later time, which consistents with the key thought of retrial queues. Assuming that the waiting space is finite, when the server is idle, new arriving customer will take up the server and accept service immediately. Otherwise if the server is in other states, then arriving customers have to leave the server, but they can join a virtual retrial orbit and wait for retry. So far, there has been vast literature on retrial queuing system. Falin and Templeton
[1] summarized the main methods and results of previous research on retrial queuing system. For interested readers, more details can be found in Artalejo
[2], Gomez-Corral
[3] and Artalejo
[4]. It is worth noting that in the retrial queuing literatures, most of the articles assume that the retrial intervals of customers are independent and follow the exponential distribution with the parameter of
. Under this strategy, the total retrial rate changes with the number of customers in the orbit. While in our model, customers in the orbit follow the first come, first served discipline (FCFS), only the head customer can retry for service after a random time, therefore the retrial rate becomes a constant and is independent of the queue length. Fayolle
[5] first came up with the constant retrial policy to model a telephone exchange system, Later researches can be seen in Falin
[6], Artalejo, Gomez-Corral
[7].
During the past two decades, the game theory has been introduced into the queueing systems. Various queueing models have been studied from the perspective of economics. In equilibrium literature, Naor
[8] first investigated an observable M/M/1 queue under the linear reward-cost structure. He gave the equilibrium balking strategy and proposed that customers could enter the system with social optimal strategy if charged tolls. Edelson and Hildebrand
[9] studied the same model under the assumption that the new arrival customers could not observe the system queue length. Subsequently, many researchers devoted to study and generalize the queueing model, and achieved more results.
In addition, for the set-up time, it was first studied from an economic view by Burnetas and Economou
[10] as a vacation policy. For the sake of costs reduction and energy saving, when the system becomes empty, the server should be turned down and won't be restarted until a customer arrives. Considering to the reality, the opening time of the server should not be ignored. Therefore, regarding the set-up time as a random time subjected to exponential distribution is widely accepted. Zhang and Wang
[11] studied an M/G/1 retrial queue with reserved idle time and setup time. They derived the optimal pricing strategies from the view of the social planner and the server, respectively. However, they take consideration of the general retrial rate, and assume that the information of the queue length and the server's state are unobservable, which are quite different from this paper. Recent results of queueing systems with set-up time can be seen in Yutaka, Yoshitaka, Yutaka, et al.
[12].
The main contribution of this article is the introduction of the set-up time to a constant retrial queue. After the set-up time policy is added, the model becomes more realistic and is firstly studied from an economic view. Closed server will only be activated by an arriving customer and will go through a period of set-up time. Under the almost unobservable condition, we not only derive the customers' equilibrium strategies, but also investigate the social optimization problems respectively from the standpoints of the service provider and the social manager, so that each party in the game can take specific measures to achieve their own goals.
The rest content of this paper can be summarized as follows. Section 2 presents the investigated model and corresponding assumptions. In Section 3, we study the steady state solutions and derive some main system performance measures. In Section 4, we get the individual equilibrium arrival rates by analyzing the properties of the customers' utility function. Section 5 gives the expressions of the social welfare and the cost function. Due to the complexity of their formulas, the Particle Swarm Optimization algorithm (PSO) is introduced to find the socially optimal arrival rates and the cost-optimal arrival rates. Section 6 shows the results of the numerical examples and Section 7 concludes this paper.
2 Model Description
In this section, we consider a constant retrial queue with balking and set-up time. Potential primary customers arrive in a Poisson process with rate . Assuming that there is no waiting space in front of the server, an arriving customer who finds the server idle will take up it and receive service immediately, otherwise he could choose to enter the "virtual" retrial orbit waiting for retry or to balk, depending on his expected net payoff. Once a service is finished, only the head customer in the orbit can begin to request for service. The retrial time is exponentially distributed with rate . If a new customer arrives during the retrial time, he will interrupt the process and receive service at once. The service times for customers (both external and repeated) are independent and exponentially distributed with rate .
Every time the system becomes empty, the server will be turned down and won't be restarted until there is a customer arrives. Once activated, the server will go through a random opening time subjected to exponential distribution with parameter . The customer who activated the server will automatically enter the retrial orbit and become the head of the retrial queue. It is assumed that the interarrival times, service times, retrial times and set-up times are mutually independent.
Assuming that every customer gains a profit of units after completing the service, while has to pay for a waiting cost of per unit time for remaining in the system. All customers are indistinguishable and rational to pursue the maximization of their own profits, and they have the rights to determine whether or not to join at their arrival instants, which forms a game among them. Explicitly, customers tend to enter when they gain more from the service than they pay for the cost, otherwise they prefer to balk. On the other hand, if the reward equals to the cost, it doesn't matter for customers whether to enter or to stop. To ensure that a customer who arrives during the idle period will always choose to enter, we assume that
In this paper, the almost unobservable case is investigated. We use the pair to describe the system at time , where indicates the state of the server and shows the number of customers in the orbit. Explicitly,
Then is a two-dimensional continuous time Markov chain, and its state space is . According to the above analysis, the joining probabilities of arriving customers depend on . Define , where is the joining probability that specifies a general strategy, and becomes the effective arrival rate at state , which reflects the customer's real demand rate for the service.
Because of the assumption (2.1), we have that
. In the following analysis, we only need to study how do customers make decision at state
, and we focus on the corresponding effective arrival rates
and
. According to Economou & Kanta
[13], the steady-state condition of this model is given by
The transition rate diagram of this model is shown in Figure 1.
Figure 1 Transition rate diagram of a retrial queue with balking and set-up time |
Full size|PPT slide
3 Steady State Solutions
For the convenience to analyze the equilibrium strategies, we first study the steady state solutions. Suppose that the system is stable and let be the steady-state probability of state , then we can easily get the balance equations:
The generating function technique is used to solve the equations. Define the partial generating functions as:
Then we can get the following results.
Theorem 1 For the almost unobservable retrial queue with balking and set-up time, the probabilities that the server is idle, busy or in set-up period are, respectively given by
where
Proof Multiplying Equations (3.1)(3.2) by and summing up over all , we derive the following equation:
Similarly, from Equations (3.3)(3.6), we have that
By some algebraic manipulations, we use to express as:
Taking (3.15) into (3.17), then we have,
Noticed that, and are both indeterminate forms when , so we use the L' Hospital rule to solve them and we have (3.8)(3.10). Taking them into the normalization condition: , we derive as given by (3.11).
Based on the above proof process, we can immediately derive by differentiating (3.15), (3.16) and (3.18). Letting , we find that
can be considered as the contribution of state to the expected number of customers in the orbit. As the three states are connected, customers accumulating in a single state will affect the other states.
Next we turn our attention to investigate the mean sojourn time(including service time) of a singled out customer. Assuming that an arriving customer decides to enter the system, and becomes the th customer in the orbit. We denote the expected sojourn time of the specific customer at different states as . Then we obtain in the following analysis.
Lemma 1 For the almost unobservable retrial queue with balking and set-up time, the mean sojourn times of the th customer in the orbit at steady state are, respectively given by
Proof Through state transition analysis, we have the following equations:
Combining equations (3.26) and (3.27), we have the recursive form of ,
Considering to (3.25), we have that,
Taking the expression of into (3.26), we derive as in (3.22). Furthermore, we have by substituting in (3.28).
For a non-specific new arriving customer, the situation is different, but we can also get the mean sojourn time with the help of Lemma1. Denote as the mean sojourn times of a new arriving customer who finds that . We have the following conclusion.
Theorem 2 For the almost unobservable retrial queue with balking and set-up time, the mean sojourn times of a new arriving customer who finds that the server is in idle, busy or set-up period are, respectively given by
Proof First of all, any customer arrives at idle state will enter the system and immediately be served, so the sojourn time equals to the mean service time .
What needs to be concerned is that in busy or set-up period cases. Assume that the server is busy and there are already customers in the orbit, if a new customer decides to enter the system, he will be the th customer in the orbit, whose mean sojourn time is . Using the PASTA property, we denote as the conditional probability that there are customers in the orbit, given that the server is busy. According to the total probability formula, we derive that,
where can be computed by (3.9) and (3.20) as
Combining the two equations and by some algebraic computation, we get the expression of as in (3.32). Meanwhile, using the same argument, we obtain that,
which can be converted to (3.33).
Theorem 2 reflects an important fact that only depends on . Although is related to the effective arrival rates both in busy and set-up time. As long as is determined, is considered to be subject to only. This can be helpful for the following equilibrium analysis.
4 Individual Equilibrium
In this section, we aim to derive the individual equilibrium strategies in different states. Since the self-optimizing arriving customers are indistinguishable, and have the right to decide whether to join or not, it is reasonable to regard them as players in a symmetric game, whose strategies are balking or joining. For simplicity, a Nash equilibrium strategy is the one that the tagged customer has to adopt to maximize his benefit when all others take the same strategy. According to the game theory, there exists an equilibrium joining strategy. That is to say, the equilibrium arrival rates can be specified. According to the assumption of the reward-cost structure, we have the expression of the customers' benefit functions in state as:
Then we have the following results.
Theorem 3 For the almost unobservable retrial queue with balking and set-up time,
when the server is in set-up period, the individual equilibrium arrival rate is given by
when the server is busy, there are three cases, and the individual equilibrium arrival rates are given as:
When , i.e., ,
When , i.e., ,
When , i.e., ,
Specifically, is the unique root of the equation , and is given by
, are respectively the roots of the three formulas : ; ; , and are given by
Proof Similar to the above discussion, customers have to measure the losses and gains to make the decision on whether to join or not.
If a customer observes that the server is in set-up period upon arriving, then his joining strategy is dependent on his benefit function
. It can be intuitively found from (4.2) that
is decreasing with
, which leads an ATC(avoid the crowd) behavior of the customer, thus there exists a unique equilibrium arrival rate
(see Hassin and Haviv
[14]). To derive
, we have the following discuss:
(ⅰ) When , i.e., , then in every . In this case, customers' benefits are always negative, hence nobody wants to enter the system, so there forms a equilibrium , which is the first branch of (4.3).
(ⅱ) When and , i.e., , since strictly decreases with , there is a unique root of in , denoted by , which is exactly the equilibrium point. Because if , new arriving customers will all choose to balk since their benefits are negative, thus their strategies are equal to zero. This is against to the equilibrium property that all customers adopt the same strategy. On the other hand, the arrival rate which is less than will lead an "all joining" strategy and finally converge to , too. Therefore, is the unique equilibrium point of this branch.
(ⅲ) When , i.e., , the situation is completely opposite to (a), and all customers choose to enter since their benefits are always positive, which leads to a equilibrium of . This forms the last branch of (4.3).
Theorem 2 tells that, once is determined, is only dependent with , so as the customers' benefit function in busy state, which can be remarked as . Similarly, it can be found from (4.1) that is decreasing with when is settled. Thus, there exists three cases according to the value of in (4.3), which respectively correspond to (a), (b), (c) in Theorem 3. Proceeding the analysis as before, the proof of (4.4), (4.5) and (4.6) can be done, and , , are, respectively derived by solving the equations: ; ; .
There is one thing to notice in the above analysis: The process of deriving has preconditions in the three cases. In each case, we discuss three branches and present as in (4.4)(4.6) for brevity and clarity. However, when there is a conflict between the precondition and the branch condition, that branch will be naturally canceled.
5 Social Optimization
In this section, we seek for social optimization for the social planner and the service provider, respectively, since they are out of different considerations. For the former, the goal is to maximize social welfare, while for the latter, reducing the total cost is the emphases.
5.1 Social Welfare
First, we investigate the social welfare, which is the sum of all the customers' expected net benefits. The expression of the social welfare is given by
The purpose of the social planner is to maximize by seeking the optimal arrival rates , , thus we can model the socially optimal problem as . Unfortunately, the expression of seems especially complex. Through trial and explore, we have to admit that it's too difficult to find the analytic solution. However, after consulting the literatures and analyzing our own model, we find it appropriate to adopt the Particle Swarm Optimization (PSO) algorithm to derive the numerical solutions.
At the mention of PSO algorithm, the most significant advantage is that it does not require too much analyticity of the objective function. It is an optimization algorithm based on swarm intelligence theory. In each iteration search process, Particles in swarm can dynamically adjust their position and speed by tracking two extremes of swarm: The best solution found by the particle itself, namely P-best, and the best solution found by the swarm, namely G-best. Through multiple iterations, the global optimal solution can be found. The specific process is presented in numerical examples.
5.2 Cost Analysis
In this subsection, we carry out the cost analysis from the service provider's point. The expenses come from many aspects, but can be simplified into the following four items:
= cost of the server per unit time for keeping a customer in the orbit;
= cost of the server per unit time for providing service;
= cost of the server per unit time during the set-up period;
= cost of the server per unit time for retry.
Therefore we set up the expected total cost function per unit time as
where , and are given by (3.19)(3.21). Aiming to minimize the total cost, service providers seek for the cost-optimal arrival rates. First we investigate the situation that customers are not allowed to balk. In this case, we denote that , and the cost function is written as:
Due to the highly nonlinearity and complexity of the expression, we adopt the quadratic interpolation method to give the numerical solution. The basic idea of quadratic interpolation method is the continuous use of quadratic polynomials to approximate objective function in search intervals, and the minimum point of objective function is gradually approximated by the minimum point of interpolation polynomial. The main steps are as follows:
Step 0 Set the initial three points , which satisfy , and . Choose the stopping tolerance as .
Step 1 If , stop and output that .
Step 2 According to the interpolation formula , compute and . If , turn to Step 4; otherwise go to Step 3.
Step 3 If , update , , , , and turn to Step 1; if not, update , , , , and then turn to Step 1.
Step 4 If , let , and go to Step 1; otherwise let , , and then turn to Step 1.
Here we assume that , , , . Using the software Matlab, after several iterations, the cost-optimal arrival rate is shown in Table 1 with the error controlled by . It is clearly that the solution converges to , and the minimal cost is .
Table 1 The quadratic interpolation method in the constant retrial queue with set-up time |
Iterations | | | | | | Tolerance |
0 | 0.2000 | 0.8000 | 1.4000 | 0.2000 | 44.9939 | 1.2000 |
1 | 0.7572 | 0.8000 | 0.8428 | 0.7572 | 44.9172 | 0.0855 |
2 | 0.0637 | 0.8000 | 1.5363 | 0.0637 | 44.9994 | 1.4725 |
3 | 0.5711 | 0.8000 | 1.0289 | 0.5711 | 44.9506 | 0.4579 |
4 | 0.3757 | 0.8000 | 1.2243 | 0.3757 | 44.8764 | 0.8486 |
5 | 1.0166 | 1.1204 | 1.2243 | 1.1204 | 44.8764 | 0.2077 |
6 | 1.0311 | 1.0758 | 1.0758 | 1.0758 | 44.8752 | 0.0447 |
7 | 1.0534 | 1.0758 | 1.0981 | 1.0981 | 44.8754 | 0.0447 |
8 | 1.0758 | 1.0804 | 1.0850 | 1.0804 | 44.8751 | 0.0092 |
9 | 1.0804 | 1.0808 | 1.0812 | 1.0804 | 44.8751 | 0.0008 |
10 | 1.0808 | 1.0808 | 1.0808 | 1.0808 | 44.8751 | 0.0000 |
Now, we turn our attention to the more general case, in which customers are allowed to balk, then the cost function is given by
Similar to the analysis of the social welfare, we can also use the PSO algorithm to solve the optimization problem. The difference is that the cost-optimal arrival rates we seek are to minimize the objective function. To do this, we just need to add a minus sign before the objective function in the corresponding program. Section 6 gives the specific analysis process.
6 Numerical Examples
In this section, we use numerical experiments to intuitively reflect the impact of main parameters, i.e., , , , , on the discussed arrival rates respectively. The expressions of the individual equilibrium arrival rate (, ) are clearly given by Theorem 3. As for the socially optimal arrival rate (, ) and the cost-optimal arrival rate (, ), we have to adopt the PSO algorithm to analyze.
6.1 To the Individual Equilibrium Arrival Rate
We choose one of the cases in Theorem 3 to explain the influence of the related parameters on . The graphical representations of the main results are shown in Figures 24.
Figure 2 The individual equilibrium arrival rates , with respect to when |
Full size|PPT slide
Figure 3 The individual equilibrium arrival rates , with respect to when |
Full size|PPT slide
Figure 4 The individual equilibrium arrival rates , with respect to when |
Full size|PPT slide
Firstly, it can be known from Figure 2 that there exists the opposite tendency of and with regard to . It's reasonable that with the decreasing of the set-up time, customers finding the server at state 2 are more willing to enter the system. On the other hand, as long as the net benefit is positive, selfish customers will always choose to enter, which results in the congestion of the system. Therefore, the customer's arrival rate at busy state decreases correspondingly.
Secondly, it is easily understood that the service rate and the retrial rate have the same influence on and . Because the expected waiting time decreases as the decline of the mean service time or the retrial interval, customers spend less time and expenses in queue, surely the equilibrium arrival rates will increase. Figures 34 also support this point.
6.2 To the Socially Optimal Arrival Rate
In this section, we adopt the PSO algorithm to investigate the effect of parameters on the socially optimal arrival rates and social welfare , respectively.
Firstly, it is obvious that the socially optimal arrival rates and the social welfare are all increase with reward when . When , the socially optimal arrival rate at state 2 is zero. The reason is that the net payoff of the latter arrivals would result in the loss of the earlier. From the social manager's point of view, since the reward is less than the loss, he would rather there is no customer entering the orbit during set-up time. However, when is large enough, the total benefits brought by the customers are always higher than the cost, to maximize the social welfare, social manager would encourage people to join the system. Therefore, and achieve the maximization gradually. Noticed that, is almost increasing linearly with due to its structure.
Secondly, Figure 6 shows that both and are increasing with parameter in general, for the mean sojourn time decreases with set-up time, and the net benefits increases correspondingly. But compared with , reached its maximum earlier. The reason is that the server doesn't provide service during set-up time. When , the cost incurred by the customers entering at state 2 is more than the benefit they brought, so at this situation, social manager prefers there is no enter when the server is setting up. However, since , increases rapidly to its maximum. Because from then on, the set up time is sufficiently short, customers arriving at state 2 don't have to wait so long, and the net benefits exceed their waiting cost.
Figure 5 The effect of on the socially optimal arrival rates , and social welfare for |
Full size|PPT slide
Figure 6 The effect of on the socially optimal arrival rates , and social welfare for |
Full size|PPT slide
Finally, similar to the analysis in Section 6.1, and have the same trends with respect to and , and Figures 78 also show the evidence. So, we only study the impact of the service rate on , and . From Figure 7(a) we can see that when , both and are equal to 0. Intuitively, the smaller service rate results in the negative expected benefit of all the customers. When , begin to increase while is still equal to 0. Because the positive net payoff of customers arriving after the system activated can offset the negative effect of customers arriving at set-up period. As , the service rate is large enough to avoid the congestion of the system, therefore also increases gradually to its maximum. Figure 7(b) shows that the social welfare is strictly increasing with respect to , since the larger the service rate, the shorter the mean service time. Therefore customers spend less time in queue and incur less cost.
Figure 7 The effect of on the socially optimal arrival rates , and social welfare for |
Full size|PPT slide
Figure 8 The effect of on the socially optimal arrival rates , and social welfare for |
Full size|PPT slide
6.3 To the Cost-Optimal Arrival Rate
Now we focus on the impact of parameters , , from the perspective of the service provider. Through a large number of numerical experiments, we found that compared with other parameters, when takes a smaller value, the total cost always reaches its minimum at . That is because the retrial interval is too large for the server that will cause congestion of the system. Meanwhile, customers arriving at set-up time will only aggravate this problem since the server can't provide service during this period. Therefore, from the service provider's point, they would better prevent customers from entering at the set-up time. But when is large enough, it is shown that , and have the following tendencies.
Figure 9(a) shows that when , due to the long set-up time, the set-up cost is too high for the service provider, so the system is better shuttled down. As increases, the cost-optimal arrival rates and the total cost all increase accordingly. Because the set-up cost decreases, and the service provider needs the reward brought by customers to offset the cost. Thus customers are encouraged to enter the system and , increase. Figure 9(b) shows that as the number of customers increase, the cost for remaining customers in the orbit rises, and becomes the dominant player. Therefore, although the set-up cost decrease, the total cost continues to rise.
Figure 9 The effect of on the socially optimal arrival rates , and total cost for |
Full size|PPT slide
Figure 10 shows the tendency of , and about parameter ( has similar effect). As analyzed before, when the cost-optimal arrival rates are , . As the increase of , the retrial interval gets shorter and the retrial cost decreases. Relatively the set-up cost is higher. Therefore, to avoid frequent set-up periods, the service provider should encourage potential customers to enter the system. Accordingly, the trends of , are upward curves. Meanwhile, more customers in the orbit means more keeping cost, so increases correspondingly.
Figure 10 The effect of on the socially optimal arrival rates , and total cost for |
Full size|PPT slide
7 Conclusion
In this paper, we studied the M/M/1 constant retrial queue with balking and set-up time. When the server's state is observable while the queue length is unknown, the individual equilibrium strategies and social optimization problems are considered. Firstly, under the stability condition, we derived the customers' mean sojourn times for different states, and obtained the individual equilibrium arrival rates by analyzing the benefit function of arriving customers. After that, the expression of the social welfare is given. From the point of the social manager, the optimal arrival rates are presented by PSO algorithm. Furthermore, we carried out cost analysis from the point of the service provider, and derived the cost-optimal arrival rates in two cases that whether customers are allowed to balk or not, respectively. Finally, the numerical examples were given to show the sensitivity of main system performance measures.
To further study, this work can be generalized in different directions. One extension is to consider the general service times. In addition, the optimal pricing strategies that equate the customers' equilibrium arrival rates to the socially optimal arrival rates can be studied. Furthermore, the equilibrium analysis in other information levels could also be considered.
{{custom_sec.title}}
{{custom_sec.title}}
{{custom_sec.content}}