20. Построение тестов методом существенных путей

Необходимо определить имеется ли неисправность в точке а.

b=0, c=1, z=f(a). если а=1, то z=1

если а=0, то z=0

Для прокладки существенного пути неисправности на выход схемы управления необходимо подобрать такие значения входных переменных, при которых:

1) выходной сигнал схемы зависит только от контролируемого входного сигнала

2) чтобы выходной сигнал схемы менял своё значение при изменении контролируемого входного сигнала

В данной схеме для контроля сигнала а необходимо подать b=0 и c=1. Тогда z зависит только от сигнала а.

21. Построение тестов методом булевой производной

Z=F(x₁,x₂,…x_i,x_n)

a+b (или) (исключающее или)

a b a+b 0 0 0 0 1 1 1 0 1 1 1 1 a	b	a+b
0	0	0
0	1	1
1	0	1
1	1	0

Порядок построения тестов методом булевой производной:

1) Записываем выражение для выходной величины

2) Записываем выражение для булевой производной:

3) Определить значение булевой производной, обеспечивающей прокладку пути:

4) Для построения тестов, позволяющих определить наличие неисправности типа “0” или “1” на искомом входе необходимо решить следующее уравнение:

22.Порядок составления тестов для схем управления. Склеивание тестов

1) Разбиваем громоздкую схему на отдельные узлы, имеющие 2-3 входных переменных.

2) Для каждого отдельного узла строим контролирующий и диагностические тесты.

3) Производим склеивание тестов

Рассмотрим пример:

РАЗБИВАЕМ схему на 2 узла:

1)a1,a2,a3

2)a3,a4.

Строим тесты для каждого узла :для первого узла

A1 A2 A3 Z1 1 0 1 1 1 1 0 0 0 1 1 0 0 0 1 1 A3	A4	Z2
1	0	0
0	1	1
1	0	0

Склеивание теста

A1	A2	A3	A4	Z1	Z2
1	0	1	0	1	0
1	1	0	1	0	1
0	1	1	0	0	0
0	0	1	-	1	-

23. Логическая модель системы импульсно-фазового управления

Модель имеет вершины и дуги.

Вершины-все входные, выходные сигналы и блоки СИФУ.

Дуги -направление подачи сигнала.

Особенность :вершины должны иметь только 1 выходной сигнал.

Если на выходе z9- импульс равен 1-то СИФУ исправна,если 0—то какой либо из блоков неисправен.

24. Построение алгоритма диагностирования методом последовательного анализа.

Допущения: 1)цены элементарных проверок одинаковы; 2) веса состояния одинаковы.

25. Построение алгоритма диагностирования методом половинного разбиения

Допущения: 1)цены элементарных проверок одинаковы; 2) веса состояния одинаковы. Выбираем блок 11: 1,2,10,12,13,14,11-зависит; 3,4,5,6,7,8,9-не зависит.