|
|
Balancing Keyword-Based Data and Queries in Distributed Storage Systems
Wirth, Martin ; Parízek, Pavel (vedoucí práce) ; Zavoral, Filip (oponent)
Výzkum v oblasti distribuovaných systémů dosud neodhalil optimální způsob vy- važování zátěže. Existující přístupy pracují primárně s replikací a horizontálním dělením dat. Tato práce shrnuje současný stav zkoumání v této oblasti, se zaměřením na horizon- tální dělení dat, a obsahuje experiment, který porovnává moderní vyvažovací algoritmus Weighted-Move s náhodným a také s existujícím doménově-specifickým přístupem. Výz- namnou součástí práce je univerzální a škálovatelná implementace pro vyvažování zátěže v jakémkoli distribuovaném systému a její nasazení do skutečného systému Sklik pro výdej internetové inzerce. Hlavní výzvy řešení byly spojeny s různými problémy, které se týkaly konzistence dat, výkonu a synchronizace, a také s nutností udržet kompatibilitu implementace se zbytkem neustále vyvíjeného systému Sklik. Námi provedený experi- ment ukazuje, že zmíněný doménově specifický přístup k vyvažování zátěže umí data distribuovat tak, že systém dosahuje největšího výkonu ze všech porovnávaných vari- ant. Nicméně z výsledků algoritmu Weighted-Move je možné vidět jeho velký potenciál, přičemž očekáváme, že další práce na naší implementaci by tyto výsledky mohla ještě vylepšit. 1
|
|
|
Data Lineage Analysis for Qlik Sense
Jurčo, Andrej ; Parízek, Pavel (vedoucí práce) ; Blicha, Martin (oponent)
Počas posledných rokov sa Business Intelligence stala veľmi dôležitou pre všetky spoločnosti a organizácie po celom svete v oblasti rozhodovania a pozorovania dlhodobých trendov. Často sa stáva, že nástroje Business Intelligence sa postupne stanú veľmi zložitými a vykonanie akýchkoľvek zmien je veľmi náročné. Tento problém dokáže riešiť data lineage vizualizáciou dátových tokov a zobrazením vzájomných závislostí. Manta Flow je platforma, ktorá takúto lineage vytvára a podporuje programovacie jazyky (Java, C), databázy (Oracle, MS SQL), či nástroje Business Intelligence (Cognos, Qlik Sense). Cieľom tejto práce bolo implementovať prototyp skenerového modulu pre platformu Manta Flow, ktorý by zanalyzoval dátové toky v Qlik Sense a vytvoril by graf data lineage od dátových zdrojov až po prezentačnú vrstvu. Tento modul extrahuje metadáta potrebné pre analýzu, resolvuje objekty prítomné v danej Qlik Sense aplikácii a analyzuje dátové toky v nich. Výsledný graf data lineage je následne vizualizovaný inými komponentami platformy Manta Flow. 1
|
|
|
An intelligent search aggregator and trip planner for accommodation web sites
Deckert, František ; Faltín, Tomáš (vedoucí práce) ; Parízek, Pavel (oponent)
V současné době je na internetu k dispozici velké množství srovnávačů ubytování. Ani jeden z nich však nenabízí žádné pokročilejší možnosti hledání, kromě zadání jednoho místa a data od a do. Cílem této práce je přinést tyto pokročilejší možnosti hledání do světa ubytování. Uživateli jsou nabízeny výsledky, které jeden pobyt rozdělí mezi vícero ubytování. Také může specifikovat více měst s volitelným časovým rozmezím a aplikace mu naplánuje cestu podle zvolených kritérií třídění. 1
|
|
|
A programming language presented in graphics
Sobkuliak, Roman ; Bednárek, David (vedoucí práce) ; Parízek, Pavel (oponent)
Cieľom práce je vytvoriť programovací jazyk so znakmi a kľúčovými slovami nahradenými za obrázky a animácie (GIFy). To zahŕňa naprogramovanie webového vývojového prostre- dia a interpreteru pre tento jazyk. V práci využijeme moderné webové technológie ako WebWorkers, TypeScript a React. Vývojové prostredie podporuje krokovanie programu s informáciami o aktuálnej pozícii v kóde, hodnotami premenných a volacieho zásobníku. Vývojové prostredie navyše ponúka možnosť ukladať a načítať užívateľské programy zo serveru. Účel tohto jazyka je edukatívny, môže byť napríklad použitý v hrách na programovacích sústredeniach pre žiakov základných a stredných škôl. 1
|
|
|
Dynamic Analysis Framework for C#/.NET Programs
Čižmárik, Andrej ; Parízek, Pavel (vedoucí práce) ; Bulej, Lubomír (oponent)
Dynamická analýza je metóda používaná na analýzu chovania programov, čo môže byť využité pri hľadaní rôznych chýb v softwari. V dnešnej dobe je trend vo vývoji viacvláknových programov, kde môžu bezpochyby nas- tať problémy so synchronizáciou vlákien. Navyše, pôvod chýb v softwari, ktoré sú spôsobené rozdielnym naplánovaním a usporiadaním operácií, je ťažko odhaliteľný, nakoľko sú tieto chyby nedeterministické. Rozhodli sme sa naimplementovať framework na dynamickú analýzu programov napísaných v jazyku C# spolu s dvoma známymi algoritmami, ktoré sa používajú na de- tekciu a predikciu data-race-ov. Vo výsledku sme vytvorili konfigurovateľný a rozšíriteľný nástroj SharpDetect, ktorý podporuje dynamickú analýzu CIL programov. Konkrétne ide o programy napísané v jazyku C# pre platformy podporované frameworkom .NET Core. Na ukážku užitočnosti vytvoreného riešenia bol SharpDetect úspešne nasadený na knižnicu NetMQ, čo je imple- mentácia ZeroMQ v programovacom jazyku C# a kde našiel jednu skutočnú chybu.
|
|
|
Analyzing Data Lineage in Database Frameworks
Eliáš, Richard ; Parízek, Pavel (vedoucí práce) ; Hnětynka, Petr (oponent)
Informačné systémy často vo svojej implementácií využívajú už existujúce frameworky a knižnice. Dôležitou vlastnosťou takýchto systémov sú ich dátové toky. Dáta sú načítané zo zdrojového systému (napríklad databáze), pokračujú cez aplikačný kód a zapísané sú do ďalšieho, cieľového systému. Ako súčasť práce sme implementovali nástroj Java Resolver schopný získavať dátové toky Java aplikácií. Program využíva existujúcu knižnicu Symbolic analysis library, ktorá je shopná počítať dátové toky jednoduchých Java aplikácií. Ako zdrojové a cieľové systémy však knižnica rozpoznáva iba JDBC a I/O API. V našom riešení sme navrhli zmenu architektúry knižnice, aby bola jednoducho rozšíriteľná pomocou pluginov, ktoré môžu pridať podporu pre nové frameworky. Tieto pluginy sme implementovali pre niekoľko frameworkov (Spring JDBC, MyBatis a Kafka). Naše testy ukazujú, že tento prístup môže byť v praxi využiteľný. 1
|
|
|
Informační systém osobní přepravy
Smolka, Tomáš ; Ježek, Pavel (vedoucí práce) ; Parízek, Pavel (oponent)
Cílem této práce bylo vytvořit informační systém pro malé firmy podnikající v oboru smluvní osobní přepravy, které nemají přístup k vhodnému softwarovému řešení pro svoji činnost. Vzniklý informační systém poskytuje řešení pro celý životní cyklus objednávky na přepravu, od založení objednávky od cestovní agentury, přes naplánování realizace ob- jednávky řidičem, až po vytvoření faktury pro cestovní agenturu. Z důvodu téměř neexistujících standardů v oboru osobní přepravy na formáty souborů (objednávky, faktury atd.) jsou všechny vstupy a výstupy systému řešeny pomocí pluginů. V textové části práce je podrobně představeno fungování firmy poskytující smluvní osobní přepravu. Dále je rozebrán návrh a samotný vývoj informačního systému. Následně je popsána struktura implementovaného softwarového řešení. V teoretické části práce byla provedena hloubková analýza interních procesů firmy poskytující smluvní osobní přepravu, na jejímž základě byl proveden návrh a následná implementace systému. 1
|
|
|
Extracting Information from Database Modeling Tools
Drobný, Denis ; Parízek, Pavel (vedoucí práce) ; Kopecký, Michal (oponent)
Data lineage je zobrazením toku informácií v komplikovaných systémoch. V prípade, že takýmto systémom je databáza, ukazuje tabuľky a stĺpce, spolu s transformáciami, ktoré modifikujú dáta v nej uložené. Takýto pohľad však môže byť ťažko pochopiteľný pre ľudí, ktorí sú menej zbehlí v technickom prostredí, keďže databázové objekty väčšinou podliehajú menným konvenciám a častokrát reprezentujú implementačné detaily. Pre jednoduchšie pochopenie dátových tokov sme vypracovali softvér Metadata Extractor. Ten na jednej strane získava podrobný popis databázových objektov a zároveň prináša novú perspektívu na tok dát pomocou business lineage, ktorá je pochopiteľná pre širší okruh ľudí. Informácie potrebné na vytvorenie takejto funkcionality získavame z mode- lovacích nástrojov, akými sú napríklad ER/Studio a PowerDesigner, ktoré sa využívajú pri navrhovaní databáz. Naše riešenie využíva a zároveň rozširuje Manta Flow, čo je softérový nástroj na vytváranie dátových tokov. 1
|
|
|
Interakční dominance
Pařízek, Pavel ; Špinka, Marek (vedoucí práce) ; Bahbouh, Radvan (oponent)
Práce se věnuje biosociálnímu modelu statusové stratifikace v malých skupinách. Model vychází z přesvědčení, že lidské statusové chování je evolučním pokračováním zvířecího statusového chování (speciálně u primátů). Každý člověk je vybaven signalizačním mechanismem, kterým vysíláme informace o vzájemném statusové postavení nadřízenosti či podřízenosti (či jaký status bychom měli mít). Statusová komunikace je u lidí velmi nenápadná a primárně se odehrává na nonverbální úrovni. Statusová stratifikace často probíhá automaticky bez vědomí subjektů. Biosociální model se tak vymezuje vůči klasickým autorům sociální stratifikace, kteří její mechanismus vysvětlují primárně na kognitivní úrovni. V praktické části se práce snaží za použití nové metodologie ověřit hlavní předpoklad modelu o existenci implicitního stratifikačního mechanismu, který je schopen fungovat bez zapojení kognice. Výzkum pracuje se skupinou lidí po 6 probandech. K označení statusu ve skupině bylo využito hracích karet. V každé skupině bylo jednotlivcům pomocí hracích žolíkových karet uměle přiřazovány pozice. Následně bylo zaznamenáváno, jak se tyto umělé pozice promítly do reálného postavení probanda ve skupině. V další části zjišťuje vliv osobnostních proměnných na postavení ve skupině. Hlavní předpoklad se nepodařilo ověřit. V...
|
|
|
Runtime Checking of Privacy and Security Contracts in Dynamic Architectures
Kliber, Filip ; Parízek, Pavel (vedoucí práce) ; Hnětynka, Petr (oponent)
Mezi důležité aspekty konceptu IoT patří zajisté soukromí a bezpečí. Jsou známy případy z minulosti, kde implementace bezpečnosti nebyla dostačující, což umožnilo hackerům získat nepovolený přístup k desítkám tisíc každo- denních zařízení připojených k internetu a zneužít tuto moc k ochromení komunikace na internetu. V této práci jsme navrhli a naimplementovali nástroj Glinior, který umožňuje definovat vzájemné kontrakty mezi ob- jekty nebo komponentami v aplikaci, a zajistit, že komunikace mezi těmito objekty nebo komponentami probíhá podle takto specifikovaných kontraktů. Nástroj Glinior pro ověřování kontraktů specifikované uživatelem používá techniky dynamické analýzy, pomocí frameworku JVMTI v kombinaci s kni- hovnou ASM pro manipulaci s byte-kódem.
|
host ::
RSS.