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

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

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

Методы дешифрации синдрома

Синдром — это совокупность результатов взаимных проверок ЭМ.

Дешифрация синдрома — это определение состояния каждой ЭМ входящей в состав ВС ( исправной / неисправной ) .

Результаты проведения взаимных проверок могут храниться в виде ДГ с маркированными дугами.

Матрица смежности такого графа — матрица синдрома. На практике чаще всего присутствует случай, когда одно и то же множество проверок производится многократно в каждом цикле диагностирования.

T — множество элементарных проверок.

T | =m, m — мощность элементарных проверок ( количество проверок )

Одни и те же проверки производятся до реконфигурации ВС.

В этом случае целесообразно отдельно хранить ДГ без результатов проверок и результаты.

Тогда результаты представляются в виде вектора Sk, который содержит m элементов:

Sk = (S1, S2, … , Sm)

Порядок элементов в векторе является произвольным.

Важно чтобы одни и те же позиции сохранялись за элементами во всех циклах диагностирования.

Методы дешифрации синдрома ВС делятся на 3 группы:

1.Табличные методы

2.Аналитические методы

3.Графовые методы.

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

· синдром

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

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

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

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

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

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

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

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

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, суммарный объем памяти:

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

Обозначим 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 ячеек памяти [-]:большой объем вычислений