CC BY
53
Интернет-журнал «Науковедение» ISSN 2223-5167 http ://naukovedenie.ru/ Том 8, №3 (2016) http ://naukovedenie. ru/index.php?p=vol8-3 URL статьи: http://naukovedenie.ru/PDF/57TVN316.pdf Статья опубликована 14.06.2016. Ссылка для цитирования этой статьи:
Трегубов Р.Б., Сайтов И.А. Применение алгебры логики для формализации и решения задач анализа надежности структурно-сложных распределенных систем // Интернет-журнал «НАУКОВЕДЕНИЕ» Том 8, №3 (2016) http://naukovedenie.ru/PDF/57TVN316.pdf (доступ свободный). Загл. с экрана. Яз. рус., англ.
УДК 004.047
Трегубов Роман Борисович
ФГКВОУ ВО «Академия Федеральной службы охраны Российской Федерации», Россия, Орёл1
Сотрудник Кандидат технических наук E-mail: [email protected]
Саитов Игорь Акрамович
ФГКВОУ ВО «Академия Федеральной службы охраны Российской Федерации», Россия, Орёл
Сотрудник
Доктор технических наук, профессор E-mail: [email protected]
Применение алгебры логики для формализации и решения задач анализа надежности структурно-сложных распределенных систем
Аннотация. В статье предлагается новый подход к формальной постановке и решению задач расчета вероятности работоспособности структурно-сложных распределенных систем, к которым относятся телекоммуникационные, авто- или железнодорожные сети, газотранспортные, нефтепроводные и энергетические системы. Структурная сложность при этом состоит в том, при математическом описании (моделировании) структуры таких систем не могут быть сведены к простым последовательным, параллельным или древовидным структурам.
Разработанный инструментарий базируется на положениях алгебры логики и теории вероятностей, а также на композиции однородных двухзначных логических функций n переменных, описывающих условия работоспособного состояния отдельных элементов и системы в целом. Используемая при этом новая функция логического сочетания позволяет не только осуществить компактную формальную постановку задачи, но и аналитически строго, наглядно и удобно произвести ее решение при невысокой вычислительной сложности производимых процедур.
На примере сети связи производится практический расчет параметров надежности структурно-сложной распределенной системы, у которой условия работоспособности записываются в виде дизъюнкции кратчайших маршрутов успешного функционирования. На базе предложенной функции логического сочетания для расчета параметров надежности структурно-сложной распределенной системы осуществляется последовательное использование функ-
1 302030, г. Орел, улица Приборостроительная, дом 80, кв. 232 1
ций работоспособности кратчайших маршрутов успешного функционирования, двухполюсных и многополюсных сетей связи.
Ключевые слова: алгебра логики; структурная сложность; распределенные системы; теория вероятностей; функция логического сочетания; надежность; кратчайшие маршруты; функция работоспособности
Общие положения
В настоящее время структурно-сложные распределенные системы, такие как телекоммуникационные, авто- или железнодорожные сети, газотранспортные, нефтепроводные и энергетические системы и пр. имеют стратегическое значение для экономической и национальной безопасности страны. Соответствующие министерства и ведомства постоянно осуществляют мониторинг качества их функционирования. С этой целью осуществляются контроль, учет, моделирование, постановка и решение задач анализа функциональных характеристик [1] структурно-сложных распределенных систем (ССРС), среди которых показатели их стоимости, производительности, устойчивости и пр.
Одним из ведущих показателей функционирования инфраструктурных объектов является их надежность [2]. Здесь и далее под надежностью понимается способность системы сохранять свойства, необходимые для выполнения заданного назначения, при нормальных (повседневных) условиях ее эксплуатации в течение требуемого промежутка времени. Безотказность телекоммуникаций и транспорта, энергетики и топливного снабжения в стране напрямую определяются надежностью соответствующих сетей и систем. Все вышеизложенное свидетельствует о непреходящей актуальности проблематики анализа надежности ССРС.
К настоящему времени накоплен богатый опыт решения различных задач анализа и синтеза (оптимизации) распределенных систем. В проблематике анализа надежности разработано множество методов (точных и приближенных) расчета вероятности безотказности систем [3]. К точным методам расчета принято относить [4] метод полного перебора, метод прямого перебора элементарных путей, метод объединения элементарных путей с учетом эффекта поглощения, метод разложения булевой функции относительно особого элемента, метод двудольных графов и логико-вероятностный метод [5]. Применение этих методов связано с использованием комбинаций (множеств) элементов ССРС с известными характеристиками вероятности безотказного функционирования (или отказа) в различных сочетаниях.
1. Применение алгебры логики для описания условий работоспособности структурно-
сложных распределенных систем
Для того чтобы рассчитать надежность инфраструктуры, исследователю (проектировщику) необходимо описать условия работоспособности соответствующей ССРС. В настоящее время это принято осуществлять различными способами [6]: словесно, графически (например, с помощью структурной схемы системы) и/или аналитически (например, с помощью логических функций). В последнем случае логическую функцию, связывающую состояние элементов с состоянием системы в целом, будем называть функцией работоспособности системы [6].
Очевидно, что трудности в анализе надежности ССРС начинаются уже на этапе формальной постановки задачи, особенно если условия ее работоспособности заданы словесно и/или графически. Для обеспечения строгости формальной постановки и решения задачи рас-
Интернет-журнал «НАУКОВЕДЕНИЕ» Том 8, №3 (май - июнь 2016)
http://naukovedenie.ru [email protected]
чета показателей надежности ССРС далее предлагается использовать инструментарий алгебры логики.
Известно [7], что логическими переменными х, у и г называются неопределенные символы, которые могут становится любым элементом множества {0,1}, т. е. переменные х, у и г являются двухзначными. По отношению к логическим переменным х, у и г элементы множества { 0,1} являются их значениями. Если в силу каких-нибудь условий значению переменной х ставится в соответствие значение переменной у, то считается, что эти условия определяют у как функцию от х
У = /(-) у)е//: х^у. (1)
где х называется независимой переменной (аргументом), а у - зависимой переменной (функцией). Поскольку при формировании функции у = / (х) в отображении участвуют всего лишь одно множество { 0, 1 } , следовательно, она является однородной логической функцией.
Ниже будут использоваться однородные двухзначные логические функции п перемен-
ных
У = А^x2,...,Х(*1> x2,•••, Х, У)е / «
^ /: — Х) ^ У , (2)
т. е. такие, у которых все независимые переменные - , - ,...,- и сама функция У являются логическими переменными, принимающими значения из одного и того же двухэлементного
С1, х 2,
/(-1, -2,; -п ) .
множества {0,1} [7]. Далее вместо /((-, х2,•.., хи)) будет применяться упрощенная запись
Исследования показали, что логические функции целесообразно использовать для компактного описания условий работоспособности ССРС. Для формализованного описания ССРС далее вводится ряд дополнительных понятий и обозначений.
В контексте излагаемого считается, что элементы системы заданы, если определен вектор-строка элементов системы
X = [-1 — •.. Хп ], (3)
где п - общее число элементов системы; — - номер элемента системы.
Нормальное функционирование отдельного элемента системы называется работоспособным состоянием. Состояние, когда, элемент системы не может продолжать выполнение своих функций называется неработоспособным состоянием [8].
Далее используются следующие обозначения: X = [х1 Х2 •.. Хп] - вектор-строка состояний элементов системы, описывающий текущее состояние отдельных элементов системы; Х6, е{1, 0 } - состояние элемента системы с номером s (работоспособное или неработоспособное); Хх - работоспособное состояние s -го элемента системы, другими словами = 1;
р| %1 I р| х
Р\ хм
вектор-
XX 8 - неработоспособное состояние 5 -го элемента сети связи, другими словами Х4 = 0; р^X,
- вероятность нахождения 5 -го элемента сети связи в работоспособном состоянии, другими словами р(ха — 1); р(х8 ) - вероятность нахождения 5 -го элемента сети связи в неработоспособном состоянии, другими словами р(х4 — 0); РХ —
строка вероятностей работоспособных состояний отдельных элементов системы.
Методологические вопросы вычисления вероятности работоспособного состояния отдельных элементов системы р^ х& | выходят за рамки настоящей статьи.
Для наглядности дальнейших рассуждений ниже рассматривается ССРС, имеющая семантику сети связи, представленная графически на рисунке.
Рисунок. Граф исследуемой ССРС - сети связи (разработано автором)
Для инфраструктурных объектов часто используется термин маршрут. Далее кратчайший маршрут успешного функционирования (КМУФ) между вершиной х& и х будет трактоваться как последовательность элементов графа (вершин или ребер), когда нельзя ни один элемент изъять, не нарушив связности между вершинами х5 и х [8]. Следовательно, для
формального описания ССРС может быть использована М = [ц ... д] - вектор-строка
КМУФ, описывающий все КМУФ системы, как основные, так и резервные.
Исследования показали, что такой способ описания кроме обеспечения удобного и наглядного с точки зрения условий работоспособности ССРС формализованного представления объекта исследования, позволяет снизить размерность пространства возможных решений при анализе его надежности.
Для графа сети связи, изображенного на рисунке 1, вектор-строка КМУФ может быть задан, следующим образом
м = к
М- 2 Мз М 4 М5 Мб М 7 М8 М 9 М10
Ми М12 М13 М14 М15 М16 М17 М18
М19 ] ,
где каждый элемент цг также является вектором-строкой м = [5] , Мг = [б 7], Мз = [б 9 8] , М4 =[6], М5 =[5 7], Мб =[5 8 9], М7 =[5 8], М8 = [б 9], М9 =[5 7 9] , Мю =[б 7 8],
¡11 =[7], ¡12 =[5 6], - [8 9], ц14 =[8], ц15 =[7 9] , ц1б -[5 6 9], ц17 =[9], ц18 -[7 8], ц19 =[б 5 8].
В зависимости от назначения инфраструктурного объекта к ССРС предъявляются требования сохранения работоспособности хотя бы одного КМУФ или некоторой их совокупности. Работоспособное состояние КМУФ - это такое состояние, когда все элементы КМУФ находятся в работоспособном состоянии. Состояние, когда хотя бы один элемент КМУФ неработоспособен, называется неработоспособным состоянием КМУФ [4, 9].
Для описания условий функционирования ССРС, в которой заданы КМУФ целесообразно использовать следующие обозначения: M = jj Д2 ... Д ] - вектор-строка состояний КМУФ, описывающий текущее состояние отдельных КМУФ; ¡ц е {1, 0 } - случайная величина, описывающая состояние i -го КМУФ; - работоспособное состояние i -го КМУФ, другими словами ¡¡. = 1; ¡¡. - неработоспособное состояние i -го КМУФ, другими словами
¡¡. = 0 ; р^¡¡. | - вероятность нахождения i -го КМУФ в работоспособном состоянии, другими словами p{jxi = 1) ; p(î ) - вероятность нахождения i -го КМУФ в неработоспособном состоянии, другими словами р(Д г. = 0) ; PM =
ностей работоспособного состояния отдельных КМУФ.
Известно [7], что в алгебре логики существуют такие формы представления логических функций как ортогональная дизъюнктивная нормальная форма (ОДНФ) и совершенная дизъюнктивная нормальная форма (СДНФ). Их замечательными свойствами является возможность замещения логических переменных вероятностями того или иного состояния этих переменных, а логических операций - арифметическими, например [8]:
р[¡¡1 I Р[Ц 2 I . Р\Иi
вектор-строка вероят-
(x Л х2 )v (.Xj Л х2 Л X3 ) —
где
ЕК
^ Р(х1 = 1)- Р(х2 = 0)+ Р(х1 = 0- Р(х2 = 1)- Р(хз = 1), (5)
ек={[{„., -„...} {„.. рр)... }], ({•,х;,.}, {..., р- }), (Л, х), (V, +)}. (6)
Следовательно, аналитическое описание условий функционирования ССРС, соответствующих сохранению хотя бы одного (т = 1) работоспособного КМУФ средствами алгебры логики, не вызовет затруднений. Однако в последние годы к инфраструктурным объектам все чаще предьявляются более жесткие требования по надежности, заключающиеся в необходимости сохранения в работоспособном состоянии 2, 3 и более КМУФ. Для общего описания как стандартных (т = 1) так и нестандартных (т > 1) условий функционирования ССРС потребовалась разработка и внедрение новой логической функции п логических переменных, которая названа логическим сочетанием.
2. Исследование примененимости функции логического сочетания для расчета вероятности работоспособного состояния системы и ее элементов
Для удобства аналитической записи условий работоспособности ССРС, в которых требуется сохранения не менее т КМУФ предлагается использовать новую логическую функцию обозначаемую следующим образом
( \(т)
(Х1, Х2,"-, Хп )
Правила работы этой логической функции формулируется следующим образом: логическое сочетание п логических переменных по т равно единице, тогда и только тогда, когда число логических переменных, равных единице, равно т или более.
Ниже демонстрируется логика работы данной функции на примере одной, двух и трех переменных:
)(0 )= 1, (х1 )(1)= х1, (х )(2) = (х, Х)(0)= 1, (х, х)(3)= 0,
( - ( \ (2) _
(Х|, Х2 ) — Х| Х^ , (Х|, Х2 ) — Х| Х2
(8)
( ^(0). / V1)-
(Х^, Х2, Х ) = 1, (Х^, Х2, Х3 ) = Х^
(1)
Х^ Х2 Х3 , (X,, Х0, Х-
, (х , Х2 , Х3 )(2) = (Х а Х2 )v(x а Х ^(Х2 л Х ),
(х1 , Х2, х^) — х1 Х2 а х3 , (х1, Х2, х3) — 0 . Для формирования функции отрицания можно воспользоваться следующим выражени-
ем
(х1)
(2-Х! )
— Х1
(9)
при этом (2 - х ) это арифметическое произведение, то есть 2 - 0 = 0, 2 -1 = 2.
Поскольку с помощью предложенной функции логического сочетания можно записать основные функции одной и двух переменных: отрицание (9), конъюнкцию и дизъюнкцию (8); следовательно, эта функция, как и функции "штрих Шеффера" и "стрелка Пирса" достаточна для записи любой логической функции одного и двух независимых логических переменных.
Ниже представлено аналитическое выражение с помощью которого можно найти дизъюнктивную нормальную форму любого логического сочетания для случая когда 0 < т < п
(хх, Х-)
, х„
)(т) =
п-[т-1]
V х а
7 -1 'т-1
'т-1
п-[т-2]
V Х- л
'т-2
~>=гт-1 +1
.а
[т-т]
п-[т-т
V х.
7 =7 +1 'т-т 'т-т 'т-т+1 +1
(10)
Конструктивность предложенной выше функции (7) ниже демонстрируется на простом примере методом полного перебора для определения вероятности работоспособного состояния всх КМУФ для графа сети связи, изображенного на рисунке 1. Исходные данные для расчета представлены ниже с помощью матрицы смежности,
М
вер
1 0,9 0,9 0
0,9 1 0,9 0,9
0,9 0,9 1 0,9
0 0,9 0,9 1
в которой хранятся вероятности работоспособного состояния его вершин и ребер (если элемента нет или он находится в неработоспособном состоянии, тогда его вероятность работоспособного состояния равна нулю) и матрицы смежности, в которой хранятся номера соответствующих элементов графа
М
номера
1 5 6 0
5 2 7 8
6 7 3 9
0 8 9 4
(12)
Кроме того, для данной ССРС задано все множество корреспондирующих пар. В терминах теории сетей связи это значит, что заданы все двухполюсные сети связи (ДСС) [10], т. е. определен вектор-строка У = [ц о2 о3 о4 о5 [] , элементами которого являются вектора-строки, описывающих ДСС как совокупность КМУФ:
[1 =к Ц2 Ц3 I [2 = [Ц4 Ц5 Ц6 ] , [3 = [Ц7 Ц8 Ц9 Цю I [4 =[Ц11 Ц12 Ц13], [5 =[Ц14 Ц15 Ц16], [6 =[Ц17 Ц18 Ц19 ]•
Такое описание ДСС несколько отличается от традиционного подхода [4, 9], принятого в предметной области. Однако такое формальное представление, как показали исследования, способствует значительному снижению вычислительной сложности задачи расчета параметров надежности ССРС.
Ниже приведен расчет вероятности работоспособного состояния всех КМУФ первой ДСС с использованием предложенной ранее логической функции сочетания
р{цЦ ) = р{{х5)(1)= 1)= Р^) + Р(^8)+ Р(^9) + Р^20) + Р(^) + Р^2) + Р^3) + + Р(ы24) + Р(ы25) + Р(ы26) + Р(ы27) + Р(ы28) + Р(ы29) + Р(#30 ) + Р(#31) + Р(#32 ) = 0,9. (13)
дТ| = р((Хб, Х7 )(2) = 1)= Р(#13 )+ Р(^14 )+ Р(^15 )+ Р(М20 ) + Р(^161)+ Р(^9 ) +
+ Р(ыъо)+Р(ыъ!)+Р(ыъ2) = 0,81003.
р( Ц 3 | = р((*6, Х9, Х8 )(3)= 1)= Р(^12 )+ Р(М16 ) + Р(#28 )+ Р(#32 )= 0,7 В таблице обощены все возможные состояния элементов первой ДСС.
(14)
Таблица
Таблица всех состояний для первой ДСС и образующих ее КМУФ (составлено автором)
N Л Х5 Л х6 Л. ХХ7 Л Х9 Р{М) А1 А 2 А 3 и 1, т = 1 и 1, т = 2 и 1, т = 3
1 0 0 0 0 0 0,00001 0 0 0 0 0 0
2 0 0 0 0 1 0,00009 0 0 0 0 0 0
3 0 0 0 1 0 0,00009 0 0 0 0 0 0
4 0 0 0 1 1 0,00081 0 0 0 0 0 0
5 0 0 1 0 0 0,00009 0 0 0 0 0 0
6 0 0 1 0 1 0,00081 0 0 0 0 0 0
7 0 0 1 1 0 0,00081 0 0 0 0 0 0
8 0 0 1 1 1 0,00729 0 0 0 0 0 0
9 0 1 0 0 0 0,00009 0 0 0 0 0 0
10 0 1 0 0 1 0,00081 0 0 0 0 0 0
11 0 1 0 1 0 0,00081 0 0 0 0 0 0
12 0 1 0 1 1 0,00729 0 0 1 1 0 0
13 0 1 1 0 0 0,00081 0 1 0 1 0 0
14 0 1 1 0 1 0,00729 0 1 0 1 0 0
15 0 1 1 1 0 0,00729 0 1 0 1 0 0
16 0 1 1 1 1 0,06561 0 1 1 1 1 0
17 1 0 0 0 0 0,00009 1 0 0 1 0 0
18 1 0 0 0 1 0,00081 1 0 0 1 0 0
19 1 0 0 1 0 0,00081 1 0 0 1 0 0
20 1 0 0 1 1 0,00729 1 0 0 1 0 0
21 1 0 1 0 0 0,00081 1 0 0 1 0 0
22 1 0 1 0 1 0,00729 1 0 0 1 0 0
23 1 0 1 1 0 0,00729 1 0 0 1 0 0
24 1 0 1 1 1 0,06561 1 0 0 1 0 0
25 1 1 0 0 0 0,00081 1 0 0 1 0 0
26 1 1 0 0 1 0,00729 1 0 0 1 0 0
27 1 1 0 1 0 0,00729 1 0 0 1 0 0
28 1 1 0 1 1 0,06561 1 0 1 1 1 0
29 1 1 1 0 0 0,00729 1 1 0 1 1 0
30 1 1 1 0 1 0,06561 1 1 0 1 1 0
31 1 1 1 1 0 0,06561 1 1 0 1 1 0
32 1 1 1 1 1 0,59049 1 1 1 1 1 1
Параметры надежности остальных КМУФ расчитываются аналогично. Видно, что расчет на базе логической функции сочетания является строго аналитическим, удобным и наглядным.
Аналогичным образом далее производится анализ надежности ДСС.
Под работоспособным состоянием ДСС далее понимается такое состояние, когда в работоспособном состоянии находится не менее заданного числа КМУФ, образующих данную ДСС. Состояние, когда число работоспособных КМУФ, образующих данную ДСС, менее заданного будет называться неработоспособным состоянием ДСС [4, 9].
Далее используются следующие обозначения: У = [р [ ... бг] - вектор-строка состояний ДСС, описывающий текущее состояние отдельных ДСС; [ е{1, 0 } - случайная
величина, описывающая состояние I -й ДСС; [ - работоспособное состояние I -й ДСС, другими словами [ = 1; [ - неработоспособное состояние I -й ДСС, другими словами [ = 0;
| - вероятность нахождения I -й ДСС в работоспособном состоянии, другими словами р[д1 = 1); р([)) - вероятность нахождения I -й ДСС в неработоспособном состоянии, другими
Р[Ц| Р| [52 I . Р\[5г
- вектор-строка вероятностей работо-
словами р([5г. = 0); РУ = способного состояния отдельных ДСС.
Значение логической переменной [ может быть найдено с помощью логической функции сочетания (7) следующего вида
Л (т)
[5, =
I5 г , I5 к '.••' I5 г
(16)
при этом переменная 1 < т < ] (т.е. она меньше либо равна числа КМУФ, образующих данную ДСС).
Используя данные таблицы 1, далее рассчитывается вероятность работоспособного состояния первой ДСС для графа сети связи (рис. 1).
Для т = 1 (стандартные условия):
р[1| т = = р((Д1,12, |з)(1) = 1)= )+ )+ Р(Ми)+ Р(М15)+Р(М16)+
+ Р(^17 )+ Р(^18 )+ Р(^19 )+ Р(М20 )+ Р(^)+ Р(М22)+ Р(М23 )+ Р(^4)+ Р(М25 ) +
+ Р(Щб )+ Р(^7 ) + Р^28)+ Р(^29 )+ Р(Мз0 )+ Р(Мз1)+ Р(Мз2 ) = 0,98829. (17)
т = 2 |= р((А 1, 12> 53 )(2) =
Для т = 2:
р[ | т = 21 =
= Р(^16) + Р(^28) + Р(^29 ) + Р(Мз0) + Р(Мз1) + Р(Мз2 ) = 0,86022 . (18)
Для т = 3:
рр!! т = з) = р((|1, 52,I)(3) = 1)= Р(^32) = 0,59049. (19)
Параметры надежности остальных ДСС расчитываются аналогично.
Ту же логическую функцию (7) можно использовать для оценки параметров надежности ССРС в целом. В терминах теории сетей связи это значит, что на рисунке 1 задана некая многополюсная сеть связи (МСС) [10]. В этом случае работоспособное состояние МСС - это такое состояние, когда в работоспособном состоянии находится не менее заданного числа
V
У
ДСС, образующих данную МСС. Состояние, когда число работоспособных ДСС, образующих данную МСС, менее заданного называется неработоспособным состоянием МСС [4, 9].
Пусть используются следующие обозначения: ДУ = [щ щ ... щ] - вектор-строка состояний МСС, описывающий текущее состояние отдельных МСС; щ - случайная величина, описывающая состояние / -й МСС; щ - работоспособное состояние I -й МСС, другими словами щ = 1; щ - неработоспособное состояние I -й МСС, другими словами щ = 0; р^щ ^
- вероятность нахождения I -й МСС в работоспособном состоянии, другими словами р(щ = 1) ; р(щ ) - вероятность нахождения I -й МСС в неработоспособном состоянии, другими слова- вектор-строка вероятностей работоспо-
ми
р(щ = 0); Р^ = собного состояния отдельных МСС.
Р[ Р[ I . Р\Щ
Вероятность работоспособного состояния МСС, т. е. значение логической переменной , и в этом случае может быть найдено с помощью предложенной ранее новой логической функции (7). Можно записать
ж. =
с \
ог ,ок ,...,о1
^-V-'
V
(т)
(20)
при этом переменная 1 < т < ] (т.е. она меньше либо равна числа ДСС, образующих данную МСС). Случай, когда т = ] при этом будет считаться стандартным требованием для работоспособного состояния инфраструктурного объекта. Можно показать, что для исследуемого графа сети связи (рис. 1):
р^ | т = 6^ = р((ц | т = 1, и21 т = 1, и31 т = 1, и41 т = 1, и51 т = 1, 061 т = 1)(6) = 1)=
= Р(^2 ) + P(N14 )+ Р(^ )+ Р^ )+ Р^20 ) + Р^22 )+ Р^23 )+ Р(М24 ) + P(N26)+P(N27)+P(N28)+ P(Nзo)+P(Nз1)+P(Nз2 ) = 0,97686. (21)
р^1 т = = р(([311 т = 1, и31 т = 1)(1) = 1)=
= P(N1o)+P(N12)+ P(N1з)+ Р(^4)+P(N15)+P(N16)+P(N17)+P(N18)+ + P(N19)+P(N2o)+P(N21)+P(N22)+P(N2з)+P(N24)+P(N25)+P(N26)+P(N27)+
+ Р(^8)+P(N29)+ Р(^ )+P(Nз1)+P(Nз2) = 0,9891. (22)
Видно, что расчет параметров надежности ССРС на базе функции логического сочетания (7) предполагает последовательное использование функций работоспособности в следующем порядке: КМУФ, ДСС и МСС. Аналогично рассуждая можно показать, что выбранный композиционный подход целесообразно применять для анализа надежности отдельных ДСС и
ССРС в целом у которых условия работоспособности записываются не только в виде дизъюнкции КМУФ, но и в виде дизъюнкции минимальных остовных деревьев, кратчайших га-мильтоновых циклов и др. типов подграфов [10].
Заключение
Представленный в статье подход к формальной постановке и решению задач расчета вероятности работоспособности элементов структурно-сложных распределенных систем базируется на положениях алгебры логики и теории вероятностей, а также на композиции логических функций, описывающих условия работоспособного состояния КМУФ, ДСС и МСС. Используемая при этом новая логическая функция логического сочетания позволяет не только осуществить компактную формальную постановку задачи, но и аналитически строго, наглядно и удобно произвести ее решение. Об этом свидетельствует не только пример сети связи, представленный в статье, но и имеющиеся к настоящему времени результаты частнопроблем-ных исследований, например [11].
Достоинством предложенного инструментария является возможность учета нестандартных требований для работоспособного состояния инфраструктурного объекта, таких как многопутевость (многомаршрутность), многоадресность и т. п. Кроме того, как показала практика применения полученного инструментария, существенно упростился процесс разработки соответствующих программных средств анализа надежности ССРС.
Исследования показали, что областью применения предложенных инноваций является проблематика анализа как надежности, так и безопасности структурно-сложных распределенные систем [8], к которым наряду с телекоммуникационными сетями следует также отнести авто- или железнодорожные сети, газотранспортные, нефтепроводные и энергетические системы и пр., которые при математическом описании (моделировании) не могут быть сведены к последовательным, параллельным или древовидным структурам.
ЛИТЕРАТУРА
1. Сайтов И.А. Методологические основы синтеза полимодальных инфокоммуни-кационных систем государственного управления / И.А. Саитов, О.О. Басов, А.А. Карпов. - Орел: Академия ФСО России, 2015. - 271 с.
2. Тихонов А.Н., Иванников А.Д., Соловьев И.В. и др. Основы управления сложной организационно-технической системой. Информационный аспект: монограф. // М.: МАКС Пресс. - 2010. - 136 с.
3. Phillips, D. and Garcia-Diaz, A. Fundamentals of Network Analysis. Prentice-Hall. Englewood Cliffs, 1981. - 474 p.
4. Филин, Б.П. Методы анализа структурной надежности сетей связи / Б.П. Филин.
- М.: Радио и связь, 1988. - 208 с.
5. Рябинин, И.А. Основы теории и расчета надежности судовых электроэнергетических систем / И.А. Рябинин. - Л.: Судостроение, 1967. 362 с.
6. Рябинин, И.А. Логико-вероятностные методы исследования надежности структурно-сложных систем / И.А. Рябинин, Г.Н. Черкесов. - М.: Радио и связь, 1981.
- 264 с.
7. Айзерман, М.А. Логика. Автоматы. Алгоритмы / М.А. Айзерман, Л.А. Гусев, Л.И. Розоноэр, И.М. Смирнова, А.А. Таль. - М.: Физматгиз, 1963. - 556 с.
8. Рябинин, И.А. Надежность и безопасность структурно-сложных систем / И.А. Рябинин. - СПб.: Политехника, 2000. - 248 с.
9. Надежность и живучесть систем связи / Б.Я. Дудник, В.Ф. Овчеренко, В.К. Орлов и др.; Под ред. Б.Я. Дудника. - М.: Радио и связь, 1984. - 216 с.
10. Christofides, N. Graph Theory. An Algorithmic Approach. Academic Press, New York, London, San Francisco, 1975. - 432 p.
11. Алексиков, Ю.Г. Аналитико-алгоритмическая модель сети обмена данными управления телекоммуникационной системы, учитывающая вариативность интенсивности поступления потока управляющей информации / Ю.Г. Алексиков. -Интернет-журнал Науковедение, Выпуск 1 (20), 2014. - 17 с.
Tregubov Roman Borisovich
The Academy of the Federal guard service of the Russian Federation, Russia, Orel
E-mail: [email protected]
Saitov Igor Akramovich
The Academy of the Federal guard service of the Russian Federation, Russia, Orel
E-mail: [email protected]
Application of Boolean algebra for formalization and the solution of tasks of analysis of reliability of structural and difficult
distributed systems
Abstract. In article new approach to the problem definition and the solution of tasks of calculation of probability of working capacity of structural and difficult distributed systems to which belong telecommunication, a car - or railway networks, gas transmission, petrowire and power systems is offered. Structural complexity consists in that, in case of the mathematical description (modeling) of structure of such systems can't be brought together to simple sequential, parallel or tree structures.
The developed tools are based on provisions of Boolean algebra and probability theory, and also on composition of homogeneous double-valued logic functions of «-variables describing conditions of an operable status of separate elements and system in general. The new function of a logical combination used at the same time allows not only to realize a compact formal problem definition, but also it is analytically strict, evident and convenient to make its decision in case of low computing complexity of the made procedures.
On the example of a communication network practical calculation of parameters of reliability of structural and difficult distributed system at which conditions of working capacity written in the form of a disjunction of the shortest routes of successful functioning is made. On the basis of the offered function of a logical combination for calculation of parameters of reliability of structural and difficult distributed system sequential use of working capacity functions of the shortest routes of successful functioning, bipolar and multi-pole communication networks is carried out.
Keywords: boolean algebra; structural complexity; distributed systems; probability theory; function of a logical combination; reliability; the shortest routes; working capacity function
REFERENCES
1. Saitov I.A. Metodologicheskie osnovy sinteza polimodal'nykh infokommu-nikatsionnykh sistem gosudarstvennogo upravleniya / I.A. Saitov, O.O. Basov, A.A. Karpov. - Orel: Akademiya FSO Rossii, 2015. - 271 s.
2. Tikhonov A.N., Ivannikov A.D., Solov'ev I.V. i dr. Osnovy upravleniya slozhnoy or-ganizatsionno-tekhnicheskoy sistemoy. Informatsionnyy aspekt: monograf. // M.: MAKS Press. - 2010. - 136 s.
3. Phillips, D. and Garcia-Diaz, A. Fundamentals of Network Analysis. Prentice-Hall. Englewood Cliffs, 1981. - 474 p.
4. Filin, B.P. Metody analiza strukturnoy nadezhnosti setey svyazi / B.P. Filin. - M.: Radio i svyaz', 1988. - 208 s.
5. Ryabinin, I.A. Osnovy teorii i rascheta nadezhnosti sudovykh elektroenergeticheskikh sistem / I.A. Ryabinin. - L.: Sudostroenie, 1967. 362 s.
6. Ryabinin, I.A. Logiko-veroyatnostnye metody issledovaniya nadezhnosti strukturno-slozhnykh sistem / I.A. Ryabinin, G.N. Cherkesov. - M.: Radio i svyaz', 1981. - 264 s.
7. Ayzerman, M.A. Logika. Avtomaty. Algoritmy / M.A. Ayzerman, L.A. Gusev, L.I. Rozonoer, I.M. Smirnova, A.A. Tal'. - M.: Fizmatgiz, 1963. - 556 s.
8. Ryabinin, I.A. Nadezhnost' i bezopasnost' strukturno-slozhnykh sistem / I.A. Ryabinin. - SPb.: Politekhnika, 2000. - 248 s.
9. Nadezhnost' i zhivuchest' sistem svyazi / B.Ya. Dudnik, V.F. Ovcherenko, V.K. Orlov i dr.; Pod red. B.Ya. Dudnika. - M.: Radio i svyaz', 1984. - 216 s.
10. Christofides, N. Graph Theory. An Algorithmic Approach. Academic Press, New York, London, San Francisco, 1975. - 432 p.
11. Aleksikov, Yu.G. Analitiko-algoritmicheskaya model' seti obmena dannymi upravleniya telekommunikatsionnoy sistemy, uchityvayushchaya variativnost' intensivnosti postupleniya potoka upravlyayushchey informatsii / Yu.G. Aleksikov. - Internet-zhurnal Naukovedenie, Vypusk 1 (20), 2014. - 17 s.
