Файл: Горбатов В.А. Синтез композиции операционного и управляющего автоматов в вычислительной технике учеб. пособие.pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 05.08.2024
Просмотров: 55
Скачиваний: 0
§4-3. Покрытие сетей
Вкачестве значения на входе базисного элемента будем рассматривать логическую сеть. Ставится следующая задача: на выходе элемента Ьі е В, имеющего N входов, известна
сеть S. Найти Si, S2, ... S N, при подстановке которых в каче стве значений на соответствующие входы элемента Ьі на вы ходе будем иметь
S = фм (Si, S2, . . . , SA-).
Эту функциональную зависимость выразим с помощью системы операций над логическими сетями.
В качестве такой системы можно взять следующие две операции:
1. < > — операцию разложения логической сети S на сумму логических сетей S|, S2, ..., S*, которая получается с помощью сечений S по направлениям j( j= l- ~ N ) .
Под сечением S по направлению у понимается сеть Sj, по лученная следующим образом: отмечаем нужный полюс, за тем /-ю дугу, концом которой является этот полюс, затем дуги ссі, •.., а,„, конец которых есть начало у’-й дуги, затем все повторяется для каждой дуги а; б{аі,..., а т] и т. д., пока не будет отмечен полюс «+ ».
Отмеченная сеть есть Sj.
2. f — операцию нахождения сети, инверсной сети S. Непосредственно эта операция применяется лишь к парал лельно-последовательным сетям (сетям типа 2П). Сеть типа 5П с добавленной К ней дугой, соединяющей полюса — И с точниковой дугой — является плоской сетью, то есть такой, которая может быть изображена на плоскости без пересече ний, не имеющих в самой сети.
Если сеть не является параллельно-последовательной, то перед применением операции f она приводится к виду 211 с помощью операции < > (для этого двухполюсную под сеть, не являющуюся последовательно-параллельной, пред ставляем в виде суммы подсетей 211).
Произвести операцию f над логической сетью S, .пред варительно приведенной к виду 2П, —это значит, в каждой области взять по точке (вершины инверсной сети). Если взя тые точки а и р лежат в соседних областях, имеющихна своей общей границе дугу,: которой соответствует буква т,Д то эти точки соединяются дугой, и ей ставится в соответст
вие буква /7i/+1(mod,). Точки, взятые в соседних областях,
55
разделенных Источниковой дугой, считаются цолюсами ин версной сети.
Таким образом, покрытие сети Ss осуществляется |
с по |
||||||
мощью алгебры <M ßs; < |
> ; t |
> , называемой схемной ал |
|||||
геброй. |
|
элемент Ьі |
|
В называется несвязным по вхо |
|||
Базисный |
в |
||||||
дам, если |
его |
функция, |
выраженная с |
помощью < > , |
t > |
||
соответствует дереву. |
|
В называется связным по входам, |
|||||
Базисный элемент Ьі |
в |
||||||
если его функция, выраженная |
с помощью операции |
< > , |
|||||
t , соответствует сети, содержащей циклы. |
|
||||||
В качестве примера рассмотрим покрытие сети на основе |
|||||||
системы |
элементов |
промышленной |
пневмоавтоматики |
(УСЭППА) [7], имеющих большое значение при построении управляющих логических машин. Основным элементом в этой системе является одновыходное трехмембранное реле. В зависимости от коммутации входных и выходного штуце ров существуют различные группы включения этих элемен тов. .
Рассматриваемся группа включений элемента, когда реле имеёт ца выходе два значения: «О» — соответствующий низ кому давлению воздуха ртга, «1» —соответствующая высоко му давлению воздуха рмакс, и не реализует память.
В случае наиболее общего включения реле, когда исполь зуются все его четыре входа, оператор, реализуемый им, имеет вид:
/? ==■ а\ (а2 V аз) V а2азщ,
где cti — значения на входах реле; R —значение на его выходе.
Остальные операторы, реализуемые данной группой спо собов включения, получены как частный случай оператора/?., когда на некоторые входы реле подаются «О» или «1». На одном реле можно реализовать 13 различных логических функций (без учета операции повторения • и реализации constant) в зависимости от способа включения. При получе нии этих операторов учитывалось следующее условие: если один и тот же оператор можно получить несколькими спо собами, то предпочтение отдавалось тому, где в качестве под пора подавалось ртш, соответствующее «О».
' Для преобразования логических сетей в логическую схе му заданного базиса функции, соответствующие его элемен ты выражаем через операции Ѵ;~.
57
Заменяем эти операции на обратные им < > ; f и пред ставляем логику базисного элемента в виде соответствующей структуры, изображая Ѵи~ следующим образом (рис. 4-3). Вследствие того, что выбор элемента Ri при покрытии сети, в общем случае, неоднозначен, рационально в смыс ле максимального использования элемента выбирать те эле-
S S
|
|
S |
О |
s j |
s=\(ë) |
|
Рис. |
4-3 |
менты, на входах которых получаем логические сети с мини мальной суммой дуг. Наибольший интерес представляют опе раторы, соответствующие схемам включения реле R \ — Не
соответствующие им структуры и сети, которые полу чаются на выходах при подаче на входы сетей, взвешенных одной переменной, показаны на рис. 4-4.
Как видно из этого рисунка, элементы со схемой включе ния R 1 и R 4 являются связанными по входам. Сеть, соответ ствующая R 1, имеет два цикла, R 4 — один.
Преобразование сетей в функциональную мультиструк туру, построенную из элементов УСЭПП А, иллюстрируется примерами, изображенными на рис. 4-5 и 4-6.
§ 4-4. Минимальные неориентированные булевы сети от четырех переменных
В настоящее время большое значение приобретает приме нение ключевых элементов с двусторонней проводимостью типа криотронных элементов.
Предложим каталог минимальных неориентированных се тей от четырех переменных, реализующих булевы функции ранга не более 8. Сети для функций ранга более 8 можно получать из соответствующей сети применением к ней рпе-
5S
Рис. 4-4
рации инверсии f . Каталог состоит из таблиц, в каждой из которых сверху расположены номер типа по гарвардской ну мерации [8], к которому принадлежит рассматриваемая функ
|(= V 10,1,2,6,7)
/
Рис. 4-5
ция, сложность неориентированной сети и десятичные экви валенты двоичных наборов, на которой эта функция прини мает единичное значение. Внизу таблицы находится соответ ствующая неориентированная сеть.
Сети каталога можно рассматривать как элементы носи теля вышерассмотренной алгебры при синтезе функциональ ных мультиструктур в заданном базисе,
60
/-Х/Хг ѵХ3 ѵХ5)у ^ (Х 3УХ5)
■f
61
I
1 |
* |
0 |
к
к
"[ h
0,15 |
8 |
.f |
|
|
Ѵ |
м ? ' |
|
£ |
[ |
к |
|
* |
І |
] * |
|
гj
•
3 $
ч7
■Ѵ\•
\х,
|
+ |
|
|
|
|
|
|
0,1 |
0,1,7 |
|
0 |
6 |
|
|
U |
. |
н |
и |
|
|
|
к |
|
* |
1 |
|
|
' |
к |
' |
*/ |
1 |
|
|
|
+ |
|
|
+ |
|
|
|
0,3 |
0,1,6 |
|
6 |
7 |
|
* .К * |
|
*3 |
|
|
|
|
Я, [ Л , |
|
|
|
|
|
|
хг |
1 |
|
4 |
v f |
, |
|
Х 'І |
• |
|
М |
|
|
|
|
+ |
|
|
|
|
|
|
|
|
+ |
|
|
|
|
0,7 |
|
77, /, /V |
|
7 |
8 |
|
к |
*» |
* |
|
f t |
|
|
• |
|
|
f t
+ |
6 \ Л |
|
+ |
||
|
62
63
17 |
7 |
|
0,1,2,13 |
|
|
|
л |
( к |
|
|
|
У |
|
К |
|
|
К |
|
А |
|
|
|
+ |
|
18 |
8 |
|
0,1,2,15 |
|
|
|
*4 / A |
A |
A |
' |
|
( А |
|
\ |
|
|
|
|
А |
|
|
* |
ѵ |
, |
19 |
1 5 |
1 |
0,1,6,7 |
% |
\ А |
|
|
V , |
|
|
+ |
|
га 1 в |
о ,ш о |
|
4 |
' / ' ^ |
- |
Z |
J L A . |
|
а Л \ . |
А ч |
|
|
* Л Л |
|
|
+ |
|
0,1,6,11 |
9 |
21 |
КА Т'^ Л
<А
0,1,8,19 |
|
8 |
22 |
|
|
^ 4# |
|
X, |
|
\х , |
|
• |
|
• |
|
|
+ |
|
|
0,1,6,15 |
|
8 |
1 23 |
4 |
А \ 4 |
|
|
А |
_ |
\ г |
|
| \ |
5 — |
^ |
|
* |
І \ А |
, |
|
|
mL. |
|
|
0,1,19,15 |
|
6 |
29 |
*і [ |
] '/ |
« V f '
/
64
25 £ 0,5,5,6
ѵ м - 7О; £> -
< 1 X 1 *
^ \ у
+
гв /<9 0ДД0
V « ^]>’Ч
|
|
+ |
|
и 0,3,5J0 |
|
|
^ *ч Л. |
|
|
_.> |
х , . |
• |
41/^Х \/г |
|
|
*' l ^ |
J |
<?<? |
;/ |
лад/*1 |
-;і ѵ * ! ѵ *!>^ к
4 x 4
0,3,12J5 |
■ |
|
8 |
29 |
|
|
|
у |
у |
|
|
|
|
Ь \ Л |
|
|
|
|
|
1/ Aj* |
|
|
|
|
|
x S Â , |
|
|
|
|
|
|
+ |
|
|
|
0ДД/* |
\ |
' to |
30я |
|
|
|
|
|
|
|
|
|
4 - А Л |
|
|
|
|
|
|
> |
|
|
|
4 !^<!^ |
|
|||
|
X + |
|
|
||
|
0,1,2,3,0 |
|
4 |
31 |
|
|
|
•a |
|
|
|
|
, |
у |
N* |
|
|
|
Л |
л - |
|
||
|
|
|
|л |
|
|
|
|
+ |
|
|
|
0,1,2,3,12 |
|
6 |
32 |
||
А |
* , $ |
- |
|
||
, ,* |
;,, |
/ |
V |
|
|
f‘ |
i ;x |
4 . |
|
||
|
4 |
\ . A |
!. |
|
+
t
5 — 2095 |
65 |