|
|
Optimalizace trasy předpínacích kabelů
Středulová, Monika ; Lehký, David (oponent) ; Eliáš, Jan (vedoucí práce)
Bakalářská práce se zabývá možnostmi využití genetických algoritmů pro optimalizaci trasy předpínacích kabelů. Cílem práce je vyvinout genetický algoritmus na základě metody automatické dynamické penalizace a ověřit jeho robustnost na vybraných analytických funkcích. Následně je tento algoritmus napojen na TDA modul pro výpočet předpětí a použit pro řešení optimalizační úlohy s omezením. Veškeré úlohy jsou řešeny v programovacím jazyce Python s využitím knihovny Distributed Evolutionary Algorithms.
|
|
|
Jednotky pro asynchronní přechody v obvodech FPGA
Cabal, Jakub ; Fujcik, Lukáš (oponent) ; Bohrn, Marek (vedoucí práce)
Cílem této práce je provést rozbor a implementaci jednotek pro řešení asynchronních přechodů v obvodech FPGA. Tyto přechody jsou nevyhnutelné ve složitějších obvodových návrzích a jejich nesprávná implementace může vést ke ztrátě nebo poškození dat. Dále se práce zaměřuje na aplikování správných omezujících podmínek (constraints). V praktické části této práce je popsána realizovaná knihovna asynchronních přechodů. Dále praktická část práce popisuje vytvořenou metodiku použití asynchronních přechodů, jejíž uplatnění je demonstrováno na případové studii v obvodu síťové karty vytvořeném pro akceleračníkartu COMBO-80G.
|
|
|
Toolbox pro vícekriteriální optimalizační problémy
Marek, Martin ; Hurák,, Zdeněk (oponent) ; Kadlec, Petr (vedoucí práce)
Tato práce se zabývá problematikou více-kriteriálních optimalizací. Je vysvětleno, která řešení jsou optimální při použití více konfliktních kriteriálních funkcí a jak tato optimální řešení (Paretovo čelo) v množině možných řešení vyhledat. Poté jsou popsány principy algoritmů NSGA-II, MOPSO a GDE3. V následujících kapitolách jsou představeny testovací metriky a problémy. Na závěr práce jsou tyto tři algoritmy porovnány na základě několika metrik.
|
|
|
Omezení a evoluce velikosti vajec a mláďat u amniotických obratlovců
Kubát, Jan ; Kratochvíl, Lukáš (vedoucí práce) ; Hořák, David (oponent)
Amniotičtí obratlovci (savci a plazi včetně ptáků) vykazují značnou rozmanitost v relativní velikosti vejce/mláděte vzhledem k velikosti matky. Tato práce shrnuje mechanismy určující velikost vajec a mláďat (např. morfologická či fyziologická omezení, kompromis mezi počtem a velikostí). Zvláštní zřetel je věnován srovnání alometrických vztahů velikosti vejce/mláděte vůči velikosti matky mezi jednotlivými skupinami a jejich determinantám.
|
|
|
MS SQL Application Development Framework
Hanes, Marek ; Kopecký, Michal (vedoucí práce) ; Hoksza, David (oponent)
Název práce: Nástroje pro vývoj MS SQL aplikací Autor: Bc. Marek Hanes Katedra / Ústav: Katedra softwarového inženýrství Vedoucí diplomové práce: RNDr. Michal Kopecký, Ph.D. Abstrakt: Tato práce pojednává o vývoji databázových aplikací a snaží se najít možnosti zefektivnění nejčastejších problémů. Cílem práce je návrh a imple- mentace modulárních nástrojů, které zjednodušují vývoj databázových aplikací a zabraňují nezkušeným uživatelům použití nebezpečných SQL příkazů nebo výrazů. Příkladem mohou býti insert příkazy bez seznamu sloupců, nebezpečné XPath výrazy a tak dále. Nástroje mimo jiné umožňují manipulaci s historickými tabulkami umožnujíc verzování dat a vracení nežádoucích datových změn asynchronní a paralelní zpracování SQL příkazů, správu chyb a podporu logování, monitorování změn schémat a též ladění procedur a funkcí Spolu s prostředky na manipulaci dat umožnují nástoje jednoduché zveřejnění uložených procedur v podobe webových služeb. Nástroje jsou doprovozeny pro- gramátorskou a uživatelskou dokumentací umožňující další vývoj. Klíčová slova: vývoj aplikací, nástroje, modulární design, bezpečné výrazy, omezení 1
|
|
|
Role evolučních mechanismů v designování akustických signálů
Rulfová, Alena ; Policht, Richard (vedoucí práce) ; Linhart, Pavel (oponent)
Akustická komunikace je v celé živočišné říši poměrně silně rozšířený jev. Téma evolučních mechanismů a jejich působení v akustické komunikaci je v posledních letech vcelku hojně studované, a to zejména u ptáků, netopýrů či žab. I přes tento fakt byly některé evoluční mechanismy dosud studovány detailně, zatímco jiné byly neprávem opomíjeny. Velice dobře prostudovaný je proces působení selekce (přírodního a pohlavního výběru) na akustické projevy, zatímco náhodné procesy, jako genetický drift či bottleneck, byly na poli této problematiky studovány spíše sporadicky. Genetický drift vede v akustické komunikaci k náhodným změnám v akustických projevech. Obdobou genetického driftu je pak drift kulturní, a to u druhů, které jsou schopny vokálního učení se. Změny v důsledku kulturního driftu mohou ale nemusí být spojeny se změnami na genetické úrovni. Velmi málo prostudovaným fenoménem na poli evolučních mechanismů v bioakustice je bottleneck. Zdá, že tento jev je příčinou redukce nejen genetické, ale také akustické variability živočichů. Některé parametry akustických projevů jsou utvářeny prostředím, a to zejména parametry spojené s frekvencí hlasu. Jiné oproti tomu velice dobře odrážejí fylogenetické vztahy mezi příbuznými druhy, a na základě těchto parametrů tak lze, kromě fylogeneze, mapovat kupříkladu...
|
|
|
Search Strategies for Scheduling Problems
Kypta, Tomáš ; Barták, Roman (vedoucí práce) ; Čepek, Ondřej (oponent)
V předložené práci porovnávám prohledávací strategie pro řešení rozvrhovacích problémů z pohledu programování s omezujícími podmínkami. Těžiště práce je věnováno rozvrhovacím problémům obsahujícím alternativní úlohy. V práci jsou jednak rozebrány různé již publikované způsoby modelování těchto problémů, dále pak jsou popsány a experimentálně porovnány prohledávací strategie pracující s těmito modely. Porovnáván je zejména vliv strategií na rychlost práce řešiče v závislosti na typu a velikosti dat. Jako vedlejší efekt práce studuje možnosti řešení rozvrhovacích problémů obsahujících alternativní úlohy pomocí řešiče Choco, který byl pro implementaci experimentů použit.
|
|
|
Optimalizace trasy předpínacích kabelů
Středulová, Monika ; Lehký, David (oponent) ; Eliáš, Jan (vedoucí práce)
Bakalářská práce se zabývá možnostmi využití genetických algoritmů pro optimalizaci trasy předpínacích kabelů. Cílem práce je vyvinout genetický algoritmus na základě metody automatické dynamické penalizace a ověřit jeho robustnost na vybraných analytických funkcích. Následně je tento algoritmus napojen na TDA modul pro výpočet předpětí a použit pro řešení optimalizační úlohy s omezením. Veškeré úlohy jsou řešeny v programovacím jazyce Python s využitím knihovny Distributed Evolutionary Algorithms.
|
|
|
Lexikální zápor u francouzských adjektiv - sémantická a morfologická omezení
Orel, Jan ; Štichauer, Jaroslav (vedoucí práce) ; Nádvorníková, Olga (oponent)
Tato diplomová práce se zabývá problematikou lexikálního záporu francouzských adjektiv, ale i dalších slovních druhů - substantiv a adverbií. Cílem je popsat fungování lexikální negace a prozkoumat omezení, která ji doprovází. Na základě těchto poznatků se praktická část, tj. vlastní výzkum, pokouší o stanovení tendence použití lexikální negace v blízké budoucnosti. V neposlední řadě také popisuje použití negace obecně, nebo mimo standardní spisovnou francouzštinu, v argotu, nebo hovorovém jazyce.
|
|
|
Omezení a evoluce velikosti vajec a mláďat u amniotických obratlovců
Kubát, Jan ; Kratochvíl, Lukáš (vedoucí práce) ; Hořák, David (oponent)
Amniotičtí obratlovci (savci a plazi včetně ptáků) vykazují značnou rozmanitost v relativní velikosti vejce/mláděte vzhledem k velikosti matky. Tato práce shrnuje mechanismy určující velikost vajec a mláďat (např. morfologická či fyziologická omezení, kompromis mezi počtem a velikostí). Zvláštní zřetel je věnován srovnání alometrických vztahů velikosti vejce/mláděte vůči velikosti matky mezi jednotlivými skupinami a jejich determinantám.
|
host ::
RSS.