Baltzer Journals Received 7 January 1997; revised 16 April 1997 An Interpolation Approximation for the GI/G/1 Queue Based on Multipoint Pade Approxima

Similar documents
One important issue in the study of queueing systems is to characterize departure processes. Study on departure processes was rst initiated by Burke (

2 light traffic derivatives for the GI/G/ queue. We shall see that our proof of analyticity is mainly based on some recursive formulas very similar to

Higher order approximations for the single server queue with splitting, merging and feedback

A Robust Queueing Network Analyzer Based on Indices of Dispersion

TOWARDS BETTER MULTI-CLASS PARAMETRIC-DECOMPOSITION APPROXIMATIONS FOR OPEN QUEUEING NETWORKS

THE HEAVY-TRAFFIC BOTTLENECK PHENOMENON IN OPEN QUEUEING NETWORKS. S. Suresh and W. Whitt AT&T Bell Laboratories Murray Hill, New Jersey 07974

Queueing Theory II. Summary. ! M/M/1 Output process. ! Networks of Queue! Method of Stages. ! General Distributions

A Queueing System with Queue Length Dependent Service Times, with Applications to Cell Discarding in ATM Networks

On the Partitioning of Servers in Queueing Systems during Rush Hour

Waiting time characteristics in cyclic queues

HEAVY-TRAFFIC EXTREME-VALUE LIMITS FOR QUEUES

On the Partitioning of Servers in Queueing Systems during Rush Hour

On Approximations for the GI/GI/1 Queue and Generalized Jackson Open Queueing Networks Using Indices of Dispersion

1 Basic concepts from probability theory

1. Introduction. Consider a single cell in a mobile phone system. A \call setup" is a request for achannel by an idle customer presently in the cell t

Lecturer: Olga Galinina

J. MEDHI STOCHASTIC MODELS IN QUEUEING THEORY

Queueing Theory I Summary! Little s Law! Queueing System Notation! Stationary Analysis of Elementary Queueing Systems " M/M/1 " M/M/m " M/M/1/K "

2 optimal prices the link is either underloaded or critically loaded; it is never overloaded. For the social welfare maximization problem we show that

Queuing Networks: Burke s Theorem, Kleinrock s Approximation, and Jackson s Theorem. Wade Trappe

Class 11 Non-Parametric Models of a Service System; GI/GI/1, GI/GI/n: Exact & Approximate Analysis.

1. Introduction To understand the motivation for this paper, it will be useful to consider the simple queueing network pictured in Figure 1. The netwo

P (L d k = n). P (L(t) = n),

Tales of Time Scales. Ward Whitt AT&T Labs Research Florham Park, NJ

Economy of Scale in Multiserver Service Systems: A Retrospective. Ward Whitt. IEOR Department. Columbia University

Link Models for Circuit Switching

7 Variance Reduction Techniques

A PARAMETRIC DECOMPOSITION BASED APPROACH FOR MULTI-CLASS CLOSED QUEUING NETWORKS WITH SYNCHRONIZATION STATIONS

Probability Models in Electrical and Computer Engineering Mathematical models as tools in analysis and design Deterministic models Probability models

Multiplicative Multifractal Modeling of. Long-Range-Dependent (LRD) Trac in. Computer Communications Networks. Jianbo Gao and Izhak Rubin

QUEUING SYSTEM. Yetunde Folajimi, PhD

Part I Stochastic variables and Markov chains

[4] T. I. Seidman, \\First Come First Serve" is Unstable!," tech. rep., University of Maryland Baltimore County, 1993.

THE INTERCHANGEABILITY OF./M/1 QUEUES IN SERIES. 1. Introduction

Sensitivity Analysis for Discrete-Time Randomized Service Priority Queues

Classical Queueing Models.

IEOR 8100: Topics in OR: Asymptotic Methods in Queueing Theory. Fall 2009, Professor Whitt. Class Lecture Notes: Wednesday, September 9.

Advanced Queueing Theory

Robust Queueing Theory

A STAFFING ALGORITHM FOR CALL CENTERS WITH SKILL-BASED ROUTING: SUPPLEMENTARY MATERIAL

Buzen s algorithm. Cyclic network Extension of Jackson networks

LIMITS FOR QUEUES AS THE WAITING ROOM GROWS. Bell Communications Research AT&T Bell Laboratories Red Bank, NJ Murray Hill, NJ 07974

S. T. Enns Paul Rogers. Dept. of Mechanical and Manufacturing Engineering University of Calgary Calgary, AB., T2N-1N4, CANADA

Glossary availability cellular manufacturing closed queueing network coefficient of variation (CV) conditional probability CONWIP

VARIANCE REDUCTION IN SIMULATIONS OF LOSS MODELS

ON THE LAW OF THE i TH WAITING TIME INABUSYPERIODOFG/M/c QUEUES

Queueing systems. Renato Lo Cigno. Simulation and Performance Evaluation Queueing systems - Renato Lo Cigno 1

CDA5530: Performance Models of Computers and Networks. Chapter 4: Elementary Queuing Theory

Environment (E) IBP IBP IBP 2 N 2 N. server. System (S) Adapter (A) ACV

Submitted to IEEE Transactions on Computers, June Evaluating Dynamic Failure Probability for Streams with. (m; k)-firm Deadlines

INDEX. production, see Applications, manufacturing

GI/M/1 and GI/M/m queuing systems

ENGINEERING SOLUTION OF A BASIC CALL-CENTER MODEL

Stochastic Models of Manufacturing Systems

Stochastic process. X, a series of random variables indexed by t

Elementary queueing system

There recently has been great interest in the performance of queues

Operations Research Letters. Instability of FIFO in a simple queueing system with arbitrarily low loads

Lecture 7: Simulation of Markov Processes. Pasi Lassila Department of Communications and Networking

2WB05 Simulation Lecture 7: Output analysis

On Queues with Inter-Arrival Times Proportional to Service Times

Contents LIST OF TABLES... LIST OF FIGURES... xvii. LIST OF LISTINGS... xxi PREFACE. ...xxiii

Pooling in tandem queueing networks with non-collaborative servers

A FAST MATRIX-ANALYTIC APPROXIMATION FOR THE TWO CLASS GI/G/1 NON-PREEMPTIVE PRIORITY QUEUE

Contents Preface The Exponential Distribution and the Poisson Process Introduction to Renewal Theory

PERFORMANCE ANALYSIS OF MULTI-SERVER TANDEM QUEUES WITH FINITE BUFFERS AND BLOCKING

BIRTH DEATH PROCESSES AND QUEUEING SYSTEMS

Computer Systems Modelling

Modelling and simulating non-stationary arrival processes to facilitate analysis

Networking = Plumbing. Queueing Analysis: I. Last Lecture. Lecture Outline. Jeremiah Deng. 29 July 2013

Kendall notation. PASTA theorem Basics of M/M/1 queue

Inequality Comparisons and Traffic Smoothing in Multi-Stage ATM Multiplexers

Performance Evaluation of Queuing Systems

M/G/1 and M/G/1/K systems

Introduction to Queueing Theory with Applications to Air Transportation Systems

Exercises Stochastic Performance Modelling. Hamilton Institute, Summer 2010

Completion Time in Dynamic PERT Networks 57 job are nished, as well as that the associated service station has processed the same activity of the prev

6 Solving Queueing Models

Periodic Load Balancing

Computer Networks More general queuing systems

HITTING TIME IN AN ERLANG LOSS SYSTEM

Introduction to Queueing Theory

Stability, Queue Length and Delay of Deterministic and Stochastic Queueing Networks Cheng-Shang Chang IBM Research Division T.J. Watson Research Cente

Chapter 8 Queuing Theory Roanna Gee. W = average number of time a customer spends in the system.

Queueing Review. Christos Alexopoulos and Dave Goldsman 10/25/17. (mostly from BCNN) Georgia Institute of Technology, Atlanta, GA, USA

Lecture Notes of Communication Network I y: part 5. Lijun Qian. Rutgers The State University of New Jersey. 94 Brett Road. Piscataway, NJ

OPEN MULTICLASS HL QUEUEING NETWORKS: PROGRESS AND SURPRISES OF THE PAST 15 YEARS. w 1. v 2. v 3. Ruth J. Williams University of California, San Diego

Fast Evaluation of Ensemble Transients of Large IP Networks. University of Maryland, College Park CS-TR May 11, 1998.

Average Reward Parameters

A tutorial on some new methods for. performance evaluation of queueing networks. P. R. Kumar. Coordinated Science Laboratory. University of Illinois

Jitter Analysis of an MMPP 2 Tagged Stream in the presence of an MMPP 2 Background Stream

Queueing Review. Christos Alexopoulos and Dave Goldsman 10/6/16. (mostly from BCNN) Georgia Institute of Technology, Atlanta, GA, USA

Stochastic Models 3 (1998)

queue KTH, Royal Institute of Technology, Department of Microelectronics and Information Technology

ECE 3511: Communications Networks Theory and Analysis. Fall Quarter Instructor: Prof. A. Bruce McDonald. Lecture Topic

Introduction to queuing theory

Queuing Theory. Using the Math. Management Science

Derivation of Formulas by Queueing Theory

Solution: The process is a compound Poisson Process with E[N (t)] = λt/p by Wald's equation.

Transient Analysis of a Series Configuration Queueing System

Transcription:

Baltzer Journals Received 7 January 1997; revised 16 April 1997 An Interpolation Approximation for the GI/G/1 Queue Based on Multipoint Pade Approximation Muckai K Girish 1 and Jian-Qiang Hu 1 Telesis Technologies Laboratory 5000 Executive Parkway, Suite 333 San Ramon, CA 94583. E-mail: mgirish@ttl.pactel.com Dept. of Manufacturing Engineering Boston University 15 St. Mary's Street Boston, MA 015. E-mail: hu@enga.bu.edu The performance evaluation of many complex manufacturing, communication and computer systems has been made possible by modeling them as queueing systems. Many approximations used in queueing theory have been drawn from the behavior of queues in light and heavy trac conditions. In this paper, we propose a new approximation technique, which combines the light and heavy trac characteristics. This interpolation approximation is based on the theory of multipoint Pade approximation which is applied at two points: light and heavy trac. We show how this can be applied for estimating the waiting time moments of the GI/G/1 queue. The light trac derivatives of any order can be evaluated using the MacLaurin series analysis procedure. The heavy trac limits of the GI/G/1 queue are well known in the literature. Our technique generalizes the previously developed interpolation approximations and can be used to approximate any order of the waiting time moments. Through numerical examples, we show that the moments of the steady state waiting time can be estimated with extremely high accuracy under all ranges of trac intensities using low orders of the approximant. We also present a framework for the development of simple analytical approximation formulas. Keywords: GI/G/1 queue, heavy trac limits, MacLaurin series, multipoint Pade approximation. 1 Introduction Queueing systems are used extensively to model various manufacturing, communication and computer systems. The estimation of the congestion measures in these systems is one of the main issues in queueing theory and has been studied widely. The lack of Queueing Systems: Theory and Applications, Vol. 6, 69-84, 1997.

M. K. Girish and J-Q. Hu / An Interpolation Approximation analytical solutions for many systems have led to the development of approximations in the literature. These approximations can be very accurate, but, can also be inaccurate under certain conditions. Many approximations have been built upon the behavior of queues in light or heavy trac conditions which make them work well in and around the respective trac intensities. It has, thus, become clear that a robust approximation should takeinto account both the light trac and heavy trac characteristics. A few such approximations have appeared in the literature which use various interpolation methods. The contribution of this paper is the development of a novel approach ofinterpolation based on the light and heavy trac characteristics. In particular, we apply the approachto estimate the moments of the waiting time in the GI/G/1 queue. We use the heavy trac limits and our method provides the exibility tochoose as many light trac derivatives as needed. The performance measures that we are interested in estimating in this paper are the moments of the steady state waiting time. We consider a parameterized queue in which the service time is S, where is a scale parameter and S is the service time random variable in the original queue. Therefore, when = 0, the parameterized queue is in light trac and when =1= this queue is in heavy trac, where is the trac intensity of the original queue. Note that some authors prefer to set the arrival rate equal to zero in light trac and equal to the service rate in heavy trac. Then, we calculate the light trac derivatives and the heavy trac limits of all the waiting time moments. Using this information, we develop an approximation procedure based on the technique of multipoint Pade approximation to estimate the performance measures. The estimates of the waiting time moments are obtained by setting =1. Analysis of queues in light trac have been carried out by many authors. Methods are developed in [18] to calculate the derivatives of the performance measures of arbitrary order in light trac for single server queues with Poisson arrival processes. Likelihood ratio methods were used in [0] toevaluate the light trac derivatives. Extension of the light trac behavior to multi-server queues was initiated by []. A new way to calculate the light trac derivatives of the GI/G/1 queue was proposed in [7]. They showed that the moments of the waiting and system time can be expanded as MacLaurin series in terms of a scale paramenter in the service distribution. These MacLaurin series coecients can be calculated using simple recursive equations. We use this procedure to evaluate the light trac derivatives in this paper. A procedure was developed in [5] to analyze tandem queueing networks using the light trac derivatives. Their numerical results show that this MacLaurin series approximation technique works well in most cases. It was also realized that the heavy trac limits play a critical role in the accuracy of the performance measures especially when the trac intensity gets closer to one. The property of single server queues in heavy trac is well known. In heavy trac, the departure process approaches the service distribution and these heavy trac limits have been successfully used in many approximations. Simple approximations based on the heavy trac limits were prosed in [15] and [16]. This was extended to open queueing networks with general external arrival and service distributions by [1]. Diusion approximations and reected Brownian Motions are very popular heavy trac approximation schemes (see [11], [14] and the references therein). Atwo-moment approximation using this approach for open queueing networks was developed in [10]. An interpolation approximation method was studied by [19]. They consider a queueing system with Poisson arrival process and evaluate the light trac derivatives and the

M. K. Girish and J-Q. Hu / An Interpolation Approximation 3 heavy trac limit. The performance measures are then approximated by rational functions. But, the selection of the function is quite arbitrary and there is no systematic way of selecting the correct function to be used, except for some special cases. This interpolation approximation has been found to work well for those cases, for which the denominator of the rational functions can be chosen correctly. Our approach considers queues with general independent arrival and service distributions and we give avery easy procedure to calculate the coecients of the rational functions. Another interpolation approximation was proposed by [] for the average workload in the GI/G/1 queue. This method uses the rst three moments and the density function of the interarrival time and the mean and variance of the service distribution. This approximation also works well, but, is restricted in terms of the number of terms to use and the evaluation of the approximation parameters is not striaghtforward. An ecient technique to approximate the performance measures which have derivatives at any point is the so called Pade approximation (see [1] and [17] for a comprehensive mathematical treatment). [9] showed that Pade approximation can be applied to a wide class of these systems including the GI/G/1 queue. This method was used by [5] to approximate the moments of the waiting and the interdeparture time in tandem queueing networks. If a performance measure function has information (such as values or derivatives) at several points, then we can use multipoint Pade approximation. The mathematical theory of multipoint Pade approximation is described in detail in [1] which forms the basis of our approximation. Multipoint Pade approximation has been used by [8] for estimating the waiting time and is applied at many points where the derivatives could be found by derivative estimation techniques or simulation. But, they do not use the heavy trac limits. The performance measures of interest in this paper are the moments of the steady state waiting time. Our approximation scheme essentially considers the heavy trac limit and an arbitrary number of the light trac derivatives. We then apply the theory of multipoint Pade approximation to estimate the performance measures. We consider a number of numerical examples in this paper which show that the waiting time moments can be estimated with extremely high accuracy. A signicant feature of this method is that even low orders of the rational approximant produce excellent estimates. We also compare this method with an example of the interpolation approximation of [] for the mean workload in a GI/G/1 queue. The rest of this paper is organized as follows. In Section, we introduce some notation and review the results pertaining to light and heavy trac behavior of queues. We present the multipoint Pade approximation technique in Section 3. A framework for the development of simple approximations is presented in Section 4. In Section 5, we consider some numerical examples and this paper is concluded in Section 6. Light and Heavy Trac Analysis In this section, we review the results in queueing theory that treat a queue in light and heavy trac conditions in order to lay the groundwork for our approximation technique. The relevant theory is taken from [5], [7] and [14]. First we introduce the following

M. K. Girish and J-Q. Hu / An Interpolation Approximation 4 notation: W = steady-state waiting time of a job T = steady-state system time of a job A = interarrival time between two adjacent jobs S = service time of a job, where S is independent of = a scale parameter in the service time w nm = The coecient of m in the MacLaurin series of E[W n ]=n! t nm = The coecient of m in the MacLaurin series of E[T n ]=n! f() = probability density function (p.d.f.) of A k = f (k) (0 + )=k-th right hand derivative off()at0 k = E[S k ]=k! k = E[A k ]=k! = E[S]=E[A] The interarrival and service distributions that we consider in numerical examples in this paper are mostly mixed Erlang distributions. It has been established that mixtures of Erlang distributions are dense and can approximate any distribution. A mixed Erlang distribution is characterized by the following parameters: b = number of branches p i = probability of branch i, for i =1;:::;b n i = number of stages in branch i, for i =1;:::;b i = rate in branch i, for i =1;:::;b It is well known that E[W n ] is inversely proportional to (1, ) n and so as a rst step, we normalize E[W n ] by a factor of (1, ) n in our estimation. Let n = minimum(n 1 ;n ;:::;n b ). It was observed by [5] that for the GI/G/1 queue with mixed Erlang interarrival distribution, the MacLaurin series coecients of E[W n ], w nm = 0 for m =0;1;:::;n+n,1. Hence, we estimate (1, ) n E[W n ]= n+n in this paper. Note that we can set n = 1 without loss of generality, in case we use distributions other than mixed Erlang (for example, uniform or deterministic). The only reason for using n is that the approximation produces the same estimates using lower orders of the approximant..1 Light Trac Derivatives Queues in light trac have been studied in detail by many authors. It was shown by [7] that the light trac derivatives, w nm and t nm can be calculated based on the following recursive equations t nm = w nm = 8 < : P n ; m = n n i=1 n,iw i(m,n+i) ; m>n 0; m<n P m,n,1 i=0 i t (n+1+i)m ; m>n 0; mn (1) ()

M. K. Girish and J-Q. Hu / An Interpolation Approximation 5 The moments of the waiting time was shown to be analytic at = 0 under some mild conditions by [1]. By analyticity, we mean that the MacLaurin series exists and converges to the right value around =0. Since we are interested in estimating (1, ) n E[W n ]= n+n, n =1;;:::,we need to obtain the MacLaurin series for these which, derived with suitable modications is given below: (1, ) 1X n X n E[W n ]=n! w n+n n(m+n+n) (,) i n m+i (3) i m=0 i=0 The above MacLaurin series expansion is based on the derivatives at = 0 and the light trac derivatives for our performance function can be obtained from this.. Heavy Trac Limits It is very easy to determine the heavy trac limits of the GI/G/1 queue, which can be obtained by taking the limits as! 1. The heavy trac limit for the rst moment of the waiting time is well known in the literature and is given below: lim (1, )E[W a+c s) 1!1= ]=(c where c a and c s represent the squared coecients of variation (variance divided by the square of the mean) of the interarrival and service time distributions, respectively. For the GI/G/1 queue, as! 1, the moments of the interdeparture time approach the moments of the service time. i.e., E[D n ]! n! n n ; for n =1;;::: (5) where D is the interdeparture time random variable. Then we use the following relationship between the waiting and interdeparture time presented in [5]: where E[ W n X n n! ] = (,1) n+j n+1,j E[ W j,1 (j, 1)! ]n+1,j j=1 3 + (,1)n+1 4 D n+1 n+1 X n+1, E[ 1, 1 (n + 1)! ]+ (,1) j n+1,j n+1,j j 5 (6) j = " j, X i=0 ( j,i, 1 j,i,1 )E[ W i j=1 i! ]j,i,1 +(,1) j,i j,i ix l=0 i,l E[ W l l! ]i,l # Iteratively, starting with n =, we set = 1 = 1! 1 in Equation (6) and use Equations (4) and (5) to obtain the heavy trac limits of the moments of the waiting time in the GI/G/1 queue as: lim (1,!1= )n E[W n (c ]=n! a +c n s) 1 (7) In the next section, we will show how the light trac derivatives and the heavy trac limits can be combined using the idea of multipoint Pade approximation. (4)

M. K. Girish and J-Q. Hu / An Interpolation Approximation 6 3 The Interpolation Approximation In this section, we show how the Multipoint Pade approximation technique given in [1] can be applied to estimate the moments of the waiting time. Let us call the function to be approximated as g () =(1,) n E[W n ()]= n+n, for n =1;;:::. The derivatives of g () are known at 1 = 0, and its limit is known at = 1=. Let g n 1 () be the MacLaurin expansion of g n () up to order m 1, 1 and let g n () be the Taylor expansion of g n () expanded around = up to order 0. These can then be expressed as: g 1 () = mx 1,1 j=0 u 1j j + O[ m1 ] (8) g () = u 0 + O[, ]; (9) where, from Equations (3) and (7), we get for n =1;;:::, (c u 0 = n! n+n a + c s) 1 u 1m = n! n X i=0(,) i n i The rational approximant that we are interested in is g () P L () Q M n (10) w n(m+n+n,i): (11) () : (1) We call Equation (1) a [L/M] multipoint Pade approximant, where L + M = m 1. Note that we use m 1,1 light trac derivatives and the heavy trac limit. The approximating rational function has polynomials of order L and M in the numerator and denominator, respectively. Next we dene an appropriate auxiliary function and by substituting it in the general multipoint Pade approximation scheme derived by [1] and dierentiating and taking limits (we omit the details here since the procedure is quite straightforward), we get: mx 1,1 i = u 0 i,m1,1, q () = u 0 q,m1 m1 + k=0 X u 1(m 1,i,k) k+1 m 1,q,1 m 1,1,k,q k=0 X i=0 u 1(m 1,1,q,k,i) (, ) m1,k,1 It is now easy to evaluate the rational approximant which is given in Equation (15). i+1 (13) (14)

M. K. Girish and J-Q. Hu / An Interpolation Approximation 7 For its derivation, refer to [1]. P L () Q M () = det det M M,1 ::: M.... M+1 M ::: 1 M M M,1 ::: 0 M,1 ::: M... M+1 M ::: 1 M M,1 ::: 1 (15) In the next section, a framework for the development of simple formulas for estimating the waiting time moments is developed. Numerical results are presented in Section 4. 4 Simple Approximations The interpolation approximation developed in the previous section can be used to come up with simple approximations, by choosing a few coecients at a time. For example, let us start with a [/1] approximant for (1, )E[W ]= (note that we set n = 1). We omit the superscript for convenience since we deal only with the rst moment in this section. w 10 = w 11 =0 w 1 = 0 w 13 = 1 3 + 0( 1 + 3 ) w 14 = 4 + 0 1 ( 4 + 3 + + 1 3 )+ 3 0( 1 + 1 3 + + 3 + 4 ) u 1m = w 1(m+), w 1(m+1) for m 0 1 = 3 u 0, u 1, u 11, 3 u 10 = u 0, u 11, u 10 1 () = u 0 3 +(1,)[u 10 +(u 11 + u 10 ) ] () = 3 u 0 3 +(1,)[u 10 +(u 11 + u 10 ) +(u 1 + u 11 + u 10 ) ] From the above, we have E[W()] = ( 0 (), 1 1 ()) (1, )(, 1 ) (16) Next, we estimate (1, )E[W ] with a [/1] approximant. Then after appropriate modications to the interpolation approximation formulas, we get the following leading to Equation (17): u 0 = (c a + c s) 1

M. K. Girish and J-Q. Hu / An Interpolation Approximation 8 1 = 3 u 0, u 1 = u 0 0 () = 3 u 0 3 +(1,)u 1 1 () = u 0 3 E[W ]= 1(c a+c s)( 0 1 (c s +1)+(1, )(c a + c s)) (1, )( 0 1 (c s +1)+(1,)(c a + c s)) The above can be extended to the higher moments as well as for higher orders of the approximant. This approach can serve as a framework for the development of simple approximations for the GI/G/1 queue. In the next section, we present several numerical examples of the sigle server queue. (17) 5 Numerical Examples In this section, we present several numerical examples to compare the accuracy of the multipoint Pade approximation with the exact (simulation) values and also with other approximation procedures. In the rst example, we compare three approximations. The MacLaurin Series Approximation (MSA) is based on the alternate method developed by [5] which uses rational approximation based on the MacLaurin series to estimate the moments of the interdeparture time and then calculates the moments of the waiting time. The Queueing Network Analyzer (QNA) is a popular two-moment based approximation developed by [1]. The interpolation approximation developed in this paper is compared with the above two techniques. In the second example, we compare the waiting time estimates of our interpolation approximation with that of simulation. In the last example, we compare our approximation with an interpolation approximation for the mean workload developed by []. Example 1. In this example, a number of arrival and service distributions are considered, which are either Erlang (E 3 ), hyperexponential (H ) or three-branched mixed Erlang (ME). The rst two moments of the waiting time are compared at various trac intensities ( =.1,.3,.5,.7,.9). The arrival rate is set at 1 for all the distributions. For H arrival distribution, the parameters are: (p 1 ;p ) = (.6,.4) and ( 1 ; ) = (3.0, 0.5). For H service distributions, the parameters are (p 1 ;p )=(:6;:4) and ( 1 ; ) = 8 >< For ME arrival distribution, the parameters are: >: (1:0; 8:0); when = 0:1 (3:0; 4:0); when =0:3 (:4; 1:6); when =0:5 (1:7143; 1:149); when = 0:7 (1:3333; 0:8889); when = 0:9. (p 1 ;p ;p 3 ) = (:;:3;:5) (n 1 ;n ;n 3 ) = (; 4; 3) ( 1 ; ; 3 ) = (:0; :4; 5:0);

M. K. Girish and J-Q. Hu / An Interpolation Approximation 9 and for ME service distributions, the parameters are: (p 1 ;p ;p 3 ) = (:3;:;:5) (n 1 ;n ;n 3 ) = (4; ; 3) ( 1 ; ; 3 ) = 8 >< >: (40:0; 10:0; 50:0); when = 0:1 (15:0; 4:0; 1:5); when = 0:3 (8:0; 4:0; 6:0); when =0:5 (5:0; :71; 4:8); when = 0:7 (4:0; :0; 3:75); when = 0:9. The approximations that we consider are the Multipoint Pade (M-Pade), Girish and Hu's MacLaurin Series Approximation (MSA) and Ward Whitt's Queueing Network Analyzer (QNA). The simulation runs consist of 40 replications of 50,000 customers with 10,000 warm-up customers. All the simulation results in this paper are presented as estimate standard deviation. Numerical results are given in Tables I-VI. We evaluate the average absolute percentage error for all the approximants and this serves as a summary comparison characteristic among the various approximation schemes. For the M E=G=1 queue (Tables I and II), the M-Pade results are clearly superior to MSA as well as QNA for both E[W ] and E[W ] estimates. Even the [/] M-Pade approximation is better than the others; and the [3/3] M-Pade approximant improves the accuracy even more. Note that the [6/5] MSA approximant leads to large errors and so we used a very high approximant, [16/16], which of course does well, but not as well as the interpolation approximation. For the E[W ] estimates of the H =G=1 queue (Tables III), the [/] M-Pade approximation again leads to the lowest average absolute % error. But note that the [16/16] MSA approximant's error is only 0.73%. It has been found in [5] that MSA works very well when c a and/or c s are greater than one. But, we need higher orders of MSA to get to this accuracy level. For the E[W ] estimates, the error of the [/] M-Pade approximation is only worse than the [16/16] MSA error. The reduction in the order of the approximant that gives estimates with reasonably high accuracy is quite prominent and supports the use of the interpolation approximation. For the E 3 =G=1 queue, for both E[W ] and E[W ](Tables V and VI), the [/] M- Pade approximation is better than QNA and [6/5] MSA. Similar to the E[W ] estimates of the H =G=1 queue, the [16/16] MSA is very accurate. But the extra computation required for this high order of the approximant doesnotoutweigh the reduction in the accuracy for the interpolation approximation which is only slightly worse and is well within the acceptable level. Example. The arrival process in this example is uniformly distributed between [0,] and the service distribution is Erlang with stages. We consider various trac intensities and compare the rst two moments of the waiting time evaluated using multipoint Pade approximation with that of simulation. We actually estimate (1,) n E[W n ], for n =1; in this example. It can be easily observed that i =0,fori1. Numerical results are given in Table VII. Our interpolation approximation's errors are.006% and 9.394% for the rst and second moment, respectively which are reasonable. It was proved by [1] that the moments of the waiting time are not analytic for this system since the uniform interarrival distribution function is not analytic. We believe that this might explain the relatively poorer performance of the interpolation approximation.

M. K. Girish and J-Q. Hu / An Interpolation Approximation 10 Example 3. In this example, we compare our approximation technique with the results in Table II of [], where he developed approximations for the normalized mean workload, c z. The mean waiting time is related exactly to the mean workload by the following expression (see [3]): c z E[W ]= (1, ), 1 1 (18) We use Equation (18) to convert the mean workload given in Table II of [] to the mean waiting time. The rate parameters for the E and exponential distributions are given in Tables VIII and IX. For the H service distribution, p 1 = 0.88798 and p = 0.1170 and the rates are given in Table X. We have omitted the cases in Table II of [] with = 0.0 and 1.0. Numerical results for E[W ] are shown in Table VIII-X. It can be seen that our method is clearly superior (the average absolute % errors for the three cases are 0.45%, 0.19% and 0.576% for M-Pade and 7.374%, 7.431% and 3.433% for Whitt, respectively). 6 Conclusions In this paper, we proposed a novel approach of interpolation for the GI/G/1 queue which eciently combined the light and heavy trac behavior of queues in arriving at very accurate estimates for the moments of the waiting time. The theory of multipoint Pade approximation formed the basis of the method. This technique requires the heavy traf- c limits which can be easily calculated, and any number of the light trac derivatives which can be evaluated using recursive formulas easily. This method generalizes some of the interpolation approximations proposed in the literature. A signicant feature of this method is that it is applicable to any order of the moments. We also show that very low orders of the approximant produces very accurate and robust estimates. We conducted several numerical experiments and the results show that the multipoint Pade approximation is superior to any known approximations under all trac intensities. We also developed a framework for simple approximations using this interpolation scheme. Though not mentioned before, the same approach developed in this paper for the waiting time moments can be extended to the moments of the system time as well as the interdeparture time. The light trac derivatives of system time and interdeparture time have been derived in [7] and [13], respectively. The heavy trac limits of the moments of the system time and the interdeparture time can also be easily evaluated. A direction for future research will be the study of the convergence properties of multipoint Pade approximation. Our numerical experience indicated that when the number of stages in the mixed Erlang arrival distribution is high (more than 8), this procedure does not work well in medium to heavy trac conditions. Another possible direction is to extend this methodology to estimate the performance measures of other queueing systems as well for which light trac derivatives and heavy trac limits can be evaluated. An example is the estimation of the waiting and interdeparture time moments of the G/G/1 queue with Markov-modulated arrivals which has been widely used to model queueing systems with autocorrelated arrivals. The light trac derivatives of the waiting time and the interdeparture time were derived by [3] and [6], respectively which together with the heavy trac limits (if they exist) facilitate the application of interpolation approximations.

M. K. Girish and J-Q. Hu / An Interpolation Approximation 11 Acknowledgments This research is supported in part by the National Science Foundation under grants DDM- 915368, and EID-911. The authors wish to thank the anonymous referee for the helpful comments. References [1] G. A. Baker, Essentials of Pade Approximants. Academic Press, 1975. [] D. Y. Burman and D. R. Smith, A Light-Trac Theorem for Multi-Server Queues, Math. Oper. Res., 8, 15-5, 1983. [3] K. W. Fendick and W. Whitt, Measurements and Approximations to Describe the Oered Trac and Predict the Average Workload in a Single-Server Queue, Proceedings of the IEEE, Vol. 77, No. 1, 171-194, 1989. [4] K. W. Fendick, V. R. Saksena AND W. Whitt, Dependence in Packet Queues, IEEE Transactions on Communications, 37, 1173-1183, 1989. [5] M. K. Girish and J. Q. Hu, Higher Order Approximations for Tandem Queueing Networks, Queueing Systems: Theory and Applications, Vol., 49-76, 1996a. [6] M. K. Girish and J. Q. Hu, The Departure Process of the MAP/G/1 Queue, Journal of DEDS, submitted for publication, 1996b. [7] W. B. Gong and J. Q. Hu, The MacLaurin Series for the GI/G/1 Queue, J. Applied Prob., 9, 176-184, 199. [8] W. B. Gong, A. Yan and D. Tang, Rational Representations for Performance Functions of Queueing Systems, Princeton Conference on System & Information Sciences, 199. [9] W. B. Gong, S. Nananukul and A. Yan, Pade Approximation for Stochastic Discrete Event Systems, IEEE Trans. on Automatic Control, 40, No. 8, 1349-1358, 1995. [10] J. M. Harrison, and V. Nguyen, The QNET Method for Two-Moment Analysis of Open Queueing Networks, Queueing Systems: Theory and Applications, 6, 1-3, 1990. [11] J. M. Harrison and M. I. Reiman, Reected Brownian Motion on an Orthant, Ann. Prob., 9, 30-308, 1981. [1] J. Q. Hu, Analyticity of Single-Server Queues in Light Trac, Queueing Systems: Theory and Applications, 19, 63-80, 1995. [13] J. Q. Hu, The Departure Process of the GI/G/1 Queue, Operations Research, 44, No. 5, 810-815, 1996. [14] L. Kleinrock, Queueing Systems, Vol., Addison-Wesley, 1975. [15] P. J. Kuehn, Approximate Analysis of General Queueing Networks by Decomposition, IEEE Transactions on Communications, COM-7, 113-16, 1979. [16] K. T. Marshall, Some Inequalities in Queueing, Operations Research, 16, 651-665, 1968. [17] P. P. Petrushev, and V. A. Popov, Rational Approximation of Real Functions. Cambridge University Press, 1987. [18] M. I. Reiman and B. Simon, Open Queueing Systems in Light Trac, Math. Operations Research, 1988a. [19] M. I. Reiman and B. Simon, An Interpolation Approximation for Queueing Systems with Poisson Input, Operations Research, Vol. 36, No. 3, 454-469, 1988b. [0] M. I. Reiman and A. Weiss, Light Trac Derivatives via Likelihood Ratios, IEEE Trans. Inf. Technol., Vol. 35, 648-654, 1989. [1] W. Whitt, The Queueing Network Analyzer, The Bell System Technical Journal, 6, No.9, 779-815, 1983. [] W. Whitt, An Interpolation Approximation for the Mean Workload in the GI/G/1 Queue,

M. K. Girish and J-Q. Hu / An Interpolation Approximation 1 Operations Research, Vol. 37, No. 6, 936-95, 1989. [3] Y. Zhu and H. Li, The MacLaurin Expansion for a G/G/1 Queue with Markov-Modulated Arrivals and Services, Queueing Systems: Theory and Applications, 15-134, 1993.

M. K. Girish and J-Q. Hu / An Interpolation Approximation 13 Table I E[W ] estimates for the ME=G=1 queue in Example 1 Service M-Pade M-Pade MSA MSA QNA Simulation Dist. [/] [3/3] [6/5] [16/16] ME.1.004.004.005.004.0037.004.000 ME.3.048.0450.0363.0451.0576.0449.000 ME.5.1680.177.14.1864.034.1759.001 ME.7.6599.6887.4564.7503.745.6797.003 ME.9 3.6607 3.743.45 3.5967 3.7619 3.7455.051 H.1.009.0030.008.0030.0049.0030.000 H.3.0690.0717.0730.0713.0880.0710.000 H.5.3410.3556.3701.3540.3880.3534.001 H.7 1.365 1.731 1.3360 1.761 1.3194 1.619.007 H.9 6.5648 6.6348 7.049 6.733 6.6914 6.6081.083 E 3.1.0009.0009.0009.0009.0016.0009.000 E 3.3.0306.0318.069.0317.0437.0319.000 E 3.5.1664.1755.15.1730.014.1745.001 E 3.7.6445.6739.458.6483.7076.666.003 E 3.9 3.5576 3.633.373 3.4013 3.6540 3.60.035 Avg abs % err.69 0.55 17.49.97 3.0 Table II E[W ] estimates for the ME=G=1 queue in Example 1 Service M-Pade M-Pade MSA MSA QNA Simulation Dist. [/] [3/3] [6/5] [16/16] ME.1.0006.0006.0009.0006.0007.0006.000 ME.3.068.071.011.071.0378.069.000 ME.5.1479.151.1479.1880.094.1533.001 ME.7 1.3991 1.491 1.1709 1.8735 1.694 1.467.016 ME.9 30.7696 31.006 1.6689 30.5895 31.935 3.46701.178 H.1.0007.0007.0008.0007.0013.0007.000 H.3.0536.0550.058.0549.0903.0540.000 H.5.69.6381.479.6506.807.6377.005 H.7 5.0648 5.1476 4.691 5.313 5.6404 5.1046.065 H.9 100.0777 100.6503 10.1311 108.3668 10.7598 99.145.93 E 3.1.0001.0001.0001.0001.0001.0001.000 E 3.3.011.0115.0109.0116.014.0117.000 E 3.5.143.1478.143.1504.049.1505.001 E 3.7 1.318 1.3551 1.114 1.3668 1.5514 1.3687.013 E 3.9 8.8945 9.1746 0.575 8.1199 30.1036 9.7045.79 Avg abs % err.076 1.119 19.55 5.598 9.090

M. K. Girish and J-Q. Hu / An Interpolation Approximation 14 Table III E[W ] estimates for the H =G=1 queue in Example 1 Service M-Pade MSA MSA QNA Simulation Dist. [/] [6/5] [16/16] ME.1.005.005.005.0175.006.000 ME.3.15.150.150.1858.153.001 ME.5.766.9550.7595.6688.7635.004 ME.7.3975.114.3916.1948.4076.00 ME.9 11.195 8.1804 11.0045 10.9083 11.3381.39 H.1.034.034.034.0190.033.000 H.3.615.60.60.167.610.001 H.5.973.9991.9804.854.9759.006 H.7.9861.4740 3.03.7900.9830.05 H.9 14.1059 1.894 14.569 13.8384 13.9874.88 E 3.1.0157.0157.0157.0148.0157.000 E 3.3.1957.1951.1949.1714.195.001 E 3.5.7640.9650.757.6667.7584.004 E 3.7.38.1377.378.1780.3697.017 E 3.9 11.1176 8.0000 10.9370 10.801 11.0740.170 Avg abs % err 0.414 10.845 0.73 9.986 Table IV E[W ] estimates for the H =G=1 queue in Example 1 Service M-Pade MSA MSA QNA Simulation Dist. [/] [6/5] [16/16] ME.1.0050.0050.0050.0050.0051.000 ME.3.1956.194.1941.1594.1959.00 ME.5 1.6898.348 1.5939 1.87 1.6176.018 ME.7 14.73 11.9940 13.3149 11.3166 13.754.95 ME.9 71.3141 19.3516 59.587 48.5645 67.955714.8 H.1.006.006.006.006.0061.000 H.3.3008.996.996.360.97.003 H.5.9955 3.105.9747.3438.9476.041 H.7.8893 17.8481.7688 19.5616.0805.451 H.9 430.45 371.1907 430.3851 409.0303 416.0870.068 E 3.1.00.00.00.0031.003.000 E 3.3.1446.145.140.18.14.001 E 3.5 1.6775.84 1.6570 1.75 1.5863.017 E 3.7 14.0900 11.909 13.193 11.1151 13.1961.57 E 3.9 66.6090 183.4531 55.187 43.4377 55.13039.60 Avg abs % err 3.084 13.511 1.97 13.789

M. K. Girish and J-Q. Hu / An Interpolation Approximation 15 Table V E[W ] estimates for the E 3=G=1 queue in Example 1 Service M-Pade MSA MSA QNA Simulation Dist. [/] [6/5] [16/16] ME.1.001.001.001.0008.0013.000 ME.3.08.0.077.073.078.000 ME.5.1091.0760.1069.0979.107.000 ME.7.4671.59.4557.384.4565.00 ME.9.6909.638.653 1.4610.655.04 H.1.0015.0015.0015.001.0015.000 H.3.0493.0645.0476.053.0480.000 H.5.860.901.666.873.686.001 H.7 1.0914 1.1001 1.0180 1.0576 1.043.008 H.9 5.7347 5.9845 5.5778 5.6060 5.639.096 E 3.1.0003.0003.0003.0001.0003.000 E 3.3.0169.0166.0168.015.0169.000 E 3.5.1069.0869.1051.1069.1057.000 E 3.7.4490.990.4400.4501.44.00 E 3.9.5749 1.737.5480.570.5714.04 Avg abs % err.38 1.579 0.958 15.40 Table VI E[W ] estimates for the E 3=G=1 queue in Example 1 Service M-Pade MSA MSA QNA Simulation Dist. [/] [6/5] [16/16] ME.1.0003.0003.0003.0001.0003.000 ME.3.0165.0119.016.0164.0163.000 ME.5.0795.0455.0778.0799.0784.001 ME.7.7731.74.7540.6171.7540.008 ME.9 16.9317.475 16.794 5.7645 16.6944.383 H.1.0003.0004.0003.000.0003.000 H.3.0356.01.0344.051.0348.000 H.5.4688.1700.4353.5431.4435.004 H.7 3.9074.6768 3.6490 3.976 3.6947.061 H.9 75.0040 71.455 73.0141 73.8664 74.9938.961 E 3.1.0000.0000.0000.0000.0000.000 E 3.3.0055.005.0055.0046.0055.000 E 3.5.0758.0471.0743.0778.0751.000 E 3.7.7118.4438.6974.7160.705.006 E 3.9 15.4695 5.8669 15.3191 15.397 15.3796.36 Avg abs % err 1.547 35.379 0.710 19.1

M. K. Girish and J-Q. Hu / An Interpolation Approximation 16 Table VII E[W ] and E[W ] estimates for the U=E =1 queue in Example [4/] M-Pade Simulation [4/] M-Pade Simulation E[W ] E[W ] E[W ] E[W ].1 0.000 0.004.004.000 0.001.001.004.3 6.667 0.046.047.000 0.019.03.000.5 4.000 0.179.183.001 0.3.187.00.7.856 0.608.68.004 1.505 1.365.018.9. 3.3 3.316.044 6.301 6.81.008 Avg abs % err.006 9.394 Table VIII E[W ] estimates for the E =E =1 Queue in Example 3 [/] M-Pade Whitt Exact.98.0408 3.8636 3.8630 3.8630.95.1053 8.8848 8.885 8.890.90. 3.901 3.9195 3.940.80.5000 1.490 1.4840 1.490.70.8571 0.761 0.7163 0.768.60 3.3333 0.3777 0.3660 0.3788.50 4.0000 0.1949 0.1840 0.1950.40 5.0000 0.0941 0.0850 0.0943.30 6.6667 0.0393 0.0334 0.039.0 10.000 0.011 0.0094 0.011.10 0.000 0.0017 0.0013 0.0017 Avg abs % err 0.450 7.374 Table IX E[W ] estimates for the E =M=1 Queue in Example 3 [/] M-Pade Whitt Exact.98 1.004 35.8451 35.8435 35.8435.95 1.056 13.3743 13.3760 13.3760.90 1.1111 5.935 5.965 5.9310.80 1.500.711.660.760.70 1.486 1.1179 1.1083 1.100.60 1.6667 0.5886 0.5768 0.5903.50.0000 0.308 0.955 0.3090.40.5000 0.1516 0.1400 0.153.30 3.3333 0.0649 0.0566 0.0649.0 5.0000 0.007 0.0164 0.008.10 10.0000 0.0030 0.001 0.0030 Avg abs % err 0.19 7.431

M. K. Girish and J-Q. Hu / An Interpolation Approximation 17 Table X E[W ] estimates for the E =H =1 Queue in Example 3 1 [/] M-Pade Whitt Exact.98 1.8108 0.300 107.8140 107.8735 107.8980.95 1.8680 0.373 40.3869 40.4510 40.4415.90 1.9718 0.504 18.0165 18.0765 18.0585.80.18 0.818 7.054 7.0660 7.060.70.5351 0.30 3.5319 3.5583 3.557.60.9577 0.3757 1.9108 1.953 1.975.50 3.549 0.4508 1.037 1.0415 1.0470.40 4.4365 0.5635 0.5361 0.5333 0.5410.30 5.9153 0.7513 0.465 0.398 0.486.0 8.8730 1.170 0.088 0.0807 0.0887.10 17.7460.540 0.0159 0.013 0.0160 Avg abs % err 0.576 3.433