Národní úložiště šedé literatury Nalezeno 159 záznamů.  1 - 10dalšíkonec  přejít na záznam: Hledání trvalo 0.00 vteřin. 
Performance and Usability Improvements for Data Lineage Analysis of C# Programs
Kleprlík, Jan ; Parízek, Pavel (vedoucí práce) ; Bednárek, David (oponent)
Manta Flow je vysoce automatizovaná platforma pro statickou analýzu datových toků, které jsou následně zobrazeny v přehledném grafu. Tato platforma provádí analýzu mnoha technologií a programovacích jazyků pomocí takzvaných skenerů. Jeden z těchto skenerů provádí analýzu C# kódu, respektive jeho zkompilované alternativy Common Intermedi- ate Language. Tento skener byl již dříve schopný analyzovat netriviální aplikace, ovšem některé jeho aspekty stále zabraňovaly jeho rozšířenému použití a adopci ze strany uživa- telů. Mezi hlavní problémy patří nedostatečná podpora analýzy reálných aplikací z pro- dukčního prostředí, jako například webové aplikace nebo krátké úryvky kódu embedované v jiných technologiích, pomalá analýza a její nepřesný výstup. V této práci bylo dosa- ženo celkového zlepšení přesnosti, využitelnosti a výkonu skeneru na několika úrovních abstrakce od analýzy CIL kódu po modifikace celkového designu. Byla přidána podpora analýzy webových rozhraní vytvořených pomocí frameworku ASP.NET a embedovaného kódu v jiných technologiích. Zároveň byla vylepšena přesnost a výkon datové analýzy u dříve podporovaných aplikací úpravou klíčových algoritmů použitých během analýzy. 1
High-performance exploration and querying of selected multi-dimensional spaces in life sciences
Kratochvíl, Miroslav ; Bednárek, David (vedoucí práce) ; Glaab, Enrico (oponent) ; Svozil, Daniel (oponent)
Tato práce studuje, implementuje a experimentuje se specifickými, aplikačně orien- tovanými přístupy pro prozkoumávání a dotazování multimediálních dat. První část práce zkoumá indexování komplexního prostoru chemických sloučenin a popisuje návrh vysoce výkonného systému pro dotazování v databázích malých molekul. Výsledný sys- tém je následně využit v širším kontextu federovaného vyhledávání v heterogenních dat- ech a metadatech souvisejících s chemickými informačními zdroji. V druhé části se práce zaměřuje na rychlou vizualizaci a prohledávání mnohadimenziálních dat pocháze- jících z jednobuněčné průtokové cytometrie. Ze samoorganizačních map odvozuje rychlé metody pro analýzu dat, a využívá je jako základ pro nový vizualizační algoritmus. Podobný přístup zpracování dat je nakonec využit pro vysoce interaktivní prohledávání multimediálních dat. Hlavní příspěvky a výsledky práce se sestávají z pokroku v opti- malizaci metod pro dotazování chemických dat implementovaných v databázi Sachem, federovaného rozhraní pro Sachem založeného na jazyce SPARQL které poskytuje pod- poru pro heterogenního dotazování, algoritmu EmbedSOM pro redukci dimenzionality, návrhu a implementace specifických analytických nástrojů pro průtokovou a hmotnos- tní cytometrii odvozených od algoritmu EmbedSOM, a návrhu a implementace...
Shape grammars for level generation in an action RPG game
Kalva, Tomáš ; Černý, Vojtěch (vedoucí práce) ; Bednárek, David (oponent)
3D akční role-playing hry inspirované Dark Souls (souls-like hry) nedávno nabyly na popularitě, ale jejich vývoj je náročný kvůli množství hratelného obsahu, které vyžadují. V této práci popisujeme framework pro generování úrovní zaměřený na tvorbu souls-like her. Pro tvorbu prostředí je použit nástroj pro procedurální modelování v kombinaci s tvarovými gramatikami. Uživatel může definovat vlastní skripty umožňující tvorbu herních mechanik, přidávání nepřátel, předmětů a zamykání části úrovně. Tento frame- work je vhodný pro generování posloupnosti úrovní a umožňuje jednoduchou tvorbu rozsáhlého množství různorodého obsahu a herních mechanik. Použití frameworku je demonstrováno na konkrétní hře v něm vytvořené. Kód této hry je dostupný v frame- worku, který je součástí elektronických příloh. 1
Peer-to-peer network for newspaper publication
Medvecký, Michal ; Bednárek, David (vedoucí práce) ; Zavoral, Filip (oponent)
Jednoduchý, slobodný a bezpečný. Všetky tieto vlastnosti by mal splňovať každodenný prístup k informáciám v novinách. V tejto práci vytvoríme toto prostredie na princípe siete peer-to-peer. Navrhneme komunikačný protokol medzi peermi, zašifrujeme ich správy a overíme pravosť článkov, ktoré zo siete žiadajú. Zabezpečíme chod novín ako inštitúcie, spolu s publikáciou článkov a správy redaktorov. Čitatelia článkov sa ich stiahnutím zo siete stávajú aj ich sekundárnymi a spolu s novinami jedinými zdrojmi, zabezpečujúc ochranu informácií v sieti.
Data Lineage Analysis Service for Embedded Code
Jurčo, Michal ; Parízek, Pavel (vedoucí práce) ; Bednárek, David (oponent)
Nástroje pro integraci dat často používají vložený kód pro manipulaci s daty. Mezi příklady takových nástrojů patří služba pro integraci dat AWS Glue, platforma Databricks, datový cloud Snowflake nebo integrační služby SQL Serveru (SSIS). Vestavěný kód je ob- vykle psán v programovacích jazycích jako je Python, Java, C# nebo JavaScript. Manta Flow je automatizovaná platforma pro analýzu datových linií v databázových modelech, datových kanálech nástrojů pro integraci dat, a ve zdrojovém kódu aplikací, ale chybí jí schopnost analyzovat vložený kód. V této práci jsme zhodnotili potenciální způsoby rozšíření možností platformy Manta Flow o schopnost analyzovat datové linie ve vloženém kódu. Vytvořili jsme obecný návrh opakovaně použitelné služby pro vestavěný kód, která využívá stávající potenciál analýzy datových toků ve zdrojovém kódu, a používá jej pro analýzu vestavěného kódu. Im- plementovali jsme specializaci této služby pro programovací jazyk Python a abychom demonstrovali její užitečnost, navrhli jsme a implementovali prototyp skeneru datových linií pro službu integrace dat AWS Glue. Tento skener rozsáhle využívá dotčenou službu k analýze datových linií ve vložených skriptech v jazyce Python, což jsme předvedli na realistickém příkladu. 1
Peer-to-peer network for newspaper publication
Medvecký, Michal ; Bednárek, David (vedoucí práce) ; Zavoral, Filip (oponent)
Jednoduchý, slobodný a bezpečný. Všetky tieto vlastnosti by mal splňovať každodenný prístup k informáciám v novinách. V tejto práci vytvoríme toto prostredie na princípe siete peer-to-peer. Navrhneme komunikačný protokol medzi peermi, zašifrujeme ich správy a overíme pravosť článkov, ktoré zo siete žiadajú. Zabezpečíme chod novín ako inštitúcie, spolu s publikáciou článkov a správy redaktorov. Čitatelia článkov sa ich stiahnutím zo siete stávajú aj ich sekundárnymi a spolu s novinami jedinými zdrojmi, zabezpečujúc ochranu informácií v sieti.
Inference-driven resource managemenent and polymorphism in systems programming
Klepl, Jiří ; Kratochvíl, Miroslav (vedoucí práce) ; Bednárek, David (oponent)
Jazyky pro Systémové programování usnadňují implementaci softwaru, který běží v omezených prostředích blízko hardwaru, jako jsou operační sys- témy, drivery, systémy reálného času a vestavěné systémy. Implementace prospěšných prvků pro tyto jazyky, jako jsou generické programování a ty- pový systém zajišťující bezchybnost kódu, je ztěžována úzkými požadavky na běhovýmé vlastnostni programu. Hlavní náplní této práce je prozk- oumat novou kombinaci jazyka C-- s prvky typového systému umožňující typovou kontrolu vysoce polymorfního kódu a demonstruje možnosti typově vedené správy zdrojů v tomto jazyku. Jako hlavní výstup práce podává důkaz konceptu zprostředkovaný prototypem překladače rožšířeného jazyka C-- do LLVM a popisuje typový systém založený na odkládajícím řešení omezujících podmínek, který je schopen typové inference za přítomnosti více- parametrových typových tříd a subtypy C--. Funkcionalitu typového systému a překladače demonstrujeme na vybraných ukázkách programů a popisujeme několik rozpoznaných komplikací návrhu, které lze adresovat pro praktičtější implementaci. 1
Systém pro automatickou regulaci v domácnosti
Kytka, Jan ; Obdržálek, David (vedoucí práce) ; Bednárek, David (oponent)
Název práce: Systém pro automatickou regulaci v domácnosti Autor: Jan Kytka Katedra: Katedra teoretické informatiky a matematické logiky Vedoucí bakalářské práce: RNDr. David Obdržálek, Ph.D., Katedra teoretické informa- tiky a matematické logiky Abstrakt: V problematice automatizace domácnosti a obecně řízení na základě dat ze vstupních jednotek existuje mnoho komerčních i hobby řešení. Nabízejí různá paradig- mata zápisu pravidel regulace, jako je popis reakcí na události, propojení pomocí sítě hradel, aj. Analyzovali jsme nedostatky událostmi řízených systémů a na základě nich jsme navrhli a implementovali aplikaci, kde se pravidla popisují explicitním zápisem pře- chodové funkce. Ukázali jsme, jak v tomto odlišném paradigmatu formulovat složitější regulační úlohy a předběžně ho nechali otestovat malým vzorkem uživatelů. Ti se shodli na tom, že je velmi použitelné, i když obtížnější na pochopení. Klíčová slova: automatizace výrazy řízení aplikace MQTT IoT ASP.NET 1
A type system for tracking of unsafe side effects
Beneš, Jiří ; Bednárek, David (vedoucí práce) ; Šefl, Vít (oponent)
Mainstreamové programmovací jazyky si neuchovávají informace o vedlej- ších efektech programů, kterými jsou například možnost alokování paměti, vyhození výjimky a provádění akcí souvisejících se vstupem a výstupem. Vytvořili jsme plně specifikovaný, originální typový systém založený na stup- ňovitých komonádách, jenž dokáže vyjádřit opt-in, granulární bezpečnost oz- načením výrazů jazyka jakožto bezpečné vzhledem k dané množině vedlejších efektů. Výhody granulární bezpečnosti jsou demonstrovány pomocí praktické implementace, která umožňuje našemu systému sledovat uživatelem speci- fikované vedlejší efekty. 1
Kind ParserConstructor for Java
Kuziel, Peter ; Žemlička, Michal (vedoucí práce) ; Bednárek, David (oponent)
Práca predstavuje implementáciu konštruktora analyzátorov, založeného na prívetivých gramatikách. Použitie prívetivých gramatík umožňuje použiť v zápise pravidiel jednoduchú lavú rekurziu, čo umožňuje pohodlnejsiu prácu s niektorými konštrukciami, ako sú napríklad aritmetické výrazy, ktoré sa pri klasickom prístupe pomocou LL(k) gramatík formujú menej zrozumitelne.

Národní úložiště šedé literatury : Nalezeno 159 záznamů.   1 - 10dalšíkonec  přejít na záznam:
Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.