|
|
Zpracování obrazu s velkými datovými toky - využití CUDA/OpenCL
Sedláček, Filip ; Klečka, Jan (oponent) ; Honec, Peter (vedoucí práce)
Hlavným cieľom tejto práce je návrh optimalizácie algoritmu detekujúceho vady v produkovanom netkanom textile. Algoritmus vyvinula spoločnosť CAMEA spol. s.r.o. Dôsledkom zmeny aktuálneho kamerového systému za výkonnejší, bude potreba aktuálny algoritmus optimalizovať a vybrať hardvér s vhodnou architektúrou, na ktorom budú výpočty vykonávané. V práci budu detailnejšie popísané programovacie techniky softvérovej architektúri CUDA a frameworku OpenCL. Pomocou týchto nástrojov navrhneme implementáciu paralelného ekvivalentu aktuálneho algoritmu, popíšeme rôzne optimalizačné metódy a navrhneme GUI k testovaniu týchto metód.
|
|
|
GPU-Accelerated Synthesis of Probabilistic Programs
Marcin, Vladimír ; Matyáš, Jiří (oponent) ; Češka, Milan (vedoucí práce)
This paper examines the problem of automatic synthesis of probabilistic programs: having a finite family of candidate programs, how can one efficiently identify a program that satisfies a given specification. Even the most straightforward synthesis problems prove to be NP-hard. An improvement to this state of practice is brought by the PAYNT tool, which tackles this problem with a novel integrated technique for synthesising probabilistic programs. Even though it efficiently deals with the exponential growth of the family size, there is still a problem with the underlying state-space explosion. To solve this problem, we have implemented GPU-oriented model-checking algorithms that takes advantage of the GPU architecture and parallelise the task at a state level of a probabilistic model. The overall acceleration that we were able to achieve with this approach was, under certain conditions, close to the theoretically possible limit of the acceleration of the whole synthesis process.
|
|
|
Paralelizace výpočtů pomocí GPGPU prostředků
Pacura, Dávid ; Horák, Karel (oponent) ; Petyovský, Petr (vedoucí práce)
Cieľom tejto bakalárskej práce je poukázanie na moţnosti a demonštrácia paralelizácie výpočtov pomocou grafických procesorov. V práci sú uvedené popisy dostupných vývojových nástrojov, a na ich základe je jeden zvolený na implementáciu šifrovacieho MD5 algoritmu a neurónovej siete na rozpoznávanie čísel. Výkon algoritmov je následne porovnaný so svojím paralelným ekvivalentom pre beţné procesory. V závere sú popísané problémy pri vývoji a spôsoby, ktorými je moţné sa im vyhnúť
|
|
|
Asistovaná vektorizace a paralelizace kódu pomocí standardu OpenMP 4.0
Slouka, Lukáš ; Nikl, Vojtěch (oponent) ; Jaroš, Jiří (vedoucí práce)
Predmetom bakalárskej práce je optimalizácia kódu pomocou štandardu OpenMP 4.0, ktorý poskytuje prostriedky pre asistovanú paralelizáciu a vektorizáciu. Okrem popisu štandardu OpenMP 4.0 práca obsahuje aj náhľad do architektúr moderných počítačov a to najmä systému rýchlych vyrovnávacích pamätí a modulov SSE/AVX, ktoré hrajú veľmi významnú rolu v oblasti optimalizácie. Práca demonštruje výhody optimalizovaného kódu pomocou štandardu OpenMP 4.0 oproti neoptimalozavanému kódu na sade benchmarkov zameraných na rôzne aspekty optimalizácie.
|
|
|
Využitie grafických procesorov pre univerzálne výpočty v priemyselných systémoch
Lukačovič, Martin ; Mašek, Jan (oponent) ; Krkoš, Radko (vedoucí práce)
Práca sa zaoberá možnosťami grafických procesorov v oblasti GPGPU. Obsahuje historické riešenia až po súčasné architektúry. Rovnako sú popísané grafické procesory od najväčších súčasných výrobcov, ich zameranie a ciele v budúcnosti. Pre implementáciu algoritmov pomocou GPU sú potrebné API rozhrania, ktoré ponúkajú rôzne možnosti prevedenia. Okrem CPU a GPU sa pre univerzálne paralélne výpočty využívajú i alternatívy ako FPGA a DSP, kedy je potrebné zvážiť cenovú a energetickú náročnosť. V práci je venovaná časť spôsobu komunikácie s hardwarom a moderným pamäťovým prístupom. Pre demonštráciu paralelného výpočtu bola uskutočnená implementácia násobenia matíc v OpenCL.
|
|
|
Efektivní implementace vysoce náročných algoritmů na vícejádrových procesorech
Tomečko, Lukáš ; Bidlo, Michal (oponent) ; Jaroš, Jiří (vedoucí práce)
Cieľom tejto práce je paralelizovať a vektorizovať simuláciu toku kvapalín. Dosiahne sa to pomocou knižnice OpenMP a prekladaču od Intelu. Implementované boli rôzne prístupy k problému, ako napr. cache blocking, zoraďovanie dát počas behu a dočasné reorganizovanie dát v pamäti. Skombinovaním najrýchlejších riešení sa podarilo simuláciu celkovo zrýchliť 11,4krát na 16 jadrách, pričom testy prebiehali na ostravskom superpočítači Anselm. Výsledky ukazujú, že výsledná aplikácia dobre škáluje s pribúdajúcim počtom jadier. Ďalej, vektorizovanie daného problému bolo možné len čiastočne z dôvodu nevhodného spôsobu práce s dátami.
|
|
|
Simulace CMOS VLSI obvodů
Šťastná, Hilda ; Kocina, Filip (oponent) ; Šátek, Václav (vedoucí práce)
Táto diplomová práca pojednáva o spôsoboch výpočtu elektrických obvodov vo svetových štandardoch, ktorými sú v posledných rokoch aplikácie Dymola, MATLAB, Maple či SPICE. Výpočet obvodov súvisí s metódami riešenia lineárnych diferenciálnych rovníc, využitými pri~overení správnosti funkcie navrhnutých modelov CMOS invertoru, CMOS NAND, CMOS NOR. Numerická integračná metóda s nasadením Taylorovej rady je vhodnou metódou i~pri~paralelizácii výpočtov CMOS VLSI obvodov. Simulácia CMOS obvodov s využitím tejto metódy bola implementovaná do aplikácií v jazyku MATLAB, riešiacich obvody, popísane diferenciálnymi rovnicami. Funkčnosť aplikácií bola overená na príkladoch. Signifikantné zrýchlenie výpočtov využitím Taylorovej rady v porovnaní s ostatnými metódami je významným faktorom pri voľbe metód použitých pri~simuláciách obvodov.
|
|
|
GPU-Accelerated Synthesis of Probabilistic Programs
Marcin, Vladimír ; Matyáš, Jiří (oponent) ; Češka, Milan (vedoucí práce)
This paper examines the problem of automatic synthesis of probabilistic programs: having a finite family of candidate programs, how can one efficiently identify a program that satisfies a given specification. Even the most straightforward synthesis problems prove to be NP-hard. An improvement to this state of practice is brought by the PAYNT tool, which tackles this problem with a novel integrated technique for synthesising probabilistic programs. Even though it efficiently deals with the exponential growth of the family size, there is still a problem with the underlying state-space explosion. To solve this problem, we have implemented GPU-oriented model-checking algorithms that takes advantage of the GPU architecture and parallelise the task at a state level of a probabilistic model. The overall acceleration that we were able to achieve with this approach was, under certain conditions, close to the theoretically possible limit of the acceleration of the whole synthesis process.
|
|
|
Zpracování obrazu s velkými datovými toky - využití CUDA/OpenCL
Sedláček, Filip ; Klečka, Jan (oponent) ; Honec, Peter (vedoucí práce)
Hlavným cieľom tejto práce je návrh optimalizácie algoritmu detekujúceho vady v produkovanom netkanom textile. Algoritmus vyvinula spoločnosť CAMEA spol. s.r.o. Dôsledkom zmeny aktuálneho kamerového systému za výkonnejší, bude potreba aktuálny algoritmus optimalizovať a vybrať hardvér s vhodnou architektúrou, na ktorom budú výpočty vykonávané. V práci budu detailnejšie popísané programovacie techniky softvérovej architektúri CUDA a frameworku OpenCL. Pomocou týchto nástrojov navrhneme implementáciu paralelného ekvivalentu aktuálneho algoritmu, popíšeme rôzne optimalizačné metódy a navrhneme GUI k testovaniu týchto metód.
|
|
|
Simulace CMOS VLSI obvodů
Šťastná, Hilda ; Kocina, Filip (oponent) ; Šátek, Václav (vedoucí práce)
Táto diplomová práca pojednáva o spôsoboch výpočtu elektrických obvodov vo svetových štandardoch, ktorými sú v posledných rokoch aplikácie Dymola, MATLAB, Maple či SPICE. Výpočet obvodov súvisí s metódami riešenia lineárnych diferenciálnych rovníc, využitými pri~overení správnosti funkcie navrhnutých modelov CMOS invertoru, CMOS NAND, CMOS NOR. Numerická integračná metóda s nasadením Taylorovej rady je vhodnou metódou i~pri~paralelizácii výpočtov CMOS VLSI obvodov. Simulácia CMOS obvodov s využitím tejto metódy bola implementovaná do aplikácií v jazyku MATLAB, riešiacich obvody, popísane diferenciálnymi rovnicami. Funkčnosť aplikácií bola overená na príkladoch. Signifikantné zrýchlenie výpočtov využitím Taylorovej rady v porovnaní s ostatnými metódami je významným faktorom pri voľbe metód použitých pri~simuláciách obvodov.
|
host ::
RSS.