- •От автора
- •Список сокращений
- •Список основных обозначений
- •Состояния и события объекта
- •Абстрактное описание процесса функционирования объектов
- •Классификация отказов объектов
- •Еденичные показатели надёжности
- •Единичные показатели надежности объектов
- •Комплексные показатели надёжности объектов
- •Рекомендуемые для решения задачи
- •Контрольные вопросы и задания
- •Элементы общей теории множеств
- •Историческая справка
- •Как возникли формальная и математическая логика
- •Элементы теории множеств
- •Основные операции с множествами
- •Общие вопросы теории множеств
- •Контрольные вопросы и задания
- •Элементы математической логики
- •Введение
- •Основные логические связки
- •Высказывания и булевы функции
- •Сопостовление законов математической логики и теории множеств
- •Основные логические операции
- •Контрольные вопросы и задания
- •Статические методы оценки в теории надёжности объектов
- •О точночти и достоверности количественной оценки надёжности
- •Аналитические зависимости между показателями надежности
- •Случайные величины, используемые в теории надежности
- •Закон распределения вероятности отказа контактора
- •Линейный закон распределения вероятности отказа контактора
- •Дискретные распределения случайных величин в теории надежности
- •Непрерывные распределения случайных величин в теории надежности
- •Оценка вероятности отказа по частоте
- •Оценки средней наработки до первого отказа и наработки на отказ
- •Функции нормального распределения ф(z)
- •Рекомендуемые для решения задачи
- •Применение приближенных формул пуассона и лапласа
- •Контрольные вопросы и задания
- •Потоки отказав и восстановлений в теории надежности
- •5.1 Характеристика потоков отказов и восстановлений
- •5.2 Модели случайных процессов в теории надежности
- •5.3 Марковские процессы в теории надежности
- •5.4 Виды марковских процессов
- •Контрольные вопросы и задания
- •Расчет надежности электрических аппаратов
- •Расчет электрических аппаратов на надежности
- •6.1 Факторы, влияющие на надёжность электрических аппаратов
- •Классификация методов расчёта электрических аппаратов на надёжность
- •Расчёт надёжности при основном соединении элементов в электрических аппаратах
- •Расчет надежности с учетом восстановления и различной глубины контроля
- •Рекомендуемые для решения задачи
- •Методы расчета надежности резервированных электрических аппаратов
- •Классификация методов резервирования
- •Расчет надежности при общем и раздельном резервировании
- •Расчет надежности при резервировании объектов с дробной кратностью
- •Логико-вероятностные методы расчета резервированных электрических аппаратов
- •Расчет надежности резервированных электрических аппаратов с восстановлением
- •Решение уравнений, описывающих вероятности состояний системы
- •Средняя наработка до отказа восстанавливаемой системы
- •Расчет надежности восстанавливаемых резервируемых систем
- •Принципы решения типовых задач при расчете надежности систем логико - вероятностными методами
- •Задачи и упражнения по логико-вероятностному методу расчета надежности систем
- •Примеры решения типовых задач при расчете надежности резервированных восстанавливаемых систем, основанном на составлении графа переходов системы из одного состояния в другое
- •Задачи и упражнения по расчету надежности восстанавливаемых резервированных систем, основанному на составлении графа переходов
- •Контрольные вопросы и задания
- •Расчет функциональной надежности электрических аппаратов
- •Обоснование и распределение требований к надежности элементов электрических аппаратов
- •Методы моделирования надежности сложных электрических аппаратов
- •Контрольные вопросы и задания
- •Контрольные испытания на надежность
- •Методика последовательного анализа
- •Многофакторные испытания на надежность
- •Постановка задачи многофакторных испытаний объектов на надежность
- •9.5. Анализ отказов электрических аппаратов
- •Основы инженерной методики планирования, проведения и обработки результатов многофакторных испытаний электрических аппаратов на надежность
- •Постановка задачи на эксперимент
- •Выбор контролируемых параметров объектов
- •Выбор варьируемых факторов внешней среды и определение уровней их варьирования
- •Определение количества уровней варьируемых факторов и интервала их варьирования
- •10.5. Определение объема выборки
- •Составление матрицы планирования и ее реализация
- •Обработка и статистический анализ результатов многофакторных испытаний
- •Инженерные методы определения характеристик надежности электрических аппаратов по результатам многофакторных испытаний
- •Методика планирования, проведения и обработки результатов мфин
- •Порядок проведения мфин
- •Определение влияния действующих факторов на впо
- •Определение закономерности изменения впо во времени
- •Определение характеристик надежности объектов по результатам многофакторных испытаний
- •11 Теоретические основы оценивания надежности электрических аппаратов по результатам эксплуатации
- •Классические методы математической статистики для анализа эксплуатационной информации о надежности электрических аппаратов
- •Определение законов распределения случайных величин по эксплуатационной информации
Логико-вероятностные методы расчета резервированных электрических аппаратов
Логические основы расчета надежности. Сущность логико-вероятностных методов расчета надежности состоит в описании схемы объекта с помощью аппарата математической логики с последующим использованием теории вероятностей при определении характеристик надежности.
В основе расчетов надежности лежит исследование событий и высказываний. Произвести расчет надежности системы означает определить связь между сложным событием — отказом системы и простыми событиями. Таким образом, в основе расчетов систем на надежность лежат операции с событиями и высказываниями, ими занимается математическая логика и один из ее разделов — алгебра высказываний. Объектом исследований алгебры высказываний являются высказывания, о которых можно утверждать, что они либо истинны, либо ложны. Высказывания могут быть простыми и сложными. Сложное высказывание — это высказывание, состоящее из простых высказываний, соединенных между собой логическими операциями. Каждая из логических операций устанавливает вполне определенную связь между истинностью сложного высказывания и истинностью простых высказываний.
Наиболее распространенные логические операции для двух простых высказываний а и b приведены в табл. 7.1, где истинность высказываний обозначена единицей, ложность — нулем (1 — элемент работоспособен, 0 — неработоспособен).
Таблица 7.1
Наиболее распространенные логические операции для двух простых высказываний
Название операции |
Результат a/b функции а/6 |
Обозначение операции |
||||
0/0 |
0/1 |
1/0 |
1/1 |
|||
Конъюнкция (логическое умножение) |
0 |
0 |
0 |
1 |
|
|
Дизъюнкция (логическое суммирование) |
0 |
1 |
1 |
1 |
|
|
Суммирование по модулю 2 |
0 |
1 |
1 |
0 |
|
|
Эквивалентность |
1 |
0 |
0 |
1 |
|
|
Отрицание |
1 |
0 |
1 |
0 |
|
|
Импликация от b к а |
1 |
0 |
1 |
1 |
|
|
Отрицание конъюнкции (штрих Шеффера) |
1 |
1 |
1 |
0 |
|
|
Отрицание дизъюнкции (стрелка Пирса) |
1 |
0 |
0 |
0 |
|
|
Правила перехода от любого сложного высказывания к высказыванию, содержащему операции конъюнкции, дизъюнкции и отрицания:
из таблицы выделить наборы простых высказываний, приводящие сложное высказывание в единицу;
для каждого из таких наборов записать простые истинные высказывания без знака отрицания, а ложные — со знаком отрицания; полученные высказывания соединить знаком конъюнкции;
конъюнкции простых высказываний соединить операцией дизъюнкции.
Основные логические связки рассмотрены в главе 3 данного пособия. Здесь приведены логические операции, используемые при расчетах надежности резервированных ЭА.
При расчетах надежности наиболее часто используются законы и правила для преобразований сложных высказываний. С их помощью сложную логическую функцию можно привести к минимальной бесповторной форме, т. е. к виду, когда функция содержит минимальное число составляющих и в ней нет повторения одинаковых аргументов.
Логическое уравнение, содержащее операции дизъюнкции, конъюнкции и отрицания, можно привести к арифметическому виду, если заменить логические операции на арифметические по следующему правилу: для определения вероятностей сложных высказываний необходимо логическую операцию сложного высказывания привести к минимальной бесповторной форме, арифметизировать ее и затем заменить высказывания на их вероятности:
(7.23)
Рис.
7.10
Структура
расчета надежности
Эта структура может быть сведена к эквивалентной, состоящей из узла 1-2-3-4 и элемента 5, соединенных последовательно.
Расчетные формулы для элементов, соединенных параллельно. Рассмотрим параллельное соединение из трех элементов (см. рис. 7.11). Его отказ произойдет после выхода из строя всех элементов. Условие работоспособности: устройство работоспособно, если работоспособны элемент а, или элемент b, или элемент с,
или
элементы а
и
b,
а и
с,
b
и
с, а и b
и
с.
Этому
условию соответствует логическая
функция (функция
алгебры логики —
ФАЛ), в которой
а,
b,
с —
события, состоящие в том, что
элементы а, b,
с находятся
в работоспособном
состоянии:
(7.24)
ФАЛ,
связывающую состояния элемента с
состоянием системы, называют
функцией работоспособности системы
Для
оценки работоспособных состояний
системы используются два понятия:
кратчайший путь успешного функционирования, который представляет собой такую конъюнкцию элементов, ни один из компонентов которой нельзя изъять, не нарушив условия функционирования системы;
минимальное сечение отказов — конъюнкция из отрицаний элементов, ни один из компонентов которой нельзя изъять, не нарушив условия неработоспособности системы.
Используя эти понятия, условия работоспособности объекта можно записать либо в виде дизъюнкции всех кратчайших путей успешного функционирования — дизъюнктивная нормальная форма (ДНФ), либо в виде конъюнкции отрицаний всех минимальных сечений отказов — конъюнктивная нормальная форма (КНФ). Далее, после составления функции работоспособности системы в виде ДНФ или КНФ необходимо перейти к вероятностной функции, с помощью которой определяются характеристики надежности. Однако непосредственно перейти к вероятностной функции от ДНФ или КНФ, как правило, нельзя, так как одна и та же переменная может входить в состав нескольких конъюнкций (7.24). Поэтому полученное выражение (7.24) необходимо преобразовать к бесповторной форме функции алгебры логики (БФАЛ). Имеется несколько алгоритмов преобразования ФАЛ и БФАЛ: алгоритмы С. В. Макарова, Ю. Б. Мерекина, И. А. Рябинина, А. С. Смирнова и др.
Минимизируем выражение (7.24):
Fn = а(1 v b v bc) v b(1 v с v ас) v c(l v a v ab) = a v b v c, (7.25)
и арифметизируем его:
Fa = a + b + с - (ab + ас + bc) + abc. (7.26)
Теперь заменим события их вероятностями и получим
(7.27)
ВБР системы, состоящей из N параллельно соединенных элементов:
(7.28)
Интенсивность отказов объекта, состоящего из N параллельно соединенных элементов, обладающих постоянной интенсивностью отказов λо:
(7.29)
Расчетные формулы для объекта, состоящего из последовательно соединенных элементов. Пусть система для простоты состоит из трех последовательно соединенных элементов а, b, с. Отказ системы произойдет при отказе любого из элементов. Условие работоспособности: система работоспособна, если работоспособны элемент а и элемент b, и элемент с. Этому условию соответствует логическая функция
(7.30)
Ее арифметическое представление совпадает с логическим:
Вероятность безотказной работы
(7.31)
Для системы, состоящей из N последовательно соединенных элементов,
Последовательность логико-вероятностных расчетов надежности резервированных объектов. Относительная простота расчетов надежности, основанных на использовании параллельно-последовательных структур, делает их самыми распространенными в инженерной практике. Однако не всегда условие работоспособности можно непосредственно представить параллельно-последовательной структурой. В этом случае сложную структуру можно заменить ее эквивалентной параллельно-последовательной структурой. К таким преобразованиям относятся:
а) преобразование с эквивалентной заменой треугольника на звезду и обратно;
б) разложение сложной структуры по базовому элементу. Способы преобразования сложных структур изложены в книге И. А. Рябинина [14].
Последовательность логико-вероятностного метода расчета надежности объектов следующая:
Словесная формулировка условий работоспособности системы.
Составление логической функции работоспособности.
Минимизация
и
приведение к бесповторной форме.Арифметизация .
Замена событий (высказываний) их вероятностями.
Расчет надежности (определение Pc(t), fc(t), Ac(t) и других характеристик).
Анализ полученных результатов.
7.5.
