|
|
Kompresní metody založené na kontextovém modelování
Gach, Tomáš ; Drábek, Vladimír (oponent) ; Bařina, David (vedoucí práce)
Cílem této práce je popsat základní vlastnosti kontextových kompresních metod. Proces modelování je uveden společně s principem aritmetického kódování. Postupně jsou představeny metody PPM, CTW a PAQ a je nastíněna možná implementace pravděpodobnostního modelu základní metody PPM. Je provedeno srovnání výkonnosti kontextových, slovníkových a v současnosti používaných metod komprese dat. Na základě dosažených výsledků jsou shrnuty možnosti využití metody PPM.
|
|
|
Samočinný test ALU za provozu
Bednář, Jaroslav ; Růžička, Richard (oponent) ; Drábek, Vladimír (vedoucí práce)
Práce se zabývá různými poruchami, které mohou nastat při výrobě a provozu ALU. Nastiňuje vícero dělení poruch a jejich modely. Jsou rozebrány přístupy k zajištění bezpečnosti systému zejména po hardwarové stránce. Následuje shrnutí softwarových metod pro testování ALU. Poslední kapitola rozebírá návrh knihovny pro testy mikrokontroléru MSP430.
|
|
|
Techniky reprezentace pro evoluční návrh celulárních automatů
Kovács, Martin ; Drábek, Vladimír (oponent) ; Bidlo, Michal (vedoucí práce)
Tato práce je zaměřena na experimentální testování různých reprezentací přechodové funkce celulárního automatu. V práci je prezentována výpočetní platforma celulárního automatu. Celulární automat má mnoho potenciálních využití při simulacích různých přírodních jevů, fyzikálních systémů, atd. Jeho paralelní výpočet založený na lokálních bunečných interakcích je však náročný na programování, proto je návrh programu automatu často přenechán evolučním technikám. Evoluční techniky založené na Darwinově teorii evoluce byly už mnohokrát využity pro nalezení stejně dobrých nebo lepších než lidsky navržených řešení různých problémů. Evoluční techniky ale vyžadují speciální zakódování řešených problémů, a právě z toho důvodu jsou reprezentace přechodové funkce celulárního automatu zkoumány. Zkoumané reprezentace zahrnují klasickou tabulkovou reprezentaci, podmínková pravidla a kartézske genetické programování. Testovacím problémem pro určení efektivity reprezentací je funkce druhé mocniny.
|
|
| |
|
|
Síťová architektura a propojování vestavěných systémů
Trchalík, Roman ; Drábek, Vladimír (oponent) ; Srovnal, Vilém (oponent) ; Švéda, Miroslav (vedoucí práce)
Tato práce se věnuje architektuře vestavěných systémů. Shrnuje současný stav přijatých standardů z rodiny IEEE 1451, které se zabývají vytvářením prostředí pro senzory a jejich zapojení do různých komunikačních sítí. Tyto standardy popisují otevřenou a síťově nezávislou komunikační architekturu pro systém založený na senzorech. Těžištěm práce jsou architektury uvedené jako případové studie, které mohou být využity jako návrhové vzory vestavěných aplikací demonstrované na bezdrátové technologii ZigBee vhodné pro malá zařízení s velmi nízkou spotřebou elektrické energie. Na základě těchto studií jen navržena univerzální brána, která umožňuje aplikační propojení koncových uzlů z různých bezdrátových architektur určených pro senzorové sítě. Práce se dále zabývá modifikováním směrovacího protokolu v síti ZigBee s cílem snížit spotřebu elektrické energie na přenos jednoho datového paketu.
|
|
|
Kompresní metody založené na kontextovém modelování
Krupička, Matúš ; Drábek, Vladimír (oponent) ; Bařina, David (vedoucí práce)
Náplní téhle bakalářské práce je analýza kontextových kompresních metod, jejich vlastností a možností využití. Práce se zaměřuje a podává detailní přehled statistické metody PPM (metoda predikce částečné shody). Je popsán programový návrh této metody jako aj samotná implementace. Závěrem taky porovnání činnosti tohoto programu s již existujícími metodami komprimace dat.
|
|
|
Optimalizace návrhu celulárních automatů
Jílek, Tomáš ; Drábek, Vladimír (oponent) ; Bidlo, Michal (vedoucí práce)
Tato diplomová práce je zaměřena na evoluční návrh celulárních automatů a jeho optimalizaci. Nejprve jsou popsány evoluční algoritmy, celulární automaty, a poté je rozebrán jeden z možných nových postupů pro reprezentaci a evoluční návrh přechodové funkce automatu - podmínková pravidla. Následuje popis experimentů s podrobnými výsledky. V závěru je prezentováno úspěšné dosažení optimalizace evolučního návrhu celulárních automatů za pomocí podmínkových pravidel pro vybrané problémy.
|
|
|
Akcelerace algoritmů komprese dat s využitím GPU
Cacek, Pavel ; Drábek, Vladimír (oponent) ; Šimek, Václav (vedoucí práce)
Tato bakalářská práce se zabývá možnostmi akcelerace kompresního algoritmu na grafické kartě. Konkrétním zkoumaným algoritmem je kompresní algoritmus JPEG, který se používá pro kompresi obrazových dat. V textu jsou nejprve představeny technologie, pomocí kterých můžeme využívat výpočetní sílu grafických karet. Dále se práce zaměřuje na teoretický popis algoritmu JPEG a následně je popsána jeho implementace pomocí OpenCL a NVIDIA CUDA. Nakonec je provedeno srovnání výkonu těchto GPGPU technologií.
|
|
|
Tvorba spolehlivostních modelů pro pokročilé číslicové systémy
Trávníček, Jan ; Drábek, Vladimír (oponent) ; Kaštil, Jan (vedoucí práce)
Tato práce se zabývá problematikou spolehlivosti systémů. Nejprve je zde diskutován samotný pojem spolehlivosti a její ukazatele, kterými spolehlivost můžeme konkrétně vyjadřovat. V~další kapitole jsou popsány možné spolehlivostní modely pro jednoduché a složitější systémy. Dále jsou zde popsány základní postupy pro tvorbu spolehlivostních modelů. Čtvrtá kapitola je věnována velmi důležitým markovským modelům. Markovské modely jsou velmi silným a komplexním nástrojem pro výpočet spolehlivosti složitých systému. Je zde vysvětlena vhodnost jejich použití pro obnovované systémy, které mohou obsahovat absorpční stavy. Další kapitola popisuje zálohu systému. Diskutuje výhody a nevýhody statické, dynamické a hybridní zálohy. Také je zde popsán vliv různé úrovně zatížení na životnost součástek. Šestá kapitola je věnována implementaci, popisu aplikace a vstupního souboru ve formátu XML. Jsou zde také diskutovány naměřené výsledky získané při experimentálních výpočtech.
|
|
|
Využití syntézy na systémové úrovni pro aplikace s platformou ZYNQ
Husák, Jiří ; Drábek, Vladimír (oponent) ; Fučík, Otto (vedoucí práce)
Práce se zabývá využitím syntézy na systémové úrovni v aplikaci pro zpracování obrazu. Aplikace je určena pro platformu Xilinx ZYNQ. Komponenty v FPGA jsou popsány v jazyce C++. K implementaci bylo použito vývojové prostředí Xilinx Vivado HLS. V rámci práce byly navrženy a implementovány filtry obrazu (Sobelův, mediánový, bilaterální) a také architektura ke klasifikátoru AdaBoost pro detekci registračních značek vozidel. Jako rozšíření byla implementována komponenta pro vyhledávání začátku paketu.
|
host ::
RSS.