No (24735)
Number of found documents:
24735
Published from
to
Nástroj pro tvorbu vzorů logovacích zpráv
Hanus, Igor; Janoušek, Vladimír; Smrčka, Aleš
2023 - English
Cieľom práce je vyvtorenie prenositeľnej webovej aplikácie na spracovanie logov pomocou kombinácie Grok vzorova a regulárnych výrazov, za účelom vytvorenia vzoru pre jednotlivé záznamy logu s možnosťou exportovania do YAML formátu, ktorý je spracovateľný nástrojom Plogchecker. Aplikácia bola implementovaná pomocou JavaScript knižnice React použitím jazyka TypeScript. Spracovanie jednotlivých regulárnych výrazov je riešené pomocou knižnice Oniguruma, ktorá je integrovaná do aplikácie pomocou WebAssembly. Dôvodom použitia Oniguruma knižnice bola nekompatibilita medzi prekladačmi regulárnych výrazov definovanými štandardom ECMAScript a prekladačmi, ktoré sú využívané pre preklad Grok výrazov. Realizacia aplikácie bola podrobená automatizovaným testom a užívateľským testom, s opravou zistených nálezov. The thesis aims to create a portable web application for processing logs using combinations of Grok patterns and regular expressions to create a pattern for individual log messages with the possibility of exporting them into YAML format that can be processed by the tool Plogchecker. The application was implemented using the React JavaScript library using the TypeScript language. Processing of individual regular expressions is achieved using the Oniguruma library, which is integrated into the application using WebAssembly. The reason for using the Oniguruma library was the incompatibility between regular expression compilers specified by the ECMAScript standard and compilers used for Grok patterns. Automated testing and user testing were conducted, and identified flaws were addressed.
Keywords:
log; log processing; web application; Grok; regular expressions; Regex; Regexp; React; TypeScript; Oniguruma; WebAssembly; log; spracovanie logov; webová aplikácia; Grok; regulárne výrazy; Regex; Regexp; React; TypeScript; Oniguruma; WebAssembly
Available in a digital repository NRGL
Nástroj pro tvorbu vzorů logovacích zpráv
Cieľom práce je vyvtorenie prenositeľnej webovej aplikácie na spracovanie logov pomocou kombinácie Grok vzorova a regulárnych výrazov, za účelom vytvorenia vzoru pre jednotlivé záznamy logu s ...
Students Start-ups: Establishment and Development
Halamka, Dominik; Chlebovský, Vít; Koráb, Vojtěch
2023 - English
Tato bakalářská práce pojednává o tvorbě udržitelného podnikatelského plánu pro menší start-up, který vstupuje na trh v oblasti seznamování a vztahů. Firma nabízí koučink v oblasti seberozvoje, seznamování a vztahů. Hlavní zjištění této práce zahrnuje, že typický klient je mladý muž s velmi analytickou myslí. Tento klient si vyžaduje logické řešení, které bude vysvětleno v jednotlivých krocích. Také poukazuje na to, že tento podnikatelský model může být velice ziskový, pokud se podnikatel vyhne zbytečným chybám a zvládne rizika. This bachelor thesis talks about creation of sustainable business plan for small start-up company that enters dating industry market. Company offers coaching for self-development in terms of dating. Main chapter is – Proposal and contribution of suggested solutions. Key findings of thesis are that typical client is very analytical young male which demands step-by-step logical solution for a problem. And that this business model can be very profitable if entrepreneur avoids unnecessary risks and mistakes.
Keywords:
Business plan; coaching; analytical; dating; logical; Podnikatelský plan; koučink; analytický; seznamování; logický
Available in a digital repository NRGL
Students Start-ups: Establishment and Development
Tato bakalářská práce pojednává o tvorbě udržitelného podnikatelského plánu pro menší start-up, který vstupuje na trh v oblasti seznamování a vztahů. Firma nabízí koučink v oblasti seberozvoje, ...
Measurement of Shape and Dimensions of Forgings
Hurník, Jakub; Bračun, Drago; Piano, Samanta; Koutný, Daniel
2023 - English
V procesu výroby těžkých výkovků volným kováním vznikají nepřesnosti, které je třeba měřit a korigovat. Metoda pasivního měření výkovků, na základě jejich siluet v obraze, zde potenciálně nabízí mnoho výhod. V případě měření výkovků ale v literatuře vykazuje relativně nízkou přesnost a nebyla ověřena v průmyslových podmínkách. Cílem práce je proto prozkoumat možnosti využití této metody v reálných podmínkách, které umožní pokročilé metody optického měření. Jsou diskutovány rušivé vlivy prostředí a navrhovány originální metody, jak ovlivnění zmírnit nebo mu předejít. Ty jsou ověřovány v laboratorním i v průmyslovém prostředí. Výsledky potvrzují efektivitu navržených metod; dosahovaná přesnost je stejného řádu s tou dosaženou v laboratorním prostředí. Bylo dosaženo chyby okolo 1 mm v měřicím objemu 6 × 6 × 2 m v případě měření přímosti osy a průměru výkovku. Tento výsledek postačuje požadavkům průmyslového prostředí. Nicméně, měření stále obsahuje odlehlé hodnoty, jejichž výskyt je diskutován. Poznatky obsažené v této práci je možné využít při vývoji profesionálního měřicího systému pro tuto aplikaci. Sekundárně jsou pak zobecnitelné a využitelné při měření horkých objektů nebo obecně objektů v komplexním prostředí na základě jejich siluet. Systém pro měření výkovků by v budoucnu mohl přinést vyšší efektivitu výroby volně kovaných polotovarů a mohl by se stát součástí automatizované kovací linky. In the process of open-die forging, inaccuracies can appear. These inaccuracies must be measured and corrected. Passive heavy forging measurement, based on their silhouettes in images, potentially offers many advantages in this application. However, regarding forging measurement, this method showed limited accuracy in the literature and was never verified under industrial conditions. Therefore, the aim of this thesis is to examine the feasibility of this method in the industrial environment, by using advanced methods of optical measurement. Interfering effects are discussed, and original methods, working as countermeasures, are proposed. Methods are verified in both the laboratory and the industrial environment. The results suggest the effectiveness of the proposed methods; the accuracy achieved in the laboratory and industrial environment is of the same order. The error is approximately around 1 mm in a measurement volume of 6 × 6 × 2 m for the geometry of the axis and the measurement of the diameter. This result satisfies the demands of an industrial environment. However, the measurement still contains outliers, which are discussed. The knowledge obtained can be used during the development of a professional measurement system for this application. Secondly, the knowledge can be generalized to the measurement of hot objects, or objects in a complex environment, based on their silhouettes. A system for the measurement of forgings could increase the effectiveness of manufacturing and could become a part of automated forging production line in the future.
Keywords:
forging; measurement; silhouettes; edge detection; axis straightness; výkovek; měření; siluety; detekce hran; přímost osy
Available in a digital repository NRGL
Measurement of Shape and Dimensions of Forgings
V procesu výroby těžkých výkovků volným kováním vznikají nepřesnosti, které je třeba měřit a korigovat. Metoda pasivního měření výkovků, na základě jejich siluet v obraze, zde potenciálně nabízí mnoho ...
Konstrukce prototypového zařízení pro skládání vložek chladičů
Hanák, Jiří; Ramík, Pavel; Bazala, Jiří
2023 - English
Tato diplomová práce se zaměřuje na návrh nového a vylepšeného skládacího zařízení určeného pro skládání vložek chladičů v prototypové výrobě s důrazem na zvýšení efektivity procesu skládání a snížení výrobního času. V rešeršní části této diplomové práci jsou popsány rozdílné typy chladicích systémů včetně jednotlivých komponentů obsažených v chladících systémech s hlavním zaměřením na konstrukci chladiče. Dále jsou popsány rozdílné typy skládacích zařízení používané v procesu skládání vložek chladičů a je charakterizován původní návrh skládacího zařízení včetně jeho aktuálních problémů. Na základě rešeršní části této práce je definováno zadání nového skládacího zařízení a představeny dvě koncepční řešení s několika variantami řešení kritických konstrukčních uzlů. Ze dvou koncepčních řešení bylo vybráno jedno finální a jeho kritické konstrukční uzly byly prověřeny nutnými výpočty nebo případnou analýzou. Následně byly vyhotovena výkresová dokumentace nového skládacího zařízení. Nakonec je představen nový vylepšený návrh skládacího zařízení, který je poté zhodnocen. This master’s thesis focuses on the design of a new improved assembly device of radiator cores used in prototype production. This new design aims on increasing efficiency of the assembly process and shortening the assembly time. In the research part of this master’s thesis are described different types of cooling systems and individual components of the cooling system with focus on the construction of the radiators. Next there are described different types of assembly devices used in the assembly process and the original design of the assembly device with its problems characterised. Based on the research part of this thesis the assignment of the new assembly device is defined and two conceptual designs of the assembly device are introduced together with several solutions to critical construction areas. From two conceptual solutions was one solution selected and its main construction areas were verified with necessary calculations or analysis. The assembly drawing of the new assembly device was created. Finally, a new improved assembly device design is introduced and evaluated.
Keywords:
Radiator; assembly device; radiator cooling tube; radiator fin; assembly process; Chladič; skládací přípravek; chladičová trubka; chladičový vlnovec; skládací proces
Available in a digital repository NRGL
Konstrukce prototypového zařízení pro skládání vložek chladičů
Tato diplomová práce se zaměřuje na návrh nového a vylepšeného skládacího zařízení určeného pro skládání vložek chladičů v prototypové výrobě s důrazem na zvýšení efektivity procesu skládání a snížení ...
Detection of absolute position of object based on relative change of phase
Demydenko, Serhii; Roubal, Zdeněk; Steinbauer, Miloslav
2023 - English
The goal of this work is to present a new method of position detection for autonomous systems. The method suggests usage of classical triangulation technique for which the main input, the angle value, is measured using a new approach, which implies measurement of the phase difference between two wireless receivers physically placed in a specific manner. The mutual placement of the receivers is defined by the selected frequency of the transmitted signal, namely its wavelength. The thesis describes the method itself, its simulated model and some practical issues and limitations. The goal of this work is to present a new method of position detection for autonomous systems. The method suggests usage of classical triangulation technique for which the main input, the angle value, is measured using a new approach, which implies measurement of the phase difference between two wireless receivers physically placed in a specific manner. The mutual placement of the receivers is defined by the selected frequency of the transmitted signal, namely its wavelength. The thesis describes the method itself, its simulated model and some practical issues and limitations.
Keywords:
absolute position measurement; phase shift measurement; absolute position measurement; phase shift measurement
Available in a digital repository NRGL
Detection of absolute position of object based on relative change of phase
The goal of this work is to present a new method of position detection for autonomous systems. The method suggests usage of classical triangulation technique for which the main input, the angle value, ...
Vyhodnocování spolehlivostních ukazatelů pomocí SMC
Gajdošík, Róbert; Lojda, Jakub; Strnadel, Josef
2023 - English
Cieľom tejto práce bolo vyhodnotiť ukazalete spoľahlivosti výpočtových systémov. V pr- vom rade bola založená terminológia ktorá vysvetľuje základné pojmy ohľadom štatistiky and spoľahlivosti. Ďalej boli v tomto kroku preskúmané typy a vlastnosti chýb ktoré sa v takýchto systémoch vyskytujú, a techniky ktoré sa dajú využit na ich potlačenie alebo zmiernenie ich dopadu na fungovanie systému. V ďalšom kroku boli vysvetlené základné koncepty ohľadom modelovania a simulácie ako aj krátky nahľad do presností jednotlivých techník ktoré boli zvažované ako možnosti ktoré by boli použiteľné pri samotnom pro- cese generovania dát. Po rozhodnutí ísť cestou štatistickej simulácie boli v ďalšom kroku zavedené metódy pre generovanie dát analytickým spôsobom ktoré slúžia na overenie dát vygenerovaných štatistickými simuláciami, do úrovne kde je ešte možné sa k nim dostať re- latívne jednoduchými výpočtami. Nasleduje prehľad nástrojov na implementáciu modelov našich systémov, ich výhody a nevýhody a miera použiteľnosti. V ďalšich krokoch boli vo vybranom nástroji Uppaal SMC naimplementované niektoré vybrané systémy a situácie na základe časovych automatov, a následne boli vyhodnotené oproti iným metódam zlepšenia spoľahlivosti ako aj oproti analyticky dosiahnutým dátam. Práca končí zavermi ktoré boli vyvodené z testovacích dát. The aim of this thesis is assessing dependability of computerized systems using modelling and simulation. After establishing basic nomenclature, research was performed on de- pendability metrics, fault taxonomy and dependability bolstering techniques. Afterwards, analytical solutions were explored to be used as a reference point. Next, multiple simulation tools were assessed and Uppaal SMC was chosen as the most suitable tool because of it’s timed automaton framework enriched with a query language and multiple Simulation Model Checking tools. Finally, systems describing multiple relevant situations were implemented and evaluated against both themselves and the analytically computed reference point.
Keywords:
assessment; dependability; Uppaal; Uppaal SMC; modelling; simulation; analysis; faults; sparing; reconfiguration; statistics; timed automaton; automaton; multiplex; vyhodnocovanie; spoľahlivosť; Uppaal; Uppaal SMC; modelovanie; simulácia; analýza; chyby; nahrázanie; rekonfigurácia; štatistika; časovaný automat; automat; multiplex
Available in a digital repository NRGL
Vyhodnocování spolehlivostních ukazatelů pomocí SMC
Cieľom tejto práce bolo vyhodnotiť ukazalete spoľahlivosti výpočtových systémov. V pr- vom rade bola založená terminológia ktorá vysvetľuje základné pojmy ohľadom štatistiky and spoľahlivosti. Ďalej ...
Metody hlubokého učení pro strojové hraní hry Scotland Yard
Hrkľová, Zuzana; Janoušek, Vladimír; Zbořil, František
2023 - English
Táto práca sa zaoberá metódami hlbokého učenia, ktoré sú aplikovateľné na stolné hry s neurčitosťou. V rámci práce boli naštudované princípy učenia s posilňovaním, s hlavným zameraním na Q-learning algoritmy, spomedzi ktorých bol vybraný Deep Q-Network algoritmus. Ten bol následne implementovaný na zjednodušených pravidlách stolnej hry Scotland Yard. Konečná implementácia bola porovnaná s metódami Alpha-Beta a Monte Carlo Tree Search. S výsledkov vyplinulo, že schovávaný hráč riadený DQN algoritmom predstavoval pre ostatné metódy najťažšieho protihráča, narozdiel od hľadajúcich hráčov, ktorým sa nepodarilo zlepšiť existujúce riešenia. Napriek tomu, že implementovaná metóda nedosiahla lepšie výsledky oproti doposiaľ existujúcim metódam, ukázalo sa, že potrebuje najmenej výpočetných zdrojov a času na vykonanie daného ťahu. To ju robí najperspektívnejšou zo spomínaných metód na budúcu možnú implementáciu originálnej verzie danej hry. This theses concerns with deep learning methods applied to machine playing board games containing movement uncertainty. Reinforcement learning principles with main focus on Q-learning algorithms were studied, among which Deep Q--Network had been chosen and applied on simplified rules of the Scotland Yard board game. The final implementation was put to test against Alpha-Beta and Monte Carlo Tree Search. The results have shown that the hider driven by DQN represented the hardest opponent for the other two methods, while the DQN seekers did not manage to surpass past results. Although the implemented method did not reach better results than currently known methods, it proved to be the least demanding when considering computational resources and time needed to perform a given move, making it the most perspective to implement on original version of the game in the future.
Keywords:
machine learning; deep learning; neural networks; reinforcement learning; Q-learning; DQN; board games; strategy games; games with uncertainty; Scotland Yard; strojové učenie; hlboké učenie; neurónové siete; posilované učenie; Q-learning; DQN; stolné hry; strategické hry; hry z neurčitosťou; Scotland Yard
Available in a digital repository NRGL
Metody hlubokého učení pro strojové hraní hry Scotland Yard
Táto práca sa zaoberá metódami hlbokého učenia, ktoré sú aplikovateľné na stolné hry s neurčitosťou. V rámci práce boli naštudované princípy učenia s posilňovaním, s hlavným zameraním na Q-learning ...
Návrh a implementace survival počítačové hry
Kováč, Ondrej; Polášek, Tomáš; Čadík, Martin
2023 - English
Táto bakalárska práca sa zameriava na návrh a implementáciu postapokalyptickej survival počítačovej hry s RPG prvkami nazvanej "Beneath the Mushroom Clouds". Práca obsahuje krátky úvod do herného priemyslu a žánrov opisujúcich hru, všeobecný prehľad herných enginov a špecifické aspekty herného enginu Unity. Ďalej popisuje návrh a implementáciu niektorých individuálnych prvkov, ktoré tvoria danú hru. Implementácia týchto prvkov je popísaná konceptuálne s minimálnymi ukážkami kódu. This bachelor's thesis focuses on the design and implementation of a post-apocalyptic, survival computer game with RPG elements named "Beneath the Mushroom Clouds". The thesis contains a short introduction to the game industry and genres describing the game, general overview of game engines and specific aspects of the Unity game engine. Furthermore, it describes the design and implementation of some of the individual elements that make up the game. The implementation of these elements is described conceptually, with minimal examples of actual code.
Keywords:
Computer game; Game design; Game implementation; Unity; BTMC; Survival; Post-apocalyptic; Počítačová hra; Návrh hry; Implementácia hry; Unity; BTMC; Survival; Postapokalyptická hra
Available in a digital repository NRGL
Návrh a implementace survival počítačové hry
Táto bakalárska práca sa zameriava na návrh a implementáciu postapokalyptickej survival počítačovej hry s RPG prvkami nazvanej "Beneath the Mushroom Clouds". Práca obsahuje krátky úvod do herného ...
Nové techniky kompaktní reprezentace Booleovských funkcí
Maťufka, Ján; Holík, Lukáš; Lengál, Ondřej
2023 - English
Binárne rozhodovacie diagramy (BDD) reprezentujú Booleovské funkcie a sú značne využívané vo formálnej verifikácii, model checkingu, syntéze obvodov v CAD softvéroch, atď. S rastúcim počtom premenných ale (v najhoršom prípade) exponenciálne rastie aj veľkosť BDD. Cieľom tejto práce je vytvoriť kompaktný model reprezentácie Booleovských funkcií založený na automatoch. K dosiahnutiu tohto cieľa boli použité stromové automaty. Vkladaním stromových automatov so špeciálnymi vlastnosťami do štruktúry BDD je možné redukovať opakujúce sa vzory. Tento model dosiahol v priemere 10-20 % menšie počty uzlov v testovaných prípadoch v porovnaní so súčasnými modelmi. Používanie automatového prístupu umožňuje vytvárať vlastné automaty prispôsobené na redukciu konkrétnych vzorov, čím sa rozširujú možnosti tohto modelu a jeho potenciál na ešte lepšie výsledky. Binary decision diagrams (BDDs) represent Boolean functions and are extensively used in formal verification, model checking, circuit synthesis in CAD software, etc. With more variables, however, the BDD size grows in the worst case exponentially. The aim of this thesis is to create an automata-based model for compact representation of Boolean functions. To achieve this, tree automata are used. By inserting tree automata with specific properties into the BDD structure, larger repeating patterns can be reduced. This model allows for approximately 10-20 % smaller node counts in tested benchmarks compared to the state-of-the-art models. Using a tree-automata based approach allows for creating custom automata to reduce specific patterns and thus allow for possibly even better results.
Keywords:
Binary decision diagram; Tree automaton; Canonicity; Reduction; Binárny rozhodovací diagram; Stromový automat; Kanonicita; Redukcia
Available in a digital repository NRGL
Nové techniky kompaktní reprezentace Booleovských funkcí
Binárne rozhodovacie diagramy (BDD) reprezentujú Booleovské funkcie a sú značne využívané vo formálnej verifikácii, model checkingu, syntéze obvodov v CAD softvéroch, atď. S rastúcim počtom premenných ...
Znalost o hesle jako výhoda při útoku
Hríbik, Samuel; Polčák, Libor; Hranický, Radek
2023 - English
Táto bakalárska práca sa zaoberá metódami, ktorými uživatelia vytvárajú heslá, a tým, aký vplyv môžu mať zásady pre tvorbu hesiel na tieto metódy. Na základe zistených informácií o uživateľských zvyklostiach a často využívaných zásadách navrhuje proces na analýzu a generovanie masiek hesiel s využitím znalostí o vlastnostiach hesiel. Opisuje implementáciu procesu generovania masiek a spôsob, akým je tento proces integrovaný do nástroja na lámanie hesiel Fitcrack ako jeho rozšírenie. Nakoniec obsahuje výsledky experimentov s použitím procesu generovania masiek, ktoré prezentujú funkčnosť tohto rozšírenia v rôznych prípadoch použitia. This bachelor thesis studies the methods by which users create passwords and how password-composition policies can influence these methods. Based on the information gathered about user practices and the most frequently used policies, it proposes a process to analyze and generate password masks utilizing the knowledge of password characteristics. It describes the implementation of the mask generation process and its integration into the password cracking tool Fitcrack as an extension. Lastly, it contains the results of experiments using the mask generation process, presenting the functionality of this extension in different use cases.
Keywords:
Password policies; password cracking; Fitcrack; password masks; Zásady používaní hesel; lámaní hesel; Fitcrack; masky hesel
Available in a digital repository NRGL
Znalost o hesle jako výhoda při útoku
Táto bakalárska práca sa zaoberá metódami, ktorými uživatelia vytvárajú heslá, a tým, aký vplyv môžu mať zásady pre tvorbu hesiel na tieto metódy. Na základe zistených informácií o uživateľských ...
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