| |
|
Numerické metody pro SIMLIB/C++
Němec, Zbyšek ; Martinek, David (oponent) ; Peringer, Petr (vedoucí práce)
Ve své práci se zabývám problematikou užití numerických metod a jejich implementace v objektově orientované simulační knihovně SIMLIB/C++. Navrhnul a realizoval jsem úpravu rozhraní a podsystému numerických integračních metod knihovny SIMLIB s cílem umožnit její snadnější rozšiřitelnost o externí integrační metody. Díky tomu jsem mohl simulační knihovnu SIMLIB obohatit o sadu nových metod z knihovny GSL(GNU Scientific Library) a některé zajímavé metody v jazyce Fortran uvedené v databázi Netlib. Nové i existující metody jsem řádně otestoval a porovnal jejich vlastnosti z hlediska efektivity, stability a přesnosti.
|
|
Optimalizační metody pro SIMLIB/C++
Godula, Martin ; Martinek, David (oponent) ; Peringer, Petr (vedoucí práce)
Práca sa venuje metódam pre globálnu optimalizáciu. Teoreticky oboznamuje s pojmom optimalizácia, jej cieľom a popisuje zvolené optimalizačné metódy, navrhuje spôsob ich realizácie s ohľadom na kompatibilitu so simulačnou knižnicou SIMLIB/C++. Popisuje ich implementáciu v jazyku C++, demoštruje ich funkčnosť na rozdielne obtiažných testovacích problémoch a zhodnocuje ich úspešnosť.
|
|
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.
|
|
Generátor analyzátorů dokumentů popsaných pomocí RELAX NG
Šimonek, Jan ; Janoušek, Vladimír (oponent) ; Martinek, David (vedoucí práce)
Tato práce se zabývá vytvořením generátoru (překladače), který na základě XML schématu v jazyce RELAX NG vytvoří C++ analyzátor XML dokumentů. Analyzátor je podle zadaného schématu schopen načítat data z XML, validovat je, zpřístupnit je v paměti a zpětně data do XML zapsat. Možnosti použití tohoto systému jsou ilustrovány na příkladech. V práci je také popsán formát XML, existující jazyky pro popis schémat a nutné teoretické základy validace.
|
|
Paralelní simulátor umělého života
Luža, Radim ; Peringer, Petr (oponent) ; Martinek, David (vedoucí práce)
Práce popisuje projekt paralelního simulátoru agentního systému. Stručně uvádí teorii nutnou k pochopení problematiky, dále se zabývá návrhem takového simulátoru a paralelismem ve zpracování a na závěr rozebírá výsledky dosažené implementovanou aplikací. Přináší srovnání použitých algoritmů na výpočetních systémech různých parametrů.
|
|
Java EE Organizér - modul kalendář
Kovář, Jan ; Martinek, David (oponent) ; Kočí, Radek (vedoucí práce)
Tato práce pojednává o analýze stávajících organizérů a přístupů, které jsou s těmito aplikacemi spojeny. Další část práce popisuje model třívrstvé architektury a její části. Jsou zde také popisovány některé základní technologie, které jsou obsaženy v platformě Java EE a nebo jsou s touto platformou úzce spjaty. Další část práce je věnována popisu implementace a návrhu aplikace Java EE Organizér, což je aplikace, jejímž úkolem je správa událostí, úkolů a kontaktů.
|
|
Modely umělého života
Ďuričeková, Daniela ; Martinek, David (oponent) ; Peringer, Petr (vedoucí práce)
Tato bakalářská práce popisuje návrh a implementaci simulátoru umělého života. Práce je rozdělena do čtyř částí. Cílem první části je seznámení s oblastí umělého života a základní terminologií. Druhá část se věnuje vybraným návrhovým vzorům a návrhu simulačního systému, jehož smyslem je simulovat ekosystém umělých entit. Účelem následující části je popis implementace jednotlivých složek systému. Na závěr je provedeno testování systému na dvou ukázkových modelech.
|
|
Java EE Organizér - modul úkoly
Černý, Petr ; Martinek, David (oponent) ; Kočí, Radek (vedoucí práce)
Tato práce se zabývá problematikou aplikací pro orgranizaci času a kontaktů. Obsahuje analýzu stávajících řešení, používaných architektur a stručnou charakteristiku konkrétních aplikací. Práce se také zabývá tvorbou aplikačního klienta pro Java EE aplikace a pojednává o základních technologiích, které se v této oblasti používají (Swing, platforma Java EE a její technologie). Praktická část obsahuje návrh a implementaci modulů pro správu kontaktů a úkolů, které jsou zakomponovány do demonstrační aplikace Java EE Organizér.
|
|
Distribuovaný simulátor umělého života
Weiss, Martin ; Kočí, Radek (oponent) ; Martinek, David (vedoucí práce)
Jak studium a modelování umělé inteligence, tak vhodné využití distribuovaných výpočetních systémů patří k tématům, o kterých se dnes a v budoucnu ještě hodně mluvit bude. Zmíněných odvětví se týká i tato práce s daným úkolem navrhnout a implementovat simulátor umělého života s využitím distribuovaného výpočtu. Zmíněná aplikace byla v rámci této práce realizována a podrobena několika zátěžovým testům za účelem vypozorování různých zákonitostí distribuovanému systému vlastních. Při návrhu byly uvažovány různé způsoby decentralizace simulačních zdrojů a výpočtů. Finální program se neukázal jako nejvhodnější pro simulace a modelování jednoduchých problémů z oblasti AI, které naopak spíše brzdí a do budoucna by měl být spíše zaměřen na výpočetně složitější problémy, které spíše využijou kapacit a výhod podobného systému.
|