ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 14.10.2024
Просмотров: 110
Скачиваний: 0
Булева алгебра
Приведенные элементарные высказывания можно складывать в новые составные высказывания, добавляя дополнительные пере менные и образуя составные логические функции нескольких пере
менных. |
Изучение |
и описание этих функций составляет |
предмет |
|||||
Булевой |
алгебры. |
|
|
|
|
|||
|
Основными законами Булевой алгебры являются |
|
||||||
|
коммутативный |
(переместительный) : |
|
|||||
а |
• Ь = Ь • а; |
а\/ |
Ь = |
Ь\/ |
а; |
(29) |
||
|
ассоциативный |
(сочетательный) : |
|
|||||
а • (Ь • с) = |
(а • Ь) • с; |
|
|
|||||
ау |
{Ь\/c) |
= |
(a\J |
Ь)У |
сУ |
( 3 0 ) |
||
|
дистрибутивный |
(распределительный) : |
|
|||||
а |
• (b |
\Jc) |
= |
a • b \ J а |
• с- |
|
(31) |
|
ay |
(b |
• с) = |
(а У b) (а |
у |
с); |
(32) |
|
иденпотентный: |
|
|
|
|
||||
ay a = a ay 0 = a |
a \ / l = |
l ; | |
^ |
||||||
a |
• a —a |
|
a • 0 = |
0 |
a\J0 = |
a;j |
|
||
|
дополнения: |
|
|
|
|
|
|||
a V a = |
1 |
a • a = |
0; |
|
|
(34) |
|||
|
инволюции: |
|
|
|
|
|
|||
a=-a- |
|
|
|
|
|
|
|
(35) |
|
|
де Моргана |
(инверсии): |
|
|
|||||
^ |
= _ a |
- |
' |
; |
J |
|
|
|
(36) |
a |
• b = |
a V |
b. |
|
|
|
|
||
Из этих законов вытекают следующие |
правила: |
||||||||
|
поглощения: |
|
|
|
|
||||
а |
• (a у |
Ь) = а\ |
1 |
|
|
|
^ |
||
а V (а |
• Ь) =^а; |
) |
|
|
|
|
|||
|
поглощения |
отрицания |
|
|
|||||
аУ{а.Ь) |
|
|
= аУЬ; |
J |
|
|
|
||
а |
• (а |
У |
Ь)=а |
• Ь. |
) |
|
|
|
Доказательства выведенных законов оставляем читателю [16,
35].
Одной из групп Булевых функций являются функции, связан ные с функциями исчисления высказываний двузначной логики
86
(которые мы будем называть алгеброй логики). Следует отметить, что логические функции трех переменных имеют восемь возмож ных комбинаций значений входных переменных, что позволяет со ставить 256 логических функций. Для п переменных существует 2п их комбинаций и 2 2 п функций. Нуль выражает логическую невоз можность, а единица — истинность высказывания.
Булева алгебра может быть использована для анализа логиче ских схем, образованных параллельным и последовательным соединением контактов реле. Дизъюнкция определяется парал лельным, конъюнкция — последовательным соединением контактов реле. Отрицание создается размыкающим контактом реле. Нуль отображает состояние, когда через контур не проходит ток, а еди ница — когда ток проходит.
При решении логических схем всегда стремятся составить ло гическую функцию, которая определяется по таблице или при по мощи функций алгебры логики, посредством трех основных функ ций (каждую функцию алгебры логики можно выразить в виде формулы, составленной из логической конъюнкции, дизъюнкции и отрицания).
При помощи правил Булевой алгебры или другим методом минимизации стремятся затем упростить полученную функцию. Имеется в виду минимальная форма, которая содержит минималь ное число знаков (символов) по сравнению с остальными эквива лентными нормальными формами (две нормальные функции явля ются эквивалентными, если они выражают одинаковую функцию).
П р и м е р 1.
Выразите дизъюнкцию, конъюнкцию и отрицание при помощи: а) функции Шеффера; б) функции Пирса.
а) а\а — а • а = а\
(а\а)\(Ъ |
\ b)=~â\b |
= |
~â -b |
= |
a\Jb\ |
||
(а |
\ b) |
\ (а \ b) — ab |
\ ab |
= |
ab |
• ab = а • b; |
|
б) |
a \ a = a\J а — a\ |
|
|
|
|
|
|
{a\b)\ |
{a\b)=a\J |
b \a\J |
b |
a\J |
b\J а V b = a\J b; |
{a\ |
a) \ {a |
\ b)— a \ |
b = |
a\jb |
а • |
b. |
|
|
П р и м е р |
2. |
|
|
|
|
|
|
Упростите |
схемѵ |
строенного |
реле |
(см. |
||
рис. |
30, а) . |
|
|
|
|
|
|
|
Схема |
строенного |
реле |
выражается |
функцией
/ {а, Ь, с) = ab V ас V be.
Если вынести за скобку из первого и вто рого члена а, то получим
/ (a, b, с)=а (b V с) V be.
Рис. 33. Упрощенная схема соединения строенного фотореле
Из схемы соединения (рис. 33) видно, что нам удалось исключить один кон такт реле А.
87
Поэтому при решении схем автоматики необходимо не только получить правильную функциональную зависимость между вход ными и выходными переменными, но и упростить вид логической функции так, чтобы при ее реализации потребовалось как можно меньшее количество применяемых логических элементов.
Упрощения логических функций, выраженных обычно одной из полных нормальных форм, можно достичь при использовании Бу левой алгебры, даже не имея большого опыта. Однако эта работа связана с большими затратами труда. Поэтому часто пользуются специальными методами минимизации: геометрическим, неопреде ленных коэффициентов, минимизирующих карт (таблицы Говардского университета), Квине, Вайтча—Карно, при помощи диа граммы Венна и др. Поскольку изложение этих методов выходит за рамки данной книги, интересующиеся могут обратиться к лите ратуре [35].
3. КОМБИНАЦИОННЫЕ СИСТЕМЫ АВТОМАТИКИ
Законы Булевой алгебры и методы минимизации можно ис пользовать для синтеза схем программного управления лишь в том случае, если выходные переменные зависят от мгновенных комбинаций входных переменных. Определенной комбинации входных переменных всегда соответствует лишь одно значение (из двух возможных) выходной переменной. Математическое описание работы управляющих устройств представлено так называемой ком
бинационной логической функ-
Фотореле |
|
цией. |
|
Соответствующие системы |
||||||
Кнопка 1 |
|
автоматического |
управления |
на |
||||||
управления |
|
зывают |
в |
ЧССР |
однотакт- |
|||||
|
|
ными |
|
комбинационными |
систе |
|||||
ts |
s |
мами |
автоматики. |
|
|
|
||||
|
Наиболее характерным |
приме |
||||||||
|
|
ром комбинационных систем авто |
||||||||
Логический элемент |
матики |
является |
блокировка. |
|||||||
Под |
блокировкой |
понимают |
за |
|||||||
|
|
|||||||||
Рис. 34. Схема управления прессом |
висимость операции |
пуска |
техно |
|||||||
|
|
логического |
оборудования |
от |
вы |
|||||
полнения условий, определяемых |
требованиями к эксплуатации обо |
рудования, качеству изделий и безопасности работы обслуживаю щего персонала. Блокировка может быть механической, гидравли ческой, пневматической и электрической.
В качестве примера блокировки можно привести схему защиты на прессе. Пресс нельзя ввести в действие до тех пор, пока руки рабочего находятся в опасной зоне. Защита выполнена с помощью фотореле. Контакт фотореле включен в схему управления прессом (рис. 34). Блокировка является одним из самых простых случаев комбинационных систем автоматики.
В металлургических цехах логическая структура схем защиты достаточно проста. Но и при проектировании относительно про-
88
стых схем автоматики необходимо придерживаться следующей по следовательности операций:
а) охарактеризовать технологические условия; б) составить уравнение логической функции; в) упростить форму логической функции;
г) составить символическую схему логической функции; д) сконструировать логические элементы, реализующие полу
ченную логическую функцию.
Способ описания работы оборудования может быть различным. Обычно применяют или словесное описание, или вероятностные таблицы. При словесном описании работа оборудования формули руется таким образом, чтобы между отдельными утверждениями можно было поставить союзы (функторы, образующие фразы) «и», «или», «если не», которые потом заменяются логическим произве дением, суммой, инверсией. Благодаря этому непосредственно на основании словесного описания можно составить уравнения, кото
рые |
затем упростить |
(следует |
при |
этом иметь |
в виду, |
что некото |
||
рые функторы по своему значению не всегда эквивалентны |
своим |
|||||||
аналогам в разговорной речи, например союз «или»). |
|
|
||||||
П р и м е р. |
|
|
|
|
|
|
|
|
Управление |
приводом |
шпинделя |
пресса. |
Предложите |
схему управления при |
|||
водом |
пресса. |
Двигатель |
привода — трехфазный, асинхронный, |
реверсивный. |
||||
Шпиндель может быть приведен в действие лишь в том |
случае, |
если на |
прессе |
|||||
уже находится |
предназначенная для |
обработки деталь. |
Положение этой |
детали |
контролируют два концевых выключателя, причем для контроля достаточно сра батывания одного из них. Управление работой двигателя осуществляется от кнопки. Реверс трехфазного двигателя осуществляется с помощью двух контакторов, из которых должен быть включен лишь один, в связи с чем один контактор вклю чается лишь при отключении другого. Наконец, необходимым условием вклю чения является нажатие кнопки оператором. Поэтому условие включения кон тактора S, являющегося выходным элементом системы, можно сформулировать следующим образом: контактор 5 должен быть включен, если включен концевой
выключатель |
К1 |
(контакт k{) |
«и» кнопка А (контакт а) |
«и если не» |
включен |
||
контактор S2 |
(вспомогательный контакт s2 ), «или» если включен концевой вы |
||||||
ключатель К2 |
(контакт |
k2) «и» кнопка А (контакт а) «и если не» включен контактор |
|||||
S2 (вспомогательный |
контакт |
s2 ). Все элементы являются входными, так |
как они |
||||
извне |
влияют |
на работу системы. Исключение составляет контактор 5, с по |
|||||
мощью |
которого |
в данном случае осуществляются внешние |
проявления |
системы |
и который является поэтому выходным элементом. На основании словесного описания составим уравнение так, что все «и» заменим умножением, а все «или»
сложением. Условие «если не» выразим размыкающим инверсионным |
контактом. |
|||||||||||
Тогда функцию F(S) контактора S можно записать |
в виде |
|
|
|
||||||||
F (S) = kx |
• а • Г2 |
V k2 |
• а • ~s2. |
|
|
|
|
|
|
(39) |
||
Уравнение |
(39) можно |
записать также в следующей |
форме: |
|
|
|
||||||
F = |
(kias2 |
V |
hase |
S. |
|
|
|
|
|
|
|
(40) |
|
Здесь |
с |
помощью |
знака умножения |
показана |
связь выходного |
элемента 5 |
|||||
со |
всей |
контактной |
комбинацией. |
В |
уравнении |
(40) буква _ а использована |
||||||
для |
обозначения |
всех |
замыкающих |
контактов |
кнопки A, |
a s2— для |
обозна |
|||||
чения всех размыкающих контактов контактора 5. |
Все эти контакты, |
независимо |
||||||||||
от |
того, |
каково |
их |
количество в |
реальном |
устройстве, |
имеют |
для |
схемы |
89
одинаковое функциональное значение и для математического выражения являются
тождественными. |
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
Теперь |
следует упростить форму |
функции. Хотя функцию |
(40) |
уже |
нельзя |
|||||||||
к, |
о |
|
|
|
|
|
больше |
минимизировать, ее можно выра- |
|||||||
р^ |
|
|
|
зить в |
другой |
минимальной |
форме, на |
||||||||
S, |
|
|
|
|
|
|
пример: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
F(S)=a-s2 |
|
(*, V*2). |
|
|
|
(41) |
|||
|
|
|
|
|
|
F(s) |
|
|
|
|
|||||
"г |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Если |
мы сравним |
обе |
формы |
с |
точки |
||||
а |
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
зрения |
использования |
логических |
элемен- |
||||||
|
|
|
|
|
|
|
|||||||||
К, с - |
|
|
|
|
F(5) |
|
|
|
|
|
|
|
|
|
|
к, |
о - |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
д_ о - |
|
|
|
|
ff |
|
|
IT |
|
|
|
|
|
|
|
|
о - |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Рис. |
35. |
Символическая |
схема |
управ |
|
|
|
|
|
|
|
|
|
||
|
|
|
ления |
прессом: |
|
|
|
|
|
|
|
|
|
|
|
а — по |
у р а в н е н и ю |
(39); |
б —по |
уравне |
Рис. |
36. |
Конкретная |
с х е м а |
управления |
прес |
|||||
|
|
|
нию |
(41) |
|
|
|
|
|
|
сом |
|
|
|
|
тов |
(рис. 35), то |
увидим, что для реализации |
второго |
уравнения |
нам |
потребуется |
|||||||||
на один логический элемент меньше. Конкретная |
схема, |
реализующая |
функ |
||||||||||||
цию F(S), |
показана на рис. |
36. |
|
|
|
|
|
|
|
|
|
4.ПРОГРАММНЫЕ СИСТЕМЫ АВТОМАТИКИ
Для некоторых технологических процессов нет необходимости
связывать управление |
системой с состоянием ее |
элементов, |
как |
||
это имело |
место в |
комбинационных |
системах. |
Здесь имеются |
|
в виду, как |
правило, |
такие системы |
автоматики, |
программа |
ра |
боты которых определяется непосредственно временными интерва лами или изменением другой физической величины, причем нет необходимости проверять, выполнена ли технологическая опера ция в рассматриваемые интервалы времени. Примером такого уст ройства может служить «рекламное» устройство для включения и отключения определенных светящихся схем в данные интервалы
времени, |
процессы тепловой |
обработки различных изделий и др. |
Так как |
такие устройства |
работают по заранее заданной про |
грамме без учета остальных технологических процессов, их назы
вают программными устройствами, или |
программной автоматикой. |
|||||
Как уже было сказано, программа может задаваться с помо |
||||||
щью временных зависимостей или зависеть |
от значений других ве |
|||||
личин — регулировки величины зазора |
между валками |
прокатной |
||||
клети в соответствии с планом обжатий |
(в зависимости |
от |
числа |
|||
проходов) или |
движения |
инструмента |
в |
зависимости |
от |
формы |
шаблона и т. д. |
|
|
|
|
|
|
Программные системы |
автоматики |
подразделяют по |
принципу |
|||
и конструкции |
программного устройства, |
т. е. устройства, которое |
управляет работой собственно исполнительных органов или рабо той реле и контактов, управляющих затем исполнительными орга-
90