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

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

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

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

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

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

Измеритель угловых скоростей на основе неортогонально ориентированной гексоды ДУСов с электрическими обратными связями для космического корабля
Бесплатформенные инерциальные навигационные системы на пилотируемых космических объектах впервые были применены РКК «Энергия» в 1974 году. С 1982 года в системе управления космическими аппаратами (КА) «Союз» и «Прогресс» применяется трехкомпоне ...

Технико-экономический проект участка первичной сети
Первичная сеть представляет собой совокупность магистральной первичной сети, внутризоновой первичной сети, и местной первичной сети. Проектируемый участок относится к магистральной первичной сети. В состав магистральной сети входят сетевые станц ...