The Factorization of Queueing Equations and Their Interpretation

There are many queueing systems, including the M ^x /M ^y /c queue, the GI ^x /M/c queue and the M/D/c queue, in which the distribution of the queue length at certain epochs is determined by a Markov chain with the following structure. Except for a number of boundary states, all columns of the transition matrix are identical except for a shift which assures that there is always the same element occupying the main diagonal. This paper describes how one can find the equilibrium distribution for such Markov chains. Typically, this problem is solved by factorizing of a certain expression characterizing the repeated columns. In this paper, we show that this factorization has a probabilistic significance and we use this result to develop new approaches for finding the equilibrium distribution in question.     

A single-server queue with batch arrivals and semi-Markov services

We investigate the transient and stationary queue length distributions of a class of service systems with correlated service times. The classical \(M^X/G/1\) queue with semi-Markov service times is the most prominent example in this class and serves as a vehicle to display our results. The sequence of service times is governed by a modulating process J(t). The state of \(J(\cdot )\) at a service initiation time determines the joint distribution of the subsequent service duration and the state of \(J(\cdot )\) at the next service initiation. Several earlier works have imposed technical conditions, on the zeros of a matrix determinant arising in the analysis, that are required in the computation of the stationary queue length probabilities. The imposed conditions in several of these articles are difficult or impossible to verify. Without such assumptions, we determine both the transient and the steady-state joint distribution of the number of customers immediately after a departure and the state of the process J(t) at the start of the next service. We numerically investigate how the mean queue length is affected by variability in the number of customers that arrive during a single service time. Our main observations here are that increasing variability may reduce the mean queue length, and that the Markovian dependence of service times can lead to large queue lengths, even if the system is not in heavy traffic.     

Optimal Operating Policy for a Random Additional Service Facility

This paper studies the steady state behaviour of a Markovian queue wherein there is a regular service facility serving the units one by one. A search for an additional service facility for the service of a group of units is started when the queue length increases to K (0 < K < L), where L is the maximum waiting space. The search is dropped when the queue length reduces to some tolerable fixed size L - N. The availability time of an additional service facility is a random variable. The model is directed towards finding the optimal operating policy (N,K) for a queueing system with a linear cost structure.     

Customers’ abandonment strategy in an <Emphasis Type="Italic">M</Emphasis> / <Emphasis Type="Italic">G</Emphasis> / 1 queue

We consider an M / G / 1 queue in which the customers, while waiting in line, may renege from it. We show the Nash equilibrium profile among customers and show that it is defined by two sequences of thresholds. For each customer, the decision is based on the observed past (which determines from what sequence the threshold is taken) and the observed queue length (which determines the appropriate element in the chosen sequence). We construct a set of equations that has the Nash equilibrium as its solution and discuss the relationships between the properties of the service time distribution and the properties of the Nash equilibrium, such as uniqueness and finiteness.     

A discrete queue with double thresholds policy and its application to SVC systems

A discrete time Geo/Geo/1 queue with (m, N)-policy is considered in this paper. There are three operation periods being considered: high speed, low speed service periods and idle periods. With double thresholds policy, the server begins to take a working vacation when the number of customers is below m after a service and there is one customer in the system at least. What’s more, if the system becomes empty after a service, the server will take an ordinary vacation. Otherwise, high speed service continues if the number of customers still exceeds m after a service. At the vacation completion instant, servers resume their service if the quantity of customers exceeds N. Vacations can also be interrupted when the system accumulate customers more than the prefixed threshold. Using the quasi birth-death process and matrix-geometric solution methods, we derive the stationary queue length distribution and some system characteristics of interest. Based on these, we apply the queue to a virtual channel switching system and present various numerical experiments for the system. Finally, numerical results are offered to illustrate the optimal (m, N)-policy to minimize cost function and obtain practical consequence on the operation of double thresholds policy.     

Approximate Queueing Formulae Based on Consideration of the Busy Period

An approximation formula to one in M/M/1 queueing theory for hours in a queue is examined. Then it is extended to models M/D/1 and M/E _k /1 whereby wasted time or queue length is found to lie between two extremes. An empirical approximation to traffic intensity called utilization rate is used.     

Asymptotic variability analysis for multi-server generalized Jackson network in overloaded

The asymptotic variability analysis is studied for multi-server generalized Jackson network. It is characterized by law of the iterated logarithm (LIL), which quantifies the magnitude of asymptotic stochastic fluctuations of the stochastic processes compensated by their deterministic fluid limits. In the overloaded (OL) case, the asymptotic variability is studied for five performance measures: queue length, workload, busy time, idle time and number of departures. The proof is based on strong approximations, which approximate discrete performance processes with (reflected) Brownian motions. We conduct numerical examples to provide insights on these LIL results.     

