Оценка надежности и безопасности структурно-сложных технических систем тема диссертации и автореферата по ВАК РФ 05.13.01, кандидат технических наук Нозик, Александр Абрамович

• Нозик, Александр Абрамович
• кандидат технических наук
• 2005

Оглавление диссертации кандидат технических наук Нозик, Александр Абрамович

ОПРЕДЕЛЕНИЯ ОСНОВНЫХ ПОНЯТИЙ.

СОКРАЩЕНИЯ И ОБОЗНАЧЕНИЯ.

ВВЕДЕНИЕ.

Положения, выносимые на защиту.

Глава 1. ПОСТАНОВКА ЗАДАЧ РАЗРАБОТКИ КОМПЛЕКСА МЕТОДОВ И МЕТОДИК ОЦЕНКИ НАДЕЖНОСТИ И БЕЗОПАСНОСТИ ССТС.

1.1. Особенности ССТС как объекта моделирования и расчета показателей надежности и безопасности.

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

1.2.1. Общая характеристика технологий анализа надежности и безопасности структурно-сложных систем.

1.2.2. Анализ технологии классических логико-вероятностных методов моделирования с использованием графов связности.

1.2.3. Анализ технологии деревьев отказов и деревьев событий.

1.2.4. Анализ технологии автоматизированного структурно-логического моделирования с использованием схем функциональной целостности.

1.3. Общая постановка частных задач разработки комплекса методов и методик оценки надежности и безопасности.технических систем.

Выводы по главе 1.

Глава 2. РАЗРАБОТКА КОМПЛЕКСА МЕТОДОВ И МЕТОДИК односвязной структурной декомпозиции моделей

НАДЕЖНОСТИ И БЕЗОПАСНОСТИ ССТС.

2.1. Основные положения односвязной структурной декомпозиции в ОЛВМ.

2.2. Декомпозиция на этапе постановки задач.

Пример 1. Фрагмент автоматизированной системы управления.

2.3. Декомпозиция на этапе построения логических ФРС.

2.4. Метод преобразования СФРС в явную форму логической ФРС.

2.5. Декомпозиция на этапе построения многочленов ВФ.

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

2.6.1. Метод последовательной многоуровневой подстановки и методика его применения для расчетов статических показателей надежности и безопасности ССТС.

2.6.2. Расчет вероятностно-временных показателей безотказности невосстанавливаемых ССТС.

2.6.3. Методика расчета показателей значимости элементов ССТС.

2.6.4. Методики расчета показателей надежности восстанавливаемых ССТС.

Выводы по главе 2.

Глава 3. СТРУКТУРА ПРОГРАММНОГО КОМПЛЕКСА ОЦЕНКИ НАДЕЖНОСТИ И БЕЗОПАСНОСТИ ССТС И МЕТОДИЧЕСКИЕ РЕКОМЕНДАЦИИ ПО ЕГО ПРИМЕНЕНИЮ.

3.1. Разработка общей структуры и требований к программному комплексу автоматизированного моделирования и расчета надежности и безопасности ССТС.

3.1.1. Назначение и общие требования к интерфейсу пользователя.

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

3.1.3. Назначение и общие требования к средствам информационного обеспечения.

3.1.4. Назначение и общие требования к модулям математического моделирования в ПК ACM.

3.1.5. Назначение и общие требования к модулям расчета показателей надежности и безопасности ССТС.

Пример 2. Оценка безотказности подсистемы АСУ.

3.2. Разработка методики автоматизированного моделирования и расчета ожидаемого ущерба от аварии на опасном производственном объекте.

Пример 3. Оценка ожидаемого ущерба на основе "дерева событий" аварии на установке первичной переработки нефти.

3.3. Основные положения методических рекомендаций по применению технологии и программных комплексов АСМ надежности и безопасности ССТС на промышленных предприятиях.

3.3.1. Общие положения.

3.3.2. Руководящие и нормативные документы.

3.3.3. Цели и задачи методических рекомендаций.

3.3.4. Общая характеристика технологии автоматизированного структурно-логического моделирования.

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

