11.Табличный метод дешифрации синдрома

На этапе проектирования ВС составляется таблица неисправностей содержащая 2 поля:

• синдром

• состояние ВС

Дешифрация синдрома заключается в поиске соответствующей строки по полю синдром. Таким образом становиться известно состояние всех ЭМ в составе ВС.

Синдром				Состояние
1	2	3	4		U1	U2	U3	U4
0	0	0	0		И	И	И	И
1	0	0	1		Н
1	1	0	0			Н
0	1	1	0				Н
0	0	1	1					Н

И — исправна, Н — неисправна.

Каждый столбец в поле «Синдром» определяет результат одной взаимной проверки. Каждый столбец поля «Состояние» определяет исправность/не исправность одной ЭМ. Если в «синдроме» присутствуют только «0», то все ЭМ в ВС исправны!

[+]:высокая скорость дешифрации

[-]:требуется большой объем памяти для хранения таблицы неисправность.

При любой реконфигурации ВС требуется новая таблица неисправности.

12. Определение объема памяти для хранения таблицы неисправности

В — количество строк,

t- мера диагностируемости ( определяется свойствами ВС ),

n — количество машин в ВС.

С = 2 бита (0,1,x); С' = 1 бита, когда нет результата x

d — количество бит для хранения состояния ЭМ; d = 1 бит.

Количество столбцов в поле «синдром» определяется количеством связей в ДГ, то есть мощностью множества T, m = |T|.

(c*m+d*n)*B = количество бит необходимое для хранения 1 строки.

Таким образом, для хранения 1 таблицы неисправности требуется значительный объем памяти.

При отказе ЭМ меняется структура ДГ => таблица так же подлежит изменению/

Посчитаем суммарный объем для хранения всех таблиц неисправности.

Количество ЭМ: n_min … n_max

Если:n_i — текущее количество ЭМ

m_i — текущее количество связей в ДГ

t_i — текущая мера диагностируемости

При использовании диагностической модели в которой отсутствует результат проверки x суммарный объем памяти в общем виде:

Если диагностическая модель не содержит результат x, суммарный объем памяти:

13. Аналитический метод дешифрации синдрома

Состояние каждой ЭМ в составе ВС определяется в процессе решения системы уравнений.

Обозначим b_i — техническое состояние ЭМ:

b_i = 1 — если ЭМ U_i - исправна

b_i = 0 — если ЭМ U_i — неисправна

Состояние всех ЭМ представить как конъюнкцию всех состояний:

Тогда результат элементарной проверки между 2я ЭМ: b_i, b_j можно описать следующим выражением:

Данное выражение является истинным при подстановке любых допустимых состояний ЭМ.

Соответственно итоговое выражение является «» всех гипотез о состоянии ЭМ так же всегда будет истинной:

F = G1 G2…Gm = 1

Данное выражение является уравнением в ходе решения которого вычисляются состояния всех ЭМ в ВС.

Решение уравнения производится приведением логической функции в НДФ или СДНФ.

Определим однозначное представление функций, для этого используем следующее преобразование:

где B_i не входит в выражение G_k, но в результате присутствует в выражении G'_k.

Таким образом дополнив все выражения проверок всеми состояниями ЭМ можно получить систему уравнений.

Среди полученных вариантов решения выбирается такой, который не противоречит положению о t — диагностируемости, то есть количество b_i = 0 должно быть <= величины t.

[+]:не требуется большой объем памяти = n ячеек памяти [-]:большой объем вычислений