|
|
Hazardní hra ruleta
Vlk, Marek ; Malohlava, Michal (vedoucí práce) ; Šimko, Viliam (oponent)
Tato práce se věnuje hazardní hře ruletě. Jejím stěžejním cílem je navrhnout a implementovat tuto hru. Aplikace poskytuje dva režimy hraní: cvičná hra pracující o -line a skutená hra, která umožňuje hru o více hráčích on-line. Práce se zaměřuje na rychlost a spolehlivost síťové komunikace i na uživatelsky přívětivé 3D prostředí kasina. V programu je dále umožněno hraní a simulování herních systémů, které jsou implementovány, a lze importovat vlastní. Aplikace je napsána v jazyce C# pro platformu Windows. Síťová komunikace je uskutečněna pomocí technologie .NET Remoting.
|
|
|
Projectional editor for domain-specific languages
Dvořák, Ondřej ; Malohlava, Michal (vedoucí práce) ; Šimko, Viliam (oponent)
Název práce: Projektivní editor doménově-specifických jazyků Autor: Ondřej Dvořák Katedra: Katedra distribuovaných a spolehlivých systémů Vedoucí diplomové práce: RNDr. Michal Malohlava Abstrakt: Programování je proces návrhu algoritmu, psaní, testování a ladění zdro- jového kódu. Ten se neobejde bez existence nejrůznějších programátorských nástrojů, jako je například integrované vývojové prostředí (IDE) umožňující správu většiny univerzálních jazyků s textovou reprezentací. Vzhledem ke vzrůstající popularitě doménově-specifických jazyků (DSL) je nezbytné, aby IDE podporovalo i je. DSL jsou ovšem reprezentovány nejen textovou formou, ale i grafickou a případně jejich kombinací. Jedním z nadějných přístupů je nová metoda zvaná projektivní edi- tace. Jejím úkolem je umožnit různé způsoby zobrazení a manipulace se zdrojovým kódem. Tato myšlenka je většinou realizována projektivním editorem. Tato práce se zabývá návrhem a experimentální implementací projektivního editoru pro doménově-specifické jazyky. Analyzuje možné přístupy k projektivní editaci a navrhuje jejich vhodnou aplikaci v Microsoft Visual Studiu. Přínáší univerzální implementaci projektivního editoru integrovaného ve Visual Studiu i v...
|
|
|
Multimedia Grid
Šimko, Viliam ; Galamboš, Leo (vedoucí práce) ; Jirovský, Václav (oponent)
The thesis describes the possibilities and issues of existing videoconferencing systems. We focus on open-source solutions for group-to-group communication especially the AccessGrid technology that utilizes the multicast packet delivery method of multimedia content. We describe AccessGrid node created for CIANT organization, which has been taken as a starting point for de ning the architecture of a videoconferencing system based exclusively on open-source components, particularly Linux and related software. We address issues related to rewalls and NAT traversal and provide a comparison of various videoconference-related codecs and protocols. Finally, the text touches the question of recording and archiving of conference sessions and provides a new integrated recording application { StreamVNC. The tool allows users to prepare their presentations using localhost recording facility which includes AGVCR for recoding RTP packets, EVIC for grabbing the VNC display and camera source and RAT as an audio encoder.
|
|
|
Qt HDD benchmark
Matěna, Vladimír ; Marek, Lukáš (vedoucí práce) ; Šimko, Viliam (oponent)
Tato práce se zabývá měřením výkonnosti zařízení pro ukládání dat. Její účel je poskytnout program pro měření výkonnosti takových zařízení s grafickým rozhraním v prostředí Linuxu. Grafické rozhraní se snadno používá a zobrazuje výsledky měření v reálném čase. Navíc bylo několik běžných zařízení otestováno tímto programem. Zajímavé výsledky byly krátce popsány stejně jako faktory, které je ovlivnily. Obecné faktory ovlivňující výsledky v prostředí Linuxu byly také popsány.
|
|
|
Syntax-based extraction of component behavior specifications
Reidinger, Josef ; Poch, Tomáš (vedoucí práce) ; Šimko, Viliam (oponent)
Pro velké softwarové systémy je možné použít komponentový způsob vývoje. Jeho výhody jsou, že lze snadno části použít opakovaně a pokud obsahuje i popis chování, tak lze systém snadněji analyzovat. Komponenty jsou tvořeny popisem rozhraní a volitelně popisem chovaní. Popis chování je možné zkoumat na porušení omezení jiných komponent při jejich použití, jestli chování je očekávané a jestli komponenty k sobě pasují. Popis chování definuje omezení použítí komponenty a jak reaguje na zavolaní každé své poskytované metody. Reakce popisuje pořadí a četnost volání metod požadovaných komponent. Manuální definování chovaní komponenty je náchylné k chybám a mělo by se zautomatizovat. Výsledkem této práce je nástroj který z kódu, který splňuje omezení, je schopen vygenerovat automaticky popis chování. Nástroj je možné použít pro automatické generování popisu chování při převodu běžného softwaru na komponenty nebo při úpravě komponenty ke kontrole změny chování změnené komonenty. Práce také obsahuje prozkoumání možných technologií využitelných pro analýzu. Nástroj je součástí mezinárodního Q-Impress projektu a využívá jeho nástroje pro svoji funkci a naopak.
|
|
|
IDE-supported development of component-based applications
Hermann, Lukáš ; Bureš, Tomáš (vedoucí práce) ; Šimko, Viliam (oponent)
Na rozdíl od komerčních komponentových systémů nemají ty akademické dostatečnou podporu v integrovaných vývojových prostředích. Tato práce analyzuje vývoj komponentově založených aplikací na komponentovém sys- tému SOFA 2 a zjišťuje, že hlavním problémem je nedostatečné propojení mezi procesy obecného návrhu aplikace a vytváření konkrétních komponent. Na základě této analýzy definuje podmnožinu UML, univerzálního jazyka pro návrh aplikací, a její sémantiku vzhledem k entitám komponentového systému SOFA 2. Dále vytváří nástroj integrovaný do vývojového prostředí Eclipse, který umožňuje automatické generování těchto entit z UML kom- ponentového modelu, stejně jako propojení tohoto modelu s již existujícími entitami, umožňující jejich automatickou opravu v případě změny modelu. Tento nástroj je navržen modulárně tak, aby bylo možné jednoduše změnit sémantiku modelu nebo ho použít na jiné modely. Nakonec tato práce ana- lyzuje možnosti rozšíření tohoto nástroje na další komponentové systémy, generování kódu a verifikaci chování komponent.
|
|
|
Multimedia Grid
Šimko, Viliam
Práce popisuje současné možnosti a problémy videokonferenčních systémů se zaměřením na volně dostupné technologie určené pro group-to-group komunikaci. Úvod práce obsahuje popis vybraných komerčních i volně dostupných systémů. Pozornost je soustředěna na technologii AcessGrid, která využívá multicastovou síť pro doručování multimediálních dat. V práci je popsaný AccessGridový uzel v organizaci CIANT, který se stal východiskem pro návrh architektury uzlu založeného čistě na volně dostupných komponentách s otevřeným zdrojovým kódem, konkrétně AccessGrid pro platformu Linux. Jedna z kapitol je věnována i problémům spojených s překonáváním firewallu a NAT a porovnání kodeků a protokolů používaných při videokonferenčním přenosu. Závěr práce se dotýká archivace konference, s čímž souvisí i vytvoření nového nástroje StreamVNC určeného pro lokální nahrávání a přípravu prezentací. Ten využívá nástroj AGVCR pro nahrávání RTP paketů, které vznikají snímáním VNC obrazovky a obrazu z kamery pomocí aplikace EVIC a kódováním zvuku aplikací RAT.
|
|
|
Deployment of Performance Evaluation Tools in Industrial Use Case
Täuber, Jiří ; Tůma, Petr (vedoucí práce) ; Šimko, Viliam (oponent)
Výkonnost software dnes měří nejen specializované firmy v rámci recenzí, ale čím dál častěji je to běžnou praxí i pro samotné vývojáře aplikací. Firmy jsou často nuceny vyvíjet a udržovat vlastní nástroje pro měření vyvíjených aplikací. Na Matematicko-fyzikální fakultě vznikl nástroj pro automatizaci měření software jménem BEEN, který by měl správu jednotlivých měření významně usnadnit, ale jeho skutečný význam není možné vyzkoušet v prostředí, kde vznikl. Cílem této práce je nasadit BEEN do reálného prostředí komerční firmy a vyhodnotit použitelnost tohoto nástroje pro vývojáře. Zaměříme se na vyhodnocení objektivních i subjektivních kladů a záporů, které používání tohoto nástroje mělo pro nezaujaté uživatele.
|
|
|
Projectional editor for domain-specific languages
Dvořák, Ondřej ; Malohlava, Michal (vedoucí práce) ; Šimko, Viliam (oponent)
Název práce: Projektivní editor doménově-specifických jazyků Autor: Ondřej Dvořák Katedra: Katedra distribuovaných a spolehlivých systémů Vedoucí diplomové práce: RNDr. Michal Malohlava Abstrakt: Programování je proces návrhu algoritmu, psaní, testování a ladění zdro- jového kódu. Ten se neobejde bez existence nejrůznějších programátorských nástrojů, jako je například integrované vývojové prostředí (IDE) umožňující správu většiny univerzálních jazyků s textovou reprezentací. Vzhledem ke vzrůstající popularitě doménově-specifických jazyků (DSL) je nezbytné, aby IDE podporovalo i je. DSL jsou ovšem reprezentovány nejen textovou formou, ale i grafickou a případně jejich kombinací. Jedním z nadějných přístupů je nová metoda zvaná projektivní edi- tace. Jejím úkolem je umožnit různé způsoby zobrazení a manipulace se zdrojovým kódem. Tato myšlenka je většinou realizována projektivním editorem. Tato práce se zabývá návrhem a experimentální implementací projektivního editoru pro doménově-specifické jazyky. Analyzuje možné přístupy k projektivní editaci a navrhuje jejich vhodnou aplikaci v Microsoft Visual Studiu. Přínáší univerzální implementaci projektivního editoru integrovaného ve Visual Studiu i v...
|
|
|
From textual specification to formal verification
Šimko, Viliam ; Hnětynka, Petr (vedoucí práce) ; Gruhn, Volker (oponent) ; Steinberger, Josef (oponent)
Běžný způsob popisu funkčních požadavků při vývoji softwaru je tvorba textových případů použití (use-cases). Jejich úlohou v úvodních fázích projektu je zachytit formou přirozeného jazyka způsob fungování systému z pohledu koncového uživatele. Protože jde o text psaný v přirozeném jazyce, není možné správnost textových případů použití přímo formálně ověřovat. Obdobně významným artefaktem při vývoji software je doménový model. Jde o popis nejdůležitějších konceptů a vztahů, které jsou pro vyvíjenou aplikaci důležité. Tvorba doménového modelu běžně probíhá iterativně od prvního prototypu z textu až po výsledný formální model. Tato práce se zabývá dvěma souvisejícími tématy - formální ověřování případů použití a odvozování doménového modelu z textu. První část je věnovaná metodě FOAM, která umožňuje pomocí jednoduchých anotací vložených do textu případů použití formálně ověřovat jejich správnost (model-checking). Anotace umožňují zachytit větvení kroků v případech použití a uživatel má možnost vyjádřit časové závislosti mezi různými částmi specifikace, zároveň je však zachovaná srozumitelnost původního textu. Druhá část práce popisuje tzv. Prediction Framework, který pomocí lingvistické analýzy textu a statistických klasifikátorů (log-linear Maximum Entropy models) umožňuje predikování doménového model z textu.
|
host ::
RSS.