Program

Matej Marecek

Domain-Specific Languages, Templates, Configuration Verification, Xtext, Parsers, Interpreters, WinCC OA, SCADA, JavaScript, JVM, CERN

Programovací jazyky a překladače INOVACE / INNOVATION - vylepšení existující metody nebo její implementace, včetně odstranění omezení

CERN (European Organization for Nuclear Research) is one of the biggest research organizations in the world. It heavily uses SCADA (Supervisory Control And Data Acquisition) software for their scientific and industrial machines. This paper tackles a problem of verifying that configuration files used by CERN's SCADA (WinCC Open Architecture) software are correct and comply with CERN standards. The aim was to develop a tool that gives SCADA developers and administrators ability to easily create templates that describe how certain configuration files should look like and determine whether templates match configuration files. This paper introduces a tool that solves the problem by using a specially designed domain-specific programming language and an interpreter of the language. The language itself is based on declarative paradigm and its fundamental capabilities can be extended by JavaScript injection. As for the interpreter, it uses Xtext-based parser to convert configuration files and templates into form of abstract syntax trees (ASTs). The execution itself is a combination of AST interpretation, translation of certain parts of AST into a JavaScript code and running JavaScript code on top of the Java Virtual Machine.

Matej Vido

DPDK, COMBO Network Card, COMBO-100G, SZE2, libsze2, 100Gb/s Ethernet

Počítačové sítě OPENSOURCE - řešení vytvořené pro komunitu

Software framework Data Plane Development Kit provides a standard API for fast packet processing in the user space. The DPDK covers multiple devices and architectures from different vendors. The CESNET association develops the family of COMBO network cards that are able to process traffic up to 100 Gb/s through their proprietary SZE2 interface. This paper describes how the SZE2 library can be used as a backend for the DPDK. This connection enables receiving and transmitting data through the COMBO network cards in a more standard way. The SZE2 library is utilized to create a user space Poll Mode Driver for the DPDK and it has already become part of the DPDK mainline in the version 2.2.0 (December 2015). The correct positioning of packets in DPDK message buffers and SZE2 buffers is accomplished by copying data between buffer memories. The performance benchmarks has shown that the COMBO-100G network card can receive and transmit over 140 millions of 64 B long Ethernet frames per second unidirectionally and a single port can handle up to 134 millions of 64 B long frames per second in the bidirectional traffic using multiple CPU cores.

Matej Minárik

information extraction, data mining, medicine information sheets

Databáze a data-mining Analýza textových dat VÝZKUM / RESEARCH - výzkumná práce INOVACE / INNOVATION - vylepšení existující metody nebo její implementace, včetně odstranění omezení STARTUP / STARTUP - řešení vytvořená s cílem následné komercializace

We are experiencing a data explosion. There is an undoubtedly increasing amount of data published every day on the internet. Scientific articles, journal papers, books, images, movies, music, tweets, statuses and a whole lot more. With this data explosion, new problems arise. Where and how to store these data and how to efficiently search for relevant data? This work should provide a semi-automatic solution to extract relevant data from medicine information sheets. These data should serve as a source data for search engine in the future. Information sheets are stored as semi-structured documents on the website of National institute of Medicine control of Slovak republic. We propose a semi-automatic method, which is able to extract active substances and basic information about symptoms, which suggest usage of specific medicine. Our method have some features of supervised and some features of unsupervised information extraction. Our solution was experimentally evaluated and achieved ∼ 70% accuracy. However, we are focusing on a subset of all relevant information included in these documents. Our solution is inspired by previous unsupervised information extraction, but we have implemented a novel method which includes transferring natural language into intermediate representation with help of Slovak national corpus[1] and information extraction from this representation based on manually created rules.

Marek Salát

Image composition, Scene prototyping, Foreground detection, Background extraction, Image matting, Global sampling matting, Matting, Trimap, Alpha mask, Android, Compute shader, GPGPU

Zpracování obrazových dat Uživatelská rozhraní DEMONSTRACE / DEMONSTRATION - experimentální ověření nebo demonstrace konceptu

