Современное состояние и направления развития общего логико-вероятностного метода анализа систем
Ключевые слова:
общий логико-вероятностный метод, схема функциональной целостности, автоматизация моделирования, состояние, разделы, направления развитияАннотация
Приведены результаты систематизации данных о современном уровне разработки общего логико-вероятностного метода (ОЛВМ), теории и технологии автоматизированного структурно-логического моделирования (АСМ). Определены основные разделы и направления дальнейшего развития ОЛВМ анализа систем, дана их краткая содержательная характеристика, приведены примеры решения задач.Литература
Можаев А.С. Логико-вероятностный подход к оценке надежности автоматизиро- ванных систем управления. Л.: Изд. ВМА им. Н.Г. Кузнецова. Деп. п/я А-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.
Current Status and Directions of a General Logic-probabilistic Method of System Analysis
Abstract
The article presents the systematic results on the present level of a common logicalprobabilistic method (CLPM) development, theory and technology of automated structural and logical simulation (ASLS). The article identifies the main sections and areas for further development CLPM analysis systems, given their brief informative description, examples of solving problems.Опубликован
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).
