Vous êtes sur la page 1sur 45

Outline

Introduction
Files
dattente
lmentaires
Applications
Rseaux de
les dattente
Modlisation stochastique, Files dattente
Stephan Robert, HEIG-Vd
30 novembre 2009
1 / 45
Stephan Robert, HEIG-Vd Modlisation stochastique, Files dattente
Outline
Introduction
Files
dattente
lmentaires
Applications
Rseaux de
les dattente
1 Introduction
2 Files dattente lmentaires
3 Applications
4 Rseaux de les dattente
2 / 45
Stephan Robert, HEIG-Vd Modlisation stochastique, Files dattente
Outline
Introduction
Files
dattente
lmentaires
Applications
Rseaux de
les dattente
Introduction
3 / 45
Stephan Robert, HEIG-Vd Modlisation stochastique, Files dattente
Outline
Introduction
Files
dattente
lmentaires
Applications
Rseaux de
les dattente
Introduction
Reprsentation dune le dattente simple
Diagramme temporel
4 / 45
Stephan Robert, HEIG-Vd Modlisation stochastique, Files dattente
Outline
Introduction
Files
dattente
lmentaires
Applications
Rseaux de
les dattente
Introduction (2)
Question : Quelle est la relation entre le temps dattente
moyen et le nombre de clients dans le systme ?

T
t
=

(t)
i=0
u
i
(t)
5 / 45
Stephan Robert, HEIG-Vd Modlisation stochastique, Files dattente
Outline
Introduction
Files
dattente
lmentaires
Applications
Rseaux de
les dattente
Introduction (3)
Nombre moyen de clients dans la le dattente :

N
t
=
_
t
0
N()d
t
=

(t)
i=0
u
i
t
ce qui signie

N
t
=

t

T
t
Si le systme est ergodique, nous obtenons la
LOI DE LITTLE :
E[N] = E[T]
6 / 45
Stephan Robert, HEIG-Vd Modlisation stochastique, Files dattente
Outline
Introduction
Files
dattente
lmentaires
Applications
Rseaux de
les dattente
Notation
Fonctions de rpartition
Interarrives : A(t)
Temps de service : B(x)
Caractrisation dune le dattente (Notation de Kendall)
A/B/s/K/DS
Exemples : M/M/1, G/G/3/K
7 / 45
Stephan Robert, HEIG-Vd Modlisation stochastique, Files dattente
Outline
Introduction
Files
dattente
lmentaires
Applications
Rseaux de
les dattente
Exercice 1
8 / 45
Stephan Robert, HEIG-Vd Modlisation stochastique, Files dattente
Outline
Introduction
Files
dattente
lmentaires
Applications
Rseaux de
les dattente
Files dattente lmentaires
9 / 45
Stephan Robert, HEIG-Vd Modlisation stochastique, Files dattente
Outline
Introduction
Files
dattente
lmentaires
Applications
Rseaux de
les dattente
Files dattente lmentaires
Gnralits
Temps dinterarrives : E[T] = 1/
: Taux darrives moyen.
Temps de service : E[S] = 1/
: Taux de service moyen par serveur.
N(t) : Nombre de clients dans le systme au temps t.
10 / 45
Stephan Robert, HEIG-Vd Modlisation stochastique, Files dattente
Outline
Introduction
Files
dattente
lmentaires
Applications
Rseaux de
les dattente
File M/M/1
Reprsentation de la le dattente M/M/1 (Processus de
naissance et de mort) :
avec les paramtres suivants :

k
= k = 0, 1, 2, 3, ...

k
= k = 1, 2, 3, ...
11 / 45
Stephan Robert, HEIG-Vd Modlisation stochastique, Files dattente
Outline
Introduction
Files
dattente
lmentaires
Applications
Rseaux de
les dattente
File M/M/1 (2)
Remarques :
Les interarrives sont distribues exponentiellement
(E[T] = 1/)
Les temps de service sont distribus exponentiellement
(E[S] = 1/)
La le ne comporte quun serveur et est de longueur innie
Discipline de service : FIFO.
Intensit du trac : = /
La chane de Markov est ergodique si < 1
12 / 45
Stephan Robert, HEIG-Vd Modlisation stochastique, Files dattente
Outline
Introduction
Files
dattente
lmentaires
Applications
Rseaux de
les dattente
File M/M/1 (3)
Probabilit dtat
0
(voir le cours au chapitre 6, p. 108) :