The goal of this project is to create a new image prototyping application. The application enables users to capture scene and enhance reality in an innovative way using an ordinary smartphone. They can replace background of the captured scene and create collages or new original images. The created image can be created and shared within seconds with minimal interaction. Proper foreground/background detection (image matting) is a vital process. The solution I am suggesting uses appropriate computer vision and image processing algorithms, namely Global Sampling Matting. The application is built for the Android platform and uses NDK (Native Development Kit). Parts of the core algorithm are accelerated in the GPU via an OpenGL ES 3.1 compute shader. One part of my work focuses on optimizing algorithms and effective image processing on Android devices. Another part of the work aims to create an intuitive user interface that requires minimal interaction. At the moment, the application is published on Google Play - ViralCam

Juraj Síč

symbolický automat, konečný automat, relácia simulácie

Formální jazyky a automaty VÝZKUM / RESEARCH - výzkumná práce

V tomto texte sa zaoberáme výpočtom simulačnej relácie pre symbolické automaty, ktoré narozdiel od klasických automatov majú na prechodoch predikáty, zadefinované v oddelenej logickej teórii. Náš algoritmus pre výpočet tejto relácie je založený na známom algoritme pre konečné automaty a je upravený tak, aby využil možnosti symbolických automatov.

Marek Kidoň

Hash Function, Genetic Programming, Evolution Design

Nekonvenční výpočetní techniky VÝZKUM / RESEARCH - výzkumná práce

Hash functions are inseparable part of modern computer world. Fast associative arrays are based on them which are very popular among computer programmers for their robustness and simplicity. Their performance greatly depends on their design and although their roots are deep in the past, the topic of designing a well performing hash function is still often discussed today. There is currently a plenty of exceptional implementations of generic hash functions and their numbers are rising. Such functions are not constrained to a concrete set of inputs, they perform on any input. On the other hand, there are use cases when input domain is known in advance. In such case, there is a room for an improvement by designing specific hash function thus reaching better level of performance in comparison with a generic hash function. However designing a hash function is not a trivial task. There are no rules, standards or guides. In case of manual design the hash function author has to rely on his/her knowledge, experience, inventiveness and intuition. This fact opens up a space for different techniques such as evolutionary algorithms, an unconventional approach to solve certain problem inspired by the process of species reproduction. In this paper hash functions are designed for the domain of IP addresses using genetic programming. Genetic programming algorithm parameters are accurately chosen so the evolved functions will perform on its best. The experiments proved that the developed hash functions are better in comparison with generic hash functions terms of both speed and performance.

František Němec

Plánování pohybu, Pravděpodobnostní algoritmy, 3D prostor, PRM, EST, RRT, R-RRT, RR-RRT

Robotika a umělá inteligence DEMONSTRACE / DEMONSTRATION - experimentální ověření nebo demonstrace konceptu IMPLEMENTACE / IMPLEMENTATION - implementace existující metody

Práce je zaměřena na plánování pohybu objektu ve 3D prostoru. Ve spojitém prostoru klasické algoritmy hledání cesty selhávají a je nutné najít jiný způsob řešení problému. Jedním takovým řešením je použití tzv. pravděpodobnostních algoritmů. Cílem této práce je vytvořit program pro řešení a demonstraci problému plánování pohybu ve 3D prostoru pomocí pravděpodobnostních algoritmů. Konkrétně pomocí algoritmů Probabilistic Roadmap (PRM), Expansive Spaces Trees (EST), Rapidly-exploring Random Trees (RRT), rozšířením Retraction-based RRT (R-RRT) a vlastním vylepšením Regulated R-RRT (RR-RRT). Program musí umožnit uživateli vytvořit scénu, ve které bude plánování pohybu probíhat, automaticky pak cestu vyhledá a nakonec ji bude vizualizovat.

Zdeněk Heřman, Petr Opletal

golfový simulátor, Unity, detekce míče v obraze

