Professional Documents
Culture Documents
Cc t vit tt
y
Vit tt
CDF
First-come-first-server
FCFS
FIFO
Last-come-first-serve
LCFS
LIFO
Ting Vit
Analysis
Phn tch
Arrival process
Tin trnh ti
Base station
Trm gc
Biominal distribution
Phn b nh thc
Binomial process
Derparture process
Tin trnh i
Evaluation
nh gi
Expectation
K vng
Exponential distribution
Phn b m
Formal description
M t hnh thc
Frequency function
Hm tn sut
Gaussian distribution
Inter-arrival time
Load
Ti
Model
M hnh
Modeling
M hnh ha
Performance
Probability
Xc sut
Hm mt xc sut
Random experiment
Random event
Random variable
Scale parameter
Tham s t l
Server
Service process
Shape parameter
Simulation
M phng
4
Standard deviation
lch chun
Steady state
Trng thi n nh
Stochastic process
Traffic intensity
Mt lu lng
Transformation
Bin i
Uniform distribution
Phn b u
Utilization
Validation
Variance
Phng sai
Mc lc
Cc t vit tt _________________________________________________________________________ 3
Bng i chiu thut ng Anh - Vit ______________________________________________________ 4
Mc lc _____________________________________________________________________________ 6
Mc lc hnh v _______________________________________________________________________ 9
Mc lc bng biu ____________________________________________________________________ 10
Chng 1 Gii thiu ___________________________________________________________________ 1
1.1. Mc ch ca vic m hnh ha v nh gi c tnh hot ng ca h thng _______________________ 1
1.2. Cc tham s, tiu chun v phng php nh gi mt h thng thng tin _________________________ 3
1.2.1. Cc tham s nh gi c tnh hot ng ca h thng thng tin___________________________________________ 3
1.2.2. Cc tiu chun nh gi__________________________________________________________________________ 3
1.2.3. Cc phng php nh gi _______________________________________________________________________ 4
14
15
16
17
17
18
19
55
56
56
57
57
102
105
106
106
107
108
108
109
110
111
117
124
6.3. iu khin lung v trnh tc nghn theo phng php ca s _________________________________ 126
6.3.1. iu khin lung theo ca s (Window Flow Control) ________________________________________________ 127
6.3.2. iu khin tc nghn s dng ca s thch ng (adaptive window) ______________________________________ 132
6.4. iu khin lung v chng tc nghn da trn bng thng (rate-based flow control) _______________ 138
6.4.1. Khi nim __________________________________________________________________________________ 138
7
6.4.2. iu khin bng thng theo thut ton go r (leaky bucket) ___________________________________________ 139
6.4.3. Thut ton GPS (pending) ______________________________________________________________________ 143
Mc lc hnh v
Hnh 1-1. Cc bc c bn trong m hnh ha v nh gi c tnh h thng
30
36
Hnh 3-5.H thng hng i c quan st vi hai ranh gii khc nhau: (a) Hng i v cc trm phc
v; (b) Hng i ..................................................................38
Hnh 3-6. Hng i M/M/1/1 ......................................................39
Hnh 3-7. Khong thi gian xt ..................................................39
Hnh 3-8. Hng i M/M/1/ ......................................................41
Hnh 3-9. Cn bng xc sut ti trng thi i. Tin trnhsinh t46
Hnh 3-10. H thng M/M/1/K ....................................................46
Hnh 3-11. H thng hng i M/M/1/K.....................................47
Hnh 3-12. H thng M/M/1/K trn quan im h thng ng ..50
Hnh 3-13 Hng i M/M/c/ .....................................................51
Hnh 5-1. Hng ch bn trong router.........................................57
Hnh 5-2. Duyt cy ...................................................................58
Hnh 5-3. Cc thnh phn ..........................................................62
Hnh 5-4. Php tnh Minimum Spanning Tree ( MST)...............70
Mc lc bng biu
Bng 2-1. im tng ng vi kt qu tung xc xc ................. 7
Bng 2-2: Kt qu Th d 2-5.....................................................11
10
a kt qu nh gi v h thng thc: Cc kt qu
c a ra t cc bc trn c a tr v phc v cho h
thng thc (th d nh ci thin cht lng hot ng .v.v.).
Cc tham s khc:
Thng lng
Gi thnh .v.v.
S trm phc v cc yu cu
Quy tc phc v:
3
FIFO, LIFO
Hng i c u tin
Ti ca h thng.
(PT 2-1)
P ( A)
nA
;
n
(PT 2-2)
0 P( A) 1 ;
(PT 2-3)
P( A B) = P( A) + P( B) P( A B) ;
(PT 2-4)
P ( A B ) = P ( A) + P ( B ) ;
(PT 2-5)
P( A B) = P( A) P( B / A) = P( B) P( A / B) ;
(PT 2-6)
P ( A B ) = P ( A) P ( B ) ;
(PT 2-7)
X X (e) , e ;
(PT 2-8)
im
200
500
7
600
1000
1200
1500
variable) l bin m tp gi tr ca n l mt tp hu hn
hoc v hn m c cc phn t.
Ni mt cch khc, min gi tr ca mt bin ngu nhin ri rc l mt
x x ,..., xn ,...
dy s: 1, 2
c th hu hn hoc v hn.
Th d 2-3: im thi ca mt sinh vin (t 1 n 10); S cuc gi ca
n in t.
2.2.2. Hm mt v phn phi xc sut
Hm mt xc sut (probability density function - pdf)
Mt xc sut ca mt bin ngu nhin x lin tc c th hiu l xc
sut bin ngu nhin ly gi tr trong min [ xi , xi + dx] . Nu gi
f (x) l hm mt xc xut ca x th:
f ( x) p ( xi x xi + dx) ;
(PT 2-9)
x2
f ( x)dx ;
(PT 2-10)
x1
F ( x) =
f ( x)dx = 1 ;
(PT 2-11)
C hai thut ng tng ng trong sch ting Anh biu th Hm phn phi xc sut l: Probability
Distribution Function (PDF) v Cumulative Distribution Function (CDF).
fX
( x) =
Xi
( y ) f X j ( x y )dy ;
(PT 2-12)
= X i + X j . Hm
c xc nh bi:
~
X ( xi ) = P( X = xi ) i = 1,2,..., K ;
(PT 2-13)
~
=
X ( xi )
i =1
0
=
P( X a )
(PT 2-14)
k ~
FX ( x) = X ( xi )
i =1
1
x < x1
xk x < xk +1 ;
(PT 2-15)
x xK
~
FX ( xi ) FX ( xi 1 ) = X ( xi )
(PT 2-16)
s l P ( E ) =
2
3
; xc sut truyn ng mt s l P (C ) = 1 P ( E ) =
5
5
10
Xc
2 3
54
Xc sut truyn bn tin ba s, mt s b li: 3 =
5 5 125
2 3 36
Xc sut truyn bn tin ba s, hai s b li: 3 =
5 5 125
sut
truyn
3
27
3
P (CCC ) = P (C ) P(C ) P(C ) = =
5 125
khng
li:
Xc
sut
truyn
tt
ba
li:
8
2
P ( EEE ) = P( E ) P( E ) P ( E ) = =
5 125
xi
FX ( x i )
27
125
27
3
=
5 125
2 3
54
3 =
5 5 125
2 3 36
3 =
5 5 125
8
2
=
5 125
~
X (xi )
81
125
117
125
125
125
F X (x)
1
117/125
81/125
54/125
36/125
27/125
27/125
8/125
11
m X hoc E [X ] c xc nh:
E [X ] = m X =
xf
( x)dx ; X lin tc
(PT 2-17)
~
E [ X ] = m X = xi X ( xi ) ; X ri rc
(PT 2-18)
E [c ] = c ; c l hng s
E [c X ] = c E [X ]
E [a X + b Y ] = a E [X ] + b E [Y ]
E [X Y ] = E [X ] E [Y ] nu X v Y c lp vi nhau
x2
F X ( x ) = a ( x 2) 2
2< x4
x>4
1
.
4
T y ta xc nh c hm mt xc sut:
1
( x 2)
f X ( x) = 2
x [2,4]
x [2,4]
x3 x2
x
10
E [X ] = xf X ( x)dx = ( x 2)dx = =
2
2 2 3
6
2
phi
x
~
X ( x)
0,064
0,288
0,432
0,216
12
Gii:
3
~
~
E [X ] = xi X ( xi ) = xi X ( xi ) = 0.0,064 + 1.0,288 + 2.0,432 + 3.0,216 = 1,8
i
i =0
] (X m
VAR[X ] = X2 = E ( X m X ) =
2
Nhn xt: ( X m X
X2 = E ( X m X )2 = E [X 2 ] m X2 ;
(PT 2-20)
Nu X l bin ri rc:
2
~
~
= x X ( xi ) xX ( xi ) ;
i
i
2
X
(PT 2-21)
2
i
Nu X l bin lin tc :
+
= x f X ( x)dx xf X ( x)dx ;
2
X
(PT 2-22)
phn phi:
x
~
X ( x)
Gii:
0,064
0,288
0,432
0,216
X2 = E [X 2 ] m X2
[ ]
x0
0
f X ( x) =
x
e
>0
x > 0;
x
xf X ( x)dx = x e dx =
[ ] x
E X2 =
f X ( x)dx = x 2 . .e x dx =
0
X2 = E [X 2 ] m X2 =
l X c xc nh bi:
X = X2 = E ( X m X )2 ;
(PT 2-23)
hiu l c X c xc nh bi:
cX =
E[X ]
(PT 2-24)
E( X ) = p ;
(PT 2-25)
X = p (1 p ) ;
(PT 2-26)
14
bc n, nu n c nhng gi tr 0, 1, 2, , n vi xc sut:
n
P ( X = k ) = p k q n k ;
k
(PT 2-27)
n
n!
Trong 0 < p < 1 ; p + q = 1 v k = 0, 1, 2,, n v =
k k!(n k )!
Hm mt xc sut ca phn b nh thc c tnh nh sau:
n
n
PX ( x) = p k q n k ( x k ) ;
k =0 k
(PT 2-28)
(PT 2-29)
0; x < 0
u ( x) =
;
1; x 0
(PT 2-30)
(PT 2-31)
X2 = n p q = n p (1 p) ;
(PT 2-32)
cX =
E[X ]
(1 p )
;
n p
(PT 2-33)
f ( x) = b a
0
a xb
( x < a ) ( x > b)
15
(PT 2-34)
0 x 1
1
f ( x) =
0
( x < 0) ( x > 1)
(PT 2-35)
F ( x) =
xa
; a x b;
ba
(PT 2-36)
E( X ) = mX =
X2 =
cX =
a+b
;
2
(PT 2-37)
(b a )2 ;
(PT 2-38)
12
E[X ]
(b a )2 ;
2
3(a + b )
(PT 2-39)
e ( x )
/ 2 2
(PT 2-40)
1
2
( )
e
/ 2 2
d =
1
2
( x ) /
2 / 2
d ;
(PT 2-41)
(PT 2-42)
X2 = 2 ;
(PT 2-43)
cX =
E[X ]
(PT 2-44)
16
f ( x ) = e x ;
(PT 2-45)
F ( x ) = 1 e x ;
E ( x) =
( x) =
cX =
(PT 2-46)
(PT 2-47)
;
E[X ]
(PT 2-48)
= 1;
(PT 2-49)
(PT 2-50)
Nhn xt: Phng trnh trn cho thy hm phn b xc sut trong
P ( X = k ) = e
k
k!
; k = 0, 1,
17
(PT 2-51)
PX ( x) = e
k =0
(x k) ;
k!
(PT 2-52)
FX ( x) = e
k =0
k
k!
u( x k ) ;
(PT 2-53)
(PT 2-54)
X2 = ;
(PT 2-55)
cX =
E[X ]
(PT 2-56)
e ; x 0
f ( x) = (n 1)!
;
0; x < 0
(PT 2-57)
x n 1 y
y e dy
F ( x) = 0
; x 0 ;
(n 1)!
0; x < 0
E ( x) =
X2 =
(PT 2-58)
(PT 2-59)
(PT 2-60)
18
X = Xi ;
(PT 2-61)
i =1
n X n 1 X
e ; X 0
;
f X ( X ) = (n 1)!
0; X < 0
(PT 2-62)
Chng minh:
e x ; x 0
;
f X i ( x) =
0; x < 0
n
Trng hp n=1:
X = X 1 , do :
x 0 x
f X ( X ) = 0! e ; x 0 ;
0; x < 0
(PT 2-63)
X = X i + X n +1 ;
(PT 2-64)
i =1
19
n X n 1 X
e ; X 0
;
f n ( X ) = (n 1)!
X
i
0; X < 0
i =1
Do hai bin
X
i =1
(PT 2-65)
f X (X ) =
f
n
Xi
( X ) f X n +1 ( X Y )dY ;
(PT 2-66)
i =1
X n Y n 1 Y ( X Y )
e e
dY ; X 0
; (PT 2-67)
f X ( X ) = (n 1)!
0
0; X < 0
n +1 e X X n 1
nY dY ; X 0
;
f X (X ) =
n! 0
0; X < 0
(PT 2-68)
Nh vy cui cng ta c:
n X n 1 X
e ; X 0
f X ( X ) = (n 1)!
;
0; X < 0
(PT 2-69)
nh l c chng minh
nh l 2-2 s c s dng trong mt s chng minh Chng 3.
2.4. Tin trnh ngu nhin (stochastic process)
2.4.1. Khi nim v nh ngha
Vn c bn lin quan n phn tch thng k cc h thng thng tin
s l c tnh ca cc tn hiu ngu nhin nh cc tn hiu thoi, tn
hiu truyn hnh, d liu my tnh s v tn hiu nhiu Nhng tn
hiu ngu nhin ny c hai c tnh:
T t T ;
(PT 2-70)
20
x j (t ) = X (t , s j ) ;
(PT 2-71)
(PT 2-72)
Hnh 2-4. Tp hp cc hm mu
nh ngha 2-18: Tin trnh ngu nhin X (t ) c nh ngha l
21
Nu gi tr ca bt k hm mu no khng c d on chnh
xc t cc gi tr quan trc c trong qu kh th tin trnh
ngu nhin c gi l khng xc nh.
22
(PT 2-73)
FX ( x1 ; t1 ) c gi l hm bc mt ca X (t ) . Hm mt xc
sut bc mt tng ng c xc nh:
f X ( x1 ; t1 ) =
FX ( x1 ; t1 )
;
x1
(PT 2-74)
FX ( x1 , x2 ; t1 , t 2 ) = P{X (t1 ) x1 , X (t 2 ) x2 };
(PT 2-75)
Trong X 1 , X 2 .
Hm mt bc hai tng ng c xc nh:
f X ( x1 , x 2 ; t1 , t 2 ) =
2 FX ( x1 , x 2 ; t1 , t 2 )
;
x1x 2
(PT 2-76)
ngu
nhin
FX ( x1 , x 2 ,K , x n ; t1 , t 2 , K , t n ) = P{X (t1 ) x1 , X (t 2 ) x 2 , K , X (t n ) x n }
(PT 2-77)
Hm mt bc n tng ng l:
f X ( x1 , x 2 , K, x n ; t1 , t 2 , K t n ) =
n FX ( x1 , x 2 , K , x n ; t1 , t 2 , K , t n )
;
x1x 2 K x n
(PT 2-78)
2.5.2. Cc trung bnh thng k
K vng (mean) ca mt tin trnh ngu nhin X (t ) c xc nh:
E [X (t )] = m X (t ) =
xf
( x; t )dx ;
(PT 2-79)
23
gi tr c nh t.
Hm t tng quan (autocorrelation) ca X (t ) c xc nh:
R XX (t1 , t 2 ) = E [X (t1 ) X (t 2 )] =
++
x x
1 2
f X ( x1 , x 2 ; t1 , t 2 )dx1 dx 2 ;
(PT 2-80)
Hm t hip bin (autocovariance) ca X (t ) c xc nh:
(PT 2-81)
Hm m men chung bc n ca X (t ) c xc nh:
+
E [X (t1 ) L X (t 2 )] = L x1 L x n f X ( x1 , K, x n ; t1 , K, t n )dx1 L dx n ;
(PT 2-82)
2.5.3. Tnh dng
Tnh dng cm nhn cht
nh ngha 2-19: Mt tin trnh ngu nhin X (t ) c gi l c
(PT 2-83)
T
phng
trnh
(PT
2-83),
chng
ta
thy
rng
f X ( x1 ; t1 ) = f X ( x1 ; t1 + c); c . Do vy, hm mt bc mt ca tin
trnh dng X (t ) l c lp vi t. Do :
f X ( x1 ; t ) = f X ( x1 ) ;
(PT 2-84)
24
Tng t, f X ( x1 , x 2 ; t1 , t 2 ) = f X ( x1 , x 2 ; t1 + c, t 2 + c); c . t c = t1 ,
chng ta c:
f X ( x1 , x 2 ; t1 , t 2 ) = f X ( x1 , x 2 ;0, t 2 t1 ) ;
(PT 2-85)
(PT 2-86)
(PT 2-87)
(PT 2-88)
(PT 2-90)
(PT 2-91)
25
1
x(t )dt ;
T T
T 72
x = x(t ) = lim
(PT 2-92)
1
x(t ) x(t + )dt ;
T T
T 72
(PT 2-93)
1
E [x ] = lim
E [x (t )]dt = m X ;
T T
T 72
E [R XX ( )] = lim
(PT 2-94)
T /2
1
E [x (t ) x (t + )]dt = R XX ( ) ;
T T
T 72
(PT 2-95)
(PT 2-96)
Trong thc t, vic kim tra tnh ergodic ca mt tn trnh ngu nhin l
rt kh khn. Mt gi thit hp l cho vic phn tch phn ln cc tn
hiu thng tin cc dng sng ngu nhin ca chng c tnh ergodic
theo k vng v theo t tng quan.
2.6. Cc tin trnh ngu nhin thng gp
2.6.1. Tin trnh m
Tin trnh m (counting process)
nh ngha 2-21: Mt tin trnh ngu nhin {N (t ), t 0} c
27
2.7. Kt lun
Chng 2 tp trung gii thiu nhng khi nim c bn v xc sut,
bin ngu nhin v cc hm xc sut, cc phn b xc sut c bn,
tng quan v tin trnh ngu nhin v mt s tin trnh ngu nhin ph
bin nh Poisson, Gauss, Markov. y c th c xem nh l
nhng kin thc c bn, nhm h tr bn c trong vic hc v tm
hiu nhng chng tip theo.
28
30
C: S trm phc v, C ; C 1
31
Th d 3-2:
Hng i c ln l K.
S lng yu cu i vo h thng l .
v TS .
p{t q < t} .
32
Xc sut h thng c i yu cu pi .
33
N S (t ) : s yu cu ang c phc v.
khi n lt n c phc v.
N (t ) = N S (t ) + N q (t ) ;
(PT 3-1)
T= Tq + TS ;
(PT 3-2)
Mt khc, nu gi:
;
c
(PT 3-3)
34
0 1;
(PT 3-4)
3.3.2. nh l Little
Xt mt mng ng bt k vi cc tham s sau:
t =
t
t
(PT 3-6)
Tt =
T ;
(PT 3-7)
i =1 i
Gi s cc gii hn sau y tn ti :
N = lim N t
t
; = lim t
t
T = lim Tt ;
t
(PT 3-8)
35
Chng minh cng thc Little bng phng php hnh hc theo nh
minh ha di y.
S t = N (t )dt = [ (t ) (t )]dt ;
0
(PT 3-9)
S t = 1 Ti ;
(PT 3-10)
i =1
i =1
N (t )dt = Ti
(PT 3-11)
t
Ti
t
1 t
i =1
Hay: N (t )dt =
t o
t t
(PT 3-12)
tc l :
N t = t Tt ;
(PT 3-13)
Nu gii hn sau y tn ti :
N = lim N t
t
; = lim t
t
N = T ;
(PT 3-15)
36
(PT 3-16)
N q = Tq ;
(PT 3-17)
1
v theo (PT 3-16) v
c
(PT 3-17):
N
1 Nq
+
;
(PT 3-18)
+ Nq ;
c
(PT 3-19)
Hay:
N=
N = + Nq
(PT 3-20)
37
(a)
(b)
Hnh 3-5.H thng hng i c quan st vi hai ranh gii khc nhau:
(a) Hng i v cc trm phc v; (b) Hng i
3.4. Hng i M/M/1/1
K t phn ny, chng ta ln lt kho st c tnh hot ng ca cc
h thng hng i t n gin n phc tp, vi cc c tnh thng k
cho trc ca tin trnh n v tin trnh phc v.
38
Mt trm phc v
39
p 0 (t + dt ) = p 0 (t ) p 0i (t , t + dt ) +
+ p1 (t ) p1o (t , t + dt ) + p 0 (t ) p1i (t , t + dt ) p1o (t , t + dt )
(PT 3-21)
p 0i (t , t + dt ) = 1 dt ;
(PT 3-22)
p1o (t , t + dt ) = dt ;
(PT 3-23)
p1i (t , t + dt ) = dt ;
(PT 3-24)
p 0 (t + dt ) = p 0 (t )(1 dt ) + p1 (t ) dt
Hoc:
p 0 (t + dt ) p 0 (t )
= p 0 (t ) + p1 (t ) ;
dt
(PT 3-26)
Cui cng c:
dp 0 (t )
= p 0 (t ) + p1 (t ) ;
dt
(PT 3-27)
(PT 3-28)
p 0 = p1 ;
(PT 3-29)
Mt khc:
p 0 + p1 = 1 ;
(PT 3-30)
p =
0 +
p1 =
+
(PT 3-31)
pB =
(PT 3-32)
N = np n = p1 =
n =0
(PT 3-33)
Mt trm phc v
p n (t + dt ) =
p n (t + dt ) =
pn 1 (t )dt (1 dt ) +
+ p n (t )(1 dt )(1 dt ) +
+ p n (t )dtdt +
+ p n +1 (t )(1 dt ) dt ;
(PT 3-34)
Hay:
dp n (t )
= p n 1 (t ) ( + ) p n (t ) + p n +1 (t ) ;
dt
(PT 3-36)
dp 0 (t )
= p 0 (t ) + p1 (t ) ;
dt
(PT 3-37)
42
(PT 3-38)
p1 = p0
( + ) p n = p n 1 + p n +1
(PT 3-39)
p n = p 0 = n p 0 ;
(PT 3-40)
p
n =0
= 1 ta c:
n =0
p0 = 1 ;
(PT 3-41)
Hay
p0 =
=
n
1
= 1 ;
1 (1 )
(PT 3-42)
n=0
Do :
p n = n (1 ) ;
(PT 3-43)
n =0
n =0
N = np n = (1 ) n n =
Nh vy:
N=
(PT 3-44)
n =1
n =1
n =1
n =0
n =0
N q = (n 1) p n = np n p n = np n ( p n p 0 ) =
= N (1 p 0 ) ;
(PT 3-45)
T (PT-3-45) c:
Nq =
2
;
1
(PT 3-46)
(PT 3-47)
Nu mt yu cu mi n h thng v bt gp n yu cu
trong h thng th yu cu s phi i n khong thi gian phc
v vi phn b m trc khi n c phc v.
t q = S1 + S 2 + ... + S n ;
(PT 3-48)
p (t q t | N = n) =
0
( x) n 1 x
e dx ;
(n 1)!
(PT 3-49)
Nh vy ta c:
p (0 < t q t ) = p (t q t | N = n) p n =
n =1
=
n =1 0
( x) n 1 x
(x ) n 1
e dx.(1 ) n = e x (1 )
dx =
(n 1)!
n =1 ( n 1)!
0
= e x (1 )e x dx =
0
t
( )e ( ) x dx =
0
= [1 e ( )t ] ;
44
Do :
p (0 < t q t ) = [1 e ( )t ] ;
(PT 3-50)
Hay:
p (t q t ) = 1 e ( ) t ;
(PT 3-51)
T=
1
;
1
(PT 3-52)
Tq =
1
=
;
1 1
1
Nq
(PT 3-53)
Nhn xt:
Tq = t
0
d
p (t q t )dt ;
dt
(PT 3-54)
(PT 3-55)
Mt trm phc v.
46
Hng i c ln K phn t. Nh vy nu mt yu cu i vo
hng i m trong hng i c K yu cu khc th yu cu
mi n s b t chi.
p 0 = p1
p n 1 + p n +1 = ( + ) p n ; n {1,..., K 1}
p = p ; n = K
K 1
K
(PT 3-56)
(PT 3-57)
Mt khc ta cng c:
K
p
n =0
= 1;
T tnh ra c:
p0 =
1
K
=
n
1
;
1 K +1
(PT 3-58)
n =0
pn =
1
n;
K +1
1
(PT 3-59)
47
1
K ; n {0,..., K }
1 K +1
(PT 3-60)
Ta c:
K
N = np n =
n =1
K
1
n n ;
1 K +1 n =1
(PT 3-61)
f ( ) = n =
n =0
1 K +1
;
1
(PT 3-62)
f ( ) = n n 1 =
n =1
1 ( K + 1) K + K K +1
;
(1 ) 2
(PT 3-63)
( K + 1)
K +1
;
1 K +1
(PT 3-64)
Do :
pn =
1
; n {0,1,..., K }
K +1
(PT 3-65)
N = np n =
n =1
K
;
2
(PT 3-66)
n =1
n =1
n =1
N q = (n 1) p n = np n p n = N (1 p 0 ) ; (PT 3-67)
48
Cui cng ta c:
Nq =
( K + 1) K +1
1
;
+
1
1 K +1
(PT 3-68)
pn
pn
; (PT 3-69)
=
P (n K 1) 1 p K
Do :
qn =
(1 ) n
; n = 0,1,..., K 1 ;
1 K
(PT 3-70)
(PT 3-71)
p (t q t ) = p (t q = 0) + p(t q t | N = n)q n ;
(PT 3-72)
n =1
K 1
p (Tq t ) = q 0 + q n
n =1
( x) n 1
(n 1)!
e x dx ;
x n 1 x
p (t q t ) = q n
e dx ;
(n 1)!
n =0
0
K 1
K 1
x n 1
(n 1)! e
n =0
49
dx ;
(PT 3-73)
K 1
d
( t ) n 1 t
Tq = t p (t q t )dt = q n t
e dt ;
dt
(n 1)!
n =0
0
0
(PT 3-74)
Ch rng:
1
n!
= n;
x n e x dx =
(n 1)! 0
(n 1)!
(PT 3-75)
K 1
nqn =
n=0
1
1 pK
K 1
np
n =0
1
( N Kp K ) ;
1 pK
(PT 3-76)
Cui cng ta c:
Tq =
1
Nq ;
1 pK
(PT 3-77)
Nhn xt: Nu gi a (1 p K ) l tc yu cu i vo
hng i th (PT 3-77) tun theo nh l Little:
Tq =
Nq
(PT 3-78)
T=
1
N
N =
;
1 pK
a
(PT 3-79)
C c trm phc v.
H thng
51
52
55
56
if (not(visited [node])
visited [node]<-TRUE
visit [node]
for each(neighbor, n_adj_list[node])
DfsLoop (neighbor)
visited <-FALSE
DfsLoop (root)
Ch rng cu lnh
Visited <-FALSE
khi to ton b cc phn t mng c duyt bng FALSE. Cng
cn ch rng th tc DfsLoop c nh ngha bn trong th tc
Dfs nn DfsLoop c th truy cp ti visited v n_adj_list (Lu
rng cch d nht c cc gi m cho cc hm c dng hm Dfs
trn l trc tin hy c thn ca hm chnh ri quay tr li c thn
ca cc hm nhng nh hm DfsLoop).
Ch rng trong qu trnh duyt chng ta ngm kim tra tt c cc
cnh trong graph, mt ln cho mi u cui ca mi cnh. C th, vi
mi cnh (i, j) ca graph th j l mt phn t ca n_adj_list[i] v i
l mt thnh phn trong n_adj_list[j]. Thc t, c th a chnh
cc cnh vo cc danh sch k cn ca n v sau tm nt
im cui khc ca cnh bng hm:
node <- OtherEnd(node1, edge)
Hm ny s tr v mt im cui ca edge khc vi node1. iu
lm phc tp qu trnh thc hin i cht. C th d dng thy rng
phc tp ca cc thut ton duyt cy ny bng O(E), vi E l s
lng cnh trong graph.
By gi chng ta c th tm c cc thnh phn lin thng ca mt
graph v hng bng cch duyt mi thnh phn. Chng ta s nh
du mi nt bng mt ch s thnh phn khi chng ta tin hnh. Cc
bin n_component s theo di bt k thnh phn no m chng ta i
ti
void <- LabelComponent (n, n_adj_list):
dcl n_component_number [n],
n_adj_list[n,list]
void <- Visit [node]
n_component_number [node]<- ncomponents
n_component_number<-0
ncomponent<-0
for each(node, node_set)
if (n_component_number [node]=0)
ncomponent +=1
Dfs (node, n_adj_list)
61
Cc yu cu cc kh nng sau:
list<-Greedy (properties)
dcl properties [list, list]
candidate_set[list]
solution[list]
void<-GreedyLoop ( *candidate_set,
*solution)
dcl test_set[list],solution[list],
candidate_set[list]
element <SelectBestElement(candidate_set)
test_set <-Append(element,solution)
if(Test(test_set))
solution<-test_set
candidate_set<Delete(element,candidate_set)
if(not(Empty(candidate_set)))
Greedy_loop(*candidate_set,
*solution)
candidate_set<-ElementsOf(properties)
solution<-
if(!(Empty(element_set)))
GreedyLoop(*candidate_set, *solution)
return(solution)
By gi ta c th xem xt su hn cc cu lnh ca thut ton "hu
n". Cc cu lnh ca thut ton hi kh hiu v chng da trn nh
ngha ca hai hm, Test v SelestBestElement (l hm kim tra
tnh kh thi v nh gi cc tp). Chng ta cng gi s rng c mt
cu trc properties, l mt danh sch ca cc danh sch cha tt c
cc thng tin cn thit kim tra v nh gi tt c cc tp. Mt danh
sch ca cc danh sch n gin ch l mt danh sch lin kt, m
mi thnh vin ca n l mt danh sch. Thm ch cu trc c th
c lng vo nhau su hn, ngha l c cc danh sch nm bn
trong cc danh sch nm bn trong cc danh sch. Cu trc nh vy
tng i ph bin v c th c s dng biu din hu ht cc
kiu thng tin. C th lu gi di, loi lin kt, dung lng, hoc
a ch. Bn thn cc mc thng tin ny c th l mt cu trc phc
tp; ngha l cu trc c th lu gi gi v cc dung lng ca mt
vi loi knh khc nhau cho mi lin kt.
65
66
Hnh 4.3.
Gi s c mt rng F1 c p cnh. Rng {2,4} l mt v d vi p=2, v
n c biu din bng nt t trong hnh 4.4. Khi xt mt rng
khc F2 c p+1 cnh. C hai trng hp c xt.
Trng hp 1: F2 i ti mt nt n, nhng F1 khng i ti nt . Mt
v d ca trng hp ny l rng {1, 4, 6}, rng ny i ti E cn F1 th
khng. Trong trng hp ny, c th to ra rng {2, 4, 6} bng cch
thm cnh 6 vo rng {2,4}.
Trng hp 2: F2 ch i ti cc nt m F1 i ti. Mt v d ca trng
hp ny l rng {1. 4. 5}. Xt S, mt tp cc nt m F1 i ti. Cho
rng c k nt trong tp S. V F1 l mt rng nn mi cnh trong F1
gim s lng thnh phn trong S i mt, do tng s lng thnh
phn l k-p. Tng t, F2 to ra k-(p+1) thnh phn t S (s lng
thnh phn va ni b hn vi s lng thnh phn ca F1). V vy,
mt cnh tn ti trong F2 m cc im cui ca n nm cc thnh
phn khc nhau trong F1 th c th thm cnh vo F1 m khng
to ra mt chu trnh. Cnh 3 l mt cnh c tnh cht trong v d
ny (cnh 1 v 5 cng l nhng cnh nh vy).
V th, chng ta thy rng nu tnh cht 1 v 2 c tho mn th mt
thut ton hu n c th tm c mt li gii ti u cho c bi ton
cy bc cu ti thiu ln bi ton cy bc cu ti a. Ch rng mt
cy bc cu l mt rng c s cnh ti a N-1 cnh vi N l s nt
trong mng. Sau y chng ta s xt bi ton ti thiu.
68
Gi s rng n= 5 v gi tr ca mt vector l
31, 19, 42, 66, 27
VectorSort s tr v th t sp xp nh sau:
2, 5, 1, 3, 4
Test nhn mt danh sch cc cnh v tr v gi tr TRUE nu cc
cnh khng cha mt chu trnh. V Test c gi cho mi nt, s
hiu qu ca ton b thut ton tu thuc vo tnh hiu qu ca vic
thc hin Test. Nu mi khi cc cnh c thm vo cy, chng ta
theo di c cc nt ca cnh thuc cc thnh phn no th Test tr
nn n gin; n gin ch l vic kim tra xem cc nt cui ca
cc cnh ang c xt c cng mt thnh phn khng. Nu cng,
cnh s to ra mt chu trnh. Ngc li, cnh khng to nn chu
trnh.
Tip l xem xt vic duy tr cu trc thnh phn. C mt s cch
tip cn. Mt trong cc cch l mi nt duy tr mt con tr n
mt nt khc trong cng mt thnh phn v c mt nt mi thnh
phn gi l nt gc ca thnh phn th tr vo chnh n. V th lc u,
bn thn mi nt l mt thnh phn v n tr vo chnh n. Khi mt
cnh c thm vo gia hai nt i v j, tr i ti j. Sau , khi mt cnh
c thm vo gia mt nt i trong mt thnh phn c nt gc l k v
mt nt j trong mt thnh phn c nt gc l l th tr k ti l. V vy,
chng ta c th kim tra mt cnh bng cch da vo cc con tr t
cc nt cui ca n v xem rng chng c dn n cng mt ni hay
69
khng. Chui cc con tr cng ngn, vic kim tra cng d dng.
Nhm gi cho cc chui cc con tr ngn, Tarjan gi nn lm gn
cc chui khi chng c duyt trong qu trnh kim tra. C th, ng
gi mt hm FindComponent c to ra nh sau:
index <- FindComponent(node , *next)
dcl next[]
p=next[node]
q=next[p]
while ( p!=q )
next[node]= q
node = q
p=next[node]
q=next[p]
return (p)
FindComponent tr v nt gc ca thnh phn cha node. Hm ny
cng iu chnh next , nt hng v nt gc cha nt . c bit,
hm ny iu chnh next hng ti im tng cao hn. Tarjan ch ra
rng, bng cch , th lm gn ng i ti nt gc mt cc hon
ton cn hn l khng lm gn mt cht no c v ton b kt qu
trong vic tm kim v cp nht next ch ln hn so vi O(n+m) mt
cht vi n l s lng nt v m l s lng cnh c kim tra.
V d 4.3:
0(-)
0(-)
0(-)
0(-)
0(-)
2(A)
2(A)
5(B)
E 100 7(A)
2(A)
6(C)
2(A)
6(C)
6(C) 6(C)
V d 4.4:
76
{(A, B), (A, C), (A, G), (C, D), (C, E), (E, F)}
l mt cy. Bt k tp con no ca tp ny, k c tp y hay tp rng,
u l mt rng.
ij
sau thit lp
dij lij
j l nt k cn ca i
79
81
Bng 4.2
Nt init. A(0) C(1) B(4) D(5) F(9) E(10)
A
0(-) 0(-)
0(-)
0(-)
0(-)
0(-)
0(-)
Bng 4.3
Nt
A
init.
A(0)
B(5)
C(1)
E(11)
D(6)
B (-)
C (-)
1(A)
D (-)
(-)
6(B)
6(B)
6(B)
6(B)
E (-)
(-)
11(B)
11(B)
11(B)
11(B)
F (-)
(-)
(-)
(-)
13(E)
10(D)
B(4)
F(10)
E(10)
D(5)
F(9)
4(C)
4(C)
1(A) D 1(A)
1(A)
1(A)
1(A)
5(B)
5(B)
5(B)
5(B)
5(B)
10(B)
10(B)
10(B)
10(B)
10(B)
10(D)
10(D)
10(D)
9(D)
9(D)
85
Xt graph trong hnh 4.7. Mng cha khong cch ban u v mng
cha nt trung gian cui cng ca mi ng i c cho trc nh
sau:
n
sp_dist
pred
86
sp_dist
pred
pred
sp_dist
Cc thut ton tm i ngn nht m rng
else
pred[k, m]<- pred[j, m]
return ( sp_dist , pred )
Thut ton tr v sp_dist v pred, ng i ngn nht c cp
nht v cc dy cha nt trung gian cui cng ca mi ng i ngn
nht. Hm c xy dng trong on gi m trn c u vo l dy
cha cc di ca cc lin kt hin c dist , im cui (i v j) ca
lin kt mi c lm ngn v di mi ca lin kt c lm ngn
length . l danh sch rng.
C th thy rng, trong trng hp xu nht phc tp ca th tc
trn l O(n2) v trong th tc trn c hai vng lp c phc tp trong
trng hp xu nht l O(n). Trong thc t, trng hp c hai tp u
c phc tp l O(n) l t khi gp v v th phc tp thc t ca
thut ton thng thp hn nhiu.
di cung tng
By gi xt trng hp mt lin kt (i,j) c ko di hoc b loi b
khi graph (trong trng hp ny di ca lin kt c xem l v
cng ln). Nu (i, j) khng phi l mt phn ca ng i ngn nht t
k ti m trc khi di lin kt (i,j) c tng ln th sau lin kt
ny chc chn cng khng thuc ng i ngn nht t k ti m. V
vy cn kim tra cp (k, m) c ng i ngn nht tho mn iu kin:
dkm = dki + lij + djm
Ch rng, nu lij khng phi l mt phn ca ng i ngn nht t i
ti j th khng c thay i no xy ra. Thut ton ny c th c vit
nh sau:
(array[n,n], array[n,n]) <sp_increase(n,i,j,*dist,length,
sp_dist,pred )
dcl dist[n,n], pred[n,n], pairs[set]
if(length > sp_dist[i,j])
dist[i,j] <- length
return( sp_dist, pred )
pairs <-
for each (k, n)
for each (m, n)
if(sp_dist[k,m]=
sp_dist[k,i] + dist[i,j]+ sp_dist[i,m])
append( (k,m), pairs )
sp_dist[k,m] <- dist[k,m]
dist[i,j] <- length
89
for each (a , n )
for each ((k,m) , pairs )
if(sp_dist[k,m] > sp_dist[k,a]+
sp_dist[a,m])
sp_dist[k,m]<- sp_dist[k,a]+
sp_dist[a,m]
pred[k, m]<- pred[a, m]
return ( sp_dist , pred )
Trong trng hp ny, pairs l mt tp cc cp nt cn phi c
kim tra. V vy, cc phn t ca pairs l cc cp nt. Thut ton ny
c cc tham s vo ra ging nh thut ton cp nht cc ng i
ngn nht khi gim di mt cung.
V bn cht thut ton ny ging nh thut ton Floyd, ch khc nhau
ch thut ton ny ch hot ng vi cc cp c chn cha lin
kt b thay i trc khi lin kt ny c ko di.
phc tp ca th tc ny l O(np) vi p l s cp nt trong tp
pairs . Trong trng hp xu nht, tp pairs c th cha n(n-1)
cp nt v v th phc tp l O(n3), ging vi phc tp ca thut
ton Floyd. Tuy nhin trong thc t p thng rt b.
Hnh 4.9
V d 4.10: (v d cho trng hp di cung gim)
i vi tt c cc nt khc. V vy
setm = C, E
Tng t,
setk = A, B
Bng 4.4
A
By gi chng ta xt cc cp nt
(k, m) vi k setk v m setm, (ngha l cc cp (A,C), (A, E), (B, C)
v (B, E)). Chng ta thy rng tt c cc cp tr cp (A, C) u b thay
i nn chng ta cp nht cc ng i ngn nht v nt trung gian
cui cng ca mi ng i ngn nht gia cc cp nt ny. Ma trn
ng i ngn nht by gi c biu din trong bng 4.3
Bng 4.5
A
91
Flow Network
Cho mt t-p mng v mt yu cu duy nht t mt nt ngun s ti
mt nt ch d, yu cu t ra y l tm mt dng lung kh thi,
ngha l tm mt tp cc lung lin kt tho mn yu cu duy nht ni
trn m khng c bt k lung ca lin kt no c gi tr vt qu dung
lng ca chnh lin kt . T-p mng c biu din di dng
tp cc lin kt lij, i cng vi cc dung lng cij. V trong thc t cc
mng l cc mng tha nn c th lu tr topo mng di dng cc
danh sch hin v khai thc cc tnh cht ca mng tha. Ngoi ra c
th lu tr cc dung lng di dng mt ma trn, trong cij c
gn bng 0 khi lij khng tn ti.
Bi ton v th tr thnh bi ton tm mt hoc nhiu ng i t s ti
d ri gi lung i qua cc ng ny ng thi m bo yu cu
cho. Tng cc lung bng vi gi tr yu cu v tng lung trn mi
lin kt khng vt qu dung lng ca lin kt.
C mt s dng ca bi ton ny. Dng u tin, nh ni trn, l
bi ton tm cc lung tho mn mt yu cu no . Mt dng khc
l bi ton ti a ho gi tr lung t s ti d ng thi tho mn iu
kin dung lng. Dng cui cng l khi chng ta bit c gi trn
mt n v lung dnh cho mi lin kt, bi ton t ra l tm mt lung
tho mn yu cu cho trc c gi ti thiu. Cc li gii cho cc bi
ton ny lin h cht ch vi nhau v s c xem xt su hn. Hn
na, li gii cho bi ton ny l c s cho vic gii quyt cc bi ton
phc tp hn gi l bi ton lung a hng, bi ton c rt nhiu yu
92
ij
ij
ij
f ji = rij ; i = s
f ji = rij ; i = d
j
f ji = 0; i s
j
f ij cij
f ij 0; i, j
Thut ton Ford-Fulkerson
Thut ton tt nht cho vic gii bi ton lung n hng l thut ton
Ford-Fulkerson. Thut ton ny ch ra cc ng i t ngun s ti ch
d v gi cc lung ln nht c th qua mi ng m khng vi phm
gii hn dung lng. Thc ra thut ton c iu khin nhm ch ra
cc ng i v in y chng bng cc lung.
mxf[j],pred[j],sign[j] <mxflow,i,+
else if (
flow[j,i] > 0)
mxflow <- min(mxf[i],flow[j,i])
mxf[j],pred[j],sign[j] <mxflow,i,Push(scan_queue, j)
void <-Backtrack( )
n <- d
tot_flow <- tot_flow + mxf[d]
while ( n != s )
p <- pred[n]
if (sign[n] = + )
flow[p,n]<- flow[p,n] +
mxf[d]
else
flow[n,p]<- flow[n,p] +
mxf[d]
tot_flow <- 0
flow <- 0
flag <- TRUE
while ( flag )
pred <- U
Initialize_queue ( scan_queue )
Push( scan_queue , s )
mxf[s] <-INFINITY
while( !(Empty(scan_queue) &&(pred[d] = U) )
i<- Pop(scan_queue)
Scan( i )
if( pred[d] != U )
Backtrack( )
flag <- (pred[d] !=U)
return( tot_flow )
Trong trng hp n gin nht, thut ton Ford-Fulkerson c vit
nh trong on gi m trn vi n l s nt, m l s lin kt. Mi nt c
mt nhn:
(maxflow, pred, sign)
Nhn ny biu din gi tr lung ln nht c th trn ng i hin
hnh tnh cho ti thi im ang xt, nt lin trc ca nt ang xt
trong ng i hin hnh v chiu ca lung i qua lin kt. Gi tr
tng trng U l khng xc nh; gi tr thc s ca U nn c phn
bit vi bt k gi tr hp l no khc.
95
98
99
101
102
A, tc BA Kbps) v t C n D (theo ng C Z X D, tc
CD Kbps).
Gi thit h thng mng khng c kim sot, ngha l tt c cc gi
tin u c th truy cp ti nguyn ca mng, v b m ti cc nt X,
Y v Z c th c s dng bi bt k gi tin no. Gi thit mi trng
truyn khng c li, lc ny cc gi tin khng b sai nhng vn c th
phi c truyn li nu n b nt mng hy do khng cn dung lng
b m lu gi tin tm thi trc khi x l. Gi thit khi gi tin b
mt v khng c lu trong b m th nt pht n s thc hin pht
li nhm m bo vic truyn tin tin cy.
minh ha cho vic iu khin trong mng, ta tm hiu cc trng
hp sau:
1)
Trng hp 1: BA = 7 Kbps v CD = 0 .
Chng tc nghn lin quan n vic kim sot thng tin trn ton
mng, trong khi iu khin lung l vic kim sot thng tin gia hai
u cui c th. Hai k thut ny c im tng ng l phi gii hn
lu lng thng tin nhm trnh kh nng qu ti ca h thng ch.
Do tnh cht gn kt ca hai khi nim ny, a phn cc ti liu u s
dng ln (hoc kt hp) cc khi nim iu khin lung (flow control)
v iu khin tc nghn (congestion control).
V l do , trong ti liu ny, chng ti s dng khi nim iu khin
lung din t c hai phm tr. Trong nhng trng hp c th cn
phi phn bit lm r hai khi nim, chng ti s c nhng ch thch r
rng.
6.1.4. Nhim v ch yu ca iu khin lung v chng tc nghn
iu khin lung v chng tc nghn c s dng khi c s gii hn
v ti nguyn (thng l bng thng) gia im truy nhp thng tin.
Khi nim im truy nhp y c th l gia hai ngi s dng,
gia ngi s dng vi im truy nhp mng hay gia hai thit b
mng
Mc ch chnh ca vic s dng iu khin lung v chng tc nghn
trong mng l nhm:
Cc c ch cp pht b m
Cc c ch ca s
bng.
6.2.2. Tnh cng bng v mt bng truyn
nh ngha Tnh cng bng v mt bng truyn th hin
gia cc nt c tc 1Mbps.
108
D
1
Kt ni 1
10
1
E
Hnh: Minh ha v s khng cng bng khi s dng b m
Hnh v di minh ha hin tng tc nghn xy ra do trn b m.
109
Yu cu pha pht truyn li: pha thu sau khi kim tra v pht
hin c li s yu cu pha pht truyn li thng tin.
111
Pha thu khi nhn khung thng tin v pht hin sai s gi bo
sai li cho pha pht. Pha pht sau khi nhn c bo sai s
thc hin pht li khung thng tin.
Packet 1 CRC
Thi gian
ACK
Packet 1 CRC
NAK
Pht hin
khung 1 sai
Nhn ng
khung 0
Nhn ng
khung 1
trnh tnh trng pha pht khng pht thng tin do ch ACK (hoc
NAK) t pha thu, mi khi pht mt khung thng tin, pha pht s t
mt ng h m ngc (time-out) cho khung thng tin . Ht
khong thi gian time-out, nu pha pht ko nhn c thng tin g t
pha thu th n s ch ng pht li khung thng tin b time-out.
6)
Cu hi: Trong trng hp pha pht phi pht li khung thng tin
2)
3)
5)
113
l t l gia thi gian pha pht cn pht xong lng thng tin
trn tng thi gian cn thit truyn lng thng tin .
Tng thi gian cn thit y bao gm thi gian tr khi truyn tn hiu
t pht sang thu (v ngc li) cng nh thi gian x l thng tin v
thi gian ch bo nhn t pha thu.
tnh hiu sut tnh cho phng php ARQ dng v i, ngi ta
tnh cho mt khung thng tin in hnh, hiu sut ca c mt phin
truyn cho nhiu khung thng tin v bn cht chnh bng hiu sut khi
tnh cho mt khung (v c t s v mu s cng nhn vi mt h s t
l l s khung thng tin c truyn)
Trng hp 1: Gi thit mi trng khng c li, thng tin t truyn
Hnh: Gin thi gian khi truyn tin t pht sang thu, khng c li
Trong :
Ta c:
TF
1
T
=
vi a = D
TF + 2TD 1 + 2a
TF
Trong :
d
vi d l khong cch gia hai trm pht v thu; v l vn tc
v
truyn sng trong mi trng. v = 3.108 m/s khi truyn trong khng
gian t do.
TD =
L
vi L l kch thc khung thng tin v R l tc ng
R
truyn
TF =
Rd
, a cng nh th hiu sut truyn cng ln
vL
Khi a =
a=
Rd 56.103.36.106
=
= 1, 68 ,
3.108.4.103
vL
Do hiu sut
1
1
=
= 22,94% .
1 + 2a 1 + 2.1, 68
a=
1
1
Rd 10.106.100
=
= 98, 04%
=
= 0, 01 , hiu sut =
8
1 + 2a 1 + 2.0, 01
2.10 .500
vL
pha thu nhn c bit 0 khi pha pht truyn bit 1 (hoc ngc
li).
Xc sut li cng ln th mi trng truyn cng khng tt, khi p = 0 th
mi trng truyn khng c li (l tng); p = 1 l khi mi trng
truyn lun lun c li (s khng dng truyn tin).
Khi 0,5 < p < 1 tc l kh nng pha thu nhn c thng tin c li s
ln hn nhn c thng tin ng, trong trng hp ny, ch cn o
bit lung thng tin thu c l ta c th chuyn thnh trng hp 0 < p
< 0,5. V l do , trong l thuyt thng tin, ngi ta ch tm hiu cc
mi trng truyn dn c xc sut li 0 p 0,5.
Nh trn trnh by, khi truyn thng tin trong mi trng c li, c
th xy ra trng hp phi truyn li khung thng tin (do li), do ,
hiu sut trong trng hp ny nh hn trng hp l tng. Gi NR
l s khung thng tin phi truyn cho n khi ng ( 1 NR ), khi
y, hiu sut ca trng hp khng l tng s l 'reality =
ideal
. Vn
NR
y l tnh c gi tr NR. n gin ha, ta gi thit ACK v
NAK khng b li. Ta thy, vi xc sut li l p th:
Vy:
N R = ip i 1 (1 p ) =
i =1
1
.
1 p
116
reality =
ideal
NR
1 p
1 + 2a
Nhn xt
Nh phn trn trnh by, hiu sut ca phng php truyn theo
Rd
c ch dng v i ph thuc vo h s a =
, a cng nh th hiu
vL
sut cng ln. Ta thy a s nh khi v.L ln hoc khi R.d nh.
118
2)
3)
4)
121
Hnh 5-9(a): Gin thi gian phng php ca s trt, W > 2a+1
Bit u khung 1
t0
t0 + a
Khung [a]
...
Khung 2
Khung 1
Khung [a+1]
...
Khung 3
Khung 2
t0 + a + 1 A
B
Bit u ACK2
Khung N
t0 + 2a + 1 A
...
Khung [a+2]
B
ACK2
Hnh 5-9(b): Gin thi gian phng php ca s trt, W < 2a+1
Hiu sut ca phng php ny ph thuc vo kch thc ca s W
v gi tr a. Trn hnh 1-9(a) v 1-9(b), pha pht A thc hin truyn
cc khung ti thi im t0 (bit u tin ca khung u tin). Bit u tin
ny n pha thu B ti thi im t0+a. Ton b khung u tin n B ti
thi im t0+a+1. Gi thit b qua thi gian x l, nh vy B cng c
th gi bo nhn ACK ti thi im t0+a+1. Trong trng hp kch
thc bo nhn nh th y cng l thi im ton b bo nhn ACK
ri khi pha thu. Bo nhn ny n pha pht A ti thi im t0+2a+1.
Gi thit pha pht lun c d liu c th truyn lin tc, khi y c
hai trng hp xy ra.
window =
2)
W
khi W < 2a+1 v window = 1 khi W 2a + 1
2a + 1
Go back N =
window
NR
thnh cng.
Vi trng hp Go-back-N, mi khi c li xy ra, pha pht s phi
pht li K khung (vic xc nh K s c tnh phn sau).
Xc sut khung thng tin c truyn n ln th i th ng
i =1
i =1
N R = f (i ). p i 1 (1 p ) = [ (1-K)+Ki ] p i 1 (1 p )
i =1
i =1
N R = (1 K ) p i 1 (1 p ) + K ip i 1 (1 p )
S dng cc kt qu sau:
r = r
i
i =0
i 1
i =1
1
1 r
V:
i.r
i =1
i-1
1
(1 r ) 2
Ta c:
NR = 1 K +
K
1 p + Kp
=
1 p
1 p
Tnh K:
tnh hiu sut ca phng php Go-back-N, ta gi thit pha pht
lun c d liu pht (thc hin pht lin tc, tr khi phi dng li do
kch thc ca s = 0). Nh vy,
123
Hiu sut:
Go back N =
1 p
khi W 2a+1
1 + 2ap
Go back N =
W(1-p)
khi W < 2a+1
(2a+1)(1-p+Wp)
V:
Nhn xt
u im ca phng php ARQ Go-back-N l hiu sut cao hn so
vi phng php ARQ dng v i. Bn cnh , c ch x l thng
tin pha thu kh n gin v khng cn b m.
Tuy nhin, phng php ny c nhc im l cn truyn li qu
nhiu khung thng tin trong trng hp khung thng tin b li. khc
phc nhc im ny, ngi ta xut s dng c ch ARQ pht li
theo yu cu (Selective repeat ARQ)
6.2.7. Selective repeat ARQ
C ch hot ng
Tng t nh c ch pht li Go-back-N, c ch pht li c la chn
(selective repeat ARQ) cng da trn phng php ca s trt. Pha
pht c php pht ti a W khung thng tin (kch thc ca s)
trc khi nhn c bo nhn.
im khc bit gia selective repeat v Go-back-N nm cch hai
phng thc ny x l khung thng tin b li. Vi trng hp selective
repeat, pha pht s ch thc hin pht li khung thng tin b li m
khng cn pht li tt c cc khung khc sau khung li nu nh cc
khung khng b sai. C ch ny gip tng hiu qu s dng ng
truyn so vi c ch Go-back-N.
Hnh 5-10 m t nguyn tc hot ng ca selective repeat
124
Pha pht phi thc hin bo nhn cho tt c cc khung thng tin m
n nhn ng. Cc khung thng tin khng c bo nhn trong
khong thi gian time-out tng ng s c coi l b mt hoc li
Trong trng hp pha thu nhn c mt khung thng tin sai, pha
thu c th gi NAK bo li v yu cu truyn li khung (selective
reject)
Hiu sut ca c ch selective repeat ARQ
Tng t nh trng hp Go-back-N, hiu sut ca c ch selective
repeat cng c tnh cho hai trng hp: l tng v khng l tng
1)
Trng hp 1: l tng.
window =
W
khi W < 2a+1
2a + 1
window
selective repeat =
W (1 p )
khi W < 2a+1
2a + 1
127
128
Quy c:
2)
.W
i =1
.W
i =1
Ca s Hop-by-Hop
Trong c ch iu khin lung hop-by-hop, vic iu khin lung c
thc hin gia hai nt mng k tip trn ng truyn. Mi nt mng
c cc ca s c lp dng cho cc knh lm vic khc nhau (knh
o). Nguyn tc hot ng ca c ch ny tng t nh iu khin
lung kiu end-to-end nhng ch p dng cho mt chng. Trong
trng hp truyn thng tin c ly khng qu xa (vi a phn cc c
ch truyn tin, tr thng tin v tinh) kch thc ca s thng l 2
hoc 3 (do s nt mng thng tin phi i qua l 1, tr truyn sng
khng ng k).
Ta tm gi nt c thng tin cn truyn l nt ngun, nt c nhn thng
tin l nt ch (cc nt dc trn ng truyn, v c th bao gm c
pha pht v pha thu). Mc ch chnh ca iu khin lung hop-byhop l m bo b m ca nt ch khng b qu ti bi qu nhiu
gi tin n (nh trong trng hp end-to-end). iu ny c thc
hin vi vic nt ch gim tc gi ACK v cho nt ngun. Trong
trng hp tng qut, nt ch c b m vi dung lng W gi cho
mi lin kt v n s gi ACK cho nt ngun nu trong b m cn
ch trng. Nt ch s xa gi tin trong b m nu n c truyn
thnh cng n nt k tip trn ng truyn hay i ra khi mng.
Gi s c ba nt lin tip trn mng l (i-1, i, i+1). Gi s b m ca i
b y vi W gi tin. Nt i s gi ACK cho nt i-1 nu n gi
thnh cng mt gi tin cho nt i+1 (lc b m ca nt i mi c
gii phng v c ch cho mt gi tin). Nt i thc hin c iu ny
nu n nhn c mt ACK t nt i+1.
Trong trng hp c tc nghn xy ra ti mt nt no , b m ca
nt ny b y bi W gi tin v theo h qu, b m ca cc nt pha
trc nt cng s dn dn b y. Hin tng ny c gi l
backpressure v c trnh by trn hnh 1-14.
H
Hnh 5-14: C ch backpressure trong iu khin lung hop-by-hop
u im ca phng php hop-by-hop c trnh by trn hnh 1-14.
Trong trng hp xu nht, gi s tc nghn xy ra ti ng ni cui
cng ca tuyn truyn (ng ni th n) th tng s gi tin nm trong
mng s l n.W (b m ca mi nt s b in y bi W gi tin).
Trong trng hp ny, s lng gi tin s c phn b u b
m ca cc nt v do dung lng b m cn thit mi nt s
nh hn trng hp end-to-end rt nhiu (ch rng trong trng
hp end-to-end, nu tng s gi tin vo mng, hay kch thc ca s,
l n.W th dung lng b m tng ng mi nt cng phi l n.W).
131
132
133
Trong ng dng c th, ngi ta thng dng php cng khi tng v
dng php nhn khi gim.
Hnh di y trnh by nguyn tc tng gim kch thc ca s da
trn bit ch th tc nghn c gi i t nt mng c tc nghn. Trong
v d ny, kch thc ca s ban u l W = 4, vic kt lun v tnh
trng tc nghn c da trn cc nhm 7 bo nhn gi v. Trong 7
bo nhn , nu c ln hn hoc bng 4 bo nhn c bit ch th tc
nghn bng 1 th nt ngun coi l c tc nghn v gim kch thc
ca s, ngc li th nt ngun coi l khng c tc nghn v tng kch
thc ca s. Trong trng hp ny, vic gim c thc hin theo
php nhn vi = 0,7 v vic tng c thc hin theo php cng vi
I = 1.
135
Trong trng hp ny, chng ta gi thit t l li bit l kh nh v timeout xy ra hon ton l do tr ch khng phi do mt gi v li bit.
V d trn hnh di y minh ha c ch iu khin tc nghn theo
ca s thch ng da trn time-out. Trong v d ny, kch thc ca
s ban u Wmax = 4, v gi tr n = 2. Gi thit rng cc nt mng trung
gian c th gy ra tr hoc hy gi tin hoc bo nhn nu tc nghn
xy ra. iu ny dn n h qu l c time-out xy ra ti nt ngun
cho cc gi tin .
137
141
Kt ni 4 (tc 1)
Kt ni 1 (tc 2/3)
Gi thit: ng ni gia
cc nt u c tc l 1
Kt ni 5 (tc 1/3)
Kt ni 3 (tc 1/3)
Kt ni 2 (tc 1/3)
Khi to tt c cc kt ni vi tc = 0
Lin kt ny l im tc nghn i vi tt c cc kt ni s
dng lin kt ny
2)
3)
142
Bc 4: cc ny tt c cc kt ni u i qua cc lin kt
bo ha (im nghn) nn gii thut dng li y v kt qu
ca gii thut tm gi tr bng thng ti u chnh l bng thng
ca cc kt ni cho phn trn.
nak := s lng ng p P k vi p (a ) = 1
r% k := min (Ca Fak 1 ) / nak
a Ak
rpk 1 + r% k ( p P k )
r = k 1
k
rp ( p P )
Fak := p (a).rpk
k
p
a A
k+1
:= {a | Ca Fak > 0}
143
6.5. Bi tp (Pending)
144
145
146
SA: 0 A bn; 1 A ri
SB: 0 B bn; 1 B ri
2)
3)
147
2)
3)
4)
};
/*
* The base class for all event handlers. When
an events scheduled
* time arrives, it is passed to handle which
must consume it.
* i.e., if it needs to be freed it, it must be
freed by the handler.
*/
class Handler {
public:
virtual void handle(Event* event);
};
Cc gi tin trong NS c nh ngha t lp Event nh sau:
class Packet : public Event {
private:
friend class PacketQueue;
u_char* bits_;
...
protected:
static Packet* free_;
public:
Packet* next_; /* for queues and the free list
*/
static int hdrlen_;
Packet() : bits_(0), datalen_(0), next_(0) {}
u_char* const bits() { return (bits_); }
static void free(Packet*);
...
};
7.3.2. Cc tin ch trong NS h tr cho m phng mng [Pending]
Cc module phc v cho m phng mng my tnh v vin thng:
Mobile networks, mobile IP, DiffServ, IntServ, MPLS, UDP/TCP/IP,
SCTP, routing protocols (mobile ad-hoc, unicast, multicast), RED, RIO,
WFQ, CSMA/CD, ON/OFF source, Pareto .v.v.
Cc chng trnh tr gip trong vic khai thc s liu m phng: Nam,
XGraph .v.v.
7.3.3. Th d (Pending)
7.4. Kt lun (Pending)
151
7.5. Bi tp (Pending)
152
http://www-
[8] http://www.opnet.com
[9] http://ptolemy.eecs.berkeley.edu/ptolemyII/index.htm
[10] http://www.omnetpp.org/
[11] http://www.inrialpes.fr/planete/people/ernst/Documents/simulator.html
[12] http://www.topology.org/soft/sim.html
[13] Kishor Shridharbhai Trivedi, Probability and Statistics with Reliability,
Queuing, and Computer Science Applications, Wiley-Interscience, 2001
[14] Donald Gross, Carl M. Harris, Fundamentals of Queueing Theory, WileyInterscience,1998
[15] Dimitri Bertsekas, Robert Gallager, Data Networks, Prentice-Hall International
Editions, 1987
[16] Andrew S. Tanenbaum, Computer Networks, Prentice-Hall, 2003
[17] Joseph L. Hammond, Peter J.P.O' Reilly, Performance Analysis of Local
Computer Networks, Addison-Wesley, 1988
[18] Jeremiah F. Hayes, Thimma V. J. Ganesh Babu, Modeling and Analysis of
Telecommunications Networks, Wiley-Interscience, 2004
[19] Gunter Bolch, Stefan Greiner, Hermann de Meer, Kishor S. Trivedi, Queuing
Networks and Markov Chains, Modeling and Performance Evaluation with
Computer Science Evaluation, John Wiley and Sons, 1998
Rudolf Avenhaus, Quantitative Modelle fr Rechen- und
Kommunikationssysteme, Universitt der Bundeswehr Mnchen, 2000
[20]
153
154
Ph lc 1
155