|
|
Algoritmy pro umělou inteligenci
Petrželka, Jan ; Hrubý, Martin (oponent) ; Janoušek, Vladimír (vedoucí práce)
Tato diplomová práce se zabývá algoritmy používanými v oblasti umělé inteligence, konkrétně se jedná o algoritmy popsané v knize Artificial Inteligence: A Modern Approach autorů Russela a Norviga a jejich implementaci v jazyce Squeak Smalltalk. Je kladen důraz na objektově orientovaný přístup, který vyplývá z podstaty jazyka Smalltalk. Zdrojem jsou kromě popisů algoritmů v pseudokódu přímo v knize také existující implementace v jazycích Lisp, Python a Java. Tato práce se věnuje algoritmům pro práci s inteligentními agenty a prostředími pro simulaci těchto agentů, prohledávání stavového prostoru, hraní her, plánování, logice, pravděpodobnosti a učení.
|
|
|
Simulátor stavových diagramů
Žídek, Marek ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Práce popisuje životní modely softwaru a zdůrazňuje jejich význam při tvorbě softwaru. Věnuje se především metodám návrhu řízeného modelem, které jsou souhrnně označovány model based design. Dále rozebírá nejrozšířenější jazyk pro modelování softwaru - UML. Stručně popisuje téměř všechny diagramy UML 2.0 tj. diagram případů užití, tříd, spolupráce, aktivit, stavů, nasazení, komponent a sekvenční. Podrobněji se zaměřuje na Executable UML. Uvedené znalosti jsou prakticky využity při návrhu a implementaci simulátoru stavových diagramů. Na Fakultě informačních systémů VUT v Brně v současné době probíhá výzkumný projekt PNTalk zaměřený na model based design, jehož součástí je i simulátor stavových diagramů. Práce provádí celou problematikou návrhu od počáteční specifikace, přes diagramy případů užití a diagramy tříd až po diagramy spolupráce. Poté popisuje implementační detaily a specifika implementace systému v jazyce Smalltalk. Na závěr je diskutována možnost dalšího rozvoje aplikace a jsou zhodnoceny dosažené výsledky.
|
|
|
Platformně nezávislá reprezentace simulačních modelů na bázi XML
Durman, David ; Smrčka, Aleš (oponent) ; Janoušek, Vladimír (vedoucí práce)
S rozmanitostí platforem pro popis modelů systémů s diskrétními událostmi vyvstává problém, jak tyto modely reprezentovat tak, aby bylo možné je napříč platformami sdílet, ať už pro účely validace těchto modelů, jejich efektivnějšího spouštění, nebo pro účely znovupoužití či začlenění modelů do větších celků. Tato práce rozšiřuje a implementuje jazyk DEVSML pro reprezentaci DEVS modelů, u nichž pro popis chování atomických komponent využívá stavových diagramů, které reprezentuje pomocí SCXML. Akce a stráže stavových diagramů popisuje jazykem Scheme. Dále byl vytvořen vizuální nástroj pro tvorbu stavových diagramů, který je začleněn do systému SmallDEVS a také transformátor modelů popsaných pomocí DEVSML do prostředí Adevs.
|
|
|
Plánování a rozvrhování
Hefka, Lukáš ; Kočí, Radek (oponent) ; Janoušek, Vladimír (vedoucí práce)
Diplomová práce se zabývá problematikou optimalizace plánování a rozvrhování. K tomu se využívá genetických algoritmů inspirovaných evolučním vývojem. Součástí práce je seznámení s problémem plánování a rozvrhování, genetickými algoritmy a Petriho sítěmi. Těchto znalostí bylo využito k vytvoření aplikace, která by s využitím genetických algoritmů dovedla řešit plánovací problémy a výsledné plány pak reprezentovala Časovou Petriho sítí. V závěru práce jsou prezentovány dosažené výsledky a příklady oblasti využití.
|
|
|
Modelování agentů pro robotický fotbal
Suchý, Václav ; Rozman, Jaroslav (oponent) ; Janoušek, Vladimír (vedoucí práce)
Tato práce popisuje návrh modelu agenta robotického fotbalu s využitím DEVS formalizmu. Za tímto účelem je představena vlastní modifikace klasického DEVS simulátoru v podobě paralelního realtime simulátoru. Ten umožňuje v reálném čase simulovat chování DEVS komponent založených na paralelním zpracování informací. Funkčnost modelu a simulátoru je předvedena na implementaci klienta robotického fotbalu pro simulační server iniciativy RoboCup. Klient se stal také základem pro připravovanou knihovnu k usnadnění tvorby vlastních agentů robotického fotbalu RoboCup.
|
|
|
Simulace a návrh inteligentních agentů
Šperka, Svatopluk ; Rozman, Jaroslav (oponent) ; Janoušek, Vladimír (vedoucí práce)
Konvenční způsob vývoje opakující fáze návrhu, implementace a testování není adekvátní pro systémy třídy inteligentních agentů, u nichž je vyžadováno komplexní chování, ale jejich specifikace je na počátku nejasná. Jako vhodnější se jeví inkrementální tvorba modelu agenta v simulaci, která dává návrháři přímou zpětnou vazbu v podobě změn chování systému. Tato interaktivita nejenže urychluje vývoj, ale také, díky novým znalostem o chování získaných během simulace, zpřístupňuje návrháři nové části prostoru možných modelů. Tato práce se zabývá srovnáním vhodnosti dvou přístupů k návrhu inteligentních agentů, a s nimi souvisejících platforem v kontextu modelovacího a simulačního frameworku SmallDEVS, pro tento způsob vývoje. Prvním přístupem je reaktivní subsumpční architektura založená na formalismu DEVS a druhým framework PNagent realizující deliberativní BDI architekturu pomocí Objektově Orientovaných Petriho Sítí.
|
|
|
Řízení procesů s dynamickou optimalizací rozvrhu zdrojů
Šinkora, Jan ; Kočí, Radek (oponent) ; Janoušek, Vladimír (vedoucí práce)
Práce se zabývá mezioborovou problematikou na pomezí informačních technologií a~optimalizace procesů. Jsou zde využity a rozšířeny dříve navržené postupy pro modelování projektů a~zdrojů pomocí objektově orientovaných Petriho sítí. Dále se rozebírají možnosti použití genetických algoritmů pro optimalizaci rozvrhů zdrojů, které určují jejich přiřazení k~jednotlivým aktivitám v~dynamických systémech. Je popsána třída rozvrhovacích problémů s omezenými zdroji a způsob, jakým lze tyto projekty implementovat. Také je ukázáno, jak lze vytvořit složitější model výroby inspirovaný reálnými výrobními procesy. Dále je navržen řídící agent, který sleduje běžící výrobní systém a~umožňuje jeho dynamickou optimalizaci. Celý systém je implementován v prostředí Squeak Smalltalk za využití nástroje PNtalk, který je experimentální implementací objektově orientovaných sítí.
|
|
|
Inteligentní klient pro hudební přehrávací server MPD
Wagner, Tomáš ; Kočí, Radek (oponent) ; Janoušek, Vladimír (vedoucí práce)
Cílem diplomové práce je návrh a implementace inteligentní klientské aplikace pro hudební přehrávací server Music Player Daemon (MPD), která vyhledává a prezentuje související metadata k přehrávanému obsahu. Samotnému návrhu předchází teoretický rozbor, který zahrnuje analýzu agentních systémů, metod klasifikace dat, webových komunikačních protokolů a jazyků pro popis dokumentu. Současně je proveden rozbor MPD serveru a komunikačního protokolu využívaného klientskou aplikací. Dále jsou v práci popsány současné klientské aplikace, které prezentují uživateli metadata. V posledních kapitolách práce je popsán návrh a implementace klientské a serverové aplikace. Je rozebrán způsob řešení implementace a řešení vzniklých problémů. V práci jsou také popsány výsledky testování.
|
|
|
Collaborative Text Editing in a Portal
Korčák, Ján ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
In this paper we will concern on popular concept of collaborative editing. We will introduce the idea of leveraging this mechanism in a diverse areas of decision making, we will denote the concept and principle of work. Then we will introduce and discuss portals and portlet technology, its advantages and use. The objective of the work is an implementation of collaborative editor leveraging the library for management of changes on documents with the persistence and application logic based on JEE platform and creation of simple portlet for this service.
|
|
|
Aplikace Petriho sítí v oblasti projektování informačních systémů
Němec, Michal ; Janoušek, Vladimír (oponent) ; Květoňová, Šárka (vedoucí práce)
Diplomová práce se zabývá problematikou aplikace Petriho sítí v oblasti projektování informačních systémů. V rámci projektování jsou popsány základní pojmy, řízení projektu a portfolia, standardy a metodiky projektování. Dále je probráno modelování projektů a procesů. Je představen koncept modelování projektového portfólia, procesů a zdrojů pomocí objektově orientovaných Petriho sítí. Následně je naimplementován a otestován systém rozvrhování zdrojů v portfoliu. Závěrem jsou diskutována jeho rozšíření.
|
host ::
RSS.