Pr-1st-1.1-m07-toc

<< Powrót

Spis treści

1. Konstrukcja spójnego obrazu stanu globalnego - wprowadzenie
2. Plan wykładu
3. Pojęcia podstawowe
4. Konfiguracja
5. Konfiguracja spójna (1)
6. Konfiguracja spójna (2)
7. Konfiguracja spójna (3)
8. Linia odcięcia
9. Odcięcie spójne (1)
10. Odcięcie spójne (2)
11. Odcięcie spójne (3)
12. Maksymalne odcięcie spójne
13. Wyznaczenie odcięcia spójnego
14. Odcięcie spójne a konfiguracja spójna
15. Odcięcie niespójne – przykład
16. Predykaty globalne i ich własności
17. Stan globalny systemu
18. Modele stanów globalnych (1)
19. Modele stanów globalnych (2)
20. Modele stanów globalnych – przykład 1 (1)
21. Modele stanów globalnych – przykład 1 (2)
22. Graf stanów osiągalnych
23. Model stanów globalnych (3)
24. Modele stanów globalnych (4)
25. Modele stanów globalnych (5)
26. Model stanów globalnych (6)
27. Modele stanów globalnych – przykład 2
28. Ocena stanów globalnych
29. Porównanie reprezentacji stanów globalnych
30. Niedeterminizm przetwarzania rozproszonego
31. Metoda wyznaczania stanu globalnego
32. Problemy związane z wyznaczaniem stanu globalnego
33. Problem konstrukcji stanu globalnego
34. Koncepcja konstrukcji obrazu spójnego (1)
35. Koncepcja konstrukcji obrazu spójnego (2)
36. Koncepcja konstrukcji obrazu spójnego (3)
37. Dowód poprawności koncepcji