|
|
Simulátor určení souřadnic senzorových uzlů
Nováček, Aleš ; Morávek, Patrik (oponent) ; Šimek, Milan (vedoucí práce)
Informace o poloze senzoru v senzorovém poli je zásadní pro interpretaci získaných dat. Existuje řada způsobů jak zjistit polohu senzorů, ovšem některé jsou finančně náročné a pracné. V mé práci představuji plně decentralizovaný algoritmus AFL (anchor-free localization) pro lokalizaci bezdrátových senzorů. Cílem diplomové práce bylo popsat vlastnosti AFL a vytvořit program pro simulaci procesu lokalizace.
|
|
|
Modelování metod číslicového zpracování obrazu u digitální radiografie
Lamoš, Martin ; Kolář, Radim (oponent) ; Drastich, Aleš (vedoucí práce)
Tato práce popisuje aplikaci vytvořenou v programovém prostředí MATLAB, která simuluje složky šumu a metody jejich potlačení u systémů digitální radiografie. Hlavními součástmi simulátoru jsou model scény, procedury pro umělé zatížení obrazových dat šumem a samotné metody zpracování obrazu. Aplikace jednotlivých metod závisí na typu šumu. Pro potlačení strukturálního šumu se využívá subtrakčních metod. Fyzikální šum lze potlačit některou ze tří obsažených kumulačních metod. Algoritmus Pixel Shiftu je možné použít pro redukování pohybových artefaktů, které jsou důsledkem existence pohybového šumu. Superpoziční techniky zvýrazňují oblasti zájmu ve scéně při intervenčních aplikacích. Dále jsou obsaženy pomocné procedury pro chod simulátoru a prezentaci obrazových výsledků. Model a uvedenou uživatelskou aplikaci lze díky její koncepci laboratorní úlohy vhodně využít pro vzdělávací účely jako velmi názornou výukovou pomůcku.
|
|
|
Simulátor a trenažer digitálních fotoaparátů řady PANASONIC LZ5
Rejman, Lukáš ; Drozdová, Martina (oponent) ; Kunovský, Jiří (vedoucí práce)
Práca Simulátor a trenažér digitálneho fotoaparátu Panasonic LZ5 sa zaoberá návrhom a tvorbou funkčného modelu fotoaparátu. Úvod zahŕňa výber programovacieho jazyka a návrh riešenia daného problému. Práca pokračuje stručným náhľadom do programovacieho jazyka Macromedia Flash MX 2004 a implementáciou jednotlivých funkcií. Ďalej je v práci popísané ovládanie a vzhľad simulátora digitálneho fotoaparátu. V závere sú spomenuté klady a zápory daného programu a samotný prínos projektu.
|
|
|
Simulator for Verifying the Properties of DAG-Based Consensus Protocols
Hladký, Tomáš ; Tamaškovič, Marek (oponent) ; Malinka, Kamil (vedoucí práce)
In recent years, blockchain has received significant attention in the research community. Since then, several submissions have been proposed to respond to the Proof-of-Work blockchains throughput problem. We study existing Directed Acyclic Graph (DAG) blockchain designs that propose to solve this problem, especially protocols PHANTOM and its optimization GHOSTDAG. They utilize a Bitcoin protocol and propose a random transaction selection, resulting in increased transaction throughput. However, it has been proved by a simulation that actors that use the random transaction selection strategy have less profit than actors who do not follow the protocol and select transactions rationally (i.e., most profitable). That proof has been made on a small network of ten nodes with a circle topology. This article aims to extend, optimize, and automate an existing blockchain simulator. We implement a Bitcoin-like network topology with realistic block propagation latency. Furthermore, we optimize the simulator to run more simulations in parallel and faster, including automation tools that can modify input configurations, perform a combination of runs on multiple CPU cores based on input parameters, and analyze profits and transaction collisions. Finally, we perform experiments to verify malicious actors' advantages in a Bitcoin-like network and create a payoff function to punish this behavior.
|
|
|
Analýza kinematiky diferenciálního robotu
Šafránek, Petr ; Jílek, Tomáš (oponent) ; Burian, František (vedoucí práce)
Tato práce se zabývá analýzou kinematiky diferenciálního robotu. V první kapitole projdeme teorii ke kinematice. V následující kapitole vypočítáme přímou a inverzní úlohu kinematiky, které následně implementujeme v simulátoru. Kapitola 3 se věnuje tvorbě simulátoru kinematiky a v kapitole 4 zhodnotíme dosažené výsledky. Samotný simulátor se pak nachází v příloze A a příloha B obsahuje m-file se zpracováním výsledků simulace.
|
|
|
Autoškola - pravidla silničního provozu
Porč, Jiří ; Žák, Pavel (oponent) ; Chudý, Peter (vedoucí práce)
Tato diplomová práce se zabývá návrhem simulátoru silničního provozu. Je zde popsána problematika simulačních metod, návrhu modelu města, silniční sítě a jejich využití při implementaci v dopravním simulátoru. Práce dále vysvětluje principy a postupy pro vytvoření modelu města v editoru a analyzuje dopravní pravidla, bez kterých by simulátor tohoto typu nebylo možné vytvořit. Vytvořený simulátor pro svůj běh využívá různé enginy. Bez jejich správného nastavení by nebylo v práci možné pokračovat, proto je část práce věnována právě instalaci použitých enginů. Jsou zde také rozebrány postupy pro použití 3D modelů a textur.
|
|
| |
|
|
Simulace detektorů CT RTG
Koutek, Petr ; Walek, Petr (oponent) ; Drastich, Aleš (vedoucí práce)
Bakalářská práce se zabývá základními vlastnostmi detektorů použitých v CT RTG a jejich vlivem na volbu akvizičních parametrů. V teoretické části je shrnuta obecná problematika projekčně rekonstrukčního zobrazení a základní vlastnosti detektorů. V praktické části je vytvořen simulátor simulující vliv mrtvé doby, afterglow a světelného zisku.
|
|
|
Simulation of Robotic Search of Lost Radiation Sources
Cihlář, Miloš ; Lázna, Tomáš (oponent) ; Žalud, Luděk (vedoucí práce)
The master thesis considers simulating the outdoor environment and lost radiation sources in the Gazebo simulator and then deals with radiation search algorithms. Simulators play an essential role in research, and robotics companies widely use them. Simulation accelerates and facilitates testing, verification, and evaluation of developed algorithms. Therefore the thesis establishes a system based on ROS2 and Gazebo that simulates robot models. The performance of the simulation is evaluated. The work presents and compares a model of a four-wheel skid steering mobile robot with the model created in the simulator. In future work, this model comparison allows the improvement of the robot model simulation's parameters based on the real model tested. A solution is proposed for the trajectory tracking problem based on linear proportional-integral (PI) or optimal linear quadratic regulator (LQR). One method of modeling radiation sources and sensors to simulate radiation was suggested. The simulated radiation is compared with the measurement gained from a real (and simulated) outdoor experiment, in which the robot searches the radiation source. The thesis describes the particle filter designed for searching a lost radiation source.
|
|
|
Retargetable Analysis of Machine Code
Křoustek, Jakub ; Janoušek, Jan (oponent) ; Návrat,, Pavol (oponent) ; Kolář, Dušan (vedoucí práce)
Program analysis is a computer-science methodology whose task is to analyse the behavior of a given program. The methods of program analysis can also be used in other methodologies such as reverse engineering, re-engineering, code migration, etc. In this thesis, we focus on program analysis of a machine-code and we address the limitations of a nowadays approaches by proposing novel methods of a fast and accurate retargetable analysis (i.e. they are designed to be independent of a particular target platform). We focus on two types of analysis - dynamic analysis (i.e. run-time analysis) and static analysis (i.e. analysing application without its execution). The contribution of this thesis within the dynamic analysis lays in the extension and enhancement of existing methods and their implementation as a retargetable debugger and two types of a retargetable translated simulator. Within the static analysis, we present a concept and implementation of a retargetable decompiler that performs a program transformation from a machine code into a human-readable form of representation. All of these tools are based on several novel methods defined by the author. According to our experimental results and users feed-back, all of the proposed tools are at least fully competitive to existing solutions, while outperforming these solutions in several ways.
|
host ::
RSS.