Number of found documents: 1995
Published from to

Řadič postupného nasazení software nad platformou Kubernetes
Malina, Peter; Burget, Radek; Rychlý, Marek
2019 - English
Potreba dodania hodnoty uživatelom každodočne rastie na kompetitívnom trhu IT. Agilita a DevOps sa stávajú kritickými aspektami pre vývoj software, vyhľadávajúci nástroje ktoré podporujú agilnú kultúru. Softwarové projekty v agilnej kultúre majú častú tendenciu zaoberať sa stratégiami nasadenia ktoré redukujú risk nasadenia nových zmien do existujúceho systému. A však, prostredia určené pre vývoj a testovanie sa takmer vždy odlišujú od produkčných. Využitie primeranej stratégie nasadenie ako canary zlepšuje celkovú stabilitu systému testovaním nových zmien na malej vzorke produkčnej prevádzky. Bolo vykonaných niekoľko experimentov pre dôkaz, že stratégia canary môže pozitívne ovplyvniť stabilitu nasadení a redukovať risk ktorý prinášajú nové zmeny. The need to deliver value to users sooner rises each year in the competitive IT market. Agility and DevOps are becoming critical aspects of software engineering, seeking tools to enable and improve agile culture. Software projects in such culture tend to deal with new deployment strategies to reduce the risk of new changes breaking the existing system. However, staging and test environments almost always differ from the production. Using the appropriate deployment strategy, such as the canary, improves the overall stability of the system by first testing the new changes on a small subset of production traffic. Multiple experiments were made to prove that canaries can positively enhance deployment stability and reduce the risk that new changes bring. Keywords: Agile; Kubernetes; Istio; Continuous Deployment; Canary; Agile; Kubernetes; Istio; Kontinuálne Nasadzovanie; Canary Available in a digital repository NRGL
Řadič postupného nasazení software nad platformou Kubernetes

Potreba dodania hodnoty uživatelom každodočne rastie na kompetitívnom trhu IT. Agilita a DevOps sa stávajú kritickými aspektami pre vývoj software, vyhľadávajúci nástroje ktoré podporujú agilnú ...

Malina, Peter; Burget, Radek; Rychlý, Marek
Vysoké učení technické v Brně, 2019

Aggregation and Analysis of Social Network Contents
Horák, Matěj; Kolář, Dušan; Burget, Radek
2019 - English
Tato práce se zabývá ziskem zvolené části obsahu sociálních sítí a jeho následnou analýzou. Cílem práce je platforma propojující jednotlivé sociální sítě, která dokáže agregovat obsah těchto sítí podle definovaných témat a zároveň je otevřená dalším rozšířením. Tento cíl byl vyřešen pomocí kontejnerové aplikace, štítkové klasifikace a metody podpůrných vektorů. Implementovaný systém řeší algoritmem nezobrazovaný obsah, filtrování a menší statistiky. Klíčové části systému jsou pokryté testy a systém je otevřený dalším analýzám a pokročilým statistikám.  This thesis is focused on getting selected parts of social media content and their analysis. The thesis is aiming for a platform which is connecting individual social networks, aggregating their content by defined topics and which is opened for next improvements and extensions. A solution is a multi-container application that uses multi-label classification and support vector machines. The implemented system solves not shown content, filtering, and small statistics. Key parts are covered by tests and the system is opened for other analysis and advanced statistics. Keywords: Social Networks; Text Topic Analysis; Support Vector Machines; REST; Docker; Sociální síťe; analýza tématu textu; metoda podpůrných vektorů; REST; Docker Available in a digital repository NRGL
Aggregation and Analysis of Social Network Contents

Tato práce se zabývá ziskem zvolené části obsahu sociálních sítí a jeho následnou analýzou. Cílem práce je platforma propojující jednotlivé sociální sítě, která dokáže agregovat obsah těchto sítí ...

Horák, Matěj; Kolář, Dušan; Burget, Radek
Vysoké učení technické v Brně, 2019

