|
|
Nástroj pro automatickou tvorbu prezentací
Uherčík, Maroš ; Minařík, Miloš (oponent) ; Kadlček, Filip (vedoucí práce)
Bakalářská práce je zaměřená na návrh a tvorbu nástroje pro automatickou tvorbu prezentací ve formátu OOXML. Práce obsahuje teoretický rozbor formátu OOXML se zaměřením na prezentace, analýzu a návrh nástroje a popis implementace. Praktickou částí práce je implementace navrženého nástroje. V závěru práce jsou uvedeny dosažené výsledky, demonstrace použití nástroje a návrh na pokračování projektu.
|
|
|
Gramatická evoluce v optimalizaci software
Pečínka, Zdeněk ; Minařík, Miloš (oponent) ; Sekanina, Lukáš (vedoucí práce)
Tato diplomová práce nabízí stručný úvod do evolučního počítání. Popisuje a porovnává genetické programování a gramatickou evoluci a jejich možné využití v problematice automatické opravy software. Podrobně studuje možnosti aplikace gramatické evoluce v problému automatické opravy softwaru. Na základě získaných poznatků byla navržena a implementována nová metoda pro automatickou opravu softwaru, založená na gramatické evoluci. Její experimentální ověření proběhlo na řadě testovacích programů.
|
|
|
Přehrávač hudby (syntetizér) pomocí FITkitu
Melichar, Vojtěch ; Minařík, Miloš (oponent) ; Vašíček, Zdeněk (vedoucí práce)
Tato práce se zabývá metodami syntézy zvuku a návrhem syntezátoru pro platformu FITkit. V první části jsou charakterizovány jednotlivé metody syntézy zvuku a je zde také uvedena stručná historie syntézy zvuku. Dále je charakterizován zvukový čip SID 6581. V druhé části práce je uveden návrh jednotlivých částí syntezátoru: oscilátoru, generátoru obálky, hlasu a filtru. Tyto komponenty jsou následně složeny do větších celků tak, aby vytvořily syntezátor. Korektnost implementace je ověřena pomocí simulace v programu ModelSim 6.6d. Jednotlivé komponenty jsou simulovány samostatně a poté jsou simulovány ve větších celcích.
|
|
|
FPGA platforma podporující .NET Micro Framework
Matyáš, Jan ; Minařík, Miloš (oponent) ; Vašíček, Zdeněk (vedoucí práce)
Záměrem práce je navrhnout a vytvořit prototyp platformy určené k vývoji vestavěných systémů, která bude sestávat z mikrokontroleru s architekturou ARM Cortex-M a programovatelného hradlového pole FPGA. Cílem je na této platformě umožnit běh open-source prostředí .NET Micro Framework. Práce stanovuje specifikaci této platformy, popisuje proces její konstrukce, způsob portace .NET Micro Frameworku a zprovoznění komunikační sběrnice mezi mikrokontrolérem a obvodem FPGA. V závěru práce je představena sada demonstračních aplikací, které čtenáře seznamují se způsobem tvorby software pro tuto navrženou platformu.
|
|
|
Tvorba rozvrhů pomocí genetických algoritmů
Horký, Aleš ; Matoušek, Jiří (oponent) ; Minařík, Miloš (vedoucí práce)
Tato bakalářská práce obsahuje návrh a implementaci dvoufázového genetického algoritmu určeného pro tvorbu rozvrhů na základních školách. Algoritmus je vytvořen tak, aby bez snížení obecnosti výpočtu co nejvíce zredukoval stavový prostor řešeného problému. Implementovaný program v jazyce C++ je použitelný pro tvorbu rozvrhů na menších a středních školách.
|
|
|
Rozpoznávání ručně psaných matematických výrazů pomocí neuronové sítě
Šimeček, Josef ; Bidlo, Michal (oponent) ; Minařík, Miloš (vedoucí práce)
Tato práce se zabývá rozpoznáváním ručně psaných matematických výrazů pomocí neuronové sítě. V teoretické části jsou rozebrány neuronové sítě, matematická syntaxe, problematika rozpoznávání ručně psaných matematických výrazů a existující systémy na rozpoznávání matematických výrazů. Praktická část obsahuje vlastní návrh rozpoznávacího systému. Každá část (krok) systému je podrobně rozebrána. Další část práce obsahuje testy provedené na implementovaném rozpoznávacím systému. Výsledky testů jsou rozebrány a zhodnoceny.
|
|
|
Nástroj pro vizuální analýzu evoluce obvodů
Staurovská, Jana ; Minařík, Miloš (oponent) ; Sekanina, Lukáš (vedoucí práce)
Cílem diplomové práce je zpracovat studii o kartézském genetickém programování se zaměřením na použití v oblasti evoluce obvodů a vytvořit návrh konceptu vizualizace této evoluce. Následně je cílem vytvořit program umožňující vizualizovat evoluci obvodů kartézského genetického programování, její jednotlivé generace, stejně tak i jednotlivé chromozomy, dále umožňující zobrazovat změny mezi generacemi a chromozomy a porovnávat více chromozomů najednou. Pro výsledný program bylo rovněž zpracováno několik příkladů použití.
|
|
|
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í.
|
|
|
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.
|
|
|
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.
|
host ::
RSS.