Well-posedness and stability for an elliptic-parabolic free boundary problem modeling the growth of multi-layer tumors

In this paper we study a free boundary problem modeling the growth of multi-layer tumors. This free boundary problem contains one parabolic equation and one elliptic equation, defined on an unbounded domain in R2 of the form 0 〈 y 〈p（x,t）, where p（x,t） is an unknown function. Unlike previous works on this tumor model where unknown functions are assumed to be periodic and only elliptic equations are evolved in the model, in this paper we consider the case where unknown functions are not periodic functions and both elliptic and parabolic equations appear in the model. It turns out that this problem is more difficult to analyze rigorously. We first prove that this problem is locally well-posed in little H61der spaces. Next we investigate asymptotic behavior of the solution. By using the principle of linearized stability, we prove that if the surface tension coefficient y is larger than a threshold value y〉0, then the unique flat equilibrium is asymptotically stable provided that the constant c representing the ratio between the nutrient diffusion time and the tumor-cell doubling time is sufficiently small.     

Multiple liquid bridges with non-smooth interfaces

We consider a coexistence of two axisymmetric liquid bridges LB_i and LB_m of two immiscible liquids i and m which are immersed in a third liquid (or gas) e and trapped between two smooth solid bodies with axisymmetric surfaces S₁, S₂ and free contact lines. Evolution of liquid bridges allows two different configurations of LB_i and LB_m with multiple (five or three) interfaces of non-smooth shape. We formulate a variational problem with volume constraints and present its governing equations supplemented by boundary conditions. We find a universal relationship between curvature of the interfaces and discuss the Neumann triangle relations at the singular curve where all liquids meet together.     

Approximations and Mittag-Leffler conditions the applications

A classic result by Bass says that the class of all projective modules is covering if and only if it is closed under direct limits. Enochs extended the if-part by showing that every class of modules C, which is precovering and closed under direct limits, is covering, and asked whether the converse is true. We employ the tools developed in [18] and give a positive answer when C = A, or C is the class of all locally A^≤ω-free modules, where A is any class of modules fitting in a cotorsion pair (A, B) such that B is closed under direct limits. This setting includes all cotorsion pairs and classes of locally free modules arising in (infinite-dimensional) tilting theory. We also consider two particular applications: to pure-semisimple rings, and Artin algebras of infinite representation type.     

Optimal strategy in <Emphasis Type="Italic">N</Emphasis>-policy production system with early set-up

This paper considers a production system in which an early set-up is possible. The machine(server) is turned off when there are no units(customers) to process. When the accumulated number of units reaches m(<N), the operator starts a set-up that takes a random time. After the set-up, if there are N or more units waiting for processing, the machine begins to process the units immediately. Otherwise the machine remains dormant in the system until the accumulated number of units reaches N. We model this system by M/G/1 queue with early set-up and N-policy. We use the decomposition property of a vacation queue to derive the distribution of the number of units in the system. We, then, build a cost model and develop a procedure to find the optimal values of (m,N) that minimize a linear average cost.     

Finite-buffer polling systems with threshold-based switching policy

We consider a system of two separate finite-buffer M / M / 1 queues served by a single server, where the switching mechanism between the queues is threshold-based, determined by the queue which is not being served. Applications may be found in data centers, smart traffic-light control and human behavior. Specifically, whenever the server attends queue i (\(Q_i\)) and the number of customers in the other queue, \(Q_j\) (\(i,j=1,2\); \(j\ne i\)), reaches its threshold level, the server immediately switches to \(Q_j\) whenever \(Q_i\) is below its threshold. When a served \(Q_i\) becomes empty we consider two scenarios: (i) non-work-conserving; and (ii) work-conserving. We present occasions where the non-work-conserving policy is more economical than the work-conserving policy when high switching costs are involved. An intrinsic feature of the process is an oscillation phenomenon: when the occupancy of \(Q_i\) decreases the occupancy of the other queue increases. This fact is illustrated and discussed. By formulating the system as a three-dimensional continuous-time Markov chain we provide a probabilistic analysis of the system and investigate the effects of buffer sizes and arrival rates, as well as service rates, on the system’s performance. Numerical examples are presented and extreme cases are investigated.     

Some Numerical Data for Single-Server Queues Involving Deterministic Input Arrangements

