Стр. 12
ГОСТ 20911—75
с условной оста
нов ой.
логического эле
дои
к
элементарной проверки, то алгоритм является алгоритмом
Пример 1. Безусловный алгоритм проверкиисправности
мента И (черт. 1).
N
*1
Х2
У
X?
о
10
10
Х
2
&
2
1
0
0
3
1
1
1
Черт. 1
Входы элемента — Х\ и Х
2
, выход — У. Обозначим низкие потенциалы на
входах или выходе элемента цифрой 1, а высокие — цифрой 0. Пусть возмож
ными дефектами элемента являются обрывы входов и выхода, а также их за
мыкания на положительный полюс источника питания. Эти дефекты эквивалент
ны появлению на входах или выходе элемента постоянных потенциалов 1 (при
обрывах) или 0 (при замыканиях) и поэтому называются константными.
Известно, что при этих условиях проверку исправности элемента можно осу
ществить подачей на входы трех тестовых воздействий (входных наборов), ука
занных в столбцах Х\ и Х2, таблицы и измерением выходных значений. Выход
ные значения исправного элемента на соответствующих входных наборах пока
заны в столбце У таблицы.
Алгоритм проверки исправности состоит в подаче на входы элемента тесто
вых наборов из таблицы 1 и в фиксации выходных значений.
Пусть наборы подаются в порядке, указанном в таблице, и получены соот
ветствующие значения выходов 1, 0, 1. Эти значения не совпадают с исправны
ми значениями 0, 0, 1 и поэтому элемент неисправен (оборван вход Йч). Если ди
агноз составляется после получения всех значений выхода, то реализуется ал
горитм с безусловной остановкой. Если сравнение с исправными фактических
значений выхода производится по мере их получения, то алгоритм является ал
горитмом с условной остановкой. В последнем случае диагноз о неисправности
элемента будет получен уже после подачи первого входного набора.
Элемент исправен, если все полученные выходныезначениясовпадают с
исправными значениями.
Пример 2. Алгоритм проверки исправности выпрямителя в системе электро^
оборудования автомобиля.
Черт. 2