Многоэлектродные машины для контактной сварки
Внимание! эта страница распознана автоматически, поэтому мы не гарантируем, что она не содержит ошибок. Для того, чтобы увидеть оригинал, Вам необходимо
Если Вы являетесь автором данной книги и её распространение ущемляет Ваши авторские права или если Вы хотите внести изменения в данный документ или опубликовать новую книгу свяжитесь с нами по по .
Страницы: 1 2 3... 81 82 83 84 85 86 87... 258 259 260
|
|
|
|
Равнозначностью (эквивалентностью) высказываний а и b называется ново^ высказывание а^Ь (читается: а равнозначно Ь, нли а эквивалентно 6), которое истинно тогда и только тогда, когда а и b одновременно истинны или одновременно ложны. Значение истинности а~Ь определяется по табл. 6.5. С по. мощью введенных операций с элементарными высказываниями ai, 02, ..., а„ строятся сложные высказывания, например: аіЛ"2; сцУаг, ai-^a^; Oi, а^^йг. Каждое из этих высказываний, являясь двоичной функцией, может принимать определенное значение истинности и, будучи обозначено одной буквой, может быть рассмотрено как элементарное высказывание. Объединяя такие формулы логическими связями, получим более сложные формулы, например: 1аі-[(аіЛ"2)-("з~а4)]) Л (Oi V аг). Скобки в таких выражениях указывают область действия логического знака. В нашем примере знак -v внутри квадратной скобки связывает {а[/\а2) и (аг~а^). Знак после а, связывает йі и квадратную скобку, но не распространяется на аіХ/^гЗнак отрицания, если он стоит над сложным выражением, относится ко всему этому выражению. Логические формулы допускают разные тождественные преобразования с целью их упрощения или придания более удобного для практики вида. В алгебре логики принято, что более тесную связь дает конъюнкция, затем дизъюнкция. Кроме того, принято, что знак отрицания "теснее" знаков Л, V. ~Знаки V и Л "теснее" знаков и Для доказательств в алгебре логики используются таблицы истинности. В дальнейшем при описании принципиальных и структур-ІШІХ электрических схем и схем управления многоэлектродных машин будем пользоваться принятыми условными обозначениями сигналов, использовать формулы алгебры логики для записи функциональных зависимостей между сигналами. 6.2. СТРУКТУРНАЯ СХЕМА ЭЛЕКТРООБОРУДОВАНИЯ МНОГОЭЛЕКТРОДНОЙ МАШИНЫ На рис. 6.1 представлена обобщенная структурная схема электрооборудования многоэлектродной машины для контактной сварки. Включение и выключение напряжения питающей сети осуществляются автоматическим выключателем, устанавливаемым, как правило, в силовом электрическом шкафу. Автоматический выключатель (входной автомат) отключается сигналом, 85
Карта
|
|
|
|
|
|
|
|
Страницы: 1 2 3... 81 82 83 84 85 86 87... 258 259 260
Внимание! эта страница распознана автоматически, поэтому мы не гарантируем, что она не содержит ошибок. Для того, чтобы увидеть оригинал, Вам необходимо скачать книгу |