Zlepšení přesnosti formální analýzy programů v nástroji 2LS
Smutný, Martin; Vojnar, Tomáš; Malík, Viktor
2019 - English
Cílem této práce je navrhnout způsob vedoucí ke zvýšení přesnosti analýzy programů pomocí nástroje 2LS, založený na existujících konceptech, a to hlavně na syntézi invariant na základě šablon. 2LS je nástroj pro statickou analýzu programů napsaných v jazyce C, který využívá SMT solver a abstraktní interpretaci k automatickému odvození invariant. V případě kdy 2LS nedokáže rozhodnout zda je program správný, navrhované řešení analyzuje invarianty vypočítané v různých abstraktních doménách, a identifikuje takové části invariant, které mohou s největší pravděpodobností způsobit nejednoznačnost verifikace. Pomocí těchto získaných informací, dokáže navrhnutá metoda identifikovat proměnné původního programu, na kterých pravděpodobně závisí úspěch verifikace. Výstup tohoto řešení může posloužit jako zpětná vazba indikující proměnné, jejíchž problematické hodnoty by měly být omezeny. Také může být výstup využit vývojáři 2LS pro účely debugování při vývoji nových analýz. Řešení bylo implementováno v nástroji 2LS. Na základě různých experimentů mezinárodní soutěže ve verifikaci programů SV-COMP, dokáže řešení identifikovat proměnné způsobující nejednoznačnost verifikace ve více než polovině programů, na kterých verifikace momentálně selhává. The goal of this work is to propose a way to improve precision of program analysis in the 2LS framework, based on its existing concepts, mainly template-based synthesis of invariants. 2LS is a static analysis framework for analysing C programs which relies on the use of an SMT solver and of abstract interpretation for automatic invariant inference. In a case when 2LS can not decide whether a program is correct, the proposed solution analyses the invariants computed in various abstract domains and identifies parts of the invariants that potentially cause undecidability of the verification. Using the obtained information, the designed method is able to identify variables of the original program that possibly determine whether the verification is successful. The output of our solution can be used as a feedback to indicate variables with problematic values that should be constrained. Also, it can be utilized by the 2LS developers for debugging purposes during development of new analyses. The solution has been implemented in the 2LS framework. Testing our solution on various benchmarks from the International Competition on Software Verification (SV-COMP) shows that it can identify variables that cause undecidability of the verification in more than half of the programs where the verification currently fails. Keywords: formal verification; program analysis; static analysis; 2LS; abstract interpretation; invariant; SSA form; abstract domain; template-based analysis; formální verifikace; analýza programů; statická analýza; 2LS; abstraktní interpretace; invariant; SSA forma; abstraktní doména; analýza na základě šablon Available in a digital repository NRGL
Zlepšení přesnosti formální analýzy programů v nástroji 2LS

Cílem této práce je navrhnout způsob vedoucí ke zvýšení přesnosti analýzy programů pomocí nástroje 2LS, založený na existujících konceptech, a to hlavně na syntézi invariant na základě šablon. 2LS je ...

Smutný, Martin; Vojnar, Tomáš; Malík, Viktor
Vysoké učení technické v Brně, 2019

