|
|
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.
|
|
|
Webový systém pro prodej předplacených služeb
Kafka, Tomáš ; Kofroň, Jan (vedoucí práce) ; Poch, Tomáš (oponent)
Software jako služba je moderní zpusob monetizace software, kde aplikace je hostována poskytovatelem a zpoplatnena mesícními poplatky. Vyvinuli jsme platformu pro prodej predplacených služeb po internetu, jako webovou aplikaci na LAMP (Linux, Apache, MySQL, PHP 5) serveru. Dále byly vytvoreny znovupoužitelné objektové komponenty pro tvorbu, príjem a validaci formuláru a pro zacházení s tabulkami. Aplikace je internacionalizována a umožnuje i ruzné cenové plány pro ruzné zeme. Nakonec jsme analyzovali výkonnostní dopad použití ORM frameworku, porovnali dva soucasné PHP ORM frameworky, vybrali MyActiveRecord jako vhodnejší pro práci, a benchmarkovali ho, abychom zjistili vliv SQL cachování na pocet databázových dotazu. Namerili jsme 29% zmenšení poctu dotazu.
|
|
| |
|
|
Episodická paměť pro postavy z IVE
Reidinger, Josef ; Brom, Cyril (vedoucí práce) ; Poch, Tomáš (oponent)
Paměť je důležitou součástí každého člověka a na jejím fungování je závislý nejen rozvoj osobnosti, ale i každodenní chování. Je důležitá i pro věrohodné chování umělých bytostí. Tato práce má za cíl navrhnout model paměti, implementovat ho do projektu IVE a následně ověřit chování této paměti. Model má dvě oddělené části. Jedna slouží pro aktuálně spatřené nové předměty a druhá pro již déle známé předměty. Model má schopnost na požádání přesunout platné věci z první paměti do druhé, odstranit neplatné vzpomínky a ty, které se nevešly do kapacity paměti. Výběr odstraňovaných vzpomínek používá výpočet hodnoty vzpomínky na základě četnosti, posledního spatření, počtu podobných předmětů a statické zajímavosti objektu vzpomínky. Vzpomínky s nejmenší hodnotou se odstraní. Výsledný model se ukázal být vhodnýza normálních podmínek a nepřesvědčivý při velkém množství předmětů stejného druhu.
|
|
|
State Space Symmetry Reduction for TBP Analysis
Černý, Ondřej ; Šerý, Ondřej (vedoucí práce) ; Poch, Tomáš (oponent)
Threaded Behavior Protocols (TBP) je specifikační jazyk pro modelování chování softwarových komponent. Tato práce se zaměřuje na analýzu TBP specifikací v rámci prostředí, která obsahují neomezené množšví replikovaných vláken. Takové specifikace spolu s modely možných prostředí způsobí nekonečnost stavového prostoru analýzy, který obsahuje velké množství symetrií, způsobených replikací vláken. V práci je navžena technika analýzy takových modelů, která redukuje symetrie s použitím abstrakce zvané Symbolic Counter Abstraction. Pro její použití je však nutné převést vlastnosti modelu na problém dosažitelnosti stavů vláken. Navrhovaná technika je bezpečná ve smyslu odhalení všech chyb v modelu. Na druhou stranu může způsobovat tzv. spurious erros, tj. chyby které neodpovídají skutečným chybám v modelu. Tyto chyby jsou v práci dobře identifikovány a dále jsou nastíněny způsoby jejich redukce. Práce navíc může představovat malý krok směrem k podpoře dynamického vytváření vláken v TBP specifikacích.
|
|
|
Simulátor obchodních strategií
Helešic, Tomáš ; Šerý, Ondřej (vedoucí práce) ; Poch, Tomáš (oponent)
Předmětem této práce je vytvoření simulátoru obchodních strategií. Výsledný program umožňuje uživatelům stahovat aktuální i historická burzovní data, vizualizovat je pomocí grafů a implementovat na ně prostředky technické analýzy. Tyto komponenty jsou navrženy a propojeny tak, aby vytvořili plnohodnotné prostředí pro psaní, vyhodnocení a zobrazení uživatelských strategií.
|
|
|
Towards thread aware component behavior specifications
Poch, Tomáš ; Plášil, František (vedoucí práce) ; Černá, Ivana (oponent) ; Hennicker, Rolf (oponent)
Komponentový přístup je již poměrně zavedenou metodologií používanou při vývoji software. Při komerčním vývoji aplikací, se však ještě nevyužívají modely chování komponent a jejich následná analýza, ačkoliv by to zaručilo, že komunikace mezi složenými komponentami nebude obsahovat chyby. Reálnému použití v praxi brání jkk relativně omezené výrazové prostředky modelovacích jazyků tak i náročnost psaní modelů. Abychom usnadnili použití modelů chování, navrhujeme modelovací jazyk Threaded Behavior Protocols (TBP), který se snaží překlenout rozdíly mezi modelovacími a imperativními programovacími jazyky. Tím, že umožníme programátorům používat koncepty z imperativních jazyků, na které jsou zvyklí, usnadníme přípravu modelů. Teorie TBP de finuje pojem správnosti kompozice komponent jako absenci dvou pevně daných komunikačních chyb a poskytuje relaci zjemňovíní modelu, která zachovává správnost vzhledem k libovolnému prostředí. Díky tomu, přináší analýza TBP podobné výhody jako starší modelovací jazyky, přičemž bere v úvahu i koncepty z imperativních jazyků.
|
|
|
Distributed Behavior Protocol Checker
Poch, Tomáš ; Kofroň, Jan (vedoucí práce) ; Adámek, Jiří (oponent)
Nárůst dostupné výpořetní síly umožnil v posledních letech praktické využití formální verifikace softwarových systémů. Nejpalčivějším problémem, který zabraňuje širšímu využití však zůstává velikost stavových prostorů. Proto jsou tyto techniky zatím omezeny na relativně malé úlohy. Jednou z možností jak podstatně snížit počet stavů je modelování softwaru pomocí behavior protokolů. [1] Jedná se o regulární výrazy, které popisují chování softwarových komponent. Konkrétní implementace komponenty je tedy ověřena jen jednou oproti protokolu a při verifikaci celé aplikace je již skryta. Ta se pak redukuje na ověření toho, že protokoly komponent ze kterých se aplikace skládá k sobě pasují. Nicméně velikost i takto zjednodušeného stavového prostoru bývá typicky exponenciální vzhledem k délce popisu modelu. Distribuovaný průchod stavovým prostorem společně s jeho generováním 'za letu' [2] by měl ještě více rozšířit rozsah problémů zvládnutelných touto technikou.
|
|
|
Editor pro IVE - procesy a řídící algoritmy
Juhász, Martin ; Brom, Cyril (vedoucí práce) ; Poch, Tomáš (oponent)
IVE je simulátor virtuálních lidí, kterému do dnešní doby chyběl editor pro vytváření virtuálních světů. Cílem práce bylo vytvořit nástroj usnadňující tvorbu virtuálních světů pro tento simulátor. V práci jsou popsány požadavky na takovýto nástroj a problémy, kterým se čelilo během fází analýzy a implementace aplikace. Popsány jsou především analýza načítání a ukládání dat s její následnou implementací a jednotlivé programové části aplikace - pluginy. Během vývoje editoru vznikl ukázkový svět, který sloužil především pro testovací účely a ověření funkčnosti celého editoru. Díky tomuto vytvořenému nástroji je možné simulátor IVE zpřístupnit širšímu okruhu lidí a lze ho použít pro výuku programování řízení virtuálních postav. Součástí textu je také rešerše na téma nástroje pro výuku programování řízení virtuálních postav.
|
|
|
Distribuovaný cron
Záloha, Jan ; Malohlava, Michal (vedoucí práce) ; Poch, Tomáš (oponent)
Administrace většího počtu počítačů, jak v domácích, tak rozsáhlejších sítích, přináší potřebu centralizované správy spouštění periodických úloh. K tomu se běžně používá služba cron, která však typicky neumí běžet distribuovaně na větším množství počítačů. Proto tato práce navrhuje a implementuje službu pro operační systém Windows, která umožňuje periodicky spouštět úlohy podle nastavení jednotlivých uživatelů. Služba funguje jednak lokálně, to znamená podle nastavení lokálních uživatelů, a zároveň volitelně distribuovaně, kdy si klienti automaticky stahují ze serveru nastavení, která specifikují spouštění lokálních úloh. Služba zároveň poskytuje rozhraní pro monitorování své činnosti. Velký důraz je kladen na zabezpečení síťové komunikace a množství nezbytných dat přenášených po síti.
|
host ::
RSS.