Pr-1st-1.1-m11-Slajd36

Hierarchia detektorów

Ostatecznie możemy zobrazować wszystkie zależności pomiędzy poszczególnymi klasami detektorów awarii przedstawiając sześcian, którego wierzchołkami są właśnie poszczególne klasy detektorów.

Każda z krawędzi tego sześcianu będzie reprezentowała pewną relację pomiędzy wierzchołkami (klasami detektorów), które łączy.

Zacznijmy może od detektorów równoważnych. Są to klasy P $\cong$Q, $\Diamond$P$\cong$$\Diamond$Q, S$\cong$W, $\Diamond$S$\cong$$\Diamond$W. Krawędzie łączące odpowiednie pary zostaną zastąpione symbolem dwukierunkowej strzałki rysowanej linią przerywaną.

Inne pary detektorów połączone wspólną krawędzią znajdują się w zdefiniowanej wcześniej relacji redukcji.

Dla przykładu można wymienić tutaj pary S$\succeq$$\Diamond$S ($\Diamond$S jest ściśle słabszy od S), P$\succeq$S, $\Diamond$P$\succeq$$\Diamond$S czy też Q$\succeq$$\Diamond$Q.

I na koniec wierzchołki znajdujące się po przekątnych czy to sześcianu czy też kwadratu (boku) tworzą pary nieporównywalnych klas. Przykładowo mogą to być pary (P, $\Diamond$Q) czy też (P, $\Diamond$W).

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