Neuronové sítě pro hru gomoku
Slávka, Michal; Kolář, Martin; Hradiš, Michal
2019 - English
Táto práca sa zaoberá použitím algoritmu AlphaZero pre hru Gomoku. AlphaZero je založený na spätnoväzbnom učení a k trénovaniu nemusia byť využité žiadne existujúce datasety. Trénovanie prebieha iba na hrách algoritmu samého so sebou. AlphaZero používa algoritmus na prehľadávanie stromu, pre zlepšenie stratégie. Na vylepšnej stratégii sa následne trénuje neurónová sieť. Tento prístup bol úspešný v hrách proti existujúcim algoritmom. Generovanie trénovacích dát vysokej kvality si vyžaduje veľa výpočetne náročných iterácií trénovania a generovania dát. Experimenty ukázali, že každou iteráciou sa algoritmus zlepšuje, čo naznačuje, že je ešte miesto na zlepšenie, ale množstvo iterácií  nedostačovalo na to, aby bol poriadne natrénovaný. This thesis explores the usage of AlphaZero algorithm for the game of Gomoku. AlphaZero is a reinforcement learning algorithm, which does not require any existing datasets and is able to improve only by using self-play. It uses a tree search for policy improvement, which is subsequently used for training. This approach was able to defeat the previous state of the art methods. Generating training data of high quality requires a lot of computationally expensive iterations, which makes them algorithm slow to train. Experiments show that the strength of the play is growing with each subsequent iteration, this might indicate that it still has room for improvement with more training and that it has not reached its full potential. Keywords: neural networks; Monte Carlo tree search; AlphaZero; backpropagation; reinforcement learning; neurónové siete; Monte Carlo tree search; AlphaZero; backpropagation; reinforcement learning Available in a digital repository NRGL
Neuronové sítě pro hru gomoku

Táto práca sa zaoberá použitím algoritmu AlphaZero pre hru Gomoku. AlphaZero je založený na spätnoväzbnom učení a k trénovaniu nemusia byť využité žiadne existujúce datasety. Trénovanie prebieha iba ...

Slávka, Michal; Kolář, Martin; Hradiš, Michal
Vysoké učení technické v Brně, 2019

Filtrování paketů pomocí XDP
Mackovič, Jakub; Podermański, Tomáš; Grégr, Matěj
2019 - English
Počítačové systémy, ktoré musia poskytovať svoje služby s vysokou dostupnosťou vyžadujú isté bezpečnostné opatrenia na to, aby ostali dostupné aj pod paketovými sieťovými útokmi. Nevyžiadané pakety musia byť zahodené čo najskôr a čo najrýchlejšie. Táto práca analyzuje eXpress Data Path (XDP) ako techniku skorého zahodenia paketov a extended Berkeley Packet Filter (eBPF) ako mechanizmus rýchlej analýzy obsahu packetov. Poskytuje sa pohľad na dnešnú prax v oblasti firewallov v systémoch s linuxovým jadrom a navrhne sa systém rýchlej filtrácie paketov založený na eBPF a XDP. Do detailov popisujeme naimplementované filtračné riešenie. Nakoniec sa vyzdvihujú výhody XDP oproti ostatným súčasným technikám filtrácie paketov na sérii výkonnostných testov. Computer systems which must provide their services with a high availability require certain security measures to remain available even when under packet-based network attacks. Unwanted packets must be dropped or mitigated as early as possible and as quickly as possible. This work analyses the eXpress Data Path (XDP) as a technique for early packet dropping and the extended Berkeley Packet Filter (eBPF) as a mechanism for high-speed packet analysis. Examples of current firewalling practices on Linux kernel based systems are observed and a design and the behavioural goals of a system for high-speed packet filtering based on eBPF and XDP are provided. The implementation of the design is then described in detail. Finally, results of several performance tests are presented, showing the XDP solution's performance advatages over contemporary filtering techniques. Keywords: XDP; BPF; eBPF; packet filtering; NETX; XDP; BPF; eBPF; filtrovanie paketov; NETX Available in a digital repository NRGL
Filtrování paketů pomocí XDP

Počítačové systémy, ktoré musia poskytovať svoje služby s vysokou dostupnosťou vyžadujú isté bezpečnostné opatrenia na to, aby ostali dostupné aj pod paketovými sieťovými útokmi. Nevyžiadané pakety ...

Mackovič, Jakub; Podermański, Tomáš; Grégr, Matěj
Vysoké učení technické v Brně, 2019

