ELE 511 – TELECOMMUNICATIONS NETWORKS Lecturer: Dr. Thomas Afullo, Department of Electrical Engineering, University of Botswana, Gaborone, Botswana. Tel: 267-3554342; E-mail: afullotj@mopipi.ub.bw Teletraffic & Queueing Theory Telecommunications Networks 1 ELE 511 – TELECOMMUNICATIONS NETWORKS • References: • 1. R.L. Freeman: Telecommunications Transmission Handbook, Wiley, ISBN 0-471-51816-6. • 2. J.E. Flood: Telecommunications Switching, Traffic, and Networks, Prentice-Hall, ISBN 0-13-033309-3. • 3. L. Kleinrock: Queuing Systems Volume 1, Wiley. Teletraffic & Queueing Theory Telecommunications Networks 2 TELETRAFFIC & QUEUEING THEORY • • • • • • INTRODUCTION Queues and queuing systems have been the subject of considerable research since the appearance of the first telephone systems. The widespread use of computers in communication systems has introduced new results on queuing networks in studies of large communication networks. The methods of queuing networks have therefore been a basic component of telecommunication networks. Most problems involving modeling computer systems or data transmission networks deal with systems having multiple resources (central processing units, channels, memories, communication circuits, etc) to be taken into account. This complex structure leads to the study of queuing networks rather than simple queues with a single server. We study queues in order to be able to predict the effect of changes on the system before we can actually implement changes on various parameters, like a) pattern of arrivals, b) mean length of service, and c) the number of servers. Then we determine how these changes will affect: a) The average time customers have to wait for service; b) The average number of waiting customers; c) The proportion of time the facility is used. Teletraffic & Queueing Theory Telecommunications Networks 3 TELETRAFFIC & QUEUEING THEORY • • • • • • • • • INTRODUCTION There are three basic elements in a queuing system: 1. The arrivals: To describe the arrivals to a queuing system, we need to consider the statistical patterns of the arrivals. Possibilities include regular arrivals or irregular arrivals, with the interarrival times having some specified distribution. In such cases, we can define the arrival rate, or the average number of arrivals per second. 2. The service mechanism: To describe this, we need to know the number of servers and the average duration of service time. 3. The service discipline: Generally, the discipline is first-in-first-out (FIFO), but others are possible in which certain customers get priority. An obvious example is accident victims who are very seriously injured – they would jump the queue to get fast treatment. Teletraffic & Queueing Theory Telecommunications Networks 4 TELETRAFFIC & QUEUEING THEORY • • INTRODUCTORY PROBABILITY THEORY If A and B are two arbitrary events, then from the set identity: A B A A B A complement (A) • Then, probability of A or B is given by: • Also we get: • Then, from the above two equations, we have: P A B P A P A B B AB A B PB P AB P A B P A B P A PB P AB • If A and B are independent events, and for n mutually independent events, we have: P AB P APB P A1 , A2 ,..., An P A1 P A2 ...P An Teletraffic & Queueing Theory Telecommunications Networks 5 TELETRAFFIC & QUEUEING THEORY • • CONDITIONAL PROBABILITY The conditional probability that event A occurs, given that event B has occurred, is defined as: P A / B • P AB P B If A and B are independent, then: P APB P A P B P AB PB P A P B / A P B P A P A P A / B • Thus we obtain: P AB PB / AP A P A / B PB • Generalizing to n events: P A1 A2 A3 ...An P A1 / A2 A3 ...An P A2 / A3 ..An ..P An 1 / An P An Teletraffic & Queueing Theory Telecommunications Networks 6 TELETRAFFIC & QUEUEING THEORY • • CONDITIONAL PROBABILITY If Bi, i=1,2,.. Are several events, then: P A P AB1 P AB2 .. P ABN P A P ABi P A / Bi PBi i • • i This is called the complete probability formula, and enables us to find P(A) assuming P(Bi) are known and P(A/Bi) can be obtained. This leads to Baye’s formula: PBi / A) • PBi A P A / Bi PBi P A P A Using the previous formula for P(A), we obtain Baye’s formula: PBi / A) P A / Bi PBi P A / Bi PBi P A PA / B j P B j j Teletraffic & Queueing Theory Telecommunications Networks 7 TELETRAFFIC & QUEUEING THEORY • • • CONDITIONAL PROBABILITY - EXAMPLES 1. A fair die is tossed twice, and events A represents even number outcome on the first roll, and B represents an even number outcome on the second roll. Determine P(A), P(B), and P(AB). 2. We have four urns containing a number of red or green balls, according to the distribution shown below: Urn Number 1 2 3 4 • • • Number of green balls 19 3 9 9 Number of red balls 1 2 1 1 The idea is to randomly select one of the urns and then randomly select one ball from the chosen urn. Determine: A) The probability that the selected ball is red. B) The probability that the selected ball is red, given that it comes from urn 2. Teletraffic & Queueing Theory Telecommunications Networks 8 TELETRAFFIC & QUEUEING THEORY • • • • • • RANDOM VARIABLES It is often required to consider the behavior of functions defined on a sample space and whose values are real numbers. These functions are called random variables, where the term random refers to the fact that the value of the function is known only after the experiment has been performed. The probability that a random variable, X, takes a value which does not exceed a given number, x, is called the cumulative distribution function (CDF) of X, denoted by F(x). Thus: F x PX x, x The CDF of any random variable has the following properties: F x F y , for x y F 0, F 1 lim F xi F x , i 1 i Teletraffic & Queueing Theory Telecommunications Networks 9 TELETRAFFIC & QUEUEING THEORY • • RANDOM VARIABLES If a and b are two real numbers such that a<b, then the probability that X takes on a value in the interval [a,b] is given by: Pa x b F b F a • If a=b, then: • For a continuous random variable X, F(x) is a continuous function of x; we define the probability density function, f(x) as: a b F b F a 0 Pa a b F b F a 0 f ( x) • dF ( x) dx According to the definition of a derivative, F x x F x P x X x x lim x x x 0 x 0 f ( x) lim Teletraffic & Queueing Theory Telecommunications Networks 10 TELETRAFFIC & QUEUEING THEORY • • • RANDOM VARIABLES Then, when x is small, f(x)x is the probability that the random variable, X, takes a value in the interval [x, x]. Thus, given a probability density function, f(x), the corresponding cumulative distribution function F(x), is given by: x F x f (u )du • In order to ensure that F()=1, we have: F f (u )du 1 • To find the probability that X falls in the interval [a,b], we have: b Pa x b f ( x)dx a Teletraffic & Queueing Theory Telecommunications Networks 11 TELETRAFFIC & QUEUEING THEORY • • DISCRETE RANDOM VARIABLES If F(x) is constant everywhere, except at a finite set of points x1,x2,x3,.., then the F(x) curve has the form of a staircase function, as shown below: F(x) f(x) 1 P1 P2 P4 P3 x x1 • x2 x3 x4 x x1 x2 x3 x4 A random variable,X, that has such a CDF, F(x), is called a discrete random variable; and assumes the values xi with probabilities Pi. Thus we have: P X xi Pi • In the case of a discrete random variable, the PDF is called the probability mass function (PMF), and is denoted by: f ( x) Pi x xi i Teletraffic & Queueing Theory Telecommunications Networks 12 TELETRAFFIC & QUEUEING THEORY • • • • • MOMENTS OF A RANDOM VARIABLE Although a random variable is characterized completely by either its CDF or PDF/PMF, such a characterization is not always possible to obtain. Luckily, it is not always necessary to obtain a full characterization in that it is usually sufficient to describe a random variable by a set of numbers known as moments, that summarize the essential attributes of the random variable. These moments are defined in terms of the CDF, but can usually be determined directly without the knowledge of that function. The first moment, which is called the mean or the expectation of a random variable, X, denoted by E[X], is defined as: Ex xf ( x)dx • For a corresponding discrete random variable, X, taking values x1,x2,.. With probabilities P1,P2,.., respectively, the mean becomes a weighted sum: E x xi Pi i Teletraffic & Queueing Theory Telecommunications Networks 13 TELETRAFFIC & QUEUEING THEORY • • MOMENTS OF A RANDOM VARIABLE In general, the nth moment of a continuous random variable is defined as: E X x n n f ( x)dx • • The nth moment of a discrete random variable becomes: E X n xin Pi i By far the most important moments are the first two moments. Thus, putting n=1 gives the mean, and putting n=2 gives the second moment or the meansquare value, of X. Thus we have: x EX 2 2 f ( x)dx • As the mean square value of a continuous random variable, and E X 2 xi2 Pi i • As the mean square value of a discrete random variable, X. Teletraffic & Queueing Theory Telecommunications Networks 14 TELETRAFFIC & QUEUEING THEORY • • CENTRAL MOMENTS OF A RANDOM VARIABLE We also define central moments, which are simply the moments of the difference between a random variable, X, and its mean value E[X]. Thus the nth central moment is, for a continuous random variable X, E X EX x EX f ( x)dx • n n For a discrete random variable, X, the nth central moment becomes: E X EX xi EX Pi n n i • The second central moment, called the variance, is extremely important in characterizing a random variable in that it gives a measure of the spread of the random variable around its mean. For a continuous random variable,X, the variance is defined as: VarX E X EX x EX f ( x)dx • 2 2 In the discrete case, the variance becomes: VarX E X EX xi EX Pi 2 2 i Teletraffic & Queueing Theory Telecommunications Networks 15 TELETRAFFIC & QUEUEING THEORY • • • • CENTRAL MOMENTS OF A RANDOM VARIABLE The square root of the variance is called the standard deviation, sxof X. By specifying the variance, we essentially define the effective width of the PDF or the PMF of the random variable, X, about its mean E[X]. A precise statement of this is due to Chebyshev, where the Chebyshev inequality states that for any positive number e, we have: s x2 P X E X 2 e • • From this inequality, therefore, we see that the mean and variance of a random variable give a partial description of its CDF. Note that: s X VarX E X EX 2 Teletraffic & Queueing Theory Telecommunications Networks 16 TELETRAFFIC & QUEUEING THEORY • • COVARIANCE AND CORRELATION The relationship between the second moment and the second central moment is of interest. By definition, the variance is: VarX E X EX E X 2 2 XEX EX • 2 2 But we also have, for random variables a and b, and for a a constant: Ea b Ea Eb Eab aEb • Therefore: VarX E X 2 2 XEX EX E X 2 2 EX EX EX 2 2 VarX E X 2 EX • 2 Therefore the variance of X can be obtained from the mean square value of X, minus the square of the mean value of X. Teletraffic & Queueing Theory Telecommunications Networks 17 TELETRAFFIC & QUEUEING THEORY • • COVARIANCE AND CORRELATION Let Z be a random variable which is the sum of two other random variables X and Y. Then the variance of Z is derived as follows from the nth and central moments of X and Y: VarZ Var X Y E Z 2 E Z 2 VarZ E X Y E X Y E X 2 2 XY Y 2 E X E Y 2 2 VarZ E X E X E Y E Y 2 VarZ E X 2 2 E XY E Y 2 E X E Y 2 E X E Y 2 • 2 2 2 2 2 2 E XY 2 E X E Y Then this simplifies to: VarZ VarX VarY 2EXY EX EY • Clearly, the variance of a sum of random variables X and Y is only equal to the sum of their variances if the last two terms of the last equation vanish. This last term is called the covariance of X and Y: CovX , Y EXY EX EY Teletraffic & Queueing Theory Telecommunications Networks 18 TELETRAFFIC & QUEUEING THEORY • • • COVARIANCE AND CORRELATION The covariance is a measure of the extent to which the corresponding random variables are correlated. We therefore find that: CovX , Y 0 EXY EX EY • • That means that if the covariance between X and Y is zero, then X and Y are uncorrelated. If X and Y are independent random variables, then they are uncorrelated. Teletraffic & Queueing Theory Telecommunications Networks 19 TELETRAFFIC & QUEUEING THEORY • • • • • • GENERATING FUNCTIONS There are many instances in practice when the quantity of interest is a sum of independent random variables. The mean and variance of such a sum can be obtained, as already shown, by adding together the means and variances, respectively, of the constituent variables. To find the CDF or PDF of a sum of random variables is, however, a more difficult task. If we have a sequence of numbers {f0,f1,f2,..fk,..}, the sequence can be converted into a single function to facilitate arithmetic manipulations. This process of converting a sequence of numbers into a single function is called z-transformation, and the resultant sequence is called the z-transform of the original sequence of numbers. The z-transform is commonly known as the generating function in probability theory. Teletraffic & Queueing Theory Telecommunications Networks 20 TELETRAFFIC & QUEUEING THEORY • • GENERATING FUNCTIONS The z-transform of a sequence{fi} is defined as: F ( z) f k z k k 0 • The z-transform possesses some interesting properties which greatly facilitate the evaluation of parameters of a random variable. Let X and Y be two independent random variables with respective probability mass functions fk and gk; and let their corresponding z-transforms be F(z) and G(z). Then we have: af k bg k aF ( z ) bG ( z ) • • Convolution property: If we define another random variable, H=F+G, with a probability mass function hk, then the z-transform H(z) of hk is given by: H ( z) F ( z)G( z) Teletraffic & Queueing Theory Telecommunications Networks 21 TELETRAFFIC & QUEUEING THEORY • • GENERATING FUNCTIONS This convolution property can be proved as follows as: k 0 k 0i 0 H ( z ) hk z k f i g k i z k H ( z) fi g k i z k l 0k 0 l 0 k i H ( z) fi z i g k i z k i H ( z ) F ( z )G ( z ) • The following can therefore be shown, for a generating function F(z): F ( z ) z 1 1 EX E X2 Teletraffic & Queueing Theory d F ( z ) z 1 dz d2 d 2 F ( z ) z 1 F ( z ) z 1 dz dz Telecommunications Networks 22 TELETRAFFIC & QUEUEING THEORY • • • PROBABILITY DISTRIBUTION FUNCTIONS Uniform Distribution Consider a continuous random variable, X, that is equally likely to take any value in a specified range. Such a variable is said to be uniformly distributed within that range. c, for a x b f ( x) 0, elsewhere • Also, since: b a f ( x)dx cdx 1 c Teletraffic & Queueing Theory 1 ba Telecommunications Networks 23 TELETRAFFIC & QUEUEING THEORY • • • PROBABILITY DISTRIBUTION FUNCTIONS Uniform Distribution The CDF is: x F ( x) f (u )du 0, for x a x a F ( x) , for a x b b a 1, for x b • The mean and variance of X are given by: E X x( f ( x)dx ab 2 Var X x E X f ( x)dx E X 2 E X 2 2 b a ab Var X c x dx 12 2 a b Teletraffic & Queueing Theory 2 2 2 Telecommunications Networks 24 TELETRAFFIC & QUEUEING THEORY • • • PROBABILITY DISTRIBUTION FUNCTIONS Uniform Distribution In the discrete case, the uniform random variable X can take n discrete values, say a,a+1, a+2, ..,b, where a is usually an integer, each with probability 1 PX i Pi , i a, a 1, a 2,..,b n • The probability mass function (PMF) is given by: 1 / n a x b f ( x) 0, elsewhere • The CDF is given by: 1 b F ( x) x i n ia Teletraffic & Queueing Theory Telecommunications Networks 25 TELETRAFFIC & QUEUEING THEORY • • PROBABILITY DISTRIBUTION FUNCTIONS To evaluate the mean and variance of the discrete uniformly distributed random variable, we note that the generating function is defined by: F ( z ) pk z k k 0 1 n k 1 pk 1 / n F ( z ) z z z 2 .. z n n k 1 n dF ( z ) 1 1 2 z .. nz n 1 dz n dF ( z ) n(n 1) (n 1) EX z 1 dz 2n 2 • The variance is: Var X E X 2 E X 2 d2 d E X 2 F ( z ) z 1 F ( z ) z 1 dz dz d2 1 F ( z ) 2 (2)(3) z .. n(n 1) z n 2 2 n dz n2 1 Var X 12 2 Teletraffic & Queueing Theory Telecommunications Networks 26 TELETRAFFIC & QUEUEING THEORY • • EXPONENTIAL RANDOM VARIABLE A continuous random variable X is said to be exponentially distributed with parameter l if it has a CDF of the form: F ( x) 1 e lx , x 0 • The corresponding PDF is: f ( x) • dF ( x) le lx , x 0 dx The mean value of this random variable is: EX xle lx dx 0 • 1 l An important property of the exponential distribution is the so-called memoryless property. That is, if a random variable is distributed exponentially, then: P X t x / X t P X x ; t , x 0 Teletraffic & Queueing Theory Telecommunications Networks 27 TELETRAFFIC & QUEUEING THEORY • • EXPONENTIAL RANDOM VARIABLE – MEMORYLESS PROPERTY To prove the memoryless property of the exponential distribution, we use the conditional probability formula: P X t x / X t Pt X t x F t x F (t ) P X t 1 F (t ) e lt e l (t x ) 1 e lx lt e P X x • In other words, if we interpret the random quantity as time, then knowing that an exponentially distributed activity has been in progress for time t does not affect the distribution of its remaining duration – it is as if the process is starting now. Teletraffic & Queueing Theory Telecommunications Networks 28 TELETRAFFIC & QUEUEING THEORY • • THE GEOMETRIC DISTRIBUTION A discrete random variable, X, is said to be geometrically distributed if it has a probability mass function defined by: P X x q x 1 p; p 1 p, x 1,2,3,.. • • The random variable X can be interpreted as the index x of success in an experiment consisting of a number of independent trials, where each trial results in a success with probability p, and failure with probability q=1-p. The CDF is given by: x x i 1 i 1 F ( x) P( X x) pi p q i 1 F ( x) p 1 q , x 1,2,3,.. • x The CDF is thus obtained from the sum of a geometric series, a characteristic from which the distribution takes its name. Teletraffic & Queueing Theory Telecommunications Networks 29 TELETRAFFIC & QUEUEING THEORY • THE GEOMETRIC DISTRIBUTION • The generating function of the random variable can be evaluated as: p p 1 i p( z ) pq z qz 1 q i 1 q 1 qz i 1 pz p( z ) 1 qz • i 1 i Then we can determine the mean and variance of X as: EX 1 p Var X • 1 p p2 Just as the exponential distribution is the only continuous distribution that has the memoryless property, the geometric distribution is the only discrete distribution that has this same property. Because of this, both the geometric and exponential distributions have profound importance in queueing theory, especially in discrete and continuous Markov chains.. Teletraffic & Queueing Theory Telecommunications Networks 30 TELETRAFFIC & QUEUEING THEORY • • BINOMIAL DISTRIBUTION A random variable X has a binomial distribution of order n if it takes the value 0,1,2,..,n with probability: n P X k pk p k q n k ; p q 1 k • The corresponding cumulative distribution function is a staircase in the interval [0,n], given by: n n F ( x) p k q n k ; m x m 1 k 0 k • The generating function of this random variable is: R( z ) 1 p(1 z ) n • From this, we obtain the mean and variance of the binomial distribution as: EX np VarX np(1 p) Teletraffic & Queueing Theory Telecommunications Networks 31 TELETRAFFIC & QUEUEING THEORY • • THE POISSON DISTRIBUTION A random variable X, taking on one of the values 0,1,2,.., is said to be a Poisson random variable with parameter l if, for some l>0, P X k pk • lk The probability mass function is defined by the above equation since: lk k 0 k! l pk e k 0 • • k! e l , k 0,1,2,.. e l el 1 Then the PMF and the CDF may be written as: f ( x) e l F ( x) e l lk k 0 k! m lk k 0 k! x k , m x m 1 The generating function, and the mean and variance are found to be: p( z ) el z 1 EX VarX l Teletraffic & Queueing Theory Telecommunications Networks 32 TELETRAFFIC & QUEUEING THEORY • • THE NORMAL DISTRIBUTION The Gaussian (or normal) distribution with mean h and variance s2 has a probability density function given by: f ( x) 1 2s 2 e x h 2s 2 2 , x • The probability mass function of a binomial random variable becomes more and more normal as n becomes larger and larger. • A much stronger result is the Central Limit Theorem. This states that if n random variables X1,X2,X3,..,Xn are independent, then if their sum is given by: Y Xi • i Then the density f(y) tends to a normal curve as n. In other words, if n is sufficiently large, then no matter what the distribution of the individual random variables, then the distribution of their sum is Gaussian. Teletraffic & Queueing Theory Telecommunications Networks 33