|
|
Možnosti stanovení ceny IT zboží
Kacina, Michal ; Janoušek, Vladimír (oponent) ; Květoňová, Šárka (vedoucí práce)
Práce obsahuje teoretická východiska pro studium možností stanovení cen informačních produktů. Zdrojové oblasti jsou mikroekonomie, marketing, konkurenční výhoda a ekonomie informačních produktů. Na teoretickém základě jsou definovány omezení, na nichž je vytvořen model trhu. Práce analyzuje požadavky na systém pro podporu volby vhodné cenové strategie. Obsahuje detailní návrh prototypu systému, který je řešen robustně pro účely dalšího zdokonalování. Návrh popisuje vstupní parametry prototypu a jejich transformaci na užitečné výstupy, které pokrývají základní charakteristiky informačních produktů. Navržený prototyp je implementován. Práce zahrnuje demonstraci užití prototypu a možné směry zlepšení, které vedou k validitě modelu.
|
|
|
Systém pro analýzu dat z infikovaných počítačů
Pečeňa, Jan ; Janoušek, Vladimír (oponent) ; Peringer, Petr (vedoucí práce)
Cílem této diplomové práce bylo vytvořit webovou aplikaci pro firmu AVG Technologies. Aplikace má za úkol zobrazit informace ze souboru obsahujícího záznamy o podezřelých hodnotách registrů a tím zefektivnit práci technické podpory. S vytvořením návrhu aplikace bylo spojené získání přehledu o počítačových hrozbách a útocích. Práce vysvětluje pojem malware a popisuje jeho základní druhy jako jsou viry, červi nebo trojské koně. Dále je popsána historie a vlastnosti jazyka ASP.NET a PHP, webová služba Virus Total a Internetová informační služba. Výsledná aplikace je nasazená v reálném provozu a připravená k dalším rozšířením o nové zdroje informací.
|
|
|
Grafický editor simulačních modelů
Bulka, Pavol ; Janoušek, Vladimír (oponent) ; Peringer, Petr (vedoucí práce)
Tato práce se zaobírá tvorbou multiplatformního grafického editoru simulačních modelů využívajícího pro modelovaní DEVS formalismus a jazyk XML pro ukládání modelů. Návrh editoru je založený na průzkumu obdobných grafických simulačních nástrojů. Kromě popisu tvorby editoru práce obsahuje i krátký popis DEVS formalismu, jeho obdob a rozšíření. Vytvořený editor neobsahuje vlastní implementaci simulátoru, ale používá externí knihovnu Adevs. Z tohoto důvodu byli do editoru implementované možnosti rozšíření pomocí pluginů, aby při potenciální tvorbě vlastního simulátoru nemuselo být zasahováno do samotného editoru. Další možností rozšíření funkčnosti editoru je použití uživatelských skriptů. Práce ve svém závěru následně popisuje sérii testů, kterým byl grafický editor simulačních modelů podrobený na několika platformách.
|
|
|
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í.
|
host ::
RSS.