|
|
Rozšiřování jazyka YARA
Kender, Tomáš ; Zobal, Lukáš (oponent) ; Regéciová, Dominika (vedoucí práce)
Táto práca sa zaoberá problematikou vylepšení nástroja YARA slúžiaceho na definovanie vzorového chovania malvéru a následné vyhľadávanie na základe definovaných vlastností v súboroch za účelom detekcie malvéru v prehľadávaných súboroch. Zavádza nové syntaktické konštrukty jazyka na zápis vlastností, načrtáva nový spôsob vyhľadávania reťazca v behaviorálnych informáciach generovaných Cuckoo Sandboxom a vyhodnocuje dopady zmien. Pri riešení budeme pracovať so zápisom lexikálnych a syntaktických pravidiel jazyka, pridáme do YARY nový dátový typ pre dynamické pole, ale budeme sa venovať aj optimalizácii výkonu bajtkódu či implementácii nového bajtkódového príkazu. Výstupom práce je produkt, ktorý umožní malvérovým analytikom písať kratšie a ľahšie čitateľné pravidlá pre detekciu malvérov a skrátiť dobu skenovania behaviorálnych informácií.
|
|
|
Nástroj pro tvorbu automatické dokumentace SW pro PLC
Navrátil, Jan ; Štohl, Radek (oponent) ; Petyovský, Petr (vedoucí práce)
Tato práce se zabývá implementací nástroje pro automatické generování diagramů z anotovaného zdrojového kódu v jazyce Structured Text pro PLC aplikace. Cílem je zefektivnit proces tvorby dokumentace softwarových projektů tím, že umožní vývojářům automaticky generovat diagramy, které popisují strukturu a chování jejich aplikací. Práce se dále zaměřuje na průzkum existujících nástrojů pro tvorbu diagramů a jejich možností. Na základě tohoto průzkumu je navržen a implementován překladač, který extrahuje relevantní informace z kódu a generuje diagramy ve standardizovaném grafickém jazyce UML. Výsledkem je implementovaný nástroj, který umožňuje softwarovým vývojářům snadno vytvářet a aktualizovat diagramy jejich aplikací, což přispívá k rychlejšímu a přesnějšímu procesu dokumentace.
|
|
|
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.
|
host ::
RSS.