|
|
Processing of Incorrect XML Data
Svoboda, Martin
XML dokumenty a technologie reprezentují široce akceptovaný standard pro správu a výměnu semistrukturovaných dat. Překvapivě vysoký počet XML dokumentů však obsahuje chyby dobré formovanosti, strukturální validity nebo nekonzistence dat. Cílem této práce je analýza existujících přístupů vedoucí k návrhu nového korekčního systému. Představený model zahrnuje opravy elementů a atributů vůči jednotypovým stromovým gramatikám. Průchodem stavového prostoru automatu na rozpoznávání regulárních výrazů jsme vždy schopni nalézt všechny minimální opravy. Tyto opravy jsou kompaktně reprezentovány rekurzivními multigrafy, které se dají přeložit do konkrétních sekvencí editačních operací modifikujících datové stromy. Navrženy byly čtyři konkrétní algoritmy doplněné o prototypovou implementaci a experimentální výsledky. Nejvíce efektivní algoritmus heuristicky sleduje pouze perspektivní směry oprav a brání jakýmkoli opakovaným výpočtům.
|
|
|
Inference of an XML Schema with the Knowledge of XML Operations
Mikula, Mário ; Holubová, Irena (vedoucí práce) ; Svoboda, Martin (oponent)
V poslednej dobe bolo vyvinutých množstvo metód zaoberajúcich sa automatickým odvodzovaním XML schémy. Väčšina z nich ale používa XML dokumenty ako jediný vstup. My sa v tejto práci zameriavame na rozšírenie odvodzovania zahrnutím XML operácií, konkrétne XQuery dotazov. Diskutujeme ako je možné využiť XQuery dotazy na vylepšenie procesu odvodzovania a navrhujeme algoritmus založený na vybraných vylepšeniach, ktorý rozširuje existujúcu metódu hľadania kľúčov a ktorý môže byť začlenený do metód odvodzujúcich tzv. počiatočnú gramatiku. Implementovaním algoritmu sme vytvorili prvé kompletné riešenie odvodzovania XML schémy, ktoré využíva XML dokumenty spolu s XML operáciami.
|
|
|
Generator of Testing XML Data
Michalko, Jakub ; Holubová, Irena (vedoucí práce) ; Svoboda, Martin (oponent)
Cieľom práce je implementácia nástroja, ktorý generuje testovacie XML dáta na základe užívateľom definovaných parametrov. Tie bude môcť užívateľ použiť pre otestovanie aplikácie, ktorá pracuje s XML dátami. Aplikácia poskytuje užívateľovi GUI rozhranie pre editáciu parametrov vygenerovaných dokumentov, ktorých veľkosť môže presahovať veľkosť operačnej pamäte. Medzi hlavné parametre vygenerovaného dokumentu patria: počet vygenerovaných dokumentov, definovanie atribútov, počet elementov, vetvenie (fanout), frekvencia zastúpenia elementov/textu, generovanie zmiešaného dokumentu. Aplikácia ďalej umožňuje vygenerovať DTD alebo XSD schému pre vygenerovaný dokument, spustiť testovanú aplikáciu nad vygenerovaným dokumentom/dokumentami alebo odoslať dokument službe, ktorú testovaná aplikácia poskytuje.
|
|
|
Leasing v obchodněprávních vztazích
Svoboda, Martin ; Plíva, Stanislav (vedoucí práce) ; Zahradníčková, Marie (oponent) ; Marek, Karel (oponent)
Resumé Ve své disertační práci se zabývám problematikou leasingu v obchodněprávních vztazích. Leasing je právním institutem, který byl převzat po roce 1989 ze zahraničí. Blízký vztah k nájmu a poměrně krátká právní historie jsou pravděpodobně důvodem určité názorové nejednotnosti na problematiku leasingu. Právě rozdílné názory na leasing byly hlavním důvodem, pro který jsem si zvolil toto téma. Zajímalo mne zejména vymezení leasingu ve vztahu k nájmu a právní úprava leasingu. Přitom jsem předpokládal, že přes názorovou nejednotnost bude sjednoceno uzavírání leasingových smluv v praxi, a to s ohledem na velké množství leasingových smluv každoročně u nás uzavíraných. Při zpracování disertační práce jsem si kladl za cíl postihnout většinu hlavních názorových proudů na leasing, provést srovnání leasingu a nájmu a posoudit, zdali je na leasingové smlouvy nutno aplikovat zákonnou úpravu nájmu. Dalším cílem disertační práce bylo posoudit jednotlivé složky leasingového vztahu, tj. jeho účastníky, předmět a obsah (subjektivní práva a povinnosti), a to jak ryze teoreticky, tak z hlediska promítnutí specifik leasingu do konkrétních obchodních podmínek. Při zpracování disertační práce jsem se snažil v prvé řadě seznámit s dostupnými teoretickými prameny, tj. zejména s dostupnou časopiseckou a knižní literaturou...
|
|
|
Processing of Incorrect XML Data
Svoboda, Martin ; Holubová, Irena (vedoucí práce) ; Nečaský, Martin (oponent)
XML dokumenty a technologie reprezentují široce akceptovaný standard pro správu a výměnu semistrukturovaných dat. Překvapivě vysoký počet XML dokumentů však obsahuje chyby dobré formovanosti, strukturální validity nebo nekonzistence dat. Cílem této práce je analýza existujících přístupů vedoucí k návrhu nového korekčního systému. Představený model zahrnuje opravy elementů a atributů vůči jednotypovým stromovým gramatikám. Průchodem stavového prostoru automatu na rozpoznávání regulárních výrazů jsme vždy schopni nalézt všechny minimální opravy. Tyto opravy jsou kompaktně reprezentovány rekurzivními multigrafy, které se dají přeložit do konkrétních sekvencí editačních operací modifikujících datové stromy. Navrženy byly čtyři konkrétní algoritmy doplněné o prototypovou implementaci a experimentální výsledky. Nejvíce efektivní algoritmus heuristicky sleduje pouze perspektivní směry oprav a brání jakýmkoli opakovaným výpočtům.
|
|
|
Mining XML Integrity Constraints
Fajt, Stanislav ; Nečaský, Martin (vedoucí práce) ; Svoboda, Martin (oponent)
Nejduležitějšími integritními omezeními jsou v XML primární a cizí klíče. Obecně vzato jsou klíče základním kamenem k pochopení struktury a vlast- ností dat. Nabízejí nástroj, s jehož pomocí lze jednoznačně identifikovat jednotlivé řádky tabulky pomocí hodnot z dané množiny atributů. Z toho plyne, že klíče jsou důležité pro provádění základních databázových operací. Od té doby, kdy se XML stalo jedním z nejpoužívanějších jazyků pro výměnu informací na internetu, je všeobecně přijímáno jako model pro reprezentaci skutečných dat. Protože XML dokumenty mohou v podstatě mít jakoukoli semistrukturovanou formu, jsou mnohdy během procesu zpracování či mo- difikace dat vyžadována strukturální omezení (napřílad klíče). Tato omezení jsou definovaná ve schématu. I přes zjevné přínosy není bohužel přítomnost schématu povinná a k mnoha XML dokumentům není žádné schéma připo- jeno. Následkem toho nejsou pro tyto dokumenty specifikována ani žádná integritní omezení. Tato diplomová práce je zaměřená zejména na odvození primárních a cizích klíčů z XML dokumentů. 1
|
|
|
Politicko-ekonomický cyklus
Svoboda, Martin ; Vlček, Josef (oponent) ; Loužek, Marek (vedoucí práce)
Cílem mé bakalářské práce bylo popsat základní východiska politicko ekonomického cyklu a zároveň vystihnout faktory, které na něj mají vliv. Snaha o zasazení tohoto jevu do širších souvislostí ukázala, že politicko ekonomický cyklus je ovlivňován typem volebního systému, rostoucí mocí zájmových skupin či byrokratického aparátu. Mezi ekonomický faktor můžeme zařadit omezení vlády provádět měnovou politiku z důvodu nezávislosti centrální banky. Aplikace teoretických poznatků na podmínky České republiky se ukázala jako problematická. Politický a ekonomický systém u nás se v důsledku ekonomické transformace projevoval v nestandardních podmínkách, které ztěžovaly empirické testování politicko ekonomického cyklu. S tím souvisí také problém krátké časové řady, která výrazně omezuje možnost relevantního srovnání.
|
|
|
Informační systém na spolupráci menších skupin uživatelů
Svoboda, Martin ; Pergel, Martin (oponent) ; Bílý, Tomáš (vedoucí práce)
Cílem této práce je implementovat konkrétní informační systém na spolupráci a výměnu informací v rámci menších pracovních skupin uživatelů a dále detailněji rozebrat všechny aspekty, které se ukázaly významné při návrhu tohoto informačního systému. Tím se rozumí nejenom návrh struktury poměrně komplexního programu, ale také návrh jeho základních modelů chování a dalších vlastností, které významným způsobem ovlivňují funkcionalitu, kterou pak systém může nabízet svým uživatelům. Konkrétně jde například o návrh modelu registrace uživatelů, členství v uživatelských skupinách, systému víceúrovňových oprávnění nebo fungování uživatelských relací. Všechny tyto důležité modely jsou v práci rozebrány a jsou diskutovány jejich výhody i případná úskalí. Druhá část práce obsahuje popis implementace všech zajímavých nebo významných částí systému. Podrobněji jsou například rozebírány mechanismy vykonávání databázových dotazů, univerzální stránkované výpisy, editační procesy a vstupy od uživatele, podoba pracovní plochy nebo další funkce jádra systému, stejně jako jsou popsány funkce jednotlivých sekcí systému - plánované akce, diskuzní knihy nebo anketní otázky.
|
|
|
Pomoc mužům jako obětem domácího násilí v ČR
Svoboda, Martin ; Havelková, Hana (vedoucí práce) ; Maříková, Hana (oponent)
Diplomová práce se zabývá problematikou domácího násilí páchaného na mužích. Nejprve je definován samotný termín domácí násilí a charakterizován genderový rozměr domácího násilí. V teoretické části diplomové práce jsou dále reflektovány genderové aspekty teoretických koncepcí domácího násilí a empirických šetření domácího násilí. Také je vymezen základní institucionální rámec pro řešení domácího násilí v českém kontextu. V empirické části diplomové práce je řešena otázka, zda-li instituce a organizace pracující s oběťmi domácího násilí v českém prostředí počítají s možností, že se obětí domácího násilí mohou stát muži. Stejná otázka je sledována pomocí/za použití kritické diskursivní analýzy, které jsou podrobeny tři vybrané informační texty organizací poskytujících pomoc obětem domácího násilí.
|
|
| |
host ::
RSS.