Современное состояние и направления развития общего логико-вероятностного метода анализа систем
Ключевые слова:
общий логико-вероятностный метод, схема функциональной целостности, автоматизация моделирования, состояние, разделы, направления развитияАннотация
Приведены результаты систематизации данных о современном уровне разработки общего логико-вероятностного метода (ОЛВМ), теории и технологии автоматизированного структурно-логического моделирования (АСМ). Определены основные разделы и направления дальнейшего развития ОЛВМ анализа систем, дана их краткая содержательная характеристика, приведены примеры решения задач.Литература
Можаев А.С. Логико-вероятностный подход к оценке надежности автоматизиро- ванных систем управления. Л.: Изд. ВМА им. Н.Г. Кузнецова. Деп. п/я А-1420 № Д04750, 1982. 24 с.
Можаев А.С. Общий логико-вероятностный метод анализа надежности структур- но-сложных систем, Учебное пособие. Л.: Изд. ВМА им. Н.Г. Кузнецова, 1988. 68 с.
Можаев А.С. Безопасность России М.: МГФ «Знание», 2006. С. 153–197
Можаев А.С., Гладкова И.А. Библиотека программных модулей автоматического построения монотонных и немонотонных логических функций работоспособности систем и многочленов вероятностных функций (ЛОГ и ВФ) // Свидетельство об официальной регистрации № 2003611100. М.: Изд. Роспатента РФ, 12 мая 2003. 1 с.
Можаев А.С. Гладкова И.А. Программный комплекс автоматизированного струк- турно–логического моделирования сложных систем (ПК АСМ 2001) // Свидетель- ство об официальной регистрации № 2003611099. М.: Изд. Роспатента РФ, 12 мая 2003. 1 с.
Диллон Б., Сингх Ч. Инженерные методы обеспечения надежности систем. М.: Мир, 1984. 318 c.
Хенли Э. Дж., Кумамот Х. Надежность технических систем и оценка риска. М.: Машиностроение, 1984. 528 с.
Рябинин И.А. Основы теории и расчета надежности судовых электроэнергетиче- ских систем. Л.: Судостроение, 1967. 362 с.
Рябинин И.А., Черкесов Г.Н. Логико-вероятностные методы исследования надеж- ности структурно-сложных систем. М.: Радио и связь, 1981. 286 с.
Парфенов Ю.М. Надежность, живучесть и эффективность корабельных электро- энергетических систем. Учебное пособие. Л.: Изд. ВМА им. Н.Г. Кузнецова, 1989. 324 с.
Рябинин И.А. Надежность. Живучесть. Безопасность. Очерки разных лет. Новочер- касск: Изд. Южно-Российского государств. техн. ун-та (Новочеркасского политех- нического института), 2008. 580 с.
Risk Spectrum PSA Professional 1.20/Teory Manual, RELCON AB, Sweden, 1998. 57 с. [электронный ресурс: http://www.riskspectrum.com].
Код «РИСК» для выполнения стандартных вероятностных расчетов безопасности АС. М.: Изд. ОЦРК, 2003. 36 с.
Бахметьев А.М., Былов И.А., Милакова Ю.В. Верификация и обоснование про- граммы CRISS 4.0 для моделирования и анализа систем безопасности ядерной установки при выполнении вероятностного анализа безопасности. Ч. 1 (заключи- тельная редакция) // Отчет о НИР. Нижний Новгород: ФГУП ОКБМ им. И.И. Африкантова, 2005. 88 с.[электронный ресурс: http://www.nuclear.ru/productions/view.html?From=25&cat=42].
Systems Analysis Programs for Hands-on Integrated Reliability Evaluations (SAPHIRE) Version 7.0 (saphire.inel.gov). Reference Manual1, 2002.
Викторова В.С., Кунтшер Х., Петрухин Б.П., Степанянц А.С. Relex ― программа анализа надежности, безопасности, рисков // Надежность. 2003. №4 (7). С. 42–64.
Relex Software Corhoration, Reliability: A Practitioner's Guide, Relex Software, 2003.
Сравнительный анализ технологий деревьев отказов и автоматизированного струк- турно–логического моделирования, используемых для выполнения работ по веро- ятностному анализу безопасности АЭС и АСУТП на стадии проектирования / От- чет о НИР. ФГУП СПбАЭП, ОАО «СПИК СЗМА», (Санкт-Петербург), ИПУ РАН им. В.А. Трапезникова (Москва). Шифр «Технология 2004». СПб.: ОАО «СПИК СЗМА», 2005. 282 с.
Можаев А.С., Киселев А.В., Струков А.В., Скворцов М.С. Программный комплекс автоматизированного структурно-логического моделирования и расчета надежно- сти и безопасности систем" (ПК АСМ СЗМА, базовая версия 1.0, «Арбитр») / Отчет о верификации программного средства. Заключительная редакция. СПб.: ОАО «СПИК СЗМА», 2007. 1031 с.
Можаев А.С. Программный комплекс автоматизированного структурно- логического моделирования и расчета надежности и безопасности систем «Ар- битр» (ПК АСМ СЗМА), базовая версия 1.0. СПб: Изд. ОАО «СПИК СЗМА», 2007. 6 с.
Можаев А.С. Современное состояние и некоторые направления развития логико- вероятностных методов анализа систем. Ч. I. // Теория и информационная техноло- гия моделирования безопасности сложных систем. Вып. 1 / Под ред. И.А. Рябинина. СПб., 1994. С. 23–53.
Скворцов М.С. Решение задачи оптимизации надежности с помощью метода логи- ко-вероятностных вкладов // Надежность. 2009. № 2 (30). С. 15–29.
Алексеев А.О. Логико-статистический метод оценки устойчивости функционирова- ния сложных и пространственных объектов // Решение эксплуатационных задач на ЭВМ. 1992. № 1. С. 13–24.
Иванов М.В., Можаев А.С., Рябинин И.А. Логико-вероятностные методы расчета живучести автоматизированных электроэнергетических систем судов // Вопросы судостроения. Сер: Судовая автоматика. 1984. Вып. 30. С. 3–16.
Можаев А.С. Учет временной последовательности отказов элементов в логико- вероятностных моделях надежности // Надежность систем энергетики. Новочер- касск, 1990. С. 94–103.
Можаев А.С. Общий логико-вероятностный метод анализа надежности структур- но-сложных систем, Учебное пособие. Л.: Изд. ВМА им. Н.Г. Кузнецова, 1988. 68 с.
Можаев А.С. Безопасность России М.: МГФ «Знание», 2006. С. 153–197
Можаев А.С., Гладкова И.А. Библиотека программных модулей автоматического построения монотонных и немонотонных логических функций работоспособности систем и многочленов вероятностных функций (ЛОГ и ВФ) // Свидетельство об официальной регистрации № 2003611100. М.: Изд. Роспатента РФ, 12 мая 2003. 1 с.
Можаев А.С. Гладкова И.А. Программный комплекс автоматизированного струк- турно–логического моделирования сложных систем (ПК АСМ 2001) // Свидетель- ство об официальной регистрации № 2003611099. М.: Изд. Роспатента РФ, 12 мая 2003. 1 с.
Диллон Б., Сингх Ч. Инженерные методы обеспечения надежности систем. М.: Мир, 1984. 318 c.
Хенли Э. Дж., Кумамот Х. Надежность технических систем и оценка риска. М.: Машиностроение, 1984. 528 с.
Рябинин И.А. Основы теории и расчета надежности судовых электроэнергетиче- ских систем. Л.: Судостроение, 1967. 362 с.
Рябинин И.А., Черкесов Г.Н. Логико-вероятностные методы исследования надеж- ности структурно-сложных систем. М.: Радио и связь, 1981. 286 с.
Парфенов Ю.М. Надежность, живучесть и эффективность корабельных электро- энергетических систем. Учебное пособие. Л.: Изд. ВМА им. Н.Г. Кузнецова, 1989. 324 с.
Рябинин И.А. Надежность. Живучесть. Безопасность. Очерки разных лет. Новочер- касск: Изд. Южно-Российского государств. техн. ун-та (Новочеркасского политех- нического института), 2008. 580 с.
Risk Spectrum PSA Professional 1.20/Teory Manual, RELCON AB, Sweden, 1998. 57 с. [электронный ресурс: http://www.riskspectrum.com].
Код «РИСК» для выполнения стандартных вероятностных расчетов безопасности АС. М.: Изд. ОЦРК, 2003. 36 с.
Бахметьев А.М., Былов И.А., Милакова Ю.В. Верификация и обоснование про- граммы CRISS 4.0 для моделирования и анализа систем безопасности ядерной установки при выполнении вероятностного анализа безопасности. Ч. 1 (заключи- тельная редакция) // Отчет о НИР. Нижний Новгород: ФГУП ОКБМ им. И.И. Африкантова, 2005. 88 с.[электронный ресурс: http://www.nuclear.ru/productions/view.html?From=25&cat=42].
Systems Analysis Programs for Hands-on Integrated Reliability Evaluations (SAPHIRE) Version 7.0 (saphire.inel.gov). Reference Manual1, 2002.
Викторова В.С., Кунтшер Х., Петрухин Б.П., Степанянц А.С. Relex ― программа анализа надежности, безопасности, рисков // Надежность. 2003. №4 (7). С. 42–64.
Relex Software Corhoration, Reliability: A Practitioner's Guide, Relex Software, 2003.
Сравнительный анализ технологий деревьев отказов и автоматизированного струк- турно–логического моделирования, используемых для выполнения работ по веро- ятностному анализу безопасности АЭС и АСУТП на стадии проектирования / От- чет о НИР. ФГУП СПбАЭП, ОАО «СПИК СЗМА», (Санкт-Петербург), ИПУ РАН им. В.А. Трапезникова (Москва). Шифр «Технология 2004». СПб.: ОАО «СПИК СЗМА», 2005. 282 с.
Можаев А.С., Киселев А.В., Струков А.В., Скворцов М.С. Программный комплекс автоматизированного структурно-логического моделирования и расчета надежно- сти и безопасности систем" (ПК АСМ СЗМА, базовая версия 1.0, «Арбитр») / Отчет о верификации программного средства. Заключительная редакция. СПб.: ОАО «СПИК СЗМА», 2007. 1031 с.
Можаев А.С. Программный комплекс автоматизированного структурно- логического моделирования и расчета надежности и безопасности систем «Ар- битр» (ПК АСМ СЗМА), базовая версия 1.0. СПб: Изд. ОАО «СПИК СЗМА», 2007. 6 с.
Можаев А.С. Современное состояние и некоторые направления развития логико- вероятностных методов анализа систем. Ч. I. // Теория и информационная техноло- гия моделирования безопасности сложных систем. Вып. 1 / Под ред. И.А. Рябинина. СПб., 1994. С. 23–53.
Скворцов М.С. Решение задачи оптимизации надежности с помощью метода логи- ко-вероятностных вкладов // Надежность. 2009. № 2 (30). С. 15–29.
Алексеев А.О. Логико-статистический метод оценки устойчивости функционирова- ния сложных и пространственных объектов // Решение эксплуатационных задач на ЭВМ. 1992. № 1. С. 13–24.
Иванов М.В., Можаев А.С., Рябинин И.А. Логико-вероятностные методы расчета живучести автоматизированных электроэнергетических систем судов // Вопросы судостроения. Сер: Судовая автоматика. 1984. Вып. 30. С. 3–16.
Можаев А.С. Учет временной последовательности отказов элементов в логико- вероятностных моделях надежности // Надежность систем энергетики. Новочер- касск, 1990. С. 94–103.
Опубликован
2010-03-01
Как цитировать
Мусаев, А. А., & Гладкова, И. А. (2010). Современное состояние и направления развития общего логико-вероятностного метода анализа систем. Труды СПИИРАН, 1(12), 75-96. https://doi.org/10.15622/sp.12.6
Раздел
Статьи
Авторы, которые публикуются в данном журнале, соглашаются со следующими условиями:
Авторы сохраняют за собой авторские права на работу и передают журналу право первой публикации вместе с работой, одновременно лицензируя ее на условиях Creative Commons Attribution License, которая позволяет другим распространять данную работу с обязательным указанием авторства данной работы и ссылкой на оригинальную публикацию в этом журнале.
Авторы сохраняют право заключать отдельные, дополнительные контрактные соглашения на неэксклюзивное распространение версии работы, опубликованной этим журналом (например, разместить ее в университетском хранилище или опубликовать ее в книге), со ссылкой на оригинальную публикацию в этом журнале.
Авторам разрешается размещать их работу в сети Интернет (например, в университетском хранилище или на их персональном веб-сайте) до и во время процесса рассмотрения ее данным журналом, так как это может привести к продуктивному обсуждению, а также к большему количеству ссылок на данную опубликованную работу (Смотри The Effect of Open Access).
