Analýza stromů spolehlivosti

• Název práce v češtině: Analýza stromů spolehlivosti
• Název v anglickém jazyce: Fault tree analysis
• Klíčová slova: stromy spolehlivosti, minimální řezy, binární rozhodovací diagramy
• Klíčová slova anglicky: fault trees, minimal cuts, binary decision diagrams
• Akademický rok vypsání: 2013/2014
• Typ práce: bakalářská práce
• Jazyk práce: čeština
• Ústav: Katedra pravděpodobnosti a matematické statistiky (32-KPMS)
• Vedoucí / školitel: prof. RNDr. Jaromír Antoch, CSc.
• Řešitel: skrytý - zadáno a potvrzeno stud. odd.
• Datum přihlášení: 11.10.2013
• Datum zadání: 16.10.2013
• Datum potvrzení stud. oddělením: 25.11.2013
• Datum a čas obhajoby: 25.06.2014 00:00
• Datum odevzdání elektronické podoby: 21.05.2014
• Datum odevzdání tištěné podoby: 22.05.2014
• Datum proběhlé obhajoby: 25.06.2014
• Oponenti: RNDr. Přemysl Bejda, Ph.D.

Zásady pro vypracování

Při návrhu a analýze spolehlivosti složitých průmyslových celků se stále častěji používá spolehlivostních stromů. Jedná se o logickou reprezentaci vztahů mezi událostmi které mohou způsobit vznik nežádoucích stavů/událostí. Formální stromová struktura používá pro popis logické operátory. Cílem je seznámit se s metodami těchto postupů popsanými v literatuře a soustředit se na algoritmizaci efektivních výpočetních postupů.

Seznam odborné literatury

Lee W.S. at al., Fault tree analysis, methods, and applications. A
review. IEEE transactions on reliability 1985, vol. 34, no3, pp.
194-203.

Rauzy A., New algorithms for fault-trees analysis,
Reliability Engineering & System Sfety 40 (3), 203-211, 1993.

Limnios N., Arbres de defaillance. Hermes, Paris, 1991.

Předběžná náplň práce

Vhodné pro zájemce o seznámení se s netriviálními postupy v oblasti spolehlivosti složitých technologických systémů.

Předběžná náplň práce v anglickém jazyce

Fault tree analysis is a widely used method in industry to evaluate engineering systems during their design and development with respect to reliability and safety. A fault tree is a logical representation of the relationship of basic and primary events that may cause the occurence of given undesirable event, and is depicted using a tree structure with logic gates. The goal is to make acquaintance with these methods as described in the literature and to concentrate on the algoritmization of effective computational methods.