Page 39 - Г

Ті з ЛУ табл. 2.4, що чекають, в ЛСА (2.7) позначені
через q зі збереженням індексів, привласнених цим ЛУ в табл.
2.4. Виключення складають тільки ЛУ р 1.6 ,p 3.6.i p 2.4, тому що
р 1.6 і p 3.6 можна розглядати як тимчасові логічні умови від
рівня h , а p 2.4 — від рівня h , у той час як ЛУ р 1.5, p 3.5, і p 2.3 є
0
2
не тимчасовими ЛУ. ГСА , відповідаючі ЛСА (2.7) приведена
на рис.2.4. На ГСА усередині умовних вершин ЛУ мають те ж
позначення, що й у табл. 2.4. Це зв'язано з тим що ЛУ
незалежать від того чи є вони очікуючими чи ні зображуються
на ГСА у виді ромба з двома виходами ,один із яких
відповідає переходу при виконанні ЛУ - «1», а іншоий при
невиконанні -«0».
Логічна частина параметричної ЛДМ мішалки може
бути представлена і за допомогою МЦП:

[p 11 ]A 1 . 1 1 4 u 1 5 u [p 2 . 1 ]A 1 u 1 2 . 1 1 3 u [p 3 . 1 ]A 0 1 u 3 . 1 0 4 u 0 5 u [p 4 . 1 ]A 1 2 u 4 . 1 1 7 u [p 5 . 1 ]A 3 u 5 . 1 0 0 2 u [p 6 . 1 ]A 7 u 6 . 1 0 ;

1
1
0
1
1
1
0
0
1
0
0
A 0 [p 21 ]A 4 u 1 . 2 5 u [p 2 . 2 ]A 1 u 2 . 2 3 u [p 3 . 2 ]A 1 u 3 . 2 4 u 5 u [p 4 . 2 ]A 2 u 4 . 2 [p 5 . 2 ]A 6 u 5 . 2 [p 6 . 2 ]A 6 u 6 . 2 ;
1 1 1 1 1 0 0 0 1 1 0 0 0
[p 31 ]A 4 u 1 . 3 5 u [p 2 . 3 ]A 1 u 2 . 3 3 u [p 3 . 3 ]A 1 u 3 . 3 4 u 5 u [p 4 . 3 ]A 2 u 4 . 3 7 u [p 5 . 3 ]A 3 u 5 . 3 2 u [p 6 . 3 ]A 7 u 6 . 3 ;
(2.8)
Порівнюючи вирази (2.6) і (2.7) необхідно відзначити,
що відмінності формул МЦП і ЛСА незначні. Вони зв'язані
насамперед з тим, що в формулах МЦП розшифровується
характер команд, що утворять відповідний оператор, а
застосування знака розгалуження дає можливість зменшити
число стрілок переходу.
На базі приведених ЛСА, ГСА і формули МЦП
побудуємо ЛДМ ввівши в зазначені схеми і формулу ДОО.
Використовуємо в якості ДОО функції, приведені в
останньому стовпчику табл. 2.4, тоді вираз (2.7) набуде
вигляду
A 4 p 1 A q f A f q A q ( ) T
Д 0 1 . 1 1 . 1 1 2 . 1 2 . 1 2 3 . 1 3 . 1 4 . 1 1
A f q A q ( T )A 2 1 p 3 A
4 . 1 5 5 . 1 5 . 1 5 . 1 2 6 . 1 1 . 2 1 . 2
q f A f q A q ( T )A q ( ) T
1 2 . 2 2 . 2 2 3 . 2 3 . 2 3 . 2 1 4 . 2 5 . 2 3
(2.9)
A f q A 3 p 4 A f q f q A
5 . 2 8 6 . 2 6 . 2 1 . 3 1 . 3 9 2 . 3 2 3 . 3 3 . 3
q 4 . 3 ( 1 T )A 4 . 3 f 5 q 5 . 3 A 5 . 3 q 5 . 3 ( 2 T )A 6 . 3 2 A k .