|
|
Elektronický hospodář
Pavlovský, Jiří ; Bednárek, David (vedoucí práce) ; Daniel, Jakub (oponent)
Hlavním cílem této práce byla implementace systému, který pomůže hospodářům kateder a správcům grantů správu přiděleného rozpočtu. Systém umožní vést správu jednak uskutečněných výdajů, jednak výdajů plánovaných. Nabídne rovněž vedení jednotlivých zdrojů a rozvržení výdajů v účetním období. Systém bude spolupracovat s oficiálním děkanátním účetnictvím prostřednictvím zpracování z něj exportovaných dat. Powered by TCPDF (www.tcpdf.org)
|
|
|
Capturing Performance Assumptions using Stochastic Performance Logic
Trojánek, Tomáš ; Tůma, Petr (vedoucí práce) ; Bednárek, David (oponent)
U softwarových projektů se výkonnostní testování používá k objektivnímu zhod- nocení rychlosti daného díla. V ideálním případě je k projektu přidružena sada testů, která může být opakovaně spouštěna za účelem ověření, zda jsou vešk- eré výkonnostní nároky stále dodrženy. V dnešní době nejrozšířenější způsob, jak tyto testy provádět, staví na absolutních hodnotách naměřeného času. Test spustí vybranou jednotku aplikace a následně porovná dobu jejího běhu s pře- dem stanovenou časovou hranicí. Tento přístup má však nevýhody, které značně nabourávají spolehlivost takovýchto testů. Není totiž zřejmé, jak určit ony časové hranice, které rozhodují o úspěchu nebo selhání. A pakliže jsou tyto hranice určeny, jsou závislé na konkrétní hardwarové konfiguraci. Tato práce se proto jako řešení zmiňovaných problémů pokouší ukázat odlišný způsob, který je založený na relativním porovnávání výkonu. Za pomoci logiky, která staví na práci pub- likované zadávající katedrou, se vybrané jednotky aplikace porovnávají navzájem a výsledky testů se tak stávají odolnější vůči změnám prostředí. Zavedená teorie je v práci také implementována a ověřena na vybraných ukázkových případech. 1
|
|
|
Validace XML dokumentů vůči PSM schématům jazyka XSEM
Skalický, Jakub ; Malý, Jakub (vedoucí práce) ; Bednárek, David (oponent)
XSEM je jazyk pro modelování XML schémat. Pro modelování pomocí jazyka XSEM byl vytvořen program eXolutio, který nabízí uživateli pohodlný způsob jak využít všechny výhody jazyka XSEM. Předmětem této práce je návrh algoritmu pro validaci XML dokumentů vůči PSM schématům jazyka XSEM a porovnání vyjadřovací síly s ostatními jazyky pro definici XML schémat. Je zde popsán základní algoritmus použit pro validaci a všechna jeho nezbytná rozšíření, které bylo nutno doplnit, aby algoritmus pokrýval všechny možnosti jazyka XSEM. Součástí je také praktická implementace algoritmu jako rozšíření programu eXolutio.
|
|
|
Analýza paralelizovatelnosti programů na základě jejich bytecode
Brabec, Michal ; Bednárek, David (vedoucí práce) ; Ježek, Pavel (oponent)
Analýza paralelizovatelnosti programů na základě jejich bytecode Práce se zabývá analýzou možností aplikace algoritmů pro automatickou paralelizaci na programy, u kterých máme k dispozici jejich bytecode, nebo podobný mezikód. Nejdůležitějším vstupem těchto algoritmů je identifikace částí kódu, které by mohly být spuštěny zároveň, tyto části se nazývají nezávislé a právě testování závislostí v kódu je nejtěžší problém automatické paralelizace. Tento problém je v úplně obecném případě algoritmicky neřešitelný a práce se snaží zjistit, jestli je možné najít nezávislosti v bytecode alespoň v nějakém omezeném případě. Prvním krokem analýzy kódu funkce je integrace volaných funkcí, které umožní analyzovat výsledný kód najednou a získat tak přesnější informace. Dále je třeba identifikovat podmíněné skoky a cykly, až pak je teprve možné hledat nezávislosti v kódu a ty potom použít při aplikace paralelizačních algoritmů. Součástí práce je implementace integrace funkcí a analýzy kódu pro platformu Microsoft .NET Framework.
|
|
|
Implementace vybraných databázových operací v paralelním prostředí
Majdan, Ján ; Bednárek, David (vedoucí práce) ; Lokoč, Jakub (oponent)
Název práce: Implementace vybraných databázových operací v paralelním pro- středí Autor: Bc. Ján Majdan Katedra: Katedra softwarového inženýrství Vedoucí diplomové práce: RNDr. David Bednárek, Ph.D. Abstrakt: Předložená diplomová práce se zabývá možnostmi implementace da- tabázových operací v paralelním prostředí Bobox. Popisuje potřebné teore- tické znalosti z oblasti databází, a též algoritmy potřebné pro implementaci da- tabázových operací v hlavní paměti počítače. V textu jsou popsané možnosti pa- ralelní realizace databázových operací pomocí hašovacích tabulek. Představené jsou principy založené na sdílení hašovací tabulky, a taky předzpracování dat (lokální hašovací tabulka). Součástí diplomové práce je i paralelní implementace vybraných operací, která je založená na postupech představených v textu práce. Realizace zahrnuje taky měření výkonnosti implementace při různých stupních paralelizace. Naměřené výsledky jsou přehledně prezentované a analyzované z po- hledu škálovatelnosti paralelizace v prostředí Bobox. Klíčová slova: databázové operace, Bobox, paralelizace, hašování, předspracování dat 1
|
|
|
Analysis of Interface Automata with On-Demand Replication
Daniel, Jakub ; Kofroň, Jan (vedoucí práce) ; Bednárek, David (oponent)
Interface automat je model chování softwarové komponenty založený na koneč- ných automatech. Popisuje její poskytovaná rozhraní neboli podporované použití a požadovaná rozhraní neboli použití ostatních komponent. Značný počet kompo- nent může být použit paralelně bez omezení úrovně paralelismu. Není nutné, aby se model pokoušel zachytit tuto neomezenost. Alternativním přístupem je umož- nit zvyšování úrovně paralelismu na vyžádání. Tato práce na teoretické úrovni analyzuje a navrhuje konečnou podobu operace k zajištění tohoto typu replikace s cílem umožnit konstrukci modelů libovolné úrovně paralelismu v určitých čás- tech jejich chování.
|
|
|
Extracting Linked Data from Excel Files
Dembinný, Šimon ; Nečaský, Martin (vedoucí práce) ; Bednárek, David (oponent)
Název práce: Extrakce Linked Data ze souborů aplikace Exccel Autor: Šimon Dembinný Katedra: Katedra softwarového inženýrství, Vedoucí bakalářské práce: Mgr. Martin Nečaský, Ph.D., Katedra softwarového inženýrství, Matematicko-fyzikální fakulty, Univerzity Karlovy v Praze Abstrakt: Těžištěm práce je její praktická část spočívající ve vytvoření aplikace pro extrakci Linked Data z excelových souborů. Je vytvořena formou doplňku k aplikaci Microsoft Excel. Teoretické část popisuje význam Linked Data a porovnává vyvinutý Excel doplněk s aplikací OpenRefine, která představuje nejlepší volně dostupný nástroj pro extrakci Linked Data z tabulkových dat. Klí čová slova: Linked Data, RDF, Excel, tabulkové kalkulátory
|
|
|
Univerzální diskrétní simulátor
Vytasil, Jiří ; Pergel, Martin (vedoucí práce) ; Bednárek, David (oponent)
V této práci je rozebrán návrh a implementace programu umožňujícího provádět diskrétní simulace. Dále je v programu implementována vizualizace průběhu diskrétní simulace. Důraz je kladen především na univerzalitu. Kromě programu a jeho popisu jsou zde informace o diskrétní simulaci, které umožní jednodušší pochopení činnosti programu. Pro popis diskrétní simulace používáme konečné automaty a regulární gramatiky. Zmíněné části zde více popisujeme, abychom jednodušeji pochopili popis diskrétní simulace. Systém dále umožňuje úpravu vstupních souborů pro jednodušší práci programu.
|
|
|
Moderní implementace LALR(1) konstruktoru
Fišer, Karel ; Bednárek, David (vedoucí práce) ; Hnětynka, Petr (oponent)
Cílem této práce je navrhnout moderní design konstruktoru parserů a návrh poté realizovat. Výsledkem práce je programátorské dílo sestávající z programu, který ze vstupního souboru čte popis bezkontextové LALR(1) gramatiky a sémantických akcí. Do výstupních souborů generuje zdrojový kód syntaktického analyzátoru, který při parsování jazyka odpovídajícího dané gramatice vykonává dané sémantické akce. Součástí jsou šablony zdrojových kódů pro implementaci výsledného analyzátoru, a to pro několik cílových moderních objektových programovacích jazyků. Powered by TCPDF (www.tcpdf.org)
|
|
| |
host ::
RSS.