|
|
Evaluation of suburbanization process in the hinterland of Prague in the period 1990-2020 using remote sensing data
Brabec, Michal ; Kupková, Lucie (advisor) ; Štych, Přemysl (referee)
Significant changes have taken place in the hinterland of Prague in recent years. The villages, where 200 people used to live, are now large residential areas with an old core and a much larger population. The high increase in population and the new built-up area will also be reflected in the surrounding landscape, either by deforestation of the remaining forest areas or by the degradation of the highest quality soils. The aim of this work was to describe the course of suburbanization of selected municipalities and the associated change in landscape cover using data from remote sensing (RS), statistical data and field survey in the issue. At the same time, identify tools that to some extent, guide or regulate these suburbanization processes. The first part of the work is an introduction to the issue, followed by a chapter on standard regulatory measures in Czech Republic. Furthermore, the data and methods of remote sensing are described, which were used to develop a map output of the areas and last but not least, the agricultural land fund (ZPF) was analyzed focusing on the quality of soils in the monitored area. The main goal of the work was to find out and show the development of a selected background of Prague in the years 1990 to 2020. The results can be used as a basis for an even more...
|
|
|
Analýza paralelizovatelnosti programů na základě jejich bytecode
Brabec, Michal ; Bednárek, David (advisor)
Analysis of automatic program parallelization based on bytecode There are many algorithms for automatic parallelization and this work explores the possible application of these algorithms to programs based on their bytecode or similar intermediate code. All these algorithms require the identification of independent code segments, because if two parts of code do not interfere with one another then they can be run in parallel without any danger of data corruption. Dependence testing is an extremely complicated problem and in general application, it is not algorithmically solvable. However, independences can be discovered in special cases and then they can be used as a basis for application of automatic parallelization, like the use of vector instructions. The first step is function inlining that allows the compiler to analyze the code more precisely, without unnecessary dependences caused by unknown functions. Next, it is necessary to identify all control flow constructs, like loops, and after that the compiler can attempt to locate dependences between the statements or instructions. Parallelization can be achieved only if the analysis discovered some independent parts in the code. This work is accompanied by an implementation of function inlining and code analysis for the .NET framework.
|
|
|
Procedural code integration in streaming environments
Brabec, Michal ; Bednárek, David (advisor) ; Krall, Andreas (referee) ; Šimeček, Ivan (referee)
Title: Procedural code integration in streaming environments Author: Mgr. Michal Brabec Department: Department of Software Engineering Supervisor: David Bednárek, Ph.D. Abstract: Streaming environments and similar parallel platforms are widely used in image, signal, or general data processing as means of achieving high perfor- mance. Unfortunately, they are often associated with domain specific program- ming languages, and thus hardly accessible for non-experts. In this work, we present a framework for transformation of a procedural code to a streaming ap- plication. We selected a restricted version of the C# language as the interface for our system, because it is widely taught and many programmers are familiar with it. This approach will allow creating streaming applications or their parts using a widely known imperative language instead of the intricate languages specific to streaming. The transformation process is based on the Hybrid Flow Graph - a novel inter- mediate code which employs the streaming paradigm and can be further convert- ed into streaming applications. The intermediate code shares the features and limitations of the streaming environments, while representing the applications without platform specific technical details, which allows us to use well known graph algorithms to work with the...
|
|
|
Analýza paralelizovatelnosti programů na základě jejich bytecode
Brabec, Michal ; Bednárek, David (advisor)
Analysis of automatic program parallelization based on bytecode There are many algorithms for automatic parallelization and this work explores the possible application of these algorithms to programs based on their bytecode or similar intermediate code. All these algorithms require the identification of independent code segments, because if two parts of code do not interfere with one another then they can be run in parallel without any danger of data corruption. Dependence testing is an extremely complicated problem and in general application, it is not algorithmically solvable. However, independences can be discovered in special cases and then they can be used as a basis for application of automatic parallelization, like the use of vector instructions. The first step is function inlining that allows the compiler to analyze the code more precisely, without unnecessary dependences caused by unknown functions. Next, it is necessary to identify all control flow constructs, like loops, and after that the compiler can attempt to locate dependences between the statements or instructions. Parallelization can be achieved only if the analysis discovered some independent parts in the code. This work is accompanied by an implementation of function inlining and code analysis for the .NET framework.
|
|
|
Firemní kultura ve vybrané společnosti
Ha Thuc, Thanh Tung ; Chylíková, Hana (advisor) ; Brabec, Michal (referee)
The goal of the thesis is to generally describe the meaning of company culture and introduce the readers to the company culture of Nike. The beginning of the thesis defines the company culture generally, describes the criteria of a strong company culture, determinants of influence, types of company cultures, company identity, company ethics, typology of company cultures, dimensions of national cultures and model approaches. The second part focuses on the characteristics, history, organizational structure of Nike. At the same time from the half of the second part starts the practical part of the thesis. Where communication within the company, company traditions and rituals and community impact are being researched. At the same time the type of culture is going to be determined. As well as style of work, motivation, evaluation of employees, education and dress code are being researched. The third part consists of survey through a depth interview with one of the senior managers of Nike. In analogy with the statements of Nike's employees an analysis is being made where the strength of Nike's company culture is going to be defined and the awareness of company culture of its employees.
|
|
|
Employing GPUs in Global Optimization Problems
Hošala, Michal ; Kruliš, Martin (advisor) ; Brabec, Michal (referee)
The global optimization problem -- i.e., the problem of finding global extreme points of given function on restricted domain of values -- often appears in many real-world applications. Improving efficiency of this task can reduce the latency of the application or provide more precise result since the task is usually solved by an approximative algorithm. This thesis focuses on the practical aspects of global optimization algorithms, especially in the domain of algorithmic trading data analysis. Successful implementations of the global optimization solver already exist for CPUs, but they are quite time demanding. The main objective of this thesis is to design a GO solver that utilizes the raw computational power of the GPU devices. Despite the fact that the GPUs have significantly more computational cores than the CPUs, the parallelization of a known serial algorithm is often quite challenging due to the specific execution model and the memory architecture constraints of the existing GPU architectures. Therefore, the thesis will explore multiple approaches to the problem and present their experimental results.
|
|
|
Isometric strategy game Citadel
Pišl, Bedřich ; Brabec, Michal (advisor) ; Malý, Petr (referee)
This thesis describes design and implementation of a real-time strategy game Citadel. The emphasis is on application architecture, which uses Allegro library for graphics and controls and Boost Serialization library for saving the game. It also includes description of techniques used in implementation such as influence maps and a target system used by artificial intelligence, pathfinding algorithms, plasma fractal for map generation and a variant of Dinitz's algorithm for maximum flow. Powered by TCPDF (www.tcpdf.org)
|
|
|
Analýza paralelizovatelnosti programů na základě jejich bytecode
Brabec, Michal ; Bednárek, David (advisor) ; Ježek, Pavel (referee)
Analysis of automatic program parallelization based on bytecode There are many algorithms for automatic parallelization and this work explores the possible application of these algorithms to programs based on their bytecode or similar intermediate code. All these algorithms require the identification of independent code segments, because if two parts of code do not interfere with one another then they can be run in parallel without any danger of data corruption. Dependence testing is an extremely complicated problem and in general application, it is not algorithmically solvable. However, independences can be discovered in special cases and then they can be used as a basis for application of automatic parallelization, like the use of vector instructions. The first step is function inlining that allows the compiler to analyze the code more precisely, without unnecessary dependences caused by unknown functions. Next, it is necessary to identify all control flow constructs, like loops, and after that the compiler can attempt to locate dependences between the statements or instructions. Parallelization can be achieved only if the analysis discovered some independent parts in the code. This work is accompanied by an implementation of function inlining and code analysis for the .NET framework.
|
|
|
Skeletal Animations in Real-time 3D Graphics
Brabec, Michal ; Ježek, Pavel (advisor) ; Keznikl, Jaroslav (referee)
Skeletal Animations in Real-time 3D Graphics Abstract Skeletal animation is an effective technique for the animation of humans and animals, and it is used in most video games to animate complex 3D models. This thesis addresses many problems of the implementation of skeletal animations and it presents an effective solution to the most important ones. It contains all the knowledge necessary to use this important animation method, because it explains all the calculations required to transform a model by its skeleton, and then this thesis presents a complete implementation that uses all the concepts explained there. Build on the skeletal animations, the animation editor is the main application of the thesis, and it allows users to modify animations of 3D models. The animation editor is a graphical application with complex user interface and its construction is explained in a great detail.
|
|
| |
guest ::
RSS feed.