|
|
Editor elektrotechnických schémat
Závišek, Josef ; Kofroň, Jan (vedoucí práce) ; Ježek, Pavel (oponent)
Předmětem mé práce je implementace grafického vektorového editoru elektrotechnických schémat. Editor je založen na koncepci CAD systémů a je navržen tak, aby splňoval normy, kterými se elektrotechnická dokumentace musí řídit. Práce se však neomezuje pouze na elektrotechniku. Obsahuje rozšiřitelnou knihovnu součástek, a tudíž může sloužit i pro tvorbu výkresů hydraulických, pneumatických, rozvodů plynu apod. V práci je mimo jiné také popsána nová technologie Windows Presentation Foundation, nad kterou byl editor vystavěn. Jsou také nastíněny přednosti a nové možnosti této technologie.
|
|
|
Plánovač tras
Hryzlík, Pavel ; Malohlava, Michal (vedoucí práce) ; Ježek, Pavel (oponent)
Název práce: Plánovač tras Autor: Pavel Hryzlík Katedra: Katedra distribuovaných a spolehlivých systémů Vedoucí bakalářské práce: RNDr. Michal Malohlava, Katedra distribuovaných a spolehlivých systémů Abstrakt: Systémy navigace se stávají nedílnou součástí našeho života. Ve větších městech, pokud je třeba se dopravit z místa A do místa B, je často výhodné využít kombinaci sítě veřejné hromadné dopravy a chůze. Stávající navigační systémy však tuto funkcionalitu plně nepodporují. Proto cílem této práce je navrhnout a implementovat plánovač tras založený na vyhledávací knihovně JRGPS. Výsledná aplikace Route Finder System umožňuje efektivní a uživatelsky přívětivé vyhledávání tras kombinující sítě veřejné hromadné dopravy a chůze. Klíčová slova: plánovač, navigace, trasa, cesta, MHD
|
|
|
Aplikace pro prezentaci dat naměřených v systému SCADA
Široký, Jan ; Ježek, Pavel (vedoucí práce) ; Poch, Tomáš (oponent)
Cílem práce bylo vytvořit webovou aplikaci, která slouží k zobrazování a prezentaci dat naměřených v systému SCADA. Skládá se ze dvou částí - klentské a serverové. Serverová část slouží k načtení a zpracování dat z archivní databáze, kde jsou uloženy naměřené hodnoty a následně k jejich odeslání klientovi. Klientská část tyto data prezentuje uživateli ve formě tabulek, grafů nebo gra ckých schémat. Pro gra cká schémata bylo nutné navrhnout jejich formát a reprezentaci a implementovat pro ně jednoduchý editor. V něm je možné sestavit nové schéma ze základních geometrických tvarů, bitmapových obrázků, textových popisků, apod. a propojit vybrané vlastnosti těchto objektů s datovými zdroji, takže se grafi cké schéma dynamicky mění v závislosti na datech.
|
|
|
Bridž: komplexní aplikace pro hraní bridže a vytváření /testování dražebních systémů
Pražma, Jan ; Ježek, Pavel (vedoucí práce) ; Forstová, Lenka (oponent)
Cílem práce je zdokonalení stávajících aplikací Editor a Simulátor, které vznikly v rámci autorovy bakalářské práce. Dokument hovoří o hlavních aspektech bridžové hry, o licitaci a sehrávce. Celý dokument vychází z autorovi bakalářské práce na níž je v dokumentu často odkazováno. Autor se nicméně snažil, aby dokument byl čitelný i bez znalosti jeho předchozí práce. Dokument se konkrétněji zabývá autorovou snahou o vytvoření základní typologické množiny výroků jakožto prostředku pro popsání situací bridžového rozdání a tyto výroky jsou pak použity při konstrukci dražebních konvencí a systémů. Autor diskutuje bridžové problémy a prezentuje zdokonalený algoritms pro řešení úlohy s odkrytými kartami. Práce se též zabývá samotnou softwarovou strukturou a krátce i grafickým rozhraním obou aplikací.
|
|
| |
|
|
Nástroj pro testování síťových aplikací
Schlindenbuch, Hynek ; Kruliš, Martin (vedoucí práce) ; Ježek, Pavel (oponent)
Používání síťové komunikace v aplikacích zvyšuje jejich komplexitu a může vést ke vzniku nových bezpečnostních chyb. Existující nástroje nepokrývají dostatečně potřeby testování těchto aplikací. Cílem této práce je vytvořit nový nástroj, který usnadní testování síťových aplikací. Hlavní důraz je kladen na celkovou rozšiřitelnost řešení, zejména o nové protokoly. Výsledný nástroj je schopen operovat v režimech klient, server a proxy podporovaných síťových protokolů a jejich komunikaci ovládat ručně, nebo skriptem. Podporu pro další síťové protokoly lze přidávat pomocí zásuvných modulů. Součástí nástroje je knihovna pro implementaci aplikačních protokolů nad TCP a UDP, s jejíž pomocí byly vytvořeny zásuvné moduly pro HTTP a WebSocket. Powered by TCPDF (www.tcpdf.org)
|
|
|
Using Stratego/XT for Generation of Software Connectors
Malohlava, Michal ; Bureš, Tomáš (vedoucí práce) ; Ježek, Pavel (oponent)
Softwarové konektory hrají významnou roli v komponentových systémech, kde pomáhají modelovat a realizovat spojení mezi komponentami. Krom toho můžou také rozšiřovat vlastnosti spojení přidíním definované funkcionality (např. logování, monitorování, adaptace). Pro tyto účely je ale nutné konektory generovat v závislosti na podmínkách, které jsou specifikovány vlastními komponentami, prostředím a nebo návrhářem. Tato práce se snaží rozšířit existující generátor konektorů [33] pomocí systému Stratego/XT, který zahrnuje jazyk pro implementaci programových transformací a sadu podpůrných nástrojů. Pomocí tohoto systému realizujeme způsob, kterým lze snadno definovat vlastní implementaci softwarového konektoru a následně vygenerovat zdrojový kód konektoru dle daných požadavků.
|
|
|
Port HelenOS na architekturu IA-64
Váňa, Jakub ; Yaghob, Jakub (vedoucí práce) ; Ježek, Pavel (oponent)
Základní informace o operačním systému HelenOS a jeho implementaci (podpůrné funkce, plánovač, správa paměti, podpora aplikací, prostředí pro ovladače zařízení, meziprocesová komunikace). Přehled vlastností procesorů architektury IA-64 (zpracování instrukcí - EPIC, zásobník registrů - RSE, systémové registry, systém ochran, přístup k paměti, přerušení, vstup a výstup, meziprocesorová komunikace, firmware - PAL). Prostředí v počítačích s procesory IA-64 (firmware - SAL, zděděná (legacy) zařízení, USB). Přehled implementovaných změn (loader, boot, vstup a výstup, přerušení, výstup na obrazovku, vstup z klávesnice, multiprocesing). Vyhodnocení úspěchů a neúspěchů implementace.
|
|
|
Profiler jazyka C#
Cicko, Miroslav ; Zavoral, Filip (vedoucí práce) ; Ježek, Pavel (oponent)
Programovací jazyk C# poskytuje silné jazykové prostriedky a pritom je velmi jednoduché sa ho naucit. Spolu s platformou .NET Framework umožnuje rýchlo a pohodlne vyvíjat programy. Avšak jeho použitie ešte nezarucuje vytvorenie efektívneho programu. Cielom tejto práce je vytvorenie profilera merajúceho trvanie a spotrebovanú pamät vybraných príkazov. Aplikácia profilera je vybudovaná s využitím knižnice Code Toolkit vznikajúcej súcasne s profilerom. Táto knižnica poskytuje parsovanie zdrojového kódu do objektového modelu, jeho modifikáciu a následné uloženie naspät do zdrojového súboru. Knižnica môže byt znovu použitá pri tvorbe dalších nástrojov pracujúcich so zdrojovým programom v jazyku C#.
|
|
|
Implementing control flow resolution in dynamic language
Šindelář, Štěpán ; Zavoral, Filip (vedoucí práce) ; Ježek, Pavel (oponent)
S dynamickými programovacími jazyky je možné psát kód bez typové informace a typy proměnných se mohou měnit za běhu. Přestože se dynamické typování snadněji používá a je vhodné pro rychlé prototypování, dynamicky typovaný kód může být více náchylný k programátorským chybám a představuje nelehký úkol pro překladače nebo interpretry. Vývojáři často používají dokumentační komentáře pro explicitní uvedení typové informace, nicméně dostupné nástroje většinou nekontrolují shodu mezi komentáři a vlastním kódem. V této práci se zaměřujeme na jeden z nejpopulárnějších dynamických programovacích jazyků: PHP. V rámci této práce jsme vyvinuli framework pro statickou analýzu PHP kódu jako část projektu Phalanger -- překladače PHP do .NET. I když, tento framework podporuje jakýkoliv druh statické analýzy, implementovali jsme především typovou analýzu za účelem odhalení typových chyb a nekonzistence kódu s dokumentačními komentáři. S pomocí této analýzy jsme odhalili několik reálých chyb a nekonzistencí s dokumentací v kódu několika reálných PHP projektů s dobrým poměrem falešně pozitivních chyb. Powered by TCPDF (www.tcpdf.org)
|
host ::
RSS.