2.5.1. Синтез дискретных схем по таблицам состояний.

По таким таблицам достаточно просто может быть выполнен синтез однотактных систем управления. Таблицы состояний составляют на основе изучения условий работы технологических аппаратов и определения, при каких соотношениях входных сигналов должны быть сигналы на выходе, а при каких нет. На основании таблиц составляют алгебраические выражения, описывающие логические связи данной системы и, следовательно, определяющую ее структуру. При составлении алгебраических выражений применяются правила истинности (правило единиц) или ложности (правило нулей).

Согласно правилу единиц для строк таблиц состояний, где выходная величина 1, определяют дизъюнкции конъюнкций входных переменных для строк, где выходная величина равна 1, т.е. определяют произведения входных величин и складывают их.

Согласно правилу ложности, структурную формулу составляют путем определения конъюнкции дизъюнкций входных сигналов строк таблиц состояний, в которых выходная величина равна 0.

Пример.Пусть работа объекта контролируется тремя датчиками. Условия работы системы: на выходе логического устройства должен появиться сигнал, приводящий в действие исполнительный элементX, если на вход поступают два из трех любых сигналов или все три сигнала (мажоритарная функция, схема голосования два из трех).

Таблица состояний (табл. 2.3) для данного примера имеет следующий вид:

Таблица 2.3. Состояние автомата

Структурная формула, определяющая условия работы схемы и составленная согласно правилу единиц, имеет вид

(2.1)

Полученное выражение минимизируется с целью получения структуры. Для этого используются основные законы алгебры логики или специальные методы. Предварительно для упрощения дважды повторим последний член выражения (2.1), а затем сгруппируем и вынесем общие множители, получим

Так как выражения в скобках дают 1, то структурная формула имеет вид

Х =ab +ас +bс (2.2)

Релейно-контактная схема, реализующая полученную ЛФ, приведена на рис. 2.5.

Рис. 2.5. Реализация логической функции (2.2) в виде релейно-контактной схемы

Схема на логических элементах приведена на рис. 2.6.

Рис. 2.6. Реализация функции (2.2) на логических элементах

Дальнейшее упрощение (2.2) приводит к виду

X=a (b+c) +bc.(2.3)

Релейно-контакторная схема, реализующая полученную ЛФ, приведена на рис. 2.7.

Рис. 2.7. Схемная реализация логических функций (2.3)

Схема на логических элементах приведена на рис. 2.8.

Рис. 2.8. Реализация функции (2.3) на логических элементах