Производится построение системных выходных ф-ий Y=f(X, Z+) и сис-мы ф-ий возбуждения
На этом этапе заданный автоматный оператор A оформляется в виде алгоритма, исходя из уст треб-ий. Поиск опт алг-ма по A можно представить в виде дерева, каждый лист которого соответствует опредленному алг-му, а кол-во таких листов заранее не известно. Проектирование автоматного опер-ра заключается в построении автоматного отображения по словесному описанию(цель проектирования, назначение автомата, свойства поведения упр-го объекта)
Автоматное отображение обычно задается графом переходов (каждая вершина взаимно однозначно соответствует внутр состоянию автомата, если из gi переходит в gj то соотв вершины ui uj соед-ся дугой (ui uj) взвешенной парой векторов (X,Y) по к-м переход и осуществляется
При преобразовании неформальной инф-ции в формальную сис-му используется принцип аналогий. Формально мб основан на прим-ии грамматик, в к-х правила подстановки формализуют данные св-ва упр-го объекта.
В рез-те применения грамматик порождаются композиции графов переходов, соотв описанию. Часто двухуровневые: 1 ур – графы пер-в, реакция к-х – воздействие на объект, 2 ур – граф пер-в, реакция к-го – возбуждение инициальных вершин графов 1-го уровня
Зная опер авт-т и алгоритм, можно составить временную диаграмму функционирования управляющего автомата – алгоритм выполнения операций в терминах управляющих точек – микроопераций. Но вр диаграмма еще не дает апп. отображения, тк 1 знач вх вектора(опр-т вып-ую опер-ию) соотв-т нексколько значений вых вектора(микрокоманд). Необходимо ввести в автомат память, при этом задать заведомо достаточный объем памяти. Тогда совокупность вх вектора и сост-ия памяти однозначно опр-т микрокоманду.
32. Абстрактное проект-ие автоматов.
Математической моделью устройства с памятью является абстрактный автомат, который представляет собой совокупность пяти конечных множеств:
где A={a0, a1,.aM} - множество состояний автомата;={Z1, Z2,.ZF} - множество входных сигналов;={W1, W2,.WC} - множество выходных сигналов;
сигма- функция переходов, обеспечивающая выработку последующего состояния as автомата в зависимости от существующего состояния aM и входного воздействия Zf;
лямбда - функция выходов, обеспечивающая выработку выходного сигнала автомата в зависимости от его состояния aM и входного сигнала Zf.
Абстрактный автомат имеет один входной и один выходной каналы, и каждой букве входного алфавита Z ставит в соответствие букву или слово выходного алфавита W.
Автомат называется синхронным, если он описывается a(t) и W(t) как автомат Мили. Автомат называется асинхронным, если его функция переходов описывается как у автомата Мура.
В синхронном автомате осуществляется синхронизация внешних и внутренних сигналов, в то время как в асинхронном этого нет, и для представления последовательности одинаковых букв вводится какая-либо разделяющая их буква, не несущая информации.
