УДК 681.5.09

Логические методы расчета надежности

Левин В. И.

Ключевые слова: переключательный процесс, надежностный процесс, динамический автомат, двоичный оператор, структура оператора, логическая теория надежности.

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

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

***

Logical methods of system reliability analysis

Levin V. I.

An automatical-logical model of system reliability has been introduced. Automaton's input processes model safety processes in system packages, and the it's output processes model safety processes inside system itself.