Logical methods of system reliability analysis

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.

Bibliographic Details
Main Author: Levin V. I.
Format: Article
Language:English
Published: Politehperiodika 2010-08-01
Series:Tekhnologiya i Konstruirovanie v Elektronnoi Apparature
Subjects:
Online Access:http://www.tkea.com.ua/tkea/2010/4_2010/pdf/06.zip
id doaj-65b6c41b5c8b4700a5afa4a769e37525
record_format Article
spelling doaj-65b6c41b5c8b4700a5afa4a769e375252020-11-24T22:38:54ZengPolitehperiodikaTekhnologiya i Konstruirovanie v Elektronnoi Apparature2225-58182010-08-0143239Logical methods of system reliability analysisLevin 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.http://www.tkea.com.ua/tkea/2010/4_2010/pdf/06.zipswitching processreliability processdynamic machinebinary operatoroperator structurelogical reliability theory
collection DOAJ
language English
format Article
sources DOAJ
author Levin V. I.
spellingShingle Levin V. I.
Logical methods of system reliability analysis
Tekhnologiya i Konstruirovanie v Elektronnoi Apparature
switching process
reliability process
dynamic machine
binary operator
operator structure
logical reliability theory
author_facet Levin V. I.
author_sort Levin V. I.
title Logical methods of system reliability analysis
title_short Logical methods of system reliability analysis
title_full Logical methods of system reliability analysis
title_fullStr Logical methods of system reliability analysis
title_full_unstemmed Logical methods of system reliability analysis
title_sort logical methods of system reliability analysis
publisher Politehperiodika
series Tekhnologiya i Konstruirovanie v Elektronnoi Apparature
issn 2225-5818
publishDate 2010-08-01
description 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.
topic switching process
reliability process
dynamic machine
binary operator
operator structure
logical reliability theory
url http://www.tkea.com.ua/tkea/2010/4_2010/pdf/06.zip
work_keys_str_mv AT levinvi logicalmethodsofsystemreliabilityanalysis
_version_ 1725711245998292992