|
|
Aritmetická úplnost logiky R
Holík, Lukáš ; Švejdar, Vítězslav (vedoucí práce) ; Bílková, Marta (oponent)
Cílem práce bylo s použitím novodobé notace vystavět teorii Rosserovy logiky, vysvětlit do detailu její vztah s Peanovou aritmetikou, ukázat kripkovskou sémantiku a nakonec pomocí autoreference v množném čísle zpracovat důkaz aritmetické úplnosti. V poslední kapitole se pak ukazují některé z vlastností rosserovských sentencí. Powered by TCPDF (www.tcpdf.org)
|
|
|
Analysis of the CubeHash proposal
Stankovianska, Veronika ; Tůma, Jiří (vedoucí práce) ; Hojsík, Michal (oponent)
Předkládaná práce se zabývá analýzou návrhu hašovací funkce CubeHash a zvláštní důraz klade na následující články: "Inside the Hyper- cube" [1], "Symmetric States and Their Improved Structure" [7] a "Lineari- sation Framework for Collision Attacks" [6]. Krátce představuje algoritmus hašovací funkce CubeHash a dokazuje, že její rundovní funkce R : ({0, 1}32 )32 → ({0, 1}32 )32 je permutací. Výsledky uváděné v článcích [1] a [7], týkající se symetrických stavů pro CubeHash, jsou posouzené, opravené a doložené důkazy. Přesněji, pomocí definice D-symetrického stavu, založené na [7], práce dokazuje, že pro vektorový prostor V = Z4 2 a jeho lineární podpros- tor D existuje 22 |V | |D| D-symetrických stavů a vnitřní stav x je D-symetrický právě tehdy, když stav R(x) je D-symetrický. V reakci na [1] diplomová práce uvádí úplný výpočet dolní meze pro počet symetrických stavů, vysvětluje, proč vylepšené hledání prvního vzoru nefunguje tak, jak je představeno, a v neposlední řadě objasňuje matematické pozadí hledání pevných bodů rundovní funce R. Následně poukazuje na skutečnost, že linearizační metoda z [6] neuvažuje rovnici (A ⊕ α) + β = (A + β) ⊕ α (∗), která se v algo- ritmu CubeHash vyskytuje během...
|
|
|
Algoritmus pro pevné body homomorfismů na slovech
Matocha, Vojtěch ; Holub, Štěpán (vedoucí práce) ; Žemlička, Jan (oponent)
V předložené práci studuji polynomiální algoritmus, který pro dané slovo rozhoduje, zda je pevným bodem nějakého netriviálního homomorfismu. Součástí práce je zpřesněný odhad složitosti, algoritmus v nejhorším případě pracuje v čase O(m · n), kde n značí délku slova a m velikost použité abecedy. V práci se dále zabývám problémem union-find, který je stěžejní součástí popisovaného algoritmu, a s odhadem jeho složitosti související Ackermannovou funkcí. V práci jsou shrnuty používané metody a důkazy jejich složitostí a je popsán postup, kterým lze řešit speciální případ union-find vyskytující se ve zkoumaném algoritmu. Následuje konkrétní implementace algoritmu, jejíž testovaná složitost odpovídá zpřesněnému odhadu. Součástí práce je také vizualizace chodu algoritmu na konkrétních vstupech.
|
|
|
Simulátor procesoru s operací dělení
Matečný, František ; Šátek, Václav (oponent) ; Kunovský, Jiří (vedoucí práce)
Práca sa zaoberá numerickou integráciou a operáciou delenia. Najskôr je čitateľ oboznámený s numerickým riešením diferenciálnych rovníc s operáciou delenia pomocou Taylorovej rady. Ďalej je vysvetlený princíp delenia v hardvéri algoritmom SRT a je predstavený návrh sériovo-paralelného a paralelného deliaceho integrátora v pevnej rádovej čiarke. Praktickým cieľom práce je implementácia paralelného deliaceho integrátora a vytvorenie programového simulátora tohoto integrátora.
|
|
|
Zlomkooktává analýza akustických signálů
Ryšavý, Marek ; Frenštátský, Petr (oponent) ; Schimmel, Jiří (vedoucí práce)
Diplomová práce se zabývá návrhem a optimalizací číslicových filtrů pro oktávová a zlomkooktávová pásma. Dále práce popisuje chování těchto filtrů při aplikaci v systémech s pevnou řádovou čárkou a rozebírá problematiku kvantování koeficientů diskrétního systému. Navržené banky filtrů jsou implementovány v jazyce C, kde je vytvořen jednoduchý analyzátor akustických signálů pracující dle normy ČSN EN 61260.
|
|
|
Automatické řízení výpočtu
Opálka, Jan ; Šátek, Václav (oponent) ; Kunovský, Jiří (vedoucí práce)
Práce se zabývá automatizací řízení numerických výpočtů. Nejprve je čtenář seznámen s numerickým řešením diferenciálních rovnic a paralelním, sériovým a sériově-paralelním numerickým integrátorem. Praktickým cílem práce je návrh řídících obvodů pro tři zmíněné varianty integrátorů. Součástí návrhu je i tvorba programového simulátoru řídícího obvodu sériově-paralelního integrátoru v pevné řádové čárce.
|
|
|
Načítání a tisk ASCII čísel v FPGA
Závodník, Tomáš ; Zachariášová, Marcela (oponent) ; Bartoš, Václav (vedoucí práce)
Tématem této práce je otázka zpracování dekadických čísel binárními hardwarovými jednotkami. Použití specializovaného hardware pro tento účel je problematické zejména z důvodu nekompatibility obou číselných soustav. Práce je zaměřena konkrétně na dekadická čísla v pevné řádové čárce předávaná ve formě řetězců ASCII znaků a na technologii FPGA. Navrhovaným řešením je vytvoření hardwarových jednotek umožňujících sekvenční načítání a tisk dekadických čísel ve zmíněné podobě po jednotlivých číslicích. Náplní práce je představení vhodných algoritmů a popis realizace navrhovaných jednotek. Výsledkem je jejich efektivní, konfigurovatelná, přenositelná a znovupoužitelná implementace.
|
|
|
Implementace audio ekvalizéru v hradlovém poli FPGA
Otisk, Libor ; Valach, Soběslav (oponent) ; Kváš, Marek (vedoucí práce)
Bakalářská práce seznamuje se základními typy audio ekvalizérů. Popisuje návrh číslicových filtrů pro grafický ekvalizér, správnou volbu struktury, rozložení a tvar číslicových filtrů. Také popisuje realizaci grafického ekvalizéru v aritmetice s pevnou řádovou čárkou. Dále je popsána implementace algoritmu grafického ekvalizéru na PC a implementace v hradlovém poli FPGA.
|
|
|
Implementace umělé neuronové sítě do obvodu FPGA
Čermák, Justin ; Šteffan, Pavel (oponent) ; Bohrn, Marek (vedoucí práce)
Tato diplomová práce popisuje postup návrhu efektivně pracujícího obvodu umělé neuronové sítě v obvodu FPGA řady Virtex-5 s maximálním využitím možnosti paralelizace. Teoretická část obsahuje základní informace o umělých neuronových sítích, obvodech FPGA a jazyku VHDL. Praktická část popisuje použitý formát proměnných, vytváření nelineární funkce, princip výpočtu jednotlivých vrstev, nebo možnosti parametrického nastavení vytvořené umělé neuronové sítě.
|
|
| |
host ::
RSS.