No (4236)
Number of found documents:
4236
Published from
to
Návrh a implementace knihovny pro parsování bezkontextových gramatik
Trávníček Jan; Valkovič Patrik; Hrončok Miroslav
2018 - Czech
Cílem práce je vytvořit knihovnu, která striktně oddělí syntaktickou a sémantickou část zpracování strukturovaného textu při zachování snadného použití a jednoduchosti. Práce se zaměřuje na parsování bezkontextových gramatik v jazyce Python. Pro implementaci byl zvolen Cocke-Younger-Kasami algoritmus z důvodu největší robustnosti v oblasti bezkontextových gramatik. Pro zjednodušení práce knihovna implementuje transformace gramatik do Chomského normální formy i jejich opačnou verzi nad parsovacím stromem. Tím knihovna poskytuje univerzální nástroj pro parsování. Knihovna byla úspěšně implementovaná a publikována. Funkčnost knihovny je demonstrována na lambda kalkulu, jenž je parsován a interpretován.The goal of this thesis is to develop library that strictly separate syntactic and semantic part of the parsing proccess. Library is suppose to be simple and easy to use. Library parsing proccess uses context-free grammars and Cocke-Younger-Kasami algorithm, because of it's versatility. Library is developed in Python programming language. To simplify parsing proccess, the library implements transformations into Chomsky normal form. Moreover, it also implements backward transformations of the parsed tree. For that particular reasons, library provides complex parsing tool. The library was successfully implemented and published. The functionality of the library is demonstrated on lambda calculus interpreter, which functionality is to parse and interpret lambda calculus.
Keywords:
gramatiky,parsování,Chomského normální forma,Cocke-Younger-Kasami algoritmus,Python,lambda kalkulus; grammars,parsing,Cocke-Younger-Kasami algorithm,Chomsky normal form,Python,lambda calculus
Available at various departments of the ČVUT.
Návrh a implementace knihovny pro parsování bezkontextových gramatik
Cílem práce je vytvořit knihovnu, která striktně oddělí syntaktickou a sémantickou část zpracování strukturovaného textu při zachování snadného použití a jednoduchosti. Práce se zaměřuje na parsování ...
Bezpečnostní analýza programu KeePassXC
Kokeš Josef; Kavan Michal; Petr Ivo
2018 - Czech
Tato práce se zabývá problematikou bezpečné práce s hesly a jejich ukládání. Poskytuje zároveň přehled současných řešení pro správu hesel. Cílem práce je provedení analýzy uživatelského prostředí správce hesel KeePassXC s ohledem na možná bezpečnostní rizika. Nalezená rizika jsou blíže analyzována přímo ve zdrojovém kódu programu. Při analýze bylo nalezeno jedno místo, kdy program neodpovídá standardům pro správnou práci s hesly. Po zhodnocení závažnosti této nalezené zranitelnosti byla navržená možná opatření vedoucí k nápravě.The main focus of this thesis is password management and secure password storage. It provides an overview of current password management solutions. The goal of this thesis is to perform a security assessment of KeePassXC password manager. Security assessment starts with a review of graphical interface and suspicious items are further analysed in the source code. The analysis confirmed one suspicious place where program is not compliant with current security standards. Severity of this vulnerability has been evaluated and possible fixes have been suggested.
Keywords:
bezpečnostní analýza programu,správce hesel,KeePassXC,ukládání hesel,šifrování; application security assessment,password manager,KeePassXC,password storage,encryption
Available at various departments of the ČVUT.
Bezpečnostní analýza programu KeePassXC
Tato práce se zabývá problematikou bezpečné práce s hesly a jejich ukládání. Poskytuje zároveň přehled současných řešení pro správu hesel. Cílem práce je provedení analýzy uživatelského prostředí ...
Implementace vyhledávání v řetězcích pomocí kompaktního suffixového automatu
Trávníček Jan; Sedláček Josef Erik; Guth Ondřej
2018 - Czech
Práce se zabývá problémem rozhodnout, jestli pro zadaná slova w a u platí, že u je podslovem w a případně vrátit množinu pozic, kde se u nachází. Konkrétně se zabývá přímou konstrukcí kompaktního suffixového automatu, který dokáže problém rozhodnout s lineární časovou i paměťovou složitostí vzhledem k délce slova w. Výsledkem je implementace algoritmu pro konstrukci automatu v jazyce C++ do Algoritmové knihovny ALIB.The thesis is concerned with the problem of deciding, whether it is true, given input words w and u, that u is a substring of w, and eventually outputting a set of positions where u is found in w. Specifically, the content of this thesis deals with a direct construction of the compact suffix automaton, which can decide the problem in linear time and space in relation to the length of the word w. The result is an implementation in C++ of an algorithm for constructing the automaton as a part the Algorithms Library ALIB.
Keywords:
Hledání v řetězcích,Kompaktní suffixový automat,Suffixový strom,Datové struktury,Trie,Řetězce; Pattern matching on strings,Compact directed acyclic word graph,Suffix tree,Data structures,Trie,Strings
Available at various departments of the ČVUT.
Implementace vyhledávání v řetězcích pomocí kompaktního suffixového automatu
Práce se zabývá problémem rozhodnout, jestli pro zadaná slova w a u platí, že u je podslovem w a případně vrátit množinu pozic, kde se u nachází. Konkrétně se zabývá přímou konstrukcí kompaktního ...
Vizualizace rozsáhlých urbanistických scén
Chludil Jiří; Nguyenová Giang Chau; Richtr Radek
2018 - Czech
Tato práce je zaměřená na optimalizaci vizualizace rozsáhlých urbanistických scén a obsahuje přehled několika metod, které postupně rozebírám a porovnávám podle zvolených kritérií. Zaměřuji se především na metody úrovně detailu modelu a viditelnost ve scéně. Na základě podrobné analýzy zkoumaných algoritmů jsem implementovala mnou vybrané metody a prototyp zobrazila pomocí herního jádra Unreal Engine. U navrženého prototypu jsem zaznamenala hlavní vizualizační parametry a vyhodnotila účinnost jednotlivých technik.This thesis focuses on optimizing the visualization of large urban scenes and contains an overview of several methods, which I analyze and compare by chosen criteria. I mainly focus on level of detail methods and visibility of the scene. On the basis of the detailed analysis of examined algorithms, I have implemented selected methods and visualized the prototype using the game engine Unreal Engine. I noted rendering parameters of designed prototype and evaluated the efficiency of each used technique.
Keywords:
rozsáhlé urbanistické scény,optimalizační metody,LOD - level of detail,zjednodušování sítě,viditelnost,Unreal Engine; large urban scenes,optimization methods,LOD - level of detail,simplifying mesh,visibility,Unreal Engine
Available at various departments of the ČVUT.
Vizualizace rozsáhlých urbanistických scén
Tato práce je zaměřená na optimalizaci vizualizace rozsáhlých urbanistických scén a obsahuje přehled několika metod, které postupně rozebírám a porovnávám podle zvolených kritérií. Zaměřuji se ...
Vývoj aplikace pro poznámky na platformě Android
Pergl Robert; Groh Jiří; Mařík Jiří
2018 - Czech
Tato práce se zabývá vytvářením aplikace na zapisování poznámek pro zákazníka, který má představu o tom, jak by aplikace měla fungovat a vypadat. Práce se zabývá sběrem a analýzou požadavků, výběrem vhodných technologií, návrhem struktury aplikace a obrazovek, zpracováním UML modelů a nakonec samotnou implementací a testováním. Vývoj je realizován pro platformu Android v jazycích Kotlin a Java.Goal of this work is to create note-taking application for the customer. This paper describes requirement aggregation, design of architecture and layouts, creating UML diagrams, implementation and testing. The application is developed for operating system Android and is written in Kotlin and Java.
Keywords:
aplikace na poznámky,android,textový editor,bohaté formátovánítextu; application for taking notes,android,text editor,rich-text editing
Available at various departments of the ČVUT.
Vývoj aplikace pro poznámky na platformě Android
Tato práce se zabývá vytvářením aplikace na zapisování poznámek pro zákazníka, který má představu o tom, jak by aplikace měla fungovat a vypadat. Práce se zabývá sběrem a analýzou požadavků, výběrem ...
Implementace TRNG na ARM Cortex-M0
Kodýtek Filip; Zach Tomáš; Lórencz Róbert
2018 - Czech
Tato práce se zabývá generátory skutečně náhodných čísel - zkráceně TRNG (True Random Number Generator). Nejdříve je provedena literární rešerše týkající se problematiky TRNG se zaměřením na mikrokontroléry. Dále je zde představena vlastní implementace TRNG na mikrokontroléru s procesorem ARM-CORTEX-M0. Na závěr je provedeno vyhodnocení měření dané implementace pomocí sady statistických testů.This work deals with true random number generators (TRNG). At first, a literature research concerning TRNG with a focus on microcontrollers is done. Then own implementation of TRNG using microcontroller with ARM-CORTEX-M0 processor is introduced. Finally measurements of the proposed design are evaluated with a set of statistical tests.
Keywords:
Generátor skutečně náhodných čísel,TRNG,mikrokontrolér,ARM-CORTEX-M0,clock jitter,NIST; True Random Number Generator,TRNG,microcontroller,ARM-CORTEX-M0,clock jitter,NIST
Available at various departments of the ČVUT.
Implementace TRNG na ARM Cortex-M0
Tato práce se zabývá generátory skutečně náhodných čísel - zkráceně TRNG (True Random Number Generator). Nejdříve je provedena literární rešerše týkající se problematiky TRNG se zaměřením na ...
blockchain pro FITCOIN
Starý Jan; Dvořák Mikuláš; Starosta Štěpán
2018 - Czech
lem této bakalářské práce je zahrnout technologii blockchain do školní kryptoměny FITCOIN. Blockchain je decentralizovaná databáze, do které se dají přidávat pouze nové záznamy. V teoretické části práce je zanalyzovaná technologie blockchainu v kryptoměnách Bitcoin a Ethereum. Dále jsou v práci navrženy struktura blockchainu pro školní kryptoměnu FITCOIN a způsob na přidávání nových bloků do blockchainu. V praktické části je pak v jazyce C++ implementované řešení, které je zahrnuto ve výsledném projektu FITCOIN.The aim of this bachelor thesis is to include the blockchain technology into the FITCOIN (trivial cryptocurrency based on Bitcoin). Blockchain is a decentralized append-only database on a P2P network. In the theoretical part of the thesis the blockchain technology in Bitcoin and Ethereum is analyzed. In the next part I am explaining the design behind a blockchain in FITCOIN. In the practical part solution is implemented in programming language C++.
Keywords:
blockchain,fitcoin,bitcoin,kryptoměna; blockchain,fitcoin,bitcoin,cryptocurrency
Available at various departments of the ČVUT.
blockchain pro FITCOIN
lem této bakalářské práce je zahrnout technologii blockchain do školní kryptoměny FITCOIN. Blockchain je decentralizovaná databáze, do které se dají přidávat pouze nové záznamy. V teoretické části ...
Konstrukce a simulace vyhledávacích automatů přesného a přibližného vyhledávání
Trávníček Jan; Čapek Tomáš; Polách Radomír
2018 - Czech
Cílem této práce je implementovat algoritmy konstrukce vyhledávacích automatů. Dále se práce zabývá simulacemi tohoto druhu automatů. V práci jsou implementovány metody, používající Hammingovu, Levenshteinovu a Zobecněnou Levenshteinovu vzdálenost. Tato práce je součástí projektu Algoritmová knihovna.The objective of this thesis is to implement algorithms for the construction of search automata. The paper also deals with simulations of this type of automata. Methods using Hamming, Levenshtein and Generalized Levenshtein distance are used. This thesis is a part of the project Algorithm library.
Keywords:
konečný automat,přibližné vyhledávání v textu,přesné vyhledávání v textu,simulace vyhledávacích automatů,Algoritmová knihovna; finite automaton,exact string matching,aproximate string matching,simulation of matching automaton,Algorithm library
Available at various departments of the ČVUT.
Konstrukce a simulace vyhledávacích automatů přesného a přibližného vyhledávání
Cílem této práce je implementovat algoritmy konstrukce vyhledávacích automatů. Dále se práce zabývá simulacemi tohoto druhu automatů. V práci jsou implementovány metody, používající Hammingovu, ...
Technika ostrovů při generování molekul
Starý Jan; Šulik Daniel; Šimeček Ivan
2018 - Czech
Cieľom tejto práce je rozšíriť už existujúci program, ktorý slúži na generovanie molekúl podľa počiatočných parametrov a molekulárnej databázy poskytnutej užívateľom. Spomínaný program bude rozšírený o dalšie evolučné techniky z bežného života. Výsledky generované rozšíreným programom budú zanalýzované a porovnané s výsledkami pôvod-ného programu. Výsledkom je sada unixovských programov vykonávajúcich jednotlivé úkony genetických algoritmov. Prínosom tejto práce je poukázanie na využitie výpočtovej techniky a evolučných algoritmov na časovo náročné problémy, známe aj pod názvom NP problémy.The purpose of this work is to extend an existing program, which generates molecules defined by starting parameters and a molecular database provided by the user. The program will be extended by other evolution techniques, which may be spotted in daily life situations. The result is set of UNIX utilities performing different genetic techniques. The contribution of this work is to point out that usage of computing machines in cooperation with evolution algorithms can be used on time demanding problems, known as NP problems.
Keywords:
Evolučný algoritmus,generovanie molekúl,virtuálny screening,graf molekuly,ORCA,OpenBabel; Evolution algorithms,molecul generation,virtual screening,molecular graph,ORCA,OpenBabel
Available at various departments of the ČVUT.
Technika ostrovů při generování molekul
Cieľom tejto práce je rozšíriť už existujúci program, ktorý slúži na generovanie molekúl podľa počiatočných parametrov a molekulárnej databázy poskytnutej užívateľom. Spomínaný program bude rozšírený ...
Vylepšení GUI ke knihovně algoritmů ALIB
Trávníček Jan; Hanzík Martin; Guth Ondřej
2018 - Czech
Předmětem této práce je analyzovat nedostatky grafického uživatelského rozhraní existující aplikace pro práci s algoritmovou knihovnu ALT, navrhnout jejich vylepšení a implementovat je. Text se věnuje návrhovému vzoru "pipes and filters" a prozkoumání existujících aplikací využívajících tento vzor. Dále analyzuje způsob, kterým knihovna poskytuje informace o existujících algoritmech a prozkoumá možnosti plánování paralelního provádění pomocí kombinace synchronizačních primitiv a plánovacích algoritmů. Nakonec je provedeno jednoduché uživatelské testování.The subject of this bachelor's thesis is to analyse the flaws of an existing graphical user interface for the algorithm library ALT, suggest improvements and implement them. The text contains research of the design pattern "pipes and filters" and applications that use it. Furthermore, it focuses on analysing the means of algorithm discovery provided by the library, exploring the possibilities of parallel job scheduling using synchronisation primitives and scheduling algorithms. Finally, simple user testing is performed.
Keywords:
ALIB,ALT,C++,Qt,grafické uživatelské rozhraní,paralelismus; ALIB,ALT,C++,Qt,graphical user inferace,parallelism
Available at various departments of the ČVUT.
Vylepšení GUI ke knihovně algoritmů ALIB
Předmětem této práce je analyzovat nedostatky grafického uživatelského rozhraní existující aplikace pro práci s algoritmovou knihovnu ALT, navrhnout jejich vylepšení a implementovat je. Text se věnuje ...
NRGL provides central access to information on grey literature produced in the Czech Republic in the fields of science, research and education. You can find more information about grey literature and NRGL at service web
Send your suggestions and comments to nusl@techlib.cz
Provider
Other bases