Zpracování obrazových dat ZÁBAVA / HOBBY - práce pro zábavu

Tato práce se zabývá vývojem a realizací cenově dostupného golfového simulátoru. Na výsledné řešení jsou kladeny především následující požadavky: cenově dostupné řešení zaměřené na amatéry, možnost vnitřního i venkovního použití a v neposlední řadě líbivá grafická vizualizace. Navrhuje realizaci jednak z pohledu fyzické konstrukce, ale také i nezbytného programového vybavení sloužícího pro zpracování obrazu a následnou simulaci a vizualizaci. K detekci odpalu a získání potřebných parametrů odpalu je použito tří běžně dostupných webových kamer. Jádrem modulu pro snímání a zpracování obrazu je algoritmus pro detekci letu golfového míče. Dále tato práce popisuje klíčové aspekty simulace a vizualizace pro kterou byl použit herní engine Unity. Řešení v současném stavu nabízí přesnou simulaci patování, pokročilou vizualizaci, zvukový doprovod a výpočet rychlosti odpalu s relativní odchylkou 8.6% oproti skutečnosti.

Jan Bednařík

multi-camera localization, visual object tracking, 2D motion prediction, particle filter based tracking, stationing and rectification, articulated model of PT unit, 3D localisation using triangulation, physical simulation using Gazebo, robotic system design using ROS

Zpracování obrazových dat Robotika a umělá inteligence ZAKÁZKA / JOB - řešení vytvořené na míru podle externě zadaných požadavků

This paper presents a system for automatic optical localization of distant moving targets using multiple pan-tilt cameras. The cameras were precisely calibrated and stationed using custom designed calibration targets and methodology. The detection of the target is performed manually, while the automatic visual tracker combines the background/foreground modeling and motion model in the particle filer framework. The estimation of the 3D location is based on the N-view triangulation. A basic setup consisting of two camera units was tested against static targets and a moving terrestrial target, and the location estimation precision was compared to the theoretical model. The modularity and portability of the system allows fast deployment in a wide range of scenarios including perimeter monitoring or early threat detection in defense systems, as well as air traffic control in public space.

Hynek Vilímek

PowerPoint converter, PowerPoint to HTML, PowerPoint presentation viewer

Webové technologie STARTUP / STARTUP - řešení vytvořená s cílem následné komercializace

PowerPoint is an excellent tool for creating presentations and people are accustomed to use it. Its only handicap is that it is not installed everywhere and it exists in numerous versions. But there is an application that is installed almost everywhere and that application is the web browser. This work aims to create the PowerPoint presentation viewer for the web browser. With the internet as the environment, it may have a wide range of applications from the content sharing point of view. The solution is the web application that allows to upload the PowerPoint file and then the application displays the content of the file. The application also offers functionality such as the navigation between slides and the full-screen mode. The rendered slides in the web browser are very similar to the slides in the PowerPoint. It clearly does not support advanced features, but it supports displaying text, pictures, video and audio. Further, it supports basic styling options such as colours, margins, position and line height. This work shows current options of the web environment and the web development. Moreover this application may be a core of some start-up project.

Kateřina Žmolíková

Speech recognition, Microphone arrays, Beamforming, Dereverberation

Zpracování zvuku VÝZKUM / RESEARCH - výzkumná práce

The paper deals with the problem of speech recognition using distant microphones. The usage of distant microphones is often more convenient in real applications than using the close talking microphone. However, this introduces the problem of noise and reverberation which degrades the accuracy of the speech recognition system. This problem can be reduced by using microphone arrays rather than single microphone. This paper explores the methods of processing of multichannel recordings to enhance the speech, thereby improving the speech recognition performance. To process the array and achieve noise reduction, two different methods (Delay-and-sum and Minimum variance distortionless response beamforming) are explored. For dereverberation, Weighted prediction error method is used. The methods are tested on three different noise robust datasets (AMI, CHiME3 and REVERB). The results achieved on these tasks are comparable with the published results. In this paper, we present the applied methods, analyze the results and discuss the modifications necessary for achieving the results.

