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.
Main Author: | |
---|---|
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 |