|
Simulátor Turingových strojů popsaných pomocí kompozitních diagramů
Siska, Josef ; Lengál, Ondřej (oponent) ; Rogalewicz, Adam (vedoucí práce)
V této práci je uvedena teorie související s Turingovými stroji a formami jejich popisu se zaměřením na kompozitní diagramy. Cílem práce je vytvořit aplikaci, která umožní editaci Turingových strojů zapsaných pomocí kompozitních diagramů a simulaci jejich běhu na zadané vstupní konfiguraci (včetně strojů nedeterministických i vícepáskových). Dále bude aplikace umožňovat spustit analýzu daného Turingova stroje za účelem zjištění, zda tento stroj nebo některé jeho části vždy zastaví. Výsledná aplikace poskytující uvedené funkce je implementována v Javě a zmíněná analýza je v ní prováděna s využitím konstrukce fundovaných uspořádání. V rámci práce tak vznikl nástroj umožňující návrh a testování Turingových strojů zapsaných pomocí kompozitních diagramů. Aplikace může najít své využití zejména při výuce teoretické informatiky, kde může posloužit např. pro demonstraci činnosti daného Turingova stroje.
|
|
Demonstrační aplikace hashovacích algoritmů SHA-1 a SHA-2
Siska, Josef ; Petrlík, Jiří (oponent) ; Novotňák, Jiří (vedoucí práce)
V této práci je uvedena teorie související s hashovacími algoritmy SHA-1 a SHA-2 spolu s popisem možné implementace aplikace, která demonstruje činnost těchto algoritmů. V obecné části práce jsou popsány principy vytváření hashovacích funkcí, jejich použití a historie vybraných hashovacích funkcí. Dále jsou představeny konvence a jednotlivé části algoritmů SHA-1 a SHA-2. V následující kapitole jsou uvedeny pojmy související s útoky na hashovací funkce a představeny vybrané z nich. V části poslední je nastíněn návrh a implementace aplikace vzniklé v rámci této práce. V závěru jsou zhodnoceny výsledky této práce s návrhy na její případné další pokračování.
|
|
Demonstrační aplikace hashovacích algoritmů SHA-1 a SHA-2
Siska, Josef ; Petrlík, Jiří (oponent) ; Novotňák, Jiří (vedoucí práce)
V této práci je uvedena teorie související s hashovacími algoritmy SHA-1 a SHA-2 spolu s popisem možné implementace aplikace, která demonstruje činnost těchto algoritmů. V obecné části práce jsou popsány principy vytváření hashovacích funkcí, jejich použití a historie vybraných hashovacích funkcí. Dále jsou představeny konvence a jednotlivé části algoritmů SHA-1 a SHA-2. V následující kapitole jsou uvedeny pojmy související s útoky na hashovací funkce a představeny vybrané z nich. V části poslední je nastíněn návrh a implementace aplikace vzniklé v rámci této práce. V závěru jsou zhodnoceny výsledky této práce s návrhy na její případné další pokračování.
|
|
Simulátor Turingových strojů popsaných pomocí kompozitních diagramů
Siska, Josef ; Lengál, Ondřej (oponent) ; Rogalewicz, Adam (vedoucí práce)
V této práci je uvedena teorie související s Turingovými stroji a formami jejich popisu se zaměřením na kompozitní diagramy. Cílem práce je vytvořit aplikaci, která umožní editaci Turingových strojů zapsaných pomocí kompozitních diagramů a simulaci jejich běhu na zadané vstupní konfiguraci (včetně strojů nedeterministických i vícepáskových). Dále bude aplikace umožňovat spustit analýzu daného Turingova stroje za účelem zjištění, zda tento stroj nebo některé jeho části vždy zastaví. Výsledná aplikace poskytující uvedené funkce je implementována v Javě a zmíněná analýza je v ní prováděna s využitím konstrukce fundovaných uspořádání. V rámci práce tak vznikl nástroj umožňující návrh a testování Turingových strojů zapsaných pomocí kompozitních diagramů. Aplikace může najít své využití zejména při výuce teoretické informatiky, kde může posloužit např. pro demonstraci činnosti daného Turingova stroje.
|