|
|
Aplikace celočíselného programování
Eliáš, Marek ; Pergel, Martin (vedoucí práce) ; Hladík, Milan (oponent)
V této práci prezentujeme a implementujeme několik grafových algoritmů. První část pojednává o algoritmech pro minimální vážené perfektní párování na bipartitních i všeobecných grafech založených na primárně-duální metodě a jejich modi fikacích. V druhé části práce se zaobíráme algoritmem pro maximální řez na rovinných grafech a Christo dovým aproximačním algoritmem pro TSP. U všech prezentovaných algoritmů uvádíme buď vlastní důkaz správnosti nebo odkaz na důkaz v odborné literatuře. Závěrečná kapitola je věnována metodám, které používáme k vizualizaci algoritmů. Zvolené přístupy poskytují různou míru interakce s uživatelem a umožňují vybrat vstupní graf pro vizualizační program.
|
|
|
Optimalizace provozu ve velkoobchodním skladu
Kolárik, Jan ; Pangrác, Ondřej (vedoucí práce) ; Hladík, Milan (oponent)
Cílem práce je navrhnout pro daný velkoobchodní sklad strategii, která zefektivní jeho provoz. Jedná se predevším o zkrácení prostoju zákazníka a minimalizaci najetých vzdáleností manipulacní techniky. Finální program umožnuje vygenerování struktury skladu podle zadaných parametru a na tomto skladu poté vyhodnocení výsledku sledovaných velicin z nasimulovaných provozu založených na použitých optimalizacních technikách. Dále je k dispozici rovinný a prostorový model skladu, který približuje predstavu o dení ve skladu. Program muže posloužit jako pomucka pri organizaci fungování velkoobchodního skladu a snížit náklady potrebné pro jeho provoz.
|
|
|
Ortogonální kontraktor
Krejčová, Kristýna ; Hladík, Milan (vedoucí práce) ; Pilát, Martin (oponent)
The thesis proposes an orthogonal contractors. At the beginning we define the basic concepts of interval analysis and interval linear algebra. Then, we pro- pose several contractor methods. Based on propagation techniques, we propose contraction according to bilinear and quadratic terms of the conditions that we get from the properties of orthogonal matrices. We also linearize bilinear terms and use linear programming. The known contractors by eigenvalues we employed to the construction contractor by the determinant. The proposed methods are implemented in Matlab with the use of the toolbox Intlab and the library Versoft. Finally, we test and compare the presented methods. Based on the comparison of particular techniques we build a final contractor. 1
|
|
|
Vizualizace jevů souvisejících s lineárním programováním
Gregor, Jan ; Pergel, Martin (vedoucí práce) ; Hladík, Milan (oponent)
Předložená práce se zabývá návrhem a implementací skriptovacího jazyka zaměřeného především na ilustraci jevů souvisejících s lineárním programováním. Popisuji tedy konstrukci interpretu i teorii, která je k tomu potřeba. Dále specifikuji co to je lineární programování a uvádím simplexovou metodu. Vzhledem k požadavkům manipulace a vizualizace objektů ve vektorovém prostoru dimenze větší než tři, nebylo vždy možné přímo použít standardní metody např. z počítačové grafiky. V této práci proto také popisuji úpravy algoritmů, které byly použity v těchto situacích. Jde především o projekce, transformace a vykreslování n-dimenzionálních polyedrů. Součástí práce je i několik příkladů skriptů, které ukazují možnosti jazyka a jeho interpretu.
|
|
|
Simulace automobilového provozu
Gregor, Ivan ; Pudlák, Petr (vedoucí práce) ; Hladík, Milan (oponent)
Tato bakalářská práce se zabývá popisem podstatných částí programu, který simuluje automobilový provoz. Popisuje reprezentaci silniční sítě, agentů, průběh simulace a její výstup. Dále popisuje některé výsledky dosažené při simulaci konkrétních dopravních situací. Na konci práce je také uvedeno srovnání programu s multiagentnímy systémy. Silniční síť se skládá ze silnic a křižovatek, které jsou řízené světelnou signalizací. Uživatel programu může v simulaci pozorovat chování různých agentů. Jedinou podmínkou je, aby třída reprezentující agenta implementovala jednotný interface. Agentem se rozumí auto a řidič dohromady. Je to autonomní objekt, který se pohybuje po silniční síti v rámci daných omezení simulace. Chování agentů je tedy omezeno pravidly simulace. Agenti jsou případně simulací usměrňováni, aby nedošlo ke kolizi nebo k porušení pravidel silničního provozu. Výstup simulace použijeme pro porovnání úspešnosti jednotlivých strategií agentů, co se týče doby jízdy nebo spotřeby paliva.
|
|
|
Linárněalgebraický jukebox - vizualizace operací ve vektorových prostorech
Klímek, Jakub ; Fiala, Jiří (vedoucí práce) ; Hladík, Milan (oponent)
Cílem práce bylo vytvoření sady appletů v Javě, která by sloužila jako doplněk výuky Lineární algebry. Applety umožňují počítání nad tělesy racionálních čísel, reálných čísel, komplexních čísel a nad tělesy Zp s operacemi sčítání, odčítání, násobení a dělení. Dále je možné počítat s vektory nad týmiž tělesy a s jejich operacemi sčítání a odčítání vektorů, násobení a dělení skalárem. Navíc lze počítat souřadnice vzhledem k bázi, zjišťovat lineárně nezávislou podmnožinu vektorů a v prostorech se standardním skalárním součinem také počítat ortogonální projekci na podprostor generovaný množinou vektorů. Předností appletů je jejich snadná ovladatelnost podobná klasické příruční kalkulačce.
|
|
|
Interval solver for nonlinear constraints
Garajová, Elif ; Hladík, Milan (vedoucí práce) ; Pergel, Martin (oponent)
Práce se zabývá algoritmem Sivia (Set Inverter via Interval Analysis) pro řešení spojitého problému splňování omezujících podmínek pomocí intervalo- vých metod a propagačních technik. Prezentovány jsou základní vlastnosti al- goritmu, a také oprava uváděného odhadu jeho složitosti. Dále jsou navrhnuta vylepšení týkající se testování splnění omezujících podmínek a optimalizace poč- tu intervalových boxů popisujících získané řešení problému. Představeny jsou též tzv. kontraktory používané pro zvýšení efektivity algoritmu Sivia prostřednic- tvím redukce zpracovávaných intervalových boxů. Uvedené algoritmy byly im- plementované jako knihovna funkcí jazyka Matlab tvořící solver nelineárních podmínek s možností jednoduché vizualizace získaného řešení. Součástí práce je také porovnání základních kontraktorů na konkrétních příkladech.
|
|
|
Game theory and poker
Schmid, Martin ; Hladík, Milan (vedoucí práce) ; Zimmermann, Karel (oponent)
Tato práce představí základní koncepty teorie her. Jsou představeny nezbytné modely a koncepty, následovány výpočetní složitostí odpovídajích algoritmů. Pok- er je formalizován v rámci modelů teorie her. Nejnovější algoritmy pro tento mod- el her jsou vysvětleny pomocí aplikace na poker. Práce také podává přehled o tom jak mezi sebou mohou jednotlivé programy soutěžit, konkrétně na příkladu Annu- al Computer Poker Competition a příhlášených programů. Nakonec je představen nový výsledek týkající se extensive form her s mnoha akcemi. Klíčová slova: Teorie her, poker, Nash equilibrium, hry s neúplnou informací
|
|
| |
|
|
Vizualizace algoritmů lineární algebry
Jakubík, Miroslav ; Pangrác, Ondřej (vedoucí práce) ; Hladík, Milan (oponent)
Predložená práca sa zameriava na problematiku implementácie algoritmov lineárnej algebry. Tieto algoritmy nie sú príliš zložité, problém nastáva v tom, že počítač môže počas výpočtu pracovať s extrémnymi hodnotami (veľké čísla, zlomky s veľkým menovateľom, …) aj keď zadanie takéto hodnoty neobsahuje. Preto ak chceme prezentovať medzivýsledky výpočtu, je vhodné, aby počítač postupoval ľudským postupom počítania a snažil sa takýmto extrémnym hodnotám vyhnúť.
|
host ::
RSS.