Bioinformatický nástroj pro klasifikaci bakterií do taxonomických kategorií na základě sekvence genu 16S rRNA
Valešová, Nikola; Hon, Jiří; Smatana, Stanislav
2019 - English
Tato práce se zabývá problematikou automatizované klasifikace a rozpoznávání bakterií po získání jejich DNA procesem sekvenování. V rámci této práce je navržena a popsána nová metoda klasifikace založená na základě segmentu 16S rRNA. Představený princip je vytvořen podle stromové struktury taxonomických kategorií a používá známé algoritmy strojového učení pro klasifikaci bakterií do jedné ze tříd na nižší taxonomické úrovni. Součástí práce je dále implementace popsaného algoritmu a vyhodnocení jeho přesnosti predikce. Přesnost klasifikace různých typů klasifikátorů a jejich nastavení je prozkoumána a je určeno nastavení, které dosahuje nejlepších výsledků. Přesnost implementovaného algoritmu je také porovnána s několika existujícími metodami. Během validace dosáhla implementovaná aplikace KTC více než 45% přesnosti při predikci rodu na datových sadách BLAST 16S i BLAST V4. Na závěr je zmíněno i několik možností vylepšení a rozšíření stávající implementace algoritmu. This thesis deals with the problem of automated classification and recognition of bacteria after obtaining their DNA by the sequencing process. In the scope of this work, a new classification method based on the 16S rRNA gene segment is designed and described. The presented principle is constructed according to the tree structure of taxonomic categories and uses well-known machine learning algorithms to classify bacteria into one of the classes at the lower taxonomic level. A part of this thesis is also dedicated to the implementation of the described algorithm and evaluation of its prediction accuracy. The performance of various classifier types and their settings is examined and the setting with the best accuracy is determined. The accuracy of the implemented algorithm is also compared to several existing methods. During validation, the implemented KTC application reached more than 45 % accuracy on genus prediction on both BLAST 16S and BLAST V4 datasets. At the end of the thesis, there are mentioned several possibilities to improve and extend the current implementation of the algorithm. Keywords: Machine learning; metagenomics; bacteria classification; phylogenetic tree; taxonomy; 16S rRNA; DNA sequencing; scikit-learn; Strojové učení; metagenomika; klasifikace baterií; fylogenetický strom; taxonomie; 16S rRNA; sekvenování DNA; scikit-learn Available in a digital repository NRGL
Bioinformatický nástroj pro klasifikaci bakterií do taxonomických kategorií na základě sekvence genu 16S rRNA

Tato práce se zabývá problematikou automatizované klasifikace a rozpoznávání bakterií po získání jejich DNA procesem sekvenování. V rámci této práce je navržena a popsána nová metoda klasifikace ...

Valešová, Nikola; Hon, Jiří; Smatana, Stanislav
Vysoké učení technické v Brně, 2019

Využití aproximovaných aritmetických obvodů v neuronových sítí
Matula, Tomáš; Mrázek, Vojtěch; Češka, Milan
2019 - English
Táto práca sa zaoberá využitím aproximovaných obvodov v neurónových sieťach so zámerom prínosu energetických úspor. K tejto téme už existujú štúdie, avšak väčšina z nich bola príliš špecifická k aplikácii alebo bola demonštrovaná v malom rozsahu. Pre dodatočné preskúmanie možností sme preto skrz netriviálne modifikácie open-source frameworku TensorFlow vytvorili platformu umožňujúcu simulovať používanie approximovaných obvodov na populárnych a robustných neurónových sieťach ako Inception alebo MobileNet. Bodom záujmu bolo nahradenie väčšiny výpočtovo náročných častí konvolučných neurónových sietí, ktorými sú konkrétne operácie násobenia v konvolučnách vrstvách. Experimentálne sme ukázali a porovnávali rozličné varianty a aj napriek tomu, že sme postupovali bez preučenia siete sa nám podarilo získať zaujímavé výsledky. Napríklad pri architektúre Inception v4 sme získali takmer 8% úspor, pričom nedošlo k žiadnemu poklesu presnosti. Táto úspora vie rozhodne nájsť uplatnenie v mobilných zariadeniach alebo pri veľkých neurónových sieťach s enormnými výpočtovými nárokmi. This thesis is concerned with the utilization of approximate circuits in neural networks to provide energy savings. Various studies showing interesting results already exist, but most of them were very application specific or demonstrated on a small scale. To take this further, we created a platform by nontrivial modifications of robust open-source framework Tensorflow allowing us to simulate approximate computing on known state-of-the-art neural networks e.g. Inception or MobileNet. We focused only on replacement of most computationally expensive parts of convolutional neural networks, which are multiplication operations in convolution layers. We experimentally demonstrated and compared various setups and even that we proceeded without relearning, we were able to obtain promising results. For example, with zero accuracy loss on Inception v4 architecture, we gained almost 8% energy savings which could be valuable, especially in low-power devices or in large neural networks with enormous computational demands.                        Keywords: artificial intelligence; neural networks; approximate circuits; quantization; energy savings; TensorFlow; Inception; MobileNet; umelá inteligencia; neurónové siete; aproximované obvody; qvantizácia; energetická úspora; TensorFlow; Inception; MobileNet Available in a digital repository NRGL
Využití aproximovaných aritmetických obvodů v neuronových sítí

