Труды КНЦ вып.18 (ОКЕАНОЛОГИЯ вып. 4/2013(18))

УДК 004.94 А.А. Зуенко ФГБУН Институт информатики и математического моделирования технологических процессов КНЦРАН Кольский филиал ПетрГУ ПРОГРАММНАЯ РЕАЛИЗАЦИЯ АЛГОРИТМОВ ЛОГИКО-ВЕРОЯТНОСТНОГО АНАЛИЗА НА ОСНОВЕ МАТРИЧНЫХ И МЕТРИЧЕСКИХ СВОЙСТВ АК-ОБЪЕКТОВ* Аннотация В статье рассматривается разработанный автором модуль расчета надежности структурно сложных систем. Методы логико-вероятностного анализа программно реализованы с применением структур алгебры кортежей. Модуль может быть использован как самостоятельное приложение, а также выполнять роль сервера при распределенных вычислениях. Ключевые слова: алгебра кортежей, логико-вероятностный анализ, СОМ-интерфейсы. А.А. Zuenko PROGRAM IMPLEMENTATION OF LOGICAL AND PROBABILISTIC ANALYSIS BASED ON MATRIX AND METRIC PROPERTIES OF THE NTA-OBJECTS Abstract In the article implementation of a program module developed for logic and probabilistic analysis is considered. Methods of logic and probabilistic analysis are programmed using n-tuple algebra’s structures. The module could be used as a standalone application, or act as a server for distributed computing. Key words: n-tuple algebra, logic and probablistic analysis, COM interfaces. Введение Современные методы логико-вероятностного анализа (ЛВА) созданы с ориентацией на работу с системами, узлы которых могут находиться лишь в двух состояниях [1,2,3]. И, хотя существуют отдельные работы, где предла­ гаются методы расчета надежности систем со многими состояниями, унифици­ рованного подхода к решению обозначенной проблемы до сих пор не существовало. В алгебре кортежей (АК), основы которой подробно изложены в [4, 5, 6 ], разработаны методы расчёта надёжности структурно сложных систем с множеством состояний, представленным в виде [7]: • пары элементов («работоспособен»/ «неработоспособен»); • конечного множества элементов; *Работа выполнена при финансовой поддержке РФФИ (проекты №№ 11-08-00641, 12-07-00550-а, 12-07-00689-а, 13-07-00318-а), ОНИТ РАН (проект 2.3 в рамках текущей Программы фундаментальных научных исследований) и Президиума РАН (проект 4.3 Программы № 16). 125