Пример 4. Моделирование и расчет технического риска фрагмента установки вторичной переработки нефти.

Выводы по главе 3.

Введение диссертации (часть автореферата) на тему «Оценка надежности и безопасности структурно-сложных технических систем»

21 июля 1997 года вступил в силу Федеральный закон "О промышленной безопасности опасных производственных объектов". Принятие этого зазсона существенно изменило практику правового регулирования деятельности на опасных производственных объектах (ОПО) путем переноса акцента с установления мер, направленных на ликвидацию последствий аварий, на принятие превентивных мер, снижающих риски возникновения аварийных ситуаций.

Пакет подзаконных нормативных правовых актов, разработанный для реализации норм Закона, существенно повысил обязанности и ответственность организаций за уровень надежности и безопасности технических систем различных видов классов и назначения, и особенно тех, которые функционируют на опасных производственных объектах. Так, например, согласно новой редакции ПБ 09-540-03 ("Общие правила взрывобезопасности для взрывопожаро-опасных химических, нефтехимических и нефтеперерабатывающих производств"), организация-разработчик системы должна обеспечить заданную надежность технических устройств и безопасность технологических процессов. Для реализации этих требований уже на стадии разработки должна производиться научно обоснованная количественная оценка надежности и безопасности фрагментов (подсистем) и системы в целом, поскольку такая оценка необходима для анализа рисков возникновения аварийных ситуаций на ОПО.

Количественная оценка надежности системных объектов, не относящихся к классу ОПО, необходима для объективной и научно обоснованной оценки уровня их безотказности. Эти модели и оценки необходимы для разработки планов обеспечения надежности, выработки, обоснования и оптимизации технических решений с учетом их экономической целесообразности на этапах исследования, проектирований и промышленной эксплуатации систем.

Анализ особенностей структурно-сложных технических систем (ССТС) различного назначения позволил выделить ряд серьезных ограничений существующего уровня разработки и использования методов моделирования и расчета их надежности и безопасности:

- до настоящего времени необходимые методы, программные средства и методики оценки надежности и безопасности многих видов системных объектов не разработаны и на предприятиях не используются;

- существующие методы, методики и программные средства не позволяют учесть ряд важных особенностей современных системных объектов и, прежде всего, их высокой структурной сложности и большой размерности;

- внедрение методов, методик и программных средств анализа надежности и безопасности ССТС в работу предприятий сдерживается отсутствием соответствующих методических разработок по их практическому применению.

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

Необходимым условием решения главной научной задачи диссертации является совместное рассмотрение надежности и безопасности ССТС, что соответствует объективным потребностям практики и действующим отечественным и международным нормативно-техническим документам.

Решение главной научной задачи диссертации в настоящем исследовании составляют следующие частные научные и практические задачи:

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

2. разработка комплекса методов и методик реализации положений одно-связной структурной декомпозиции моделей надежности и безопасности систем большой размерности и высокой структурной сложности;

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

4. разработка методики автоматизированного моделирования и расчета ожидаемого ущерба от аварии на опасном производственном объекте;

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

Цель работы — развитие методов и средств технологии автоматизированного структурно-логического моделирования, обеспечивающее возможность ее использования на предприятиях промышленности для оценки надежности и безопасности сложных технических систем.

Объектом исследования являются свойства надежности и безопасности технических систем большой размерности и высокой структурной сложности.

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

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

Основные результаты данного исследования реализованы:

- в первом отечественном промышленном образце программного комплекса автоматизированного структурно-логического моделирования, разработанного в ОАО "СПК СЗМА" (ПК ACM СЗМА) и применяющегося для проектной оценки надежности и безопасности ССТС на предприятии;

- в "Методических рекомендациях по автоматизированному структурно-логическому моделированию и расчету надежности и безопасности автоматизированных систем управления технологическими процессами и оборудованием на стадии проектирования", утвержденных Ассоциацией "Монтажавтома-тика" Госстроя России и разрешенных Госгортехнадзором РФ для опытного апробирования при проектировании автоматизированных систем управления технологическими процессами опасных производственных объектов.

