|
|
Forensic RAM dump image analyzer
Kollár, Ivor ; Holub, Viliam (advisor) ; Děcký, Martin (referee)
While different techniques are used for physical memory dumping, most of them provide a hard-to-analyse image of raw data. The aim of the work is to develop an automatic analyser of physical memory dumps retrieving contained information in a user-friendly form. The analyser is supposed to simplify automatic data extraction and should be used by forensic experts. Among expected features are multiple target architecture/OS support, target architecture/OS guessing, automated password/crypto keys collecting, process listing, and module/driver listing.
|
|
|
Combining bracketed pictures
Roubíčková, Anna ; Holub, Viliam (advisor) ; Adámek, Jiří (referee)
In real-life scenes, the light dynamic range is often larger than a digital camera is able to capture. This problem is addressed by exposure bracketing, i.e. the same scene is captured several times with different exposures. This work presents ImageLighter, a program designed for automatic blending of series of bracketed pictures in order to restore the original dynamic range. The algorithm is designed to use as much visual information as possible while blending. The resulting picture then reflects light levels of the original scene more accurately. The thesis describes algorithms and data structures used. A comparison to other known approaches is presented as well.
|
|
|
An annotating disassembler
Hluzín, Petr ; Mareš, Martin (advisor) ; Holub, Viliam (referee)
In this work disassembler for monolithic microproces or (micro-controllers) Microchip PIC was created. For typical programs this disasambler statically determines values of runtime address registers, thus complting the address from partial address in instruction. On its basis the disassembler recognizes procedures, creates procedure call-graph and recognizes control structures. Described disassembler separates usage of a register us do for variables of multiple procedures and sorts them to procedures inputs, locally modified variables and returned variables. Contemporary disassemblers for this architecture restrict themselves to printing instructions with incomplete addresses, because they do not perform any analysis. Powered by TCPDF (www.tcpdf.org)
|
|
|
Robot navigation on the chessboard
Mikulík, Andrej ; Holub, Viliam (advisor) ; Ježek, Pavel (referee)
O ffered thesis investigates localization of mobile robot. Localization is based on computer vision. Projected algorithms recognize square-patterned pad on which robot moves from recorded image. Inclination angle and position of the robot is then analyzed from image. Proposed algorithm was discussed according to tests on real robot.
|
|
|
Creating Panoramic Images from Photographs Acquired with Different Camera Settings
Fibichr, Jaroslav ; Sedlář, Jiří (advisor) ; Holub, Viliam (referee)
When taking pictures for the purpose of creating panoramic images, it is more convenient to adjust camera settings for each image separately to keep the convenient brightness distribution. It usually leads to a set of images with differences in brightness must be corrected before stitching. The goal of this thesis is to propose solutions to adjust these differences and implement them in the application Panomedic. The first method is based on direct brightness level mapping in overlapping area of the images. The second method utilizes statistical values obtained from image brightness distribution. The method for searching the seam of stitching is also described. The resulting panorama image is without visible transitions between the input images.
|
|
| |
|
|
Refinement of timed automata models according to hardware characteristics
Hamrle, Martin ; Holub, Viliam (advisor) ; Kofroň, Jan (referee)
Timed automata have been designed for modeling a real-time system behavior over time. Main obstacle is that the formal theory assumes some unrealistic assumptions, such as that the action takes no time to execute. The model must be put more exactly, which makes the model more complicated and the whole process prone to mistakes. In the presented work we will focus on synchronization of processes over channels. There is a discussion of possible solutions. Next we will analyze chosen solutions and implement it. We will not create new tool or language but we only make extension of Uppaal language.
|
|
|
The use of simulation and computational environments in physics education
Dekar, Martin ; Holub, Viliam (advisor) ; Babka, Vlastimil (referee)
In the presented work we study usage of interactive simulations (a modern approach to e-learning) in science education from the programmer's point of view. A concept of interactive simulation is presented in the beginning of the presented work, followed by guidelines for choosing suitable authoring environment for development of large number of such simulations. Next we introduce four existing development tools and we verify their practical usability by implementing suitable physics test problem - damped harmonic oscilator. This implementation is also described. In the end of the work we introduce a new kind of educational simulation allowing experimental data to be obtained from the simulation which gets simulation closer to real experiment. This approach shows a new course of e-learning. This simulation together with a library consisting of more than 100 reusable graphical objects is created in the Adobe Flash CS3 environment.
|
|
|
Mathematics on Internet
Dózsa, Martin ; Holub, Viliam (advisor) ; Eckhardt, Alan (referee)
The aim of this work is to create an easy-to-use mathematical tool, mainly for students specialized at mathematical education. UniMaxima focuses on calculations within the frame of mathematical analysis and (especially linear) algebra. It calculates derivatives, definite and indefinite integrals, decomposition to partial fractions, Taylor-series, sums, limits, matrices, eigenvalues, eigenvectors and determinants. It is also possible to plot functions of one or two variables. The advantage of UniMaxima is simple use, there is no need to install: it is enough to visit the project's website (with Firefox 3.0+) and input the formulae.
|
|
|
Forensic RAM dump image analyzer
Kollár, Ivor ; Holub, Viliam (advisor) ; Babka, Vlastimil (referee)
While different techniques are used for physical memory dumping, most of them provide a hard-to-analyse image of raw data. The aim of the work is to develop an automatic analyser of physical memory dumps retrieving contained information in a user-friendly form. The analyser is supposed to simplify automatic data extraction and should be used by forensic experts. Among expected features are multiple target architecture/OS support, target architecture/OS guessing, automated password/crypto keys collecting, process listing, and module/driver listing.
|
guest ::
RSS feed.