|
|
Tools for Automatic Creation of Presentations
Uherčík, Maroš ; Minařík, Miloš (referee) ; Kadlček, Filip (advisor)
This bachelor thesis deals with design and implementation of tool for automatic presentation creation in OOXML format. Work contains theoretic analysis of the OOXML format, focusing on presentation, analysis and design of tool and implementation description. Practical part of this work is implementation of designed tool. The final part shows obtained results, demonstration of tool usage and proposal of future works.
|
|
|
Grammatical Evolution in Software Optimization
Pečínka, Zdeněk ; Minařík, Miloš (referee) ; Sekanina, Lukáš (advisor)
This master's thesis offers a brief introduction to evolutionary computation. It describes and compares the genetic programming and grammar based genetic programming and their potential use in automatic software repair. It studies possible applications of grammar based genetic programming on automatic software repair. Grammar based genetic programming is then used in design and implementation of a new method for automatic software repair. Experimental evaluation of the implemented automatic repair was performed on set of test programs.
|
|
|
FITkit Music Synthesizer
Melichar, Vojtěch ; Minařík, Miloš (referee) ; Vašíček, Zdeněk (advisor)
This bachelor's thesis deals with sound synthesis methods and with design of a synthesizer for FITkit platform. In the first part of the thesis, there are described methods of sound synthesis and the history of sound synthesis is also stated here. Next part contains a brief characteristic of sound chip SID 6581. In the next part of the thesis, there is a design of each part of the synthesizer: oscillator, envelope generator, voice and filter. Then, these components are put together to make up an synthesizer. Correctness of the implementation is verified by a simulation in ModelSim 6.6d. Individual components are simulated separately and then in mayor groups.
|
|
|
FPGA Platform with .NET Micro Framework Support
Matyáš, Jan ; Minařík, Miloš (referee) ; Vašíček, Zdeněk (advisor)
The goal of the thesis is to design a development board that may be used for embedded systems prototyping. The board's key parts are an ARM-Cortex-based microcontroller and a FPGA programmable circuit. The platform is designed with .NET Micro Framework support in mind. The thesis contains specifications of the development board, describes the design process as well as the task of .NET Micro Framework porting and the establishment of communication bus between the FPGA and microcontroller circuits. The thesis is concluded by a set of demonstration examples which outline how to develop new applications for the designed platform.
|
|
|
Creating Timetables Using Genetic Algorithms
Horký, Aleš ; Matoušek, Jiří (referee) ; Minařík, Miloš (advisor)
This bachelor thesis contains design and implementation of two-phase genetic algorithm intended for creating timetable schedules at primary schools. The algorithm is designed for maximum reduction of state space of solved problem without decrease of its universality. The implementated program in C++ language is applicable for creating timetable schedules at small and medium sized schools.
|
|
|
Recognition of Handwritten Mathematical Expressions by Neural Network
Šimeček, Josef ; Bidlo, Michal (referee) ; Minařík, Miloš (advisor)
This thesis deals with recognition of handwritten mathematical expressions by neural network. Neural network, mathematical syntax, issues of handwritten mathematical expressions and existing mathematical expressions recoginition systems are described in theoretical part. Practical part includes my own proposal of recognition system. Each part (step) of the system is analyzed in detail. Next part of thesis contains tests performed by implemented recognition system. The results are discussed and reviewed.
|
|
|
A Tool for Visual Analysis of Circuit Evolution
Staurovská, Jana ; Minařík, Miloš (referee) ; Sekanina, Lukáš (advisor)
The main goal of the master's thesis is to compose a study on cartesian genetic programming with focus on evolution of circuits and to design a concept for visualisation of this evolution. Another goal is to create a program to visualise the circuit evolution in cartesian genetic programming, its generations and chromosomes. The program is capable of visualising the changes between generations and chromosomes and comparing more chromosomes at once. Several user cases had been prepared for the resulting program.
|
|
|
Web Bugtracking System
Preuss, Jan ; Minařík, Miloš (referee) ; Vašíček, Zdeněk (advisor)
Text describes some of the most common tools used for project management and bug/issue tracking. Describes advantages and possibilities of connecting them to more complex systems of administration and version control. It also describe analysis and design of new FITkit specific system, and ways to catch errors in QDevKit application. The rest of text describes whole implementation including examples of applied constructions and logical layout.
|
|
| |
|
|
Concurrent evolutionary design of hardware and software
Minařík, Miloš ; Sekaj, Ivan (referee) ; Squillero, Giovanni (referee) ; Sekanina, Lukáš (advisor)
Genetické programování (GP) je v určitém rozsahu schopno automaticky generovat požadované programy, aniž by uživatel musel určit, jakým způsobem má program postupovat. GP bylo s úspěchem použito k řešení široké škály praktických problémů z různých oblastí, přičemž výsledky byly často srovnatelné s řešeními vytvořenými člověkem. Doposud však nebyla zodpovězena otázka, zda GP dokáže generovat vysoce optimalizovaný výpočetní model (platformu) spolu s programem spustitelným na této platformě, který by řešil daný problém při dodržení všech omezení (například na plochu na čipu a zpoždění). V případě scénářů, kdy je optimalizováno více kritérií, by uživatelským výstupem měla být množina nedominovaných řešení s různými kombinacemi úrovně využití zdrojů (plocha, příkon) a výkonu (rychlosti provádění). Tento problém může být chápán jako souběžný návrh hardwaru a softwaru, zkráceně HW/SW codesign. Tato práce zkoumá způsoby, jakými lze souběžně evolučně vyvíjet platformu a programy v případě, že je problém zadán množinou vektorů vstupů a jim odpovídajících výstupů. Nejprve byl vytvořen model architektury a evoluční platforma zajišťující zpracování a evoluční vývoj těchto architektur. Kandidátní mikroprogramové architektury byly evolvovány spolu s programy pomocí lineárního genetického programování. Následně byla provedena série jednodušších experimentů. Navržená platforma dosahovala výsledků srovnatelných s nejnovějšími metodami. Na základě slabých míst objevených během počátečních experimentů byla platforma rozšířena. Rozšířená platforma byla poté ověřena na několika složitějších experimentech. Jeden z nich byla zaměřen na efektivní implementaci aproximace sigmoidální funkce. Platforma v tomto případě našla řadu různých řešení implementujících aproximaci sigmoidy, z nichž některá byla sekvenční a jiná čistě kombinační. V rámci experimentu byly evolučně nalezeny i známé algoritmy, přičemž některé z nich byly evolucí dokonce optimalizovány pro podmnožinu definičního oboru zvolenou pro daný experiment. Poslední sada experimentů byla zaměřena na evoluční návrh obrazových filtrů pro redukci šumu typu sůl a pepř. Platforma v tomto případě znovuobjevila koncept přepínaných filtrů a naezla variantu přepínaného mediánového filtru, která byla z hlediska výsledků filtrace srovnatelná s běžně používanými metodami. Tato práce prokázala, že pomocí genetického programování lze navrhovat a optimalizovat malé HW/SW systémy. Automatizovaný evoluční návrh složitějších HW/SW systémů zůstává otevřeným problémem vhodným k dalšímu výzkumu.
|
guest ::
RSS feed.