No (546)
Number of found documents:
546
Published from
to
Integrace frameworků relačního a hlubokého strojového učení
Šourek Gustav; Briedoň Marián; Drchal Jan
2018 - English
V posledných rokoch dosahujú hlboké neurónové siete významných úspechov v mnohých oblastiach strojového učenia, ako je spracovanie prirodzeného jazyka, vytváranie zvukových súborov alebo dokonca čítanie pier. Všetky tieto neurálne architektúry však stále majú svoje obmedzenia, napríklad sa nemôžu učiť z relačných údajov, ktoré sa často vyskytujú v reálnom svete vo forme grafov alebo databáz. Na opačnej strane je vzťahové učenie, ktoré sa zameriava na interpretovateľné učenie sa z takýchto komplexných údajov, kde jednotlivé príklady učenia môžu byť rôzne štruktúrované a závislé. Samozrejme, že vzájomné výhody spojenia majú významný vedecký záujem. Cieľom tejto práce je integrácia hlbokého a vzťahového učenia s osobitným dôrazom na tzv. Templating - všeobecný prístup k integračnému problému, kde relačné modely slúžia ako šablóny pre automatizované vytváranie neurónových sietí. Napriek svojim sľubným vlastnostiam je v jadre templating prístupu otvorený problém efektívneho vytvárania dynamických neurónových sietí, ktoré sú skôr neortodoxné v štandardnom hlbokom učení a zostávajú do značnej miery nevyriešené. Praktickým cieľom tejto práce je vyriešiť tento problém pomocou matematickej analýzy, vlastnej implementácie a prepojenia s hlbokým učením s cieľom zlepšiť integráciu oboch oblastí.cami hlbokého vzdelávania s cieľom zlepšiť integráciu oboch polí.In the recent years, deep neural networks have achieved significant achievements in many subfields of machine learning, such as natural language processing, generating audio files or even lip reading. However, all these neural architectures still have their limitations, for instance, they cannot learn from relational data, which often arise in real world in the form of graphs or databases. On the opposite side there is relational learning, which focuses on interpretable learning from such complex data, where individual learning examples may be differently structured and dependent. Naturally, marrying advantages of both approaches is of a significant scientific interest. The aim of this thesis is on the integration of the deep and relational learning, with a particular focus on a so called templating - a general approach to the integration problem, where relational models serve as templates for automated unfolding of neural networks. Despite its promising properties, at the core of the templating approach there is an open problem of efficient creation of dynamic neural networks which, being rather unorthodox in standard deep learning, remains largely unsolved. The practical goal of this thesis is to solve this problem via mathematical analysis, custom implementation, and interfacing with modern deep learning frameworks to enhance the integration of the two fields.
Keywords:
Štatistické relačné učenie,hlboké učení,integrace hlbokýho a relačného učení; statistical relational learning,deep learning,templating,eigen,pytorch,dynet
Available at various departments of the ČVUT.
Integrace frameworků relačního a hlubokého strojového učení
V posledných rokoch dosahujú hlboké neurónové siete významných úspechov v mnohých oblastiach strojového učenia, ako je spracovanie prirodzeného jazyka, vytváranie zvukových súborov alebo dokonca ...
Neúplná Data a Rozhodovací Lesy v Úloze Klasifikace Šifrovaného síťového provozu
Brabec Jan; Sahula Lukáš; Svatoš Martin
2018 - English
Tato práce zkoumá problém klasifikace malware za použití klasifikátoru náhodných lesů trénovaných na datasetu získaném ze síťového provozu. Tento dataset obsahuje stovky milionů kategorizovaných záznamů, z nichž některé jsou spojené s určitým druhem malwarové infekce. Avšak zhruba polovina hodnot v datasetu chybí a s těmito chybějícími hodnotami je nutno se vypořádat, ať už před procesem klasifikace, nebo během něj. Práce ukáže několik existujících způsobů imputace chybějících dat a porovná výsledky těch, které jsou vhodné k použití s datasetem těchto rozměrů. Dále práce poskytne analýzu použitých dat se záměrem nalezení míry korelace mezi páry jednotlivých atributů a toho, za jakých podmínek jednotlivé atributy chybí.This thesis examines the problem of malware classification using the random forest classifier trained on network traffic dataset. The dataset contains hundreds of millions of labeled objects, some of which are related to malware infection. However, roughly half of the datasets values are missing and these missing values have to be handled before or during the process of classification. The thesis discusses a number of existing approaches to missing data imputation and compares the results of those that are relevant to datasets of this scale. Furthermore, this work provides an analysis of the dataset itself in order to find the correlations between pairs of features and their missingness.
Keywords:
malware,klasifikace,náhodné lesy,učení s učitelem,chybějící hodnoty,imputace,feature,korelace; malware,classification,random forests,supervised learning,missing values,imputation,feature,correlation
Available at various departments of the ČVUT.
Neúplná Data a Rozhodovací Lesy v Úloze Klasifikace Šifrovaného síťového provozu
Tato práce zkoumá problém klasifikace malware za použití klasifikátoru náhodných lesů trénovaných na datasetu získaném ze síťového provozu. Tento dataset obsahuje stovky milionů kategorizovaných ...
Rozhraní iOS pro řízení bezpilotní helikoptéry v ROSu
Saska Martin; Bulander Filip; Zajačík Michal
2018 - English
Práce je zaměřená na ovládání bezpilotni helikoptery za pomoci mobilního zařízení s operačním systémem iOS. Cílem je implementovat řešení, které bude schopno ovládat helikoptéru ve více módech. První je ovládání joystickem, druhá nastavení trajektorie pomocí Google Map, poslední ja navigace v interiéru budov, pro kterou je potřeba získat přesnou mapu. Práce vychází z výzkumu pracovníku na Katedře kybernetiky skupiny multi-robotických systémů.This work aims to control unmanned helicopter with a mobile device with operating system iOS. The goal is to implement a solution, that can command helicopter in three ways. The first is Joystick Control, the second set trajectory in Google Maps and last one is indoor navigation, for which a precise map is needed. The work is based on results from Department of Cybernetics at Czech Technical University in Prague group Multi-Robotic systems.
Keywords:
UAV,iOS,MacOS,ROS,mobilní aplikace,indoor navigace; UAV,iOS,MacOS,ROS,mobile application,indoor navigation
Available at various departments of the ČVUT.
Rozhraní iOS pro řízení bezpilotní helikoptéry v ROSu
Práce je zaměřená na ovládání bezpilotni helikoptery za pomoci mobilního zařízení s operačním systémem iOS. Cílem je implementovat řešení, které bude schopno ovládat helikoptéru ve více módech. První ...
Optimalizace mobilní sítě pomocí Multi-Access Edge Computing
Plachý Jan; Nový Jakub; Kukrál Tomáš
2018 - English
Každým rokem roste počet zařízení připojených do mobilních sítí. Zároveň se zvyšují požadavky na jejich výkon a funkcionalitu, které se v současnosti blíží k technickým limitům zařízení. Jedním z možných řešení je využít Multi-Access Edge Computing, který uživatelům poskytuje výpočetní prostředky na hraně mobilní sítě, například v základnové stanici. Dále poskytuje mobilním operátorům možnost optimalizovat mobilní síť na hraně sítě. Tato práce se kromě seznámení s konceptem Multi-Access Edge Computing soustředí na jeho začlenění do emulační platformy mobilních sítí OpenAirInterface a představuje experimentální řešení implementace, včetně demonstrace funkcionality implementace.The number of devices connected to the mobile networks increases every year. At the same time, the performance and functionality requirements of the devices grow and reach the technical limits. One of the possible solutions is to employ Multi-Access Edge Computing, which provides the mobile users Computing resources at the edge of the mobile network, for example at base stations. Furthermore, it provides the mobile operators with a possibility to do mobile network optimisation at the edge of the mobile network. This thesis focuses on understanding the Multi-Access Edge Computing and its integration in the mobile networks emulation platform OpenAirInterface. The experimental implementation and demonstration of implementation functionality are presented as well.
Keywords:
4G/5G mobilní sítě,LTE,Mobile-Edge Computing,Multi-Access Edge Computing,OpenAirInterface; 4G/5G mobile networks,LTE,Mobile-Edge Computing,Multi-Access Edge Computing,OpenAirInterface
Available at various departments of the ČVUT.
Optimalizace mobilní sítě pomocí Multi-Access Edge Computing
Každým rokem roste počet zařízení připojených do mobilních sítí. Zároveň se zvyšují požadavky na jejich výkon a funkcionalitu, které se v současnosti blíží k technickým limitům zařízení. Jedním z ...
Měření obsahu alkoholu v procesu fermentace
Novák Jiří; Goldman Gil; Vondraš Jan
2018 - English
V této práci budu prozkoumávat moderní metody měření postupu fermentačních procesů v mikropivovaru. Dále budu implementovat a testovat automatické řešení na monitorování postupné akumulace ethanolu během procesu fermentace piva.This dissertation surveys the current methods of measuring the progression of micro-brewed beer fermentation processes. In addition, it describes the automatic solution I implemented to monitor the gradual accumulation of ethanol in the process of beer fermentation.
Keywords:
Fermentace,Ethanol,Automatizace,Měření; Fermentation,Ethanol,Automation,Measurement
Available at various departments of the ČVUT.
Měření obsahu alkoholu v procesu fermentace
V této práci budu prozkoumávat moderní metody měření postupu fermentačních procesů v mikropivovaru. Dále budu implementovat a testovat automatické řešení na monitorování postupné akumulace ethanolu ...
Bezpečný upgrade firmware embedded platformy
Neruda Marek; Šimůnek Jan; Lokaj Zdeněk
2018 - English
Tato bakalářská práce se zabývá návrhem procesního postupu bezpečného upgrade firmware pro embedded platformu. Teoretická část obsahuje popis soudobých bezpečnostních hrozeb pro embedded systémy a popisuje současné postupy upgrade firmware pro tyto zařízení. Dále jsou zde také představeny podklady pro návrh bezpečného upgrade firmware. V praktické části je popsán pokročilý postup, který využívá firmware OpenWrt a embedded platformu Vocore2. Procesní postup je vysvětlen a otestován na platformě Vocore2 s cílem bezpečného přenosu a autentizace firmware do zařízení. Pro zjištění výpočetní náročnosti tohoto procesu je testování změřeno a vyhodnoceno.This bachelor thesis deals with the design of process procedure for embedded platform firmware management (secure upgrade). The theoretical part consists of characteristics of vulnerabilities in embedded systems and design of commonly used secure upgrade procedure. Further, the required components for the design of secure upgrade are described. The practical part specifies an advanced approach for secure upgrade with firmware OpenWrt. The proposed procedure is described and tested on embedded platform Vocore2 to provide the secure and authenticated transfer of firmware to the device. Testing is measured to evaluate how the procedure is computationally demanding.
Keywords:
firmware,upgrade,embedded platform,OpenWrt,Vocore2,AES; firmware,upgrade,embedded platform,OpenWrt,Vocore2,AES
Available at various departments of the ČVUT.
Bezpečný upgrade firmware embedded platformy
Tato bakalářská práce se zabývá návrhem procesního postupu bezpečného upgrade firmware pro embedded platformu. Teoretická část obsahuje popis soudobých bezpečnostních hrozeb pro embedded systémy a ...
Meta-heuristiky pro směrovací problémy
Kulich Miroslav; Mikula Jan; Bront Juan José Miranda
2018 - English
Problém hledání v grafu (anglicky Graph Search Problem - GSP) společně s problémem obchodního doručovatele lze považovat za rozšíření dobře známého problému obchodního cestovatele, který hledá nejkratší možnou cestu, jež mu umožní navštívit všechna města z dané množiny a skončit zase tam, kde začal. Tyto, někdy nazývané směrovací problémy, patří do kategorie obtížných kombinatorických optimalizačních problémů. V této práci se budeme zabývat GSP, s úmyslem ho následně využít v robotickém hledání, které nastavuje velké požadavky na schůdný výpočetní čas. Vyvineme metaheuristiku pro GSP založenou na metodě hledání v proměnlivém sousedství (anglicky Variable Neighborhood Search - VNS) a experimentálně vyhodnotíme její vlastnosti. Navrhovaná metoda bude výrazně rychlejší než refernční metody a zároveň bude dávat řešení s vyšší průměrnou kvalitou. Použití navrhované metody budeme demonstrovat v problému robotického plánování. Druhá polovina této práce bude tedy věnovaná hledání robotu ve známém prostředí s cílem nalézt nehybný objekt zájmu (anglicky Single Robot Search for a Stationary Object in a Known Environment - SRSSK). Nakonec provedeme několik simulací v robotickém simulátoru.The Graph Search Problem (GSP) together with the Traveling Deliveryman Problem (TDP) can be seen as an extension of the famous Traveling Salesman Problem (TSP), i.e., a problem of finding the shortest possible route that visits every city of a given set and returns to the one where it started. These, sometimes called the routing problems, belong to a category of difficult combinatorial optimization problems. In this thesis, we address the GSP with the intention to deploy it in robotic planning, which entails high demands on feasible computing time. We develop a meta-heuristics for the GSP based on Variable Neighborhood Search (VNS) and evaluate its properties experimentally. Our proposed method meets the requirements of being significantly faster than the reference, and at the same time, it delivers solutions with higher average quality. We demonstrate the usage of our method in the mobile robot search, which turns out to be a stand-alone problem to solve. The second half of this thesis is devoted to the Single Robot Search for a Stationary Object in a Known Environment (SRSSK). At the end, we execute several simulations in a robotic simulator.
Keywords:
Směrovací problémy,Graph Search Problem,Variable Neighborhood Search,Mobilní robotika,Robotické hledání,ROS; Routing problems,Graph Search Problem,Variable Neighborhood Search,Mobile robotics,Robotic search,ROS
Available at various departments of the ČVUT.
Meta-heuristiky pro směrovací problémy
Problém hledání v grafu (anglicky Graph Search Problem - GSP) společně s problémem obchodního doručovatele lze považovat za rozšíření dobře známého problému obchodního cestovatele, který hledá ...
Code coverage analysis and test case generation
Al-Beywanee Bestoun S. Ahmed; Sýkora Kryštof; Malý Ivo
2018 - English
Cílem této práce je vytvoření metody pro generování testovacích scénářů a vyhodnocení jejich effektivity. Tato metoda je vytvořená na základě analýzy konkrétního programu, která je založená na určení dopadů, jaký mají jednotlivé parametry programu na množstvý provedeného kódu. K dosažení tohoto cíle byla vytvořena aplikace, která analyzuje pokrití kódu testovaného programu na základě různých permutací jeho argumentů, generuje testovací scénáře a určuje jijich effektivitu ve hledání vložených chyb. Tento dokument dokumentje vytvořený software, použité metody a výsledky experimentů. Programy touto cestou testované jsou Flex, Grep a Gzip.The goal of this thesis and project is to create a method for generating test cases and determining its effectiveness. The method is created based on an analysis of a given program consisting of determining the effect which each program argument has on the overall volume of source code executed. To achieve this, an application is created that can analyze the programs code coverage for various permutations of arguments, generate test cases. The application can also determine the tests effectiveness, by using them to detect seeded faults. This text serves to document the software created, the methods used and results of the experiments. The programs examined this way were Flex, Grep and Gzip.
Keywords:
Pokrytí kódu,Black box testování,Generování testovacích scénárů; Code coverage,Black box testing,Test case generation
Available at various departments of the ČVUT.
Code coverage analysis and test case generation
Cílem této práce je vytvoření metody pro generování testovacích scénářů a vyhodnocení jejich effektivity. Tato metoda je vytvořená na základě analýzy konkrétního programu, která je založená na určení ...
Analýza systému TCAS
Selecký Martin; Berka Zdeněk; Hromčík Martin
2018 - English
Práce se soustředí na analýzu palubního protisrážkového systému TCAS. Popisuje implementaci parametrizovaného modelu reakcí pilota, TCAS mechanismu a metody použité k ověření funkčnosti protisrážkového systému. Dále je popsán parametrizovaný model pro střetnutí letadel v leteckém prostoru, který je použit pro generování scénářů pro testování funkčnosti protisrážkového systému. Nejdříve je systém otestován v jednoduché diskrétní simulaci použitím různorodých scénářů. Poté je protisrážková logika integrována do simulace leteckého provozu, která používá přesné BADA modely dynamiky letounů. Pro kontrolu letounu je zde integrován parametrizovaný model reakcí pilota, který umožňuje testovat různé typy zpoždění. Nekoordinované i TCAS-TCAS střety s jedním i více cizími letouny jsou odsimulovány k prozkoumání efektu parametrů zpoždění na schopnosti protisrážkového systému udržet separaci.This thesis focuses on analysing the collision avoidance system called TCAS. We implement the TCAS functionality and a parametrised model of the pilot response and introduce methods to verify its functionality. We introduce a parametrised model of aircraft encounters for the purpose of simulation. First, the collision avoidance logic functionality is tested and verified in a discrete simulation using various scenarios. Then, the collision avoidance system is integrated within an air traffic simulation using the precise BADA aircraft dynamics model and the parametrised pilot response model which allows the testing of various reaction delays. Both single and multiple-threat encounters and both uncoordinated and TCAS-TCAS encounters are simulated, and delay-related limitations of the collision avoidance system's functionality are estimated.
Keywords:
simulace leteckých střetů,protisrážkový systém,model odezvy pilota,TCAS; aircraft encounter simulation,collision avoidance,pilot response model,TCAS
Available at various departments of the ČVUT.
Analýza systému TCAS
Práce se soustředí na analýzu palubního protisrážkového systému TCAS. Popisuje implementaci parametrizovaného modelu reakcí pilota, TCAS mechanismu a metody použité k ověření funkčnosti ...
Automatické řízení bezpilotní helikoptéry v systému ROS
Báča Tomáš; Machálek Jan; Chudoba Jan
2018 - English
Tato práce se zabývá návrhem systému řízení polohy pro bezpilotní letecká vozidla (UAV). Vyšetřujeme dva přístupy, PID regulátor a backstepping regulátor. Regulátory byly integrovány do stávajícího prostředí. Oba regulátory byly testovány v simulátoru Gazebo. V případě PID byl také proveden skutečný letový test. V této práci se také popisuje architektura použité platformy. Výsledkem této práce je funkční systém řízení polohy. Je zde popsán proces návrhu nového systému. V pokusech z reálného světa jsme porovnali náš regulátor s původním regulátorem.This thesis is about design of a position control system for Unmanned Aerial Vehicles (UAVs). We investigate two approaches. The first approach is the PID controller, and the backstepping controller. Regulators are then deployed into ROS environment. Regulators are integrated into an already existing pipeline. After the implementation of regulators they are tested in Gazebo simulator. In the case of PID, real flight tests are conducted. The architecture of a UAV platform used in this thesis is described. The result of this thesis is a functional position control system. The design process of the new system is described as well. Using results from the real-world tests, we compared our regulator with the one currently used in MRS group pipeline.
Keywords:
ROS,Gazebo,PID,backstepping,MRS group,UAV,řízení,Matlab,Simulink; ROS,Gazebo,PID,backstepping,MRS group,UAV,control,Matlab,Simulink
Available at various departments of the ČVUT.
Automatické řízení bezpilotní helikoptéry v systému ROS
Tato práce se zabývá návrhem systému řízení polohy pro bezpilotní letecká vozidla (UAV). Vyšetřujeme dva přístupy, PID regulátor a backstepping regulátor. Regulátory byly integrovány do stávajícího ...
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