i
=
0
_

_
i
=
0

0
=
1
1 +

i=1
_

_
i
mais

0
=
1
1 +
/
1/
Ainsi

0
= 1
13 / 45
Stephan Robert, HEIG-Vd Modlisation stochastique, Files dattente
Outline
Introduction
Files
dattente
lmentaires
Applications
Rseaux de
les dattente
File M/M/1 (3)
Caractristiques de la le M/M/1
Esprance mathmatique du nombre de clients dans la le
E[N] =

i=0
ip
i
= (1 )

i=0
i
i
= . . . =

1
14 / 45
Stephan Robert, HEIG-Vd Modlisation stochastique, Files dattente
Outline
Introduction
Files
dattente
lmentaires
Applications
Rseaux de
les dattente
File M/M/1 (3)
Caractristiques de la le M/M/1 (suite)
Avec la formule de Little :
E[T] =
E[N]

=
1
(1 )
Variance du nombre de clients en fonction de lintensit du
trac :

2
N
=

(1 )
2
15 / 45
Stephan Robert, HEIG-Vd Modlisation stochastique, Files dattente
Outline
Introduction
Files
dattente
lmentaires
Applications
Rseaux de
les dattente
Exemple : Serveur de bases de donnes
Une entreprise eectue des mesures sur son serveur de base de
donne :
taux moyen darrives : 30 requtes/seconde
temps moyen de service : 20 ms
Question : A partir de quelle charge faut-il augmenter la
vitesse du processeur pour maintenir un service de mme
qualit ? Si la rme augmente la charge du serveur de 40% par
exemple, de combien doit augmenter la vitesse du processeur ?
16 / 45
Stephan Robert, HEIG-Vd Modlisation stochastique, Files dattente
Outline
Introduction
Files
dattente
lmentaires
Applications
Rseaux de
les dattente
Serveur de bases de donnes (2)
Rponse : Modle : M/M/1.
Taux de traitement de requtes : =
1
20.10
3
= 50 requtes/seconde
Taux dutilisation du serveur : = / = 30/50 = 0.6 = 60%
Temps de traitement ( garder constant !) :
E[T] =
1/
1
=
1/50
10.6
= 50 ms
Le nombre de requtes saccrot de 40% :

= 30 + 30 0.4 = 42

/ = 42/50 = 0.6 = 84%


Si nous voulons que E[T] = 50 ms =
1/

= 62 requtes/seconde.
Donc le processeur devra augmenter sa vitesse de
(62 50)/50 = 0.24 = 24%
17 / 45
Stephan Robert, HEIG-Vd Modlisation stochastique, Files dattente
Outline
Introduction
Files
dattente
lmentaires
Applications
Rseaux de
les dattente
File M/M/1/K
Dirence avec la le M/M/1 : Limitation du nombre de places dans le
systme (serveur + tampon).
Nous connaissons les probabilits dtat en fonction de
0
(processus de
naissance et de mort) :

k
=
0
k1
Y
i=0

=
0

k
pour k K
18 / 45
Stephan Robert, HEIG-Vd Modlisation stochastique, Files dattente
Outline
Introduction
Files
dattente
lmentaires
Applications
Rseaux de
les dattente
File M/M/1/K (2)
Dautre part,

0
+
1
+. . . +
K
= 1
ce qui donne

0
=
"
1 +
K
X
k=1

#
=
1 /
1 (/)
K+1
Esprance mathmatique du nombre de clients dans le systme
E[N] = L =

1 (K + 1)(/)
K
+K(/)
K+1
(1 /)(1 (/)
K+1
)
Taux moyen darrives : (1
K
).
Temps moyen dattente :
E[T] =
E[N]
(1
K
)
=
L
(1
K
)
19 / 45
Stephan Robert, HEIG-Vd Modlisation stochastique, Files dattente
Outline
Introduction
Files
dattente
lmentaires
Applications
Rseaux de
les dattente
Exemple : Dimensionnement dun site Web
Quelle place mmoire faut-il allouer dans un serveur Web lorsque le nombre
de requtes/seconde = et que nous ne voulons pas avec des pertes
suprieures 1%?
Taux moyen darrives : = 30 requtes/seconde
Taux de traitement des requtes : = 50 requtes/seconde
Nous avons

K
=
0

K
avec

