ПК АРБИТР предназначен для автоматизированного моделирования и расчетов показателей надежности структурно-сложных систем, включая объекты использования атомной энергии и другие опасные производственные объекты. Комплекс обеспечивает автоматизированное моделирование и расчет вероятностей возникновения (невозникновения) аварийных ситуаций.
Основные функции ПК АРБИТР
- расчет вероятности безотказной работы или отказа и средней наработки до отказа невосстанавливаемых систем;
- расчет коэффициента готовности, средней наработки на отказ, среднего времени восстановления и вероятности безотказной работы восстанавливаемых систем;
- расчет показателей готовности смешанных систем, состоящих из восстанавливаемых и невосстанавливаемых элементов;
- расчет значимостей, положительных и отрицательных вкладов элементов исследуемых систем;
- приближенный расчет вероятностных характеристик систем;
- структурный и автоматический учет отказов групп элементов по общей причине (модели альфа-фактора, бета-фактора и множественных греческих букв);
- учет различных видов зависимостей и множественных состояний элементов, представляемых с помощью групп несовместных событий;
- учет неограниченного числа циклических (мостиковых) связей между элементами СФЦ;
- логико-статистическое моделирование вероятностных показателей систем.
В программном комплексе реализовано:
- представление логико-вероятностных моделей исследуемых систем в виде схем функциональной целостности (СФЦ) с неограниченным числом уровней декомпозиции
- автоматическое построение логических функций и их представление в виде минимизированной дизъюнктивной нормальной формы (ДНФ)
- автоматическое построение вероятностных функций в виде алгебраических полиномов
Версии ПК АРБИТР
В настоящее время разработаны две версии программного комплекса: Полная аттестованная версия и версия ПК АРБИТР Лайт.
ПК АРБИТР Лайт подходит для решения задач логико-вероятностного анализа, не связанных с определением показателей надежности технических систем и не требующих использования вероятностно-временного режима моделирования. Возможными областями применения ПК АРБИТР Лайт могут быть экономические и социальные исследования, решение задач информационной и кибербезопасности.