Логико-вероятностные методы анализа надежности систем. Логико-вероятностный метод расчета надежности систем с монотонной структурой Топологические методы анализа надежности
электроснабжения с помощью дерева отказов
Логико-вероятностный метод с использованием дерева отказов является дедуктивным (от общего к частному) и применяется в тех случаях, когда число различных отказов системы относительно невелико. Применение дерева отказов для описания причин отказа системы облегчает переход от общего определения отказа к частным определениям отказов и режимов работы её элементов, понятным специалистам-разработчикам как самой системы, так и элементов. Переход от дерева отказов к логической функции отказа открывает возможности для анализа причин отказа системы на формальной основе. Логическая функция отказа позволяет получить формулы для аналитического расчёта частоты и вероятности отказов системы по известной частоте и вероятностям отказов элементов. Использование аналитических выражений при расчёте показателей надёжности даёт основание к применению формул теории точности для оценки среднеквадратической погрешности результатов.
Отказ функционирования объекта как сложное событие является суммой события отказа работоспособности и события , состоящего в появлении критических внешних воздействий. Условие отказа функционирования системы формулируется специалистами в области конкретных систем на основе технического проекта системы и анализа её функционирования при возникновении различных событий при помощи высказываний .
Высказывания могут быть конечными, промежуточными, первичными, простыми, сложными. Простое высказывание относится к событию или состоянию, которые сами не рассматриваются ни как логическая сумма «ИЛИ», ни как логическое произведение «И» других событии или состояний. Сложное высказывание, представляющее собой дизъюнкцию нескольких высказываний (простых или сложных), обозначается оператором «ИЛИ», связывающим высказывания низшего уровня с высказываниями высшего уровня (рис.3.15,а). Сложное высказывание, представляющее собой конъюнкцию нескольких высказываний (простых или сложных), обозначается оператором «И», связывающим высказывания низшего уровня с высказываниями высшего уровня (рис.3.15,б).
Рис.3.15. Элементы представления логических схем
Высказывания удобно кодировать так, чтобы по коду можно было судить о том, простое оно или сложное, на каком уровне от конечного расположено и что собой представляет (событие, состояние, отказ срабатывания, тип элемента).
В теории графов деревом называется связный граф, не содержащий замкнутых контуров. Деревом отказов называют логическое дерево (рис. 3.16), в котором дуги представляют события отказа на уровне системы, подсистем или элементов, а вершины – логические операции, связывающие исходные и результирующие события отказов.
Рис. 3.16. Пример построения дерева отказов
Построение дерева отказов начинается с формулировки конечного высказывания об отказе системы. Для характеристики безотказности системы конечное высказывание относят к событию, которое приводит к нарушению функционирования в рассматриваемом интервале времени, при заданных условиях. То же для характеристики готовности.
Пример 8 . Построим дерево отказов для схемы сети, приведенной на рис.3.17.
Рис.3.17. Схема сети
Подстанции В и С питаются от подстанции А . Конечным событием дерева отказов является отказ системы в целом. Этот отказ определяется как событие, заключающееся в том, что
1) либо подстанция В , либо подстанция С полностью теряют питание;
2) мощность для питания суммарной нагрузки подстанций В и С приходится передавать по одной-единственной линии.
Исходя из определения конечного события и принципиальной схемы системы, строим дерево отказов (вниз от конечного события) (рис. 3.18). Цель анализа дерева отказов состоит в том, чтобы определить вероятность конечного события. Поскольку конечное событие есть отказ системы, анализ дает вероятность Р (F ).
Метод анализа основан на нахождении и расчете множеств минимальных сечений. Сечением называют такое множество элементов, суммарный отказ которых приводит к отказу системы. Минимальное сечение – такое множество элементов, из которого нельзя удалить ни одного элемента, иначе оно перестаёт быть сечением.
Передвигаясь на один уровень ниже от вершинного (конечного) события, проходим через узел «ИЛИ», который указывает на существование трёх сечений: {P }, {Q }, {R } (Р, Q , R – события отказов). Каждое из этих сечений может быть разделено далее на большее число сечений, но может выясниться, что отказ сечений обуславливается несколькими событиями, в зависимости от того, какой тип логического узла встречается на пути следования.
Рис.3.18. Дерево отказов системы по схеме рис. 3.17:
–отказы подсистем, которые можно анализировать далее;
Например, {Q} сначала превращается в сечение {3,Т }, затем Т разделяется на сечения {Х,У }, в результате вместо одного сечения {3,Т } появляются два: {3,X }, {3,У }.
На каждом из последующих шагов выявляются множества сечений:
Минимальными сечениями являются выделенные сечения {3,4,5}, {2,3}, {1,3}, {1,2}. Сечение {1,2,3} не минимальное, поскольку {1,2} – тоже сечение. На последнем шаге множества сечений состоят исключительно из элементов.
Задание
Вычислить вероятность безотказной работы P c системы со структурой и параметрами, заданными в п.6.4, логико-вероятностным методом. Сравнить полученный результат с граничными оценками, полученными в п.6.
Элементы теории
Пусть x=(x 1 ,..., x n) - n-мериый вектор, характеризующий состояние системы, где х i - булева переменная: х i = 1 , если i -я подсистема работоспособна, и,x i =0 в противном случае.
Введя соответствующий критерий отказадля системы, можно задать булеву функцию, описывающую состояние работоспособности илиотказа системы:
R(x)=1,если система работоспособна. R(x)=0если система отказывает.
Если система находится в состоянии отказа. если система работоспособна.
Здесь R(х) - функция работоспособности, - функция отказа в состоянии х.
Перейдем к вероятностным функциям:
Здесь Р - вероятность безотказной работы системы и Q - вероятность отказа системы, определенные для случая, когда х i соответствует работоспособному состоянию i -го элемента (подсистемы). Р и Q здесь определены для того же момента времени, что и р (х i) и q (х i) - вероятности безотказной работы и отказа элементов.
Структура системы называется монотонной, если для функции R(х ) выполняются следующие условия:
а) R(1)= 1 , где 1 =(1 ,...,1);
б) R(0) = 0,где0 = (0,...,0);
в) R (х) ≥R(у) , если х ≥у,
где условие (в) понимается как совокупность п условий х i ≥у i .
Для оценки надежности таких систем применяются метод минимальных путей и минимальных сечений, логико-всроятностнчй метод и другие.
К монотонным структурам относятся последовательно-параллельные и параллельно-последовательные структуры, а также несводимые к ним, такие, например, как "мостиковые".
Пример решения
Применение логико-вероятностного метода, позволяющего получить точное значение вероятности безотказной работы, рассмотрим на примере мостиковой структуры, представленной на рис. 6.1.
Функцию R (х) представим в дизъюнктивной нормальной форме (ДНФ) множеством минимальных путей (см. п.6.2)
R(х) = x 1 х 4 V х 1 x 3 x 5 V х 2 х 5 V х 2 x 3 х 4 ,
где х i - булева переменная, определяющая состояние работоспособностьi-го элемента. Матричная форма булевой функции R(х) представленана рис 7.1.
Для вычисления Р с необходимоR(х) представить в ортогональной форме R орт , т.е. в виде множества непересекающихся интервалов.
И соответствии с матрицей рис. 7.1 имеем:
Для вычисления достаточно в (7.1) х i заменить на р i , на 1 -p i , конъюнкцию - на произведение и дизъюнкцию - на сумму. Проделав это, получим:
Пусть p i =p =0,8 тогда,
Сравнение с результатом, полученным в п. 6.3. дает:
0,9069<0,9611<0,9692
Библиографический список
1. Козлов Б.А., Ушаков И.А. Справочник по расчету надежности аппаратуры радиоэлектроники и автоматики. – М.:Сов.радио, 1975. – 472 с.
2. Иыуду К.А. Надежность, контроль и диагностика вычислительных машин и систем. – М.:Высш.шк., 1989. – 216 с.
3. Надежность технических систем: Справочник / Ю.К. Беляев, В.А. Богатырев, и др.; Под ред. И.А. Ушакова. – М.: Радио и связи, 1985. – 608 с.
4. Дружинин Г.В. Надежность автоматизированных производственных систем. – 4-е изд. – М.: Энергоатом-издат, 1986. – 480 с.
5. Каган Б.М., Мкртумян И.Б. Основы эксплуатации ЭВМ. – М.: Энергоатомиздат, 1988. – 432 с.
В ряде случаев объект или систему невозможно представить состоящей из параллельно-последовательных соединений. Особенно это относится к цифровым электронным информационным системам, в которых для повышения надежности вводятся перекрестные информационные связи. На рис. 9.17 изображена часть структуры системы с перекрестными связями (стрелки показывают возможные направления перемещения информации в системе). Для оценки надежности таких структур действенным оказывается логико-вероятностный метод.
Рис. 9.17 Мостиковая схема подачи топлива;
1-2 –насосы, 3,4,5 – клапаны
Рис. 9.18 Мостиковая схема измерительно-вычислительного комплекса;
1,2 – запоминающее устройство; 3,4 – процессоры; 5 – блок, обеспечивающий двустороннюю передачу цифровых данных.
В методе работоспособное состояние структуры предлагается описывать с помощью аппарата математической логики с последующим формальным переходом к вероятности безотказной работы оцениваемой системы или устройства. При этом через логическую переменную x j обозначается событие, заключающееся в том, что данный i -й элемент работоспособен. Формально работоспособное состояние всей системы или объекта отображается логической функцией, называемой функцией работоспособности. Для нахождения этой функции необходимо определить, следуя от входа к выходу структуры системы все пути движения информации и рабочего тела, отвечающему работоспособному состоянию системы. Например, на рис. 9.17. таких путей четыре: путь 1 – , путь 2 - , путь 3 – , путь 4 – .
Зная все пути, отвечающие работоспособному состоянию структуры можно записать в символах алгебры логики в дизъюнктивно – конъюктивной форме функцию работоспосбности (X)/ Например для рис. 9.17 это:
Применяя известные методы минимизации, логическую функцию работоспособности, упрощают и переходят от нее к уравнению работоспособности системы в символах обычной алгебры. Осуществляется такой переход формально с использованием известных соотношений (слева логическая запись, справа алгебраическая):
Вероятность безотказной работы объекта (см. рис. 9.16, 9.17) в целом определяется формальной подстановкой в алгебраическое выражение функции работоспособности вместо переменных значение вероятностей безотказной работы каждого i -ого элемента системы.
Пример. Необходимо найти в общем виде вероятность безотказной работы объектов, структура которых представлена на рис. 9.16 и 9.17. Несмотря на различные элементные базы элементы структуры этих объектов с точки зрения формальной логики идентичны. В связи с этим для наглядности на рис. 9.17 элементы У1, У2 – два одинаковых равнонадежных насоса с вероятностями безотказной работы . Элементы У3, У4 – два равнонадежных процессора с вероятностью безотказной работы . Элемент У5 – переключающий клапан, обеспечивающий двустороннюю подачу рабочего тела (например топлива) на выходе объекта.
Аналогичным образом выглядит структура объекта на рис. 9.17, где элементы У1, У2 два одинаковых равнонадежных запоминающих устройства (ЗУ), с вероятностью безотказной работы . Элементы У3, У4 – два одинаковых равнонадежных процессора с вероятностью безотказной работы . Элемент У5 блок, обеспечивающий двустороннюю передачу цифровых данных. Вероятностью безотказной работы этого блока .
Учитывая (9.36), (9.37), (9.38) можно произвести формальный переход от записи (9.35) к алгебраической форме записи. Так для нахождения логической функции работоспособности объекта возможные пути прохождения информации (рабочего тела) от входа к выходу имеют вид.
Метод основан на математическом аппарате алгебры логики. Расчет надежности системы управления предполагает определение связи между сложным событием (отказ системы) и событиями, от которых оно зависит (отказы элементов системы). Следовательно, расчеты на надежность основаны на проведении операций с событиями и высказываниями, в качестве которых принимаются утверждения о работоспособности или отказе элемента (системы). Каждый элемент системы представляется логической переменной, принимающей значение 1 или 0.
События и высказывания при помощи операций дизъюнкции, конъюнкции и отрицания объединяются в логические уравнения, соответствующие условию работоспособности системы. Составляется логическая функция работоспособности. Расчет, основанный на непосредственном использовании логических уравнений, называется логико-вероятностным и выполняется в семь этапов:
1. Словесная формулировка условий работоспособности объекта. Описывается зависимость работоспособности информационной системы от состояния ее отдельных элементов.
2. Составление логической функции работоспособности. Представляет собой логическое уравнение, соответствующее условию работоспособности системы управления
которое выражено в дизъюнктивной форме, например:
где x i – условие работоспособности i- го элемента Fл; X i = 1 – работоспособное состояние, X i = 0 – неработоспособное состояние.
3. Приведение логической функции работоспособности F Л к ортогональной бесповторной форме F ЛО. Сложную логическую функцию работоспособности необходимо привести к ортогональной бесповторной форме.
Функция вида (2.2) называется ортогональной, если все ее члены D i попарно ортогональны (то есть, их произведение равно нулю), и бесповторной, если каждый ее член D i состоит из букв х i , с разными номерами (то есть отсутствуют повторяющиеся аргументы), например: произведение элементарных конъюнкций х 1 , х 2 , x 4 и х 3 , x 2 равно нулю, так как одна из них содержит x 2 , а другая – x 2 , следовательно, они ортогональны; D 1 = x 1 ×x 2 ×x 2 , где x 2 и x 2 имеют один и тот же номер, поэтому член D 1 не является бесповторным.
– ортогональная бесповторная форма;
– ортогональная, но не бесповторная форма.
Функцию F л можно преобразовать к ортогональной бесповторной форме F ло, используя законы и правила преобразования сложных высказываний. При расчетах наиболее употребительны правила:
1) x 1 ×x 2 = x 2 ×x 1 ;
4. Арифметизация F ло. По найденной ортогональной бесповторной логической функции работоспособности F ЛО определяется арифметическая функция F a (2.3).
где A i – арифметическая форма членов D i функции F ло.
Арифметизация членов D i , в общем виде содержащих операции дизъюнкции, конъюнкции и отрицания, осуществляется заменой логических операций арифметическими по правилам:
5. Определение вероятности безотказной работы системы.
Вероятность безотказной работы системы устанавливается как вероятность истинности логической функции работоспособности, представленной в ортогональной бесповторной форме, и вычисляется как сумма вероятностей истинности всех ортогональных членов этой функции алгебры логики. Все события (высказывания) заменяются их вероятностями (вероятностями безотказной работы соответствующих элементов).
ДЕТЕРМИНИРОВАННЫЕ РАЗДЕЛЫ ОБЩЕГО ЛОГИКО-ВЕРОЯТНОСТНОГО МЕТОДА
Аннотация. Приведены результаты систематизации данных о существующих и новых научных разработках вопросов детерминированного моделирования в общем логико-вероятностном методе (ОЛВМ), теории и технологии автоматизированного структурно-логического моделирования (АСМ).
Ключевые слова . Общий логико-вероятностный метод, схема функциональной целостности, вероятностные модели, детерминированное моделирование.
Введение. Исторически сложилось так, что все логико-вероятностные методы разрабатывались и использовались в целях моделирования и расчета вероятностных показателей различных свойств системных объектов (надежность, стойкость, живучесть, устойчивость, безопасность, технический риск, ожидаемый ущерб, эффективность). Однако в последние годы, наряду с дальнейшим расширением круга задач вероятностного анализа, все более востребованными становятся вопросы разработки методов и программных средств детерминированного моделирования структурно сложных систем различных видов, классов и назначения. В настоящем сообщении приведены результаты систематизации данных о существующих и новых научных и технологических разработках вопросов детерминированного моделирования в рамках общего логико-вероятностного метода (ОЛВМ) , теории и технологии автоматизированного структурно-логического моделирования (АСМ) .
1. Детерминированные методы аналитического ОЛВМ.
Следует отметить, что все логико-вероятностные методы системного анализа имеют четко выраженные детерминированные составляющие на всех основных этапах моделирования. На этапе постановки задач к детерминированным относятся все виды графических средств и методики построения структурных моделей исследуемых свойств – деревья отказов, деревья событий, блок-схемы, графы связности, схемы функциональной целостности и др. На следующих этапах логико-вероятностного моделирования детерминированными являются методы, алгоритмы и программы построения на основе заданной структурной схемы логических и вероятностных (точных или приближенных) математических моделей исследуемых свойств системы. На завершающем этапе ОЛВМ детерминированными выступают методы и процедуры вычислений вероятностных показателей свойств систем, на основе построенных точных или приближенных аналитических вероятностных функциях.
В рамках существующих отечественных и зарубежных типовых монотонных логико-вероятностных методов системного анализа были разработаны и успешно применяются различные точные и приближенные средства (методы, алгоритмы и программы) построения на основе деревьев отказов, блок-схем или графов связности детерминированных логических функций работоспособности систем (ФРС) и многочленов вероятностных функций (ВФ).
В ОЛВМ эти виды аналитических моделей строятся на основе логически универсального графического аппарата структурных схем функциональной целостности (СФЦ) . Детерминированные ФРС и ВФ определяются в ОЛВМ для всех видов монотонных и немонотонных моделей исследуемых свойств систем большой размерности и высокой структурной сложности . Для построения логических ФРС в ОЛВМ был разработан универсальный графоаналитический метод (УГМ) , а для построения многочленов ВФ – комбинированный метод . Эти методы доведены до программной реализации и используются в промышленных образцах программных комплексов автоматизированного структурно-логического моделирования систем .
Для иллюстрации детерминированного аналитического ОЛВМ рассматривается простой тестовый пример анализа типовой мостиковой системы . В левой части рис.1 изображена СФЦ мостиковой системы, введенная в программный комплекс (ПК) АСМ 2001, и соответствующая ей полная система логических уравнений. В примере решены три детерминированные задачи – построения логической ФРС, построения многочлена ВФ и аналитического расчета вероятности реализации критерия частичного отказа (частичной работоспособности) мостиковой системы (выходной элемент 3 выполнил, а выходной элемент 4 не выполнил свою функцию).
Рис.1 Тестовый пример применения детерминированного аналитического ОЛВМ
В правой части рис.1 приведены результаты применения УГМ для получения логической ФРС и комбинированного метода для построения многочлена ВФ. Аналитический расчет вероятности частичной работоспособности мостиковой системы выполнен для случая, когда вероятности всех элементарных событий равны .
В настоящее время продолжаются работы по дальнейшему совершенствованию методов детерминированного аналитического ОЛВМ. Вместе с тем, в последние годы произошло становление и развитие ряда новых специальных направлений детерминированного ОЛВМ анализа систем.
2. Детерминированные методы статистического ОЛВМ.
В статистическом логико-вероятностном моделировании детерминированными являются средства построения имитационных моделей исследуемых свойств структурно-сложных систем. На основе сформированных имитационных моделей методами статистических испытаний определяются количественные оценки вероятностных показателей исследуемых свойств системы. Первый логико-статистический метод (ЛСМ), разработанный И.А.Рябининым , в качестве имитационной модели использует логическую ФРС исследуемой системы. В ОЛВМ и ПК АСМ реализован другой – итерационный логико-статистический метод (ИЛСМ), разработанный Алексеевым А.О . ИЛСМ в качестве детерминированной имитационной модели использует непосредственно СФЦ исследуемой системы, которая представляется в форме монотонной или немонотонной системы логических уравнений. Это позволяет в статистическом ОЛВМ вообще не выполнять построения детерминированных аналитических моделей (ни ФРС, ни ВФ).
На рис.2 приведено окно автоматизированного моделирования ПК АСМ 2001 с результатами расчетов разными способами вероятностных показателей частичной работоспособности рассмотренной выше мостиковой системы (см. рис.1).
Рис.2 Результаты применения детерминированного метода статистического ОЛВМ
Из рис.2 следует, что с помощью детерминированного ОЛВМ автоматического формирования имитационной модели и выполнения на ее основе статистических расчетов вероятности частичной работоспособности мостиковой системы получен результат
Этот результат статистического ОЛВМ вполне согласуется с полученным