Pr-1st-1.1-m10-Slajd10

Poprawność algorytmu detekcji zakończenia dla atomowego modelu przetwarzania

W algorytmie detekcji zakończenia rozważane są dwie fazy detekcji. Pierwsza rozpoczyna się o chwili ${\tau }_b^1$ i kończy w chwili ${\tau }_e^1$, a druga odpowiednio w chwilach ${\tau }_b^2$ i ${\tau }_e^2$. Przyjęto ponadto, że: ${\tau }_b^1<{\tau }_e^1<{\tau }_b^2<{\tau }_e^2$

Oznaczmy teraz przez $S{C}^{*}$ i $R{C}^{*}$ liczniki wyznaczone w pierwszej fazie, a przez $S{C}^{**}$ i $R{C}^{**}$ liczniki oznaczone w drugiej fazie.

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