40. Динамические экспертные системы
Вид материала | Документы |
СодержаниеМетоды пассивной отказоустойчивости Методы простого резервирования Мажоритарное резервирование Ui—функция, реализуемая резервируемой схемой; k Резервирование с постоянным замещением |
- Курс лекций "Экспертные системы" (Для студентов заочного обучения юридического факультета, 84.44kb.
- 4 Экспертные системы, 51.16kb.
- 14. Лекция: Позиционно-силовое управление в системе робота-станка, 113.23kb.
- Алгоритмы обучения и архитектура нейронных сетей. Нейросетевые системы обработки информации, 21.42kb.
- Программа дисциплины «Динамические системы» Направление, 73.11kb.
- Рабочая программа дисциплины «Дискретные динамические системы», 110.59kb.
- Говоря простым языком, системы баз знаний это искусство, которое использует достижения, 267.75kb.
- Лекция №15. Экспертные системы Экспертные системы зародились в ходе развития методов, 188.15kb.
- Динамика системы управления гидротурбиной с пидрегулятором, 80.14kb.
- О некоторых особенностях интегрирования обыкновенных дифференциальных уравнений, описывающих, 18.79kb.
Создать декодер обнаруживающий раздельно ошибки кратности d=\ и = 2 невозможно, так как для этого необходимо иметь кодовое расстояние на входе декодера D = 4 (из табл. 9 следует, что D = 3): ![]() Достоверность работы схемы с мажоритарным резервированием определяется сигналом ошибки е. Составим таблицу истинности (табл. 10) для нахождения вероятностей событий PnP(t), Poo(t) и Puo(t). Предполагаем что ![]() ![]() Из табл. 10 получим ![]() Учитывая, что события ![]() ![]() ![]() ![]() Окончательно -находим ![]() Пример. Рассчитаем показатели ![]() ![]() ![]() этого используем формулы (25) — (27): ![]() Рассмотрим схему коррекции ошибок с корректирующими кодами (см. рис. 24). Будем полагать, что ![]() Для расчета достоверности результата работы схемы с декодером обнаружения ошибок, превышающих по кратности кратность исправляемых ошибок, получим ![]() где p(t)—вероятность безотказной работы одного разряда. Указанные формулы справедливы в предположении, что кодирующее устройство, исходная схема и схема, реализующая контрольные разряды, выполняются раздельно поразрядно, т. е. выход из строя одного элемента в этих устройствах приводит к искажению только одного разряда в выходном векторе ![]() Показатели достоверности работы для этого случая ![]() ![]() Исследуем стационарный режим работы цифровых устройств с восстановлением и определим коэффициенты достоверности функционирования kD и правильного функционирования kDn в зависимости от принятой стратегии обслуживания цифровой аппаратуры. Поведение цифровой системы (устройства) в процессе эксплуатации (см. гл. 2) может быть описано графом, отражающим стратегию се обслуживания. Вершины графа отображают состояния устройства, а дуги—потоки отказов, их обнаружения и восстановления аппаратуры. Для цифрового устройства с аппаратным контролем (контролем полностью охвачены исходная и схема контроля) такой граф представлен на рис. 33. Стратегия обслуживания устройства определена, исходя из следующих предположений: обнаружение отказа средствами аппаратного контроля происходит мгновенно в момент возникновения отказа; одновременно осуществляется и локализация отказа (состояние ![]() после локализации отказа устройство немедленно переходит в режим восстановления. При переходе устройства в состояние необнаруженного отказа аппаратным контролем (состояние ![]() в новое состояние обнаруженного отказа аппаратным контролем (состояние ![]() в состояние обнаруженного отказа средствами неаппаратного контроля (состояние ![]() Предполагается, что потоки отказов, обнаружения и восстановления—простейшие. Через ![]() Процесс смены состояний цифрового устройства с аппаратным контролем, изображенный на графе, представляет собой случайный процесс w(t) непрерывный во времени, но дискретный в пространстве и, в силу принятых предположений, марковский .[3]. Введем вероятности ![]() Из графа переходов для введенных вероятностей вытекает следующая система дифференциальных уравнений: ![]() Для стационарного режима работы цифрового устройства с аппаратным контролем можно записать ![]() а, следовательно, ![]() Тогда решая систему уравнения (31) относительно Ро, Pi и Pi для kD и относительно Ро, Р2 и Р3 для kDn и учитывая, что ![]() ![]() Заметим, что ![]() обн Аи (1—$)+Т0Тв £И+Р ftjj (I—P) Та6н 7 в Если аппаратный контроль отсутствует ![]() ![]() Если аппаратный контроль полный (β=1), то ![]() Из условия, что величины kD, kDn и &г, подсчитанные по формулам (32) — (34), больше соответственно величин kD, ква и kT, вычисленных по формулам (35) — (37), можно определить величину допустимой избыточности kK. 57. Методы построения отказоустойчивых систем, работающих в реальном масштабе времени. С целью повышения надежности широко применяют различные методы обеспечения отказоустойчивости [4]. Отказоустойчивость это свойство цифрового устройства сохранять работоспособность при отказе отдельных его частей (элементов). При этом необходимо учитывать характер работы исходного устройства, т. е. работает ли это устройство в реальном, либо в нереальном масштабе времени. В устройствах, работающих в реальном масштабе времени, перерабатывается поток информации, имеющий случайный характер. Причем устройство в любой момент времени должно быть готово к ее обработке. Потеря текущей информации не может быть восполнена никакими способами. Переключение резерва, требующее время на переключение большее или соизмеримое с темпом поступления и обработки информации, в таких устройствах исключается. Примером могут служить устройства цифровой автоматики в РЛС, измерительной технике, связи и т. д. Очевидно, что обеспечение отказоустойчивости таких устройств связано с введением структурной избыточности, позволяющей как бы замаскировать отказ. Этот вид отказоустойчивости принято называть пассивным. Методы пассивной отказоустойчивости В методах пассивной отказоустойчивости необходимо выделять уровни, на которых вводится аппаратурная избыточность. На самом нижнем — уровне отдельных радиоэлектронных компонент (элементов), используют методы простого резервирования и избыточной логики с перекрестными соединениями; на уровне функциональных блоков либо законченных устройств — методы мажоритарного резервирования, резервирования с постоянным замещением и аппаратным контролем в каждом канале, корректирующие коды с исправлением ошибок. Методы простого резервирования Под простым резервированием будем понимать соединения однотипных элементов, узлов и блоков, выполненных по одной из четырех схем (рис. 18). Кратность резервирования равна числу элементов (узлов, блоков), включенных 'последовательно или параллельно исходному элементу (узлу, блоку). Последовательное соединение обеспечивает выполнение d(Q,dx) безотказности; параллельное соединение — d(do,O) безотказности; параллельно-последовательное соединение — d(do,d\) безотказности. Резервирование, при котором резервные элементы (узлы, блоки) жестко соединены с исходными элементами (узлами, блоками) и в течение всего времени работы находятся с ним в одном режиме, называется горячим или пассивным (постоянным) резервированием. Если резервные элементы (узлы, блоки) подключаются только при выходе из строя исходного элемента (узла, блока), то такое резервирование принято называть резервированием замещением или активным резервированием. Для последовательного резервирования (см. рис. 18а) ![]() где k—кратность резервирования; pt(t)—вероятность безотказной работы исходного элемента (схемы). Если все резервируемые элементы одинаковы Pl(t)=p2(t)=...=Pi(t)=p(t), То ![]() Для параллельного соединения (см. рис. 18 6) ![]() где ![]() При выполнении условия (1) ![]() Для параллельно-последовательного соединения (см. рис. 18г) ![]() При выполнении условия (1) ![]() Заметим, что чем ниже уровень, на котором происходит резервирование, тем выше надежность избыточной схемы. Достоинства простого резервирования на нижнем уровне (поэлементном резервировании): высокий достигаемый уровень надежности; большая универсальность; возможность использования для различных схем и уровней резервирования. Поэлементное резервирование незаменимо при построении оконечных каскадов. Недостатки поэлементного резервирования: резкое увеличение оборудования и соответственно весов, габаритов, энергопотребления и стоимости; снижения нагрузочных способностей схем. Мажоритарное резервирование Мажоритарное резервирование (рис. 19) представляет собой k параллельно подключенных идентичных схем, выходы которых соединены со входом решающего органа, реализующего .пороговую функцию с равными весами по входам (можно построить решающий орган с разными весами по входам). Решающий орган реализует пороговую логическую функцию с равными весами по входам ![]() гдe Ui—функция, реализуемая резервируемой схемой; k— кратность резервирования; р — порог РО. Решающий орган реализует функцию большинства, т. е. выдает сигнал логической 1 или логического 0 в зависимости от того, каких сигналов на его выходах было больше. Решающий орган в такой структурной схеме называют также мажоритарным. Порог мажоритарного органа определяется как р = (k+2)/2, причем k всегда целое четное число. Мажоритарный орган реализует функцию: при k = 2 ![]() при k = 4 ![]() Надежность схемы, реализующей мажоритарный метод резервирования, определяется по формуле ![]() где p(t), рмо(0 —надежность резервируемой схемы и мажоритарного органа. Для k=2 ![]() Для k = 4 ![]() Надежность мажоритарной схемы органичивается надежностью мажоритарного органа. Для устранения этого недостатка используют мультиплексную схему, в которой мажоритарные органы резервируются. При этом исходное устройство разбивается на ряд Последовательно мажоритарно резервируемых схем (слоев). Последовательная мажоритарно резервируемая схема с k = 2 называется мультиплексной (рис. 20). Исправление ошибки, связанной с неисправностью отдельного мажоритарного органа, происходит не сразу, а через слой резервируемых схем. Надежность мультиплексной схемы ![]() Надежность мажоритарной схемы существенно зависит от уровня разбиения исходного устройства на отдельные резервируемые схемы. В ряде случаев, если резервирование проводится на высоком уровне (например, резервируется целиком ЭВМ), надежностью мажоритарного органа можно пренебречь. При разбиении цифрового устройства на низком уровне можно прийти к другому крайнему случаю, когда надежность резервируемой схемы оказывается равной надежности мажоритарного органа. Разбиение исходного устройства на отдельные схемы, а также кратность резервирования в каждом слое определяют кратность исправляемых ошибок в избыточном устройстве. Найдем оптимальное разбиение исходного устройства, при котором общая надежность избыточного устройства будет максимальна. При этом исходим из предположения, что исходное устройство построено из однотипных логических элементов и может быть разбито на равные произвольные части. Надежность резервируемой схемы оценим через надежность мажоритарного органа. Это допустимо, так как при любом разбиении исходного устройства на отдельные схемы его сложность, как и сложность мажоритарного органа при заданной кратности резервирования, остается постоянной. Тогда для избыточного устройства, реализующего мажоритарный метод резервирования с кратностью резервирования k=2 и £ = 4 в каждом слое соответственно, имеем ![]() ![]() где pMo(t)—надежность мажоритарного органа; ![]() ![]() По формулам (2), (3) можно построить графики (рис. 21), оценивающие значение Рмаж(0 в зависимости от разбиения ![]() ![]() При увеличении кратности резервирования значение ![]() Заметим, что мажоритарный метод резервирования одновременно с исправлением неисправностей кратности k/2 позволяет обнаружить ошибки кратности ![]() Резервирование с постоянным замещением Идея этого метода состоит в использовании в каждом резервируемом канале схемы с обнаружением ошибок и восстановлении правильной информации в решающем органе по выходам резервируемых схем и сигналам ошибок со схем их контроля. При этом для обнаружения ошибок применимы любые методы, позволяющие получать сигнал ошибки в реальном масштабе времени. Для исправления ошибки кратности ![]() Функцию, которую реализует решающий орган, можно найти из таблицы истинности (табл. 3). В таблице истинности значения функции У определены однозначно на всех наборах, кроме шести последних, которые соответствуют случаям, когда одновременно появляется неисправность более чем в одном канале. Тем не менее на 11 и 12 наборах (одновременно отказывают два канала) можно провести однозначное доопределение функции У на основании предположения, что вероятность неисправности исходной нерезервируемой схемы всегда больше, чем вероятность неисправности схемы обнаружения ошибки. ![]() Рис. I. Классификация средств диагностирования ГРАФИКИ Таблица 3
|