|
|
Numerické optimalizační metody
Lukšan, Ladislav
Tato zpráva popisuje teoretické i praktické vlastnosti numerických metod pro nepodmíněnou optimalizaci. Studují se metody pro obecné i speciální optimalizační úlohy, mezi které patří minimalizace součtu čtverců, součtu absolutních hodnot, maximní hodnoty a dalších nehladkých funkcí. Kromě metod pro standardní úlohy středních rozměrů jsou studovány i metody pro rozsáhlé řídké a strukturované úlohy. Velká pozornost je věnována soustavám nelineárních rovnic.\n
|
|
|
Program for testing speed of cryptographic algorithms
Volf, Lukáš ; Sajdl, Ondřej (referee) ; Kadlec, Jaroslav (advisor)
Program for testing of speed of encryption algorithms is project aimed to build a program, which will be able to test specific properties of each single encryption algorithm protocol and results of testing will be saved for later statistical analysis. Program is going to be build in C# program language. In statistical analysis part all data and results from testing of each single algorithm will be processed and reviewed in transparent reports.
|
|
|
Person Identification
Svědiroh, Stanislav ; Honec, Peter (referee) ; Richter, Miloslav (advisor)
This thesis focuses on the person identification based on faces. The aim is to create a working solution of person identification for the authentication purposes utilizing the Microsoft Kinect v2 sensor. It contains a summary of the most used algorithms for facial data description and their comparison. Thesis also proposes a PC program that controls the sensor and collects the facial data, saves them, manages keypoint detection and their comparison.
|
|
|
Graphical Educational System
Hotař, Roman ; Seeman, Michal (referee) ; Štancl, Vít (advisor)
The purpose of this thesis is the proposal of the issue of education software for learning algorithms. Work approach to the problem, both from a theoretical point of view, of education and learning to new things, so and more important from a practical point of view for introduction to the process algorithmization. It also discusses the problem of learning algorithms in Czech schools and describes the resulting program, which was created along with this thesis. Contribution of this thesis is the summary of the requirements for the software and implementing software of this type, where is possible to demonstrate the problems and requirements of the draft programs of this kind. This thesis also describes the reactions of teachers to created application.
|
|
|
Library for Profiling of Data Structures of C/C++ Programs
Pavela, Jiří ; Rogalewicz, Adam (referee) ; Fiedor, Tomáš (advisor)
Performance bugs may greatly affect the quality of the system being developed and even cause irreversible damage in some critical sectors. Hence profiling - one of the currently most widespread technique of performance analysis - is usually applied to find the bugs. However, most of the current solutions commonly lack comprehensible graphical outputs and detailed analysis of algorithms in regard to their complexity. This thesis introduces a novel profiling tool which focuses on automatic estimation of complexity of dynamic data structures. The proposed approach collects statistical data out of program runs and uses regression analysis to find the most accurate model serving as an estimate of algorithmic complexity. The resulting prototype was subjected to a series of experiments that evaluate the accuracy of the results, demonstrate practical uses and illustrate the graphical output of the tool.
|
|
|
Searching in AVL Trees in C Language
Mintěl, Tomáš ; Lukáš, Roman (referee) ; Honzík, Jan M. (advisor)
This thesis engages in search in AVL tree. There are explained principles of researching methods. Consequently is in detail explained principle of utility AVL tree. The main aims of this thesis are transcribing non-recursive algorithms from Pascal to C language, create recursive analogies of this algorithms and create application for animated show of these operations.
|
|
|
.NET's LINQ Optimization
Šerý, Daniel ; Ryšavý, Ondřej (referee) ; Pluskal, Jan (advisor)
This thesis deals with LINQ (Language integrated query) and investigates possibilities of its implementation and optimization in C# language. Method of rewriting of query to procedural code is chosen and implemented. The goal is to provide a LINQ that can be used in code with the need for high speed. Regarding the program created for rewriting LINQ queries, the performance of most operators has been increased by 1.2x to 20x of System.Linq speed depending of rewritten algorithm, data source and provided information to rewriting program.
|
|
|
AI Algorithms
Petrželka, Jan ; Hrubý, Martin (referee) ; Janoušek, Vladimír (advisor)
This master's thesis describes artificial intelligence algorithms based on the book Artificial Inteligence: A Modern Approach by S. Russel and P. Norvig and implementation of the algorithms in the Squeak Smalltalk programming language with object oriented approach. Algorithms are based on pseudocode in the book and existing implementations in Lisp, Python and Java language. Main concepts are intelligent agents, agent simulation environments, state space search, game playing, planning, uncertainty and learning.
|
|
|
Application for Detection of Plagiarism
Šalplachta, Pavel ; Techet, Jiří (referee) ; Lukáš, Roman (advisor)
Bachelor's thesis is focused on programming in language C and a method of detecting plagiarism in programs written in this language. The result of thesis is application in language C too, which according similarity source codes decides if it is a plagiarism or not. Application is first of all indicated for control plagiarism in homework in subject Algorithms at Fakulty of information technogy at Brno university of technology.
|
|
|
Compensation of geometric distortion of electrophoretic gel image
Dvořáček, Tomáš ; Vítek, Martin (referee) ; Škutková, Helena (advisor)
This master thesis is engaged in problematics of creation and compensation of geometric distortions in 1D agarose electrophoresis. This master thesis analyze the problematics of cause of these distortions and summarize the theory needed for compensation of these distortions. Based on acquired theory and created electrophoretic phantoms, the master thesis contains several suggestions for compensation of incurred distortions. These suggestions are recreated into functions, which are connected into a functional user interface for gel image analysis and geometric distortions compensation.
|
guest ::
