Professional Documents
Culture Documents
Resume Files
Resume Files
Resume Files
INSA 4TC
Aimé Lachal
λ
ρ <1
µ
πn (1 − ρ)ρn loi G(1 − ρ)
ρ
E(Q)
Résumé de files d’attente 1−ρ
ρ2
= µE(W̃ ) = λE(W )
E(Q̃) = λE(W̃ )
1−ρ
Notations générales en régime stationnaire :
√ FW̃ (t) 1 − ρe−(µ−λ)t
1 var (S) loi E(µ − λ) pondérée en 0
– S : temps de service, E(S) = , kS = , LS (z) = E(e−zS ) ;
µ E(S)
ρ 1 1
– T : temps inter-arrivées, E(T ) = ;
1 E(W̃ ) = E(Q̃) = E(Q)
λ µ−λ λ µ
E(S) λ 1 1
– ρ= = : intensité du trafic ; E(W ) = E(Q)
E(T ) µ µ−λ λ
– Q : longueur de la file, πn = P(Q = n), GQ (z) = E(z Q ) ;
– Q̃ : nombre de personnes en attente, Q̃ = Q − n0 1l{Q>n0 } s’il y a n0 serveurs ;
– W̃ : temps d’attente, FW̃ (t) = P(W̃ 6 t), LW̃ (z) = E(e−zW̃ ) ;
– W : temps de séjour dans le système, W = W̃ + S ; Table 2 – File M (λ)/M (µ)/n0
λ λ
ρ ρ
µ µ
1−ρ 1
ρn
si ρ ̸
= 1 π0 ρ2 ρn0
πn 1 − ρN +1 pour 0 6 n 6 N 1+ρ+ 2! + ··· + n0 !
1
si ρ = 1 ρn
N +1 πn π0 pour 0 6 n 6 n0
n! 2
ρn0 −1
ρ[1 − (N + 1)ρN + N ρN +1 ] 1 + ρ + ρ2! + · · · + (n
si ρ ̸= 1 E(Q) ρ 0 −1)!
λ
ρ <1
µ
LS (λ(1 − z))
GQ (z) (1 − ρ)(1 − z)
Table 4 – File M (λ)/M (µ)/∞ LS (λ(1 − z)) − z
π0 1−ρ
1 + kS2 ρ2
λ E(Q) ρ+ = λE(W )
ρ 2 1−ρ
µ
1 + kS2 ρ2
ρn E(Q̃) = λE(W̃ )
πn e−ρ loi P(ρ) 2 1−ρ
n!
(1 − ρ)z
E(Q) ρ = λE(W ) LW̃ (z)
z − λ(1 − LS (z))
Q̃ 0 1 + kS2 ρ 1
E(W̃ ) = E(Q̃)
W̃ 0 2 λ−µ λ
1 1 1 1 + kS2 ρ 1
E(W ) = E(Q) E(W ) + = E(Q)
µ λ µ 2 λ−µ λ
Table 9 – File GI/M (µ)/1
Table 7 – File M (λ)/D(d)/1
λ
ρ <1
µ
ρ λd < 1
1 πn (1 − α)αn
GQ (z) (1 − ρ)(1 − z) loi G(1 − α) avec α ∈]0, 1[, α = LT (µ(1 − α))
1 − zeρ(1−z)
ρ(2 − ρ) α
E(Q) E(Q) = (µα)E(W ) = µE(W̃ )
2(1 − ρ)
= λE(W ) 1−α
ρ2 α2
E(Q̃) E(Q̃) = (µα)E(W̃ )
2(1 − ρ)
= λE(W̃ ) 1−α
FW̃ (t) 1 − αe−(1−α)µt
(1 − ρ)z
LW̃ (z) loi E((1 − α)µ) pondérée en 0
z − λ(1 − e−dz ) α
ρd 1 E(W̃ )
E(W̃ ) = E(Q̃) (1 − α)µ
2(1 − ρ) λ 1
(2 − ρ)d 1 E(W )
E(W ) = E(Q) (1 − α)µ
2(1 − ρ) λ
Table 8 – File M (λ)/Ek (µ)/1 Notations générales en régime stationnaire pour deux files de priorité i, i = 1, 2, la
première file étant prioritaire devant la deuxième :
λ 1
ρ <1 – Si : temps de service de la personne de priorité i, E(Si ) = ;
µ µi
1
1 + k ρ2 – Ti : temps entre les arrivées consécutives de deux personnes de priorité i, E(Ti ) = ;
E(Q) ρ+ = λE(W ) λi
2k 1 − ρ λ = λ1 + λ2 ;
1 + k ρ2 – S 2 : temps de service de la personne de priorité 2, durée des interruptions de service
E(Q̃) = λE(W̃ )
2k 1 − ρ comprise ;
1+k ρ 1 – B1 : période d’activité du serveur avec des personnes de priorité 1 ;
E(W̃ ) = E(Q̃) E(Si ) λi
2k µ − λ λ – ρi = = , ρ = ρ1 + ρ2 ;
1 1+k ρ 1 E(Ti ) µi
E(W ) + = E(Q) – Qi : longueur de la file de priorité i ;
µ 2k µ − λ λ – Q̃i : nombre de personnes de priorité i en attente ;
– W̃i : temps d’attente d’une personne de priorité i ;
– Wi : temps de séjour dans le système d’une personne de priorité i.
Table 10 – File avec priorités, préemption et achèvement de service
LB1 (z) solution de LB1 (z) = LS1 (z + λ1 [1 − LB1 (z)]) Table 11 – File avec priorités sans préemption
LS1 (λ1 (1 − z))
GQ1 (z) (1 − ρ1 )(1 − z)
LS1 (λ1 (1 − z)) − z
λ1 (1 − ρ)(1 − z)LS1 (λ1 (1 − z)) + λ2 [LS1 (λ1 (1 − z)) − zLS2 (λ1 (1 − z))]
1 + kS2 1 ρ21 GQ1 (z)
E(Q1 ) ρ1 + = λ1 E(W1 ) λ[LS1 (λ1 (1 − z)) − z]
2 1 − ρ1 λ1
1 + kS2 1 ρ21 P(Q1 = 0) 1− ρ
E(Q̃1 ) = λ1 E(W̃1 ) λ
2 1 − ρ1
(1 − ρ1 )z λ1 λ2 ρ1 (1 + kS2 1 )E(S1 ) + ρ2 (1 + kS2 2 )E(S2 )
LW̃1 (z) E(Q1 ) ρ+ 1
z − λ1 (1 − LS1 (z)) λ λ 2(1 − ρ1 )
ρ1 (1 + kS2 1 )E(S1 ) λ21 ρ1 (1 + kS2 1 )E(S1 ) + ρ2 (1 + kS2 2 )E(S2 )
E(W̃1 ) E(Q̃1 )
2(1 − ρ1 ) λ 2(1 − ρ1 )
1 ρ1 (1 + kS2 1 )E(S1 ) (1 − ρ)z + λ2 [1 − LS2 (z)]
E(W1 ) + LW̃1 (z)
µ1 2(1 − ρ1 ) z − λ1 (1 − LS1 (z))
ρ1 (1 + kS2 1 )E(S1 ) + ρ2 (1 + kS2 2 )E(S2 )
E(W̃1 )
2(1 − ρ1 )
1 ρ1 (1 + kS2 1 )E(S1 ) + ρ2 (1 + kS2 2 )E(S2 )
LS 2 (z) LS2 (z + λ1 [1 − LB1 (z)]) E(W1 ) +
1 µ1 2(1 − ρ1 )
E(S 2 )
(1 − ρ1 )µ2
GQ2 (z) LW2 (λ2 (1 − z)) = LW̃2 (λ2 (1 − z))LS 2 (λ2 (1 − z))
λ2 λ2 [λ + λ1 (1 − ρ)] ρ1 (1 + kS2 1 )E(S1 ) + ρ2 (1 + kS2 2 ))E(S2 )
E(Q2 ) ρ+
λ − λ1 LB1 (λ2 ) λ λ 2(1 − ρ1 )(1 − ρ)
P(Q2 = 0) (1 − ρ)
λ2
W2 W̃2 + S2
ρ2 ρ1 (1 + kS2 1 )E(S1 ) + ρ2 (1 + kS2 2 ))E(S2 )
E(Q2 ) + λ2 = λ2 E(W2 ) z + λ1 (1 − LB1 (z))
1 − ρ1 2(1 − ρ1 )(1 − ρ) LW̃2 (z) (1 − ρ)
z − λ2 [1 − LS2 (z + λ1 (1 − LB1 (z)))]
W2 W̃2 + S 2 ρ1 (1 + kS2 1 )E(S1 ) + ρ2 (1 + kS2 2 )E(S2 )
z + λ1 (1 − LB1 (z)) E(W̃2 )
LW̃2 (z) (1 − ρ) 2(1 − ρ1 )(1 − ρ)
z − λ2 [1 − LS2 (z + λ1 (1 − LB1 (z)))]
1 ρ1 (1 + kS2 1 )E(S1 ) + ρ2 (1 + kS2 2 )E(S2 )
ρ1 (1 + kS2 1 )E(S1 ) + ρ2 (1 + kS2 2 )E(S2 ) E(W2 ) +
E(W̃2 ) µ2 2(1 − ρ1 )(1 − ρ)
2(1 − ρ1 )(1 − ρ)
1 ρ1 (1 + kS2 1 )E(S1 ) + ρ2 (1 + kS2 2 )E(S2 )
E(W2 ) +
(1 − ρ1 )µ2 2(1 − ρ1 )(1 − ρ)