|
|
Prostředí pro práci s algoritmy na kreslení grafů
Baštecký, Pavel ; Dokulil, Jiří (vedoucí práce) ; Bednárek, David (oponent)
Graf je matematická struktura, která se i přes svojí jednoduchost stala dokonalým nástrojem pro modelování dějů každodenního života. Tento úspěch by však nebyl možný bez algoritmů dávajících hlubší smysl jinak statické struktuře grafu. S neustálým rozvojem informatiky však přichází nutnost řešení nových úloh, jejichž společným jmenovatelem je snadná převoditelnost do světa vrcholů a hran. Cílem práce je popis programu Editor Grafů, který byl vytvořen za účelem usnadnění návrhu a testování grafových algoritmů. Kromě vysvětlení implementace a funkcí editoru bude čtenář seznámen se způsobem vytváření rozšiřitelné aplikace s možností zavádění rozšiřujících modulů a komunikace mezi nimi.
|
|
|
Data Modeling for Static Analysis of Web Applications
Baštecký, Pavel ; Hauzar, David (vedoucí práce) ; Hnětynka, Petr (oponent)
PHP je velmi oblíbený jazyk, často používaný na implementaci serverové části webových aplikací. Jazyk je velmi jednoduchý na používání a i proto je na celém internetu velké množství menších stránek, ale i rozsáhlejších aplikací, napsaných v jazyce PHP. Velká obliba PHP však způsobuje, že mnoho lidí vyhledává jeho slabiny s cílem narušit bezpečnost webových aplikací. Weverca je první nástroj schopný provést komplexní bezpečnostní analýzu celé stránky napsané v moderní verzi PHP a vyhledat informace o možných bezpečnostních rizicích aplikace. Výkon nástroje Weverca je však omezen časovou a paměťovou náročností, která je způsobena neefektivitou reprezentace paměti PHP stránky. Cílem této práce je nalézt a vyřešit hlavní nedostatky původní implementace paměťového modelu. Výsledkem je nová implementace, která minimalizuje nároky původního řešení. Powered by TCPDF (www.tcpdf.org)
|
|
|
Prostředí pro práci s algoritmy na kreslení grafů
Baštecký, Pavel ; Dokulil, Jiří (vedoucí práce) ; Bednárek, David (oponent)
Graf je matematická struktura, která se i přes svojí jednoduchost stala dokonalým nástrojem pro modelování dějů každodenního života. Tento úspěch by však nebyl možný bez algoritmů dávajících hlubší smysl jinak statické struktuře grafu. S neustálým rozvojem informatiky však přichází nutnost řešení nových úloh, jejichž společným jmenovatelem je snadná převoditelnost do světa vrcholů a hran. Cílem práce je popis programu Editor Grafů, který byl vytvořen za účelem usnadnění návrhu a testování grafových algoritmů. Kromě vysvětlení implementace a funkcí editoru bude čtenář seznámen se způsobem vytváření rozšiřitelné aplikace s možností zavádění rozšiřujících modulů a komunikace mezi nimi.
|
host ::
RSS.