20.11.2012 Views

Contents Telektronikk - Telenor

Contents Telektronikk - Telenor

Contents Telektronikk - Telenor

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

34<br />

Since Gw (t) is the survivor function, it<br />

means the probability of the last previous<br />

arrival still being in the system. If the<br />

arrival interval distribution is given by<br />

density f(t), then P{t < arrival interval ≤t<br />

+ dt} = f(t) ⋅ dt. The product of the two<br />

independent terms, G w (t) ⋅ f(t)dt, implies<br />

that the next arrival happens in the interval<br />

(t, t + dt), and that there is still one or<br />

more customers in the system. By integration<br />

over all t we obtain the implicit<br />

equation for determination of σ:<br />

� ∞<br />

σ = e −µ(1−σ)·t · f(t)dt<br />

0<br />

(93)<br />

It is immediately seen that if f(t) = λe –λt ,<br />

then σ = λ/µ, and we get the M/M/1<br />

solution as we should.<br />

By analogy it is clear that the mean values<br />

of waiting and sojourn times, which<br />

are related to calls arriving, and queue<br />

lengths as observed by arriving calls, are<br />

given by formulas identical to those of<br />

M/M/1, only that the mean load A is<br />

replaced by the arrival related load σ.<br />

Taken over time the mean values of number<br />

in queue (Lq ) and number in system<br />

(Ls ) are found by Little’s formula, based<br />

on mean waiting time:<br />

Lq = λ · W =<br />

λ · s · σ<br />

1 − σ<br />

= A · σ<br />

1 − σ<br />

λ · s A<br />

Ls = λ · (W + s) = = (94)<br />

1 − σ 1 − σ<br />

Example<br />

In Table 5 is given an example set with<br />

arrival interval distributions:<br />

- Deterministic<br />

- Erlang-2<br />

- Exponential<br />

- Hyperexponential (H2 ).<br />

Table 5 Example with mean load A = 0.5 of GI/M/1 system<br />

For the H2-distribution is chosen p = 0.9,<br />

λ1 = 1.0 and λ2 = 1/11, like in the M/G/1<br />

example previously, and two more cases:<br />

p = 0.75/0.95, λ1 = 1.0/1.0 and λ2 =<br />

0.2/0.0476. Arrival rate is chosen at<br />

λ = 0.5 (consistent with the H2-examp les) and service time s = 1/µ = 1.0. Mean<br />

load is A = λ/µ = 0.5, and service is<br />

exponential.<br />

The examples in the table indicate that<br />

waiting time and queue length increase<br />

with the form factor, but in a non-linear<br />

way. This is different from the M/G/1<br />

case, where there is strict proportionality.<br />

16.4 The GI/GI/1 queue<br />

When no specification is given for the<br />

distributions of arrival and service processes,<br />

other than independence within<br />

each process and mutually, then there are<br />

few general results available concerning<br />

queue lengths and waiting time. A general<br />

method is based on Lindley’s integral<br />

equation method. The mathematics<br />

are complicated, and it will not be discussed<br />

any further. There are a lot of<br />

approximations, most of them covering a<br />

limited area with acceptable accuracy.<br />

According to the Pollaczek/Khintchine<br />

formula for M/GI/1 two moments of the<br />

service distribution gives an exact solution.<br />

The GI/M1 case is shown to be less<br />

simple, and even though most approximations<br />

for the GI/GI/1 queue apply only<br />

two moments for both distributions, it is<br />

clear that even the third moment of the<br />

arrival distribution may be of importance.<br />

According to [15] a reasonable approximation<br />

for high loads (A→ 1) is the one<br />

by Kingman [16], which is also an upper<br />

limit given by<br />

�<br />

W ≈<br />

(95)<br />

A · s<br />

2 · (1 − A) ·<br />

�<br />

(ca/A) 2 + c 2 s<br />

Distribution Load at arrival (σσ) Waiting time (W) = Form factor (εε)<br />

Queue length (L)/λλ<br />

Deterministic 0.2032 0.255 1.0<br />

Erlang-2 0.382 0.618 1.5<br />

Exponential 0.5 1.0 2.0<br />

Hyperexponential-2 0.642 1.79 3.5<br />

" 0.74 2.85 6.5<br />

" 0.804 4.11 11.5<br />

where ca and cs are coefficient of variation<br />

for arrivals and service respectively.<br />

We immediately recognise the basic<br />

terms giving proportionality with load<br />

(A) and service time (s) and the denominator<br />

term 2(1 – A). Next is the strong<br />

dependence on second moments. The<br />

formula approaches the correct value for<br />

M/M/1 when A → 1. Otherwise it is not a<br />

good approximation. An adjustment factor<br />

has been added by Marchal [17]:<br />

(1 + c 2<br />

s )/(1/A2 + cs2 ) (96)<br />

This gives the correct result for M/G/1<br />

irrespective of load.<br />

A better adjustment to Kingman’s formula<br />

has been introduced by Kraemer<br />

and Langenbach-Belz [18], using an<br />

exponential factor containing the load as<br />

well as the coefficients of variation. Distinct<br />

factors are used for the two regions<br />

ca ≤ 1 and ca ≥ 1. The best general approximation<br />

over a wide range seems to be<br />

that by Kimura [19]:<br />

(97)<br />

Here, σ is the mean load immediately<br />

before an arrival, like the one in the<br />

GI/M/1 case, given by an integral equation.<br />

Thus the real distribution (not only<br />

first and second moments) is taken into<br />

account. Calculation is not straightforward<br />

because of the implicit solution.<br />

Another proposal [20], [21] is based on a<br />

three moment approach for arrivals,<br />

applying a three-parameter H2 distribution.<br />

The three-moment match is much<br />

more flexible than the two-moment<br />

match, and it can be used to approximate<br />

a general distribution of the type where<br />

ca ≥ 1. The approximation utilises the<br />

property of the H2 distribution that it can<br />

model two extremes by proper choice of<br />

parameters:<br />

1 Batch Poisson arrivals with geometric<br />

batch size<br />

2 Pure Poisson arrivals.<br />

Exact solutions are available for the<br />

whole range of H2 /M/1 between the<br />

extremes Mb /M/1 and M/M/1. In the general<br />

service case the extreme points<br />

Mb W ≈<br />

/GI/1 and M/GI/1 have known exact<br />

solutions. A heuristic interpolation between<br />

those two points can then be<br />

attempted for the GI case in analogy with<br />

the known M case. A plot for the waiting<br />

time as a function of the third moment is<br />

shown in Figure 37.<br />

σ · s · � c2 a + c2 �<br />

s<br />

(1 − σ) · (c2 a +1)

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!