|
Malé větrné turbíny v městském prostředí
Ondráček, David ; Škorpík, Jiří (oponent) ; Linda, Jakub (vedoucí práce)
Tato práce je zaměřena na problematiku použití menších větrných turbín v městském zastavěném prostředí. Začátek práce se věnuje základní teorii o větru, jeho vzniku a specifickém proudění vzduchu v zastavěném prostředí. Následně je v práci provedena rešerše aktuálně dostupných větrných turbín vhodných právě do městského zastavěného prostředí a s ohledem na specifické proudění vzduchu v tomto prostředí jsou navrženy možnosti na zvýšení efektivity těchto turbín. Další část práce rozebírá zkušenosti ze skutečných instalací. Závěrem práce jsou počítány energetické zisky generované vybranou turbínou a fotovoltaickými panely v dané lokalitě, zakončené porovnáním vhodnosti těchto dvou zdrojů obnovitelné energie.
|
|
Databáze specifikací bezpečnostních protokolů
Ondráček, David ; Trchalík, Roman (oponent) ; Očenášek, Pavel (vedoucí práce)
Původní protokoly, které vznikaly v počátcích vývoje počítačových sítí, již nejsou pro zajištění potřebné bezpečnosti dostačující. Proto se stále vyvíjejí a implementují protokoly nové. Důležitou součástí tohoto procesu je formální verifikace. Jde o analýzu protokolu po formální stránce, kdy se zjišťuje, zda lze protokol úspěšně napadnout. Diplomová práce se zabývá analýzou vybraných bezpečnostních protokolů a nástrojů pro jejich formální verifikaci. Výstupem praktické části je databáze specifikací protokolů v LySa kalkulu a výsledky jejich verifikace nástrojem LySatool.
|
| |
|
Malé větrné turbíny v městském prostředí
Ondráček, David ; Škorpík, Jiří (oponent) ; Linda, Jakub (vedoucí práce)
Tato práce je zaměřena na problematiku použití menších větrných turbín v městském zastavěném prostředí. Začátek práce se věnuje základní teorii o větru, jeho vzniku a specifickém proudění vzduchu v zastavěném prostředí. Následně je v práci provedena rešerše aktuálně dostupných větrných turbín vhodných právě do městského zastavěného prostředí a s ohledem na specifické proudění vzduchu v tomto prostředí jsou navrženy možnosti na zvýšení efektivity těchto turbín. Další část práce rozebírá zkušenosti ze skutečných instalací. Závěrem práce jsou počítány energetické zisky generované vybranou turbínou a fotovoltaickými panely v dané lokalitě, zakončené porovnáním vhodnosti těchto dvou zdrojů obnovitelné energie.
|
|
Databáze specifikací bezpečnostních protokolů
Ondráček, David ; Trchalík, Roman (oponent) ; Očenášek, Pavel (vedoucí práce)
Původní protokoly, které vznikaly v počátcích vývoje počítačových sítí, již nejsou pro zajištění potřebné bezpečnosti dostačující. Proto se stále vyvíjejí a implementují protokoly nové. Důležitou součástí tohoto procesu je formální verifikace. Jde o analýzu protokolu po formální stránce, kdy se zjišťuje, zda lze protokol úspěšně napadnout. Diplomová práce se zabývá analýzou vybraných bezpečnostních protokolů a nástrojů pro jejich formální verifikaci. Výstupem praktické části je databáze specifikací protokolů v LySa kalkulu a výsledky jejich verifikace nástrojem LySatool.
|