Pr-1st-1.1-m10-Slajd12

Lematy 10.1.1, 10.1.2

Lemat 10.1.1

Lokalne liczniki wiadomości są monotoniczne. Tak więc, jeżeli $\tau \le \tau \prime$, to $s{c}_i(\tau )\le s{c}_i(\tau \prime )$ i $r{c}_i(\tau )\le r{c}_i(\tau \prime )$.

Dowód Dowód tego lematu wynika wprost z definicji liczników $r{c}_i$ i $s{c}_i$.

Lemat 10.1.2

Sumaryczna liczba wiadomości wysłanych lub odebranych jest monotoniczna. Jeżeli zatem $\tau \le \tau \prime$, to $SC(\tau )\le SC(\tau \prime )$ i $RC(\tau )\le RC(\tau \prime )$.

Dowód

Dowód wynika wprost z definicji $SC$ i $RC$.

<< Poprzedni slajd | Spis treści | Następny slajd >>