|
|
Spolehlivost technických systémů
Pařil, Radek ; Pavlík, Josef (oponent) ; Hammer, Miloš (vedoucí práce)
Abstrakt: Tato diplomová práce je zaměřena na rozbor diagnostikovatelnosti a spolehlivosti elektrických strojů točivých z průmyslové energetické praxe. Jsou zde rozebrány diagnostické metody, které se využívají v praxi. Dále je proveden rozbor výsledků z provozních měření na reálných elektrických strojích.
|
|
|
Maintainable type classes for Haskell
Farka, František ; Pudlák, Petr (vedoucí práce) ; Křen, Tomáš (oponent)
V této práci se zaměřujeme na dlouhodobý problém v systému typových tříd jazyka Haskell. Konkrétně se zabýváme možnostmi zpětně kompatibilních úprav v existujících hierarchiích tříd. V první části práce podáváme stručný přehled jazyka. Následující část shrnuje stávající navrhovaná řešení problému a rozebírá jejich vlastnosti. Na základě tohoto rozboru předkládáme náš vlastní návrh na jazykové rozšíření. V předposlední části uvádíme několik možných užití jazykového rozšíření a srovnáváme jej s ostatními řešeními. Součástí práce je také proof-of-concept implementace rozšíření pro kompilátor GHC, která je stručně popsána v poslední části. Powered by TCPDF (www.tcpdf.org)
|
|
|
Maintainable type classes for Haskell
Farka, František ; Pudlák, Petr (vedoucí práce) ; Křen, Tomáš (oponent)
V této práci se zaměřujeme na dlouhodobý problém v systému typových tříd jazyka Haskell. Konkrétně se zabýváme možnostmi zpětně kompatibilních úprav v existujících hierarchiích tříd. V první části práce podáváme stručný přehled jazyka. Následující část shrnuje stávající navrhovaná řešení problému a rozebírá jejich vlastnosti. Na základě tohoto rozboru předkládáme náš vlastní návrh na jazykové rozšíření. V předposlední části uvádíme několik možných užití jazykového rozšíření a srovnáváme jej s ostatními řešeními. Součástí práce je také proof-of-concept implementace rozšíření pro kompilátor GHC, která je stručně popsána v poslední části. Powered by TCPDF (www.tcpdf.org)
|
|
|
Spolehlivost technických systémů
Pařil, Radek ; Pavlík, Josef (oponent) ; Hammer, Miloš (vedoucí práce)
Abstrakt: Tato diplomová práce je zaměřena na rozbor diagnostikovatelnosti a spolehlivosti elektrických strojů točivých z průmyslové energetické praxe. Jsou zde rozebrány diagnostické metody, které se využívají v praxi. Dále je proveden rozbor výsledků z provozních měření na reálných elektrických strojích.
|
|
|
Evaluating Quality of Service Design
Hejl, Daniel ; Feuerlicht, Jiří (vedoucí práce) ; Pavlíčková, Jarmila (oponent)
Architektura orintovaná na služby (SOA) je populární volbou systémové architektury a mnoho organizací na ni přechází aby lépe sladily možnosti IT s jejich podnikovými cíly. Mezi očekávání, která adopce SOA vyvolává patří například zvýšená efektivita, schopnost rychle reagovat na změny v obchodním prostředí a zlepšení návratnosti investic. Aby tato očekávání byla naplněna, velký důraz musí být kladen na správný návrh služeb. Navrhování služeb takovým způsobem, aby měly velkou míru znovupoužitelnosti a aby výsledný produkt byl dobře udržovatelný může být ale obzvláště náročné. Tato práce shrnuje způsoby, jakými se dají využít metriky měřící vlastnosti struktur návrhu systémů orientovaných na služby pro předpovídání problémů v návrhu služeb. V praktické části této bakalářské práce byl vyvynut nástroj na měření kvality návrhu služeb na základě jedné z metrik a byla demonstrována praktická použitelnost této metriky.
|
host ::
RSS.