|
|
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úť.
|
|
|
Intervalové lineární soustavy rovnic s lineárními závislostmi
Král, Ondřej ; Hladík, Milan (vedoucí práce) ; Rada, Miroslav (oponent)
Tento text pojednává o hledání obálek řešení soustav intervalových li- neárních rovnic s lineárně závislými parametry. Seznámíme se s pojmy intervalové aritmetiky a analýzy na ní postavené. Rozšíříme je na matice a lineární soustavy, kde představíme a tematicky rozdělíme nejnovější postupy, pomocí nichž se dá na- jít obálka jejich řešení. Většinu z nich naimplementujeme ve vývojovém prostředí MATLAB za pomoci intervalové knihovny INTLAB. Porovnáme jejich rychlost a přesnost na Toeplitzových, symetrických a náhodných maticích. Parametrům navrhneme vlastní úspornou datovou reprezentaci. Výsledky zanalyzujeme a vy- tvoříme jedinou funkci, která je zastřešuje a kterou bude moci uživatel používat, ať už se rozhodne pro rychlé, přesné, nebo paměťově úsporné výpočty. Powered by TCPDF (www.tcpdf.org)
|
|
|
Simulátor motokrosu
Šindelář, Ondřej ; Bílý, Tomáš (vedoucí práce) ; Hladík, Milan (oponent)
Cílem práce je implementace gra fické hry simulující jízdu motokrosového jezdce. Uživatel ovládá fi gurku na motorce tak, aby se dostal ze startu do cíle za co nejkratší čas. Sbírá přitom kontrolní předměty rozmístěné po trati a nesmí narazit hlavou do terénu. Tratě, složené z polygonů, je možné vytvářet a editovat pomocí editoru tratí, který je součástí programu. Kromě hry jednoho hráče je k dispozici hra více hráčů na jednom počítači i po síti ve čtyřech růzých režimech. Mimoto lze jednotlivé jízdy ukládat a následně si je přehrávat. Zobrazování scény z bočního pohledu využívá knihovnu OpenGL. Program je implementován pro platformu Win32.
|
|
|
Konvexní funkce a jejich zobecnění
Krtek, Jiří ; Hladík, Milan (vedoucí práce) ; Červinka, Michal (oponent)
V předložené práci studujeme vlastnosti a vztahy mezi konvexními funkcemi a jejich zobecněními. Začínáme definicí konvexních funkcí a přes základní vlastnosti, jako je spojitost, se dostáváme k diferencovatelnosti a hledání jejich extrému. Pokračujeme pojednáním o kvazikonvexních, explicitně kvazikonvexních a pseudokonvexních funkcích. Přes jejich definice a základní vlastnosti se dostáváme ke vztahům mezi nimi a konvexními funkcemi. Nalezneme zde i věty o skládání těchto zobecnění, které nám umožnují snadněji poznat, jestli je daná složená funkce (explicitně) kvazikonvexní, či pseudokonvexní. Práce obsahuje i část věnovanou minimalizaci těchto zobecnění. Na závěr práce jsou zmíněna některá další zobecnění konvexity, která už nejsou tak podrobně rozebrána.
|
|
|
Speciální třídy P-matic v intervalovém prostředí
Lorenc, Matyáš ; Hladík, Milan (vedoucí práce) ; Zeman, Peter (oponent)
Tato práce se soustředí na zobecnění některých jednoduše rozpoznatelných podtříd P- matic do intervalového prostředí spolu s některými výsledky ohledně těchto tříd. Těmito třídami jsou B-matice, doubly B-matice a BR π -matice. V této práci pro ně pak odvozujeme charakterizace, některé nutné, či postačující podmínky a navíc uvedeme i některé jejich vlastnosti, ať už uzávěrové, nebo některé podmínky na jednotlivé prvky matice, které jsou pro danou třídu splněny. Nakonec předvedeme postup, jak generovat instance některých z těchto tříd intervalových matic. 1
|
|
|
Předpodmínění a regularita symetrických intervalových matic
Vigilev, Pavel ; Hladík, Milan (vedoucí práce) ; Horáček, Jaroslav (oponent)
V práci jsme se podívali na způsoby předpodmínění symetrických intervalových ma- tic, použili jsme táto předpodmíněni pro popis a implementaci algoritmů testování regu- larity symetrických intervalových matic. Dále jsme porovnali efektivitu popsaných algo- ritmů. Podívali jsme se na metody odhadu vlastních čísel této třídy matic. Zkonstruovali jsme také metodu odhadu vlastních čísel, která používá testování regularity pro filtrování vstupního intervalu. Pak jsme numericky porovnali efektivitu těchto metod na různých typech matic. Implementovali jsme všechny algoritmy v MATLABu s využitím knihovny IntLab. Zjistili jsme, že testování postačující podmínky se standardním předpodmíněním je nejefektivnější metoda testování regularity ze všech implementovaných námi metod. Zkonstruována námi metoda odhadu vlastních čísel dává přesné výsledky díky své itera- tivitě, ale je mnohém pomalejší než jiné metody se stejnou přesností. 1
|
|
|
Výroba šroubu radlice pluhu
Hladík, Milan ; Jopek, Miroslav (oponent) ; Forejt, Milan (vedoucí práce)
Bakalářská práce předkládá návrh technologie výroby pluhového šroubu sloužící k upevnění radlice k rámu pluhu. Šroub je vyráběn z konstrukční oceli 14 140, ve výrobní sérii 120 000ks/rok. Z možných technologií byla vybrána technologie objemové tváření za studena. Z literárních zdrojů problematiky objemového tváření za studena byl navržen optimální postup výroby šroubu. Pomocí konstrukčních, technologických a kontrolních výpočtů byl navržen stroj a následně výrobní nástroj, pro který byla vypracována výkresová dokumentace. Za pomoci technicko – ekonomického zhodnocení byly porovnány náklady na výrobu součásti využitím objemového tváření a třískového obábění.
|
host ::
RSS.