Добавить новость
Добавить компанию
Добавить мероприятие
Аттестация программного комплекса «Арбитр» (ПК АСМ СЗМА, базовая версия 1.0)
05.03.2007 00:00
версия для печати
Программный комплекс «Арбитр» предназначен для: Теоретическая основа комплекса «Арбитр»: Уникальность данной разработки заключается в том, что, во–первых, ОЛВМ и комплекс «Арбитр» впервые реализуют все возможности основного аппарата моделирования алгебры логики в функционально полном базисе логических операций "И", "ИЛИ", "НЕ". Это позволяет автоматически строить как все прежние виды монотонных моделей, так и принципиально новый класс немонотонных моделей надежности, живучести, безопасности и риска (НЖБР) структурно-сложных системных объектов различного назначения. Во-вторых, в ОЛВМ и комплексе «Арбитр» для вычисления вероятностных показателей НЖБР автоматически формируется точный многочлен расчетной вероятностной функции. Это впервые позволило выполнять корректные расчеты системных показателей во всем диапазоне возможных значений параметров элементов исследуемых системных объектов. И, в-третьих, в ОЛВМ разработано и в комплексе «Арбитр» впервые используется новое универсальное графическое средство структурного описания свойств НЖБР исследуемых систем – схемы функциональной целостности (СФЦ). С помощью аппарата СФЦ могут представляться как все типовые монотонные структурные модели (блок-схемы, графы связности, деревья отказов, деревья событий), так и новый класс немонотонных структурных моделей надежности и безопасности сложных системных объектов и процессов. В этом заключаются основные, принципиальные отличия комплекса «Арбитр» от четырех ранее аттестованных программных средств аналогичного назначения (две версии "Risk Spectrum" (Швеция), "РИСК", "CRISS 4.0" (РФ)), в которых реализованы только технология "деревьев отказов" и приближенные методы расчета вероятностных характеристик (без построения точного вероятностного многочлена). Процедура аттестации комплекса «Арбитр»: В ходе аттестации у всех пяти экспертов не было ни одного замечания по правильности решений с помощью «Арбитр» всех 204 задач расчетно-аналитических Тестов и выданных Контрольных примеров. Опыт практического использования комплекса «Арбитр» Источник: spbIT.su (http://www.spbit.su) Рубрики: Интеграция, ПО
наверх
Для того, чтобы вставить ссылку на материал к себе на сайт надо:
|
|||||
А знаете ли Вы что?
ITSZ.RU: последние новости Петербурга и Северо-Запада09.09.2025 Какое будущее ждет российские операционные системы?з>
|
||||