|
|
Statistické metody detekce anomálií datové komunikace
Woidig, Eduard ; Mangová, Marie (oponent) ; Slavíček, Karel (vedoucí práce)
Tato práce slouží jako teoretický základ pro praktické řešení problematiky použití statistických metod pro detekci anomálií v datovém provozu. Základní zaměření detekcí anomálií datového provozu je na datové útoky. Proto hlavní náplní je analýza datových útoků. V rámci řešení jsou datové útoky řazeny dle protokolů, které útočníci ke své činnosti zneužívají. V každé části je popsán samotný protokol, jeho využití a chování. Pro každý protokol je postupně řešen popis jednotlivých útoků, včetně metodiky vedení útoku a postihů na napadený systém nebo stanice. Dále jsou pro nejzávažnější útoky nastíněny postupy jejich detekce a případné možnosti obrany proti nim. Tyto poznatky jsou shrnuty do teoretické analýzy, která by měla sloužit jako výchozí bod pro praktickou část, kterou bude samotná analýza reálného datového provozu. Praktická část je rozdělena do několika oddílů. První z nich popisuje postupy pro získávání a přípravu vzorků tak, aby na nich bylo možné provést další analýzy. Dále jsou zde popsány vytvořené skripty, které slouží pro získávání potřebných dat ze zaznamenaných vzorků. Tato data jsou detailně analyzována za použití statistických metod, jako jsou časové řady a popisná statistika. Následně jsou získané vlastnosti a sledovaná chování ověřována za pomocí uměle vytvořených i reálných útoků, kterými je původní čistý provoz modifikován. Pomocí nové analýzy jsou modifikované provozy porovnány s původními vzorky a provedeno vyhodnocení, zda se podařilo nějaký druh anomálie detekovat. Získané výsledky a sledování jsou souhrnně shrnuty a vyhodnoceny v samostatné kapitole s popisem dalších možných útoků, které nebyly přímou součástí testovací analýzy.
|
|
|
Modelování perfuzních křivek v dynamické magnetické rezonanci
Ochodnický, Erik ; Mangová, Marie (oponent) ; Rajmic, Pavel (vedoucí práce)
Perfúzne zobrazovanie pomocou dynamickej MRI má veľmi široké uplatnenie v lekárskej praxi, pretože poskytuje informácie o perfúznej charakteristike sledovaného tkaniva. Pri využití klasickej rekonštrukcie platí, že z dôvodu časovej náročnosti merania nie sme schopní zaznamenať dostatok vzoriek pre dosiahnutie potrebného časového a priestorového rozlíšenia. Je preto nutné využitie tzv.~komprimovaného snímania, ktoré umožní rekonštrukciu z menšieho počtu vzoriek pomocou optimalizačného modelu. V práci sú overené viaceré modely rekonštrukcie sekvencie obrazov pre reálne i simulované dáta a~tiež sú porovnané viaceré algoritmy na ich riešenie. Medzi použité modely patria dva L+S modely s odlišnou regularizáciou zložky S, riešené pomocou Forward-Backward a Chambolle-Pock algoritmu. Kvalita rekonštrukcie jednotlivých modelov bola porovnávaná najmä podľa získaných perfúznych kriviek. V poslednej časti je preskúmaná možnosť modifikácie SASS modelu pre zvýšenie kvality rekonštrukcie a odolnosti voči podvzorkovaniu, za účelom lepšej adaptácie modelu pre dynamické dáta.
|
|
|
Zvýšení rozlišení perfúzního zobrazování magnetickou rezonancí pomocí komprimovaného snímání
Mangová, Marie ; Polec,, Jaroslav (oponent) ; Šmídl, Václav (oponent) ; Rajmic, Pavel (vedoucí práce)
Perfúzní zobrazování v magnetické rezonanci je lékařská diagnostická metoda, která vyžaduje vysoké prostorové i časové rozlišení. Toto vysoké rozlišení je důležité proto, aby bylo možné zachytit dynamiku nitrožilně podané kontrastní látky, která se pro měření perfúze používá. Magnetická rezonance má však svá fyzikální omezení, která nedovolují dosáhnutí současně vysokého časového i prostorového rozlišení. Práce se zabývá komprimovaným snímáním, které umožňuje rekonstrukci obrazu i z relativně malého počtu naměřených dat (pod Nyquistovým kritériem), zatímco rozlišení potřebné k perfúzní analýze se zvýší. Toho lze dosáhnout pomocí vhodně navržených apriorních informací o snímaných datech a sestavení modelu. Rekonstrukce pak probíhá jako optimalizační problém. Dizertační práce přináší několik nových rekonstrukčních modelů, dále navrhuje metodu, jak zmenšit vychýlenost těchto odhadů, a zkoumá vliv komprimovaného snímání na perfúzní parametry. Celá práce je zakončena rozšířením komprimovaného snímání na trojrozměrná data, u kterých je rovněž popsán vliv rekonstrukce na perfúzní parametry. Celkově práce ukazuje, že díky komprimovanému snímání je možné zvýšit buď časové rozlišení při ponechání prostorového rozlišení, nebo při ponechání časového rozlišení lze zvýšit prostorové rozlišení.
|
|
|
Vytvoření interaktivních programů pro podporu výuky zpracování signálů
Pacas, Ondrej ; Rajmic, Pavel (oponent) ; Mangová, Marie (vedoucí práce)
Bakalářská práce se zabývá vytvořením čtyř interaktivních nástrojů pro podporu výuky zpracování signálů. Cílem práce je vytvořit aplikace které budou vizuálně interpretovat jednotlivé metody zpracování signálů. Toto zahrnuje aplikace pro lineární regresi a metodu nejmenších čtverců, interpolaci a rekonstrukce signálu z jeho vzorků, diskrétní lineární konvoluci a diskrétní křížovou korelaci. Aplikace jsou vytvořeny v programovacím jazyce JavaScript.
|
|
| |
|
|
Implementace úloh z oblasti zpracování signálů pro podporu výuky
Ševčík, Zdeněk ; Rajmic, Pavel (oponent) ; Mangová, Marie (vedoucí práce)
Tato práce řeší Fourierovy řady, fázorový diagram, převzorkování signálu a amplitudovou modulaci. Všechny tyto problematiky jsou analyzovány v teoretické části práce. Jsou zde odvozeny všechny tři tvary Fouriery řady, popsáno vzorkování signálu, decimace a interpolace. Dále práce řeší modulaci signálu a blíže se zabývá amplitudovou modulací harmonického i neharmonického signálu. V praktické části práce je ukázka výpočtu Fourierovy řady pro konkrétní signál, ukázka převzorkování signálu a ukázka amplitudové modulace harmonického a neharmonického signálu. Cílem praktické části je vytvořit programy zaměřené na tyto oblasti. Programy mají být interaktivní a jejich účelem je demonstrovat danou problematiku studentům.
|
|
| |
|
| |
|
|
Moderní restaurace audiosignálu s chybějícími úseky
Skyva, Pavel ; Mangová, Marie (oponent) ; Rajmic, Pavel (vedoucí práce)
Tato bakalářská práce se zabývá moderní metodou restaurace audiosignálů s chybějícími úseky. Rekonstrukce je založena především na řídkých reprezentací signálů. V práci je popsán způsob hledání řídkého řešení pomocí proximálního Douglas-Rachfordova algoritmu a jeho následné užití pro výpočet zrekonstruovaného signálu. Výpočetní program je implementován v prostředí MATLAB a k výpočtům využívá toolbox LTFAT. Výsledky rekonstrukce jsou hodnoceny objektivní metodou odstupu signálu od šumu (SNR).
|
|
|
Dvě úlohy z oblasti zpracování videa netradičními prostředky
Kánský, Antonín ; Mangová, Marie (oponent) ; Rajmic, Pavel (vedoucí práce)
Cílem této práce je pomocí řídké reprezentace signálů řešit dvě úlohy z oblasti zpracování videa. Je zde objasněna problematika tradičního řešení dvou efektů, tedy separace pozadí od pohybujícího se popředí a obnovení dvou obrazů z neúplného pozorování jejich křížového prolnutí, a také problematika řídkosti signálů. K řešení bylo použito metody sledování hlavních komponent (PCP). Výsledný algoritmus implementován v prostředí MATLAB a následně otestován simulovanými a reálnými daty.
|
host ::
RSS.