Pr-1st-1.1-m02-Slajd53: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 12: | Linia 12: | ||
:<math>\mathcal{D}_i^3=\{ P_6, P_7 \}</math> | :<math>\mathcal{D}_i^3=\{ P_6, P_7 \}</math> | ||
Model OR-AND jest ogólniejszy od podstawowego modelu ''k spośród r''. Model ten redukuje się do modelu ''k spośród r'', gdy podzbiory | Model OR-AND jest ogólniejszy od podstawowego modelu ''k spośród r''. Model ten redukuje się do modelu ''k spośród r'', gdy podzbiory | ||
<math>\mathcal{D}_i</math> odpowiadają wszystkim możliwym podzbiorom o liczności <math>k</math> zbioru warunkującego <math>\mathcal{D}_i<math> o liczności <math>r</math>. | <math>\mathcal{D}_i</math> odpowiadają wszystkim możliwym podzbiorom o liczności <math>k</math> zbioru warunkującego <math>\mathcal{D}_i</math> o liczności <math>r</math>. | ||
Przykładowo, jeżeli | Przykładowo, jeżeli | ||
<math>\mathcal{D}_i=\{ P_1, P_2, P_3 \}</math> i <math>P_i</math> formułuje warunek ''2 spośród 3'', czyli 2 spośród | <math>\mathcal{D}_i=\{ P_1, P_2, P_3 \}</math> i <math>P_i</math> formułuje warunek ''2 spośród 3'', czyli 2 spośród | ||
<math>\{P_1,P_2,P_3\}</math>, to <math>\mathcal{D}_i</math> można wyrazić jako | <math>\{P_1,P_2,P_3\}</math>, to <math>\mathcal{D}_i</math> można wyrazić jako | ||
<math>\{P_1,P_2} \cup \{P_2,P_3\}\cup\{P_1,P_3\}</math>, a więc jako sumę wszystkich dwuelementowych podzbiorów zbioru <math>\mathcal{D}_i</math>. | <math>\{P_1,P_2\} \cup \{P_2,P_3\}\cup\{P_1,P_3\}</math>, a więc jako sumę wszystkich dwuelementowych podzbiorów zbioru <math>\mathcal{D}_i</math>. | ||
[[pr-1st-1.1-m02-Slajd52 | << Poprzedni slajd]] | [[pr-1st-1.1-m02-toc|Spis treści ]] | [[pr-1st-1.1-m02-Slajd54 | Następny slajd >>]] | [[pr-1st-1.1-m02-Slajd52 | << Poprzedni slajd]] | [[pr-1st-1.1-m02-toc|Spis treści ]] | [[pr-1st-1.1-m02-Slajd54 | Następny slajd >>]] | ||
Aktualna wersja na dzień 15:49, 7 wrz 2006
Model OR-AND – przykład
Rozważmy przykładowy warunek uaktywnienia procesu , sformułowany następująco: proces zostanie uaktywniony po otrzymaniu wiadomości jednocześnie od procesu i , lub jednocześnie od procesów , i lub jednocześnie od procesów i
W tym wypadku możemy zatem przyjąć, że:
Model OR-AND jest ogólniejszy od podstawowego modelu k spośród r. Model ten redukuje się do modelu k spośród r, gdy podzbiory odpowiadają wszystkim możliwym podzbiorom o liczności zbioru warunkującego o liczności . Przykładowo, jeżeli i formułuje warunek 2 spośród 3, czyli 2 spośród , to można wyrazić jako , a więc jako sumę wszystkich dwuelementowych podzbiorów zbioru .
