DSC03333 (2)

1<*

Schemat 3.12. Graf stanów zasobu /przykład/

I

8			■	[c2]	i {■?.	4)
V^1	= [°1J	j I	^! | [C2] .
V =	V^1 , v^:	jgl	I* ^f2* *3*	V W5,	> b
*1 =		n	^W2 ^s (^f1*	»i).	c- CM 5: II H	»?).
*	II	■i).	*5 1 (^ł3’	■i).	»6 =(^w5*	«!)•

Graf na schemacie 3-12 przedstawia opis wszystkich dopuszczalnych zmian stanów zasobu pod warunkiem, że wartości cech nie wchodzą ze sobą w tzw. aprioryczną lub aposterioryczną kolizję. 8tan początkowy oznaczono gwiazdką.

3»3»^» Aprioryczne i apoaterioryczne kolizje wartości cech

Ha podstawie pojedynczego grafu zmian wartości cech można sadzić jedynie o lokalnej apriorycznej kolizji następstwa wartości określonej cechy. Kolizja ta wyraża się możliwością zmiany bieżącej wartości cechy na wartość należącą do określonego podzbioru. Korzystając z cybernetycznego modelu zasobu można traktować!

f j - Jako dopuszczalną literę slow* wyjśeiowęflO 1    (■

uwzględniając chwilę czasu t przyjąć    1 f(t) i

(_WJ(t)°€ Y(t));

wj* - Jako dopuszczalną lltorę słowa wejściowego I oraz atK''^r-powiednlo wj(t)¹ 1 X(t)i (wj(t)¹ c X(t))j

Wt (t+1) - Jako literę słowa wyjściowego I, którą eote tif pojawić po literze wj(t)°; (wj (t*l)° c f^l (t*1)°) I

W'(t)* - Jako podzbiór liter słowa wejściowego X(t)w etwlli tl (rW'ft#s X(t));

S(t),    S(t+1) - Jako stan zasobu w chwili t 1 t*1,

gdzie: 1 - indeks cechy, j - indeks wartości.

Powodem zmiany bielącej wartości cechy mole być:

1/ zmiana słowa wejściowego bez zmiany stanu zasobu,

2/ zmiana stanu zasobu bez zmiany słowa wejściowego,

5/ zmiana słowa wyjściowego i zmiana stanu zasobu.

wj(t)°    W^t)¹, S(t)    Wj(t*l)°

Wartość cechy    Warunek    zmiany    Wartość cechy

w chwili t    wartości cechy    w chwili t*l

Schemat 3*13* Zmiana wartości cechy zasobu

s_k(t)    W(t)¹    s_t(t‘i)

o    —;-►<>

Stan zasobu    Warunek zmiany    Stan zasobu

w chwili t    Stanu zasobu    ^w chwili t*1

Schemat 3.14• Zmiana stanów zasobu

Ilustracją powyl3zych zmian wartości cechy wyjśćIowoJ oraz zmiany stanu zasobu są schematy 3»13 i 3• Określenie kolizji apriorycznej mole w konkretnych sytuacjach znacząco skrócić rozpatrywanie dopuszczalnych słów wyjściowych.

Kolizja aprioryczna dwu wartości nalelących do rólnych cech polega na tym, le "z góry wiadomo" o ich niedopuszczalnym jednoczesnym wystąpieniu. Jeleli^a przykład wartość jffjj znajduje się w kolizji apriorycznej z wartością to para (Hy || | określająca stan zasobu jest niedopuszczalna - tzn. nie może wystąpić stan Sc* Na schemacie 3*'*5 pokazano graf stanów uwzględniający kolizję typu apriorycznego.