Опубликован: 17.02.2011 | Уровень: специалист | Доступ: платный
Лекция 10:

Синхронизирующие эксперименты с линейными автоматами

< Лекция 9 || Лекция 10: 12 || Лекция 11 >
Аннотация: Описываются модели стационарных и нестационарных линейных автоматов, их структура и элементарные составляющие. Приводятся основные понятия теории экспериментов с линейными автоматами, формулы для вычисления конечных состояний и реакций автоматов. Исследуются синхронизирующие последовательности: критерий существования, их свойства, верхняя оценка длины минимальных СП. Описан метод решения задачи перевода автомата в заданное синхросостояние.

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

Эта лекция посвящена исследованию некоторых из перечисленных выше экспериментов для линейных автоматов (ЛА). Предварительно мы опишем объект исследования и приведем основные определения, которые потребуются в дальнейшем.

Основные определения

Начнем с краткого описания модели ЛА, а для более детального знакомства с ней отошлем читателя к монографиям [19], [66]. ЛА является системой с конечным числом входных полюсов, к которым подводятся внешние сигналы, и с конечным числом выходных полюсов, на которых наблюдаются сигналы реакции. Воздействия, поступающие на ЛА, прикладываются одновременно ко всем входам в дискретные моменты времени, которые для удобства представляются целыми числами. Интервалы времени между двумя такими последовательными моментами называются тактами.

Структурная схема ЛА состоит из соединения конечного числа элементарных составляющих, каждая из которых мгновенно выполняет одну из трех функций:

  • сложение входных сигналов по правилам конечного поля, над которым задан ЛА;
  • умножение входного сигнала на константу по правилам конечного поля, над которым задан автомат;
  • задержку входного сигнала на один временной такт.

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

Определим три типа компонент, называемых элементарными составляющими ЛА над конечным полем GF(p)=\{0,1, \dots, p-1\}.

  1. Сумматор. Сумматор имеет l входов и один выход. Если на входе появились сигналы u_1(t), u_2(t),\dots, u_l(t) , то на выходе появляется реакция u_1(t)+ u_2(t)+\dots+u_l(t) (\mod p) .
  2. Усилитель. Усилитель с константой a из поля GF(p) имеет один вход и один выход. Если на входе действует сигнал u(t) , то на выходе появляется сигнал ?u(t)(\mod p) .
  3. Задержка. Задержка имеет один вход и один выход. Если входной сигнал равен u(t) , то на выходе появляется сигнал u(t-1) .Сигнал u(t) обычно называют состоянием задержки в интервале времени от t до t+1.

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

Отметим, что усилитель с константой 0 или 1 обозначают соответственно разрыв и прямое соединение. Таким образом, ЛА над полем GF(2) (двоичный ЛА) состоит только из сумматоров по модулю 2 и задержек. Поэтому практическая привлекательность двоичных ЛА вполне очевидна.

Усилитель с константой p-1= -1 называется инвертором; такой элемент просто изменяет знак входного сигнала.

Двоичные ЛА являются очень удобными математическими моделями реальных электронных устройств.

Условимся считать, что число входных полюсов ЛА равно l, число выходных полюсов равно m. Предполагается, что входные сигналы принимают значение из поля GF(p)=\{0,1,\dots , p-1\}, где p - простое число. Под состоянием ЛА понимается упорядоченная совокупность состояний элементов задержек (обозначим их число через n ), входящих в состав ЛА. Число n обычно называют размерностью ЛА, и множество состояний обозначают через S_n.

Введем следующие обозначения:

\bar u(t)= [u_1(t),\dots , u_l(t)]', \bar y(t)= [y_1(t),\dots, y_m(t)]', \bar s(t)= [s_1(t),\dots, s_n(t)]'.

Здесь \bar u(t), \bar y(t) \bar s(t) - входной, выходной векторы и вектор-состояние соответственно, а через t обозначен момент дискретного времени.

Функционирование ЛА \tilde A задается системами уравнений состояний и выходов соответственно:

\bar s(t+1)=A \bar s(t)+B\bar (t) ( 10.1)
\bar y(t)=C \bar s(t)+D\bar u(t) ( 10.2)

где A=[a_{i,j}]_{nxn}, B=[b_{i,j}]_{nxl}, C=[c_{i,j}]_{mxn}, D=[d_{i,j}]_{mxl}, называются характеристическими матрицами ЛА. Матрица A обычно называется главной (основной) характеристической матрицей. Все перечисленные матрицы состоят из элементов поля GF(p) .

Методом математической индукции можно доказать, что конечное состояние и выходная реакция ЛА \tilde A на входное слово \bar u(0), \bar u(1), \dots, \bar u(k) длины k+1 при начальном состоянии \bar s(0) вычисляются по формулам