Обоснованность и достоверность полученных результатов обеспечена правильным применением используемых теорий и методов и подтверждена:

- совпадением результатов моделирования и расчетов тестовых задач с результатами, полученными другими методами и программными средствами;

- решением контрольных задач автоматизированного моделирования по ключевым точкам, в которых результаты заранее известны и сопоставимы;

- непротиворечивостью результатов моделирования и расчетов физическому смыслу свойств исследуемых системных объектов;

- результатами, полученными тремя организациями (ОАО "СПИК СЗМА", ФГУП "СПбАЭП" и ИПУ РАН) при выполнении совместной НИР по сравнительному анализу ПК "АСМ СЗМА" (Россия), ПК " Risk Spectrum " (Швеция) и ПК " RELEX " (США).

Научная новизна полученных результатов заключается в том, что впервые разработан полный и взаимосвязанный комплекс существующих и новых методов и методик многоуровневой реализации односвязной структурной декомпозиции, охватывающий все четыре основные этапа технологии автоматизированного структурно-логического моделирования систем (АСМ). Все новые методы и методики имеют алгоритмический уровень разработки, соответствуи ют особенностям различных этапов ОЛВМ, и обеспечивают возможность их непосредственного внедрения в программные комплексы технологии автоматизированного структурно-логического моделирования систем.

Научная значимость разработанных методов и методик определяется тем, что в совокупности они являются развитием общего логико-вероятностного метода и технологии автоматизированного структурно-логического моделирования сложных системных объектов и процессов.

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

Полученные научные и практические результаты апробированы на трех Международных научно-практических конференциях: "Компьютерные технологии в науке, производстве, социальных и экономических процессах", "Микропроцессорные, аналоговые и цифровые системы", "Моделирование. Теория, методы и средства", двух заседаниях Международной научной школы "Моделирование и анализ безопасности, риска в сложных системах" и двух межведомственных семинарах в ОАО "СПИК СЗМА" и СПИИРАН.

Материалы диссертации опубликованы в пяти печатных работах, общий объем которых составил 1.5 печатных листа.

Объем диссертации составляет 158 страниц основного текста, в том числе 38 рисунков, 4 таблицы и 4 примера решения задач. Библиография содержит 95 наименований.

Диссертация состоит из Введения, трех глав и Заключения.

Заключение диссертации по теме «Системный анализ, управление и обработка информации (по отраслям)», Нозик, Александр Абрамович

Выводы по главе 3

На завершающем этапе выполнения настоящего исследования получены следующие новые научные и практические результаты:

1. Разработана общая структура и сформулированы требования к основным подсистемам специализированного программного комплекса автоматизированного моделирования и расчета надежности и безопасности ССТС.

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

3. Подтверждена высокая эффективность разработанных методов реализации односвязной структурной декомпозиции в технологии и ПК АСМ.

4. Разработана новая методика моделирования и расчета комплексного показателя риска функционирования опасных производственных объектов (ожидаемого ущерба), основанная на способе использования групп несовместных событий при построении СФЦ сценариев развития аварий, представляемых деревьями событий.

5. Разработаны общие положения методических рекомендаций предприятиям по применению технологии и программных комплексов автоматизированного структурного моделирования надежности и безопасности ССТС.

ЗАКЛЮЧЕНИЕ

В настоящей диссертации изложены научно обоснованные технологические разработки вопросов, связанных с решением задачи создания комплекса методов и методик автоматизированного моделирования и расчета показателей надежности и безопасности технических систем большой размерности и высокой структурной сложности. Настоящее исследование включает в себя следующие основные новые разработки:

1. Определены основные особенности структурно-сложных технических систем различного назначения как объектов автоматизированного моделирования и оценки надежности и безопасности на стадиях исследования, проектирования и эксплуатации. В качестве главной выделена проблема большой размерности и высокой структурной сложности современных ССТС.

2. Обоснован выбор технологии автоматизированного структурно-логического моделирования в качестве исходной базы для разработки комплекса методов и методик автоматизированного моделирования и расчета надежности и безопасности ССТС. Главными преимуществами технологии АСМ, в сравнении с другими методами и средствами автоматизированного моделирования, являются:

