informИнформатикаInformatics1816-03012617-6963UIIP NASBinform-630Research ArticleЛОГИЧЕСКОЕ ПРОЕКТИРОВАНИЕLOGICAL DESIGNОЦЕНКА ВЕРОЯТНОСТИ ОТКАЗА НЕВОССТАНАВЛИВАЕМОЙ СИСТЕМЫ С ИСПОЛЬЗОВАНИЕМ МЕТОДОВ АЛГЕБРЫ ЛОГИКИЗайцеваЕ. Н.ПоттосинЮ. В.Жилинский университетSlovakiaОбъединенный институт проблем информатики НАН БеларусиBelarus20071511201802(14)7785Copyright © Зайцева Е.Н., Поттосин Ю.В., 20182018Зайцева Е.Н., Поттосин Ю.В.Зайцева Е.Н., Поттосин Ю.В.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://inf.grid.by/jour/article/view/630

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

ReferencesUshakov, I. Handbook of Reliability Engineering / I. Ushakov. – N.-Y.: Wiley, 1994. – 354 p.Ushakov, I. Handbook of Reliability Engineering / I. Ushakov. – N.-Y.: Wiley, 1994. – 354 p.Xie, M. Computing System Reliability. Models and Analysis / M. Xie, Y.-S. Dai, K.-L. Poh. – N.-Y., Boston, Dordrecht, London, Moscow: Kluwer Academic Publishers, 2004. – 293 p.Xie, M. Computing System Reliability. Models and Analysis / M. Xie, Y.-S. Dai, K.-L. Poh. – N.-Y., Boston, Dordrecht, London, Moscow: Kluwer Academic Publishers, 2004. – 293 p.Zaitseva, E.N. Reliability analysis of multi-state system / E.N. Zaitseva // Dynamical Systems and Geometric Theories. – 2003. – № 1(2). – P. 213–222.Zaitseva, E.N. Reliability analysis of multi-state system / E.N. Zaitseva // Dynamical Systems and Geometric Theories. – 2003. – № 1(2). – P. 213–222.Закревский, А.Д. Расчет надежности технической системы при заданных критических наборах событий / А.Д. Закревский, Ю.В. Поттосин // Логическое проектирование. – Вып.1. – Минск: Ин-т техн. кибернетики АН Беларуси, 1996. – С. 123–132.Закревский, А.Д. Расчет надежности технической системы при заданных критических наборах событий / А.Д. Закревский, Ю.В. Поттосин // Логическое проектирование. – Вып.1. – Минск: Ин-т техн. кибернетики АН Беларуси, 1996. – С. 123–132.Рябинин, И.А. Надежность и безопасность структурно-сложных систем / И.А. Рябинин. – СПб.: Политехника, 2000. – 248 с.Рябинин, И.А. Надежность и безопасность структурно-сложных систем / И.А. Рябинин. – СПб.: Политехника, 2000. – 248 с.Чистяков, В.П. Курс теории вероятностей / В.П. Чистяков. – М.: Наука, 1987. – 240 с.Чистяков, В.П. Курс теории вероятностей / В.П. Чистяков. – М.: Наука, 1987. – 240 с.Zaitseva, E. Dynamic rreliability indices for parallel, series and k-out-of-n multi-state system / E. Zaitseva, V. Levashenko // Proc. of the IEEE 52nd Annual Reliability & Maintainability Symposium (RAMS). – Newport Beach, California, USA, 2003. – P. 253–259.Zaitseva, E. Dynamic rreliability indices for parallel, series and k-out-of-n multi-state system / E. Zaitseva, V. Levashenko // Proc. of the IEEE 52nd Annual Reliability & Maintainability Symposium (RAMS). – Newport Beach, California, USA, 2003. – P. 253–259.Bochmann, D. Logikentwurf mit XBOOLE. Algorithmen und Programme / D. Bochmann, B. Steinbach. – Berlin: Verlag Technik GmbH, 1991. – 304 p.Bochmann, D. Logikentwurf mit XBOOLE. Algorithmen und Programme / D. Bochmann, B. Steinbach. – Berlin: Verlag Technik GmbH, 1991. – 304 p.Яблонский, С.В. Введение в дискретную математику / С.В. Яблонский. – М.: Наука, 1986. – 384 с.Яблонский, С.В. Введение в дискретную математику / С.В. Яблонский. – М.: Наука, 1986. – 384 с.Евстигнеев, В.А. Алгоритмы на деревьях / В.А. Евстигнеев, В.Н. Касьянов. – Новосибирск: ВЦ СО АН СССР, 1989. – 312 с.Евстигнеев, В.А. Алгоритмы на деревьях / В.А. Евстигнеев, В.Н. Касьянов. – Новосибирск: ВЦ СО АН СССР, 1989. – 312 с.

The authors declare that there are no conflicts of interest present.