Файл: Добролюбов, А. И. Автоматизация проектирования систем управления технологическими машинами.pdf

£■={6 — если периоды включения переменной и вы­ хода совпадают или их состояния противо­ положны;

q — число периодов включения выхода.

2. Выбираем первый выход в ТУС и из состояний входных переменных, которым соответствуют единичные и нулевые состояния этого выхода, формируем таблицы

Hi° — число непрерывных нулевых, состояний пе­ ременной в Ml, начиная с первого состоя­ ния;

у ° — число нулевых состояний переменной в Ml; Vg1— число единичных состояний переменной в

МО.

4.Столбцы в таблицах Ml и МО упорядочиваются по мере убывания критерия В.

5.Определяется конъюнкция для первого единичного состояния выхода путем последовательного выбора пе­ ременных, начиная с первой, и сравнения состояний выб­ ранных переменных в Ml и МО. Формирование конъюнк­ ции закончено, как только совпадающих наборов в Ml и МО не обнаружено.

6.Из Ml вычеркиваются состояния (строки), реали­ зованные полученной конъюнкцией. Состояние считаем реализованным, если состояния всех переменных, вошед­

ших в коньюнкцию, равны состояниям этих переменных в первой строке Ml.

117

а) При наличии нереализованных состояний перехо­ дим к п. 3.

б) При отсутствии нереализованных состояний выби­ рается следующий выход в ТУС и осуществляется пере­ ход к п. 2.

7. В результате реализации описанного алгоритма для каждого выхода будет получена структурная форму­ ла в дизъюнктивной нормальной форме (ДНФ). Даль­ нейшая обработка полученной ДНФ заключается в обра­ зовании скобочной формы по алгоритму А [14].

Суть этого алгоритма заключается в том, что очеред­ ность вынесения переменных за скобки определяется чис­ лом их вложений в ДНФ.

Рассмотрим работу описанного алгоритма получения структурных формул для выходных аппаратов без об­ ратной связи на примере.

Пусть требуется получить структурную формулу для аппарата без обратной связи 2303 (ЗЭ) по табл. 28.

1. Определим критерий С [см. выражение (9)] для входных и промежуточных переменных:

118

4. Упорядочим столбцы таблиц Ml и МО по мере убывания В.

5. Возьмем переменную 3002. Ее первое состояние в Ml (0) имеется также в МО, поэтому добавим перемен­ ную 3003. Набор состояний выбранных переменных 01 в МО не встречается, поэтому для первого единичного сос­

тояния выхода 2303 получим конъюнкцию 3002Д 3003. 6. Полученной конъюнкцией реализовано и второе

состояние в Ml, поэтому окончательно имеем

/2 3 0 3 = 3002Д 3003.

Вописанных алгоритмах получения структурных фор­ мул для АУ с обратной связью и без нее рассматрива­ ются только используемые состояния СУ, записанные в ТУС. На всех неиспользуемых состояниях СУ состояния АУ доопределяются нулем. Для слабоопределенных функций, с которыми мы имеем дело, это наиболее про­ стой путь решения задачи. И хотя в некоторых случаях возможно получение избыточных структурных формул, однако этот недостаток компенсируется тем, что доопре­ делив значения выходов на неисйользуемых состояниях нулем, мы повышаем безаварийность работы управляе­ мой машины. Действительно, движения рабочих органов осуществляются, как правило, при включении выходных аппаратов. При выбранном подходе появление неисполь­ зуемых состояний переменных в результате отказов СУ либо нарушений в работе машины вызывает в большин­ стве случаев отключение выходных аппаратов и прекра­ щение работы ТМ.

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

119

зующими дополнительные условия. Для решения этих задач в структурные формулы МЧ и в соответствующие выражения КЧ вводятся вспомогательные переменные. Последние кодируются номерами ТУС, к которым отно­ сятся связываемые цепи.

Обозначим ап вспомогательную переменную А-й ТУС. Тогда выражение (6) можно представить в виде

Объединенная формула цепей аппарата А, построен­ ная на основании ТУС, содержащих этот аппарат, будет иметь вид:

120