22. Анализ логической модели, построение таблиц функций неисправностей.

Рассмотрим множество П возможных элементарных проверок объекта. Естественно предполагать, что все параметры входных сигналов, подаваемых на объект, имеют допустимые значения. Все возможные неисправности блока Qi i=l, ..., h, модели можно разбить на два класса. К первому классу относятся все те неисправности, которые приводят к по­явлению неправильного значения выхода Zi =0 вместо ожидаемого правильного значения выхода (соответст­вующего исправному блоку) Zi = l. Обозначим такие не­исправности записью . Второй класс содержит неис­правности, переводящие правильное значение Zi = 0 в неправильное значение Zi = 1. Эти неисправности обо­значим записью .

Для большинства реальных непрерывных объектов физически могут иметь место неисправности только типа . Фактическое значение Zi, блока Qi зависит от того, исправен этот блок или нет, а также от значения функции Fi. Составим логическое высказывание: «блок Qi исправен» и обозначим его символом Qi (Qi =1, когда высказывание истинно, т. е. блок исправен, и Qi = 0 в противном случае).

Ф ормально из табл. 1 следует, что Zi является конъюнкцией переменных и Qi: (1) .

Физически это соответствует тому, что выход Zi - бло­ка Qi будет допустим только в том случае, если все его входы допустимы (при этом функция условий работы Fi= 1) и блок исправный (Qi = 1). Очевидно, справедлив следующий вывод: блок Qi исправен, если при проверке выход Zi допустим (обратное утверждение неверно).

Информация о техническом состоянии объекта сни­мается с выходов блоков его логической модели. Макси­мум этой информации будет получен при условии, что контролю подвергаются выходы всех блоков.

В частности, объект функционирует правильно (ра­ботоспособен, исправен), если все блоки его логической модели исправны, т. е. если конъюнкция (2) истинна. Чтобы установить значение конъюнкции (2) (истинна она или ложна), можно проконтролировать выходы всех h блоков модели. Однако в общем случае в этом нет необходимости, т. е. можно проверить пра­вильность функционирования (работоспособность, ис­правность) объекта, контролируя выводы только части блоков логической модели.

Существуют методы построе­ния минимальных алгоритмов диагноза по таблицам функции неисправности.

Вид таблицы (взят с головы, чтобы вспомнить как выглядит):

R		E
		e	Q1	Q2	Q3
П	Z1	1	0	1	1
	Z2	1	1	0	1
	Z3	1	0	0	0
	Z4	1	0	0	1

, где П – множество возможных элементарных проверок (число строк), E – множество тех. состояний (число столбцов). Исправное состояние обозначается буквой e.

Выписываем функции условий работы блоков моделей ( взято с головы):

Затем составляем равенство типа:

Например (взято с головы):

Первый столбец таблицы соответствующий исправному состоянию e объекта, вычисляется при условии, что , а остальные .

Например .

Аналогично заполняются остальные столбцы.