Системы управления электроприводов. Токмакова Л.И. - 35 стр.

    Вариантом включения логического элемента называется упорядо-
ченная относительно его входов совокупность подаваемых на эти входы
переменных. Варианты включения одного элемента отличаются друг от
друга составом, числом или порядком его входных переменных. Варианты
включения некоторого логического элемента, при которых входная
функция этого элемента отличается от исходных переменных на данном
шаге и констант, называются рабочими вариантами.
    Полученная таким образом расширенная таблица состояний избы-
точна и поэтому из нее можно выделить неизбыточные таблицы состояний.
Неизбыточной таблицей называется такая непротиворечивая таблица,
удаление из которой столбца любой одной переменной сделает ее
противоречивой. Такое выделение соответствует выделению различных
вариантов правильного ( непротиворечивого) кодирования значений син-
тезируемой функции f.
    Эти варианты кодирования могут различаться между собой, например,
числом ns, кодирующих переменных при s-м варианте кодирования, т.е.
числом столбцов в неизбыточной таблице состояний, или числом Ns по-
разному закодированных определенных значений функции f, т. е. числом
строк в таблице состояний, и, кроме того, числом, составом, суммарной
стоимостью и схемами включения требуемых для реализации такой
таблицы логических элементов. Процедура получения оптимального
решения в этом случае громоздка.
    При получении приближенного решения процедура построения
неизбыточных таблиц состояний может быть проведена в виде последо-
вательности отдельных шагов. При этом должна быть предварительно
назначена функция предпочтения, экстремальное значение которой ис-
пользуется при выборе частных решений на каждом шаге процедуры, и
должна быть доказана сходимость процедуры, т. е. возможность получения
полного решения за конечное число шагов. В этом случае сокращается
общее число операций, хотя может быть получен вариант решения,
отличный от оптимального.
    На каждом шаге из числа кодирующих переменных расширенной
таблицы состояний выбирается одна кодирующая переменная искомой
сокращенной таблицы состояний.
    Шаги процедуры построения сокращенной таблицы состояний вы-
полняются до тех пор, пока не будет получена непротиворечивая таблица.
Эта таблица является исходной для осуществления следующего шага
процедуры синтеза. По ней снова строится расширенная таблица
состояний. Логические элементы, соответствующие кодирующим пере-
менным новой таблицы состояний, включаются в синтезируемую струк-
туру по схемам, соответствующим вариантам включения этих элементов.
Синтез завершается получением таблицы состояний с одной кодирующей