Ne (24753)
Počet nalezených dokumentů:
24753
Publikováno od
do
Detection of absolute position of object based on relative change of phase
Demydenko, Serhii; Roubal, Zdeněk; Steinbauer, Miloslav
2023 - anglický
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.
Klíčová slova:
absolute position measurement; phase shift measurement; absolute position measurement; phase shift measurement
Plné texty jsou dostupné v digitálním repozitáři NUŠL
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 - anglický
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.
Klíčová slova:
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
Plné texty jsou dostupné v digitálním repozitáři NUŠL
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 - anglický
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.
Klíčová slova:
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
Plné texty jsou dostupné v digitálním repozitáři NUŠL
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 - anglický
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.
Klíčová slova:
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
Plné texty jsou dostupné v digitálním repozitáři NUŠL
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 - anglický
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.
Klíčová slova:
Binary decision diagram; Tree automaton; Canonicity; Reduction; Binárny rozhodovací diagram; Stromový automat; Kanonicita; Redukcia
Plné texty jsou dostupné v digitálním repozitáři NUŠL
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 - anglický
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.
Klíčová slova:
Password policies; password cracking; Fitcrack; password masks; Zásady používaní hesel; lámaní hesel; Fitcrack; masky hesel
Plné texty jsou dostupné v digitálním repozitáři NUŠL
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 ...
Vizualizace neuronové sítě použité jako jazykový model
Ryšánek, Jakub; Černocký, Jan; Beneš, Karel
2023 - anglický
LSTM sít je typ neuronové sítě, která je určena na analýzu sekvenčních dat. Výhodou LSTM oproti jednoduché rekurentní neuronové síti je schopnost ukládat dlouhodobé závis- losti, což umožňuje dosahovat vyšší úspěšnosti při provádění úloh jako je rozpoznávání řeči nebo jazykové modelování. Avšak vzhledem z jejich komplexitě není zcela jasné jak přesně fungují. Abych prozkoumal jejich vnitřní chování tak jsem vytvořil tři vizualizační metody. Tyto metody se zaměřují na vzor chování jednotlivých prvků modelu nebo na chování celého modelu při zpracování slov s podobným syntaktickým nebo sémantickým významem. Long short-term memory (LSTM) network is a type of neural network designed to analyze sequence data. The advantage of LSTM over the simple recurrent neural network is the ability to store long-term dependencies, which allows them to reach higher accuracy when performing tasks such as speech recognition or language modeling. However, due to their complexity, the internal processes that lead to these results are still not fully understood. To explore their inner workings, I created three visualization methods. These methods focus on the pattern of the behavior of the single unit present in the model or the behavior of the whole model when processing words with similar syntactic or semantic meanings.
Klíčová slova:
visualization; neural networks; LSTM; clustering; t-SNE; vizualizace; neuronové sítě; LSTM; shlukování; t-SNE
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Vizualizace neuronové sítě použité jako jazykový model
LSTM sít je typ neuronové sítě, která je určena na analýzu sekvenčních dat. Výhodou LSTM oproti jednoduché rekurentní neuronové síti je schopnost ukládat dlouhodobé závis- losti, což umožňuje ...
Testování odolnosti systému hlasové biometrie vůči deepfakes
Reš, Jakub; Firc, Anton; Malinka, Kamil
2023 - anglický
Tématem této práce je vytvoření metodologie testování odolnosti hlasového biometrického systému vůči deepfakům. Hlavní problém v současné době leží v nedostatečném pokrytí testování proti prezentačním útokům užitím deepfaků ve standardech ISO/IEC. Cílem práce je vyplnění této mezery, vzniklé příchodem technologie deepfaků, navržením metodologie, založené na současných postupech, která se soustředí na pokrytí této problematiky. Řešení navrženého problému začíná studií nejnovějšího stavu oblasti deepfaků a standardních postupů pro testování biometrických systémů. Druhým krokem je navržení a zdokumentování metody testování hlasového biometrického systému. Test byl navržen jako scénář, ve kterém je hlasový biometrický systém Phonexia použit jako nástroj pro vzdálenou verifikaci použitý pro hlas-jako-heslo. Pro účely demonstrace byl použit veřejně online dostupná datová sada. Mimo samotný návrh testu jsem také zavedl nestandardní metriku vyhodnocení pro ukázku možností zaměření na různé typy deepfaků. Po provedení a vyhodnocení testů jsem zformuloval postup do obecné opakovatelné metodologie, obsahující praktiky a doporučení. Přínos této práce leží v zapracování deepfaků do existujících standardních metodologií testování biometrických systémů a tak formování a demonstrování opakovatelné metodologie. Topic of this paper is a methodology of testing the robustness of a voice biometric system against deepfakes. The main problem currently lies in insufficient coverage of testing against the presentation attack using deepfakes in ISO/IEC standards. The aim of this thesis is to cover the hole, resulting from emergence of deepfake technology, by proposing an extended methodology, based on the existing one, that focuses on fixing the issue. The solution of proposed problem started by studying the state of the art for deepfakes and standard practices of biometric system testing. Second, I proposed and documented a method of testing the voice biometric system. The test was designed as a scenario, where the Phonexia voice biometric system is used as a remote verification tool for the voice-as-a-password use-case. For the purpose of demonstration, the online publicly available dataset was used. On top of test design, I set a non-standard metric for the test evaluation to show possibilities of focus on different kinds of deepfakes. After carrying out tests and evaluating results, I formulated the procedure into a generic repeatable methodology, containing practices and recommendations. The contribution of this work lies in incorporating deepfakes into the existing standard methodologies of testing a biometric systems, hence forming and demonstrating a repeatable methodology.
Klíčová slova:
deepfake; methodology; testing; spoofing; biometic system; deepfake; metodika; testování; spoofing; biometický systém
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Testování odolnosti systému hlasové biometrie vůči deepfakes
Tématem této práce je vytvoření metodologie testování odolnosti hlasového biometrického systému vůči deepfakům. Hlavní problém v současné době leží v nedostatečném pokrytí testování proti prezentačním ...
Kolaborativní strojové učení v kontextu síťové bezpečnosti
Hejcman, Lukáš; Uhříček, Daniel; Žádník, Martin
2023 - anglický
Metody strojového učení se již dlouhou dobu používají v oblastech monitorování a zabezpečení počítačových sítí kvůli jejich schopnosti analyzovat a klasifikovat velké množství dat. Pokrok v rychlosti a propustnosti počítačových sítí však ztěžuje vytváření a správu datových sad v distribuovaném prostředí kvůli jejich velikosti. Kromě toho, sdílení datových sad obsahujících zachycený síťový provoz uživatelů sítě představuje bezpečnostní problémy týkající se uživatelského soukromí. V této oblasti se tedy zkoumají metody kolaborativního strojového učení. Stávající řešení pro implementaci kolaborativního strojového učení jsou však buď nástroje pro ověření konceptu, nebo produkční nástroje a překlenutí této mezery se věnuje jen velmi málo pozornosti. Tato práce představuje nový nástroj pro kolaborativní strojové učení nazvaný FERDINAND, který tuto mezeru překlenuje tím, že se zaměřuje na průběžné aktualizace modelů, rozšiřitelnost a snadnou konfiguraci. Tento framework byl vyvinut v úzké spolupráci s výzkumným týmem sdružení CESNET zaměřeným na monitorování a bezpečnost sítí a je implementován jako produkční nástroj, který lze nasadit na backendovou infrastrukturu sdružení CESNET. Tato práce dále zkoumá životaschopnost použití rámce FERDINAND v kontextu monitorování sítě zkoumáním jeho aplikace na nejmodernější metody detekce škodlivých zařízení či detekci protokolu DNS přes HTTPS. Nakonec jsou prozkoumány budoucí směry vývoje nástroje. Machine learning methods have long been applied to the areas of network monitoring and security due to their ability to analyze and classify data at a rapid rate. However, the advancement in computer network speeds and throughput makes creating and managing datasets in a distributed setting more difficult due to their size. Furthermore, sharing such datasets containing captured network traffic of the network’s users presents a grave privacy concern. Thus, methods of collaborative machine learning are being explored in this domain. However, the existing solutions to implementing collaborative machine learning are either proof-of-concept tools or production frameworks, and very little focus is given to bridging this gap. This thesis presents a new framework for collaborative machine learning called FERDINAND, which bridges this gap by focusing on on-the-fly model updates, extensibility, and easy configuration. This framework was developed in close cooperation with the CESNET research team focusing on network monitoring and security, and is implemented to be a viable production-grade tool that can be deployed on the backend infrastructure of CESNET. This work further explores the viability of using the FERDINAND framework within the context of network monitoring by applying it to state-of-the-art methods for the detection of malicious devices or the classification of DNS over HTTPS traffic. Lastly, future development directions for the framework are explored.
Klíčová slova:
FERDINAND; Collaborative; Federated; Machine; Learning; Network; Monitoring; FERDINAND; Kolaborativní; Federované; Strojové; Učení; Monitorování; Sítě
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Kolaborativní strojové učení v kontextu síťové bezpečnosti
Metody strojového učení se již dlouhou dobu používají v oblastech monitorování a zabezpečení počítačových sítí kvůli jejich schopnosti analyzovat a klasifikovat velké množství dat. Pokrok v rychlosti ...
Hluboké neuronové sítě pro sešívání obrázků
Šilling, Petr; Beran, Vítězslav; Španěl, Michal
2023 - anglický
Sešívání obrázků je klíčovou technikou pro rekonstrukci objemů biologických vzorků z překrývajících se snímků z elektronové mikroskopie (EM). Současné metody zpracování snímků z EM k sešívání zpravidla využívají ručně definované příznaky, produkované například technikou SIFT. Nedávný vývoj však ukazuje, že konvoluční neuronové sítě dokáží zlepšit přesnost sešívání tím, že se naučí diskriminativní příznaky přímo z trénovacích obrázků. S ohledem na potenciál konvolučních neuronových sítí tato práce navrhuje sešívací nástroj DEMIS, který staví na pozornostní síti LoFTR pro hledání shodných příznaků mezi páry obrázků. Dále práce navrhuje novou datovou sadu generovanou dělením obrázků z EM s vysokým rozlišením na pole překrývajících se dlaždic. Výsledná datová sada je použita pro dotrénování sítě LoFTR a k vyhodnocení nástroje DEMIS. Experimenty na dané datové sadě ukazují, že nástroj je schopen nalézt přesnější shody mezi příznaky než SIFT. Navazující experimenty na obrázcích s vysokým rozlišením a malými překryvy mezi dlaždicemi dále poukazují na výrazně vyšší robustnost oproti metodě SIFT. Dosažené výsledky celkově naznačují, že hluboké učení může vést k prospěšným změnám v oblasti EM, například k umožnění menších překryvů mezi snímanými obrázky. Image stitching is an essential technique for reconstructing volumes of biological samples from overlapping tiles of electron microscopy (EM) images. Current volume EM stitching methods generally rely on handcrafted features, such as those produced by SIFT. However, recent developments indicate that convolutional neural networks (CNNs) can improve stitching accuracy by learning discriminative features directly from training images. Taking into account the potential of CNNs, this thesis proposes DEMIS, a novel EM image stitching tool based on LoFTR, an attention-based feature matching network. The thesis also proposes a novel dataset generated by splitting high-resolution EM images into grids of overlapping image tiles. The dataset is used to fine-tune LoFTR and to evaluate the DEMIS tool. Experiments on the synthetic dataset reveal higher feature matching accuracy compared to SIFT. Moreover, experiments on challenging images with small overlap regions and high resolution demonstrate significantly higher stitching robustness than SIFT. Overall, the results suggest that deep learning methods could be beneficial for EM imaging, for example, by allowing the use of smaller tile overlaps.
Klíčová slova:
image stitching; volume electron microscopy; deep learning; convolutional neural networks; feature matching; SLAM optimisation; dataset of electron microscopy images; dataset synthesis; Python; DEMIS; LoFTR; SIFT; sešívání obrázků; objemová elektronová mikroskopie; hluboké učeni; konvoluční neuronové sítě; hledání shod mezi příznaky; SLAM optimalizace; datová sada obrázků z elektronové mikroskopie; syntéza datové sady; Python; DEMIS; LoFTR; SIFT
Plné texty jsou dostupné v digitálním repozitáři NUŠL
Hluboké neuronové sítě pro sešívání obrázků
Sešívání obrázků je klíčovou technikou pro rekonstrukci objemů biologických vzorků z překrývajících se snímků z elektronové mikroskopie (EM). Současné metody zpracování snímků z EM k sešívání ...
NUŠL poskytuje centrální přístup k informacím o šedé literatuře vznikající v ČR v oblastech vědy, výzkumu a vzdělávání. Více informací o šedé literatuře a NUŠL najdete na webu služby.
Vaše náměty a připomínky posílejte na email nusl@techlib.cz
Provozovatel
Zahraniční báze