|
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í.
|
|
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.
|
|
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.
|
|
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.
|
|
Kompresní metody založené na kontextovém modelování
Kozák, Filip ; Drábek, Vladimír (oponent) ; Bařina, David (vedoucí práce)
Cílem této práce je popsat kontextové kompresní metody a jejich aplikaci na multimediální data. Je zde popsán princip aritmetického kódování a metody prediction by partial matching včetně tvorby pravděpodobnostního modelu. Také jsou popsány multimediální data a základní principy jejich komprese. V další části jsou prezentovány kompresní metody, které jsem implementoval v práci a jejich výsledky.
|
|
Návrh výpočetních struktur v celulárních automatech
Luža, Jindřich ; Drábek, Vladimír (oponent) ; Bidlo, Michal (vedoucí práce)
za pomocí celulárních automatů. Práce popisuje principy fungování celulárních automatů a zabývá se jejich způsoby jejich využítí pro stanovený cíl. Na 1D a 2D rozměrných celulárních automatech vybraných typů jsou ukázány možné způsoby jak Turingovsky univerzálního výpočtu tak i další řešící specifické úlohy. Tímto je demonstrována schopnost celulárních automatů provádět výpočet a zároveň jsou ukázány rozlišné způsoby interpretace vstupů a výstupů výpočtů na celulárním automatu. S přihlédnutím k těmto poznatkům jsou pro vybrané obvody navrženy testy mající za úkol nalézt realizaci těchto obvodů na celulárních automatech za pomoci zvoleného evolučního algoritmu. Nalezené výsledky jsou pak porovnány z hlediska jejich nároků na evoluční algoritmus a spotřebované výpočetní zdroje.
|
|
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.
|
| |
|
Tvorba spolehlivostních modelů pro pokročilé číslicové systémy
Wanka, Mario ; Drábek, Vladimír (oponent) ; Kaštil, Jan (vedoucí práce)
Cílem této práce je simulovat vliv spolehlivosti obvodů detekujících chybu u komponent pokročilých digitálních systémů. Prvně je definována spolehlivost a skutečnosti s ní související a jsou představeny Markovské modely. Tyto jsou využity pro samotný simulátor, který je představený v následující kapitole. Jedná se o ad-hoc řešení a použití tohoto simulátoru je detailně popsáno. Stejně tak je popsáno jeho chování v průzných situacích a s různou konfigurací. Na závěr jsou ukázány a diskutovány výsledky experimentů se spolehlivostí obvodů detekujících chybu pro různé modely. Dle výsledků práce je zřejmé, že zásadním faktorem pro zajištění spolehlivosti systému je krátkodobé maskování chyby a dlouhodobé udržení opravovatelnosti.
|
|
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.
|