• глубокая проработка теоретических основ технологии АСМ, представленная общим логико-вероятностным методом системного анализа, в котором реализованы все возможностей основного аппарата моделирования - алгебры логики в базисе функционально-полного набора операций "И", "ИЛИ" и "НЕ";

• автоматизация основных этапов построения математических моделей (логических ФРС и многочленов ВФ) и выполнения расчетов вероятностных характеристик структурно-сложных систем;

• использование для описания структур систем логически полного аппарата схем функциональной целостности, которые позволяют представлять практически все известные логически строгие структурные схемы систем, применяемые в других технологиях автоматизированного моделирования (блок-схемы, графы связности, деревья отказов, деревья событий и др.);

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

Выделены ограничения существующего уровня разработки теории, технологии и ПК АСМ, главными из которых являются:

• не в полной мере решена проблема размерности, что ограничивает возможности их применения для анализа надежности и безопасности многих современных и перспективных структурно-сложных системных объектов и процессов;

• отсутствуют методические разработки вопросов практического применения теории, технологии и ПК АСМ на предприятиях.

Исследованы формы проявления проблемы размерности и разработаны новые методы и методики реализации положений односвязной структурной декомпозиции на всех основных этапах технологии автоматизированного структурно-логического моделирования и расчета показателей надежности и безопасности технических систем большой размерности и высокой структурной сложности:

• Методики реализации традиционного прямого и нового обратного подхода к построению составных многоуровневых СФЦ декомпозированных структур систем большой размерности с использованием эквива-лентированных вершин. Новизна методик состоит в том, что в отличие от двухуровневой они позволяют осуществить многоуровневую декомпозицию структуры исследуемой системы. Новизна и перспективность обратной методики построения ССФЦ заключается в том, что она не требует построения общей высокоразмерной СФЦ системы и в большей степени соответствует раздельной (блочной) организации разработки и эксплуатации ССТС на предприятиях;

• Методика построения малоразмерных прямых и инверсных составных логических ФРС ССТС и метод их развертывания в полные явные формы представления логических функций. Их новизна состоит в многоуровневой реализации положений односвязной структурной декомпозиции на этапе логического моделирования и алгоритмическом уровне разработки, что обеспечивает возможность их прямого использования при создании программных комплексов автоматизированного моделирования;

Методика построения малоразмерного составного многочлена ВФ на основе СФРС исследуемой системы и метод преобразования СВФ в явную форму представления вероятностной функции. Pix новизна состоит в многоуровневой реализации положений односвязной структурной декомпозиции на этапе вероятностного моделирования и алгоритмическом уровне разработки, что обеспечивает возможность их прямого использования при создании программных комплексах автоматизированного моделирования;

Метод последовательной многоуровневой подстановки параметров элементов в составные многочлены вероятностных функций и пять методик его применения для расчета различных статических и вероятностно-временных показателей надежности (безотказности) невосстанавливае-мых и восстанавливаемых декомпозированных ССТС:

- статических вероятностных характеристик надежности и безопасности;

- вероятности безотказной работы невосстанавливаемой ССТС;

- приближенной оценки средней наработки до отказа;

- коэффициента готовности восстанавливаемой ССТС;

- средней наработки на отказ;

- среднего времени восстановления;

- вероятности безотказной работы (отказа) восстанавливаемой ССТС; -значимости элементов ССТС.

Новая методика моделирования безопасности и расчета комплексного показателя риска функционирования опасных производственных объектов (ожидаемого ущерба), основанная на способе использования аппарата групп несовместных событий при построении СФЦ сценариев развития аварий, представляемых деревьями событий.

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

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

