|
|
Ekonomická tahová strategická hra
Hermann, Lukáš ; Lánský, Jan (vedoucí práce) ; Šerý, Ondřej (oponent)
V předložené práci se zabýváme návrhem a implementací ekonomické tahové strategie. Po popsání a analýze základních pravidel hry vytváříme objektový model, skládající se ze základního rozhraní, konkrétních tříd a jejich propojení mezi sebou. Dále podrobně rozebíráme ekonomické modely a další související algoritmy použité v jejich metodách včetně jejich zapsání v pseudokódu. Nakonec tvoříme editory vlastností a chování herních objekt a zabýváme se tvorbou originálního gra fického interface s konkrétními vizuálními komponentami, z nichž sestavujeme uživatelské prostředí.
|
|
|
Vizualiazace algoritmů pomocí uživatelských scriptů
Šebesta, Jiří ; Ježek, Pavel (vedoucí práce) ; Šerý, Ondřej (oponent)
Cílem této práce bylo vytvoření programu AlgoShow sloužícího pro názornou ukázku fungování algoritmů. Algoritmy se zapisují jako skripty, ve kterých je možno využívat různých funkcí pro grafické znázornění běhu algoritmu. Práce se zabývá programem AlgoShow jak z uživatelského, tak i z programátorského hlediska. Součástí je krátký úvod do problematiky vizualizace algoritmů, srovnání programu AlgoShow s podobnými existujícími nástroji, popis návrhu a implementace programu včetně způsobu interpretace skriptu. Dále práce obsahuje charakteristiku základních funkcí programu a zejména podrobný popis skriptovacího jazyka.
|
|
|
Interpretr stavových automatů popsaných jazykem SCXML
Baláž, Ján ; Šerý, Ondřej (vedoucí práce) ; Parízek, Pavel (oponent)
V súčasnosti vzniká potreba pristupovať ku roznym programátorským úlohám alternatívnymi postupmi. Jedným z takýchto postupov je zápis pomocou stavových automatov. Ako riešenie sa ukazuje novo vznikajúci štandard W3 Consorcia, nazvaný SCXML. V súčasnosti už existuje niekolko roznych implementácii, ktoré však kvoli svojej rozsiahlosti nemusia byť vhodné pre jednotlivcov, alebo malé a stredné fi rmy. Tieto spoločnosti potrebujú nástroje, ktoré si možu jednoducho prisposobovať na svoje vlastné projekty. Cielom práce je vytvoriť interpreter stavových automatov popísaných jazykom SCXML, ktorý bude splňať popísané podmienky. Snahou je implementovať maximálnu časť špecifikácie SCXML. Práca bude vytvorená v jazyku Perl a bude podporovať operačné systémy Windows a Linux.
|
|
|
Object-oriented Command Shell
Molnár, Martin ; Ježek, Pavel (vedoucí práce) ; Šerý, Ondřej (oponent)
Predložená práca sa zaoberá vnášaním objektovo orientovaného prístupu do programovania v príkazovom riadku. Študuje možnosti z adenia konceptov OOP a dávkového spracovania ľ a navrhuje vhodný kompromis medzi týmito prístupmi. Hlavným cieľom tejto práce je implementácia zvoleného riešenia v rodinách operačných systémov Unix a Microsoft Windows. Práca teda popisuje rozhodnutia súvisiace s implementáciou, ako aj používanie výslednej aplikácie.
|
|
|
Sewing pattern editor
Černý, Martin ; Šerý, Ondřej (vedoucí práce) ; Poch, Tomáš (oponent)
Konstrukce střihů je základní součástí oděvního návrhářství. Předmětem této práce je implementace editoru textilních střihů, který by vyhovoval potřebám nezávislých oděvních návrhářů a výrobců zakázkového šatstva. Práce v editoru je velmi blízká ručnímu navrhování střihu a program je tedy pro návrháře snadno použitelný. Implementace pokrývá nejdůležitější oblasti navrhování střihů. Střihy v programu vytvořené mohou být použity pro různé zákazníky, protože se automaticky přizpůsobují zadaným tělesným mírám.
|
|
|
Presenting results of software model checker via debugging interface
Kohan, Tomáš ; Šerý, Ondřej (vedoucí práce) ; Jančík, Pavel (oponent)
Název práce: Prezentace výsledků kontroly softwarového modelu skrz ladící rozhraní Autor: Tomáš Kohan Katedra: Katedra softwarového inženýrství Vedoucí diplomové práce: RNDr. Ondřej Šerý, Ph.D., Katedra distribuovaných a spolehlivých systémů Abstrakt: Cílem této práce je navrhnout a implementovat nové ladící rozhraní programu Java PathFinder. Vhodným prostředím pro toto rozhraní byl zv- olen vývojový nástroj Eclipse. Vytvořené rozhraní graficky vizualizuje výstupy programu JPF a jednotlivé detaily stavu pozastaveného virtuálního stroje (JVM), zvláště pak seznam proměnných a jejich hodnot. Za tímto účelem jsou vytvořeny dva podprojekty, a to debug4jpg a JPFDeb.core. Projekt debug4jpf kontroluje a komunikuje s instancí JPF. JPFDeb.core pak ve formě zásuvného modulu pro Eclipse poskytuje takové uživatelské rozhraní, které je podobné standardnímu rozhraní ladícího programu pro Javu. Oba projekty mezi sebou komunikují přes ad hoc komunikační protokol, který byl navržen pro tento účel. Klíčová slova: Java, verifikace, kontrola modelu, JPF, ladící rozhraní
|
|
|
Model Checking and Reduction of Behavior Protocols
Šerý, Ondřej
Behavior protokol je formalismus pro specifikaci chování softwarových komponent. V syntaxi podobné regulárním výrazům jsou definovány přípustné sekvence volání metod, přičemž se abstrahuje od vnitřních dat komponent. Jde sice o rozumnou úroveň abstrakce pro ověření bezchybnosti komunikace softwarových komponent, nicméně pro člověka muže být jeho přečtení a pochopení obtížné. Tato práce se snaží pomoci softwarovému návrháři pochopit specifikaci chování komponent. Předkládá způsob automatického ověřování platnosti obecných časových vlastností vyjádřených v lineární temporální logice spolu s dvěmi technikami redukce behavior protokolu. Redukce vzhledem ke kompozici odstraní ty části protokolu, které nejsou použity v dané kompozici komponent, a zdůrazní tak skutečné role všech komponent. Redukce vzhledem k vlastnosti vypustí ty části protokolu, které nejsou podstatné pro danou vlastnost. Takto redukovaný protokol by měl zdůraznit části, které zapříčiňují platnost dané vlastnosti.
|
|
|
Informační systém pro společnost na výrobu součástek do dopravní techniky
Čech, Martin ; Kofroň, Jan (vedoucí práce) ; Šerý, Ondřej (oponent)
V předložené práci studujeme návrh a konkrétní implementaci informačního systému pro malé a střední firmy. Jejím cílem je správa dat o zaměstnancích, partnerských společnostech (jak dodavatelích, tak zákaznících), jednotlivých zakázkách a samotných výrobcích. Jedná se tedy o prakticky zaměřenou aplikaci, která se skládá ze tří částí: databázové vrstvy, aplikačního serveru a klientského programu pro správu dat. Je navíc specializována na správu výrobků, jejich rozklad na elementární součástky a vytváření jejich výrobních postupů. Další významnou částí je evidence produkce zaměstnanců, díky které je možné sledovat postup vývoje zakázky a také generovat mzdu. V práci se zaměříme zejména na řešení jednotlivých částí aplikace a komunikace mezi nimi. Powered by TCPDF (www.tcpdf.org)
|
|
|
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.
|
|
|
Presenting results of software model checker via debugging interface
Kohan, Tomáš ; Šerý, Ondřej (vedoucí práce) ; Jančík, Pavel (oponent)
Název práce: Prezentace výsledků kontroly softwarového modelu skrz ladící rozhraní Autor: Tomáš Kohan Katedra: Katedra softwarového inženýrství Vedoucí diplomové práce: RNDr. Ondřej Šerý, Ph.D., Katedra distribuovaných a spolehlivých systémů Abstrakt: Cílem této práce je navrhnout a implementovat nové ladící rozhraní programu Java PathFinder. Vhodným prostředím pro toto rozhraní byl zv- olen vývojový nástroj Eclipse. Vytvořené rozhraní graficky vizualizuje výstupy programu JPF a jednotlivé detaily stavu pozastaveného virtuálního stroje (JVM), zvláště pak seznam proměnných a jejich hodnot. Za tímto účelem jsou vytvořeny dva podprojekty, a to debug4jpg a JPFDeb.core. Projekt debug4jpf kontroluje a komunikuje s instancí JPF. JPFDeb.core pak ve formě zásuvného modulu pro Eclipse poskytuje takové uživatelské rozhraní, které je podobné standardnímu rozhraní ladícího programu pro Javu. Oba projekty mezi sebou komunikují přes ad hoc komunikační protokol, který byl navržen pro tento účel. Klíčová slova: Java, verifikace, kontrola modelu, JPF, ladící rozhraní
|
host ::
RSS.