0
=
1 /
1 (/)
K+1
donc

K
=
1 0.6
1 (0.6)
K+1
(0.6)
K
< 0.01
20 / 45
Stephan Robert, HEIG-Vd Modlisation stochastique, Files dattente
Outline
Introduction
Files
dattente
lmentaires
Applications
Rseaux de
les dattente
Exercices 4 et 5
21 / 45
Stephan Robert, HEIG-Vd Modlisation stochastique, Files dattente
Outline
Introduction
Files
dattente
lmentaires
Applications
Rseaux de
les dattente
Applications aux
dimensionnement de rseaux
tlphoniques et cellulaires
22 / 45
Stephan Robert, HEIG-Vd Modlisation stochastique, Files dattente
Outline
Introduction
Files
dattente
lmentaires
Applications
Rseaux de
les dattente
File M/M/m (Erlang C)
Systme de le dattente ayant un nombre illimit de places,
avec m serveurs.
Probabilit dtat du k
ime
tat :

k
=
0

1
...
k1

2
...
k
En remplaant (k m) :

k
=
0
...
(2)(3)...(k)
=

0
k!
_

_
k
23 / 45
Stephan Robert, HEIG-Vd Modlisation stochastique, Files dattente
Outline
Introduction
Files
dattente
lmentaires
Applications
Rseaux de
les dattente
File M/M/m (Erlang C) (2)
Et pour k > m

k
=
m
k1

i=m

m
=
m

km
(m)
km
=

0
m!

km
(m)
km
=

0
m!m
km
_

_
k
24 / 45
Stephan Robert, HEIG-Vd Modlisation stochastique, Files dattente
Outline
Introduction
Files
dattente
lmentaires
Applications
Rseaux de
les dattente
File M/M/m (Erlang C) (3)
Il reste calculer
0
:

0
=
1
1 +
P

i=1

1
...
i1

2
...
i
et aprs quelques calculs (cours page 142) :

0
=

m1
X
k=0
(/)
k
k!
+
(/)
m
m!(1 /(m))
!
1
Question intressante : Quelle est la probabilit dattendre avant dtre
servi ?

X
k=m

k
=

0
m!

/
1 /(m)

qui est la Formule dErlang C. (En tlphonie : probabilit dtre mis en


attente alors que toutes les lignes sont occupes).
25 / 45
Stephan Robert, HEIG-Vd Modlisation stochastique, Files dattente
Outline
Introduction
Files
dattente
lmentaires
Applications
Rseaux de
les dattente
Dimensionnement de rseaux tlphoniques et
cellulaires
Rseaux GSM et UMTS :
Arrives Poissoniennes (hypothse valide dans le cas de la
tlphonie)
Temps de service distribus exponentiellement.
Intensit du trac : = /. 1 Erlang = occupation dune
ligne en permanence.
Question :
Comment dimensionner le systme de telle sorte ce que la
probabilit dtre mis en attente ne dpasse pas un certain seuil
(par exemple 0.01) pour un trac estim ?
26 / 45
Stephan Robert, HEIG-Vd Modlisation stochastique, Files dattente
Outline
Introduction
Files
dattente
lmentaires
Applications
Rseaux de
les dattente
Dimensionnement de rseaux tlphoniques et
cellulaires (2)
Eet du nombre de serveurs (lignes) sur lintensit du trac
avec une probabilit dattente donne
27 / 45
Stephan Robert, HEIG-Vd Modlisation stochastique, Files dattente
Outline
Introduction
Files
dattente
lmentaires
Applications
Rseaux de
les dattente
File M/M/m/m (Erlang B)
Systme de le dattente avec m serveur, sans tampon ! Si tous
les serveurs sont occups, les clients sont rejets !
Probabilit dtat du k
ime
tat :

k
=
0

1
...
k1

2
...
k
En remplaant (k m) :

k
=
0
...
(2)(3)...(k)
=

0
k!
_

_
k
28 / 45
Stephan Robert, HEIG-Vd Modlisation stochastique, Files dattente
Outline
Introduction
Files
dattente
lmentaires
Applications
Rseaux de
les dattente
File M/M/m/m (Erlang B)
Calcul de
0
avec
0
+
1
+. . . +
m
= 1

0
=
_
m

k=0
_

_
k
1
k!
_
1
La formule exprimant
m
est appele formule dErlang B.

m
=

0
m!
_