Táto práca sa zaoberá využitím aproximovaných obvodov v neurónových sieťach so zámerom prínosu energetických úspor. K tejto téme už existujú štúdie, avšak väčšina z nich bola príliš špecifická ...

Matula, Tomáš; Mrázek, Vojtěch; Češka, Milan
Vysoké učení technické v Brně, 2019

Gnu Health Monitoring module
Veselá, Barbora; Sauermann, Stefan; Kropf, Johannes
2019 - English
This thesis focuses on the development of a GNU Health Module for electrocardiogram monitoring and the development of an application providing a fundamental electrocardiogram analysis. The theoretical part contains a brief introduction to hospital information systems including electronic patient record and healthcare data standards information, followed by a description of the GNU Health application and the implementation of the electrocardiogram analysis, written in the Python programming language. The practical part deals with the development of the GNU Health Monitoring module and the external application for signal analysis. The results, disscussion and the conclusion follow. This thesis focuses on the development of a GNU Health Module for electrocardiogram monitoring and the development of an application providing a fundamental electrocardiogram analysis. The theoretical part contains a brief introduction to hospital information systems including electronic patient record and healthcare data standards information, followed by a description of the GNU Health application and the implementation of the electrocardiogram analysis, written in the Python programming language. The practical part deals with the development of the GNU Health Monitoring module and the external application for signal analysis. The results, disscussion and the conclusion follow. Keywords: Hospital Information System; Gnu Health; Tryton; Monitoring Module; Python ECG Analysis; Hospital Information System; Gnu Health; Tryton; Monitoring Module; Python ECG Analysis Available in a digital repository NRGL
Gnu Health Monitoring module

This thesis focuses on the development of a GNU Health Module for electrocardiogram monitoring and the development of an application providing a fundamental electrocardiogram analysis. The theoretical ...

Veselá, Barbora; Sauermann, Stefan; Kropf, Johannes
Vysoké učení technické v Brně, 2019

Návrh a implementace systému pro správu digitálních licencí
Baliak, Adam; Koch, Miloš; Luhan, Jan
2019 - English
Táto bakalárska práca sa zaoberá analýzou, návrhom a implementáciou informačného systému pre spoločnosť zaoberajúcu sa vývojom softvéru. Zmyslom tohto informačného systému je slúžiť ako platforma pre manažment a poskytovať štatistiky využívania rôznych digitálnych produktov, ktoré vyžadujú licenčný kľúč na to aby boli aktivované a dostávali aktualizácie. Ďalej bude tento systém generovať licenčné kľúče a autorizovať aktualizačné požiadavky, prichádzajúce z klientskych informačných systémov. This bachelor thesis deals with the analysis, design, and implementation of an information system for a company specialising in software development. The purpose of the information system is to provide a feasible platform for management and provide usage statistics of various digital products, which require licence key to be activated and updated. It will be able to generate licence keys and authorise update requests originating from customer systems. Keywords: information system; web application; licence management; PHP; SQL; database; informačný systém; webová aplikácia; správa licencií; PHP; SQL; databáza Available in a digital repository NRGL
Návrh a implementace systému pro správu digitálních licencí

