4. Описание условий работоспособности с помощью функций алгебры логики

Расчёт надёжности структурно сложных систем по приведённым выше зависимостям является чрезвычайно громоздким. Для его упрощения и формализации всех этапов расчёта, а также для удобства разработки алгоритма вычисления на компьютере предложен аналитический метод описания условий работоспособности системы с помощью функций алгебры логики (ФАЛ)¹.

Прежде всего, для использования данного метода требуется формализация на языке алгебры логики условий работоспособности структурно-сложных схем (УРС). При этом вводятся определённые допущения. Так, например, принимается, что на структурной схеме все элементы системы равноценны, а способ соединения элементов в функциональной схеме раскрывает структуру системы. Структурный элемент системы может не совпадать с физическим элементом реальной системы и заменять в функциональном смысле несколько последовательно соединённых физических элементов.

Каждый элемент системы, как и вся система, может находиться только в одном из двух состояний: полной работоспособности или полного отказа (отказ элемента обозначают x’_i). При этом предполагается, что действие системы детерминировано зависит от действия её элементов.

Функцию алгебры логики y(x₁,x₂,…,x_n), определяющую состояние системы через состояниеnеё элементовx₁,x₂,…,x_n , называютфункцией работоспособностисистемы (ФРС) илиусловиями работоспособностисистемы (УРС). При записи функции работоспособности для указания отношений между элементами используют такие понятия алгебры логики как конъюнкцию (логическое умножение) и дизъюнкцию (логическое сложение).

Всякая ФАЛ, записанная через конъюнкцию и дизъюнкцию, позволяет определить функцию работоспособности системы с помощью так называемых кратчайших путей успешного функционирования и минимальных сечений отказов системы.

Кратчайший путь успешного функционированиясистемы (КПУФ) представляет собой такую конъюнкцию её элементов, когда ни одну из компонент нельзя изъять, не нарушив функционирования системы. Эту конъюнкцию можно представить в виде следующей ФАЛ

, (10)

где K_Pl означает множество номеров, соответствующих данному пути;

x_i соответствует работоспособному состояниюi-го элемента;

 знак конъюнкции.

Иначе говоря, кратчайший путь успешного функционирования системы описывает один из возможных самостоятельных вариантов выполнения задачи, стоящей перед системой. Этот вариант отличается от других тем, что содержит минимальный набор работоспособных элементов, абсолютно необходимых для осуществления данного варианта работы системы.

Минимальное сечение отказов системы (МСО) представляет такую конъюнкцию из отрицаний её элементов, когда ни одну из компонент нельзя изъять, не нарушив условий неработоспособности системы. Такую конъюнкцию можно записать в виде следующей ФАЛ

, (11)

где x’_i соответствует неработоспособному состояниюi-го элемента;

K_Sl означает множество номеров, соответствующих данному сечению.

Другими словами, минимальное сечение отказов системы описывает один из возможных способов нарушений работоспособности системы с помощью минимального набора отказавших элементов.

С учётом введённых понятий можно по-разному записать условия работоспособности системы:

• в виде дизъюнкции всех имеющихся кратчайших путей успешного функционирования

,

где d –число кратчайших путей.

• через конъюнкцию отрицаний всех минимальных сечений отказов

,

где m- число минимальных сечений.

Таким образом, условия работоспособности реальной системы можно представить в виде условий работоспособности некоторой эквивалентной (в смысле надёжности) системы, структура которой представляет параллельное соединение кратчайших путей успешного функционирования. Эти же условия работоспособности можно выразить в виде УРС другой эквивалентной системы, структура которой представляет последовательное соединение отрицаний минимальных сечений.

Рассмотрим на примере составление условий работоспособности системы теплоснабжения потребителей от двух водогрейных котлов. Производительность каждого из них полностью обеспечивает нужды потребителей (рис.2).

Потребители обеспечиваются теплом в случае исправности котла ВК №1, аккумулятора №1, теплотрассы №1 и распределительного устройства (РУ). Но бесперебойное теплоснабжение будет обеспечено также при исправности котла ВК №1, перемычки П, аккумулятора №2, теплотрассы №2, и РУ. Возможен и такой вариант теплоснабжения: котёл ВК №2, аккумулятор №2, теплотрасса №2, и распределительное устройство. От котла ВК №2 можно также подать теплоноситель через аккумулятор №2, перемычку П, аккумулятор №1, теплотрассу №1 и распределительное устройство РУ.

Приведённое выше словесное описание условий бесперебойного теплоснабжения потребителей можно компактно записать на языке алгебры логики. Функция работоспособности рассмотренной системы с помощью кратчайших путей успешного функционирования запишется в виде матрицы

Рис.5.2. Схемы системы теплоснабжения:

а - принципиальная схема; б - схема расчёта надёжности; ВК- водогрейный котёл; К- коллектор (аккумулятор);РУ – распределительное устройство

. (12)

В формуле (12) каждая строчка матрицы представляет собой конъюнкции логических символов, а столбцы - их дизъюнкции. К логическим матрицам применимы все известные преобразования алгебры логики, и, кроме того, эти матрицы можно обрабатывать при помощи аппарата линейной алгебры как обычные матрицы. В случае сложных схем применяют формализованные приёмы составления ФРС и их обработки методами алгоритмов разрезания, ортогонализации и других. Конечная цель вычислений – это получение вероятностной функции (ВФ), которая представляет собой вероятность истинности ФАЛ

Для простейшего случая, показанного на рис.2, вероятностную функцию можно получить без помощи указанных алгоритмов путём использования формул (8),(9).

Для структурно сложных технических объектов при наличии множества параллельных связей между элементами логико-вероятностные методы расчёта структурной надёжности позволяют не только получить количественные оценки показателей надёжности, но и оценить важность отдельных элементов при синтезе систем с заданной надёжностью. Кроме того, этими методами могут решаться задачи расчёта надёжности восстанавливаемых объектов длительного использования, а также рассчитываться их живучесть и безопасность.

Алгоритмы подобных расчётов формализованы и приспособлены к использованию на современных вычислительных средствах.