|
|
Modelování dopravy s využitím celulárních automatů
Hodaňová, Andrea ; Martinek, David (oponent) ; Peringer, Petr (vedoucí práce)
Jednou z mnoha oblastí, v níž nacházejí svoje uplatnění celulární automaty, jsou i mikrosimulace dopravy. Tato práce analyzuje vlastnosti různých celulárních modelů dopravy od nejednodušších deterministických po složité stochastické odvozené od stěžejního modelu Nagel-Schreckenberg, který je podrobně představen. Na základě tohoto zkoumání je pak navrhnut a v jazyce Java implementován obecný dopravní simulátor schopný vizualizace stavu CA silnice pomocí jednoduchého grafického uživatelského rozhraní, jehož prostřednictvím je uživatel seznámen s klíčovými prvky několika implementovaných dopravních modelů.
|
|
|
Využití funkcionálních jazyků pro hardwarovou akceleraci
Hodaňová, Andrea ; Kadlček, Filip (oponent) ; Fučík, Otto (vedoucí práce)
Cílem této práce je prozkoumat možnosti využití funkcionálního paradigmatu pro hardwarovou akceleraci, konkrétně pro datově paralelní úlohy. Úroveň abstrakce tradičních jazyků pro popis hardwaru, jako VHDL a Verilog, přestáví stačit. Pro popis na algoritmické či behaviorální úrovni se rozmáhají jazyky původně navržené pro vývoj softwaru a modelování, jako C/C++, SystemC nebo MATLAB. Funkcionální jazyky se s těmi imperativními nemůžou měřit v rozšířenosti a oblíbenosti mezi programátory, přesto je předčí v mnoha vlastnostech, např. ve verifikovatelnosti, schopnosti zachytit inherentní paralelismus a v kompaktnosti kódu. Pro akceleraci datově paralelních výpočtů se často používají jednotky FPGA, grafické karty (GPU) a vícejádrové procesory. Praktická část této práce rozšiřuje existující knihovnu Accelerate pro počítání na grafických kartách o výstup do VHDL. Accelerate je možno chápat jako doménově specifický jazyk vestavěný do Haskellu s backendem pro prostředí NVIDIA CUDA. Rozšíření pro vysokoúrovňovou syntézu obvodů ve VHDL představené v této práci používá stejný jazyk a frontend.
|
|
|
Modelování dopravy s využitím celulárních automatů
Hodaňová, Andrea ; Martinek, David (oponent) ; Peringer, Petr (vedoucí práce)
Jednou z mnoha oblastí, v níž nacházejí svoje uplatnění celulární automaty, jsou i mikrosimulace dopravy. Tato práce analyzuje vlastnosti různých celulárních modelů dopravy od nejednodušších deterministických po složité stochastické odvozené od stěžejního modelu Nagel-Schreckenberg, který je podrobně představen. Na základě tohoto zkoumání je pak navrhnut a v jazyce Java implementován obecný dopravní simulátor schopný vizualizace stavu CA silnice pomocí jednoduchého grafického uživatelského rozhraní, jehož prostřednictvím je uživatel seznámen s klíčovými prvky několika implementovaných dopravních modelů.
|
|
|
Využití funkcionálních jazyků pro hardwarovou akceleraci
Hodaňová, Andrea ; Kadlček, Filip (oponent) ; Fučík, Otto (vedoucí práce)
Cílem této práce je prozkoumat možnosti využití funkcionálního paradigmatu pro hardwarovou akceleraci, konkrétně pro datově paralelní úlohy. Úroveň abstrakce tradičních jazyků pro popis hardwaru, jako VHDL a Verilog, přestáví stačit. Pro popis na algoritmické či behaviorální úrovni se rozmáhají jazyky původně navržené pro vývoj softwaru a modelování, jako C/C++, SystemC nebo MATLAB. Funkcionální jazyky se s těmi imperativními nemůžou měřit v rozšířenosti a oblíbenosti mezi programátory, přesto je předčí v mnoha vlastnostech, např. ve verifikovatelnosti, schopnosti zachytit inherentní paralelismus a v kompaktnosti kódu. Pro akceleraci datově paralelních výpočtů se často používají jednotky FPGA, grafické karty (GPU) a vícejádrové procesory. Praktická část této práce rozšiřuje existující knihovnu Accelerate pro počítání na grafických kartách o výstup do VHDL. Accelerate je možno chápat jako doménově specifický jazyk vestavěný do Haskellu s backendem pro prostředí NVIDIA CUDA. Rozšíření pro vysokoúrovňovou syntézu obvodů ve VHDL představené v této práci používá stejný jazyk a frontend.
|
host ::
RSS.