具有一阶离散自回归到达和服务器中断的离散时间排队系统分析

研究一类到达服从一阶离散自回归过程,服务器有可能中断的离散排队系统.着重考虑在到达流具有相关性的情况下,排队系统的性能表现.文章通过概率母函数的方法,得到了系统队长的概率母函数,并由此导出系统平均队长.最后通过数值实验可以看出系统的性能对到达过程的相关性非常敏感.     

A heuristic technique for the transient behavior of Markovian queueing systems

Through an examination of numerical solutions to Markovian queueing systems, it has been shown that the expected queue length eventually approaches its equilibrium value in an approximately exponential manner. Based on this observation a heuristic is proposed for approximating the transient expected queue length for Markovian systems by scaling the numerical solution of an M/M/1 system.     

Second‐order performance analysis of discrete‐time queues fed by DAR(2) sources with a focus on the marginal effect of the additional traffic parameter

Discrete autoregressive process of order 1 (DAR(1)) has been used as a popular stochastic model for correlated traffic sources because it parsimoniously uses a single parameter to capture the desirable correlation structure. In contrast with DAR(1), discrete autoregressive process of order 2 (DAR(2)) uses one more parameter to provide a much richer pattern in the autocorrelation function and is able to capture slower decay rate and longer memory. To investigate how the additional traffic parameter in DAR(2) influences the queueing performance, this paper provides an analysis of the discrete‐time DAR(2)/D/1 queue. The performance measures concerned are the mean and second‐order statistics of queue size, which are both important in the queueing systems seen in telecommunication networks. Under a mild condition, these performance indices are derived in closed form that allows for efficient computing. An approximate version of these results is also developed to relax the condition and cover more general sources, and both versions serve as a simple tool set for performance evaluation. The numerical examples use this tool to demonstrate that the DAR(2) source may cause up to 30% poorer performance than DAR(1) when the traffic is heavy, bursty, and highly correlated. This indicates that the effect from slower decay rate in autocorrelation is not negligible and using the extra parameter is necessary particularly when the queue is heavily loaded with correlated traffic. Copyright © 2012 John Wiley & Sons, Ltd.     

The discrete-time queue with autoregressive inputs revisited

In this paper, we present an exact queuing analysis of a discrete-time queue whose arrival process is correlated and consists of a discrete autoregressive model of order 1 (DAR(1)). The functional equation describing this DAR(1)/D/1 queuing model, originally derived in Hwang and Sohraby (Queuing Systems 43 (2003)29–41), is manipulated and transformed into a mathematical tractable form. By using simple analytical transform techniques, we show how our proposed approach allows us to derive an equivalent (yet simpler) expression for the steady-state probability generating function (pgf) of the queue length, as originally derived in Hwang and Sohraby (Queuing Systems 43 (2003)29–41). From this pgf, we characterize the distribution of the packet delay. New numerical results related to packet loss ratio and mean delay of the DAR(1)/D/1 queue are also presented. The proposed approach outlines an alternate solution technique and a general framework under which more complex time-series based queuing models can be analyzed. AMS Subject Classifications 60K25     

Multi-server retrial queue with negative customers and disasters

We consider a multi-server retrial queue with waiting places in service area and four types of arrivals, positive customers, disasters and two types of negative customers, one for deleting customers in orbit and the other for deleting customers in service area. The four types of arrivals occur according to a Markovian arrival process with marked transitions (MMAP) which may induce the dependence among the arrival processes of the four types. We derive a necessary and sufficient condition for the system to be positive recurrent by comparing sample paths of auxiliary systems whose stability conditions can be obtained. We use a generalized truncated system that is obtained by modifying the retrial rates for an approximation of stationary queue length distribution and show the convergence of approximation to the original model. An algorithmic solution for the stationary queue length distribution and some numerical results are presented.      

离散时间排队MAP/PH/3

本文研究具有马尔可夫到达过程的离散时间排队MAP/PH/3,系统中有三个服务台,每个服务台对顾客的服务时间均服从位相型分布。运用矩阵几何解的理论,我们给出了系统平稳的充要条件和系统的稳态队长分布。同时我们也给出了到达顾客所见队长分布和平均等待时间。     

An M/M/2 queueing system with heterogeneous servers and multiple vacations

In this paper, a Markovian queue with two heterogeneous servers and multiple vacations has been studied. For this system, the stationary queue length distribution and mean system size have been obtained by using matrix geometric method. The busy period analysis of the system and mean waiting time distribution are discussed. Extensive numerical illustrations are provided.     

Stationary tail probabilities in exponential server tandems with renewal arrivals

The problem considered is that of estimating the tail stationary probability for two exponential server queues in series fed by renewal arrivals. We compute the tail of the marginal queue length distribution at the second queue. The marginal at the first queue is known by the classical result for the GI/M/1 queue. The approach involves deriving necessary and sufficient conditions on the paths of the arrival and virtual service processes in order to get a large queue size at the second queue. We then use large deviations estimates of the probabilities of these paths, and solve a constrained convex optimization problem to find the most likely path leading to a large queue size. We find that the stationary queue length distribution at the second queue has an exponentially decaying tail, and obtain the exact rate of decay.Research supported in part by NSF grant NCR 88-57731 and the AT & T Foundation.     

