|
|
Numerický dělící integrátor SSI
Suntcov, Roman ; Veigend, Petr (oponent) ; Šátek, Václav (vedoucí práce)
Práce se zabývá numerickou integrací a operací dělení v hardware. Čtenář je seznámen s numerickým řešením diferenciálních rovnic pomocí několika různých metod, z nichž lze zmínit například Taylorovu řadu. Dále je probrána operace dělení v hardware a způsob jejího provedení v FPGA. Následně je navržen paralelně-paralelní a sériově-paralelní integrátor. Praktickým cílem práce je návrh a implementace sériově-sériového dělícího integrátoru a vytvoření simulátoru pro něj.
|
|
|
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.
|
|
|
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.
|
|
|
Nástroj pro simulaci výpočtů s pevnou řádovou čárkou
Grézl, Vojtěch ; Kunz, Jan (oponent) ; Čala, Martin (vedoucí práce)
Tato bakalářská práce se zabývá vytvořením nástroje pro simulaci výpočtů s pevnou řádovou čárkou. Díky tomuto nástroji dojde ke zjednodušení a ke zvýšení efektivity provádění operací s hodnotami různých datových typů. Pomocí vyčíslení a grafického zobrazení absolutních chyb, které vytváří převod hodnot mezi datovými typy a pomocí maximální absolutní chyby, může uživatel zhodnotit, je-li pro něj tento převod optimální. Po obeznámení s touto problematikou v rámci teoretického úvodu následuje návrh praktické části, který shrnuje realizaci a postup při návrhu programu v prostředí LabVIEW 2021. Postup návrhu praktické části je proveden na základě vlastností a podpory prostředí LabVIEW a jeho FPGA modulu a cílí na vytvoření přívětivého a přehledného uživatelského rozhraní. Výstupem praktické části je nástroj, který pracuje s vytvořeným VI, obsahující posloupnost různých operací s různými vstupními a výstupními datovými typy. Program slouží pro převod čísel různých datových typů na typ jiný, převážně se jedná o převod na datový typ fixed point. Uživatel udává hlavní směr vytvořením vzorového VI, jehož operace budou následně provedeny. Další parametry, které může uživatel nastavit a ovlivnit tak chod programu, jsou uvedeny na uživatelském rozhraní.
|
|
|
Abstraction in Automata Algorithms
Kocourek, Tomáš ; Lengál, Ondřej (oponent) ; Holík, Lukáš (vedoucí práce)
The goal of this thesis is to implement and experimentally compare antichain-based algorithms with and without abstraction, which decide the emptiness of alternating finite automata. The author also proposes his own algorithms using abstraction and comes up with a few optimizations of existing abstract algorithms. The thesis introduces the theoretical background of studied algorithms and describes efficient ways to implement data structures which are used by these algorithms. The experimental evaluation over random automata shows that the algorithms without abstraction give us better results in general because they do not perform costly evaluation of closed set intersection and complementation. However, in case of automata with high transition density, the algorithms without abstraction tend to decelerate, while the abstract ones accelerate.
|
|
|
Návrh aritmetické jednotky v pevné řádové čárce pro obvody FPGA
Kalocsányi, Vít ; Fujcik, Lukáš (oponent) ; Dvořák, Vojtěch (vedoucí práce)
Tato práce se zabývá návrhem aritmetické jednotky pro práci s čísly v pevné řádové čárce pro obvody FPGA a jejím modelem v Matlabu. V práci je představena reprezentace čísel v digitálních obvodech a základní i vybrané doplňující aritmetické operace s čísly v pevné řádové čárce. Dále je navrhnut model aritmetické jednotky v Matlabu, je popsána realizace této jednotky v jazyce VHDL a provedena její implementace do obvodu FPGA. Na závěr je ukázán konkrétní příklad využití navrhnutého modelu aritmetické jednotky pro simulaci složitých systémů v prostředí Simulink.
|
|
|
Nástroj pro simulaci výpočtů s pevnou řádovou čárkou
Grézl, Vojtěch ; Kunz, Jan (oponent) ; Čala, Martin (vedoucí práce)
Tato bakalářská práce se zabývá vytvořením nástroje pro simulaci výpočtů s pevnou řádovou čárkou. Díky tomuto nástroji dojde ke zjednodušení a ke zvýšení efektivity provádění operací s hodnotami různých datových typů. Pomocí vyčíslení a grafického zobrazení absolutních chyb, které vytváří převod hodnot mezi datovými typy a pomocí maximální absolutní chyby, může uživatel zhodnotit, je-li pro něj tento převod optimální. Po obeznámení s touto problematikou v rámci teoretického úvodu následuje návrh praktické části, který shrnuje realizaci a postup při návrhu programu v prostředí LabVIEW 2021. Postup návrhu praktické části je proveden na základě vlastností a podpory prostředí LabVIEW a jeho FPGA modulu a cílí na vytvoření přívětivého a přehledného uživatelského rozhraní. Výstupem praktické části je nástroj, který pracuje s vytvořeným VI, obsahující posloupnost různých operací s různými vstupními a výstupními datovými typy. Program slouží pro převod čísel různých datových typů na typ jiný, převážně se jedná o převod na datový typ fixed point. Uživatel udává hlavní směr vytvořením vzorového VI, jehož operace budou následně provedeny. Další parametry, které může uživatel nastavit a ovlivnit tak chod programu, jsou uvedeny na uživatelském rozhraní.
|
|
|
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.
|
|
|
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)
|
|
|
Komutující spojité funkce bez společného pevného bodu
Karasová, Klára ; Vejnar, Benjamin (vedoucí práce) ; Cúth, Marek (oponent)
Tématem práce jsou společné pevné body komutujících funkcí. Pomocí Mountain climbing theorem dokážeme větu o rozšiřování komutujících funkcí, která nám umožní zkonstruovat komutující funkce intervalu [0, 1] na sebe, které nemají společný pevný bod. Dále jsou dokázány různé verze věty o rozšiřování komutujících funkcí pomocí růz- ných verzí Mountain climbing theorem. Také dokážeme, že je-li X dendroid, S abelovská semigrupa monotónních zobrazení na X a f : X → X komutuje se všemi prvky S, pak f a S mají společný pevný bod. 1
|
host ::
RSS.