Pr-1st-1.1-m11-Slajd27

Z Studia Informatyczne
Wersja z dnia 16:07, 7 wrz 2006 autorstwa Szopen (dyskusja | edycje)
(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)
Przejdź do nawigacjiPrzejdź do wyszukiwania

Historia detektora awarii

Historia detektora awarii


Rozważamy tylko wzorce uszkodzeń , w których co najmniej jeden proces jest poprawny, czyli . Każdy detektor utrzymuje listę (zbiór) procesów, które podejrzewa.

Historia detektora awarii to funkcja odwzorowująca iloczyn kartezjański zbioru procesów i pewnego okresu czasu w rodzinę wszystkich podzbiorów zbioru . Wartość oznacza zbiór procesów podejrzewanych przez w chwili .


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