
книги из ГПНТБ / Добролюбов, А. И. Автоматизация проектирования систем управления технологическими машинами
.pdfN Регулярные писледо
14 |
№ |
16 |
16 |
16 |
Ь |
116 |
16 |
16 |
16 |
16 |
16 |
16 |
16 |
|
|
14 114 |
14 |
14 |
17 |
17 |
17 |
17 |
17 |
17 |
17 |
17 |
17 |
|
|
|
10 |
10 |
15 |
115 |
7 |
7 |
7 |
13 |
113 113 |
13 |
13 |
115 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
12 |
12 |
| 5 |
11 |
5 |
5 |
5 |
11 |
11 |
12 |
12 |
12 |
11 |
|
|
13 |
13 |
7 |
13 |
4 |
15 |
15 |
10 |
15 |
10 |
10 |
10 |
13 |
|
|
17 117 |
117 |
17 |
14 |
|ll |
11 |
14 |
5 |
11 |
11 |
14 |
12 |
|
|
|
7 |
15 |
13 |
7 |
15 |
10 |
13 |
15 |
4 |
15 |
15 |
15 |
10 |
|
|
5 |
5 |
11 |
5 |
|ll |
14 |
12 |
5 |
114 |
5 |
14 |
5 |
14 |
|
|
4 |
4 |
10 |
4 |
10 |
|
О |
^ |
О |
|
|
|
|
|
|
|
|
|
|
|
. : |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
! |
|
|
|
|
|
|
|
96 |
|97 |
98 |
99 |
| 100 10l| 102| юз| 104-1105| 10б| 107| 108| |
|
||||||||
16 |
0 0 0 0 0 |
О |
О |
о |
о |
о |
о |
о |
о |
|
||||
|
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
|
3 1 3 3 3 3 3 I 3 3 3 3 3 3 3 3 |
|||||||||||||
|
2 | 2 2 2 |
2 j 2 | 2 2 2 2 2 2 2 2 |
||||||||||||
|
6 6 6 | 6 6 6 6 6 6 6 | 6 | 6 6 6 |
|||||||||||||
|
4 |
4 4 |
4 4 4 4 4 |
4 |
7 7 | 7 |
7 |
7 |
|||||||
|
5 |
5 |
5 |
5 |
5 |
5 |
14 |
14 |
14 |
5 |
5 |
5 |
5 |
5 |
|
7 |
7 |
7 |
| 7 |
7 |
7 |
15 |
Il6 |
16 |
4 |
4 |
4 |
4 |
15 |
|
17 |
17 |
117 |
17 |
17 |
17 |
5 |
12 |
17 |
14 |
114 |
14 |
14 |
И |
|
13 |
13 |
15 |
15 |
16 |
16 I 7 |
13 |
7 |
15 |
15 116 |
16 |
10 |
||
|
11 |
112 |
11 |
114 |
12 |
14 |
17 |
17 |
5 |
11 |
17 |
12 |
17 |
12 |
|
15 |
16 |
13 |
ш |
13 |
15 |
16 |
7 |
15 |
|l3 |
|l6 |
13 |
15 |
13 |
|
14 114 |
12 |
12 |
11 |
11 |
12 |
5 |
11 |
17 |
12 |
17 |
11 |
17 |
|
|
16 |
15 |
16 |
13 |
15 |
113 |
13 |
115 |
13 |
16 |
13 |
15 |
13 |
16 |
|
12 |
11 |
114 111 |
14 |
12 |
11 |
11 |
12 |
12 |
11 |
И |
12 |
14 |
|
|
10 |
10 |
1 0 |
!ю |
1 0 |
ю |ю |
10 |
10 |
10 |
10 |
10 |
10 |
4 |
|
|
1 |
2 |
3 |
4 |
1 5 |
6 |
| 7 |
8 |
9 |
10 |
11 |
112 |
13 |
14 |
16 |
0 |
0 |
0 |
0 |
| 0 |
0 |
|
| |
|
|
|
|
|
|
|
1 |
1 |
1 |
i l l |
1 |
|
|
|
|
v |
|
|
|
Продолжение
вагельности
| 1
I ■
| |
] |
|
|
1 |
| |
|
| |
| |
0 |
0 |
О |
о |
.0 |
0 0 | 0 0 0 0 0 0 0 0 I 0 1 0 |
|||||||||||
1 |
1 |
1 1 1 | 1 1 1 1 1 1 | 1 | 1 1 1 1 1 1 |
||||||||||||||
3 |
3 |
3 |
СО |
СО |
3 3 3 3 3 3 3 3 1 3 3 3 3 |
|||||||||||
2 |
2 |
2 |
2 |
2 |
2 |
2 |
2 |
2. |
2 |
2 |
2 |
2 |
2 |
2 |
2 |
2 |
6 |
6 |
6 6 6 6 6 | 6 6 6 б б б 6 б 6 6 |
||||||||||||||
,7 |
7 |
7 |
7 |
7 |
7 |
7 |
7 |
7 |
7 |
7 |
7 |
16 |
16 |
16 |
16 |
16 |
5 |
5 |
5 |
17 |
17 |
17 |
17 |
17 |
17 |
17 |
17 |
17 |
12 |
12 |
12 |
12 |
12 |
15 |
15 |
15 |
13 |
13 |
13 |
13 |
15 |
16 |
16 |
116 |
16 |
10 |
10 |
13 |
13 |
13 |
11 |
17 |
17 |
11 |
11 |
12 |
12 |
5 |
12 |
12 |
14 |
14 |
11 |
14 |
11 ]п |
17 |
|
13 |
13 |
16 |
10 |
15 |
16 |
16 |
4 |
13 |
13 |
4 |
10 |
13 |
15 |
10 |
15 |
7 |
17 |
11 |
12 |
12 |
| 5 |
14 |
14 |
14 |
11 |
11 |
5 |
12 |
17 |
и |
14 |
17 |
5 |
16 |
10 |
13 |
16 |
4 |
4 |
10 |
16 |
10 |
15 |
15 |
13 |
7 |
13 |
15 |
7 |
4 |
12 |
12 |
11 |
14 |
114 |
5 |
11 |
12 |
14 |
5 |
11 |
11 |
5 |
17 |
17 |
5 |
14 |
10 |
16 |
10 |
15 |
16 |
15 |
15 ] 13 |
15 |
| 4 |
13 |
15 |
15 |
7 |
7- |
4 |
15 |
|
14 |
14 |
14 |
5 |
12 |
jll |
5 |
11 |
5 |
14 |
12 |
| 5 |
14 |
| 5 |
5 |
14 |
11 |
4 |
4 |
4 |
4 |
10 |
|l0 |
| 4 |
|l0 |
| 4 |
|l0 |
|l0 |
| 4 |
| 4 |
| 4 |
| 4 |
|l0 |
10 |
15 |
16 |
17 |
18 |
19 |
|20 |
21 |
|22 |
|23 |
(24 |
(25 |
|26 |
|‘2/ |
(28 |
|29 |
|з0 |
31 |
|
|
|
|
|
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
1 |
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
106 |
107 |
Продолжение
использования реле, введенных ранее в более простые компоненты. В результате этого удается использовать одни и те же реле для частей системы управления, свя занных отношением включения.
Этап размещения состояний промежуточных реле в любой частной ТУС начинается с попытки использования ранее введенных (несобственных) реле других ТУС. Ес ли таких реле нет или их недостаточно для устранения противоречивости ТУС, то вводятся собственные реле. Эти собственные реле могут быть несобственными для других ТУС. Формальным средством для поиска реле, которые можно использовать в данной ТУС, является иерархическая матрица (см. табл. 19). По иерархической матрице определяются выходные подмножества, вклю ченные в подмножество выходов данной ТУС, и из их числа выбираются подмножества с рангом R= 1. Если в соответствующих частных ТУС были введены промежу точные реле, то они используются в рассматриваемой
ТУС. Например, требуется определить по иерархической матрице (табл. 19) ТУС, промежуточные реле которых можно использовать в ТУС компонента 206 «Рабочий ход» (табл. 20)
Втабл. 19 отыскиваем выходное подмножество М206
ипо столбцу определяем, что подмножество М206 вклю чает в себя М203 и М202, т. е. М206=оМ203 и М206=>
цоМ202 (при переходе из столбца 6 в столбец 7 значение ранга подмножеств М203 и М202 увеличивается на 1). При этом ранг 7?=1 имеет только М203, значит в ТУС 206 можно использовать (если они есть) реле из ТУС
203.
Определим, из каких ТУС можно использовать реле в ТУС 301 (табл. 23) «Полуавтоматический режим». По столбцу 9 табл. 19 определяем, что R —1 имеют выход ные подмножества М201, М205, М206, М207. Таким об разом, для ТУС 301 можно взять реле из ТУС с номера ми: 201, 205, 206, 207.
108 |
109 |
Размещение состояний несобственных реле осуществ ляется довольно просто: в ТУС с R= 1 фиксируются входные и выходные наборы, на которых реле меняют свои состояния, после чего в ТУС, куда вводятся несобст венные реле, отыскиваются строки, содержащие эти на боры. Полученные строки являются моментами внутрен
него перехода для несобственных реле. |
неполный |
В некоторых частныхТУС описывается |
цикл работы машины или рабочего органа и в соответст вии с этим промежуточные реле могут оставаться во включенном состоянии в конце цикла. При перенесении таких реле в ТУС, описывающую полный цикл работы, выбираются строки для их отключения, удовлетворяю щие следующие условия:
1) номер выбранной строки i больше номера строки, соответствующей последнему внутреннему переходу ТУС
с незаконченным-циклом; |
|
(числонесовпадающих |
|
2) «Кодовое расстояние» |
|||
разрядов кодов) между выходным набором |
выбранной |
||
строки Zi, и выходным |
набором |
предыдущей строки |
|
является максимальным, т. е. |
|
||
di = Zi |
Zi—\= dmax', |
(1) |
3) активный вход i-й строки реализует переход:
0-Я . |
|
(2) |
Алгоритм размещения состояний собственных |
реле |
|
работает следующим образом. |
|
|
1. Определяются пары противоречивых строк относи |
||
тельно выходов без обратной связи. Две |
строки проти |
|
воречивы, если наборы входов, основных |
выходов с об |
|
ратной связью (группа 22) и реле (группа 30, 31) |
совпа |
|
дают, а наборы состояний выходов без обратной |
связи |
(группа 23, 24, 25, 27) различны. Результатом реализа ции процедуры является подмножеств строк ТУС, за ключенных в противоречивых парах.
2. Определяются пары строк, противоречивых относи тельно выходов с обратной связью. Две строки противо речивы, если для этих строк наборы, составленные из состояния активного входа и состояний несобственных реле, совпадают, а состояния рассматриваемого выхода с обратной связью различны. Процедура реализуется для каждого выхода с обратной связью. Результатом реали-
110
зации является |
тг подмножеств |
строк, |
заключенных |
в |
||||||
противоречивых парах строк. |
|
|
|
|
|
|
|
|
||
3. |
Над множеством Р = { Ри Р г . . . Pk, ■ ■ ,Л п } |
(m = m l + |
||||||||
+ т2) подмножеств, полученных в пп. |
1 и 2, |
выполняется |
||||||||
операция «попарное пересечение» (Г) г). Процедура |
вы |
|||||||||
полнения этой операции такова. |
|
|
|
|
Рк+1}. |
|
|
|||
Над |
каждой |
парой подмножеств |
|
{Ph, |
{Ph, |
|||||
Р к+2} , . . . , {Ph, Pm} выполняется |
операция |
|
пересечения |
|||||||
( П). Если P k П Pk+i = P i¥ = 0 , то |
P h* = P h : = P i, |
а |
P k+, |
|||||||
вычеркивается |
из Р. Организуется |
цикл |
|
выполнения |
||||||
П 2 по k= 1, 2, . .., т—1. |
|
|
|
P i* , получен |
||||||
Определяются мощности подмножеств |
||||||||||
ных в результате реализации операции |
П 2 - |
В каждом из |
||||||||
этих подмножеств, содержатся строки, в которых необхо |
||||||||||
димо изменить состояния промежуточных реле для уст |
||||||||||
ранения |
противоречивости пар |
строк, |
определенных |
в |
пп. 1 и 2.
а) Если подмножество Р*к единично, то его элемент является номером строки внутреннего перехода и зано сится в подмножество N'.
б) В неединичных подмножествах выбираются строки внутреннего перехода согласно условиям (1) и (2).
в) Если состояние активного входа строки г-го внут реннего перехода повторяется в некоторой /-й строке, на ходящейся в интервале между i и (г—1)-м переходом1, то эти строки образуют пару противоречивых строк отно сительно промежуточных реле. Подмножество строк, за ключенных в этой паре, засылается в Pk и осуществля ется переход к п. За.
Поясним методику определения моментов переключе ния собственных реле на примере.
В табл. 26 приведена ТУС релейного устройства с не полным циклом работы. Выходы Zu Z2, Z3 не имеют об ратной связи. Требуется определить строки изменения собственных реле (моменты внутреннего перехода).
Реализовав п. 1 алгоритма, получим следующее мно жество подмножеств строк, заключенных в противоре чивых парах:
Р= -I {3}, {3, 4, 5, 6, 7}, {3, 4, 5, 6, 7, 8, 9}, {4},
{4, 5, 6}, {5, 6, 7}, {5, 6, 7, 8; 9} {6}; {9}, {10} .
1 Для t= 1 ((—1)-м переходом является последний внутренний переход.
111
|
|
|
|
|
Т а б л и ц а |
26 |
№ устбй- |
Xi |
Ха |
Хз |
X, |
х* |
Х3 |
чивого |
||||||
состояния |
|
|
|
|
|
|
1 |
0 |
0 |
0 |
0 |
0 |
0 |
2 |
1 |
1 |
0 |
0 |
0 |
0 |
3 |
1 |
1 |
0 |
0 |
0 |
0 |
4 |
1 |
0 |
0 |
1 |
0 |
0 |
5 |
1 |
1 |
0 |
1 |
0 |
0 |
6 |
1 |
1 |
1 |
0 |
1 |
0 |
7 |
1 |
1 |
0 |
0 |
1 |
0 |
8 |
1 |
0 |
0 |
0 |
0 |
0 |
9 |
1 |
0 |
1 |
0 |
0 |
1 |
10 |
1 |
0 |
0 |
0 |
1 |
0 |
11 |
1 |
0 |
1 |
0 |
1 |
0 |
12 |
0 |
0 |
1 |
0 |
1 |
0 |
Над полученными подмножествами выполним опера цию П г, в результате которой получим подмножество строк внутреннего перехода
W'={3, 4, 6, 9, 10}.
Следующим этапом является определение числа про межуточных реле.
Для ТУС, описывающей неполный цикл работы ма шины или рабочих органов, определяется необходимое число промежуточных реле п по числу строк внутреннего перехода N :
2п^ У + 1 при нечетном N, |
(3) |
или |
|
2п^Л ^+2 при четном N. |
(4) |
Для ТУС, описывающей полный цикл работы, прове ряют, не включает ли подмножество строк любой проти воречивой пары, подмножество строк внутреннего пере хода N'. Если включает, то вводится дополнительно внут ренний переход, номер которого больше наибольшего
112
элемента, включающего подмножества с максимальной мощностью, увеличенного на 1, либо меньше (Наименьше го элемента, уменьшенного на 1, и удовлетворяет усло вия (1), (2). После этого проверяют, четна ли мощность подмножества N' и, если нечетна, то вводится дополни тельно один внутренний переход согласно условиям (1),
( 2) .
По формуле
2 n^ N |
(5) |
определяется требуемое число промежуточных реле п.
Из табл. 25 по полученным п и N выбирают регуляр ную последовательность для кодирования состояний про межуточных реле.
При я.<С3 состояния кодируются следующими после довательностями:
п= 1—1, 0; п = 2 —01, 11, 10, 00.
В качестве примера размещения состояний промежу точных реле приведем ТУС компонентов наладочного ре жима протяжного станка (см. табл. 23), в которых потре-
Т а б л и ц а 27
ТУС 201
|
Входы |
Выходы |
Реле |
№ устойчи |
|
|
|
вого состояния |
10ВА |
4Э |
1РП |
|
|||
1 |
<3 |
1 |
0 |
2 |
1 |
0 |
1 |
3 |
0 |
0 |
1 |
Код |
1601 |
2304 |
3001 |
бовались промежуточные реле (табл. 27, 28, 29, 30). Кро ме промежуточных реле в этих ТУС введены объединен ные входы группы А (ОВА, номер группы 16). Аналогич ные выходы в приведенных ТУС исключены.
ПЗ
|
|
|
|
|
|
|
|
Т а б л и ц а |
28 |
||
|
|
|
|
|
ТУС 205 |
|
|
|
|
|
|
№ устой |
|
Входы |
|
Выходы |
|
Реле |
|
|
|||
|
|
|
|
|
|
|
|
|
|
||
чивого |
|
ЗОВА |
40ВА |
1Э |
|
зэ |
2РП |
ЗРП |
|||
состояния |
|
|
|||||||||
|
1 |
|
0 |
0 |
1 |
|
0 |
0 |
|
0 |
|
|
2 |
|
1 |
0 |
1 |
|
1 |
0 |
|
1 |
|
|
3 |
|
0 |
0 |
1 |
|
1 |
0 |
|
|
1 |
|
4 |
|
0 |
1 |
0 |
|
0 |
1 |
|
|
1 |
|
5 |
|
0 |
0 |
0 |
|
0 |
1 |
|
|
1 |
Код |
1603 |
1604 |
2301 |
2303 |
3002 |
3003 |
|||||
|
|
|
|
|
|
|
|
Т а б л и ц а |
29 |
||
|
|
|
|
|
ТУС 206 |
|
|
|
|
|
|
< |
к |
|
Входы |
|
|
Выходы |
|
Реле |
|||
»я |
я |
|
|
|
|
||||||
Н Оя |
|
|
|
|
|
|
|
|
|
|
|
£>© н |
1РД |
ЗПВ |
4ПВ |
20ВА |
2Э |
7Э |
9Э |
11Э |
4РП |
5РП |
|
tg! |
К О |
||||||||||
ZZя а |
|
|
|
|
|
|
|
|
|
|
|
|
1 |
0 |
0 |
0 |
1 |
1 |
0 |
0 |
0 |
0 |
0 |
|
2 |
0 |
0 |
0 |
0 |
1 |
1 |
0 |
0 |
0 |
0 |
|
3 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
0 |
1 |
|
4 |
0 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
0 |
1 |
5 |
0 |
1 |
0 |
0 |
1 |
1 |
1 |
0 |
1 |
1 |
|
6 |
0 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
1 |
1 |
|
|
7 |
0 |
0 |
1 |
0 |
0 |
0 |
0 |
0 |
1 |
0 |
Код |
1401 |
1703 |
1704 |
1602 |
2302 |
2305 |
2307 |
2309 3004 3005 |
|||
|
|
|
|
|
|
|
|
Т а б л и ц а |
30 |
||
|
|
|
|
|
ТУС 207 |
|
|
|
|
|
|
|
|
|
|
Входы |
|
|
Вы ходы |
|
Реле |
||
№ устойчивого |
|
|
|
|
|
|
|
|
|
||
состояния |
1ПВ |
|
2ПВ |
|
8Э |
12Э |
6РП |
||||
|
|
|
|
|
|||||||
|
1 |
|
0 |
|
0 |
|
1 |
0 |
|
0 |
|
|
2 |
|
0 |
|
1 |
|
1 |
1 |
|
1 |
|
|
3 |
|
0 |
|
0 |
|
1 |
1 |
|
1 |
|
|
4 |
|
1 |
|
0 |
|
0 |
0 |
|
0 |
|
|
Код |
|
1701 |
|
1702 |
|
2306 |
2310 |
3006 |
114
5. ПОЛУЧЕНИЕ И ОБЪЕДИНЕНИЕ СТРУКТУРНЫХ ФОРМУЛ АППАРАТОВ УПРАВЛЕНИЯ
Система управления технологической машиной, как уже отмечалось выше, состоит из взаимосвязанных час тей, образующих сложную иерархическую структуру. Отношение включения между отдельными частями СУ означает, что одни и те же выходные и промежуточные аппараты управления (АУ) могут входить в состав не скольких частей. Каждая часть СУ описывается одной ТУС, по которой получаются структурные формулы АУ. Для аппаратов, работа которых описана в ряде ТУС, требуется ,не только получить структурные формулы ап парата по каждой ТУС, но и решить задачу объединения этих структурных формул в одну формулу, удовлетво ряющую условиям работы аппарата в различных режи мах.
Структурную формулу аппарата с обратной связью (с памятью) можно представить в виде
/ . а= (V |
С V Л A A |
(6) |
или |
|
|
/ а= V |
г; V а Д А *i, |
( 7) |
i=i |
i=i |
|
где 1, 2,..., я-=- число включений (отключений) аппара та А в течение цикла работы СУ;
гА— формула включения; hA— формула отключения;
V — знак означает параллельное соединение; / \ — знак означает последовательное соеди
нение.
Первая формула соответствует преобладанию отклю чения, а вторая — преобладанию включения аппарата А. Это означает, что при одновременном появлении вклю
чающего и отключающего сигналов (rA = hA= \) |
значе |
||
ние функции |
(6) равно нулю, |
а функции (7)— единице. |
|
Структурная формула аппарата без обратной |
связи |
||
(без памяти) |
имеет вид |
|
|
|
/ а = |
<7а, |
(8) |
где qA— логическая функция.
Структурные формулы аппаратов с обратной связью получим из ТУС по следующему алгоритму.
115
1.Устанавливается i-я строка ТУС, в которой проис ходит переключение выходного АУ с памятью. Если ап парат включается, то будет получена формула включе ния гА, если отключается, то формула отключения hA.
2.Определяется наличие других строк,- в которых пов торяется состояние активного входного АУ г-й строки, а состояние рассматриваемого аппарата с памятью проти воположно (т. е. определяются противоречивые строки).
а) Если противоречивых строк нет, то формула rA(hA) включает в себя переменную, соответствующую контакту активного входа. Причем берется замыкающий контакт, если активный входной аппарат включился, и размыкающий контакт, если аппарат отключился.
б) Если есть противоречивые строки, то в формулу rA (hA) добавляются контакты промежуточных реле, раз личающих эти строки.
3. Полученные формулы включения гг- и выключения hi подставляются в выражение (6) или (7).
В описанном алгоритме используется принцип расши рения подмножества существенных аргументов (перемен ных). Этот принцип используется и при получении струк турных формул аппаратов без обратной связи. Существо принципа заключается в том, что вначале выделяется од на или несколько заведомо существенных переменных, обеспечивающих переключение выхода. Если по этим пе ременным есть противоречия, то добавляются новые пе ременные.
Описываемый ниже приближенный алгоритм получе ния по заданной ТУС структурных формул АУ без об ратной связи использует принцип расширения подмно жества аргументов и базируется на методике направлен ного поиска минимальных представлений булевых функ ций [5]. Для получения структурной формулы АУ без об
ратной связи выполняется следующее: |
|
|
1. |
Для каждой переменной определяется критерий |
|
|
С = 2 С |
(9) |
где |
1 |
|
|
|
|
1— если состояние переменной не изменяется |
одно- |
|
с= ■ |
временно с изменением состояния выхода; |
|
3 — если состояние переменной изменяется при вклю чении либо отключении выхода;
116
£■={6 — если периоды включения переменной и вы хода совпадают или их состояния противо положны;
q — число периодов включения выхода.
2. Выбираем первый выход в ТУС и из состояний входных переменных, которым соответствуют единичные и нулевые состояния этого выхода, формируем таблицы
Ml и МО. |
определяется |
критерий |
||
3. Для каждой переменной |
||||
существенности |
|
|
|
|
в = с — ^ г ( М + 1 ) ''М + М + > ) 'М ) . |
(Ю) |
|||
Д1~р Д0 |
|
|
|
|
где Е= {2 — для промежуточных реле, |
|
|
|
|
1 — для всех других переменных; |
|
|
||
лц — число переключений переменной-в Ml; |
|
|||
jto— число переключений переменной в МО; |
|
|||
щ1— число непрерывных единичных |
состояний |
|||
переменной в Ml, начиная |
с первого |
сос |
||
тояния; |
|
|
|
|
v{ — число единичных состояний |
переменной в |
|||
Ml; |
состояний |
переменной в |
||
\>о° — число нулевых |
||||
МО; |
|
|
|
|
Hi° — число непрерывных нулевых, состояний пе ременной в Ml, начиная с первого состоя ния;
у ° — число нулевых состояний переменной в Ml; Vg1— число единичных состояний переменной в
МО.
4.Столбцы в таблицах Ml и МО упорядочиваются по мере убывания критерия В.
5.Определяется конъюнкция для первого единичного состояния выхода путем последовательного выбора пе ременных, начиная с первой, и сравнения состояний выб ранных переменных в Ml и МО. Формирование конъюнк ции закончено, как только совпадающих наборов в Ml и МО не обнаружено.
6.Из Ml вычеркиваются состояния (строки), реали зованные полученной конъюнкцией. Состояние считаем реализованным, если состояния всех переменных, вошед
ших в коньюнкцию, равны состояниям этих переменных в первой строке Ml.
117