|
|
An Extension of Support for Archives in GVFS
Holý, Ondřej ; Charvát, Lukáš (referee) ; Smrčka, Aleš (advisor)
The bachelor thesis deals with an extension of archive daemon in GVFS system. The extension was designed, implemented, and tested based on an analysis of current state of the daemon, LibArchive library options, and similar projects. The main benefit of the extension is an easy manipulation with files in an archive via GIO API, which is used by many applications running in GNU/Linux operating system. Files and folders included in an archive can be read, renamed, moved, copied or deleted, it can also create empty directories. Daemon also allows creating new archives of a desired format.
|
|
|
Map Generator for Fantasy RPG
Pagáč, Antonín ; Charvát, Lukáš (referee) ; Smrčka, Aleš (advisor)
The aim of this work is to develop a generator of maps used in fantasy role-playing games. The issues of map processing and map creation in real world are described. The work also discuss a number of approaches to map generation in computer games, mind games or board games. Next, a program based on generation of Voronoi diagram is presented, which serves as map creation software. The generator has the means to place objects on map randomly, using user commands, or place objects to specific place using graphical user interface. Generator is implemented in Javascript, which enables the program to be run in web browser on many different devices.
|
|
|
A CPU Emulator for Assembler Course
Charvát, Lukáš ; Nagy, Jan (referee) ; Smrčka, Aleš (advisor)
The bachlors's thesis discusses the design of a CPU architecture emulator aimed to assembly languages course. While most of nowadays emulators are architecture specific, this document describes an approach to create an emulator allowing users to easily set up their own architecture, to perform operations upon it, and to display its current state.
|
|
|
A CPU Emulator for Course of Assembly Languages
Charvát, Lukáš ; Samek, Jan (referee) ; Smrčka, Aleš (advisor)
The master thesis discusses the design of an emulator of a CPU architecture instruction set aimed at assembly languages course. While most of nowadays emulators are architecture specific, the emulator proposed in master thesis aims at education and better understanding of assembly languages. The emulator is not limited to a single CPU, but it easily allows defining a purpose-specific architecture and instruction set in order to perform operations upon it and to display its current state.
|
|
|
Application for Generating GUI Test Suite
Melo, Juraj ; Charvát, Lukáš (referee) ; Smrčka, Aleš (advisor)
This thesis describes a system for automated GUI testing using assistive technologies for accessing and manipulating GUI elements. The only input from the user to automated test system is a description of UI events and activities. For this purpose, a specialized language is proposed. The test system then automatically generates possible sequences of UI events applying a given criterion. Generated test set is executed by Python interpreter exploiting the Linux Desktop Testing Project (LDTP). Test system described in this thesis then provides reports and coverage evaluation for particular test cases and the whole test set.
|
|
|
An Interactive Simulator for Data-flow Graphs
Kovařík, David ; Smrčka, Aleš (referee) ; Charvát, Lukáš (advisor)
Data-flow graphs are often used by hardware designers. Such graph representation is also very useful for performing deeper analysis of a design (including functional or formal verification). Simulator presented in this thesis is a support tool for verification environment HADES. The goal of the simulator is to decrease necessary time and increase quality of the verification process. To perform a simulation efficiently, a specific simulation algorithm which saves computation time by eliminating redundant evaluations has been introduced. The simulator is equiped with several output interfaces connected to a single simulation core. One output interface provides direct simulation output in text format. The second is also textual, but allows user to control the simulation. Finally, the third forms a graphical interface that visualizes simulation results.
|
|
|
A VHDL Parser for Formal Verification
Matyáš, Jiří ; Smrčka, Aleš (referee) ; Charvát, Lukáš (advisor)
The principal goal of this bachelor thesis is to design and implement a parser of VHDL language into graph representation in VAM (Variable Assignment Language). The application is developed for formal verification purposes of VeriFIT research group of the Faculty of Information Technology, Brno University of Technology. The development of the compiler described in this thesis should provide the opportunity to use formal verification techniques to verify hardware designs described in high level design languages, such as VHDL.
|
|
|
Translation of C Expressions to DIMACS Format
Grim, Pavel ; Charvát, Lukáš (referee) ; Smrčka, Aleš (advisor)
This work focuses on proposition of transfer of the expressions entered in the C programming language into DIMACS format and creation of program in programming language C++ making this transfer. This work contains a description of the C programming language and its operators. It also contains a description of the conjunctive normal form and a description of the DIMACS format. Following is a proposal for a program for the transfer of expression in the C programming language to the DIMACS format and description of realization of program performing this transfer.
|
|
|
Valuation of Steel Construction.
Charvát, Lukáš ; Ing.Jiří Sachl (referee) ; Marková, Leonora (advisor)
This diploma thesis mainly deals with valuation of steel structures from the perspective of an investor. Today there are several types of steel constructions, which assemble is partly done in workshop, so called “bridge-workshop”, and the rest of the assembling is done directly at the building site. That is the main difference from the construction industry. This fact makes financial valuation of whole thesis very difficult, because construction companies often do not state detailed breakdown of their activities. The main goal of this thesis is to suggest procedure how to value steel constructions in a phase of documentation processing, workshop production, transportation and technological equipment construction at the site.
|
|
|
Mládež v aktivistických konceptech krajní pravice
Charvát, Lukáš ; Rataj, Jan (advisor) ; Danicz, Štefan (referee)
První kapitola popisuje základní problémy dnešní mládeže jako jsou drogy, kriminalita či nezaměstnanost. Následují společenské příčiny jako vliv rodiny či její sociální situace a psychologické faktory jako pocit sounáležitosti, snaha identifikace a úloha symbolů. V druhé kapitole je věnována pozornost ideálu a hodnotám krajně pravicové mládeže a způsobu její aktivizace. V poslední kapitole je demonstrován přístup pěti ukázkových organizací. Na závěr jsou nastíněny možnosti řešení problému inklinace mládeže ke krajní pravici.
|
guest ::
RSS feed.