\bar s(k+1)=A^{k+1}\bar s(0)+A^kB\bar u(0)+A^{k-1}B\bar u(1)+\dots +AB\bar u(k-1)+B\bar u(k), ( 10.3)
\bat y(k)=CA^k\bar s(0)+CA^{k-1}B\bar u(0)+CA^{k-2}B\bar u(1)+ \dots+CB\bar u(k-1)+D\bar u(k) ( 10.4)

Последняя из этих формул носит название формулы полной реакции ЛА.

Описанную выше модель принято называть стационарным ЛА. Наряду с ней рассмотрим и так называемые нестационарные ЛА (НЛА), функционирование которых задается следующими уравнениями состояний и выходов соответственно:

\bar s(t+1)=A(t)\bar s(t)+B(t)\bar u(t), ( 10.5)
\bar y (t)=C(t)\bar s(t)+D(t)\bar u (t) ( 10.6)

Размерность матриц в этих формулах та же, что и в формулах (10.1) и (10.2).

По аналогии со стационарными ЛА можно доказать, что если \bar u(0), \bar u(1), \dots, \bar u(t) - входная последовательность НЛА и s(0) - начальное состояние НЛА, то его конечное состояние и выходная реакция вычисляются по следующим формулам:

\bar s(t+1)=A(t)A(t-1) \dots A(0)\bar s(0)+ \sum_{i=1}^{t-1}A(t)A(t-1) \dots A(i+1)B(i)\bar u(i)+B(t)\bar u(t) ( 10.7)
\bar y(t)=C(t)A(t-1) \dots A(0)\bar s (0)+ \sum_{i=0}^{t-1}C(t)A(t-1) \dots A(i+1)B(i) \bar u(i)+D(t) \bar u (t) ( 10.8)

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

Напомним теперь определения соответствующих последовательностей и сделаем это для компактности записей применительно к самой общей модели конечного детерминированного автомата Мили.

Как и ранее, под автоматом Мили понимается пятерка объектов

A=(S,X,Y, \delta, \lambda)

где S, X, Y - конечные множества состояний, входной и выходной алфавиты соответственно, а \delta: S \times  X \to S и \lambda: S \times X \to Y - отображения, называемые функциями переходов и выходов.

Пусть S=\{s_1, \dots , s_n\}, X=\{x_1,\dots, x_l\}.

Определение 10.1. Входная последовательность p=x_{i_1}, x_{i_2}, \dots, x_{i_a} называется синхронизирующее й (СП), если

\forall s_{j_1}, s_{j_2} \in S \delta (s_{j_1}, p) = \delta (s_{j_2},p)

Содержательно это определение означает, что СП р переводит автомат А в одно и то же конечное состояние независимо от того, из какого состояния он стартовал.

В этом и приведенных ниже определениях функции переходов и выходов предполагаются расширенными на входные последовательности. Это расширение понимается общепринятым в теории автоматов смысле.

Определение 10.2. Входная последовательность p=x_{i_1}, x_{i_2}, \dots, x_{i_a} называется установочной (УП), если

\forall s_{j_1}, s_{j_2} \in S \lambda (s_{j_1}, p)= \lambda (s_{j_2},p) \to \delta (s_{j_1},p)=\delta (s_{j_2},p)

Поясним содержательный смысл этого определения: по наблюдаемой реакции на установочную последовательность однозначно идентифицируется конечное состояние автомата.

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

Определение 10.3. Входная последовательность p=x_{i_1}, x_{i_2}, \dots, x_{i_a} называется диагностической (ДП), если

\forall s_{j_1}, s_{j_2} \in S \lambda (s_{j_1}, p)= \lambda (s_{j_2},p) \to s_{j_1},=s_{j_2}

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

Понятно, что каждая ДП одновременно является и УП, поскольку, определив по реакции на ДП начальное состояние автомата, легко определить состояние, в котором он окажется после подачи ДП. Обратное, однако, неверно, т. е. не каждая УП является одновременно и ДП.

Разрешимость установочной и диагностических задач для автомата в общем случае зависит не только от самого автомата, но и от множества начальных состояний, в которых он может находиться перед проведением соответствующего эксперимента. Назовем это множество множеством допустимых начальных состояний автомата A и будем обозначать его через \Init(A). Обычно предполагается, что это множество совпадает со всем множеством S_n состояний автомата А. Если это не так, то соответствующий факт будет оговариваться особо.

Отметим, что для автоматов Мили, в общем случае нелинейных, в монографии А. Гилла [18] условия существования перечисленных выше последовательностей сформулированы в терминах весьма громоздкой конструкции дерева преемников и потому проверка их является очень трудоемким процессом. Теперь мы перейдем к исследованию условий существования СП для линейных автоматов.

< Лекция 9 || Лекция 10: 12 || Лекция 11 >
Дмитрий Степаненко
Дмитрий Степаненко
Россия
Юрий Фролов
Юрий Фролов
Украина