|
|
Forenzní analýza webového prohlížeče
Bača, Michal ; Rychlý, Marek (oponent) ; Očenášek, Pavel (vedoucí práce)
Tato práce se zabývá problematikou digitální forenzní analýzy webových prohlížečů. V prvních kapitolách je popsán proces forenzní analýzy, používané metodologie a postupy a také problematika analýz webových prohlížečů. Zejména pak typy informací, které prohlížeč ukládá a problémy s bezpečností. Na základě teoretických základů byl pak vytvořen teoretický a praktický postup získání dat z webového prohlížeče Mozilla Firefox. Praktický postup využívá běžné linuxové nástroje a vlastní aplikaci, která byla vytvořena v rámci této práce. Na základě navrženého praktického postupu byla provedena forenzní analýza prohlížeče.
|
|
|
Hledání regulárních výrazů s využitím technologie FPGA
Kubiš, Juraj ; Fukač, Tomáš (oponent) ; Matoušek, Denis (vedoucí práce)
Bakalárska práca sa zaoberá možnosťami hardvérovej akcelerácie vyhľadávania regulárnych výrazov. Obsahom práce je analýza už existujúcich hardvérových architektúr a zhodnotenie ich pozitívnych a negatívnych vlastností. Na základe týchto poznatkov je navrhnutá architektúra. Tá je založená na deterministických konečných automatoch s implicitnými prechodmi (D2FA), je implementovaná v jazyku VHDL a je vykonaná jej syntéza. Výsledky syntézy sú analyzované za účelom zistenia celkovej priepustnosti architektúry. Je navrhnuté programové vybavenie na prevod regulárnych výrazov do podoby D2FA a na optimalizovanie tohoto automatu s cieľom minimalizovania pamäťových nárokov. Implementácia je overená a je zhodnotený prínos jednotlivých optimalizačných techník na redukciu pamäťových nárokov.
|
|
|
Vizualization of Automata Algorithms
Kuchyňka, Jiří ; Češka, Milan (oponent) ; Holík, Lukáš (vedoucí práce)
The goal of this thesis is to design and implement a generic system to visualize algorithms that operate over automata. The resulting system completely separates the part that is dedicated to generating data for visualization and the part that is dedicated to visualizing it. The system only specifies their communication interface. This thesis focuses on integrating such system into existing libraries in a way to minimize the requirements on the programmer to start visualizing the state of their algorithm. The thesis also briefly discusses the possibilities of using such a system to visualize the state of an algorithm while stepping through the program during debugging. The proposed system can be used for teaching, research, and practical applications in automata theory. In the future, the system could be extended with tools to visualize Turing machines and algorithms operating on them.
|
|
|
Hledání regulárních výrazů s využitím technologie FPGA
Kubiš, Juraj ; Fukač, Tomáš (oponent) ; Matoušek, Denis (vedoucí práce)
Bakalárska práca sa zaoberá možnosťami hardvérovej akcelerácie vyhľadávania regulárnych výrazov. Obsahom práce je analýza už existujúcich hardvérových architektúr a zhodnotenie ich pozitívnych a negatívnych vlastností. Na základe týchto poznatkov je navrhnutá architektúra. Tá je založená na deterministických konečných automatoch s implicitnými prechodmi (D2FA), je implementovaná v jazyku VHDL a je vykonaná jej syntéza. Výsledky syntézy sú analyzované za účelom zistenia celkovej priepustnosti architektúry. Je navrhnuté programové vybavenie na prevod regulárnych výrazov do podoby D2FA a na optimalizovanie tohoto automatu s cieľom minimalizovania pamäťových nárokov. Implementácia je overená a je zhodnotený prínos jednotlivých optimalizačných techník na redukciu pamäťových nárokov.
|
|
|
Ekologie, etologie a variabilita ještěrky zelené, Lacerta viridis v Přírodní rezervaci Tiché údolí
Chmelař, Jan ; Rehák, Ivan (vedoucí práce) ; Moravec, Jiří (oponent)
Ještěrka zelená, Lacerta viridis, je v čechách kriticky ohroženým druhem. Vyskytuje se zde za severní hranicí souvislého rozšíření druhu, a je vázána na říční fenomén hluboce zaříznutých říčních údolí. Na vybrané lokalitě v Tichém údolí probíhá dlouhodobý ochranný management s cílem zvýšit a poté udržet celkovou abundanci místní populace. Tento management je přímým výstupem výzkumu z let 1995-1997. Předmětem předkládané práce, která má zhodnotit efektivitu managementových opatření je zejména získání aktuálních populačních charakteristik za účelem srovnání s hodnotami z tohoto období a zhodnocení účinnosti managementových opatření. Lokalita byla hodnocena v průběhu let 2011 - 2014. Pozorování byla prováděna v celkem 119 dnech. Oproti údajům z let 1995 - 1997 byl pozorován nápadný vzestup abundance a rozšíření využívané plochy. Dále byla provedena prostorová diskriminační analýza míst výskytu jedinců, která mapuje význam jednotlivých faktorů prostředí v bezprostředním okolí místa výskytu. Nejvýznamnějšími pro faktory pozitivní diskriminaci jsou podle analýzy přítomnost suti a dostupnost úkrytu. Negativně byly diskriminovány plochy s vysokým podílem vysoké vegetace a travin. Dále práce obsahuje a diskutuje údaje o ekologii, etologii a morfologické variabilitě vybrané populace. Klíčová slova: ještěrka...
|
|
|
Forenzní analýza webového prohlížeče
Bača, Michal ; Rychlý, Marek (oponent) ; Očenášek, Pavel (vedoucí práce)
Tato práce se zabývá problematikou digitální forenzní analýzy webových prohlížečů. V prvních kapitolách je popsán proces forenzní analýzy, používané metodologie a postupy a také problematika analýz webových prohlížečů. Zejména pak typy informací, které prohlížeč ukládá a problémy s bezpečností. Na základě teoretických základů byl pak vytvořen teoretický a praktický postup získání dat z webového prohlížeče Mozilla Firefox. Praktický postup využívá běžné linuxové nástroje a vlastní aplikaci, která byla vytvořena v rámci této práce. Na základě navrženého praktického postupu byla provedena forenzní analýza prohlížeče.
|
host ::
RSS.