Полученные в ходе исследования новые научные результаты реализованы в базовом образце программного комплекса автоматизированного структурно-логического моделирования, разработанном в ОАО "СПИК СЗМА" (ПК АСМ СЗМА) и в Методических рекомендациях "Автоматизированные системы управления. Надежность и безопасность. Автоматизированное структурно-логическое моделирование и расчет надежности и безопасности автоматизированных систем управления технологическими процессами и оборудованием на стадии проектирования". Методические рекомендации утверждены Ассоциацией "Монтажавтоматика" и разрешены Госгортехнадзором России для опытного апробирования при проектировании автоматизированных систем управления технологическими процессами химически опасных и взрывоопасных объектов.

Список литературы диссертационного исследования кандидат технических наук Нозик, Александр Абрамович, 2005 год

1. Автоматизированная система управления технологическим процессом насосной 910-45 и относящихся к ней резервуарных парков (АСУТП 910-45). Проектная оценка надежности. СПб.: ОАО "СПИК СЗМА", 2001. -72с.

2. Александровская Л.Н., Афанасьев А.П., Лисов A.A. Современные методы обеспечения безотказности сложных технических систем. Учебник. М.: ЛОГОС, 2001.-208с.

3. Алексеев А.О. Логико-статистический метод оценки устойчивости функционирования сложных пространственных объектов. // В сб. "Решение эксплуатационных задач на ЭВМ". Вып.11. СПб.: ВИКИ им. Можайского, 1992.

4. Анализ существующих отечественных и зарубежных методов и методик проведения ВАБ и обоснование общей методологии ВАБ корабельных ЯЭУ. Научно-технический отчет. Российский научный центр "Курчатовский институт" //Институт ядерных реакторов. М.: 2002. -39с.

5. Афанасьев В.Г., Зеленцов В.А., Миронов А.Н. Методы анализа надежности и критичности отказов сложных систем. Уч. пособие. М.: МО, 1992. -98с.

6. Барлоу Р., Прошан Ф. Статистическая теория надежности и испытания на безотказность. М.: Наука, 1984. -328с.

7. Бахметьев A.M., Самойлов О.Б., Усынин Г.Б. Методы оценки обеспечения безопасности ЯЭУ. М.: Энергоатомиздат, 1988. -137с.

8. Белов П.Г. Теоретические основы системной инженерии безопасности. Киев: КМУГА, 1997. -426с.

9. Вадзинский Р.Н. Основы теории надежности средств и систем связи ВМФ. Л.: BMA, 1980.

10. Велигурский Г.А. Аппаратурно-программные методы анализа надежности структурно-сложных систем. Минск: Наука и техника, 1986. -256с.

11. Владимирович Г.И.,Седякин Н.М. Основы теории надежности военной радиоэлектронной аппаратуры. Л.: ЛВИКА им А.Ф.Можайского, 1963. -387с.

12. Волков A.A. Расчетный код РИСК для проведения ВАБ. Доклад. М.: ОЦРК Минатом РФ, ИБРАЕ РАН, 2002.

13. Гершберг А.Ф., Мусаев A.A., Нозик A.A., Шерстюк Ю.М. Концептуальные основы информационной интеграции АСУТП нефтеперерабатывающего предприятия. СПб.: ОАО "СПИК СЗМА", 2002. -128с.

14. Гладкова И.А. Программный комплекс автоматизированного логико-вероятностного моделирования и расчета показателей надежности. // Дипломный проект. JL: ЛЭТИ, 1993. -119с.

15. Гнеденко Б.В., Соловьев А.Д. Математика и теория надежности. Сер. Математика и кибернетика, №10. М.: Знание, 1982.

16. Голиков В.П. Некоторые аналитические методы вычисления функций надежности сложных структур. В кн. "Основные вопросы теории и практики надежности". М.: Сов.радио, 1975, С.43-57.

17. ГОСТ 24.701-86. Единая система стандартов автоматизированных систем управления. Надежность автоматизированных систем управления. Основные положения. М.: Издательство стандартов, 1987. -17с.

18. ГОСТ 27.002-89. Надежность в технике. Основные понятия. Термины и определения. М.: Госкомитет СССР по стандартам, 1990. -38с.

19. ГОСТ 27.301-95. Надежность в технике. Расчет надежности. Основные положения. М.: Издательство стандартов, 1997. -15с.

