Pr-1st-1.1-m03-Slajd04: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
m Zastępowanie tekstu – „ </math>” na „</math>” |
||
| (Nie pokazano 1 pośredniej wersji utworzonej przez tego samego użytkownika) | |||
| Linia 4: | Linia 4: | ||
Zbiór stanów globalnych <math> \boldsymbol{\Sigma}</math> jest podzbiorem iloczynu kartezjańskiego | Zbiór stanów globalnych <math>\boldsymbol{\Sigma}</math> jest podzbiorem iloczynu kartezjańskiego | ||
<math>\mathcal{S}_1 \times \mathcal{S}_2 \times \ldots \times \mathcal{S}_n</math> | <math>\mathcal{S}_1 \times \mathcal{S}_2 \times \ldots \times \mathcal{S}_n</math> | ||
zbiorów stanów lokalnych procesów składowych przetwarzania rozproszonego. | zbiorów stanów lokalnych procesów składowych przetwarzania rozproszonego. | ||
| Linia 12: | Linia 12: | ||
<math>\mathit{\Sigma}(\tau)</math>, | <math>\mathit{\Sigma}(\tau)</math>, | ||
jest więc uporządkowanym zbiorem stanów lokalnych wszystkich procesów składowych w chwili <math>\tau</math>: | jest więc uporządkowanym zbiorem stanów lokalnych wszystkich procesów składowych w chwili <math>\tau</math>: | ||
:<math>\mathit{\Sigma}(\tau) = \left \langle S_1(\tau), S_2(\tau), \ldots, S_n(\tau) \right \rangle </math> | :<math>\mathit{\Sigma}(\tau) = \left \langle S_1(\tau), S_2(\tau), \ldots, S_n(\tau) \right \rangle</math> | ||
[[pr-1st-1.1-m03-Slajd03 | << Poprzedni slajd]] | [[pr-1st-1.1-m03-toc|Spis treści ]] | [[pr-1st-1.1-m03-Slajd05 | Następny slajd >>]] | [[pr-1st-1.1-m03-Slajd03 | << Poprzedni slajd]] | [[pr-1st-1.1-m03-toc|Spis treści ]] | [[pr-1st-1.1-m03-Slajd05 | Następny slajd >>]] | ||
Aktualna wersja na dzień 10:47, 5 wrz 2023
Zbiór stanów globalnych (1)
Zbiór stanów globalnych jest podzbiorem iloczynu kartezjańskiego
zbiorów stanów lokalnych procesów składowych przetwarzania rozproszonego.
Stan globalny procesu rozproszonego w chwili czasu globalnego (czasu postrzeganego przez teoretycznego zewnętrznego obserwatora), oznaczony przez , jest więc uporządkowanym zbiorem stanów lokalnych wszystkich procesów składowych w chwili :