The steady-state parameters of the bulk input queue D _c /M/1 and the Erlang service queue D/E _c /1 have been tabulated for C = 1(1)6(2)12(4)20 and 25, 50 and 100 and for ρ = 0·1(0·1)0·9. The tabulation includes the mean waiting time, idle time and queue size. In addition the queue D/E _c /1 has been compared with the queue M/E _c /1 to indicate the gains to be achieved by regularizing the arrival mechanism for a given E _c service facility.     

<Emphasis Type="Italic">M</Emphasis><Superscript><Emphasis Type="Italic">X</Emphasis></Superscript>/<Emphasis Type="Italic">M</Emphasis>/<Emphasis Type="Italic">c</Emphasis> Queue with catastrophes and state-dependent control at idle time

We consider an M ^X /M/c queue with catastrophes and state-dependent control at idle time. Properties of the queues which terminate when the servers become idle are first studied. Recurrence, equilibrium distribution, and equilibrium queue-size structure are studied for the case of resurrection and no catastrophes. All of these properties and the first effective catastrophe occurrence time are then investigated for the case of resurrection and catastrophes. In particular, we obtain the Laplace transform of the transition probability for the absorbing M ^X /M/c queue.     

Heavy traffic limit for a tandem queue with identical service times

We consider a two-node tandem queueing network in which the upstream queue is M/G/1 and each job reuses its upstream service requirement when moving to the downstream queue. Both servers employ the first-in-first-out policy. We investigate the amount of work in the second queue at certain embedded arrival time points, namely when the upstream queue has just emptied. We focus on the case of infinite-variance service times and obtain a heavy traffic process limit for the embedded Markov chain.     

On curves on K3 surfaces,II

We study the Clifford index c of a smooth irreducible curve X in the linear series |2H| on a special K3 surface S of degree 2n in \({{\mathbb P}}^{n+1}\), with hyperplane section H, and we look for the complete and base point free linear series of S whose restrictions to X compute c. In a more general context, we discuss the features of such series, for an assigned curve on a K3 surface; this discussion is of some independent interest.     

Control of arrivals in a finite buffered queue with setup costs

We consider finite buffered queues where the arrival process is controlled by shutting down and restarting the arrival stream. In the absence of holding costs for items in the queue, the optimal (s,?S) policy can be characterised by relating the arrival control problem to a corresponding service control problem. With the inclusion of holding costs however, this characterisation is not valid and efficient numerical computation of the queue length probability distribution is necessary. We perform this computation by using a duality property which relates queue lengths in the controlled arrival system to a controlled service system. Numerical results which analyse the effect of setup and holding costs and the variability of the arrival process on the performance of the system are included.     

A semidefinite programming approach to the optimal control of a single server queueing system with imposed second moment constraints

Classical analyses of the dynamic control of multi-class queueing systems frequently yield simple priority policies as optimal. However, such policies can often result in excessive queue lengths for the low priority jobs/customers. We propose a stochastic optimisation problem in the context of a two class M/M/1 system which seeks to mitigate this through the imposition of constraints on the second moments of queue lengths. We analyse the performance of two families of parametrised heuristic policies for this problem. To evaluate these policies we develop lower bounds on the optimum cost through the achievable region approach. A numerical study points to the strength of performance of threshold policies and to directions for future research.     

Two new heuristics for the <Emphasis Type="Italic">GI</Emphasis>/<Emphasis Type="Italic">G</Emphasis>/<Emphasis Type="Italic">n</Emphasis>/0 queueing loss system with examples based on the two-phase Coxian distribution

In this paper, we introduce a new heuristic approach for the numerical analysis of queueing systems. In particular, we study the general, multi-server queueing loss system, the GI/G/n/0 queue, with an emphasis on the calculation of steady-state loss probabilities. Two new heuristics are developed, called the GM Heuristic and the MG Heuristic, both of which make use of an exact analysis of the corresponding single-server GI/G/1/0 queue. The GM Heuristic also uses an exact analysis of the GI/M/n/0 queue, while the MG Heuristic uses an exact analysis of the M/G/n/0 queue. Experimental results are based on the use of two-phase Coxian distributions for both the inter-arrival time and the service time; these include an error analysis for each heuristic and the derivation of experimental probability bounds for the loss probability. For the class of problems studied, it is concluded that there are likely to be many situations where the accuracy of the GM Heuristic is adequate for practical purposes. Methods are also developed for combining the GM and MG Heuristics. In some cases, this leads to approximations that are significantly more accurate than those obtained by the individual heuristics.