Разработка моделей и программных комплексов для исследования надежности и безопасности ядерных установок вероятностными методами
Обоснованность положений, сформулированных в диссертации обеспечивается аналитическим обоснованием моделей и методов на основе теории вероятностей и теории надежности и подтверждается согласованностью используемых методологии и подходов с применяемыми в отечественной и мировой практике, накопленным опытом проектирования установок различного типа и назначения, использованием современных достижений… Читать ещё >
Содержание
- Глава 1. Анализ состояния вопроса и постановка задачи исследования
- 1. 1. Цели и методы исследования безопасности ядерных установок
- 1. 2. Задачи вероятностного анализа безопасности, требования к программным средствам для их решения
- 1. 3. Обзор современных программных средств для проведения вероятностного анализа безопасности
- 1. 4. Задачи обоснования надежности транспортных ядерных установок и их оборудования
- 1. 5. Постановка задачи исследования
- 1. 6. Выводы по главе
- Глава 2. Разработка программных комплексов для проведения вероятностного анализа безопасности
- 2. 1. Анализ требований к программному комплексу для проведения ВАБ и основные этапы его разработки
- 2. 2. Методические основы и особенности организации программного комплекса для ВАБ
- 2. 3. Алгоритмические методы качественного и количественного анализа деревьев отказов
- 2. 4. Алгоритмический метод анализа деревьев событий
- 2. 5. Алгоритмические методы исследования результатов анализа
- 2. 6. Выводы по главе
- Глава 3. Верификация программного комплекса для вероятностного анализа безопасности
- 3. 1. Постановка задачи и разработка матрицы верификации
- 3. 2. Верификационное исследование программного комплекса на базе аналитических и расчетных тестовых примеров
- 3. 3. Результаты верификации программного комплекса 105 3.4 Выводы по главе
- Глава 4. Разработка и верификация программных средств для обоснования надежности транспортных ядерных установок и их оборудования
- 4. 1. Анализ требований к программным средствам
- 4. 2. Разработка программы для исследования надежности транспортных ядерных установок и ее верификация
- 4. 2. 1. Особенности организации программы
- 4. 2. 2. Алгоритмический метод анализа структурной надежности транспортных ядерных установок
- 4. 2. 3. Алгоритмический метод анализа надежности систем определенной структуры
- 4. 2. 4. Верификация программы для исследования надежности транспортных ядерных установок
- 4. 3. Разработка программы для обработки статистических данных по опыту эксплуатации
- 4. 3. 1. Методические основы и основные функции программы
- 4. 3. 2. Алгоритмические методы проведения расчетов 134 3.4 Выводы по главе
- 5. 1. Основные направления работ по вероятностному анализу безопасности ядерных установок
- 5. 2. Вероятностный анализ безопасности 1 уровня плавучего энергоблока ПАТЭС на базе РУ КЛТ-40С
- 5. 3. Вероятностный анализ безопасности ядерной энергетической установки универсального атомного ледокола
- 5. 4. Вероятностный анализ безопасности энергоблока № 3 Белоярской АЭС с РУ БН-600 для внутренних затоплений и внешних воздействий
- 5. 5. Оценка безотказности оборудования транспортных ядерных установок на основе данных по опыту эксплуатации
- 5. 6. Выводы по главе
Разработка моделей и программных комплексов для исследования надежности и безопасности ядерных установок вероятностными методами (реферат, курсовая, диплом, контрольная)
Актуальность работы. Первое десятилетие XXI века характеризуется интенсивным развитием атомной энергетики в России и в мире: строятся и вводятся в действие новые энергоблокиразрабатываются инновационные ядерные технологииведется проектирование и строительство кораблей и судов с ядерными установками, что обусловлено ростом энергопотребления и цен на ископаемые виды топлива.
Однако авария на атомной станции «Фукусима-1» еще раз продемонстрировала, что успешное развитие и использование атомной энергетики связано с рядом проблем, важнейшей из которых является безопасность ядерных установок.
Анализ безопасности ядерной установки представляет собой исследование комплексного свойства сложной системы и требует системного подхода. Системность в исследовании безопасности ядерных установок достигается применением детерминистского и вероятностного анализа. Вероятностный анализ, дополняя детерминистский анализ безопасности, моделирует глубокоэшелонированную защиту во взаимосвязи всех ее уровней и компонентов и обеспечивает выявление «слабых звеньев» в технических решениях и регламенте эксплуатации ядерной установки с определением мер по совершенствованию безопасности.
Вероятностный анализ безопасности (ВАБ) представляет собой трудоемкий итерационный процесс. Разработка в ходе ВАБ логико-вероятностной модели ядерной установки, включающей десятки тысяч элементов, и ее исследование возможны только с помощью современных компьютеров и соответствующего программного обеспечения. Фактически, развитие методов вероятностного анализа безопасности напрямую связано с разработкой и внедрением программных средств.
В настоящее время программно-методическое обеспечение ВАБ, реализованное в соответствующих программных средствах, практически полностью определяет методы, которые используются и будут использоваться для решения подавляющего числа задач вероятностного анализа.
Вместе с тем практика обоснования безопасности атомных станций в России, сложившаяся за последние годы, показывает, что для выполнения вероятностного анализа безопасности зачастую используется зарубежное программно-методическое обеспечение. Подобная практика ведет с одной стороны к появлению зависимости от иностранных разработчиков при обеспечении ядерной и радиационной безопасности отечественных объектов использования атомной энергии, а с другой стороны использование зарубежного программно-методического обеспечения ограничивает развитие потенциала отечественных специалистов в области методологии и совершенствования алгоритмов решения задач ВАБ.
Для транспортных ядерных установок достигнутый уровень надежности (безотказности) является одним из основных показателей, определяющих способность установки выполнять свое функциональное назначение. Оценка и обоснование уровня надежности транспортных ядерных установок в процессе проектирования требует наличия быстродействующих программно-методических средств, позволяющих выполнять многочисленные вариантные расчеты надежности функционирования установки.
Таким образом, актуальной в научном и практическом плане представляется задача разработки программно-методического обеспечения для выполнения вероятностного анализа безопасности и обоснования надежности ядерных установок и их оборудования и выполнение исследования надежности и безопасности ядерных установок с использованием разработанного программно-методического обеспечения.
Объектами проводимых автором исследований являются атомная теплоэлектростанция на базе плавучего энергоблока с реакторной установкой КЛТ-40С, судовая ядерная энергетическая установка РИТМ-200 для нового универсального атомного ледокола, энергоблок с установкой БН-600. А.
Предметом" исследований является надежность и безопасность вышеуказанных установок.
Цель работы заключается в разработке способов анализа и обоснования надежности и безопасности, повышение надежности и безопасности стационарных и транспортных ядерных установок.
Для достижения указанной цели решаются следующие задачи:
— разработка и верификация программных комплексов для анализа безопасности вероятностными методами;
— разработка расчетных моделей анализа надежности систем безопасности;
— разработка и верификация программ для обоснования надежности транспортных ядерных установок и их оборудования;
— исследование надежности и безопасности транспортных и стационарных ядерных установок с использованием программно-методического обеспечения, разработкой технических и организационных мер по повышению их надежности и безопасности.
Методы исследования. При выполнении исследования использованы методы исследования сложных систем, базирующиеся на теории вероятностей и математической статистике, математической логики и теории надежности, а также методах оптимизации и математического моделирования.
Научная новизна работы состоит в том, что:
— разработаны и верифицированы расчетные модели и алгоритмы, позволившие впервые в отечественной практике реализовать программно-методические средства для вероятностного анализа безопасности и предназначенные для исследования и обоснования безопасности ядерных установок при проектировании и эксплуатации.
— разработаны и верифицированы алгоритмы, позволяющие выполнять анализ структурной надежности транспортных ядерных установок, оценку надежности их оборудования и предназначенные для обоснования надежности транспортных ядерных установок при проектировании.
— разработаны и исследованы интегральные логико-вероятностные модели первого плавучего энергоблока с РУ КЛТ-40С, ЯЭУ нового универсального атомного ледокола, энергоблока № 3 Белоярской АЭС с РУ БН-600, позволившие выполнить системную оценку их безопасности и предназначенные для обоснования безопасности данных ядерных установок при сооружении и эксплуатации.
Практическая ценность работы заключается в следующем:
— программные комплексы для выполнения ВАБ CRISS внедрены в практику выполнения вероятностных анализов безопасности в ОАО «ОКБМ Африкантов» и ОАО «Головной институт «ВНИПИЭТ»;
— программы для обоснования надежности транспортных ядерных установок и их оборудования «АНИС» и «СТАН» внедрены и используются в ОАО «ОКБМ Африкантов» для выполнения проектных разработок и мониторинга эксплуатации;
— результаты выполненных исследований включены в конструкторскую документацию по обоснованию надежности и безопасности РУ РИТМ-200 для универсального атомного ледокола, плавучей атомной станции с РУ KJIT-40C, энергоблока атомной станции с РУ БН-600.
Обоснованность положений, сформулированных в диссертации обеспечивается аналитическим обоснованием моделей и методов на основе теории вероятностей и теории надежности и подтверждается согласованностью используемых методологии и подходов с применяемыми в отечественной и мировой практике, накопленным опытом проектирования установок различного типа и назначения, использованием современных достижений в области исследования надежности и безопасности.
Программные комплексы для ВАБ CRISS 2.0, 3.0, 3.1, 4.0 и 5.1 верифицированы с использованием тестов, имеющих аналитическое решение, а также с использованием широко применяемых зарубежных программ. Программные комплексы CRISS 4.0 и 5.1 аттестованы Советом по аттестации программных средств Ростехнадзора (аттестационные паспорта № 212 от 01.03.2006 г. и № 291 от 14.04.2011 г.).
Личный вклад автора состоит в решении следующих задач:
— разработка алгоритмов и реализация программных комплексов для вероятностного анализа безопасности ядерных установок;
— разработка матрицы верификации, проведение верификации и аттестации ряда программных комплексов CRISS;
— разработка расчетных моделей для анализа надежности систем и их реализация в программном комплексе CRISS;
— исследование алгоритмов и реализация программных средств для обоснования надежности транспортных ядерных установок и их оборудования — «АНИС» и «СТАН»;
— научно-техническое руководство разработками по обоснованию надежности и безопасности ряда действующих и проектируемых ядерных установок;
Положения, выносимые на защиту:
— расчетные модели и алгоритмы, реализованные в программно-методических средствах для вероятностного анализа безопасности и результаты их верификации.
— алгоритмы, реализованные в программно — методических средствах для анализа и обоснования надежности транспортных ядерных установок.
— результаты исследований и обоснований надежности и безопасности, технические и организационные меры, направленные на обеспечение и повышение надежности и безопасности стационарных и транспортных ядерных установок с использованием вероятностных методов.
Апробация результатов работы. Основные положения и результаты работы докладывались на следующих научно-технических семинарах и конференциях: «Практика разработки ВАБ и использования их результатов для действующих и проектируемых АЭС с ВВЭР» (г. Москва, 2002 г.), «Подводное кораблестроение в России. Состояние, проблемы, перспективы» (г. Санкт-Петербург, 2002 г.), III Всероссийской молодежной научно — техническая конференции «Будущее технической науки» (г. Нижний Новгород, 2004 г.), IX и X Международных конференциях «Безопасность АЭС и подготовка кадров», (г. Обнинск, 2005 г. и 2007 г.), Межотраслевом семинаре для молодых специалистов «50 лет атомному ледокольному флоту России. Опыт создания, эксплуатации и перспективы развития» (г. Нижний Новгород, 2009 г.), Седьмой международной научно-технической конференции «Безопасность, эффективность и экономика атомной энергетики» (г. Москва, 2010 г.), научной сессии НИЯУ МИФИ (г. Обнинск, 2011 г.), Молодежной отраслевой научно-технической конференции «Развитие технологии реакторов на быстрых нейтронах с натриевым теплоносителем» (г. Нижний Новгород, 2011 г.).
Публикации Основное содержание диссертации опубликовано в 20 отчетах о НИР и в 16 печатных работах. Из них 2 статьи в научнотехнических журналах, 2 свидетельства Роспатент об официальной регистрации программы для ЭВМ, 9 публикаций в сборниках трудов и материалов научно-технических конференций, в том числе Всероссийских и Международных, 3 статьи в Годовых отчетах о научно-технических работах ОАО «ОКБМ Африкантов».
Две статьи опубликованы в журнале «Известия ВУЗов. Ядерная энергетика» «, который входит в перечень изданий, рекомендованных ВАК для публикации результатов диссертационных работ.
Структура и объем работы. Диссертация состоит из введения, пяти глав, заключения, списка литературы из 106 наименований, в том числе 35 работ с участием автора. Общий объем работы составляет 190 страниц, основной текст изложен на 178 страницах, содержит 14 рисунков и 18 таблиц.
5.6 Выводы по главе 5.
1) С использованием разработанного программно-методического обеспечения выполнены вероятностные анализы безопасности и обоснования надежности действующих и проектируемых установок и оборудования разработки ОКБМ.
2) Разработаны вероятностные анализы безопасности для плавучего энергоблока ПАТЭС на базе РУ КЛТ-40С, ЯЭУ универсального атомного ледокола, энергоблока с реактором БН-600.
3) Выполнены оценки показателей надежности оборудования транспортных РУ по опыту эксплуатации.
4) Результаты исследований, изложенные в главе 5 частично опубликованы в следующих работах автора: [100], [101], [102], [103], [104], [105], [106].
ЗАКЛЮЧЕНИЕ
.
1. В результате исследований, выполненных автором, разработаны расчетные модели, алгоритмы и на их основе реализованы программные комплексы СМББ для вероятностного анализа безопасности ядерных установок. Программные комплексы СШББ внедрены в практику обоснования безопасности ядерных установок различных типов и назначения.
2. Выполнена верификация программных комплексов СШБЗ на базе матрицы верификации, разработанной автором. Результаты верификации показали адекватность оценок, полученных с помощью программы в сравнении с аналитическими решениями и результатами по другим аналогичным программам. Программные комплексы СШБЗ версий 4.0 и 5.1 аттестованы Советом по аттестации программных средств Ростехнадзора.
3. Разработаны алгоритмы и на их основе реализованы программные средства для обоснования надежности транспортных ядерных установок: «АНИС» и «СТАН». Программные средства внедрены в практику проектирования ядерных установок.
4. С использованием разработанного программно-методического обеспечения проведены исследования надежности и безопасности ядерных установок различных типов, которые позволили обосновать их соответствие установленным показателям и определить технические и организационные меры по повышению их надежности и безопасности.
5. В результате выполненных исследований получены научно обоснованные технические разработки, имеющие существенное значение для развития страны, надежности и безопасности ядерных установок и включающие:
— программно-методические средства для выполнения вероятностного анализа безопасности ядерных установок;
— программно-методические средства для анализа и обоснования надежности транспортных ядерных установок;
— технические и организационные меры, направленные на обеспечение и повышение надежности и безопасности ядерных установок.
Список литературы
- Основополагающие принципы безопасности //Серия норм МАГАТЭ по безопасности, № SF-1/ Вена: МАГАТЭ, 2007. 34 с.
- Оценка безопасности установок и деятельности. Общие требования безопасности, часть АН Серия норм МАГАТЭ по безопасности, № GSR, Part 4/ Вена: МАГАТЭ, 2009 63 с.
- Общие положения обеспечения безопасности атомных станций ОПБ-88/97 НП-001−97 (ПНАЭ Г-01−011−97) Электронный ресурс./ Справочно-информационная система по регулированию ядерной и радиационной безопасности, ФГУ НТЦ ЯРБ. М. 2009.
- Общие положения обеспечения ядерной и радиационной безопасности корабельных ядерных энергетических установок./ЮПБ-К-98/05. М., 2005. 39 с.
- Общие положения обеспечения безопасности ядерных энергетических установок судов. НП-022−2000 Электронный ресурс./ Справочно-информационная система по регулированию ядерной и радиационной безопасности, ФГУ НТЦ ЯРБ. М. 2009.
- Требования к содержанию отчета по обоснованию безопасности АС с реактором типа ВВЭР НП-006−98 (ПНАЭ Г- 01−036−95) Электронный ресурс. / Справочно-информационная система по регулированию ядерной и радиационной безопасности, ФГУ НТЦ ЯРБ. М. 2009.
- Требования к содержанию отчета по обоснованию безопасности атомных станций с реакторами на быстрых нейтронах НП-018−05) Электронный ресурс./ Справочно-информационная система по регулированию ядерной и радиационной безопасности, ФГУ НТЦ ЯРБ. М. 2009.
- Требования к отчету по обоснованию безопасности ядерных энергетических установок судов НП-023−2000) Электронный ресурс./ Справочно-информационная система по регулированию ядерной и радиационной безопасности, ФГУ НТЦ ЯРБ. М. 2009.
- Оценка безопасности и независимая проверка для атомных электростанций. Руководство по безопасности// Серия норм МАГАТЭ по безопасности, № NS-G-1.2./МАГАТЭ. Вена. 2004. 109 с.
- Бахметьев A.M. Основы безопасности ядерных энергетических установок : учебное пособие/ НГТУ Н. Новгород, 2006. — 190с.
- Пископпель А. А., Щедровицкий JI. П.: От системы «человек-машина» к «социотехнической системе» //Вопросы психологии 1982. — № 3 — с. 15−26.
- Спицнадель В. Н.: Основы системного анализа: учеб. пособие. / СПб.: «Изд. дом «Бизнес-пресса», 2000. — 326 с.
- Безопасность атомных станций: проектирование. Требования безопасности// Серия норм МАГАТЭ по безопасности, № NS-R-1/ Вена: МАГАТЭ, 2003.-73 с.
- Бахметьев А. М, Былов И. А.: К вопросу о системном исследовании безопасности ядерных установок с использованием вероятностных методов // Известия ВУЗов. Ядерная энергетика 2006. — № 1 — с. 3−11.
- Hiromitsu Kumamoto, Satisfying Safety Goals by Probabilistic Safety Assessment/ Springer-Verlag London Limited, 2007. 253 c.
- Tim Bedford, Roger Cooke, Probabilistic Risk Analysis: Foundations and Methods/ Cambridge University Press, 2001.- P. 3 -12.
- Reactor Safety Study. An Assessment of Accident Risks in U.S. Commercial Nuclear Power Plants. Main report. WASH-1400 (NUREG-75/014)/ United States Nuclear Regulatory Commission, 1975 198 p.
- R. B. Solanki and Mahendra Prasad. Probabilistic Safety Assessment of Nuclear Power Plants: a Monograph/ Mumbai: Atomic Energy Regulatory Board, 2007−33 p.
- Risk informed regulation of nuclear facilities: Overview of the current status.(IAEA-TECDOC-1436) / Vienna: IAEA, 2005. 75 p.
- Deterministic Safety Analysis for Nuclear Power Plants// IAEA Safety Standards Series No SSG-2/ Vienna: IAEA, 2009 84 p.
- Глоссарий МАГАТЭ по вопросам безопасности. Терминология, используемая в области ядерной безопасности и радиационной защиты/ Вена: МАГАТЭ, 2007−303 с.
- Development and Application of Level 1 Probabilistic Safety Assessment for Nuclear Power Plants// IAEA Safety Standards Series No SSG-З/ Vienna: IAEA, 2010−215 p.
- Development and Application of Level 2 Probabilistic Safety Assessment for Nuclear Power Plants// IAEA Safety Standards Series No SSG-4/ Vienna: IAEA, 2010−108 p.
- Основные рекомендации к вероятностному анализу безопасности уровня 2 атомных станций с реакторами типа ВВЭР. РБ-044−09 //Федеральная служба по экологическому, технологическому и атомному надзору .-М., 2009 с.
- Основные рекомендации по выполнению вероятностного анализа безопасности атомных станций. РБ-032−04 Электронный ресурс.// Справочно-информационная система по регулированию ядерной и радиационной безопасности, ФГУ НТЦ ЯРБ. М. 2009.
- Overview of Level 3 PSA, IAEA Training Course on Safety Assessment of NPPs to Assist Decision Making // IAEA Workshop. 2006. URL: http://www.slidefinder.net/0/OverviewLevelPSAWorkshopInformation/ 29 391 964 (дата обращения: 17.04.2011).
- Computer Codes for Level 1 Probabilistic Safety Assessment (IAEA-TECDOC-553)/Vienna: IAEA, 1990. 104 p.
- Johan Sorman. Risk Spectrum Software 2010 // Scandpower AB. URL: http://www.riskspectrum.com/en/risk/Meny2/, https://secure.illutel.com/ Webcast/?h96scqba (дата обращения: 17.04.2011).
- Перечень действующих по состоянию на октябрь 2010 г. аттестационных паспортов ПС // ФБУ НТЦ ЯРБ. 2011. URL: http:// www.secnrs.ru/science/development/hp/BD2011.pdf. (дата обращения: 17.04.2011)
- RiskSpectrum Magazine 2008 Special RiskSpectrum PSA Edition // Scandpower AB. 2008. URL: http://www.scandpower.com /Images /RSMagazine%20-%202 008-ltcml91−203 643.pdf. (дата обращения: 17.04.2011).
- RiskSpectrum PSA and FTA Online Help Электронный ресурс.// Relcon Scandpower AB, 2008 1 CD.
- Risk Spectrum Theory Manual By Relcon Scandpower AB Version 3.0.0// Relcon Scandpower AB, 2008 67 p.
- Curtis Smith «SAPHIRE Risk and Reliability Assessment Software», //Idaho National Engineering and Environmental Laboratory/ 2011. URL: https:// saphire.inl.gov/pdf/SAPHIREoverview.pdf. (дата обращения: 17.04. 2011).
- Systems Analysis Programs for Hands-on Integrated Reliability Evaluations (SAPHIRE) Version 7.20, SAPHIRE Reference Manual Электронный ресурс.// Idaho National Engineering & Environmental Laboratory Idaho Falls 1 CD.
- Frank Rahn EPRI Risk and Reliability Workstation Users Group Juno Beach FL January 11−12, 2010 //R&R Users Group. 2010. URL: http://144.58.4.113/RR/RRUG/Shared%20Documents/Forms/Meetings.aspx. (дата обращения: 20.04.2011).
- EPRI Software Status EPRI Risk and Reliability Workstation Users Group Juno Beach FL January 11−12 //R&R Users Group. 2010. URL: http://144.58.4.113/RR/RRUG/Shared%20Documents/Forms/Meetings.aspx. (дата обращения: 20.04.2011).
- CAFTA Training EPRI Risk and Reliability Workstation Users Group Juno Beach FL January 11−12, 2010 //R&R Users Group. 2010. URL:
- Ьйр://144.58.4Л 13/RR/RRUG/Shared%20Documents/Forms/Meetings.aspx. (дата обращения: 20.04.2011).
- CAFTA Advanced Training EPRI Risk and Reliability Workstation Users Group Juno Beach FL Januaiy 11−12, 2010 //R&R Users Group. 2010. URL: http://144.58.4.113/RR/RRUG/Shared%20Documents/Forms/Meetings.aspx. (дата обращения: 20.04.2011).
- Introduction to R&R Workstation Tools //R&R Users Group NRC Seminar. 2003. URL: http://144.58A 113/RR/RRUG/Training%20Material/Forms/ Training%20 Material.aspx. (дата обращения: 20.04.2011).
- Common Cause Models Электронный ресурс. //R&R Users Group Knowledge Base Articles. 2011. URL: http://144.58Al 13/RR01RUG /Knowledge%20Base/KB67%20Common%20Cause%20Formulas%20and%20Appl ication%20in%20CAFTA.pdf. (дата обращения: 20.04.2011).
- PRAQUANT Training //R&R Users Group Training Material. 2010. URL: http://144.58A 113/RR/RRUG/Training%20Material/ Forms/Training%20Material.aspx (дата обращения: 20.04.2011).
- SYSIMP 2.1 Training // R&R Users Group Training Material. 2010. URL: http://144.58.4.113/RR/RRUG/Training%20Material/Forms/Training%20Mate -rial.aspx (дата обращения: 20.04.2011).
- Using UNCERT // R&R Workshop Southern Nuclear Offices. 2009. URL: http ://l 44.5 8.4.113/RR/RRUG/Shared%20Documents/23%20RR%20 Workshop%2 OSouthern%20Nuclear%200ffices%20September%202 009/Uncert.ppt. (дата обращения: 23.04.2011).
- Jeff Riley UNCERT 3.0 Updates R&R Workstation User Group Januaiy 2010 //R&R Users Group Past Meetings Material. 2010. URL: http://144.58.4.113/RR/RRUG/Shared%20Documents/Forms/Meetings.aspx. (дата обращения: 20.04.2011).
- Jeff Riley Phoenix Status Update R&R User Group January 2010 //R&R Users Group Past Meetings Material. 2010. URL: http://144.58.4.113/RR/RRUG/Shared%20Documents/Forms/Meetings.aspx. (дата обращения: 20.04.2011).
- WinNUPRA, Users Group Members //SCIENTECH. 2007 URL: http://winnupra.scientech.us/members.htm. (дата обращения: 20.04.2011).
- WinNUPRA version 3.1 User’s Manual// SCIENTECH. 2006. URL: http://winnupra.scientech.us/demo31.zip. (дата обращения: 23.04.2011).
- WinNUCAP //SCIENTECH. 2007. URL: http://winnupra.scientech.us/ winnucap.htm. (дата обращения: 20.04.2011).
- Рябинин И.А. Надежность и безопасность сложных систем. / СПб.: Политехника, 2000. -248 с.
- Можаев A.C., Громов В. Н. Теоретические основы общего логико-вероятностного метода автоматизированного моделирования систем. /СПб.: БИТУ, 2000. -145 с.
- Программный комплекс «АРБИТР» (ПК ACM СЗМА), базовая версия 1.0, аттестационный паспорт № 222 от 21.02.2007 г. //Севзапмонтажавтоматика. 2007. URL: http://www.szma.com/pasport.pdf. (дата обращения: 20.04.2011).
- ГОСТ 27.002−89. Надежность в технике. Основные понятия, термины и определения/ Издательство стандартов. М., 1989.
- Травин С .Я., Промыслов JI.A. Оценка и обеспечение надежности судового оборудования. / JL: Судостроение, 1988. 204 с.
- Гнеденко Б, В., Беляев Ю. К., Соловьев А. Д.: Математические методы в теории надежности / М.: Наука, 1965. 524 с.
- Песков P.A., Петелин В. А. Построение эмпирической кривой интенсивности отказов по многократно усеченной выборке// Надежность и контроль качества 1979.-№ 7-с 13−20.
- Надежность в технике. Порядок сбора, обработки и распределения информации о надежности военной техники // Руководящий нормативныйдокумент. РД В 50−676−88 / Государственный комитет СССР по стандартам.-М., 1989.-32 с.
- Доктрина информационной безопасности Российской Федерации //Российская газета. 2003/ URL: http://www.rg.ru/oficial/doc/ minandvedom/ mimbezop/doctr.shtm. (дата обращения: 23.04.2011).
- Программа анализа надежности систем безопасности и частоты реализации аварийных последовательностей CRIS S. Описание применения: Отчет/ ОКБМ- исполн.: A.M. Бахметьев, В. И. Крук, И. Б. Саляев. Горький, 1992. 137с.- инв. № 21 093.
- ЕС ЭВМ. Система виртуальных машин. Программа вероятностного анализа безопасности TREES. Описание применения: Отчет/ ОКБМ- исполн.: Бахметьев A.M., Линьков С. П., Крук В. И., Саляев И.Б.- Горький, 1989. -94с.-инв.№ 718 483.
- Программа CRISS-2.0 для вероятностного анализа безопасности ЯЭУ. Верификационный отчет: Отчет/ ОКБМ- исполн.: A.M. Бахметьев, И. А. Былов, И. Б. Юхновский. Н. Новгород, 2000.- 107с.- инв. № 8856/00от.
- Вероятностный анализ Воронежской ACT: Отчет/ ОКБМ, НИ АЭП, РНЦ «Курчатовский институт" — исполн.: A.M. Бахметьев, С. П. Линьков, C.B. Гуреев и др.-Н. Новгород, 2001 г. инв.№А63 513.
- Вероятностный анализ безопасности АСТ-500М Сибирского химкомбината: Отчет/ ОКБМ, НИ АЭП, РНЦ «Курчатовский институт" — исполн.: A.M. Бахметьев, С. П. Линьков, C.B. Гуреев и др.-Н. Новгород, 2001 г. -инв.№А63 585.
- Описание программы CRISS 3.0 для моделирования и анализа систем безопасности и ядерной установки при выполнении вероятностного анализабезопасности: Отчет о НИР/ ОКБМ- исполн.: A.M. Бахметьев, И.А. Былов- Н. Новгород, 2001. — инв. № 828 910.
- Верификация и обоснование программы CRISS 3.0 для моделирования систем безопасности и ядерной установки при выполнении вероятностного анализа безопасности: Отчет о НИР/ ОКБМ- исполн. A.M. Бахметьев, И. А. Былов. Н. Новгород, 2001. — инв. № 830 049.
- Описание программы CRISS 3.1 для моделирования и анализа систем безопасности и ядерной установки при выполнении вероятностного анализа безопасности: Отчет/ ОКБМ- исполн. A.M. Бахметьев, И. А. Былов. Н. Новгород, 2002 — инв. № 9414/02от.
- Проект ГТ-МГР. Оценка вероятностного риска, книги 1−2: Отчет о НИР/ ОКБМ- исполн.: A.M. Бахметьев, С. П. Линьков, Ю. А. Макеев и др.- Н. Новгород, 2002 инв. № 103 110.
- Бахметьев А. М, Былов И. А., Думов A.B., Смирнов A.C.: Совершенствование программного обеспечения для проведения вероятностного анализа безопасности ядерных установок // Известия ВУЗов. Ядерная энергетика.-2008.- № 2 с.3−11.
- Описание программы CRISS 5.1 для моделирования и анализа систем безопасности и ядерной установки при выполнении вероятностного анализа безопасности: отчет о НИР/ОКБМ: исполн.: Былов И. А., Думов A.B. -г.Н.Новгород, 2009. 157 с. — инв.№ 11 369/09от-
- Валерий Коржов. Многоуровневые системы клиент-сервер //"Сети», № 06, 1997. URL: http://www.osp.ru/nets/1997/06/142 618/ (дата обращения: 21.04.2011).
- Oracle Database Express Edition 10g Release 2 (10.2) // Oracle Database. 2010. URL: http://www.oracle.com /pls/xel02/homepage. (дата обращения: 23.04.2011).
- Можаев A.C. Автоматизация моделирования систем ВМФ (часть II) С-Пб.: BMA им. Н. Г. Кузнецова, 2005 — 577 с.
- Cliff A. Ericson II Fault Tree Analysis A History from the Proceedings of The 17th International System Safety Conference, 1999.
- P. Хаггарти Дискретная математика для программистов M.: Техносфера, 2004. — 320с.
- W.E. Vesely, F.F.Goldberg, N.H. Roberts, D.F. Haasl Fault Tree Handbook/ NRC. NUREG-0492, 1981 -209 с
- Соболева Т. С. Дискретная математика: учебник для студ. вузов / Т. С. Соболева, А. В. Чечкин- под ред. А. В. Чечкина. — М.: Издательский центр «Академия», 2006. — 256 е.
- Бахметьев A.M. Исследование и обоснование надежности и безопасности ядерных энергетических установок с использованием вероятностных методов: Дисс. д-ра техн. наук: 05.14.03. /Бахметьев Александр Михайлович. Н. Новгород., 2006.-275 с.
- Барлоу Р., Прошан Ф. Математическая теория надежности М.: Советское радио, 1969−488 с.
- Вентцель Е.С. Теория вероятностей М.: Физматгиз, 1962 — 506 с.
- Половко A.M., Гуров C.B. Основы теории надежности С-Пб.:БХВ-Петербург, 2006 — 560 с.
- Козлов Б.А. Резервирование с восстановлением М.: Советское радио, 1969 -150 с.
- Справочник. Надежность технических систем, (под редакцией профессора И. А. Ушакова М.: Радио и связь, 1985 — 608 с.
- Экспертное заключение по программному средству RISK SPECTRUM PSA Professional версия 1.10, эксперты Морозов В. Б., Байкова Е. В., Москва, 2002.
- Описание программы АНИС 2.0 для анализа надежности ППУ. Отчет о НИР/ОКБМ- исполн.: A.M. Бахметьев, В. А. Петелин, И. А. Былов, А.Г.
- Маркелов Н. Новгород, 2005.- 40с. i
- Описание программы АНИС 2.1 для структурного анализа надежности ППУ и теплогидравлических систем. Отчет о НИР/ОКБМ- исполн.: A.M. Бахметьев,
- B.А. Петелин, И. А. Былов, A.B. Шаранов Н. Новгород, 2005.- 40с.- инв.№ 10 442/05OT.
- C.С. и др.- СПб, 2008 125с. — Рег.№ 3794.
- Белоярская АЭС. Энергоблок № 3 с реактором БН-600. ВАБ первого уровня для внешних воздействий, отчет/ ОКБМ, ГНЦ ФЭИ, СПбАЭП- исполн.: И. А. Былов, С. П. Линьков, Ю. А. Макеев, П. С. Антипин и др. Н. Новгород, 2010 — инв. №№ 11 643/1 Оот, 11 644/1 Оот.