|
|
Výukový nástroj pro barvené Petriho sítě
Navrátil, Ondřej ; Kočí, Radek (oponent) ; Rogalewicz, Adam (vedoucí práce)
Barvené Petriho sítě (CPN) jsou rozšířením klasických place-transition Petriho sítí (P/T PN). Všechny tokeny a místa zde mají svůj typ (příp. i hodnotu), do sítě lze dále vkládat různé typy inskripcí. CPN vynikají svou snadnou čitelností a skvělou vyjadřovací schopností. Zároveň disponují pevnými formálními podklady, jenž usnadňují jejich počítačovou simulaci a v omezené míře umožňují verifikovat některé vlastnosti. Motivací tohoto projektu je fakt, že v současnosti je veřejně dostupný pouze jediný nástroj pro úpravu a simulaci CPN, a sice CPNTools vyvíjený na univerzitě v Aarhusu. Program je však komplikovaný a pro nezainteresovaného uživatele obtížně uchopitelný. Cílem projektu je prozkoumat možnosti a vlastnosti CPN a nástroje CPNTools a na základě získaných znalostí navrhnout a implementovat didaktickou aplikaci se svižným a intuitivním rozhraním, která umožní uživatelům bez hlubších teoretických vědomostí získat přehled o problematice CPN.
|
|
|
Syntaktická analýza a validace datových modelů popsaných jazykem YANG
Vican, Pavol ; Kekely, Lukáš (oponent) ; Kořenek, Jan (vedoucí práce)
Administrátori počítačových sietí potrebujú nástroje na konfiguráciu a monitorovanie sieťových zariadení. Z tohto dôvodu bol vytvorený protokol NETCONF, určený na vzdialenú konfiguráciu, a modelovací jazyk YANG, ktorý popisuje štruktúru a sémantiku konfiguračných dát. Cieľom tejto práce je rozšírenie knižnice libyang o syntaktický analyzátor, ktorý spracováva modely popísané jazykom YANG a ukladá ich do interných štruktúr knižnice libyang. Tento analyzátor je vygenerovaný pomocou nástrojov bison a flex.
|
|
|
Website Design
Husár, Viliam ; Neuwirth, Bernard (oponent) ; Koch, Miloš (vedoucí práce)
The aim of this bachelor's thesis is to design a web application for company VHML, spol. s r.o., by help of which employees will be able to create quotations and pricelist and send them to customers. This application will based on following technologies: PHP, MySQL, FLEX and LaTeX.
|
|
|
Jazyk pro procedurální generování
Dobiáš, Roman ; Káčerik, Martin (oponent) ; Milet, Tomáš (vedoucí práce)
Práca sa zaoberá návrhom a implementáciou knižnice s jazykom pre procedurálne generovanie, vychádzajúcim z L-systémov. Zmyslom práce je vytvoriť prakticky použiteľnú a jednoducho integrovateľú knižnicu, ktorá sa bude dať využiť v celej rade aplikácií, obzvlášť v 3D vykresľovacích enginoch alebo editoroch. Práca sa zaoberá nutnou teóriou procedurálneho generovania a L-systémov, téoriou formálnych jazykov, a návrhom a implementáciou daného systému. Výsledkom práce sú ukážkové projekty využívajúce knižnicu a početné príklady dosiahnuté pomocou generovania.
|
|
|
Obecný systém pro testování interpretů
Drahošová, Michaela ; Koutný, Jiří (oponent) ; Lukáš, Roman (vedoucí práce)
Práce se zabývá návrhem a implementací systému pro testování interpretů. Testování interpretů je založeno na principu porovnání výsledků interpretace testovacího programu s referenčními výsledky. Sada testovacích programů je získána pomocí překladu testovacích programů v referenčním jazyce na programy v jazyce testovaného interpretu. Testovací systém umožňuje po analýze souboru, který obsahuje popis syntaxe a sémantiky jazyka interpretu, vygenerovat testovací sadu programů pro interpret s odpovídajícími vstupy a referenčními výstupy. Pro tento účel využívá překladu jednoho vyššího programovacího jazyka na jiný.
|
|
|
Moderní technologie v OLAP
Janoška, Daniel ; Kužela, Alois (oponent) ; Hruška, Tomáš (vedoucí práce)
Nástroje OLAP sa v stále väčšej miere uplatňujú v podnikoch a inštitúciach po celom svete. Sú špeciálne zamierené na podporu potrieb riadiacich pracovníkov. Hlavnou témou seminárnej práce je OLAP analýza s jej možnosťami. Seminárna práca sa tiež zaoberá technológiami FLEX a AIR. V seminárnej práci sú prebrané základné princípy fungovania týchto technológií.
|
|
|
Simulátor a trenažer digitálních fotoaparátů řady OLYMPUS E510
Hudec, Tomáš ; Drozdová, Martina (oponent) ; Kunovský, Jiří (vedoucí práce)
Práci "Simulátor a trenažer digitálních fotoaparátů řady OLYMPUS E510" je možné rozdělit do tří částí - obecná, konkrétní a závěr. Obecná úvodní část je věnována fotoaparátu Olympus E510, ovládání všech jeho módů je popsáno v rámci stručného manuálu. Dále se první část věnuje použitým technologiím, zejména od Adobe. Druhá část se již věnuje konkrétní implementaci simulátoru fotoaparátu Olympus E510, na základě znalostí získaných v první části práce. Závěrem je hodnocena implementace z hlediska využití konkrétní technologie, ta je porovnána s možnými alternativami a jsou vyzvednuty její klady/zápory.
|
|
|
Vytvoření interaktivních pomůcek z oblasti 2D počítačové grafiky
Malina, Jakub ; Průša, Zdeněk (oponent) ; Rajmic, Pavel (vedoucí práce)
V teto diplomove prace se budeme zabyvat popisem zakladnich vlastnosti pocitacovych krivek a jejich praktickou pouzitelnosti. Vysvetlime si, jak lze krivky chapat obecne, co to jsou polynomialni krivky a zpusoby napojovani. Pote se zamerime na popis Bezierovych krivek, hlavne pak na Bezierovy kubiky. Podrobneji probereme nektere stezejni algo- ritmy, ktere se pouzivaji pro vykreslovani techto krivek na pocitacich, a ukazeme si jejich praktickou implementaci. Pote probereme neuniformni racionalni B-spline krivky a De Booruv algoritmus. Nakonec projdeme tematem rasterizace usecky, silne cary, kruznice a elipsy. Cilem diplomove prace je vytvoreni nekolika interaktivnich appletu, simulujicich algoritmy pro rasterizaci a vykresleni krivek probirane v teoreticke casti. Tyto applety napomuzou snazsimu pochopeni teoretickych poznatku a zefektivni vyuku.
|
|
|
Jazyk pro procedurální generování
Dobiáš, Roman ; Káčerik, Martin (oponent) ; Milet, Tomáš (vedoucí práce)
Práca sa zaoberá návrhom a implementáciou knižnice s jazykom pre procedurálne generovanie, vychádzajúcim z L-systémov. Zmyslom práce je vytvoriť prakticky použiteľnú a jednoducho integrovateľú knižnicu, ktorá sa bude dať využiť v celej rade aplikácií, obzvlášť v 3D vykresľovacích enginoch alebo editoroch. Práca sa zaoberá nutnou teóriou procedurálneho generovania a L-systémov, téoriou formálnych jazykov, a návrhom a implementáciou daného systému. Výsledkom práce sú ukážkové projekty využívajúce knižnicu a početné príklady dosiahnuté pomocou generovania.
|
|
|
Syntaktická analýza a validace datových modelů popsaných jazykem YANG
Vican, Pavol ; Kekely, Lukáš (oponent) ; Kořenek, Jan (vedoucí práce)
Administrátori počítačových sietí potrebujú nástroje na konfiguráciu a monitorovanie sieťových zariadení. Z tohto dôvodu bol vytvorený protokol NETCONF, určený na vzdialenú konfiguráciu, a modelovací jazyk YANG, ktorý popisuje štruktúru a sémantiku konfiguračných dát. Cieľom tejto práce je rozšírenie knižnice libyang o syntaktický analyzátor, ktorý spracováva modely popísané jazykom YANG a ukladá ich do interných štruktúr knižnice libyang. Tento analyzátor je vygenerovaný pomocou nástrojov bison a flex.
|
host ::
RSS.