|
|
Skriptovací jazyk pro zpracování obrazu
Crlík, Radek ; Španěl, Michal (oponent) ; Zemčík, Pavel (vedoucí práce)
Tato bakalářská práce se zabývá možnostmi skriptovacích jazyků a jejich druhů. Konkrétně pak návrhu takového jazyka pro obor zpracování obrazů. Cílem bylo vytvoření jazyka, který je malý, ale lehce použitelný. Cílem bylo využít knihovny OpenCV, pro kterou by výsledný jazyk umožňoval co nejkratší zápis kódu. První část se zabývá popisem a zpracováním skriptovacích jazyků počítačem. Druhá část obsahuje popis navrhovaného jazyka. Třetí a poslední část, dokumentuje možnosti dalšího rozšíření.
|
|
|
Řídící elektronika měniče na bázi DSP Texas Instruments
Vašíček, Adam ; Macho, Tomáš (oponent) ; Valach, Soběslav (vedoucí práce)
Tato bakalářská práce se zabývá optimalizací základních algoritmů řídicích aplikací pro DSC Texas Instruments řady c2000. V první část jsou shrnuty metody řízení a regulace elektrických pohonů s asynchronními motory. Následující část je věnována obecným zásadám optimalizace a metodám výpočtu některých matematických funkcí a operací. Značná část textu se zabývá mj. goniometrickými funkcemi, které jsou pro tuto oblast nepostradatelné. Dále navazuje praktické ověření uvedených postupů na základním algoritmu skalárního řízení frekvenčního měniče. Ten je v několika variantách, včetně asemblerové podoby, odladěn na vývojové desce ezDSP se signálovým procesorem TMS320F2808 od firmy Texas Instruments. Text je doplněn podstatnými částmi zdrojových kódů a stručným popisem vývojového prostředí Code Composer Studio. V závěru práce jsou rozebrány výsledky jednotlivých optimalizací a zhodnocen jejich přínos vzhledem k nárokům na čas programátora.
|
|
|
Instrumentace C/C++ programů při překladu
Mušková, Kateřina ; Peringer, Petr (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce se zabývá návrhem a implementací nástroje TforcTool sloužícího k instrumentaci programů napsaných v jazyce C++, a to instrumentaci přístupu do paměti a volání funkcí. Nástroj staví už na existujícím nástroji Tforc poskytující statickou instrumentaci při překladu, jehož funkcionalitu a použitelnost rozšiřuje. Velkou výhodou oproti stávajícím řešením nabízejícím instrumentaci při překladu je možnost použití nástroje bez změny stávajících překladových skriptů (např. Make).
|
|
|
Mnohaúrovňové automaty a jejich aplikace
Pšenák, Kamil ; Tomko, Martin (oponent) ; Meduna, Alexandr (vedoucí práce)
V tejto práci rozšírime zastarané prístupy v teoretickej informatike. Ukážeme si, že je možný paralelizmus v konečných automatoch zavedením viacúrovňového konceptu. Priblížime si proces kompilácie a stavbu kompilátoru, aby sme mali reálny príklad pre viacúrovňové konečné automaty. Posunieme sa hlbšie do teoretickej informatiky a vysvetlíme si paralelné pravo-lineárne gramatiky a jazyky. Následne si na príklade aj s návrhom implementácie dokážeme tvrdenie. Na záver si spomenieme ďalšie možné odvetvia, kde by sa tento koncept dal využiť.
|
|
|
Simulace dějů v elektrických přístrojích
Daševič, Ladislav ; Vávra, Zdeněk (oponent) ; Valenta, Jiří (vedoucí práce)
Cílem práce je vysvětlit problematiku sil působících v jistícím zařízení vlivem magnetických polí vznikajících při průchodu zkratových proudů. Tato práce je blíže zaměřena na působení sil u konkrétního uspořádání proudové dráhy zadaného jističe. Jedná se o jistič vyráběný firmou OEZ Letohrad, typ Modeion BD250 V práci je naznačeno jakým způsobem je nutné vytvořit trojrozměrný model proudové dráhy tak aby jej bylo možné použít pro provedení výpočtu ve fyzikálně simulačním programu ANSYS 11. V dalším postupu práce je popsáno jak získané hodnoty využít nejdříve pro výpočet průchodu stejnosměrného a poté střídavého zkratového proudu. Výpočet je proveden v programu MATLAB 6.5 Výsledky jsou uvedeny u obou výpočtů jak v grafické podobě, tak v podobě číselných údajů. Vizualizace byla provedena formou animovaného grafického souboru s příponou GIF. Zpracování jednotlivých snímků proběhlo v programu UNLEAD GIF ANIMATOR 5.
|
|
|
Paralelizace sestavení v prostředí Jenkins
Lukášová, Michaela ; Zachariášová, Marcela (oponent) ; Dolíhal, Luděk (vedoucí práce)
Tato práce se zabývá paralelním sestavením balíku vývojového prostředí Codasip Studio. Zaměřuje se na možnosti paralelizace v prostředí Jenkins. Implementované řešení se soustřeďuje zejména na urychlení aktuálního procesu sestavení. Řešení využívá několika zásuvných modulů prostředí Jenkins a také několika shellových skriptů zajišťujích spuštění překladu, instalace či tvorby výsledného balíku.
|
|
|
Paralelizace procesu překladu a sestavování programových modulů
Koláček, Vojtěch ; Vašíček, Zdeněk (oponent) ; Slaný, Karel (vedoucí práce)
Tato bakalářská práce se zabývá problematikou paralelizace procesu překladu a sestavování programových modulů. Jsou zde probrány nástroje pro automatizaci překladu a sestavování programových modulů se zaměřením na možnosti paralelizace překladu. Cílem práce bylo implementovat tři systémy paralelizující překlad na více počítačích. Tyto systémy byly implementovány v programovacím jazyce C++ s využitím Windows API a spolupracují s překladači Microsoft C/C++ Compiler a Intel C++ Compiler.
|
|
|
Instrumentace C/C++ programů při překladu
Mušková, Kateřina ; Peringer, Petr (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce se zabývá návrhem a implementací nástroje TforcTool sloužícího k instrumentaci programů napsaných v jazyce C++, a to instrumentaci přístupu do paměti a volání funkcí. Nástroj staví už na existujícím nástroji Tforc poskytující statickou instrumentaci při překladu, jehož funkcionalitu a použitelnost rozšiřuje. Velkou výhodou oproti stávajícím řešením nabízejícím instrumentaci při překladu je možnost použití nástroje bez změny stávajících překladových skriptů (např. Make).
|
|
|
Od abstraktních k proveditelným plánům
Wiesner, Robert ; Barták, Roman (vedoucí práce) ; Švancara, Jiří (oponent)
Tato práce se zabývá postprocesingem na plánech řešících problém hledání cesty pro více agentů. Účelem postprocesingu je převod plánů na takové, které mohou být snáze prováděny reálnými agenty. Jedná se o snižování plýtvání časem a zavádění robustnosti. Je v ní navrženo pět základních metod, později rozšířených na 10, jejichž prostřednictvím jsou MAPF plány převáděny na významně nižší úroveň abstrakce. Výsledky byly ověřeny na šedesáti plánech na šesti mapách generovaných programem MAPF Scenario. Některé výsledky byly ověřeny na robotech Ozobot Evo. Ukázalo se, že vhodným postprocesingem lze za relativně malou výpočetní cenu výrazně vylepšit kvalitu původních plánů z pohledu rychlosti i bezpečnosti. Zároveň se ukázalo, že jednotlivé navrhované algoritmy jsou užitečné pro různé účely a typy plánů.
|
|
|
Compilation-based Approaches for Automated Planning
Pantůčková, Kristýna ; Barták, Roman (vedoucí práce) ; Chrpa, Lukáš (oponent)
Jedním z možných přístupů k automatickému plánování je kompilace na problém splnitelnosti (SAT) nebo na splňování omezujících podmínek (CSP). Kompilace nám umožňuje využít vývoje SAT nebo CSP řešičů. V rámci této diplomové práce implementujeme tři z nedávno navržených kódování určených ke kompilaci plánovacích problémů: TCPP, R2 ∃-Step encoding a Reinforced En- coding. Všechny tyto přístupy hledají paralelní plány. Protože se ale liší v definici paralelního kroku a používají jiné proměnné a podmínky, rozhodli jsme se porov- nat jejich výkonnost na plánovacích problémech používaných na mezinárodních plánovacích soutěžích. R2 ∃-Step encoding jsme modifikovali, protože původní verze tohoto kódování nebyla pro naši implementaci vhodná. Naše verze to- hoto kódování používá méně proměnných i podmínek. V této diplomové práci také ukazujeme, jak závisí výkonnost Reinforced Encoding na definici paralelního kroku. Dále uvádíme redundantní podmínky, které mohou být použity k rozšíření těchto kódování. Ačkoliv obecně tyto podmínky nebyly užitečné, dokázaly mírně zlepšit výkonnost na některých plánovacích doménách, především v R2 ∃-Step en- coding.
|
host ::
RSS.