Архив электронных документов.
Средства и методы оценки надежности, безопасности и риска сложных систем.

(2.53 Mb) Отчет о верификации программного средства "Программный комплекс автоматизированного структурно-логического моделирования и расчета надежности и безопасности систем" (ПК АСМ СЗМА, базовая версия 1.0, «АРБИТР»). Заключительная редакция.

(3.13 Mb) Описание расчетных и аналитических тестов программного средства. Приложение 1 к заключительной редакции Отчета о верификации ПС «АРБИТР».

(1.80 Mb) Описание решений контрольных примеров моделирования и анализа систем безопасности и ядерной установки при выполнении вероятностного анализа безопасности. Приложение 2 к заключительной редакции Отчета о верификации ПС «АРБИТР».



Логика и вероятность как инструменты исследования проблем надежности и безопасности сложных систем.

(153 Kb) Опыт эксплуатации комплексов, реализующих технологию АСМ.

(184 Kb) Проектная оценка надежности.

(296 Kb) Феномен логико-вероятностного исчисления.

Программный комплекс автоматизированного структурно-логического моделирования сложных систем.

Сравнительный анализ технологий деревьев отказов и автоматизированного структурно-логического моделирования, используемых для выполнения работ по вероятностному анализу безопасности АЭС и АСУТП на стадии проектирования.

(184 Kb) Практическое внедрение "Методики оценки надежности систем контроля и управления в нефтехимической и нефтеперерабатывающей промышленности на ранних стадиях проектирования".

(478 Kb) Методические рекомендации по расчету надежности и безопасности автоматизированных систем управления технологическими процессами и инженерным оборудованием на стадии проектирования.

(950 Kb) Инструкция пользователя ПК АСМ СЗМА.

(1.04 Mb ) Оценка рисков при разработке деклараций промышленной безопасности.

(428 Kb) Оценка надежности и безопасности структурно-сложных технических систем.

(460 Kb) Система безопасности. Практическая реализация методологии оценки безопасности при эксплуатации оборудования нефтехимических производств.

(325 kb) Технология и программный комплекс автоматизированного моделирования и оценки надежности, безопасности и риска опасных производственных объектов.

(408 Kb) Оценка безопасности атомных энергетических объектов на стадии проектирования.

(177 Kb) Технология и программный комплекс автоматизированного моделирования и оценки надежности, безопасности и риска опасных производственных объектов.

(348 Kb) Оптимизация риска при утилизации АПЛ.

(552 Kb) Программный расчетный комплекс автоматизированного моделирования и расчета надежности и безопасности АСУТП на стадии проектирования.

(349 Kb) Алгоритмические основы технологии автоматизированного структурно-логического моделирования в задачах системного анализа надежности, безопасности и риска.

(202 Kb) Технология автоматизированного структурно-логического моделирования в проектных расчетах надежности систем.

(166 Kb) Учет последовательности отказов элементов в моделях устойчивости систем.

Проблемы обеспечения показателей надежности при проектировании автоматизированных систем управления технологическими процессами.

Применение ПК АСМ для обоснования надежности АСУТП на стадии проектирования.

Развитие общего логико-вероятностного метода для построения комбинаторно-последовательных моделей функционирования сложных систем.

Методические основы автоматизированного моделирования и расчета надежности и безопасности автоматизированных систем управления технологическими процессами.

Программные средства автоматизированного моделирования и оценки надежности и безопасности АСУТП на стадии проектирования.

Концепция построения информационного обеспечения системы управления риском.

Расчет риска эксплуатации установки первичной переработки нефти ЭЛОУ-АТ-6.