Název:
Analýza stromů spolehlivosti
Překlad názvu:
Fault tree analysis
Autoři:
Masák, Tomáš ; Antoch, Jaromír (vedoucí práce) ; Bejda, Přemysl (oponent) Typ dokumentu: Bakalářské práce
Rok:
2014
Jazyk:
cze
Abstrakt: [cze][eng] V práci jsou popsány vybrané procedury analýzy stromů spolehlivosti a jejich aplikace na spolehlivostní analýzu systému. Důraz je kladen především na efektivní nalezení množiny minimálních řezů za dodatečného předpokladu koherence neboli monotonie studovaných stromů spolehlivosti. Jsou představeny jak klasické způsoby hledání minimálních řezů, tak moderní přístupy využívající binární rozhodovací diagramy. Důsledné výstavbě teorie binárních rozhodovacích diagramů ze základní teorie Booleových algeber se podrobně věnujeme. Algoritmy hledání množiny minimálních řezů pomocí binárních rozhodovacích diagramů jsou popsány nejprve teoreticky a následně jsou implementovány v jazyce C++. Powered by TCPDF (www.tcpdf.org)In the thesis, selected procedures of fault tree analysis and their applications to system reliability analysis are described. Emphasis is placed especially on effective determination of minimal cutsets, provided coherency or monotonicity of studied fault trees. Classical ways of identifying minimal cuts and modern approaches using binary decision diagrams are presented. Precise construction of the theory of binary decision diagrams from the basic theory of Boolean algebra is covered in detail. Algorithms for finding minimal cutsets using binary decision diagrams are at first described theoretically and then they are implemented in C++ programming language. Powered by TCPDF (www.tcpdf.org)
Klíčová slova:
binární rozhodovací diagramy; minimální řezy; stromy spolehlivosti; binary decision diagrams; fault trees; minimal cuts