Analýza stromů spolehlivosti
Fault tree analysis
bakalářská práce (OBHÁJENO)
Zobrazit/ otevřít
Trvalý odkaz
http://hdl.handle.net/20.500.11956/72509Identifikátory
SIS: 76740
Kolekce
- Kvalifikační práce [10676]
Autor
Vedoucí práce
Oponent práce
Bejda, Přemysl
Fakulta / součást
Matematicko-fyzikální fakulta
Obor
Obecná matematika
Katedra / ústav / klinika
Katedra pravděpodobnosti a matematické statistiky
Datum obhajoby
25. 6. 2014
Nakladatel
Univerzita Karlova, Matematicko-fyzikální fakultaJazyk
Čeština
Známka
Výborně
Klíčová slova (česky)
stromy spolehlivosti, minimální řezy, binární rozhodovací diagramyKlíčová slova (anglicky)
fault trees, minimal cuts, binary decision diagramsV 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)