Tomáš Pelka

bezdrátová časomíra pro požární sport, synchronizace hodin, synchronizace času, SimpliciTI, CC1101

Počítačová architektura a vestavěné systémy ZÁBAVA / HOBBY - práce pro zábavu

Tato práce se zabývá návrhem a konstrukcí bezdrátového zařízení pro měření různých disciplín požárního sportu. Cílem je nahradit dlouhé kabelové rozvody bezdrátovými spoji při zachování srovnatelné, nebo lepší spolehlivosti. Hlavním problémem je potřeba přesné synchronizace hodin mezi jednotlivými moduly. Důležitou částí je proto návrh vhodného synchronizačního algoritmu a komunikačního protokolu. Parametry navrženého systému (zejména přesnost synchronizace a měření) byly úspěšně ověřeny v laboratorních podmínkách. Práce proto pokračuje návrhem a konstrukcí zejména elektronických částí jednotlivých modulů (zobrazovací panel, cílové moduly, hlavní jednotka) s ohledem na široký rozsah napájecích napětí a další provozní podmínky. Navržený systém je použitelný nejen pro soutěže v požárním sportu, ale díky malým rozměrům, nízké hmotnosti a rychlé instalaci jej lze využít také při tréninku.

Jakub Jelen

PowerPC, Performance Analysis, Intel

Počítačová architektura a vestavěné systémy VÝZKUM / RESEARCH - výzkumná práce

Computational strength of computers nowadays is increasing and the simple measurements using clock frequency, number of cores or GFLOPS does not seem enough anymore. Most of the current computers are based on Intel architecture, which is well understood, described and proven by many applications. But there is also the other, PowerPC architecture with the latest Power8 processor and I will investigate if these two can compete. Since last model, Power8 was significantly improved on the level of instructions, threads and cores, but also on the the level of whole system. Various characteristics will be demonstrated on several algorithms and benchmarks in comparison to the recent Intel Haswell-EP architecture. Power8 processor have impressively good memory and caches performance, reaching up to 145 GB/s of sustainable memory bandwidth between processor and the main memory on evaluated system. Also measurements of simple algorithms exploiting all the computational power are comparable or better than Intel processors, even though I do not have access to the most high performance Power8 machine. This is not only the first complex comparison of IBM Power8 against current Intel processors, but also guide to understand the architecture and optimizations for current PowerPC platform. For the next year, there is announced new Power9, which will with NVIDIA GPUs build again one of the TOP 500 supercomputers.

Petr Žufan

automat, stromový automat, inkluze jazyků

Formální jazyky a automaty INOVACE / INNOVATION - vylepšení existující metody nebo její implementace, včetně odstranění omezení

Tento článek pojednává o testování ekvivalence stromových automatů (SA). Přináší nový algoritmus vycházející z algoritmu Bonchiho a Pouse pro slovní automaty. Tento nový algoritmus spojuje bisimulaci s determinizací za běhu. Pomocí optimalizace založené na kongruenčním uzávěru se snaží vyhýbat extrémnímu zvětšování stavového prostoru. Tento algoritmus by mohl být efektivnější než jiné metody pro tento problém.

Matúš Vančo

private data, Aurasium framework, operating system, system call, binder driver, Android security, policy enforcement, security policy

Operační systémy Bezpečnost INOVACE / INNOVATION - vylepšení existující metody nebo její implementace, včetně odstranění omezení

This work deals with the concepts of Android security and proposes the system for dynamic enforcement of access rights. Each suspicious application can be repackaged by this system, so that the access to user-selected private data is restricted for the outer world. In the first phase, interprocess communication and existing frameworks, which are capable to intercept communication between application and the operating system on the level of system calls, are explored. After that, the system is designed and developed, utilizing the possibilities of one of the compared frameworks - Aurasium framework. The system adds an innovative approach of tracking the information flows from the privacy-sensitive sources using tainting mechanism without need of administrator rights. There has been designed file-level and data-level taint propagation and policy enforcement based on Android binder.