|
Energy optimization in a family house
David, Jakub ; Fink, Jiří (vedoucí práce) ; Švancara, Jiří (oponent)
Cílem této práce je porovnat různé optimalizační algoritmy pro optimalizaci spotřeby energie v domácnostech. Uvažujeme model domácnosti s kogenerací tepla a elektřiny, fixní spotřebou elektřiny a horké vody a se zařízenímy s ovladatelným začátkem provozu. K řešení tohoto problému používáme řešič smíšeně celočíselných lineárních úloh a imple- mentovali jsme lokální prohledávání, evoluční algoritmus a optimalizaci hejnem částic. Tyto algoritmy provnáváme na datech naměřených v různých domácnostech.
|
|
Approximate Techniques for Dynamic Vehicle Routing Problems
Zeman, David ; Barták, Roman (vedoucí práce) ; Fink, Jiří (oponent)
Tato práce studuje dynamický problém rozvozu s omezenou kapacitou a měnící se dos- tupností vozidel. Motivací pro studium tohoto problému je rostoucí poptávka po rychlých a spolehlivých doručovacích službách v posledních letech. V první části práce analyzujeme problém a vytvoříme jeho formální model. Poté navrhneme a implementujeme strategie pro vypořádání se s dynamickou podstatou problému. Dále implementujeme exaktní a heuristické algoritmy, jako je heuristika vkládáním, celočíselné programování, evoluční algoritmy a optimalizace kolonií mravenců. Nakonec porovnáme algoritmy s různými strategiemi a parametry na Kilbyho datové sadě. 1
|
|
Processing of time tables
Mrkus, František ; Fink, Jiří (vedoucí práce) ; Pilát, Martin (oponent)
Cílem této práce je vytvořit open-source aplikaci, která by mohla slou- žit jako základ pro analýzu a organizaci veřejné autobusové dopravy, přičemž přímo pracuje s jízdními řády ve formátu JDF, pro zajištění pohodlného pra- covního postupu. Aplikace je zaměřena na plánování autobusových spojů pro organizátory a dopravce veřejné dopravy, včetně souvisejících funkcí, jako je zobrazení jízdních řádů a seznamů odjezdů/příjezdů, vizualizace plánovaných tras na mapě a vytváření vlastních jízdních řádů. Všechny tyto funkce byly úspěšně implementovány a otestovány na reálných datech.
|
|
Multiobjective shortest path problem with interval costs
Březina, Jiří ; Hladík, Milan (vedoucí práce) ; Fink, Jiří (oponent)
Nejkratší cesta v grafu s více intervalovými kritérii je zobecněním kla- sického problému nejkratší cesty. V zobecněném problému se místo jednokri- teriálních vah vyskytují vícekriteriální váhy, které jsou navíc zadány pouze intervalově. Cílem je najít cestu v grafu od počátečního vrcholu do koncového vrcholu s nejmenším regretem. Uvedeme tvrzení týkající se výpočtu regretu a eficience přípustného řešení pro tento problém. Hlavním výsledkem práce je algoritmus hledající řešení s minimálním regretem v problému nejkratší cesty s více intervalovými kritérii. 1
|
|
Artificial Intelligence for the Unstable Unicorns Game
Kodad, Michal ; Pilát, Martin (vedoucí práce) ; Fink, Jiří (oponent)
Tato práce zkoumá umělou inteligenci pro hru Unstable Unicorns. Tato hra začala na Kickstarteru a v průběhu let tvůrci hry vydali několik rozší- ření. Tato práce si klade za cíl naimplementovat herní simulátor pro tuto hru, analyzovat hru a navrhnout umělé inteligence. Nejprve budeme analyzovat pravidla hry, herní mechaniky a zkoumání umělých inteligencí v podobných hrách. Naimplementovali jsme herní simulátor co nejblíže původním pra- vidlům. Poté jsme vyvinuli tři různé umělé inteligence. Jedná se o agenty založené na pravidlech, agenty Monte Carlo a evoluční agenty. Nakonec jsme provedli experimenty a srovnávací testy s implementovanými agenty. Nejlépe fungující agent je evoluční agent. Je rychlý s největší výherností.
|
|
Optimalizace rozmístění stanic pro nabíjení elektrických vozidel
Beinhauer, David ; Pilát, Martin (vedoucí práce) ; Fink, Jiří (oponent)
S rostoucím počtem elektrických vozidel roste i potřeba vytvořit vhod- nou infrastrukturu pro jejich nabíjení. K řešení tohoto problému může vý- razně napomoci použití vhodných optimalizačních metod. V práci jsme im- plementovali zjednodušený simulátor dopravy sloužící jako vhodný nástroj pro jejich analýzu. Analyzovali jsme také optimalizační metody tzv. hlado- vým algoritmem, genetickým algoritmem a algoritmem k-means. Na základě experimentů vykazovala prokazatelně lepší výsledky optimalizace za využití genetického algoritmu a hladová optimalizace. K-means optimalizace nevy- kazovala známky lepších výsledků oproti náhodnému přístupu.
|
|
Vizualizace dostupnosti veřejnou dopravou
Fürst, Jan ; Pilát, Martin (vedoucí práce) ; Fink, Jiří (oponent)
Mnoho lidí jezdí denně veřejnou dopravou a mnohým z nich by pomohlo, kdyby byd- leli na místě ze kterého se dopraví rychleji na jimi často navštěvovaná místa. Problém však je, jak takové místo k bydlení najít. To řešíme v naší webové aplikaci, ve které zo- becňujeme klasické vyhledávání cest v jízdních řádech a umožňujeme tak vyhodnocovat dostupnost z uživatelem zadaných míst na všechna ostatní místa. Pro snadné vyhledá- vání vizualizujeme, na všech dostupných místech, vypočtenou dostupnost v interaktivní mapě. Naše webová aplikace pracuje s interní knihovnou, která zpřístupňuje funkcionalitu potřebnou pro vyhodnocení dostupnosti. Tuto knihovnu lze využít samostatně a řešit tak jiné problémy, které vyžadují vyhodnocení dostupnosti veřejnou dopravou. 1
|
|
Probabilistic Methods in Discrete Applied Mathematics
Fink, Jiří ; Loebl, Martin (vedoucí práce) ; Koubek, Václav (oponent) ; Sereni, Jean-Sébastein (oponent)
Jedním ze základních problémů moderní statistické fyziky je snaha porozumět \mbox{frustraci} a chaosu. Základním modelem je konečně dimenzionální Edwards-Anderson Ising model. V této práci zavádíme zobecnění tohoto modelu. Studujeme množinové systémy uzavřené na symetrické rozdíly. Ukážeme, že významnou otázku, zda groundstate v Ising modelu je jednoznačný, lze studovat v těchto množinových systémech. Krewerasova hypotéza říká, že každé perfektní párování v hyperkrychli $Q_n$ lze rozšířit na Hamiltonovskou kružnici. Tuto hypotézu jsme dokázali. Matching graf $\mg{G}$ grafu $G$ má za vrcholy perfektní párování v $G$ a hranami jsou spojeny ty dvojice perfektních párování, jejichž sjednocení tvoří Hamiltonovskou kružnici v $G$. Dokážeme, že matching graf $\mg{Q_n}$ je bipartitní a souvislý pro $n \ge 4$. Toto dokazuje Krewerasovu hypotézu, že graf $M_n$ je souvislý, kde $M_n$ vznikne z grafu $\mg{Q_n}$ kontrakcí vrcholů $\mg{Q_n}$, které odpovídají izomorfním perfektním párováním. Cesta v $Q_n$ vyhýbající se zadaným $f$ chybným vrcholům se nazývá dlouhá, jestliže její délka je alespoň $2^n - 2f - 2$. Analogicky kružnice je dlouhá, pokud její délka je alespoň $2^n - 2f$. Pokud jsou všechny chybné vrcholy ze stejné bipartitní třídy $Q_n$, pak jsou tyto délky nejlepší možné. Dokážeme, že pro každou množinu...
|
|
Anomaly Detection Using Generative Adversarial Networks
Měkota, Ondřej ; Fink, Jiří (vedoucí práce) ; Pilát, Martin (oponent)
Generativní adversariální sítě (GAN) jsou schopny naučit se distribuci svých vstupů. Používají se pro naučení se distribuce normálních dat a pak je lze využít pro detekci i velmi vzácných anomálií, např. Schlegl a spol. (2017) navrhl metodu pro detekci anomálií - AnoGAN. Problémem metody GAN je ovšem nestabilita během tréninku. Proto Arjovsky a spol. (2017) navrhl novou verzi nazvanou Wasserstein GAN (WGAN). Cílem této práce je navrhnout model používající WGAN pro detekci podvodných transakcí kreditními kartami. Vyvinuli jsme novou metodu, nazvanou AnoWGAN+e, částečně založenou na AnoGANu a porovnáváme ji s One Class Support Vector Machi- nes (OC-SVM) (Schölkopf a spol. (2001)), k-Means ensemble (Porwal a spol. (2018)) a dalšími metodami. Kvalita studovaných metod je měřena pomocí plochy pod křivkou přesnosti a výtežnosti (AUPRC) a pomocí přesnosti v různých úrovních výtěžnosti na kolekci dat obsahující transakce kreditních karet (Pozzolo (2015)). AnoWGAN+e dosáhl nejvyšší hodnoty AUPRC, o 12% více než druhá nejlepší metoda OC-SVM. Náš model má přesnost 20% při 80 % výtěžnosti ve srovnání s 8% u OC-SVM; a 89% přesnost při 10 % výtěžnosti, oproti 79% u k-Means ensemblu. 1
|
| |