Теоретические основы систем управления дискретного действия. Кузьмин А.В. - 75 стр.

UptoLike

Составители: 

Рубрика: 

75
автоматики и т.п. Универсальность теории автоматов позволяет
рассматривать с единой точки зрения различные объекты, устанавливать
связи и аналогии между ними, переносить результаты из одной о бласти в
другую.
3.3. ТАБЛИЧНЫЕ СПОСОБЫ ЗАДАНИЯ КОНЕЧНОГО АВТОМАТА
Для задания конечного автомата необходимо определить его входной Х
ивыходнойУалфавиты, множества S внутренних состояний, функции
выходов v и переходов φ. При этом используются словесные описания,
таблицы, графы, матрицыипр.
Элементы множеств X, S, Y часто нумеруют порядковыми числами,
начиная с нуля, например :
обозначают символами соответствующих алфавитов :
или используют смешанное обозначение.
Функции выходов v и переходов ψ можно представить двумя таб-
лицами, строки которых соответствуют состояниям, а столбцы входам
автомата. Первая таблица называется таблицей переходов и соответствует
функции переходов ψ(x(h), s(h)=s(h+l), ее клетки заполняются
обозначениями состояний s(h+l), в которые переходит автомат при
воздействии x(h), и состояний s(h) в данный тактовый момент. Вторая
таблица называется таблицей выходов и соответствует функции выходов
v(x(h), s(h)=y(h), ее клетки заполняются обозначениями выходов y(h) в
данный тактовый момент, которые соответствуют воздействию x(h) и
состоянию s(h) вэтотжемомент.
В качестве примера рассмотрим составление таблиц переходов и
выходов для автомата М, представляющего собой автоматическую ре-
вольверную головку токарного станка с УЧПУ [5]. Револьверная головка
имеет четыре положения, каждое из которых может устанавливаться в
рабочее положение путем поворота блока резцедержателей на четверть
оборота по часовой стрелке. Таким образом, установка рабочего положения
происходит последовательным перемещением из о дного в другое положение
револьверной головки, происходящим в одном направлении. Обозначив
положение s
0
,s
1
,s
2
,s
3
, отметим, что переход из положения в положение
возможен лишь в сторону увеличения их индексов с переходом старшего на