Презентация ПК "АРБИТР"

Специализированная инжиниринговая компания
«СЕВЗАПМОНТАЖАВТОМАТИКА» http://www.szma.com
Санкт-Петербург, 2013.
Можаев Александр Сергеевич
ПРОГРАММНЫЙ КОМПЛЕКС «АРБИТР» ДЛЯ
ОЦЕНКИ РИСКОВ И НАДЕЖНОСТИ
СТРУКТУРНО-СЛОЖНЫХ СИСТЕМ В НАУЧНЫХ
ИССЛЕДОВАНИЯХ, ПРАКТИЧЕСКИХ РАСЧЕТАХ
И ОБРАЗОВАТЕЛЬНОЙ ДЕЯТЕЛЬНОСТИ
Выступление на Пленарном заседании Всероссийского совещания заведующих
кафедр по вопросам образования в области безопасности жизнедеятельности
и защиты окружающей среды
30 сентября 2013 г., МГТУ им. Н.Э.Баумана, Москва.
05.05.2016
ОАО "СПИК СЗМА"
1
Вопросы моделирования и расчета показателей
свойств надежности, живучести и безопасности
структурно-сложных систем большой размерности
являются важной составной частью многих учебных
дисциплин в различных ВУЗах РФ. Главной
трудностью их эффективной реализации в учебном
процессе является практическая невозможность
ручного построения расчетных математических
моделей указанных свойств систем.
В данном кратком сообщении Вашему вниманию
представляются данные об отечественном программном
комплексе «АРБИТР», позволяющем автоматически строить
математические модели и рассчитывать показатели
надежности, живучести и безопасности систем большой
размерности и высокой структурной сложности.
05.05.2016
ОАО "СПИК СЗМА"
2
1. Программные комплексы моделирования и расчета
показателей надежности и безопасности систем
1.1. ПК - Деревьев отказов (ДО) и деревьев событий
1. «RISK SPECTRUM», Швеция;
2. «РИСК» (RISK), РФ;
3. «CRISS 4.0», «CRISS 5.1», РФ;
4. «SAPHIRE», США;
5. «FTA WINDCHILL» (Relex), США;
1.2. ПК - Блок-схем (БС) работоспособности
6. «RBD WINDCHILL» (Relex), США ;
1.3. ПК - Общего Логико-Вероятностного Метода (ОЛВМ)
7. «АРБИТР» (ПК АСМ СЗМА), РФ.
05.05.2016
Структуры
СЭС «35»
ОАО "СПИК СЗМА"
3
2. Сравнительный анализ разных программных комплексов
автоматизированного моделирования
В 2004-2005 г. тремя организациями: ВГУП «СПбАЭП», ИПУ РАН и ОАО
«СПИК СЗМА» была выполнена научно-исследовательская работа «Технология
2004» (282 стр.) [25] по сравнительному анализу точности решения задач
комплексами «Risk Spectrum» (Швеция) **, «WINDCHILL»/«Relex» (США) ** и
«АРБИТР»/ПК АСМ СЗМА/, (РФ). Все решения 12 групп, включающих 37 задач, с
помощью ПК АРБИТР оказались правильными. Поэтому все три организации
пришли к единому заключению:
«Считаем целесообразным объединить усилия организацийисполнителей данной работы и приступить к разработке на
базе ОЛВМ, технологии и ПК АСМ СЗМА («АРБИТР»)
отечественных специализированных программных комплексов
автоматизированного структурно-логического статического
и динамического моделирования, расчета показателей и
оптимизации надежности, безопасности и риска
функционирования сложных систем для различных отраслей
промышленности».
05.05.2016
НИР «Технология-2004»
ОАО "СПИК СЗМА"
4
3. ОБЩИЙ ЛОГИКО-ВЕРОЯТНОСТНЫЙ МЕТОД (ОЛВМ)
Создан в середине 80-х годов в Военно-Морской Академии и является
дальнейшим развитием типовых монотонных логико-вероятностных методов
в следующих направлениях:
1. Разработки (1982 г.) нового логически универсального графического
аппарата представления структур исследуемых свойств систем – схемы
функциональной целостности (СФЦ).
2. Реализации всех возможностей основного аппарата моделирования –
алгебры логики в функционально полном базисе операций «И», «ИЛИ» и
«НЕ» (общий класс всех видов монотонных и немонотонных моделей). Это
потребовало разработки новых методов и средств реализации всех этапов
моделирования и расчетов:
универсального графоаналитического метода (УГМ) построения
монотонных и немонотонных логических функций;
комбинированного метода построения многочленов расчетных
вероятностны функций (ВФ);
теории и технологии автоматизированного структурно-логического
моделирования (АСМ)
Структуры 35
05.05.2016
ОАО "СПИК СЗМА"
5
4. Основные этапы моделирования и расчетов с помощью ПК
Методика практического применения технологии и программных
комплексов структурного моделирования
1. Анализ системы и построение СТРУКТУРНОЙ СХЕМЫ
исследуемого свойства ее надежности или безопасности
(дерева отказов, блок-схемы работоспособности, СФЦ).
2. Определение (задание) ПАРАМЕТРОВ ЭЛЕМЕНТОВ.
3. Построение МАТЕМАТИЧЕСКИХ МОДЕЛЕЙ
исследуемого свойства системы.
4. РАСЧЕТ ПОКАЗАТЕЛЕЙ исследуемого свойства
системы.
5. Анализ результатов в целях выработки, обоснования и
реализации УПРАВЛЕНЧЕСКИХ РЕШЕНИЙ.
05.05.2016
ОАО "СПИК СЗМА"
6
5. Аппарат схем функциональной целостности ОЛВМ
Примеры построения СФЦ
05.05.2016
ОАО "СПИК СЗМА"
7
1/6
6. Интерфейс пользователя ПК «АРБИТР» с решением
задачи: «Анализ безопасности участка железной дороги»
Пример
анализа
безопасности
участка
железной
дороги
05.05.2016
ОАО "СПИК СЗМА"
8
7. ПРИМЕР МОДЕЛИРОВАНИЯ И РАСЧЕТА ТЕХНИЧЕСКОГО РИСКА
ФРАГМЕНТА УСТАНОВКИ ВТОРИЧНОЙ ПЕРЕРАБОТКИ НЕФТИ
Технологическая схема отгонной
части колонны К-7М
Построение структурной схемы безопасности
Моделирование и расчет показателей
ОПИСАНИЕ
8. Результаты аттестации ПК «АРБИТР» Ростехнадзором РФ
В период 2005-2007 годов комплекс АРБИТР проходил процедуру
официальной аттестации в Совете по аттестации программных средств
НТЦ ЯРБ РОСТЕХНАДЗОРа РФ. В Отчете о верификации (1031 стр.)
пяти экспертам были представлены решения 10 расчетно-аналитических
тестов (184 задачи) и 5 выданных экспертами контрольных примеров (20
задач).
У всех экспертов не было ни одного замечания по правильности
решения АРБИТР всех 204 тестовых и контрольных задач.
Отчет о верификации Описание тестов Описание контр. Примеров
46 аттестованных функций ПК «АРБИТР»
По результатам экспертизы на программное средство АРБИТР
(ПК АСМ СЗМА), базовая версия 1.0 21 февраля 2007 г. выдан
Аттестационный паспорт № 222. Комплекс аттестован на срок 10 лет и
разрешен к применению на всех предприятиях РОСТЕХНАДЗОРа РФ.
05.05.2016
АП АРБИТР
ОАО "СПИК СЗМА"
10
9.1. Список организаций применяющих ПК «АРБИТР»
1. ФГУП «Крыловский государственный научный центр» - Федеральное
государственное унитарное предприятие «Крыловский государственный научный
центр», Санкт-Петербург.
2. ОАО «ЦКБ МТ «Рубин» - Открытое акционерное общество «Центральное
конструкторское бюро морской техники «Рубин», Санкт-Петербург.
3. ФГУП «ПО «Маяк» - Федеральное государственное унитарное предприятие
«Производственное объединение «Маяк»,г. Озерск Челябинской области.
4. ООО «РЭСцентр» - Общество с ограниченной ответственностью «Межотраслевой
экспертно-сертификационный, научно-технический и контрольный центр ядерной и
радиационной безопасности», Санкт-Петербург.
5. ОАО «Гипровостокнефть» - Открытое Акционерное Общество «Институт по
проектированию и исследовательским работам в нефтяной промышленности
«Гипровостокнефть», г. Самара.
6. ОАО «ВТИ» - Открытое акционерное общество «Всероссийский дважды ордена
Трудового Красного Знамени Теплотехнический научно-исследовательский институт»,
Москва.
7. ООО «НТЦ «ТБ» - Общество с ограниченной ответственностью «Научно-технический
центр «Технологии и безопасности», Санкт-Петербург.
05.05.2016
Работы организаций
ОАО "СПИК СЗМА"
11
9.2. Список организаций применяющих ПК «АРБИТР»
8. ООО «Ленгипронефтехим» - Общество с ограниченной ответственностью «Институт
по проектированию предприятий нефтеперерабатывающей и нефтехимической
промышленности, Санкт-Петербург.
9. ГОУ ВПО «МАТИ» - Государственное образовательное учреждение высшего
профессионального образования «МАТИ» - Российский государственный
технологический университет им. К.Э. Циолковского, Москва.
10. ГОУ ВПО «Саратовский государственный технический университет» Федеральное государственное бюджетное образовательное учреждение высшего
профессионального образования «Саратовский государственный технический
университет имени Гагарина Ю.А.», г. Саратов.
11. Академия ГПС МЧС России - Федеральное государственное бюджетное
образовательное учреждение высшего профессионального образования
«Академия Государственной противопожарной службы Министерства Российской
Федерации по делам гражданской обороны, чрезвычайным ситуациям и ликвидации
последствий стихийных бедствий», Москва.
12. НИИ МВС ЮФУ - Научно-исследовательский институт многопроцессорных
вычислительных систем имени академика А.В. Каляева Южного федерального
университета", г. Таганрог.
05.05.2016
Работы организаций
ОАО "СПИК СЗМА"
12
9.3. Список организаций применяющих ПК «АРБИТР»
13. ФГБОУ ВПО «КубГТУ» - Федеральное Государственное Бюджетное Учреждение
Высшего Профессионального Образования «Кубанский государственный
технологический университет», г. Краснодар.
14. Воронежский институт МВД России - Федеральное Государственное Казенное
Образовательное Учреждение Высшего Профессионального Образования
«Воронежский институт Министерства внутренних дел Российской Федерации», г.
Воронеж.
15. ФГБОУ ВПО Санкт-Петербургский университет ГПС МЧС России Федеральное Государственное Бюджетное Учреждение Высшего Профессионального
Образования «Санкт-Петербургский Университет Противопожарной Службы
Министерства Российской Федерации по делам Гражданской Обороны,
Чрезвычайным Ситуациям и Ликвидации последствий стихийных бедствий», СанктПетербург.
16. ФГБОУ ВПО МГТУ им. Н.Э. Баумана - Федеральное государственное бюджетное
образовательное учреждение высшего профессионального образования "Московский
государственный технический университет имени Н.Э. Баумана", Москва.
05.05.2016
ОАО "СПИК СЗМА"
13
9.4. Список организаций применяющих ПК «АРБИТР»
17. ФГБОУ ВПО «СПбГПУ» - Федеральное государственное бюджетное
образовательное учреждение высшего профессионального образования «СанктПетербургский государственный политехнический университет», Санкт-Петербург.
18. ОАО «СПИК СЗМА» - Открытое акционерное общество «Специализированная инжиниринговая компания «Севзапмонтажавтоматика», Санкт-Петербург.
19. ЗАО «Трест СЗМА» - Закрытое акционерное общество Трест «Севзапмонтажавтоматика», Санкт-Петербург.
20. ЗАО «ТЕЛРОС» - Закрытое акционерное общество «Телефоны России»,
Санкт-Петербург.
21. ВУНЦ «Военно-Морская академия» - Военный учебно-научный центр «ВоенноМорская академия», Санкт-Петербург. (КНИГА ОЛВМ, 410 с.)
22. СПбГТИ (ТУ) - Санкт-Петербургский государственный технологический
институт (технический университет).
05.05.2016
ОАО "СПИК СЗМА"
14
10. Результаты применения ПК АРБИТР организациями
Опыт практического применения ОЛВМ, теории, технологии и
ПК АРБИТР разными организациями показал:
• Корректность теоретической разработки ОЛВМ и правильность
реализации в АРБИТР всех 46 аттестованных функций.
• Наличие определенных проблем в подготовке специалистов к
правильному и эффективному применению АРБИТР.
• Наличие у ряда организаций потребности в изменении состава функций
базовой версии комплекса АРБИТР и его адаптации к специальным классам
задач системного анализа.
• Объективной потребности в дальнейшем развития ОЛВМ, технологии
и ПК АРБИТР как в традиционных областях применения ЛВМ и ОЛВМ,
так и в ряде принципиально новых и ранее не освоенных направлениях
системного анализа свойств надежности, живучести и безопасности.
05.05.2016
ОАО "СПИК СЗМА"
15
11. Опыт применения ПК АРБИТР в НТЦ ТБ
В проектах НТЦ ТБ помощью АРБИТР были определены:
•
вероятности возникновения и стадии развития аварийных ситуаций;
•
вероятности переходов аварийных ситуаций с одной стадии на другую;
•
значимости и вклады элементов в безопасность объектов, на основе
которых разрабатывались и обосновывались наиболее эффективные меры по
снижению риска;
При разработке деклараций пожарной безопасности проектируемых объектов
нового нефтеперерабатывающего завода с использованием АРБИТР
выполнены
расчеты
по
определению
количественных
значений
индивидуального и социального рисков в целях:
•
оценки целесообразности включения в состав установок систем,
обеспечивающих требуемые уровни пожарной безопасности;
•
выполнения итерационных расчетов количественных значений пожарного
риска различных по составу и структуре систем безопасности;
•
определения требуемого уровня надежности систем безопасности
05.05.2016
ОАО "СПИК СЗМА"
16
12. Стандарты и РУ, поддерживаемые АРБИТР
1. ГОСТ 24.701-86. Надежность автоматизированных систем управления.
Основные положения. М.: ИПК Издательство стандартов, 1986, 17 с.
2. ГОСТ 27.301-95. Надежность в технике. Расчет надежности. Основные
положения. М.: ИПК Издательство стандартов, 1996, 15 с.
3. РД 03-418-01. Методические указания по проведению анализа риска опасных
производственных объектов // Нормативные документы межотраслевого
применения по вопросам промышленной безопасности и охраны недр. Серия 3.
Выпуск 10. М.: Госгортехнадзор России, НТЦ «Промышленная безопасность»,
2001, 60 с.
4. ГОСТ Р 51901-2002 (МЭК 60300-3-9:1995). Управление надежностью. Анализ
риска технологических систем. М.: ИПК Издательство стандартов, 2002, 22 с.
5. ГОСТ Р 51901.14-2005 (МЭК 61078:1991). Менеджмент риска. Метод
структурной схемы надежности. М.: Стандартинформ, 2005, 18 с.
6. ГОСТ Р 51901.13-2005 (МЭК 61025:1990). Менеджмент риска. Анализ дерева
неисправностей. М.: Стандартинформ, 2005, 11 с.
7. Правила технической эксплуатации электрических станций и сетей
Российской Федерации (Приказ Миннеро № 229 от 19.06.20003 г., РД 34.20.50195, приказ Ростехнадзора РФ от 01.08.2006 г. № 738).
05.05.2016
ОАО "СПИК СЗМА"
17
13. НАПРАВЛЕНИЯ ДАЛЬНЕЙШЕГО
РАЗВИТИЯ АРБИТР
1. Снятие существующих ограничений и внедрение
новых функциональных возможностей, например:
― выполнения качественно-сложного анализа и оценки
эффективности и полного риска (ожидаемого ущерба)
аварий сложных систем ОИАЭ и ОПО;
― автоматизации построения новых классов
математических моделей систем – детерминированных,
статистических, Марковских и сетевых;
― учет новых специальных видов зависимостей элементов;
― оптимизация технико-экономических решений по
увеличению надежности и безопасности систем и др.
05.05.2016
ОАО "СПИК СЗМА"
18
14. НОВЫЕ функциональности, уже реализованные в
комплексе АРБИТР
Качественно-сложный
анализ
систем,
1.
впервые
позволяющий автоматизировать процессы моделирования и расчета
показателей ожидаемого ущерба от аварий с разными уровнями
последствий и реальной эффективности функционирования
исследуемых объектов.
2.
Автоматизированное статистическое моделирование, позволяющее получать оценки вероятностных показателей
надежности и безопасности сложных систем представляемых с
помощью схем функциональной целостности.
3.
Автоматическое построение детерминированных
моделей последствий отказов и аварий различных групп элементов
и выполнение оценки остаточной
безопасности исследуемого объекта.
05.05.2016
ОАО "СПИК СЗМА"
надежности,
живучести
и
19
7. НАПРАВЛЕНИЯ РАЗВИТИЯ ОЛВМ И ПК АСМ
После аттестации АРБИТР получен ряд новых результатов развития
ОЛВМ, теории, технологии и ПК АСМ в следующих направлениях:
- Дальнейшее развитие Аналитического ОЛВМ;
- Создание метода оптимизации «надежность/стоимость»;
-
Разработка Детерминированного ОЛВМ;
- Разработка Статистического ОЛВМ;
- Разработка Марковского ОЛВМ;
- Разработка логико-детерминированного метода (ЛДМ).
05.05.2016
ОАО "СПИК СЗМА"
20
Наиболее перспективным направлением
дальнейшего развития ОЛВМ и ПК АРБИТР является,
по нашему мнению, целенаправленная адаптация
комплекса к специальным видам деятельности различных
организаций, что может быть сделано
только на основе совместных разработок.
05.05.2016
ОАО "СПИК СЗМА"
21
Спасибо за внимание.
Alexander_Mozhaev@szma.com
05.05.2016
ОАО "СПИК СЗМА"
43