|
|
Webový systém pro bugtracking
Preuss, Jan ; Minařík, Miloš (oponent) ; Vašíček, Zdeněk (vedoucí práce)
Práce se zabývá analýzou a návrhem nového systému pro evidenci chyb a požadavků, specifického pro prostředí FITkit a možností zachytávání a následného reportování chyb v aplikaci QDevKit. Návrh je inspirován několika hotovými nástroji, u kterých rozebírá jejich výhody a možnosti napojení na systémy pro správu a verzování zdrojových kódů. Celý navržený systém je následně implementován a důkladně popsán ve zbytku práce, včetně příkladů užitých konstrukcí a logického členění.
|
|
|
Aplikace pro vizualizaci animovaných 3D objektů s využitím rozšířené reality na iOS
Minárik, Martin ; Bambušek, Daniel (oponent) ; Beran, Vítězslav (vedoucí práce)
Cieľom tejto práce je vytvorenie aplikácie pre vizualizáciu animovaných 3-D objektov za pomoci rozšírenej reality na zariadeniach s operačným systémom iOS. Práca demonštruje, ako načítať objekt pre zobrazenie v rozšírenej realite, ako aj metódy pre jeho animovanie, zmenu stavu a manipuláciu s objektom. Práca sa zaoberá prípravou objektu, pre zobrazenie, vnútornou štruktúrou súborov s objektami a animáciami a popisom podporovaných formátov. Výsledkom práce je samotná aplikácia naprogramovaná pomocou frameworku ARKit, ktorá umožňuje zobraziť a manipulovať s objektami s možnosťou animácie v rozšírenej realite.
|
|
|
Kalibrace mikrosimulačního modelu dopravy
Pokorný, Pavel ; Minařík, Miloš (oponent) ; Korček, Pavol (vedoucí práce)
Práce se zabývá problematikou mikroskopické simulace dopravy. Součástí práce je návrh a implementace mikrosimulačního modelu, který je založen na celulárním automatu a vychází z modelu Nagel-Schreckenberg. Model podporuje kalibraci genetickým algoritmem. Práce obsahuje výsledky simulací s nastavením modelu, které bylo nalezeno při kalibraci.
|
|
|
Detection of changes in the scene captured by the drone at different times
Minárik, Martin ; Bambušek, Daniel (oponent) ; Beran, Vítězslav (vedoucí práce)
This work aims to design the user processes and implement an application used to detect changes in the scene captured by the drone at~different times. The application supplies a~complex solution for the three-dimensional reconstruction and comparison of two aviation data. The main benefits include being an all-in-one solution, operating with unmodified data from the drone, reconstruction and alignment without any human adjustments, and no necessity for ground control points or specialized sensors, making this tool available for a~broad assortment of use cases. In the thesis, I created a pipeline that uses state-of-the-art reconstruction algorithms, allowing the user to upload, organize, and reconstruct the data into three-dimensional models and view the difference in volume between the flights at different times.
|
|
|
Concurrent evolutionary design of hardware and software
Minařík, Miloš ; Sekaj, Ivan (oponent) ; Squillero, Giovanni (oponent) ; Sekanina, Lukáš (vedoucí práce)
Genetic programming (GP) can, to some extent, automatically generate desired programs without asking the user to specify how to do it. It has been used to solve a wide range of practical problems and produce a number of human-competitive results in different fields. An interesting and practically untouched question is whether for a given problem, GP can generate a highly optimized programmable computational model (platform) together with a program running on the platform, solving the problem and satisfying all constrains such as on the area on a chip and speed. In a multi-objective scenario, the user would obtain a set of non-dominated solutions showing various tradeoffs between resources (the area, power consumption) and performance (the speed of execution). This problem can be seen as a concurrent development of hardware and software, simply, HW/SW codesign. This thesis explores the ways how to evolve hardware platforms together with programs in the case that the specification is given in terms of a set of input-output vectors. The initial model of the architecture was created and the evolutionary framework capable of maintaining and evolving the population of such architectures was implemented. Candidate microprogrammed architectures were evolved together with programs using extended linear genetic programming. Several simple experiments were carried out and the framework proved competitive with state-of-the-art methods. The framework was subsequently extended addressing the weak points identified during the initial experiments. The extended framework was validated by means of more complex experiments. One of them focused on an effective implementation of sigmoid function approximation. Various implementations of sigmoid approximation were evolved (sequentional as well as purely combinational). The proposed framework provided several well-known solutions and even optimized some of them for the particular input domain chosen for the experiment. The next set of experiments was supposed to evolve an image filter reducing salt-and-pepper impulse noise. The framework was able to evolve the concept of switching-based filter and even the variation of a switching-based median filter comparable to the filters commonly used. This thesis proved that small-size HW/SW systems can be designed and optimized by means of genetic programming. Moving to an automated evolutionary design of more complex HW/SW systems is an open research problem waiting for a future research.
|
|
|
Platforma pro bezpečný přenos souborů mezi mobilními zařízeními
Pustka, Michal ; Kešner, Filip (oponent) ; Minařík, Miloš (vedoucí práce)
Práce se zabývá bezpečným přenosem souborů mezi mobilními zařízeními. V práci je také provedena analýza a zhodnocení současných řešení přenosu souborů mezi mobilními zařízeními a současných komplexních bezpečnostních řešení operačního systému Android. Dále také byly navrženy a zhodnoceny koncepty řešení pro přenos šifrovaných souborů mezi skupinami uživatelů a řešení problému přenosu šifrovaných souborů mimo firmu či instituci. Následně byl vybrán jeden z konceptů přenosu šifrovaných souborů mezi skupinami uživatelů a provedena jeho implementace na operačním systému Android. Na této implementaci byla popsána řešení a problémy, které se mohou vyskytnout při vývoji takového systému. Nakonec byla ověřena funkčnost a správnost celého konceptu.
|
|
|
Indoor sports ground ventilation
Minárik, Martin ; Rubinová, Olga (oponent) ; Uher, Pavel (vedoucí práce)
The bachelor thesis aims to design an air conditioning system in the indoor sports field. The theoretical part of the work focuses on the principle and distribution of air in the room. The work describes several types of distribution protozoa. The result of the calculation part is the design of optimal air conditioning systems, which will ensure thermal comfort in the building for the visitors of the facility throughout the year.
|
|
| |
|
|
Sebemodifikující se programy v kartézském genetickém programování
Minařík, Miloš ; Slaný, Karel (oponent) ; Sekanina, Lukáš (vedoucí práce)
Kartézské genetické programování se během posledních let ukázalo jako velmi perspektivní oblast evolučních výpočtů. Má však jistá omezení, která znemožňují řešit pomocí něj rozsáhlejší nebo obecné problémy. Tato omezení lze eliminovat pomocí novějšího přístupu umožňujícího sebemodifikaci programů v kartézském genetickém programování. Cílem této práce je zhodnotit dosavadní vývoj a aktuální situaci v této oblasti a navrhnout vlastní řešení různých problémů, při jejichž řešení klasické kartézské genetické programování selhává. Jedním z těchto problémů, kterými se práce zabývá, je generování členů Taylorova rozvoje pro různé funkce. Vzhledem k tomu, že se jedná o problém vyžadující zobecnění, je cílem dokázat, že sebemodifikující varianta kartézského genetického programování je v tomto ohledu lepší než klasická. Dalším řešeným problémem bude využití sebemodifikujících programů v kartézském genetickém programování k návrhu řadicích sítí pro libovolný počet vstupů. Také v tomto případě je záměrem dokázat, že sebemodifikace přináší do kartézského genetického programování nové aspekty nutné k vývoji libovolně rozsáhlých řešení.
|
|
|
Genetické programování s jazykem Brainfuck
Minařík, Miloš ; Bidlo, Michal (oponent) ; Gajda, Zbyšek (vedoucí práce)
Tato práce se zabývá výzkumem možností použití jazyka brainfuck ke genetickému programování. V teoretické části jsou rozebrány základní mechanismy genetického programování (selekce, křížení, mutace), jejich různé varianty a použití. Praktická část obsahuje kapitoly zabývající se samotnou implementací programového rozhraní pro tuto práci a prováděné experimenty. Výsledky získané vyhodnocením experimentů jsou shrnuty v záverečné části, kde je rovněž nastíněn další možný vývoj v oblasti genetického programování s jazykem brainfuck.
|
host ::
RSS.