_
m
Cette formule exprime la probabilit de voir tous les serveurs
occups alors quun nouveau client arrive dans le systme. Un
client perdu ninsiste pas et abandonne.
Calculs : http ://www.erlang.com/calculator
29 / 45
Stephan Robert, HEIG-Vd Modlisation stochastique, Files dattente
Outline
Introduction
Files
dattente
lmentaires
Applications
Rseaux de
les dattente
File M/M/m/m (Erlang B) (2)
Eet du nombre de serveurs (lignes) sur lintensit du trac
avec une probabilit de perte donne
30 / 45
Stephan Robert, HEIG-Vd Modlisation stochastique, Files dattente
Outline
Introduction
Files
dattente
lmentaires
Applications
Rseaux de
les dattente
Exemple de dimensionnement de rseaux cellulaires
Dans le contexte de la tlphonie cellulaire :
Probabilit de blocage = Grade of Service (GOS). Donne par la formule
dErlang B.
Exemple dans une ville de 150000 habitants (Lausanne)
Oprateur A : 185 cellules avec 11 canaux chacune
Oprateur B : 48 cellules avec 27 canaux chacune
Oprateur C : 24 cellules avec 50 canaux chacune
GOS=2%
Chaque utilisateur fait en moyenne 2 appels/heure, de 3 minutes
chacun.
Question : Quelle est la pntration de march de chacun ?
Trac par utilisateur : 2 appels/heure * (3/60) heures = 0.1 Erlang
31 / 45
Stephan Robert, HEIG-Vd Modlisation stochastique, Files dattente
Outline
Introduction
Files
dattente
lmentaires
Applications
Rseaux de
les dattente
Exemple de dimensionnement de rseaux cellulaires
Loprateur A peut couler 5.8 E sur 11 canaux et un GOS de 0.02,
donc 5.8/0.1=58 utilisateurs/cellule. Puisquil en a 185, il peut servir
185*58=10730 utilisateurs.
Loprateur B peut couler 19.25 E sur 27 canaux, au total 192
utilisateurs/cellule. Donc il peut servir 9240 utilisateurs.
Quant loprateur C il peut couler 40.25 E sur 50 canaux, donc
402 utilisateurs/cellule. En tout il peut servir 9660 utilisateurs. En
tout 29630 utilisateurs peuvent tre servis.
La pntration des systmes mobiles est de 19% :
7.1% pour loprateur A
6.1% pour loprateur B
6.4% pour loprateur C
32 / 45
Stephan Robert, HEIG-Vd Modlisation stochastique, Files dattente
Outline
Introduction
Files
dattente
lmentaires
Applications
Rseaux de
les dattente
Conrmer les rsultats obtenus avec
http ://www.erlang.com/calculator
33 / 45
Stephan Robert, HEIG-Vd Modlisation stochastique, Files dattente
Outline
Introduction
Files
dattente
lmentaires
Applications
Rseaux de
les dattente
Rseaux de les dattente
34 / 45
Stephan Robert, HEIG-Vd Modlisation stochastique, Files dattente
Outline
Introduction
Files
dattente
lmentaires
Applications
Rseaux de
les dattente
Rseaux de les dattente
Cas gnral : Trs compliqu.
Hypothses :
Les ux entrant dans le rseau sont Poissoniens
Les temps de service de tous les serveurs sont
exponentiellement distribus
Discipline de service : FIFO
Routage entre les direntes les : Probabiliste
35 / 45
Stephan Robert, HEIG-Vd Modlisation stochastique, Files dattente
Outline
Introduction
Files
dattente
lmentaires
Applications
Rseaux de
les dattente
Rseaux de les dattente (2)
Chane de Markov pour deux les dattente en srie avec les
tats (n
1
, n
2
), n
1
4, n
2
4
36 / 45
Stephan Robert, HEIG-Vd Modlisation stochastique, Files dattente
Outline
Introduction
Files
dattente
lmentaires
Applications
Rseaux de
les dattente
Rseaux de les dattente (3)
Equations de balance :

0,0
=
2

0,1
n
1
= n
2
= 0

0,n
2
+
0,n
2
=
1

1,n
2
1
+
2

0,n
2
+1
n
1
= 0, n
2
> 0

n
1
,0
+
n
1
,0
=
n
1
1,0
+
2

n
1
,1
n
1
> 0, n
2
= 0

