CC BY
60
УДК 007; 681.3
Е.И. СУКАЧ, А.Б. ДЕМУСЬКОВ, Д.В. РАТОБЫЛЬСКАЯ
КОМПЬЮТЕРНАЯ СИСТЕМА ВЕРОЯТНОСТНО-АЛГЕБРАИЧЕСКОГО МОДЕЛИРОВАНИЯ СЛОЖНЫХ СИСТЕМ СО МНОГИМИ СОСТОЯНИЯМИ
Анотація. Наводиться опис комп'ютерної системи PALS, що реалізує метод імовірнісно-алгебраїчного моделювання складних систем і дозволяє оцінити в динаміці ймовірнісні характеристики досліджуваної властивості складних систем з багатьма станами. На прикладах демонструється оцінка ймовірнісних властивостей структурно-простих і структурно-складних систем.
Ключові слова: ймовірнісно-алгебраїчне моделювання, надійність складної системи, структурнопроста система, структурно-складна система.
Аннотация. Приводится описание компьютерной системы PALS, реализующей метод вероятностно-алгебраического моделирования сложных систем и позволяющей оценить в динамике вероятностные характеристики исследуемого свойства сложных систем со многими состояниями. На примерах демонстрируется оценка вероятностных свойств структурно-простых и структурно-сложных систем.
Ключевые слова: вероятностно-алгебраическое моделирование, надёжность сложной системы, структурно-простая система, структурно-сложная система.
Abstract. The description of the computer system PALS performing the method of the probability-algebraic simulation of difficult systems is presented. It allows estimating in dynamics the probability characteristics of the investigated property of difficult systems with many conditions. The assessment ofprobability properties of structurally-simple and structurally-difficult systems is shown in examples.
Keywords: probability-algebraic simulation, reliability of difficult system, structurally-simple system, structurally-difficult system.
1. Введение
В настоящее время, в связи с расширением круга задач вероятностного анализа, всё более востребованными становятся методы и программные средства моделирования сложных систем различного назначения. Методы, как правило, ориентированы на определённый класс систем и имеют свои ограничения. Для определения вероятностных характеристик надёжности структурно-сложных систем (CCC), которые описываются сценариями сетевого типа с циклами и неустранимой повторностью аргументов при их формализации, разработаны логико-вероятностные методы (ЛВМ) [1, 2], основанные на идее построения функций работоспособности систем с использованием законов логики и оценки их вероятности с использованием теории вероятностей. Все результаты, полученные для ССС, являются пригодными и для систем с простой структурой, которые при математическом описании сводятся к последовательным, параллельным или древовидным структурам.
В поддержку этих методов реализован ряд программных средств, направленных на исследование надёжности сложных систем: “АРБИТР” (ПК АСМ СЗМА) [3] - программный комплекс автоматизированного структурно-логического моделирования и расчета надежности и безопасности систем; Relex Reliability Studio [4] - программная среда, включающая различные методы анализа надёжности и реализующая разнообразные формы задания моделей (графы, деревья отказов, событий, блок-схемы надежности); Risk Spectrum
- программное обеспечение вероятностного анализа безопасности объектов атомной энергетики [5]. Существенным ограничением использования указанных программных продуктов является размерность системы, которая определяется числом составляющих её компонентов. Увеличение числа компонентов или числа их состояний приводит к экспоненци-
© Сукач Е.И., Демуськов А.Б., Ратобыльская Д.В., 2011 ISSN 1028-9763. Математичні машини і системи, 2011, № 3
альной сложности задачи и делает невозможным проведение расчётов не только при исследовании ССС, но и при расчёте характеристик структурно-простых систем.
В статье приводится описание компьютерной системы PALS (Probability-Algebraic Simulation), реализующей метод вероятностно-алгебраического моделирования (ВАЛМ) сложных систем [6]. Система PALS автоматизирует основные этапы ВАЛМ и позволяет оценить в динамике вероятностные характеристики исследуемого свойства (надёжность, производительность и др.) как структурно-простых систем, так и ССС. При этом для структурно-простых систем сняты ограничения на число компонентов, составляющих систему, и число их возможных состояний. Для ССС, в рамках вероятностно-алгебраического подхода, реализована методика расчёта надёжности многокомпонентных ССС со многими состояниями, основанная на сведении моделей с произвольным числом состояний к расчётным бинарным моделям [7].
2. Идея метода вероятностно-алгебраического моделирования
Объектом исследования является сложная система, включающая множество компонентов {К}, i = 1, m, каждый из которых характеризуется множеством несовместных состояний
{^ }, j = 1, n . Состояния соответствуют промежуточным уровням исследуемого свойства
компонентов, которые характеризуются некоторым физическим параметром (совокупностью параметров). Вероятности состояний известны и задаются векторами:
P = (р1 ,р2,..-РПX YjP) =1 i =1 m .
j=1
Ставится задача определения вектора вероятностей состояний исследуемой системы
P‘ = (р0, p0рП ) '¡tp', = 1
j=0
по вероятностным значениям исследуемого свойства её компонентов.
Вероятностно-алгебраический подход к определению вероятностных характеристик исследуемого свойства сложной системы предполагает её формализацию с использованием алгебраических структур [8], которые описывают вероятностный характер отношений между компонентами и позволяют однозначно определить вероятностные характеристики системы по вероятностным характеристикам составляющих их компонентов.
Идея метода заключается в следующем. Если компонент К3 представляет собой результат взаимодействия компонентов К1 и К 2, характеристики исследуемого свойства которых описываются соответственно векторами вероятностей P1 и P 2 , то значения элементов вектора вероятностей P3 определяются по формуле
p, = t ±<р! р j ■
j=i i=i
где i, j, k = 1, n .
При этом aikj называются коэффициентами вероятностно-алгебраического моделирования. В случае, когда удаётся установить аналитический вид функции взаимодействия компонентов K1 и К2, значения коэффициентов a, определяются следующим образом:
ak = 1, если k = F (i, j)
ak = 0, если k Ф F(i, j)
4
В общем случае коэффициенты aikj представляют собой некоторый вектор вероятностей, описывающий характер взаимодействия компонентов, при котором i -му состоянию компонента К1 и j -му состоянию компонента К2 ставится в соответствие вектор
возможных состояний результирующего компонента К 3 . При этом aikj удовлетворяют следующим условиям:
"i, j,k ak ^ 0 и t^al = 1.
k=1
3. Структурные составляющие системы вероятностно-алгебраического моделирования
Структурно компьютерная система вероятностно-алгебраического моделирования PALS, реализующая автоматическое построение моделей и расчёты вероятностных показателей исследуемого свойства сложных систем, включает подсистему формирования графа модели (PS.GRAF_D); библиотеку функций, определяющих отношения между компонентами (LIB.FUNC); подсистему статического моделирования (PS.STAT); подсистему динамического моделирования (PS.DINAM); библиотеку типовых вероятностно-алгебраических моделей (LIB.PALS); подсистему визуализации результатов моделирования (PS.VIZ); справочную систему (PS.SPRAV); базу данных моделирования (BD.PALS).
Подсистема формирования графа PS.GRAF_D модели обеспечивает визуальное средство описания объекта исследования и реализует операции, связанные с формированием структуры исследуемой модели в виде дерева. Она включает процедуры построения в диалоговом режиме графа модели путём использования стандартных элементов: устройств, соответствующих выделенным компонентам исследуемой системы, и функциональных узлов, определяющих отношения между компонентами. Подсистема PS.GRAF_D обеспечивает наглядное представление компонентов, связей между ними и уровней вложенности функций, описывающих эти связи, что позволяет в диалоговом режиме определить исходные параметры компонентов, установить уровни иерархии функциональных связей и в дальнейшем, используя эффективные алгоритмы обхода узлов при машинной реализации метода, обеспечить замещение функциональных связей между компонентами системы вероятностными вычислениями с использованием коэффициентов вероятностноалгебраического моделирования.
Сервисные функции, реализованные в составе PS.GRAF_D, обеспечивают копирование, редактирование, удаление компонентов и промежуточных узлов схемы. Кроме этого, реализована возможность настройки параметров расчета (задания значений по умолчанию). Работа подсистемы и её взаимодействие с базой данных моделирования обеспечивает снижение объемов вводимой пользователем информации.
Библиотека функций LIB.FUNC включает параметризованные заготовки типовых детерминированных и вероятностных функций, позволяющих описывать отношения между компонентами исследуемой системы. Примерами детерминированных функций F (i, j), позволяющих определить состояние системы по состояниям и составляющих её компонентам в составе библиотеки, являются следующие: F1(i,j) = max(i,j); F2(i,j) = min(i,j);
F3 (i, j) = min(i + j -1, n); F4(i, j) = \i - j\. Возможно пополнение состава библиотеки функций за счёт расширения областей применения метода, усложнения отношений между компо-
нентами и перехода от бинарных к п -арным операциям, описывающим взаимосвязи между множеством компонентов.
Подсистема статического моделирования РЗ.БТАТ включает процедуры формирования алгебраической модели системы в символьном виде и её автоматического преобразования в вероятностную форму, позволяющую реализовать одномоментное ВАЛМ на очередной итерации многошагового процесса моделирования системы. Алгебраическая модель формируется с учётом заданной структуры сети. При рассмотрении простых графовых систем статическое моделирование реализуется с использованием алгоритма «свёртки» векторов вероятностей компонентов с учётом введённых операций (РКРАЪБ). Рассмотрение систем, включающих зависимые компоненты, реализуется процедурой «свёртки» векторов компонентов с учётом значений корреляционных матриц в качестве коэффициентов вероятностно-алгебраического моделирования.
В случае рассмотрения структурно-сложной системы со многими состояниями реализуется переход к исследованию множества систем той же структуры, но с двумя обобщёнными состояниями. В этом случае для проведения исследования вероятностных характеристик бинарных систем используются известные алгоритмы логико-вероятностного моделирования (РКЬОСТС) [1]. По результатам моделирования формируются результирующие векторы вероятностей системы со многими состояниями.
Таким образом, подсистема статического моделирования на основании вероятностной информации о состояниях исследуемого свойства компонентов автоматически формирует результирующие векторы всех промежуточных узлов графа и всей системы в целом.
Подсистема динамического моделирования РБОШАМ структурно включает блок реализации первичного моделирования с использованием параметрических функций (ЫБ.РАЯАМ); блок реализации первичного моделирования с использованием аппарата цепей Маркова (ЫБ.РЕЯУ); блок управляющих правил (ЫБ.иРК_РЯ).
Блок реализации первичного моделирования с использованием параметрических функций (ЫБ.РАВЛМ) реализует алгоритмы вероятностного изменения исследуемого свойства отдельными компонентами с использованием различных параметрических функций, параметрами которых является время, указанные состояния компонентов и системы в целом.
В случаях, когда не удаётся найти аналитический вид зависимости, описывающей вероятностное изменение исследуемого свойства системы, выбирается одна из форм марковских моделей, отражающая особенности стохастического процесса изменения состояний компонентов и позволяющая перейти к рассмотрению изменения исследуемого свойства систем на достаточно малом шаге моделирования (ЫБ.РЕЯУ). С целью реализации разнообразных функций организации первичного моделирования с использованием аппарата цепей Маркова используется следующий набор процедур: процедуры классификации компонентов системы по выбранным признакам (РЯ.ОЯОиР); процедуры подбора параметров марковских моделей (РЯ.РОББ); процедуры реализации первичного моделирования с использованием выделенных форм моделей (РЯМАВК); процедуры перехода к рассмотрению непрерывного процесса изменения исследуемого свойства компонентов (РК.МАЯК_К).
В простейшем случае результатом динамического моделирования на выбранном временном интервале является вектор вероятностей состояний системы, зависящий от вероятностных изменений состояний компонентов и взаимного влияния вероятностных характеристик компонентов в процессе функционирования системы.
При использовании алгоритма динамического моделирования с управлением результатом будет последовательность вариантов структурной организации системы, полученных с учётом динамических изменений компонентов системы и их взаимного влияния, и вектора вероятностей, соответствующих каждому варианту. Получение такой последова-
тельности вариантов структурной организации исследуемых систем является важным при обосновании решений, корректирующих процесс выполнения системой заданной функции путём согласованной работы её компонентов.
Блок управляющих правил (LIB.UPR_PR) содержит представленные в формализованном виде правила, состав которых может быть обновлён с учетом особенностей исследуемой проблемной области.
Библиотека типовых вероятностно-алгебраических моделей LIB.PALS включает параметризованные варианты моделей сложных систем из различных предметных областей, которые могут быть использованы как «заготовки» при моделировании исследуемого свойства графовых систем и требуют лишь задания исходной информации о параметрах компонентов и структуре исследуемой системы.
Подсистема визуализации PS.VIZ одновременно с процессом моделирования отображает полученные результаты. Г енератор отчетов, формирующий протокол работы системы в электронном виде, автоматически отображает временные диаграммы и графики изменения исследуемого свойства как отдельных компонентов, так и всей системы. По окончании расчёта вероятностных характеристик исследуемого свойства графовой системы с использованием подсистемы PS.VIZ интенсивности изменения состояний (отказов) системы и ее компонентов отображаются в виде гистограммы, высота прямоугольников которой пропорциональна значению рассчитанных интенсивностей, а цвет показывает уровень исследуемого свойства (надежности) компонента относительно заданного значения.
Справочная подсистема PS.SPRAV ориентирована на инженеров-проектировщиков, не имеющих специальных знаний в области моделирования вероятностных свойств системы. В ней содержится вся необходимая информация о работе системы PALS с описанием всех окон интерфейса пользователя и его действий, а также даётся описание типовых вероятностно-алгебраических моделей, составляющих библиотеку LIB.PALS.
База данных BD.PALS осуществляет взаимодействие структурных подсистем программной системы вероятностно-алгебраического моделирования PALS. Она реализована универсальными программными средствами. В ней хранятся, обновляются и накапливаются данные моделирования по каждому компоненту и всей системе в целом.
Программная система PALS реализована в интегрированной среде Borland Delphi 10 Lite v 3.0 разработки Windows-приложений. Она позволяет проводить расчеты графовой схемы, содержащей неограниченное число уровней вложенности компонентов путём статического - для текущего момента времени, и динамического моделирования, отображающего вероятностные изменения сложной системы во времени.
4. Пример определения динамических вероятностных характеристик многокомпонентной структурнопростой системы
Для демонстрации работы системы PALS рассмотрим сложную систему, структура которой представлена на рис. 1.
Предполагается, что система включает компоненты
K = {Kj, i = 1,19, которые описываются однотипным образом и характеризуются множеством состояний: S = {Sj}, j = 1,5, соответствующих оп-
ределённому уровню некоторого случайным образом изменяющегося свойства. Начальные значения вероятностей состояний компонентов задаются векторами
р”=(р ”. р”..... р5”). і р',“=>■'=1,19.
і=1
которые изменяются во времени.
Вероятностное изменение состояний компонентов исследуемой структуры (рис. 1) описывается марковскими моделями (рис. 2) с дискретными состояниями и дискретным временем. переходные матрицы которых РК.. [5х5] .і = 1.19 для всех компонентов различны.
Рис. 2. Граф марковской модели, описывающий вероятностное поведение компонентов
В результате первичного моделирования были сформированы значения векторов вероятностей, характеризующие изменение состояний компонентов на заданном промежутке времени:
5 ____ _____
Pü = (pj, , ..., p5), 2 pj = 1 i = 1,19, t = 1,100 .
j=i
Они являлись исходными данными для вероятностно-алгебраического моделирования исследуемой системы. В расчётных вероятностных моделях использовались функция F1(i, j) = min(i + j -1, n) для параллельно расположенных компонентов и функция F2(i, j) = max(i, j) для последовательно расположенных, что объясняется их естественной интерпретацией при оценке свойства пропускной способности потоковых систем различного назначения.
На рис. 3 а представлена динамика состояний системы. На рис. 3b показан процесс изменения состояний системы. Полученные данные свидетельствуют о постепенном вероятностном уменьшении со временем состояний S2 и S3 и возрастании вероятности состояний S4 при практически неизменных состояниях S1 и S5. Если интерпретировать результаты моделирования для свойства пропускной способности исследуемой системы, то можно заключить, что пропускная способность системы со временем уменьшается, о чём свидетельствует возрастание доли состояния S4 , характеризующего уровень минимальной пропускной способности в общем распределении вероятностей состояний системы.
Рис. За. Динамика вероятностных состояний Рис. 3Ь. Изменение состояний системы
системы во времени
5. Пример определения вероятностных характеристик надёжности структурно-сложной системы со многими состояниями
Рассмотрим структурно-сложную
систему, схема которой представлена графом (рис. 4), включающим шесть вершин ( {Nm }, m = 1,6, входной узел -
1, целевой узел - 6 и девять ребер ( {K,}, i = 19).
Будем полагать, что компоненты системы могут находиться в одном из пяти несовместных состояний S = S }, j = 1,5, характеризующих степень надежности их функционирования. Вероятности нахождения компонентов в одном из возможных состояний задаются вектором pi =(p[,,...,pjp\ = 1,, = 1,9. С использованием программной систе-
j=i j
мы автоматизации вероятностно-алгебраического моделирования PALS были получены результирующие векторы вероятностей, характеризующие надежность функционирования
исследуемой системы ps =(ps,ps2,...,ps5 ) ps = 1,, = 1,9. Значения исходных векторов
j=1 j
вероятностей компонентов и результаты расчётов вектора вероятностей системы представлены в табл. 1.
Таблица 1. Значения векторов вероятностей, характеризующих состояния надежности функционирования компонентов структурно-сложной системы и системы в целом
Компонент системы Состояние
S1 S 2 S3 S 4 S5
K1 0,6527 0,1113 0,1024 0,1010 0,0326
K 2 0,6313 0,1127 0,1077 0,1022 0,0461
K 3 0,6217 0,1095 0,1030 0,1075 0,0583
K 4 0,6422 0,1084 0,1123 0,0996 0,0375
K 5 0,6200 0,1036 0,1037 0,0999 0,0728
K 6 0,6319 0,1013 0,1024 0,1011 0,0633
K 7 0,6414 0,1107 0,1002 0,0985 0,0492
K 8 0,6413 0,1120 0,1154 0,1014 0,0299
K 9 0,6411 0,1174 0,1124 0,1106 0,0185
Система 0,7460 0,1357 0,0819 0,0331 0,0033
Следует отметить, что методика расчёта ССС с использованием системы PALS значительно сокращает экспоненциально возрастающую сложность расчётов надёжности системы в результате сведения модели ССС со многими состояниями к совокупности бинарных моделей. Для оценки надёжности ССС в случае полного перебора требуется рассмотрение nm вариантов, где n - число состояний, m - число компонентов системы. Методика позволяет анализировать результаты моделей ССС, требующих оценки всего 2m вариантов полного перебора. Кроме этого, оценка надёжности выделенного класса систем с использованием одного из ЛВМ на очередных итерациях расчёта бинарных моделей значительно
упрощает получение точного решения и в целом сокращает сложность расчётов ССС со многими состояниями. В силу нового подхода к оценке надёжности ССС значительно расширяется класс систем, для которых могут быть произведены расчёты.
5. Заключение
Компьютерная система вероятностно-алгебраического моделирования PALS обеспечивает комплексный подход к решению задачи расчёта статических и динамических вероятностных характеристик сложных систем, который обеспечивается автоматизацией основных этапов метода ВАЛМ [6]: подготовки исходных данных, первичного моделирования вероятностного изменения компонентов, формирования алгебраической модели исследуемой системы, построения расчётной вероятностной формы модели, динамического управления параметрами на очередной итерации моделирования, графического отображения результатов и их статистической обработки.
Реализованные методы расчёта в составе системы PALS взаимосвязаны и корректно дополняют друг друга, обеспечивая эффективное решение важных практических задач, например:
- моделирования и расчёта вероятностных характеристик надёжности, пропускной способности, эффективности, стоимости, износа систем после вероятностного изменения вероятностных состояний их компонентов;
- выявления причин, которые могли привести к изменению текущего состояния системы (например, аварии, снижению эффективности и др.);
- выработки, обоснования и оптимизации различных проектных, эксплуатационных и управленческих решений.
СПИСОК ЛИТЕРАТУРЫ
1. Рябинин И.А. Надёжность и безопасность структурно-сложных систем / Рябинин И.А. - СПб.: Изд-во Санкт-Петербургского университета, 2007. - 276 с.
2. Можаев А.С. Теоретические основы общего логико-вероятностного метода автоматизированного моделирования систем / А.С. Можаев, В.Н. Громов. - СПб.: Изд-во ВИТУ, 2000. - 145 с.
3. Нозик А. А. Программный комплекс "АРБИТР" для моделирования, расчета надежности и безопасности систем / А.А. Нозик, А.С. Можаев // Монтаж и наладка средств автоматизации и связи: информац. сб. - 2007. - № 2. - С. 32 - 40.
4. Викторова В.С. Relex-программа анализа надёжности, безопасности, рисков / В.С. Викторова [и др.] // Надёжность. - 2003. - № 4 (7). - С. 42 - 64.
5. RISK Spectrum PSA Professional 1.20/Theory Manual. RELCON AB. - 1998. - 57 p.
6. Сукач Е.И. Метод исследования функционально-сложных систем с использованием вероятностно-алгебраического моделирования / Е.И. Сукач // Математичні машини і системи. - 2010. - № 3. -С.120 - 130.
7. Сукач Е.И. Методика вероятностно-алгебраического моделирования структурно-сложных систем / Е.И. Сукач // Пятая научн.-практ. конф. “Математическое и имитационное моделирование систем. М0ДС’2010”, (Киев, 21-25 июня 2010 г.). - Киев, 2010. - С. 151 - 153.
8. Сукач Е.И. Моделирование вероятностных характеристик сложных систем с использованием стохастических алгебр / Е.И. Сукач, Д.В. Ратобыльская, В.Н. Кулага // V Междунар. конференция-форум «Информационные системы и технологии». Академия управления при Президенте Республики Беларусь, (Минск, 16-17 ноября 2009 г.). - Минск, 2009. - Ч. 1. - С. 178 - 181.
Стаття надійшла до редакції 21.04.2011
