Národní úložiště šedé literatury Nalezeno 3 záznamů.  Hledání trvalo 0.01 vteřin. 
Debugging Support for Static Analysis Library WALA
Havel, Filip ; Parízek, Pavel (vedoucí práce) ; Kofroň, Jan (oponent)
V dnešní době je statická analýza užitečným nástrojem pro vývojáře, který zajistí kontrolu všech důležitých vlastností vyvinuté aplikace. Avšak i statické analýzy musí být vyvíjeny, což nevyhnutelně vede k potřebě je ladit za účelem nalezení a opravy problémů uvnitř analýzy. Ladění statické analýzy může být komplikovanější z důvodu absence dostatečné podpory pro ladění, kterou trpí i populární knihovny pro statickou analýzu. Jednou ze široce používaných knihoven pro statickou analýzu je WALA. V této práci jsme důkladně prozkoumali všechny hlavní nástroje z knihovny WALA a určili možnosti zlepšení podpory ladění. Pro všechny tyto možnosti jsme navrhli a implementovali pod- půrnou infrastrukturu, která by měla urychlit proces ladění tím, že odstraní nutnost zdlouhavé manuální práce potřebné pro kontrolu a vyhodnocení interních stavů knihovny WALA. Jedním typem vylepšení je ladění konfigurace analýzy, kde jsme vytvořili systém pro kontrolu hierarchie tříd a grafu volání, který by měl detekovat běžné problémy s ne- správnou konfigurací. Dalším bodem je ladění funkcí přechodu datových toků, pro který jsme vytvořili vizualizér probíhající analýzy nad cílovým programem. Tato vizualizace se provádí v editoru Visual Studio Code. Pro připojení editoru k analýze jsme využili Debug Adapter Protokolu a knihoven pro...
Systém pro vyhledávání a aktualizace jízdních řádů
Havel, Filip ; Zavoral, Filip (vedoucí práce) ; Škoda, Petr (oponent)
Většina lidí využívající veřejnou dopravu má specifické oblasti zájmů, kterými je možné omezit dopravní síť na určité části. U těchto lidí lze předpokládat, že budou chtít být informování v případě, že nastane změna ve vymezené části dopravní sítě. Z tohoto důvodu jsme vytvořili aplikaci pro informování uživatele o změnách veřejné dopravy, které jej zajímají. Předpokládáme, že hlavní oblastí zájmu uživatele jsou spojení mezi stani- cemi, a tak se práce zabývá především možnostmi vyhledání spojení v jízdních řádech. Kromě zmíněného vyhledávání jsme se zaměřili na přizpůsobitelnost aplikace a implemen- tovali příklady možných přizpůsobení pro různé výstupy výsledků, uživatelská rozhraní a zdroje dat. Pro pohodlí uživatele jsme vytvořili mobilní aplikaci, která komunikuje s hlavní aplikací a zobrazuje aktuální data jízdních řádů dle zájmů uživatele. 1
Vymezení trasy pro běžecký závod modifikací úlohy obchodního cestujícího
Havel, Filip ; Borovička, Adam (vedoucí práce) ; Fábry, Jan (oponent)
Diplomová práce se zabývá nalezením optimální trasy pro běžecký závod. V množině až 251 křižovatek hledá propojení vymezující okruh s předem daným počátečním a současně cílovým místem. Modelově čerpá ze základního tvaru úlohy obchodního cestujícího, jehož primárním úkolem je projít zadanou množinu míst po co nejkratší cestě či v co nejkratším čase a vrátit se zpět do výchozího místa, přičemž každé místo navštíví právě jednou. Trasy hledané touto prací se ovšem v několika aspektech odlišují. Předně není nutné, aby zahrnovaly všechna místa, ty lze navštívit i vícekrát. Výsledná trasa nemá být nejkratší, ale měla by mít určité délkové rozpětí a klíčovým faktorem k optimalizaci jsou získané výškové metry. Řešení exaktními metodami předvede optimalizační software LINGO, pro vyšší výpočetní náročnost však pouze na omezeném rozsahu úlohy, 21 křižovatkách v centru města. Vymezení delší trasy na větší množině křižovatek umožní až odvozené heuristiky s pracovními názvy: nejvzdálenější soused s nejmenším stoupáním a minimální profilová změna. Součástí práce je detailní popis použitého matematického modelu i obecný postup, ukázka a rozbor obou aplikovaných heuristik.

Viz též: podobná jména autorů
1 HAVEL, František
Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.