|
|
Aplikace pro generování školních rozvrhů
Fiala, Jan ; Horáček, Jan (oponent) ; Rozman, Jaroslav (vedoucí práce)
Tato práce se zabývá problémem generování školních rozvrhů. Řešení je založené na třech různých heuristických algoritmech (horolezecký algoritmus, simulované žíhání, genetický algoritmus) a je celé implementováno v jazyce Java. Přináší srovnání implementovaných heuristických algoritmů včetně popisu jejich výhod a nevýhod.
|
|
|
Porovnání programů pro plánování rozvrhů a zkoušek
Kubalcová, Monika ; Martinek, David (oponent) ; Křena, Bohuslav (vedoucí práce)
Tato práce se zabývá rozebráním problematiky rozvrhování na Fakultě informačních technologií Vysokého učení technického v Brně. Je zaměřena především na tvorbu rozvrhů hodin a plánováním zkoušek pro studenty. Nejprve je zde popsána situace na fakultě, tedy definování omezujících podmínek, kterým rozvrhy a zkoušky podléhají, spolu s aktuálně využívanými postupy při vytváření. Následně je tato problematika rozebrána na teoretické úrovni. Ve druhé části práce jsou popsány programy využitelné pro automatické generování rozvrhů hodin a zkoušek vhodné pro prostředí fakulty. Z těchto programů je vybrán jeden, který je otestován pro vygenerování reálného rozvrhu hodin. V závěru jsou zhodnoceny dosažené výsledky a návrh dalšího možného postupu.
|
|
|
Optimalizace průřezu a vyztužení střešního vazníku
Odvárka, Miroslav ; Šimůnek, Petr (oponent) ; Laníková, Ivana (vedoucí práce)
Práce je zaměřena na optimalizaci tvaru průřezu železobetonového vazníku. Byl vytvořený optimalizační algoritmus v programu Microsoft Office Excel, který optimalizuje tvar a vyztužení železobetonového vazníku, tak aby vazník byl co nejlevnější a zároveň vyhověl na mezní stav únosnosti a mezní stav použitelnosti – průhyb. Algoritmus využívá nástroj Řešitel, který je doplňkem programu Microsoft Office Excel. Byly vytvořeny dvě varianty vazníku. Jedna má tvar příčného řezu vazníku navrženým podle empirických vztahů a druhá obsahuje optimalizovaný tvar příčného řezu pomocí vytvořeného algoritmu. Vnitřní síly vazníku byly zjištěny pomocí programu Scia Engineer. Obě varianty byly staticky posouzeny. Při srovnání variant se prokázalo, že při optimalizaci tvaru příčného řezu je možné ušetřit značnou část nákladů na materiál.
|
|
|
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.
|
|
|
Rozvrhování zdrojů na letišti jako časově omezený rozvrhovací problém
Vandas, Marek ; Petříčková, Zuzana (vedoucí práce) ; Pangrác, Ondřej (oponent)
V této práci jsou identifikovány požadavky na bezpečný pozemní letištní provoz, který se skládá z přidělování ranvejí, taxi operací a přidělování bran. Je ukázáno, jak je možné tento problém modelovat jako problém splňování omezujících podmínek a vyřešit jej pomocí technik rozvrhování. Součástí práce je aplikace, která tyto techniky ilustruje a umožňuje následnou vizualizaci výsledků. Pro účely této aplikace byl vytvořen obecný řešič podmínek, který je snadno rozšiřitelný a využitelný i na jiný druh problémů. Další výhodou tohoto řešiče je, že umožňuje snadnou změnu prohledávací strategie.
|
|
|
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 průřezu a vyztužení střešního vazníku
Odvárka, Miroslav ; Šimůnek, Petr (oponent) ; Laníková, Ivana (vedoucí práce)
Práce je zaměřena na optimalizaci tvaru průřezu železobetonového vazníku. Byl vytvořený optimalizační algoritmus v programu Microsoft Office Excel, který optimalizuje tvar a vyztužení železobetonového vazníku, tak aby vazník byl co nejlevnější a zároveň vyhověl na mezní stav únosnosti a mezní stav použitelnosti – průhyb. Algoritmus využívá nástroj Řešitel, který je doplňkem programu Microsoft Office Excel. Byly vytvořeny dvě varianty vazníku. Jedna má tvar příčného řezu vazníku navrženým podle empirických vztahů a druhá obsahuje optimalizovaný tvar příčného řezu pomocí vytvořeného algoritmu. Vnitřní síly vazníku byly zjištěny pomocí programu Scia Engineer. Obě varianty byly staticky posouzeny. Při srovnání variant se prokázalo, že při optimalizaci tvaru příčného řezu je možné ušetřit značnou část nákladů na materiál.
|
|
|
Planning operations of space probes
Kolombo, Martin ; Barták, Roman (vedoucí práce) ; Toropila, Daniel (oponent)
Práce popisuje řešení komplikovaného rozvrhovacího problému z problematiky vesmírných misí. V práci je popsán problem rozvrhování operací na družici Mars Express Orbiter, který byl původně prezentován jako zadání soutěže vypsané Evropskou vesmírnou agenturou. Práce popisuje a srovnává dva různé přístupy řešení popsaného problému. Prvním řešením je speciálně pro daný problém vyvinutý rozvrhovač, který pracuje na principu přiřazování akcí do časových oken a využívá techniky lokálního prohledávání. Druhé řešení modeluje problém pomocí programování s omezujícími podmínkami (CP) a pro výpočet řešení používá SICStus Prolog. Oba přístupy jsou v závěru práce experimentálně ověřeny. U obou přístupů se podařilo vytvořit funkční řešení. Závěrem práce je, že obecnější přístup pomocí CP je i bez složité heuristiky schopný vytvořit velmi kvalitní rozvrhy, ale selhává pro malou podmnožinu vstupů. Specificky vyvinutý rozvrhovač je schopný díky lokálnímu prohledávání řešit větší velikost vstupu, ale produkované rozvrhy jsou méně kvalitní.
|
|
|
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.
|
host ::
RSS.