|
|
Simulace lomové zkoušky ve stavebnictví
Bordovský, Gabriel ; Vaverka, Filip (oponent) ; Jaroš, Jiří (vedoucí práce)
Tato práce optimalizuje program pro simulaci lomové zkoušky ve stavebnictví. Simulace je využívána k validaci lomových vlastností materiálu používaných při rekonstrukci historických budov. Názorně jsou prezentovány možnosti efektivnějšího využití procesoru při zachování kvality výsledků. V práci jsou analyzovány jednotlivé kroky simulace a následně navrženy možnosti optimalizace kritických úseku pomocí vektorizace či paralelizace. Techniky a postupy použité v této práci mohou být aplikovány na obdobné výpočty a tím výrazně zkrátit dobu potřebnou k výpočtu. Čas výpočtu prototypu byl přes 7,7 hodiny. Optimalizovaná verze zvládá sekvenčně stejný výpočet za 2,1 hodiny nebo paralélně na osmi jádrech za 21 minut. Oproti původní verzi je tak optimalizovaná paralelní verze 21-krát rychlejší.
|
|
|
Analysis of Interface Automata with On-Demand Replication
Daniel, Jakub ; Kofroň, Jan (vedoucí práce)
Interface automat je model chování softwarové komponenty založený na koneč- ných automatech. Popisuje její poskytovaná rozhraní neboli podporované použití a požadovaná rozhraní neboli použití ostatních komponent. Značný počet kompo- nent může být použit paralelně bez omezení úrovně paralelismu. Není nutné, aby se model pokoušel zachytit tuto neomezenost. Alternativním přístupem je umož- nit zvyšování úrovně paralelismu na vyžádání. Tato práce na teoretické úrovni analyzuje a navrhuje konečnou podobu operace k zajištění tohoto typu replikace s cílem umožnit konstrukci modelů libovolné úrovně paralelismu v určitých čás- tech jejich chování.
|
|
|
Psaný hlas: Whitmanovy Listy trávy (1855) a Millerův Obratník Raka
Skovajsa, Ondřej ; Vojvodík, Josef (vedoucí práce) ; Bílek, Petr (oponent) ; Pokorný, Martin (oponent)
Předkládaná disertační práce Psaný hlas zkoumá, jakým způsobem Walt Whitman a Henry Miller knihami, uzavřenými textovými produkty kultury modernity, burcují k vnímavějšímu a odvážnějšímu životu, jsou-li čtenáři ochotni opustit hermeneutiku podezření a přistoupit k Leaves of Grass (1855) a Tropic of Cancer (1934) s hermeneutikou hladu. Práce vychází z jazykového, antropologického a teologického aspektu orální teorie (M. Jousse, M. Parry, A. Lord, W. Ong, E. Havelock, J. Assmann, D. Abram, C. Geertz, T. Pettitt, J. Nohrnberg, D. Sölle) a zkoumá a srovnává paratexty, styl a genezi obou skladeb, následně obě velká JÁ, jejich étos a příběh. Základní teze je tato: Obě skladby napadají nostalgii, posterioritu a uzavřenost literatury, rehabilitují tělesnost a přibližují se kinetismu a futuralitě Bible. Oba autoři toho dosahují především "nepovinným" užitím prostředků orální mnemotechniky, zejména paralelismu či bilateralismu, dále užitím obscénnosti, přítomného času a přijetím role Krista pro svá textová JÁ. Čtenář má hermeneuticky křísit "mrtvá" vytištěná slova v maso/tělo a čin. Práce následně pojednává o dalším vývoji autorských teopoetik: oralita pozdějších textů je již výrazně stylizovanější, z divých bardů se postupně stávají literáti. V závěru si práce klade otázky nad vitalizující, futurální...
|
|
|
Analýza paralelizovatelnosti programů na základě jejich bytecode
Brabec, Michal ; Bednárek, David (vedoucí práce) ; Ježek, Pavel (oponent)
Analýza paralelizovatelnosti programů na základě jejich bytecode Práce se zabývá analýzou možností aplikace algoritmů pro automatickou paralelizaci na programy, u kterých máme k dispozici jejich bytecode, nebo podobný mezikód. Nejdůležitějším vstupem těchto algoritmů je identifikace částí kódu, které by mohly být spuštěny zároveň, tyto části se nazývají nezávislé a právě testování závislostí v kódu je nejtěžší problém automatické paralelizace. Tento problém je v úplně obecném případě algoritmicky neřešitelný a práce se snaží zjistit, jestli je možné najít nezávislosti v bytecode alespoň v nějakém omezeném případě. Prvním krokem analýzy kódu funkce je integrace volaných funkcí, které umožní analyzovat výsledný kód najednou a získat tak přesnější informace. Dále je třeba identifikovat podmíněné skoky a cykly, až pak je teprve možné hledat nezávislosti v kódu a ty potom použít při aplikace paralelizačních algoritmů. Součástí práce je implementace integrace funkcí a analýzy kódu pro platformu Microsoft .NET Framework.
|
|
|
Analysis of Interface Automata with On-Demand Replication
Daniel, Jakub ; Kofroň, Jan (vedoucí práce) ; Bednárek, David (oponent)
Interface automat je model chování softwarové komponenty založený na koneč- ných automatech. Popisuje její poskytovaná rozhraní neboli podporované použití a požadovaná rozhraní neboli použití ostatních komponent. Značný počet kompo- nent může být použit paralelně bez omezení úrovně paralelismu. Není nutné, aby se model pokoušel zachytit tuto neomezenost. Alternativním přístupem je umož- nit zvyšování úrovně paralelismu na vyžádání. Tato práce na teoretické úrovni analyzuje a navrhuje konečnou podobu operace k zajištění tohoto typu replikace s cílem umožnit konstrukci modelů libovolné úrovně paralelismu v určitých čás- tech jejich chování.
|
|
| |
|
|
Manažer pro deskové hry s paralelním hraním turnajů
Čížek, Tomáš ; Snášelová, Petra (oponent) ; Rozman, Jaroslav (vedoucí práce)
Tématem této bakalářské práce je navržení a realizace aplikace pro pořádání turnajů v klasických deskových hrách, které jsou hrány počítačovými programy. Aplikace vychází z již existujícího Manažeru deskových her a rozšiřuje ho mimo jiné o možnost paralelního hraní her v rámci turnaje. Z počátku popisuji původní Manažer deskových her. Následně se věnuji problematice programování paralelních a přenositelných aplikací. Zbytek práce shrnuje návrh a implementaci cílové aplikace.
|
|
|
Paralelizace ultrazvukových simulací pomocí akcelerátoru Intel Xeon Phi
Vrbenský, Andrej ; Hrbáček, Radek (oponent) ; Jaroš, Jiří (vedoucí práce)
Simulácia šírenia ultrazvukových akustických vĺn má v dnešnej dobe široké praktické použitie. Jedným z nich je simulácia v reálnom tkanivovom prostredí, ktorá má dobré uplatnenie v medicíne. Jednou z aplikácií, ktoré sú na túto simuláciu určené, je k-Wave toolbox. Výpočtová náročnosť takýchto simulácii je veľmi veľká a preto sa vyvíjajú nové metódy pre jej zrýchlenie. V tejto diplomovej práci sme navrhli riešenie pre urýchlenie simulácie, založené na paralelizácii výpočtu na akceleračnej karte Intel Xeon Phi. Akcelerátor obsahuje vysoký počet jadier a extra-širokú vektorovú jednotku, a je preto ideálny na paralelizáciu a vektorizáciu. Implementácia využíva OpenMP verzie 4.0, ktorá prináša niektoré nové možnosti ako napríklad explicitnú vektorizáciu. Dosiahnuté výsledky boli namerané počas rozsiahlych experimentov.
|
|
|
Simulace vody na GPU
Hanzlíček, Jiří ; Jaroš, Jiří (oponent) ; Vaverka, Filip (vedoucí práce)
Cílem této práce je najít vhodný model kapaliny, jehož numerickou simulaci lze realizovat jako interaktivní. Tento požadavek vede na řešení založené na vysoce paralelním algoritmu. Implementace je provedena na procesoru i na grafické kartě tak, aby bylo možné dosáhnout srovnání výpočetního výkonu jednotlivých zařízení na zvoleném modelu.
|
|
|
Algoritmy číslicového zpracování obrazu na grafických kartách
Bielczyk, Marek ; Lattenberg, Ivo (oponent) ; Přinosil, Jiří (vedoucí práce)
Cílem práce je ukázat možnosti využití grafických karet při zobrazování obrazového signálu. Práce je zaměřena obzvlášť na technologie CUDA a OpenCL. V řešení se nejdříve zaměříme na samostatnou grafickou kartu a ukážeme si postupný vývoj jejich komponentů a následný projevený efekt ve výkonu grafické karty. Poté si ukážeme samotné technologie CUDA a OpenCL, a také ukázky z kódů s vysvětlením , co který kód způsobí. Výstupem práce je několik programů, definovaných pro obě technologie a pro oba vykonavatele (CPU vs GPU). Přínosem této práce je vidět rozdíly mezi vykonavateli a tím i poukázaní na správnou volbu při návrhu vlastních algoritmů.
|
host ::
RSS.