|
|
Forensic RAM dump image analyzer
Kollár, Ivor ; Holub, Viliam (vedoucí práce) ; Děcký, Martin (oponent)
Pro získávání obrazů operační paměti počítače existují různé techniky, většina z nich ala 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ádání cílové architektury a operačního systému, automatické získávání hesel a šifrovacích klíčů, vypsání seznamu procesů, modulů, ovladačů.
|
|
|
Combining bracketed pictures
Roubíčková, Anna ; Holub, Viliam (vedoucí práce) ; Adámek, Jiří (oponent)
Světelný rozsah fotografovaných scén je často větší, než je digitální fotoaparát schopen zachytit. Tento problém bývá řešen několikanásobným vyfotografováním záběru s rozdílnými expozicemi (bracketing). Tato práce představuje program ImageLighter, který automaticky kombinuje sérii fotografií téže scény tak, aby obnovil její původní dynamický rozsah. Při kombinování algoritmus využívá veškerou dostupnou obrazovou informaci. Výsledek by tedy měl zachycovat počáteční rozložení jasu věrněji. Práce popisuje použité algoritmy a datové struktury a poskytuje srovnání s konkurenčními přístupy.
|
|
|
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)
|
|
|
Robot navigation on the chessboard
Mikulík, Andrej ; Holub, Viliam (vedoucí práce) ; Ježek, Pavel (oponent)
Predložená práca sa zaoberá lokalizáciou mobilného robota. Lokalizácia je postavená na počítačovom videní. Zo snímaného obrazu navrhnuté algoritmy rozpoznávajú šachovnicovú podložku, po ktorej sa robot pohybuje. Pomocou nej je analyzovaný uhol natočenia a pozícia robota. Navrhnutý algoritmus bol otestovaný a zhodnotený na reálnom robotovi.
|
|
|
Creating Panoramic Images from Photographs Acquired with Different Camera Settings
Fibichr, Jaroslav ; Sedlář, Jiří (vedoucí práce) ; Holub, Viliam (oponent)
Při fotografování scény za účelem vytváření panoramatických snímků bývá vhodnější upravit nastavení fotoaparátu pro každou fotografii zvlášt, aby zůstalo zachováno spráné rozložení jasů. V takovém souboru obrázků pro panorama však bývají mezi spojovanými snímky velké jasové rozdíly. Cílem této práce je navrhnout řešení, které by rozdíly mezi snímky potalčilo a implementovat jej v programu Panomedic. První metoda je založena na přímém mapování jasových hodnot v překrývajících se částech snímků. Druhá metoda využívá statistických hodnot získaných z rozdělení jasů ve snímcích. Dále je popsána metoda pro hledání hranice mezi jednotlivými snímky použitá pro spojovíní. Výsledkem je panoramatická fotografie bez viditelných přechodů mezi zdrojovými snímky.
|
|
| |
|
|
Refinement of timed automata models according to hardware characteristics
Hamrle, Martin ; Holub, Viliam (vedoucí práce) ; Kofroň, Jan (oponent)
Timed automata byla navržena na modelování real-time systémů. Formální teorie obsahuje některé nerealistické předpoklady, například nekonečně rychlé akce. Model pak musí toto chování namodelovat, což ale znepřehledňuje celý model, a tím je celé modelování náchylnější k chybám. V předložené práci se zaměříme na synchronizaci procesů pomocí kanálů. Diskutují se jednotlivé možnosti řešení zpoždění signálů. Poté následuje analýza vybraných řešení a jejich implementace. Nevytváří se nový nástroj a jazyk, ale vytváří se pouze rozšíření současného jazyka, aby bylo možné použít grafi cké prostředí nástroje Uppaal.
|
|
|
Využití simulačních a výpočtových prostředí ve výuce fyziky
Dekar, Martin ; Holub, Viliam (vedoucí práce) ; Babka, Vlastimil (oponent)
Předložená práce se zabývá problematikou tvorby interaktivních fyzikálních simulací (současného trendu v e-learningu) z pohledu programátora. Úvod práce čtenáři představuje interaktivní výukovou simulaci a poskytuje vodítka pro výběr vývojového prostředí vhodného k tvorbě většího množství takovýchto simulací. Práce dále podrobněji rozebírá čtyři existující vývojové nástroje, ověřuje jejich vhodnost implementací reálné úlohy - tlumeného harmonického oscilátoru a tuto implementaci popisuje. Dále je v práci představena vzdělávací simulace většího rozsahu, implementovaná v prostředí Adobe Flash CS3, která představuje nový směr v e-learningu - možností získání datových výstupů, kterým se simulace blíží skutečnému experimentu. K této simulaci patří i knihovna více než stovky gra ckých objektů znovupoužitelných při tvorbě dalších simulací. Práci uzavírá kritické zhodnocení výsledk· a naznaení východisek pro dalí práci.
|
|
|
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.
|
|
|
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čů.
|
host ::
RSS.