On non-equilibria threshold strategies in ticket queues

In many real-life queueing systems, a customer may balk upon arrival at a queueing system, but other customers become aware of it only at the time the balking customer was to start service. Naturally, the balking is an outcome of the queue length, and the decision is based on a threshold. Yet the inspected queue length contains customers who balked. In this work, we consider a Markovian queue with infinite capacity and with customers that are homogeneous with respect to their cost reward functions. We show that that no threshold strategy can be a Nash equilibrium strategy. Furthermore, we show that for any threshold strategy adopted by all, the individual’s best response is a double threshold strategy. That is, join if and only if one of the following is true: (i) the inspected queue length is smaller than one threshold, or (ii) the inspected queue length is larger than a second threshold. Our model is under the assumption that the response time of the server when he finds out that a customer balked is negligible. We also discuss the validity of the result when the response time is not negligible.     

A Markovian single server with upstream job and downstream demand arrival stream

In this paper we consider a Markovian single server system which processes items arriving from an upstream region (as usual in queueing systems) and is controlled by a demand arrival stream for finished items from a downstream area. A finite storage is available at the server to store finished items not immediately needed in the downstream area. The system considered corresponds to an assembly-like queue with two input streams. The system is stable in a strict sense only if all queues are finite, i.e., both random processes are synchronized via blocking. This notion leads to a complementary system with a very similar state space which is a pair of Markovian single servers with synchronous arrivals. In the mathematical analysis the main focus is on the state probabilities and expectation of minimum and maximum of the two input queues. This revised version was published online in June 2006 with corrections to the Cover Date.     

A numerically efficient method for the MAP/D/1/K queue via rational approximations

The Markovian Arrival Process (MAP), which contains the Markov Modulated Poisson Process (MMPP) and the Phase-Type (PH) renewal processes as special cases, is a convenient traffic model for use in the performance analysis of Asynchronous Transfer Mode (ATM) networks. In ATM networks, packets are of fixed length and the buffering memory in switching nodes is limited to a finite numberK of cells. These motivate us to study the MAP/D/1/K queue. We present an algorithm to compute the stationary virtual waiting time distribution for the MAP/D/1/K queue via rational approximations for the deterministic service time distribution in transform domain. These approximations include the well-known Erlang distributions and the Padé approximations that we propose. Using these approximations, the solution for the queueing system is shown to reduce to the solution of a linear differential equation with suitable boundary conditions. The proposed algorithm has a computational complexity independent of the queue storage capacityK. We show through numerical examples that, the idea of using Padé approximations for the MAP/D/1/K queue can yield very high accuracy with tractable computational load even in the case of large queue capacities.This work was done when the author was with the Bilkent University, Ankara, Turkey and the research was supported by TÜBITAK under Grant No. EEEAG-93.     

Analysis of a finite MAP/G/1 queue with group services

The finite capacity queues, GI/PH/1/N and PH/G/1/N, in which customers are served in groups of varying sizes were recently introduced and studied in detail by the author. In this paper we consider a finite capacity queue in which arrivals are governed by a particular Markov renewal process, called a Markovian arrival process (MAP). With general service times and with the same type of service rule, we study this finite capacity queueing model in detail by obtaining explicit expressions for (a) the steady-state queue length densities at arrivals, at departures and at arbitrary time points, (b) the probability distributions of the busy period and the idle period of the server and (c) the Laplace-Stieltjes transform of the stationary waiting time distribution of an admitted customer at points of arrivals. Efficient algorithmic procedures for computing the steady-state queue length densities and other system performance measures when services are of phase type are discussed. An illustrative numerical example is presented.     

Stability of a two-queue cyclic polling system with BMAPs under gated service and state-dependent time-limited service disciplines

The stability of a cyclic polling system, with a single server and two infinite-buffer queues, is considered. Customers arrive at the two queues according to independent batch Markovian arrival processes. The first queue is served according to the gated service discipline, and the second queue is served according to a state-dependent time-limited service discipline with the preemptive repeat-different property. The state dependence is that, during each cycle, the predetermined limited time of the server’s visit to the second queue depends on the queue length of the first queue at the instant when the server last departed from the first queue. The mean of the predetermined limited time for the second queue either decreases or remains the same as the queue length of the first queue increases. Due to the two service disciplines, the customers in the first queue have higher service priority than the ones in the second queue, and the service fairness of the customers with different service priority levels is also considered. In addition, the switchover times for the server traveling between the two queues are considered, and their means are both positive as well as finite. First, based on two embedded Markov chains at the cycle beginning instants, the sufficient and necessary condition for the stability of the cyclic polling system is obtained. Then, the calculation methods for the variables related to the stability condition are given. Finally, the influence of some parameters on the stability condition of the cyclic polling system is analyzed. The results are useful for engineers not only checking whether the given cyclic polling system is stable, but also adjusting some parameters to make the system satisfy some requirements under the condition that the system is stable.     

