|
|
Výzkum elektrochemických a materiálových charakteristik nově vyvinutých vrstevnatých elektrodových materiálů pro lithno-iontové baterie
Kratochvíl, Miroslav ; Jirák, Tibor (oponent) ; Sedlaříková, Marie (vedoucí práce)
Diplomová práce se zabývá elektrodovými materiály pro lithno-iontové akumulátory, konkrétně vrstevnatými materiály připravenými novými postupy. Hlavním cílem této práce je tedy zabývání se připravováním elektrod novými postupy z nově vyvinutých vrstevnatých elektrodových materiálů a následně jejich proměření. Další úkol byl teoretický rozbor nově vyvinutých vrstevnatých elektrodových materiálů pro kladnou a zápornou elektrodu a jejich příprava novými postupy. V této práci byly podrobně rozepsány postupy příprav jednotlivých elektrod, elektrolytů a ostatních záležitostí s těmito přípravami spojené. Byly zde podrobně popsány baterie všeobecně, primární a sekundární lithiové články, palivové články, lithno-iontové akumulátory, vrstevnaté materiály tvořící jejich elektrody a samozřejmě s tím i spojená historie. Praktická část práce je zaměřena na samostatné měření vrstevnatých elektrodových materiálů připravované novými postupy a zhodnocením výsledků pro jednotlivé vrstevnaté materiály. V praktické části bylo dosaženo, že nově připravené vrstevnaté elektrodové materiály nabízejí vyšší kapacitu a napětí
|
|
|
High-performance exploration and querying of selected multi-dimensional spaces in life sciences
Kratochvíl, Miroslav ; Bednárek, David (vedoucí práce) ; Glaab, Enrico (oponent) ; Svozil, Daniel (oponent)
Tato práce studuje, implementuje a experimentuje se specifickými, aplikačně orien- tovanými přístupy pro prozkoumávání a dotazování multimediálních dat. První část práce zkoumá indexování komplexního prostoru chemických sloučenin a popisuje návrh vysoce výkonného systému pro dotazování v databázích malých molekul. Výsledný sys- tém je následně využit v širším kontextu federovaného vyhledávání v heterogenních dat- ech a metadatech souvisejících s chemickými informačními zdroji. V druhé části se práce zaměřuje na rychlou vizualizaci a prohledávání mnohadimenziálních dat pocháze- jících z jednobuněčné průtokové cytometrie. Ze samoorganizačních map odvozuje rychlé metody pro analýzu dat, a využívá je jako základ pro nový vizualizační algoritmus. Podobný přístup zpracování dat je nakonec využit pro vysoce interaktivní prohledávání multimediálních dat. Hlavní příspěvky a výsledky práce se sestávají z pokroku v opti- malizaci metod pro dotazování chemických dat implementovaných v databázi Sachem, federovaného rozhraní pro Sachem založeného na jazyce SPARQL které poskytuje pod- poru pro heterogenního dotazování, algoritmu EmbedSOM pro redukci dimenzionality, návrhu a implementace specifických analytických nástrojů pro průtokovou a hmotnos- tní cytometrii odvozených od algoritmu EmbedSOM, a návrhu a implementace...
|
|
|
Heuristiky pro cesty v mapách
Kudláčková, Lada ; Mareš, Martin (vedoucí práce) ; Kratochvíl, Miroslav (oponent)
Obsahem práce je popis heuristických postupů, které slouží pro hledání nejkratších cest v grafech, a ověření jejich účinnosti na skutečných dat- ech. Věnuje se heuristikám pro Dijkstrův algoritmus, a to především algoritmu A*, který využívá dolní odhad na vzdálenost do cíle. Heuristiky jsou implemen- továny a testovány na silniční síti České republiky. 1
|
|
|
Inference-driven resource managemenent and polymorphism in systems programming
Klepl, Jiří ; Kratochvíl, Miroslav (vedoucí práce) ; Bednárek, David (oponent)
Jazyky pro Systémové programování usnadňují implementaci softwaru, který běží v omezených prostředích blízko hardwaru, jako jsou operační sys- témy, drivery, systémy reálného času a vestavěné systémy. Implementace prospěšných prvků pro tyto jazyky, jako jsou generické programování a ty- pový systém zajišťující bezchybnost kódu, je ztěžována úzkými požadavky na běhovýmé vlastnostni programu. Hlavní náplní této práce je prozk- oumat novou kombinaci jazyka C-- s prvky typového systému umožňující typovou kontrolu vysoce polymorfního kódu a demonstruje možnosti typově vedené správy zdrojů v tomto jazyku. Jako hlavní výstup práce podává důkaz konceptu zprostředkovaný prototypem překladače rožšířeného jazyka C-- do LLVM a popisuje typový systém založený na odkládajícím řešení omezujících podmínek, který je schopen typové inference za přítomnosti více- parametrových typových tříd a subtypy C--. Funkcionalitu typového systému a překladače demonstrujeme na vybraných ukázkách programů a popisujeme několik rozpoznaných komplikací návrhu, které lze adresovat pro praktičtější implementaci. 1
|
|
|
Emulátor zvukových syntezátorů
Kulikov, Maximilian ; Klusáček, David (vedoucí práce) ; Kratochvíl, Miroslav (oponent)
Nástroj na tvoření emulátorů zvukových syntezátorů. Základem práce je imperativní programovací jazyk Cynth popisující signály tvořící výsledný zvuk. Kód v jazyce Cynth se přeloží do jazyka C pro následující slinkování s programem řídícím GUI a MIDI vstupní ovládání a výstupní monitorování a napojení zvukové karty. Mezikrok s překladem do jazyka C přináší výhodu z využití optimalizací překladače C. Jazyk Cynth je omezený tak, aby za běhu nedocházelo k žádné dynamicé alokaci, ale zároveň umožňuje komplexní programování za překladu a práci se staticky alokovanými datovými strukrurami určenými k expresivnímu popisu signálů. 1
|
|
| |
|
|
Implementation of a tone mapping operator for scotopic viewing conditions
Safko, Martin ; Wilkie, Alexander (vedoucí práce) ; Kratochvíl, Miroslav (oponent)
Výroba fotiek a filmov zachytávajúca nočnú scenériu, ktorá vyzerá prirodzene, je dlhotrvajúci problém od vzniku fotoaparátu. Pre vytvorenie snímku je potrebné mať dostatok svetla, ktoré v senzore fotoaparátu vytvorí merateľnú veličinu. Kvôly tomu, fotenie v noci nebolo možné kým neboli senzory dosť citlivé, avšak aj potom fotky stále nevyzerali realisticky. Filmový priemysel vyriešil tento problém manuálnou korekciou farieb v postprodukcii. Naim- plementovali sme algoritmus z článku publikovaného v SIGGRAPH 2011, ktorý je schopný na spektrálnych obrazoch tento problém vyriešiť konzis- tentne a vierohodne a rozšírili sme ho o techniku použitú z INRIA článku. 1
|
|
|
Hospodářský a sociální život kolegiátní kapituly ve Staré Boleslavi v 50. a 60. letech 17. století
Kratochvíl, Miroslav ; Šedivá Koldinská, Marie (vedoucí práce) ; Zdichynec, Jan (oponent)
V bakalářské práci je analyzován hospodářský a sociální život kolegiátní kapituly ve Staré Boleslavi v padesátých a šedesátých letech 17. století. Po nástinu historie kapituly a jejího místa v kontextu středověkého a raně novověkého vývoje následuje těžiště práce, soustředěné k výzkumu hospodářské a sociální situace staroboleslavské kapituly v padesátých a šedesátých letech 17. století. Téma je zkoumáno především na základě nevydaných pramenů (soupis nejdůležitějších z nich je uveden níže) s přihlédnutím k sekundární literatuře a je zasazeno do širšího rámce situace v Čechách po třicetileté válce. 1
|
|
|
Návrh a implementace jazyka pro code-golf challenge
Kliber, Filip ; Parízek, Pavel (vedoucí práce) ; Kratochvíl, Miroslav (oponent)
Code-golf je jednou z kategorií programátorských soutěží, ve které je cílem im- plementovat řešení relativně snadné programátorské úlohy na co nejmenší počet bytů zdrojového kódu. Cílem mé práce je návrh a implementace programovacího jazyka, který je vhodný pro řešení code-golf úloh. Jazyk je navržený s ohledem na nově začínající řešitele code-golf challenge a zachovává čitelnost i srozumitel- nost. Zakládá se na běžně používaných jazycích, ale zároveň umožňuje stručný zápis algoritmických řešení úloh z oblasti code-golf. Součástí práce je také imple- mentace standardní knihovny jakožto běhové podpory pro tento jazyk. 1
|
|
|
Emulátor zvukových syntezátorů
Kulikov, Maximilian ; Klusáček, David (vedoucí práce) ; Kratochvíl, Miroslav (oponent)
Nástroj na tvoření emulátorů zvukových syntezátorů. Základem práce je imperativní programovací jazyk Cynth popisující signály tvořící výsledný zvuk. Kód v jazyce Cynth se přeloží do jazyka C pro následující slinkování s programem řídícím GUI a MIDI vstupní ovládání a výstupní monitorování a napojení zvukové karty. Mezikrok s překladem do jazyka C přináší výhodu z využití optimalizací překladače C. Jazyk Cynth je omezený tak, aby za běhu nedocházelo k žádné dynamicé alokaci, ale zároveň umožňuje komplexní programování za překladu a práci se staticky alokovanými datovými strukrurami určenými k expresivnímu popisu signálů. 1
|
host ::
RSS.