русс | укр

Языки программирования

ПаскальСиАссемблерJavaMatlabPhpHtmlJavaScriptCSSC#DelphiТурбо Пролог

Компьютерные сетиСистемное программное обеспечениеИнформационные технологииПрограммирование

Все о программировании


Linux Unix Алгоритмические языки Аналоговые и гибридные вычислительные устройства Архитектура микроконтроллеров Введение в разработку распределенных информационных систем Введение в численные методы Дискретная математика Информационное обслуживание пользователей Информация и моделирование в управлении производством Компьютерная графика Математическое и компьютерное моделирование Моделирование Нейрокомпьютеры Проектирование программ диагностики компьютерных систем и сетей Проектирование системных программ Системы счисления Теория статистики Теория оптимизации Уроки AutoCAD 3D Уроки базы данных Access Уроки Orcad Цифровые автоматы Шпаргалки по компьютеру Шпаргалки по программированию Экспертные системы Элементы теории информации

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


Дата добавления: 2013-12-23; просмотров: 925; Нарушение авторских прав


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

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

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

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

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

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

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

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

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

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

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

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

Sk = (S1, S2, … , Sm)

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

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

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

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

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

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

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

· синдром

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

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

Синдром Состояние
U1 U2 U3 U4
И И И И
Н      
  Н    
    Н  
      Н

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



Каждый столбец в поле «Синдром» определяет результат одной взаимной проверки. Каждый столбец поля «Состояние» определяет исправность/не исправность одной ЭМ. Если в «синдроме» присутствуют только «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 ячеек памяти [-]:большой объем вычислений



<== предыдущая лекция | следующая лекция ==>
Алгоритм организации взаимных проверок ЭМ | Алгоритмы ускоренной дешифрации синдрома


Карта сайта Карта сайта укр


Уроки php mysql Программирование

Онлайн система счисления Калькулятор онлайн обычный Инженерный калькулятор онлайн Замена русских букв на английские для вебмастеров Замена русских букв на английские

Аппаратное и программное обеспечение Графика и компьютерная сфера Интегрированная геоинформационная система Интернет Компьютер Комплектующие компьютера Лекции Методы и средства измерений неэлектрических величин Обслуживание компьютерных и периферийных устройств Операционные системы Параллельное программирование Проектирование электронных средств Периферийные устройства Полезные ресурсы для программистов Программы для программистов Статьи для программистов Cтруктура и организация данных


 


Не нашли то, что искали? Google вам в помощь!

 
 

© life-prog.ru При использовании материалов прямая ссылка на сайт обязательна.

Генерация страницы за: 0.006 сек.