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 \leq \tau \prime$, to $sc_{i}(\tau )\leq sc_{i}(\tau \prime )$ i $rc_{i}(\tau )\leq rc_{i}(\tau \prime )$.

Dowód Dowód tego lematu wynika wprost z definicji liczników $rc_{i}$ i $sc_{i}$.

Lemat 10.1.2

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

Dowód

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

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