n
1
,n
2
+
1

n
1
,n
2
+
2

n
1
,n
2
=

n
1
1,n
2
+
1

n
1
+1,n
2
1
+
2

n
1
,n
2
+1
n
1
, n
2
> 0
37 / 45
Stephan Robert, HEIG-Vd Modlisation stochastique, Files dattente
Outline
Introduction
Files
dattente
lmentaires
Applications
Rseaux de
les dattente
Rseaux de les dattente (4)
Chane de Markov pour deux les dattente en srie avec les
tats (n
1
, n
2
), n
1
4, n
2
4
38 / 45
Stephan Robert, HEIG-Vd Modlisation stochastique, Files dattente
Outline
Introduction
Files
dattente
lmentaires
Applications
Rseaux de
les dattente
Rseaux de les dattente (5)
Chane de Markov pour deux les dattente en srie avec les
tats (n
1
, n
2
), n
1
4, n
2
4.
39 / 45
Stephan Robert, HEIG-Vd Modlisation stochastique, Files dattente
Outline
Introduction
Files
dattente
lmentaires
Applications
Rseaux de
les dattente
Rseaux de les dattente (6)
Nous navons quune quation pour les dcrire

0,n
2
+
0,n
2
=
1

1,n
2
1
+
2

0,n
2
+1
mais on peut la dcomposer en deux quations de balance
locales :

0,n
2
=
1

1,n
2
1

0,n
2
=
2

0,n
2
+1
Nous pouvons procder de manire identique pour lquation
suivante :

n
1
,0
=
n
1
1,0

n
1
,0
=
2

n
1
,1
40 / 45
Stephan Robert, HEIG-Vd Modlisation stochastique, Files dattente
Outline
Introduction
Files
dattente
lmentaires
Applications
Rseaux de
les dattente
Rseaux de les dattente (7)
Chane de Markov pour deux les dattente en srie avec les tats (n
1
, n
2
)
Il nous reste crire les quations de balance locales pour les tats
n
1
,n
2
.
En observant les cycles sur la gure il vient

n
1
,n
2
=
2

n
1
,n
2
+1

n
1
,n
2
=
n
1
1,n
2

n
1
,n
2
=
1

n
1
+1,n
2
1
41 / 45
Stephan Robert, HEIG-Vd Modlisation stochastique, Files dattente
Outline
Introduction
Files
dattente
lmentaires
Applications
Rseaux de
les dattente
Rsolution
Solution :

n
1
,n
2
=
_
1

1
__

1
_
n
1
_
1

2
__

2
_
n
2
que nous pouvons crire

n
1
,n
2
= (1
1
) (
1
)
n
1
(1
2
) (
2
)
n
2
avec
1
= /
1
et
2
= /
2
.
42 / 45
Stephan Robert, HEIG-Vd Modlisation stochastique, Files dattente
Outline
Introduction
Files
dattente
lmentaires
Applications
Rseaux de
les dattente
Rseaux de Jackson ouverts
Hypothses :
Arrives poissonniennes
r
ij
: probabilit de routage, quun client servi par la le i aille vers la
le j.
0 r
ij
1 pour 1 i J avec
P
J
j=1
r
ij
= 1
Alors

n
1
,n
2
, ,n
J
=
J
Y
i=1

n
i
i
(1
i
)
43 / 45
Stephan Robert, HEIG-Vd Modlisation stochastique, Files dattente
Outline
Introduction
Files
dattente
lmentaires
Applications
Rseaux de
les dattente
Rseau de les datttente avec feedback
Les taux darrives dans chacune des les dattentes sont de
1
=
0
+
2
et
2
= r
12

1
.
Nous trouvons facilement que
1
=

0
1r
12
et
2
=
0
r
12
1r
12
Chaque le dattente se comporte comme une le dattente M/M/1 donc
nous pouvons facilement la probabilit dtat du systme

n
1
,n
2
= (1
1
)
n
1
1
(1
2
)
n
2
2
avec
1
=
1
/
1
et
2
=
2
/
2
.
44 / 45
Stephan Robert, HEIG-Vd Modlisation stochastique, Files dattente
Outline
Introduction
Files
dattente
lmentaires
Applications
Rseaux de
les dattente
Exercice 9
45 / 45
Stephan Robert, HEIG-Vd Modlisation stochastique, Files dattente

Vous aimerez peut-être aussi