Основные разделы


Построение проверяющих последовательностей

a) Отличительное дерево автомата А-3

б) Синхронизирующее дерево автомата А-3

Рисунок 3.3 - Отличительное и синхронизирующие деревья автомата А-3

Рассмотренная выше фаза идентификации состояний автомата А-3 представляется следующей последовательностью

X 11 01 01 0 01 01 0 01 01

Z 1 1 1 2 2 2 3 1 1 (3.6)

Y 01 01 0 00 00 0 11 01

Если автомат реагирует правильно на приложение входной последовательности, проверяющей правильность состояний автомата, то эта последовательность одновременно проверяет правильность переходов d (1,0) =2 и d (2,0) =3, которые используются для построения второй фазы эксперимента. Кроме того, анализ последовательности X / Z показывает, что в фазе проверки состояний автомата дополнительно проверяются переходы d (2,1) = 1, и d (3,1) =2, которые подчеркнуты в последовательности

X 1 1 0 1 0 1 0 0 1 0 1 0 0 1 0 1

Z 1 2 1 2_1 2 3_2 3 2 3 1 1 2 1 (3.7)

Y 0 1 0 1 0 0 0 0 0 0 1 1 0 1

Анализ последовательности (3.7), проверяющей состояния автомата А-3 показывает, что в заключительной третьей фазе эксперимента проверки правильности переходов остается проверить лишь два перехода: d (1,1) =1 и d (3,0) =1. Так как после фазы идентификации состояний А-3 находится в состоянии 1, то для проверки перехода d (1,1) = 1 необходимо приложить последовательность 101 и проверить выходную последовательность 101. Перевести автомат с помощью Хп = из 1 в состояние 3, осуществить d (3,0) и, приложив отличительную последовательность X01=01, проверить правильность перехода d (3,0).

Полная проверяющая последовательность для А-3, включающая все три фазы эксперимента и состоящая из 24 входных символов представляется в виде:

X 1 1 0 1 0 1 0 0 1 0 1 0 0 1 0 1 1 0 1 0 0 0 0 1

Z 1 2 1 2 1 2 3 2 3 2 3 1 1 2 1 1 2 1 2 3 1 2 1 (3.8)

Y 0 1 0 1 0 0 0 0 0 0 1 1 1 1 1 0 1 0 0 1 0 1

Так как для автомата А-3 существует две отличительных последовательности, то эксперимент, построенный выше, не является единственным. Нетрудно убедиться, что более короткий эксперимент получается при использовании однородной отличительной последовательности X02=00. Это связано с тем, что X02 - преемники не совпадают с начальными состояниями. В этом случае полный проверяющий эксперимент для автомата А-3 представляется в виде:

X 1 1 0 0 0 0 0 0 0 0 1 0 0 1 0 0 1 1 0 0

Z 1 2 3 1 2 3 1 2 3 2 3 1 1 2 3 2 1 2 3 (3.9)

Y 0 0 1 0 0 1 0 0 0 0 1 1 0 0 0 1 0 0

Легко убедиться в том, что использование однородной отличительной последовательности сокращает длину эксперимента на 4 символа.

В эксперименте с автоматом, имеющим отличительные последовательности, считается, что в фазе идентификации состояний автомата проверяются все n состояний, если на выходе автомата появляется n различных последовательностей, как реакция на некоторую фиксированную входную последовательность [17].

В общем случае использование фиксированной входной последовательности в фазе идентификации состояний автомата является лишь необходимым условием проверки всех его состояний.

Перейти на страницу: 1 2 

Прочитайте еще и эти статьи:

Разработка контроллера управления робототехнической системы
Курсовая работа по схемотехнике Тема Разработка контроллера управления робототехнической системы Исходные данные 1. Контроллер управления робототехнической системой (только ...

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

© Copyright 2021 | www.techattribute.ru