|
|
Geometrie intervalových lineárních soustav
Kotecký, Cyril ; Hladík, Milan (vedoucí práce) ; Rada, Miroslav (oponent)
Intervalové lineární systémy rovnic a nerovnic jsou lineární systémy, kde reálné prvky vektorů a matic nahradíme uzavřenými intervaly reálných čísel. Množiny řešení těchto sys- témů mají zajímavé vlastnosti, a to zejména, že jsou sjednoceními exponenciálně mnoha polyedrů. Toto činí řešení mnoha problémů těžkým, zatímco na druhou stranu mají mno- žiny formu, která je intuitivně přístupná pro analýzu. Tato práce se zabývá studováním geometrie těchto množin. Začneme rekapitulací jejich známých vlastností, jako jsou ome- zenost a souvislost. V prvé řadě se ale budeme soustředit na podmínky konvexity a na charakterizaci konvexního obalu, kde je obojí známé pro speciální případ systémů s re- gulárními intervalovými maticemi. S využitím teorie polyedrů tyto výsledky zobecníme, zejména pro obecné systémy intervalových lineárních nerovnic. Ukážeme ilustrativní pří- klady, některé sloužící jako protipříklady v případech, kde zobecnění nejsou možná. 1
|
|
|
Stanovení rizik, přínosů a efektivity při implementaci informačního výrobního systému MES ve výrobě
Hladík, Milan ; Luňáček, Jiří (oponent) ; Osička, Karel (vedoucí práce)
Tato diplomová práce se zabývá rozborem možností implementace informačního výrobního systému MES ve společnosti, která se zaměřuje na výrobu zdravotnických prostředků. Práce je rozdělena do několika dílčích částí. Nejprve jsou popsána teoretická východiska práce a následně podrobně zmapována současná situace ve společnosti, zejména oblast používání papírové dokumentace tzv. DHR. V praktické části práce jsou poté vyčísleny časové a z nich finanční úspory pro společnost v případě implementace systému a zároveň je vyčíslena cena investice. Následně jsou určeny benefity a rizika, která v takto rozsáhlém projektu mohou nastat a současně navržena opatření, jak tato rizika zcela eliminovat, nebo zmenšit jejich dopad. Součástí je i návrh časové dotace, nezbytné pro implementaci včetně rozdělení do jednotlivých fází, ve kterých by se systém na výrobu nasazoval. V závěru práce je proveden výpočet návratnosti investice a návrh řešení.
|
|
| |
|
|
Výsledky podzimního rozšířeného výzkumu ichtyofauny jezer Laka a Čertovo včetně přilehlých toků.
Blabolil, Petr ; Bartoň, Daniel ; Draštík, Vladislav ; Jůza, Tomáš ; Hladík, Milan ; Holubová, Michaela ; Hůda, J. ; Kočvara, Luboš ; Muška, Milan ; Peterka, Jiří ; Vrba, Jaroslav
Zpráva popisuje výsledky unikátního průzkumu ichtyofauny ve dvou oblastech Národního parku Šumava, kde byly provedeny odlovy elektrickým agregátem na podzim 2021.
|
|
|
Search in Imperfect Information Games
Schmid, Martin ; Hladík, Milan (vedoucí práce) ; Szepesvari, Csaba (oponent) ; Bošanský, Branislav (oponent)
Od prvopočátku herních algoritmů byla kombinace hledání a ohodnocení budoucích stavů hry základním konceptem. Turingův šachový algoritmus z roku 1950 dokázal myslet dva kroky vpřed a Shannonova práce z roku 1950 obsahuje rozsáhlou část o způsobech ohodnocení stavů, které mají být použity při vyhledávání. Samuelův program pro hru dáma z roku 1959 již kombinuje vyhledávání a ohodnocení které se učí prostřednictvím selfp-play a bootstrap- pingu. TD-Gammon na tyto myšlenky navazuje a využívá neuronové sítě k osvojení těchto komplexních funkcí. Kombinace hledávání a hodnocení stavů byla přítomna v mnoha milnících, kde počítače překonaly své lidské protějšky - DeepBlue pro šachy a AlphaGo pro Go. Až donedávna byla tato kombinace omezena na hry s úplnou informací. Ale mnoho zajímavých problémů neposkytuje agentovi dokonalou informaci o prostředí. Tato práce uvádí čtenáře do metod umožňující hledání v hrách s neúplnou informací. 1
|
|
|
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.
|
host ::
RSS.