Методы решения задач проверки ДУ, использующие явные и неявные модели ДУ, рассмотрены в [14, 10]. В качестве модели неисправности принята модель неисправности F1 и предполагается, что автомат является минимальным, сильносвязным, имеет отличительную последовательность и не меняет свое поведение в процессе эксперимента. from-ua.info
Для модели неисправности проверяющая последовательность состоит из 3-х частей или фаз:
а) установка в исходное начальное состояние;
б) проверка (идентификация) состояний;
в) проверка правильности переходов.
Первая фаза эксперимента может быть условной и безусловной. Если автомат имеет синхронизирующую последовательность (СП), то первая фаза безусловна. При отсутствии СП установка в начальное состояние осуществляется условным установочным экспериментом. В начале подается отличительная последовательность и по наблюдаемой реакции автомата определяется его конечное состояние. Затем автомат переводится в желаемое начальное состояние путем приложения соответствующей переводящей последовательности.
Фаза идентификации состояний заключается в попеременном приложении отличительной X0 и переводящих последовательностей Xп, определении реакции автомата на X0 для каждого начального состояния и определении X0-преемника каждого состояния. Фиксированная последовательность, идентифицирующая состояния автомата содержит n различных выходных последовательностей для всех состояний.
В третьей фазе эксперимента проверяются все m x n переходов автомата, каждое состояние до перехода и после перехода идентифицируется X0. Сокращение длины проверяющей последовательности достигается за счет совмещения второй и третьей фазы эксперимента [14].
Другой путь сокращения длины проверяющей последовательности заключается в использовании однородных отличительных последовательностей.
Рассмотрим автомат А-3, заданный таблицей переходов-выходов (таблица 3.3). Отличительное и синхронизирующее деревья автомата А-3 приведены на рисунке 3.3a и рисунке 3.3б соответственно. Автомат имеет синхронизирующую последовательность Xs = 11 и две отличительные последовательности X01 = 01 и X02 = 00.
Построим последовательность, проверяющую состояния автомата, с использованием вначале X01=01, а затем X02=00.
Проверяющая последовательность начинается с Xs = 11, которая устанавливает автомат в начальное состояние 1. Затем X01=01 используется для идентификации состояний. Приложение X01 к автомату, находящемуся в состоянии 1, вызывает появление на выходе последовательности Y = 01. Прикладывая X01 повторно, проверяется 01 приемник начального состояния автомата.
Таблица 3.3 - Автомат А-3
Z (t) |
Z (t + 1), l (t) | |
X=0 |
X=1 | |
1 |
2, 0 |
1, 1 |
2 |
3, 0 |
1, 1 |
3 |
1, 1 |
2, 0 |
С помощью переводящей последовательности Xп= переводим автомат из состояния 1 в 2. Прикладывая X01=1, получаем на выходе Y=00 и конечное состояние 2. Это конечное состояние проверяется X01=01 правильной реакцией автомата Y=00. Затем, автомат из состояния 2 с помощью Xп=0/0 переводится в 3, прикладывается X01=01 проверяется состояние 3 по выходной последовательности Y=11.
Расчет многокаскадного усилителя
Характерной
особенностью современных электронных усилителей является исключительное
многообразие схем, по которым они могут быть построены.
Усилители
различаются по характеру усиливаемых сигналов: усилители гармонических
сигналов, импульсные ...
Расчет генератора кадровой развертки
Назначение
генератора кадровой развертки, как в цветном, так и в черно-белом телевизоре
состоит в том, чтобы в кадровых катушках отклоняющей системы получить ток
такого размаха и такой формы, при которых на экране кинескопа обеспечивается
номин ...