|
| |
|
|
Output breakpoints for Java
Jelínek, Jakub ; Kofroň, Jan (vedoucí práce) ; Hnětynka, Petr (oponent)
Cílem této práce bylo navrhnout podporu výstupních breakpointů pro jazyk Java a implementovat navržené řešení včetně integrace do prostředí Eclipse IDE. Výstupní breakpoint představuje místo na výstupním médiu (např. soubor, standardní výstup nebo socket), kde se má vykonávání programu zastavit. Místo na výstupním médiu je zobecněno jako zastavovací podmínka - může představovat např. absolutní pozici, konkrétní řádek a znak nebo výskyt textového řetezce. Navržené rešení je založeno na pozorování tříd odpovědných za výstup pomocí vstupních breakpointů na metodách, které jsou standardní součástí jazyka Java. Řešení je závislé na konkrétní verzi a implementaci JRE, neboť pozoruje také metody, které nejsou součástí veřejného Java API.
|
|
|
Modulární autorské prostředí pro tvorbu digitálních výukových objektů
Kasálek, Jindřich ; Štípek, Jiří (vedoucí práce) ; Jeřábek, Tomáš (oponent)
Bakalářská práce zpracovává problematiku využívání digitálních výukových objektů (dále jen DVO) a přidružených aplikací v kontextu s využitím v praxi samotnými učiteli. Těžiště práce spočívá ve vytvoření vhodných DVO, které budou vyhovovat, jak pedagogickým nárokům, tak požadavkům učitelů z hlediska náročnosti na jejich ICT kompetence. První část práce se zabývá teoretickými předpoklady, potřebnými ke stanovení správných cílů a postupů k jejich dosažení. Ve druhé části se práce věnuje hledání problematických aspektů, návrhu protiopatření a jejich realizaci.
|
|
|
Presenting results of software model checker via debugging interface
Kohan, Tomáš ; Šerý, Ondřej (vedoucí práce) ; Jančík, Pavel (oponent)
Název práce: Prezentace výsledků kontroly softwarového modelu skrz ladící rozhraní Autor: Tomáš Kohan Katedra: Katedra softwarového inženýrství Vedoucí diplomové práce: RNDr. Ondřej Šerý, Ph.D., Katedra distribuovaných a spolehlivých systémů Abstrakt: Cílem této práce je navrhnout a implementovat nové ladící rozhraní programu Java PathFinder. Vhodným prostředím pro toto rozhraní byl zv- olen vývojový nástroj Eclipse. Vytvořené rozhraní graficky vizualizuje výstupy programu JPF a jednotlivé detaily stavu pozastaveného virtuálního stroje (JVM), zvláště pak seznam proměnných a jejich hodnot. Za tímto účelem jsou vytvořeny dva podprojekty, a to debug4jpg a JPFDeb.core. Projekt debug4jpf kontroluje a komunikuje s instancí JPF. JPFDeb.core pak ve formě zásuvného modulu pro Eclipse poskytuje takové uživatelské rozhraní, které je podobné standardnímu rozhraní ladícího programu pro Javu. Oba projekty mezi sebou komunikují přes ad hoc komunikační protokol, který byl navržen pro tento účel. Klíčová slova: Java, verifikace, kontrola modelu, JPF, ladící rozhraní
|
|
|
Presenting results of software model checker via debugging interface
Kohan, Tomáš ; Šerý, Ondřej (vedoucí práce) ; Jančík, Pavel (oponent)
Název práce: Prezentace výsledků kontroly softwarového modelu skrz ladící rozhraní Autor: Tomáš Kohan Katedra: Katedra softwarového inženýrství Vedoucí diplomové práce: RNDr. Ondřej Šerý, Ph.D., Katedra distribuovaných a spolehlivých systémů Abstrakt: Cílem této práce je navrhnout a implementovat nové ladící rozhraní programu Java PathFinder. Vhodným prostředím pro toto rozhraní byl zv- olen vývojový nástroj Eclipse. Vytvořené rozhraní graficky vizualizuje výstupy programu JPF a jednotlivé detaily stavu pozastaveného virtuálního stroje (JVM), zvláště pak seznam proměnných a jejich hodnot. Za tímto účelem jsou vytvořeny dva podprojekty, a to debug4jpg a JPFDeb.core. Projekt de- bug4jpf kontroluje a komunikuje s instancí JPF. JPFDeb.core pak ve formě zásuvného modulu pro Eclipse poskytuje takové uživatelské rozhraní, které je podobné standardnímu rozhraní ladícího programu pro Javu. Oba projekty mezi sebou komunikují přes ad-hoc komunikační protokol, který byl navržen pro tento účel. Klíčová slova: Java, verifikace, kontrola modelu, JPF, ladící rozhraní
|
|
|
Centralized multirobot system
Staněk, Ondřej ; Obdržálek, David (vedoucí práce) ; Mráz, František (oponent)
Název práce: Centralized multirobot system Autor: Ondřej Staněk Katedra: Katedra softwarového inženýrství Vedoucí bakalářské práce: RNDr. David Obdržálek e-mail vedoucího: David.Obdrzalek@mff.cuni.cz Práce se zabývá návrhem a implementací centrálně řízeného multirobotického systému. Hostitelský počítač (či mobil) ovládá miniaturní mobilní roboty PocketBot2. Tito roboti mají celou řadu senzorů. Dokáží sledovat černou čáru a jsou vybaveni systémem pro detekci překážek a ostatních robotů. Ačkoliv roboti vznikli v rámci této práce, těžiště práce samotné je v řídícím software. V robotech PocketBot2 je implementován vestavěný řídící systém, který obsluhuje senzory robota a umožňuje vykonávání základních pohybových manévrů. K bezdrátovému přenosu dat mezi roboty a počítačem (mobilem) je využita technologie Bluetooth. Na straně počítače (mobilu) byla implementována multiplatformní řídící knihovna, která zprostředkovává přístup k senzorům jednotlivých robotů a umožňuje řízení jejich pohybu. Zajišťuje tak pohodlné rozhraní pro imlementaci centralizovaných multirobotických algoritmů. Klíčová slova: robot, knihovna, PocketBot, Bluetooth, Java
|
|
|
Platformě nezávislý middleware pro distribuované zpracování paralelizovatelných úloh
Bořkovec, Kryštof ; Hnětynka, Petr (vedoucí práce) ; Bureš, Tomáš (oponent)
Práce prezentuje middleware realizující paralelní zpracování úloh zapsaných v jazyce Java na více počítačích najednou. Software po spuštění na více strojích vytvoří takzvaný cloud, který umožňuje rozdělit danou úlohu na více částí a ty vykonat nezávisle na různých uzlech. Prezentovaný systém automaticky distribuuje zadání podúloh mezi počítači a zajišťuje následné shromáždění jejich výsledků. Text nejprve podává stručný úvod do problematiky distribuovaných výpočtů a diskusi možných přístupů. Hlavní část práce potom popisuje softwarovou architekturu a topologii systému, ukazuje jeho funkčnost na dvou vzorových příkladech a krátce ho srovnává se dvěma jinými projekty.
|
|
|
Chrámová architektura jako kulturní ohnisko jihovýchodní Asie
Steinbachová, Eva ; Soukup, Václav (vedoucí práce) ; Uherek, Zdeněk (oponent) ; Soukup, Martin (oponent)
Disertační práce "Chrámová architektura jako kulturní ohnisko jihovýchodní Asie" představuje chrámovou architekturu Thajska, Kambodže a indonéských ostrovů Jáva a Bali jako kulturní fenomén, jehož prostřednictvím je možné postihnout kontinuitu hinduistické a buddhistické kultury jihovýchodní Asie. Hlavním těžištěm práce je kulturologická analýza chrámové architektury jako sémiotického systému - vzájemně spjatých symbolů a významů vyjadřující ideové základy hinduistické a buddhistické kultury. Práce navazuje na díla orientalistů a antropologů a doplňuje českou literaturu, která není příliš zastoupena výběrem bibliografie věnující se chrámové architektuře jihovýchodní Asie. Tato práce si nečiní nárok na úplné a vyčerpávající zpracování dané problematiky. Je vedena spíše snahou zmapovat u nás z kulturologického hlediska dosud nezpracovanou problematiku a přispět tak k hlubšímu poznání kulturního odkazu východoasijské kultury jako součásti kulturního dědictví lidstva. Klíčová slova: architektura, jihovýchodní Asie, buddhismus, hinduismus, Jáva, Bali, Thajsko, Kambodža.
|
|
|
Use of Markov decision processes for modelling of collective games
Zákutný, Roman ; Antoch, Jaromír (vedoucí práce) ; Koubková, Alena (oponent)
V tejto práci je navrhnutý a implementovaný model vychádzajúci z teórie Markovovho procesu so spojitým časom na jednu vybranú kolektívnu hru. Na vstupných dátach je prevedená rozsiahla analýza, na základe ktorej sú odvodené regresné modely pre odhady parametrov. Spustenou simuláciou je preukázaná použiteľnosť modelu a v porovnávacej analýze sú zhodnotené výhody nášho modelu oproti použitiu Markovovho reťazca s diskrétnym časom navrhnutom a implementovanom v mojej bakalárskej práci. Na záver je prevedená diskusia možného rozšírenia na ostatné hry.
|
|
|
User-Defined XML-to-Relational Mapping
Kohan, Tomáš ; Mlýnková, Irena (vedoucí práce) ; Nečaský, Martin (oponent)
V předložené práci studujeme možnosti mapovaní XML dat do relačních systémů. V první části popíšeme základní termíny používané v práci a následně také základní techniky pro mapování XML dat do relačních databází. V další části se budeme zabívat teoretickými metodami jako MXM a ShreX, které byly navrženy na akademické půde. V třetí části popíšeme metody mapování, které jsou použité v některých komerčních systémech jako Oracle, DB2 a MS SQL. V druhé polovině práce navrhneme novou mapovací metodu (XRM), která přinese několik nových vlastností s tím, že původní pozitivní vlastnosti zústanou zachovány. V záveru rozebereme prototypovou implmentaci navrhované mapovací metody.
|
host ::
RSS.