В первой фазе диагностического эксперимента с автоматом предусматривается установка его в известное начальное состояние. Это достигается использованием установочных или синхронизирующих последовательностей [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
года в системе управления космическими аппаратами (КА) «Союз» и «Прогресс»
применяется трехкомпоне ...
Технико-экономический проект участка первичной сети
Первичная сеть представляет собой совокупность магистральной
первичной сети, внутризоновой первичной сети, и местной первичной сети.
Проектируемый участок относится к магистральной первичной сети. В состав
магистральной сети входят сетевые станц ...