Установочные последовательности

В первой фазе диагностического эксперимента с автоматом предусматривается установка его в известное начальное состояние. Это достигается использованием установочных или синхронизирующих последовательностей [14, 10]. Методы построения условных и безусловных установочных экспериментов, а также синтез установочных синхронизирующих последовательностей достаточно полно и глубоко изложен в [10]. В этом разделе получена оценка сложности безусловного установочного эксперимента.

Определение 3.5 Входная последовательность Xu называется установочной для автомата (X, Y, Z, d, l), если его конечное состояние d (Zi,Xu) может быть однозначно определено по выходной последовательности l (Zi, Xu) для всех Zi Z.

В соответствии с определением 3.5 если автомат исправен и имеет установочную последовательность, то независимо от начального состояния его можно перевести в определенное состояние. Как показано в [15] любой минимальный автомат имеет установочную последовательность. Правила усечения дерева преемников автомата, приведенные в [10], позволяют построить установочное дерево по его таблице переходов-выходов, из которого определяется множество установочных последовательностей автомата.

Следует отметить, что каждая отличительная последовательность является установочной, в то время как обратное неверно.

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

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

Исследование преобразования и передачи сигналов
В результате выполнения курсовой работы необходимо: . Глубоко изучить физические процессы в линейных цепях в переходном и установившемся режимах; . Приобрести навыки применения основных методов анализа, преобразования сигналов линейными ц ...