20. ГОСТ Р 51901-2002. Управление надежностью. Анализ риска технологических систем. М.: Издательство стандартов, 2002. -22с.

21. Диллон Б., Сингх Ч. Инженерные методы обеспечения надежности систем. М.: Мир, 1984.

22. Ершов Г.А., Козлов Ю.И., Солодовников A.C., Можаев A.C. Оценка безопасности атомных энергетических объектов на стадии проектирования. // Тяжелое машиностроение 8/2004. М.: ТМ, 2004, С.33-39.

23. Ибадулаев В.А Оценка последствий химических аварий на транспортных коммуникациях. // Журнал Коллегии: "Промышленная безопасность труда" 1(16/2004). М.: Берг-коллегия, 2004, С.31-32.

24. Иванов М.В., Можаев A.C., Рябинин И.А. Логико-вероятностные методы расчета живучести автоматизированных электроэнергетических систем судов. // Вопросы судостроения. Серия: Судовая автоматика. Вып.ЗО. JL: Румб, 1984, С.3-16.

25. Ильина Т.В. Методическая деятельность. Данные получены из Internet, сайт http://www. Psycology.Narod.ru/266.html.

26. Китушин В.Г. Определение логической функции работоспособности электрической системы. // "Электричество", №8, 1976, С.65-67.

27. Коваленко И.Н., Кузнецов Н.Ю. Методы расчета высоконадежных систем. М.: Радио и связь, 1988.

28. Конев В.П., Можаев A.C. Программный комплекс автоматизированного проектирования радиоэлектронной защиты систем ВМФ. Учебно-методическое пособие. СПб.: ВВМУРЭ им A.C. Попова, BMA, 1996. -49с.

29. Константинов Б.А., Лосев Э.А. Логико-аналитический метод расчета надежности восстанавливаемых систем электроснабжения. // "Электричество", №12. 1971.

30. Львов В.М., Костогрызов А.И., Безкоровайный М.М. Инструментально-моделирующий комплекс для оценки качества функционирования информационных систем "КОК". М.: СИНТЕГ, 2000.

31. Международный стандарт МЭК 61025: 1990 Анализ диагностического дерева отказов (FTA).

32. Международный стандарт МЭК 61078: 1991 Методика анализа надежности. Метод блок-схем надежности.

33. Можаев A.C. Общий логико-вероятностный метод анализа надежности сложных систем. Уч. пос. Л.: BMA, 1988. -68с.

34. Омега", 2001, с.56-61. (Свидетельство об официальной регистрации № 2003611099. М.: Роспатент РФ, 2003).

35. Можаев A.C. Учебно-методическое пособие по автоматизированному структурно-логическому моделированию ВОТС на персональных ЭВМ. СПб.: BMA, 1991.-50с.

36. Можаев A.C. Учет временной последовательности отказов элементов в логико-вероятностных моделях надежности. // Межвузовский сборник: "Надежность систем энергетики". Новочеркасск: НПИ, 1990, С.94-103.

37. Можаев A.C., Алексеев А.О., Громов В.Н. Автоматизированное логико-вероятностное моделирование технических систем. Руководство пользователя ПК АСМ версии 5.0. СПб.: ВИТУ, 1999. -63с.

38. Можаев A.C., Алексеев А.О., Сорокин Р.П. Методика автоматизированного логико-вероятностного моделирования систем. (Программный комплекс "ПК АСМ, версия 5.0"). СПб.: BMA, 1999. -121с.

39. Можаев A.C., Громов В.Н. Теоретические основы общего логико-вероятностного метода автоматизированного моделирования систем. СПб. ВИТУ, 2000. -145с.

40. Можаев А.С., Ершов Г.А, Татусьян О.В. Автоматизированный программный комплекс для оценки надежности систем. (ПК ACMNEW, версия 2.01)

41. СПб.: ВВМИУ им. Ф.Э. Дзержинского, 1994.

42. Надежностные характеристики оборудования фирмы "HONEYWELL". // Для установки каталитического риформинга JI4-35-11.1000 на ООО ПО "Киришинефтегазоргсинтез". СПб.: 2000. -34с.

