НОУ ИНТУИТ | Теория экспериментов с конечными автоматами. Лекция 11: Установочные и диагностические эксперименты со стационарными и нестационарными линейными автоматами

Учитесь и получайте официальные документы БЕСПЛАТНО. Вы можете поддержать наш проект.

Регистрация Вход

Твой путь к знаниям!

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

|

Вам нравится? Нравится 3 студентам

| Поделиться |

Поддержать программу

Аннотация: Приводятся условия существования установочных и диагностических последовательностей для стационарных линейных автоматов, сформулированные в терминах характеристических матриц автоматов. Исследуются свойства последовательностей. Аналогичные результаты приводятся для нестационарных линейных автоматов.

Ключевые слова: определение, множество состояний, высказывание, предикат, равенство, матрица, доказательство, конечные, матричная форма, вектор, определитель, неравенство, ПО, автомат Мили, теорема существования, поиск, таблица, длина, оценки длины, ранг, место, множества, диагностическая задача, кратный эксперимент, иерархия, автомат, натуральное число, входное слово, размерность, мощность, вывод, разность, входной, верхняя граница, Бесконечная последовательность, класс, функция переходов, реакция, квантор общности, идентификация

Условия существования установочной последовательности

Сформулированное ранее определение УП для автомата Мили применительно к линейному автомату принимает следующий вид: входную последовательность $\bar u(0), \bar u(1), \dots, \bar u(k)$ ЛА назовем УП, если

