|
|
3D scannování laserem
Pilmann, Jindřich ; Holub, Viliam (vedoucí práce) ; Ježek, Pavel (oponent)
Obsahem této práce je popis a implementace jednoduchého 3D scanneru. Scanner je tvořen levnou webovou kamerou, jednoduchým zařízením vytvořeným z laseru ze staré CD mechaniky a programovým vybavením. Je založený na triangulační metodě scannování, pro převod obrazových souřadnic na světové využívá DLT a výstup poskytuje ve formátu VRML. Nemá být konkurentem profesionálních nástrojů, ale jen popisem možného jednoduchého řešení.
|
|
|
Steganographics filesystem
Kollár, Ivor ; Holub, Viliam (vedoucí práce) ; Parízek, Pavel (oponent)
V predloženej práci študujeme možnosti ochrany informácie v situácii, keď samotná kryptogra a nestačí. Skúsime rozobrať možnosť utajenia informácie, nie však v nevinne sa tváriacom nosiči( zvuk, obraz, video ), ale v pseudosteganografi ckom archíve. Pokúsime sa popísať, a neskôr aj implementovať algoritmus, ktorý bude schopný vytvoriť archív, spájajúci nasledujúce vlastnosti: Bude obsahovať N súborov, každý chránený jedným z N klúčov, pričom číslo N sa pokúsime útočníkovi zatajiť. Pri použití jedného z klúčov získame práve jeden súbor, pričom o existencii ostatných súborov by sme nemali získať žiadnu informáciu. Implementácia tohto algoritmu by mala byť čo najjednoduchšia, platformovo čo najmenej závislá, a jednoducho prakticky použitelná.
|
|
|
Fighting the State Explosion Problem in Component Protocols
Holub, Viliam
In complex software component systems, it is desirable to verify the correctness of the composition before deployment. To achieve a trustworthy composition, the behavior of components is formally described and the composition is veri ed against communication errors. Unfortunately, the number of states of a model tends to grow exponentially with the size of the model's description | the state explosion problem. Because the exhaustive veri cation has to visit all the states of the model, the veri cation leads to unacceptable space and time requirements. In this thesis, we present several approaches to cope with the state explosion problem in behavior protocols. First, we reduce a size of the speci cation by enhancing the speci cation language by exceptions and, additionally, we reduce the speci cation by symbolic manipulations with respect to composition. Then, we present a novel approach to distributed veri cation, which involves external storage devices. Finally, we reduce the number of states, which have to be traversed by identifying representatives in the state space.
|
|
|
Forensic RAM dump image analyzer
Kollár, Ivor ; Holub, Viliam (vedoucí práce) ; Babka, Vlastimil (oponent)
Pro zísáván obrazů operační paměti počítače existují různé techniky, většina z nich ale poskytuje syrový obraz dat, který je obtížné analyzovat. Cílem téhle práce je vyvinout program pro automatickou analýzu obrazů paměti poskytující obsažené informace v uživatelsky přívětivé formě. Program by měl zjednodušit automatické dolování dat a předpokládaným uživatelem jsou forenzní znalci. Předpokládané technické schopnosti jsou podpora vícero architektur a operačních systémů, hádaní cílové architektury a operačního systému, automatické získávaní hesel a šifrovacích klíčů, vypsání seznamu procesů, modulů, ovladačů.
|
|
|
3D scannování laserem
Pilmann, Jindřich ; Ježek, Pavel (oponent) ; Holub, Viliam (vedoucí práce)
Obsahem této práce je popis a implementace jednoduchého 3D scanneru. Scanner je tvořen levnou webovou kamerou, jednoduchým zařízením vytvořeným z laseru ze staré CD mechaniky a programovým vybavením. Je založený na triangulační metodě scannování, pro převod obrazových souřadnic na světové využívá DLT a výstup poskytuje ve formátu VRML. Nemá být konkurentem profesionálních nástrojů, ale jen popisem možného jednoduchého řešení.
|
|
|
Matematika na internetu
Dózsa, Martin ; Holub, Viliam (vedoucí práce) ; Eckhardt, Alan (oponent)
Cílem této práce bylo vytvořit jednoduchý matematický nástroj, především pro studenty vysokých škol s výukou matematiky. UniMaxima se zaměřuje na výpočty z oboru matematické analýzy a (především lineární) algebry. Umožňuje výpočet derivací, určitého a neurčitého integrálu, rozložení na parciální zlomky, Taylorovy řady, sum, limit funkcí a řad, operací s maticemi, vlastních čísel a vektorů matic a determinanty matic. Je zde také funkce vykreslování funkcí jedné a dvou proměnných. Výhoda UniMaximy kromě snadné ovladatelnosti je fakt, že ji lze použít bez nutnosti instalace: stačí vyhledat stránku na Internetu pomocí webového prohlížeče (Firefox 3.0+) a zadat výraz k výpočtu.
|
|
|
Rekonstrukce 3D scény ze stereo obrázků
Turoňová, Beata ; Chum, Jaroslav (oponent) ; Holub, Viliam (vedoucí práce)
V předložené práci se zabýváme problematikou rekonstrukce 3D scény ze stereo fotograf í. Nejprve podrobněji rozebereme způsob, jakým lze ze shodných bodů nalézt fundamentální matici a s její pomocí spočítat projektivní souřadnice 3D modelu. Následně se budeme zabývat metodami, které nám umožní vylepšit projektivní model na metrický, přičemž důraz bude kladen zejména na metodu využívající esenciální matici. Dále budeme zkoumat možnosti rekonstrukce povrchu z množiny bodů a podrobněji popíšeme algoritmus založený na vnitřních vlastnostech množiny bodů. Na závěr lehce naznačíme strukturu programu a uvedeme výsledky, kterých dosáhl.
|
|
|
Fighting the State Explosion Problem in Component Protocols
Holub, Viliam
In complex software component systems, it is desirable to verify the correctness of the composition before deployment. To achieve a trustworthy composition, the behavior of components is formally described and the composition is veri ed against communication errors. Unfortunately, the number of states of a model tends to grow exponentially with the size of the model's description | the state explosion problem. Because the exhaustive veri cation has to visit all the states of the model, the veri cation leads to unacceptable space and time requirements. In this thesis, we present several approaches to cope with the state explosion problem in behavior protocols. First, we reduce a size of the speci cation by enhancing the speci cation language by exceptions and, additionally, we reduce the speci cation by symbolic manipulations with respect to composition. Then, we present a novel approach to distributed veri cation, which involves external storage devices. Finally, we reduce the number of states, which have to be traversed by identifying representatives in the state space.
|
|
|
Anotující disassembler
Hluzín, Petr ; Mareš, Martin (vedoucí práce) ; Holub, Viliam (oponent)
V této práci byl vyvinut dissambler pro monolitické mikroprocesory (mikrořadiče) Microchip PIC. Tento dissambler u typických programů staticky určí hodnotu za běhu nastavovaných logických registrů čímž z neúplné adresy v instrukci získá úplnou adresu. Na jejich základě pak rozpozná procedury, vytvoří graf volání procedur a rozpozná řídící struktury. Disassembler oddělí použití registru pro proměnné více procedur a roztřídí na vstupy procedury, lokálně modifikované proměnné a návratové proměnné. Současné disassemblery této architektury se omezují na tisk instrukcí s núplnými adresami, protože analýzy neprovádějí. Powered by TCPDF (www.tcpdf.org)
|
|
|
Fighting the State Explosion Problem in Component Protocols
Holub, Viliam ; Plášil, František (vedoucí práce) ; Brada, Přemysl (oponent) ; Reussner, Ralf H. (oponent)
In complex software component systems, it is desirable to verify the correctness of the composition before deployment. To achieve a trustworthy composition, the behavior of components is formally described and the composition is veri ed against communication errors. Unfortunately, the number of states of a model tends to grow exponentially with the size of the model's description | the state explosion problem. Because the exhaustive veri cation has to visit all the states of the model, the veri cation leads to unacceptable space and time requirements. In this thesis, we present several approaches to cope with the state explosion problem in behavior protocols. First, we reduce a size of the speci cation by enhancing the speci cation language by exceptions and, additionally, we reduce the speci cation by symbolic manipulations with respect to composition. Then, we present a novel approach to distributed veri cation, which involves external storage devices. Finally, we reduce the number of states, which have to be traversed by identifying representatives in the state space.
|
host ::
RSS.