Implementation of Markovian Queueing Network Model with Multiple Closed Chains

Mathematical strategy portrays the performance evaluation of computer and communication system and it deals with the stochastic properties of the multiclass Markovian queueing system with class-dependent and server-dependent service times. An algorithm is designed where the job transitions are characterized by more than one closed Markov chain. Generating functions are implemented to derive closed form of solutions and product form solution with the parameters such as stability, normalizations constant and marginal distributions. For such a system with N servers and L chains, the solutions are considerably more complicated than those for the systems with one sub-chain only. In Multi-class queueing network, a job moves from a queue to another queue with some probability after getting a service. A multiple class of customer could be open or closed where each class has its own set of queueing parameters. These parameters are obtained by analyzing each station in isolation under the assumption that the arrival process of each class is a state-dependent Markovian process along with different service time distributions. An algorithmic approach is implemented from the generating function representation for the general class of Networks. Based on the algorithmic approach it is proved that how open and closed sub-chain interact with each other in such system. Specifically, computation techniques are provided for the calculation of the Markovian model for multiple chains and it is shown that these algorithms converge exponentially fast.     

A polling model with smart customers

In this paper we consider a single-server, cyclic polling system with switch-over times. A distinguishing feature of the model is that the rates of the Poisson arrival processes at the various queues depend on the server location. For this model we study the joint queue length distribution at polling epochs and at the server’s departure epochs. We also study the marginal queue length distribution at arrival epochs, as well as at arbitrary epochs (which is not the same in general, since we cannot use the PASTA property). A generalised version of the distributional form of Little’s law is applied to the joint queue length distribution at customer’s departure epochs in order to find the waiting time distribution for each customer type. We also provide an alternative, more efficient way to determine the mean queue lengths and mean waiting times, using Mean Value Analysis. Furthermore, we show that under certain conditions a Pseudo-Conservation Law for the total amount of work in the system holds. Finally, typical features of the model under consideration are demonstrated in several numerical examples.     

Packet Models Revisited: Tandem and Priority Systems

We examine two extensions of traditional single-node packet-scale queueing models: tandem networks and (strict) priority systems. Two generic input processes are considered: periodic and Poisson arrivals. For the two-node tandem, an exact expression is derived for the joint distribution of the total queue length, and the queue length of the first queue, implicitly determining the distribution of the second queue. Similarly we derive the distribution of the low-priority queue in a two-class priority system. We also provide explicit approximations based on the Brownian bridge.     

Large deviations of Markovian polling models with applications to admission control

In this paper we consider large deviations and admission control problems for a discrete-time Markovian polling system. The system consists of two-parallel queues and multiple heterogeneous servers. The arrival process of each queue is a superposition of mutually independent Markovian on/off processes, and the multiple servers serve independently the two queues according to the so called Bernoulli service schedule. Using the large deviations techniques, we derive upper and lower bounds of the overflow probabilities, and then we present an admission control criterion by which different Quality of Service (QoS) requirements for the two queues are guaranteed.     

Marginal queue length approximations for a two-layered network with correlated queues

We consider an extension of the classical machine-repair model, where we assume that the machines, apart from receiving service from the repairman, also serve queues of products. The extended model can be viewed as a layered queueing network, where the first layer consists of the queues of products and the second layer is the ordinary machine-repair model. As the repair time of one machine may affect the time the other machine is not able to process products, the downtimes of the machines are correlated. This correlation leads to dependence between the queues of products in the first layer. Analysis of these queue length distributions is hard, as the exact dependence structure for the downtimes, or the queue lengths, is not known. Therefore, we obtain an approximation for the complete marginal queue length distribution of any queue in the first layer, by viewing such a queue as a single server queue with correlated server downtimes. Under an explicit assumption on the form of the downtime dependence, we obtain exact results for the queue length distribution for that single server queue. We use these exact results to approximate the machine-repair model. We do so by computing the downtime correlation for the latter model and by subsequently using this information to fine-tune the parameters we introduced to the single server queue. As a result, we immediately obtain an approximation for the queue length distributions of products in the machine-repair model, which we show to be highly accurate by extensive numerical experiments.     

The MMCPP/GE/c Queue

We obtain the queue length probability distribution at equilibrium for a multi-server, single queue with generalised exponential (GE) service time distribution and a Markov modulated compound Poisson arrival process (MMCPP) – i.e., a Poisson point process with bulk arrivals having geometrically distributed batch size whose parameters are modulated by a Markovian arrival phase process. This arrival process has been considered appropriate in ATM networks and the GE service times provide greater flexibility than the more conventionally assumed exponential distribution. The result is exact and is derived, for both infinite and finite capacity queues, using the method of spectral expansion applied to the two dimensional (queue length by phase of the arrival process) Markov process that describes the dynamics of the system. The Laplace transform of the interdeparture time probability density function is then obtained. The analysis therefore could provide the basis of a building block for modelling networks of switching nodes in terms of their internal arrival processes, which may be both correlated and bursty.