$\forall \bar s(0), \hat s(0) \in S_n \wedge_{d=0}^{k}[CA^d \bar s (0)+CA^{d-1} B \bar u(0)+ \dots +CB \bar u (d-1)+D \bar u(d)=\\ =CA^d \hat s(0)+CA^{d-1}B \bar u(0)+ \dots CB \bar u(d-1)+D \bar u(d)] \to\\ \to [A^{k+1} \bar s(0)+A^kB \baru(0)+ \dots +AB \bar u(k-1)+B \bar u(k)=\\ =A^{k+1} \hat s(0)+A^kB \bar u(0)+ \dots +AB \bar u(k-1)+B \bar u(k)$

( 11.1)

Знак $\wedge_{d=0}^k$ в (11.1) означает конъюнкцию k+1 выражений, стоящих после этого знака и получаемых при изменении индекса от 0 до .

Отметим также, что допустимое множество состояний ЛА при построении УП предполагается совпадающим со всем множеством S_n состояний ЛА.

Теорема 11.1. Для ЛА А УП длины k+1 существует тогда и только тогда, когда

$(\forall \bar s \in S_n \vee_{d=0}^k CA^d \bar s \ne [0]) \vee A^{k+1}=[0]$

( 11.2)

Доказательство. Вначале отметим, что знак $\wedge_{d=0}^k$ в (11.2) означает дизъюнкцию (k+1) выражений и имеет аналогичный со знаком $\wedge_{d=0}^k$ в (11.1) смысл.

Преобразуем (11.1), перенеся в левую часть обоих равенств все слагаемые, участвующие в них, и произведем соответствующие сокращения:

$\forall \bar s(0), \hat s(0) \in S_n \wedge{d=0}^k(CA^d(\bar s(0)- \hat s(0))=[0]) \to A^{k+1}(\bar s(0)-\hat s(0)=[0]$

Используя известный факт, что высказывание $x \to y$ равносильно $\bar x \wedge y$ , получаем, что последний предикат эквивалентен следующему:

$\forall \bar s(0), \hat s(0) \in S_n \wedge_{d=0}^k(CA^d(\bar s(0)-\hat s(0)) \ne [0]) \wedge A^{k+1}(\bar s(0)- \hat s(0))=[0]$

( 11.3)

Поскольку $\bar s(0)$ и $\hat s(0)$ - произвольные состояния из S_n , то очевидно, что $\bar s(0)- \hat s(0)$ пробегает все состояния из S_n . Тогда равенство $A^{k+1}(\bar s(0)-\hat s(0)=[0]$ равносильно равенству $A^{k+1}=[0]$ и, следовательно, предикат (1.20) эквивалентен предикату

$\forall \bar s \in S_n \left ( \wedge_{d=0}^k CA^d \bar s \ne [0] \right ) \wedge A^{k+1}=[0]$

Теорема 11.2. Если для ЛА $\tilde A$ , у которого характеристическая матрица невырожденная, существует хотя бы одна УП длины k+1 , то для этого автомата установочными являются любые входные последовательности длины k+1 и более.

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

Доказательство проведем от противного. Предположим, что некоторая последовательность p длины k+1 является УП, но наряду с ней существует последовательность $\bar p= \bat u(0), \bar u(1), \dots, \bar u(k)$ той же длины, которая для рассматриваемого ЛА установочной последовательностью не является. Это означает, что у ЛА существует два таких различных состояния $\bar {s_1}$ и $\bar {s_2}$ , что, стартуя в них, он выдает одинаковые выходные реакции $\bar y(0), \bar y(1), \dots, \bar y(k)$ , но переходит в различные конечные состояния $\bar {s_1^f}$ и $\bar {s_2^f}$ . Выпишем реакции и конечные состояния ЛА, соответствующие различным начальным состояниям.

$\begin {cases} \bar y(0)=C \bar {s_1}+D \bar u(0),\\ \bar y(1) CA \bar {s_1}+CB \bar u(0)+D\bar u(1),\\ ................................................\\ \bar y(k)=CA^k \bar {s_1}+CA^{k-1}B \bar u(0)+ \dots + CB \bar u(k-1)+D \bar u(k),\\ \bar {s_1^f}=A^{k+1}\bar {s_1}+A^kB \bar u(0)+ \dots +AB \bar u(k-1)+B \bar u(k) \end {cases}$

( 11.4)

$\begin {cases} \bar y(0)=C \bar {s_2}+D \bar u(0),\\ \bar y(1)=CA\bar {s_2}+CB \bar u(0)+D \bar u(1),\\ ...........................................................\\ \bar {s_2^f}=A^{k+1}\bar {s_2}+A^kB\bar u(0)+ \dots +AB \bar u(k-1)+B \bar u(k) \end {cases}$

( 11.5)

Учитывая, что $\bar {s_1^f} \ne \bar {s_2^f}$ , из (11.4) и (11.5) получаем

$\begin {cases} C\bar {s_1}= C \bar {s_2}\\ CA \bar {s_1}= CA\bar {s_2}\\ …....................................\\ CA^k\bar {s_1}=A^{k+1}\bar s \end {cases}$

( 11.6)

Последнее равенство в (11.6) равносильно

$A^{k+1}\bar s= \bar b$

( 11.7)

где $\bar s \ne [0]$ и $\bar b \ne [0]$ .

Соотношение (11.7) можно интерпретировать как матричную форму записи системы линейных неоднородных уравнений относительно неизвестных, являющихся координатами вектор-столбца $\bar s=(s_1, s_2, \dots, s_n)'$ . Поскольку эта система имеет ненулевое решение $(\bar {s_1}-s_2)$ , тогда, как известно из алгебры [33], ее определитель $|A^{k+1}| \ne 0$ . В силу того, что $|A|^{k+1}=|A^{k+1}| \ne 0$ , определитель |A| также отличен от нуля, т. е. матрица невырожденная. Отсюда вытекает, что для нее существует обратная матрица $А^{-1}$ , также невырожденная. Умножая слева последнее неравенство в (11.6) на $А^{-1}$ , получим

$A^k \bar {s_1} \ne A^k \bar {s_2}$

где матрица А^k - невырожденная. Поскольку по условию теоремы матрица невырожденная, умножив на нее обе части последнего неравенства, получим

$CA^k \bar {s_1} \ne CA^k \bar {s_2}$

что противоречит предпоследнему равенству в (11.6). Полученное противоречие доказывает теорему.

Доказанная теорема говорит о принципиальном различии между автоматами Мили и линейными автоматами с точки зрения идентификации их конечных состояний с помощью УП. В общем случае, если автоматы Мили имеют УП длины , то число таких последовательностей меньше числа всех последовательностей этой же длины. В то же время для ЛА, заданного над полем GF(p) , как утверждает теорема, существование одной УП длины влечет существование p^k таких УП.

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

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

Для иллюстрации теоремы 11.2 рассмотрим ЛА над полем GF(2), заданный следующими характеристическими матрицами:

$A= \left [ \begin {matrix} 1&1\\ 1&0 \end {matrix} \right ] ,\\ B= \left [ \begin {matrix} 0&1\\ 0&0 \end {matrix} \right ] ,\\ C= \left [ \begin {matrix} 1&0\\ 0&1 \end {matrix} \right ],\\ D= \left [ \begin {matrix} 0&0\\ 0&1 \end {matrix} \right ]$

Обозначим состояния этого ЛА через $\bar {s_1}=[0,0]', \bar {s_2}=[0,1]', \bar {s_3}=[1,0]', \bar {s_4}=[1,1]'$ и его выходные реакции через $\bar {y_1}=[0,0]', \bar {y_2}=[0,1]', \bar {y_3}=[1,0]', \bar {y_4}=[1,1]'$ .

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

Входное слово	Начальные состояния	Реакция	Конечные состояния
$\left [ \begin {matrix} 0\\ 0 \end {matrix} \right ]$	$\bar {s_1}, \bar {s_2}, \bar {s_3}, \bar {s_4}$	$\bar y_1}, \bar {y_2}, \bar {y_3}, \bar {y_4}$	$\bar {s_1}, \bar s_4}, \bar {s_3}, \bar {s_2}$
$\left [ \begin {matrix} 0\\ 1 \end {matrix} \right ]$	$\bar {s_1}, \bar {s_2}, \bar {s_3}, \bar {s_4}$	$\bar {y_1}, \bar {y_2}, \bar {y_3}, \bar {y_4}$	$\bar {s_3}, \bar {s_2}, \bar {s_1}, \bar {s_4}$
$\left [ \begin {matrix} 1\\ 0 \end {matrix} \right ]$	$\bar {s_1}, \bar {s_2}, \bar {s_3}, \bar {s_4}$	$\bar {4_2}, \bar {y_1}, \bar {y_4}, \bar {y_3}$	$\bar {s_1}, \bar {s_4}, \bar {s_3}, \bar {s_2}$
$\left [ \begin {matrix} 1\\ 1 \end {matrix} \right ]$	$\bar {s_1}, \bar {s_2}, \bar {s_3}, \bar {s_4}$	$\bar {y_2}, \bar {y_1}, \bar {y_4}, \bar {y_3}$	$\bar {s_3}, \bar {s_2}, \bar {s_1}, \bar {s_4}$

Теорема 11.3. Если для -мерного ЛА существуют УП, то минимальная их длина не превосходит величины .

Доказательство. В [19] доказано следующее утверждение: $CA^k \bar s=[0]$ для любого $k \ge 1$ тогда и только тогда, когда $K \bar s=[0]$ , где диагностическая матрица

$K= \left [ \begin {matrix} C\\ CA\\ CA^2\\ …..\\ CA^{n-1} \end {matrix} \right ]$

Очевидно, что это равносильно следующему предикату:

$\exists k \ge CA^k \bar s \ne [0] \leftrightarrow K \bar s \ne [0]$

( 11.8)

Последнее утверждение фактически обосновывает достаточность проверки равенства $CA^k \bar s=[0]$ только для $k \le n-1$ . Если при этих значениях $k CA^k \bar s=[0]$ , то и при $k \ge n$ это равенство также остается справедливым. Отсюда и вытекает справедливость теоремы.

Заметим, что поскольку СП для ЛА является частными случаями УП, то приведенная в теореме 10.6 верхняя оценка длины УП является одновременно и верхней оценкой длины для СП.

Условия существования диагностической последовательности

Теорема 11.4. Для того чтобы -мерный ЛА имел ДП длины , необходимо и достаточно, чтобы ранг матрицы

$K_t= \left [ \begin {matrix} C\\ CA\\ CA^2\\ …..\\ CA^{t-1} \end {matrix} \right ]$

был равен n.

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

$\bar y(0)=C \bar s(0)+D \bar u(0)\\ \bar y(1)=CA\bar s(0)+CB \bar u(0)+D\bar u(1),\\ …………………………………………………..\\ \bar y(t-1)=CA^{t-1}\bar s(0)+CA^{t-2}B\bar u(0)+ \dots +CB \bar u(t-2)+D\bar u(t-1)$

Простыми и очевидными преобразованиями эти равенства всегда можно привести к виду

$C\bar s(0)=[Z_0],\\ CA\bar s(0)=[Z_1],\\ …………………..\\ CA^{t-1}\bar s(0)=[Z_{t-1}]$

( 11.9)

где $[Z_i], i=1,2,\dots, t-1$ - некоторые конкретные вектор-столбцы размерности , где - число выходов ЛА.

Существование ДП длины для рассматриваемого ЛА означает, что СЛАУ (11.9) относительно неизвестных $s_1(0), \dots, s_n(0)$ , являющихся координатами вектора $\bar s(0)$ , должна иметь единственное решение, которое и соответствует искомому начальному состоянию ЛА. Из алгебры известно, что СЛАУ обладает единственным решением тогда и только тогда, когда ранг этой системы равен числу неизвестных. Отсюда вытекает справедливость теоремы.

Теорема 11.5. Если у ЛА существует хотя бы одна ДП длины , то для этого ЛА диагностическими являются любые входные последовательности длины и более.

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

Что касается процедуры поиска минимального значения , при котором для заданного ЛА существует ДП, то она полностью совпадает с процедурой поиска минимальной длины СП и УП, описанной выше.

Теорема 11.6. Если для -мерного ЛА существует ДП, то минимальная их длина не превышает величины .

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

В [18] было установлено, что в общем случае минимальность автомата Мили является необходимым, но не достаточным условием существования для него ДП. Покажем, что для ЛА имеет место следующее утверждение.

Теорема 11.7. Если ЛА минимален, то у него существует ДП.

Доказательство. Проведем его в предположении, что множество всех состояний S_n ЛА и множество его допустимых начальных состояний совпадают.

Напомним, что в [19] была доказана справедливость следующего утверждения: состояния $\bar {s_1}$ и $\bar {s_2}$ ЛА эквивалентны тогда и только тогда, когда $K\bar {s_1}=K\bar {s_2}$ . С учетом этого утверждения минимальность ЛА означает

$\forall s_1, s_2 \in S_n K\bar {s_1}=K\bar {s_2} \to \bar {s_1}=\bar {s_2}$

Последнее означает, что СЛАУ $K \bar s =[0]$ в случае минимальности ЛА должна иметь только нулевые решения. Из алгебры известно, что это выполняется только тогда, когда ранг матрицы системы равен , т. е. числу неизвестных этой системы. Отсюда в силу теоремы 11.4 вытекает справедливость доказываемой теоремы.

Отыскание ДП для заданного ЛА обычно называют диагностической задачей. Известно [18], что возможность решения диагностической задачи для автомата Мили зависит от множества его допустимых начальных состояний, а также от применяемых для этого средств. В [18] показано, что наиболее мощным средством для решения диагностических задач являются кратные эксперименты, меньшими возможностями обладают простые безусловные эксперименты. Ниже будет показано, что для линейных автоматов упомянутая иерархия разрешающих возможностей перечисленных типов экспериментов не существует.

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

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

Эта теорема фактически означает, что простой безусловный эксперимент с ЛА обладает большими возможностями, чем аналогичный эксперимент с автоматом Мили, поскольку, как известно из [18], в последнем случае диагностическая задача разрешима не для всякого множества допустимых начальных состояний, мощность которого более двух.

Обратимся теперь к простым условным диагностическим экспериментам. Известно [18], что для автоматов Мили существуют диагностические задачи для множества допустимых начальных состояний более чем с двумя элементами, которые не разрешимы простым безусловным, но разрешимы простым условным экспериментом. Из теоремы 11.8 следует, что такая ситуация не может иметь места для минимальных ЛА. Другими словами, все диагностические задачи, разрешимые простыми условными экспериментами, могут быть разрешены и простыми безусловными. Таким образом, для ЛА разрешающие возможности обоих типов диагностических экспериментов просто совпадают.

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

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

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

Дальше >>

Теория экспериментов с конечными автоматами

Теория экспериментов с конечными автоматами

Установочные и диагностические эксперименты со стационарными и нестационарными линейными автоматами

Условия существования установочной последовательности

Условия существования диагностической последовательности

Вопросы и ответы

Студенты

Авторизоваться

Теория экспериментов с конечными автоматами

Теория экспериментов с конечными автоматами

Установочные и диагностические эксперименты со стационарными и нестационарными линейными автоматами

Условия существования установочной последовательности

Условия существования диагностической последовательности

Вопросы и ответы

Студенты