43. Общие правила взрывобезопасности химических производств и объектов. Утверждены Министерством по чрезвычайным ситуациям Республики Беларусь 28 июня 1996 г. Минск: 1996 г. 80с.

44. Парфенов Ю.М. Надежность, живучесть и эффективность корабельных электроэнергетических систем. Уч. пос. JL: BMA, 1989.

45. ПБ 09-170-27 Общие правила взрывобезопасности для взрывопожаро• опасных химических, нефтехимических и нефтеперерабатывающих производств. Утверждены постановлением Госгортехнадзора России от 22.12.97г. №52.

46. ПБ 09-170-97. Общие правила взрывобезопасности для взрывопожарных химических, нефтехимических и нефтеперерабатывающих производств — Безопасность труда в промышленности, 1999, №2, С.49-53.

47. Программный комплекс автоматизированного структурно-логического моделирования и расчета надежности и безопасности АСУТП на стадии про' ектирования (ПК ACM СЗМА). Техническая документация. СПб.: ОАО

48. СПИК СЗМА", 2003. (Свидетельство об официальной регистрации № 2003611101. М.: Роспатент РФ, 2003). Internet, сайт: http://www.szma.com/.

49. Программный комплекс Risk Spectrum вероятностного анализа надежности и безопасности систем. Разработан Шведской фирмой Relcon AB. Форма исходной структурной схемы системы — дерево отказов. Данные получены из Internet, сайт http://www. riskspectrum.com.

50. Проект "РИСК" код для вероятностного анализа безопасности. Отраслевой центр Минатома России по расчетным кодам для АЭС и реакторныхустановок. Москва, 2003. Данные получены из Internet, сайт: http://www. ocrk.miatom.ru/rus/progects /risk/risk.htm.

51. Раимов М.М. Расчет надежности с помощью алгоритма ортогонализа-ции. Алгоритм N151. В кн.: "Сборник алгоритмов и программ", Вып.7. JL: BMA, 1979.

52. Райншке К., Ушаков И.А. Оценка надежности с использованием графов. М.: Радио и связь, 1988. -209с.

53. РТМ 36.22.15. Система противоаварийной защиты взрывоопасных химико-технологических производств. Пособие для проектирования. М.: Ассоциация "Монтажавтоматика", Предприятие «Норма-СА», 1998.-53с.

54. Рябинин И.А. Концепция логико-вероятностной теории безопасности технических систем. Судостроительная промышленность. Серия: Системы автоматизации проектирования, производства и управления. Вып.21, 1991, С. 15-22.

55. Рябинин И.А. Логико-статистический метод исследования надежности сложных технических систем. // В сб. "Основные вопросы теории и практики надежности". М.: Советское радио, 1971.

56. Рябинин И.А. Надежность и безопасность сложных систем. СПб.: Политехника, 2000. -248с.

57. Рябинин И.А., Грек Б.В., Борисов С.С. Поиск минимальных сечений отказов структурно-сложных технических систем. // В кн.: "Сборник алгоритмов и программ", Вып.8. Алгоритм №186. Л.: BMA, 1982.

58. Рябинин И.А. и др. Процедура расчета надежности структурно-сложных систем логико-вероятностным методом с учетом энергетических характеристик элементов. Алгоритм N149. В кн.: "Сборник алгоритмов и программ", Вып.7. Л.: BMA, 1979, С.167-178.

59. Рябинин И.А., Парфенов Ю.М. Исследование структурной надежности сложных технических систем с помощью ЭВМ. Методика 3616 для СМ-4. Л.: BMA, 1978.

60. Рябинин И.А., Парфенов Ю.М. Надежность, живучесть и безопасность корабельных электроэнергетических систем. Учебник. СПб.: BMA, 1997.

61. Рябинин И.А., Парфенов Ю.М., Юрлов Ю.Е. Процедура получения функции работоспособности технической системы путем построения деревьев орграфа. Алгоритм №148. В кн.: "Сборник алгоритмов и программ", Вып.7. Л: BMA, 1979, С. 155-166.82.