|
|
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.
|
|
|
Automatické řízení výpočtu ve specializovaném výpočetním systému
Opálka, Jan ; Šátek, Václav (oponent) ; Kunovský, Jiří (vedoucí práce)
Práce se zabývá automatizací řízení výpočtů ve specializovaném systému. Nejprve je čtenář seznámen s numerickým řešením diferenciálních rovnic pomocí metody Taylorovy řady a s numerickými integrátory. Praktickým cílem této práce je analýza paralelních vlastností metody Taylorovy řady a specifikace paralelních matematických operací. Je proveden návrh řízení systému pro tyto operace.
|
|
|
Hardwarová realizace numerického integrátoru s metodou vyššího řádu
Matečný, František ; Veigend, Petr (oponent) ; Šátek, Václav (vedoucí práce)
Práca popisuje numerickú integráciu a riešenie obyčajných diferenciálnych rovníc pomocou metódy Taylorovej rady v rôznych typoch integrátorov. Ďalej je popísaná aritmetika pevnej a pohyblivej rádovej čiarky. Následne sú predstavené návrhy a spôsob výpočtu paralelných integrátorov s operáciou násobenia a delania v prevedení pevnej a pohyblivej rádovej čiarky. Súčasťou práce je taktiež popísanie integrátorov vo VHDL a ich implementácia v FPGA. V závere práce je analyzovaná časová zložitosť výpočtu s inými numerickými metódami.
|
|
| |
|
|
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.
|
|
|
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.
|
|
|
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.
|
|
|
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ě.
|
|
|
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.
|
|
|
Knihovna pro návrh konvolučních neuronových sítí
Rek, Petr ; Mrázek, Vojtěch (oponent) ; Sekanina, Lukáš (vedoucí práce)
V rámci této diplomové práce je čtenář seznámen s problematikou neuronových a konvolučních neuronových sítí. Na základě těchto znalostí je poté proveden návrh a implementace knihovny umožňující práci s konvolučními neuronovými sítěmi - od návrhu, přes trénování až po validaci. Výsledná knihovna je poté vyhodnocena na klasických úlohách pro konvoluční neuronové sítě a porovnána s jinými knihovnami. Rozšířením knihovny, díky kterému se odliší od jiných volně dostupných, je nezávislost na datovém typu. Každá vrstva může mít až tři na sobě nezávislé datové typy - pro váhy, pro inferenci a pro učení. Za účelem vyhodnocení tohoto rozšíření je součástí knihovny i datový typ s pevnou řádovou čárkou. Vliv této reprezentace na přesnost natrénované sítě je podroben experimentům.
|
host ::
RSS.