|
|
Modelování dynamických stromů
Vajbar, Michal ; Holubová, Irena (oponent) ; Toman, Kamil (vedoucí práce)
Existuje velké množství algoritmů, které pracují se stromovými grafy. Různé algoritmy mohou pro své potřeby reprezentovat stejný strom prostřednictvím odlišných datových struktur. Chceme-li provozovat více takových algoritmů současně nad jedním lesem, může se stát, že každý bude potřebovat svou vlastní reprezentaci tohoto lesa. Pokud se les navíc průběžně mění přidáváním a odebíráním hran, musí se tyto změny přenášet do datových struktur všech provozovaných algoritmů. Takový postup však není efektivní. Bylo navrženo několik datových struktur, nad kterými lze současně provozovat různé stromové algoritmy. Každá z těchto struktur vyniká některými vlastnostmi, ale má také své slabiny. Rozumný kompromis představují Top-stromy. V této práci se zabýváme Top-stromy. Nejprve vytvoříme implementaci Top-stromů a celou ji podrobně popíšeme. Speciálně pro sestavování algoritmů nad navrženou datovou strukturou pak vyvineme programovací jazyk Top Tree Friendly Language (TFL). Kombinuje v sobě deklarativní přístup s procedurálním, čímž velmi zjednodušuje a urychluje návrh stromových algoritmů. Nakonec vytvoříme dotazovací jazyk Top Tree Query Language (TQL), který umožňuje naši strukturu pohodlně spravovat. Implementace Top-stromů, programovací jazyk TFL a dotazovací jazyk TQL dohromady tvoří komplexní řešení pro práci s...
|
|
|
Efektivní mechanismy XML komunikace
Rusnák, Pavol ; Toman, Kamil (oponent) ; Janeček, Jan (vedoucí práce)
XML komunikace je efektivní protože je příjemná z programátorského hlediska a má obrovskou flexibilitu. Dodnes se rozšířila na rozmanité platformy kromě jedné oblasti, kterou jsou vestavěné systémy. Je to hlavně proto, že zpracování textových spráav je náročné na prostředky a má obvykle velkou režii. Cílem této práce je navrhnout, implementovat a otestovat novou metodu zpracovávaní SOAP zpráv pomocí formálních gramatik a automatů a těm vlastně umožnit rozšíření webových služeb také na tato malá zařízení, dokonce i na ta, která neobsahují vlastní operační systém. Naše řešení jsme pojmenovali EXCUSA, podle akronymu anglického názvu Eff ective XML Communication Using SOAP and Automata.
|
|
|
Relační modelování biologických dat
Krejčík, Roman ; Toman, Kamil (oponent) ; Pokorný, Jaroslav (vedoucí práce)
Některé aplikace zpracování dat v databázových systémech vyžadují práci s hierarchicky uspořádanými daty. Informace takového charakteru se často vyskytují v biologických databázích, ale lze se s nimi setkat i v jiných oblastech. Efektivní dotazování specifické pro hierarchie vyžadují vhodnou reprezentaci grafových struktur v relační databázi. Tato práce se zabývá popisem známých metod pro ukládání hierarchických dat do relační databáze. Zaměřuje se zejména na vzájemné odlišnosti jednotlivých metod a zkoumá vhodnost jejich použití pro různé typy hierarchií. Součástí práce jsou také experimenty nad reálnými kolekcemi biologických dat, které porovnávají efektivitu jednotlivých způsobů uložení prakticky.
|
|
|
Externí prostředí pro systém Soar
Aharkava, Larysa ; Toman, Kamil (oponent) ; Brom, Cyril (vedoucí práce)
Cílem této práce je vyvinout vnější prostředí pro implementaci kognitivní architektury Soar, jenž by umožňovalo testování Soar agentů. Navržené prostředí by mělo vykazovat dostatečnou flexibilitu k testování různorodých Soar agentů. Program by měl uživateli také umožňovat tvorbu kombinací testovacích prostředí z již existujících objektů a modulů. Nedílnou součástí vyvinutého prostředí tvoří možnost jeho komunikace s jádrem Soaru. Práce se taktéž zabývá nástinem teoretických principů Soaru, deskripcí podobných prostředí a jejich srovnáním.
|
|
|
Editor XML dat
Valčík, Jakub ; Toman, Kamil (oponent) ; Holubová, Irena (vedoucí práce)
Cílem práce je implementace editoru určeného speciálně pro vytváření a úpravu XML dokumentů, DTD a schémat v jazyce XML Schema. Jádrem práce je pak návrh a implementace vlastního editoru. Výsledný program zahrnuje textový editor s podporou highlightingu a kontextových menu s přehledem možných prvků na dané úrovni. Pro automatizované generování XML dokumentu je v programu vytvořen generický editor schopný vytvářet editační okna uzpůsobená pro vytváření elementů, dodržujících strukturu danou schématem. Program umožňuje kontrolu správné strukturovanosti a validity XML dokumentů. Práce obsahuje také teoretická východiska a porovnání s několika podobnými programy.
|
|
|
Analytické zpracování XML dokumentů
Melichárek, Petr ; Toman, Kamil (oponent) ; Pokorný, Jaroslav (vedoucí práce)
V této práci se zabýváme rozšířením jazyka XQuery o analytické konstrukce známé z jazyka SQL - group by, roll up a cube. Navíc zavádíme novou konstrukci topologický roll up. Implementaním prostředím je nativní XML databáze eXist, kterou jsme rozšřili o modul obsahující zmíněné konstrukce. Při dotazování nad dokumenty databáze v jazyce XQuery tak můžeme použt implementované konstrukce jako uživatelské funkce. Testování ukázalo, že funkce jsou využitelné v praxi, a to i na velkých XML dokumentech a pro složité dotazy.
|
|
| |
|
|
Statická analýza XSLT programů
Červák, Jan ; Toman, Kamil (oponent) ; Bednárek, David (vedoucí práce)
Nazev prace: Staticka, analyza. XSLT programu Autor: ,Ian Cervak Katedra: Katcdra softwarovcho inzenyr.stvi Vedouci diplomove prace: RNDr. David Bednarek E-mail vedouciho: David.Bcdnarekinnir.cuni.cz Abstrakt: Zabyvame se statickou analyzou XSLT programu se znalosti sche- matu vstupnich dokumeutu. Analyza, je zamcfena, na odhalovani behovych chyb v prograniecli. Konkretue hiedamp nedosazitelna pravidla,, slepa vo- lani a cykly ve volamch pravidcl, jako zdroj potrncialne nekonecneho behu prograniu. XSLT je t\iringo\sky uplny ja/yk, konipletni staticka analyza je z principu neproveditelna, feseni tohoto problcniu jsou Jen i^fiblizna. Pre- zentovane rcseui je kvazi-sinndace bohu programu nad niodeleni XML doku- inentu. Vyslodny graf toku fizeni programu rlava infonnaee o zkouinanych probleineeh. Algcjritinus simulace je zavedeu nezavisle na pouzitein inodclu, coz pfinasi moznost analyzy na. ruzne urovni dotailu. Klicova slova: a.nalyza toku rizeiii, XSLT, XML Schema, behove dryby, zasta- vcni Title: Static analysis of XST/F ]>rograms Author: Jan Cervak Department: Department of Software Engineering Supervisor: RXDr. David Bcdnarek Supervisor's e-mail address: David.BednarekyimU'.cnni.cz Abstract: The aim of this work is static analysis of XSLT programs with the knowledge of an input document's schema....
|
|
| |
|
|
Automatická konstrukce schématu pro množinu XML dokumentů
Vošta, Ondřej ; Holubová, Irena (vedoucí práce) ; Toman, Kamil (oponent)
Jazyk XML je stále důležitější formát pro uchování a výměnu dat. Pro korektní výměnu dat, jejich efektivní ukládání a zpracování je nutné znát jejich strukturu. Stále však existuje a je vytvářeno mnoho dokumentů bez popisu jejich struktury. Tato práce se zabývá možností automatického generování schémat popisujících strukturu na základě dané množiny dokumentů. Prezentovaný algoritmus rozděluje elementy dokumentu do skupin podle podobnosti. Pro každou skupinu je vygenerován regulární výraz co nejlépe popisující strukturu vstupních elementů s využitím možností jazyka XML Schema.
|
host ::
RSS.