Táto bakalárska práca sa zaoberá analýzou, návrhom a implementáciou informačného systému pre spoločnosť zaoberajúcu sa vývojom softvéru. Zmyslom tohto informačného systému je slúžiť ako platforma pre ...

Baliak, Adam; Koch, Miloš; Luhan, Jan
Vysoké učení technické v Brně, 2019

Zabezpečená brána pro bezdrátové IoT protokoly
Hošala, Martin; Hujňák, Ondřej; Kořenek, Jan
2019 - English
Táto práca bola zameraná na vytvorenie funkčného prototypu zabezpečenej brány pre bezdrôtové IoT protokoly s využítím BeeeOn IoT Gateway. Na vytvorenie výsledného riešenia bolo potrebné analyzovať existujúce zabezpečovacie systémy IoT, navrhnúť ich integráciu s BeeeOn Gateway a systém nasadiť. Ako zabezpečovacie systémy v tejto práci boli použité moduly NEMEA vyvinuté v rámci projektu SIoT. Výsledné riešenie beží na routeri Turris Omnia a pozostáva z BeeeOn Gateway, piatich detekčných modulov SIoT a ďalších modulov NEMEA potrebných pre plnú funkčnosť detektorov. Potenciálne hrozby sa zisťujú v sieťach Z-Wave, BLE a LoRaWAN. Používateľ môže so systémom interagovať prostredníctvom webového rozhrania systému Coliot, ktorý je tiež súčasťou výsledného riešenia a slúži na ukladanie a prezentáciu výsledkov detekcie. Funkčnosť systému bola overená experimentálne a množinou integračných testov. Testovanie odhalilo mnoho nedostatkov spojených s použitými podsystémami a väčšina z nich bola opravená. Výsledný systém sa používa sa v rámci projektu SIoT. This work aimed to create a functional prototype of a secured gateway for wireless IoT protocols based on the BeeeOn IoT Gateway. To create the resulting solution, it was necessary to analyze existing IoT securing systems, propose their integration with the BeeeOn Gateway, and finally deploy the system. As the securing systems in this work, NEMEA modules developed within SIoT project were used. The resulting solution runs on Turris Omnia router and consists of the BeeeOn Gateway, five SIoT detection modules and other NEMEA modules necessary for detectors full functionality. Potential threats are being detected in the Z-Wave, BLE, and LoRaWAN networks. A user can interact with the system through a web interface of Coliot system, which is also a part of the resulting solution and serves to store and present detection results. The system functionality was verified experimentally and by a set of integration tests. The testing has revealed many deficiencies connected to used subsystems, and most of them were fixed. Resulting system is used within the SIoT project. Keywords: Internet of Things; Gateway; Smart Home; BeeeOn; Security; SIoT; NEMEA; Turris Omnia; LoRa; Z-Wave; BLE; Internet vecí; Brána; Inteligentná domácnosť; BeeeOn; Bezpečnosť; SIoT; NEMEA; Turris Omnia; LoRa; Z-Wave; BLE Available in a digital repository NRGL
Zabezpečená brána pro bezdrátové IoT protokoly

Táto práca bola zameraná na vytvorenie funkčného prototypu zabezpečenej brány pre bezdrôtové IoT protokoly s využítím BeeeOn IoT Gateway. Na vytvorenie výsledného riešenia bolo potrebné analyzovať ...

Hošala, Martin; Hujňák, Ondřej; Kořenek, Jan
Vysoké učení technické v Brně, 2019

About project

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

http://www.techlib.cz

Facebook

Other bases