This thesis focuses on fractal analysis of economic time series. Chapter One introduces fractal analysis as a method of exploring time series and gathers information about progress and current state of understanding in this field. Chapter Two focuses on design and development of computer software, which will calculate selected fractal indices. Chapter Three is experimental and shows the results and discussion of economic time series (popular stock market indexes and currency exchange rate) analysis that have been obtained from the software developed in Chapter Two.

The thesis focuses on theoretical and empirical analysis of the EU research policy and its impacts. The aim of the thesis is to evaluate effects of this policy on the financial management of universities, or more precisely the impact of financial rules defined by the European Commission (EC) in the 7th Framework Programme (FP7) on the development of full cost methodologies at universities in the EU27. The thesis also analyzes the process of the preparation of the new FP8 HORIZON 2020 financial rules and asses if feedback and needs of participating universities are reflected and thus principles of European good governance are applied. In order to meet its goals, the thesis states three hypotheses: Hypothesis 1: Universities from the EU27 that participate in FP7 develop full cost methodologies. Hypothesis 2: EC requirements in FP7 are one of the main drivers to implement full cost methodologies for universities form EU27. Hypothesis 3: Universities from the EU27 communicate development of their full cost methodologies with the EC. The thesis is organized into four chapters. The first one characterizes the concept of European good governance and one of its instruments, i.e. policy evaluation and its use in the thesis (including the analysis of performed questionnaire research). Second chapter defines the term of financial management and its use in the thesis. Third chapter describes the EU research policy, its historical development, main instruments (FPs), role of European institutions and attitude to full costing. The last forth chapter analyzes in details experience of universities form EU27 with development of full cost methodologies. Within its conclusions, the thesis proves that the EU research policy significantly influences the financial management of universities from EU27 and implementation of full cost methodologies by them. It is inter alia proved, that 70 % of universities from the EU27 that do not implement full costing in FP7 yet plan to introduce such methodologies in the future; that FP7 financial rules are drivers to implement full cost methodologies for almost 2/3 universities from the EU27 participating in FP7 and that 3/4 of universities form EU27 applying full costing in FP7 consulted on their methodologies with the EC. All three hypotheses thus were verified. Nevertheless, it was concluded that principles of European good governance are not satisfactory applied by the EC, because it does not support the use of full costing in HORIZON 2020 anymore.

The thesis focuses on the statistical and mathematical methods for support of software applications. The thesis deals with the analysis of the practise in the storage areas in the company TRANS-TECHNIK, control material, goods and other means of support. Further, the thesis contains a description of a training program for support of employees in the study of warehouse functionality in terms of order, deliveries and movement in the warehouse. The created training program is made in Microsoft Excel 2007 with macros support.

Due to higher requirements of computational power and safety, or functional safety ofequipments intended for the use in the industrial domain, embedded systems containing areal-time operating system are still the active area of research. This thesis addresses thehardware-assisted control module that is based on the runtime model-based verificationof a target application. This subsystem is intended to increase the diagnostic coverage,particularly, the detection of the execution errors. After the specification of the architecture,the formal model is defined and implemented into hardware using FPGA technology.This thesis also discuss some other aspects and embodies new approaches in the area ofembedded flow control, e.g. the integration of the design patterns. Using the simulation,the created module was tested using the created scenarios, which follow the real programexecution record. The results suggest that the error detection time is lower than usingstandard techniques, such a watchdog.

The thesis deals with a design and implementation of the dynamic analyser of parallel applications on the .NET Framework platform. The problematic of synchronization in parallel applications, the instrumentation of such an applications, testing of parallel applications and a specifics of these problems for C\# language and for the platform .NET Framework are discussed in the theoretical part. Selected algorithms for detection of deadlocks (the algorithm of Goodlock) and data-race errors (the algorithm of FastTrack and AtomRace) are described in detail in this part as well. Requirements for the dynamic analyser and the system design is made in the following part of this thesis. The thesis also contains a description of the implementation of the proposed solution, a description of the entire testing of the implemented tool. Last but not least, the thesis describes the sample of using dynamic analysers in a particular application environment.

This thesis deals with methods of remote maintenance of microcontroller systems based on Atmel AVR family over the Ethernet interface and TCP/IP protocols. To create communication through TCP/IP, an embedded server NE-4100T is used. At the beginning, key features of the server and methods of handling with content of a program memory are discussed. The final solution is based on the bootloader method. It includes bootloader firmware and user program for PC. The hardware part covers design of interconnection electronics, DC-DC step down converter, real time clock and printed circuit board. The remote maintenance of program memory has been sucessfully solved, but the embedded server NE-4100T produces a problem with an auhentification without a sufficient solution.

This dissertation presents the solution of difference equations and focuses on a method of difference equations solution with the aid of eigenvectors. The first part reminds the basic terms from area of difference equations such as dynamic of difference equations and linear difference equations of first order and higher order. Then the second section recalls also the system of difference equations including the fundamental matrix and general solution description. Afterthat, the method of solving the difference equations with a variation of constants and transform of scalar equations to the system are shown. The second part of the dissertation analyses some known algorithms and methods for the solution of linear difference equations. The Z-transform, its importance and usage for finding the solution of difference equation is recalled. Then the discrete analogue of Putzer's algorithm is mentioned because this algorithm was often used to check the results obtained by the newly described algorithm in further parts of this thesis. Also some ways of the system matrix power are stated. The next section then describes the principle of Weyr's method which is the basic point for further development of the theory including the presentation of the research results gained by Jiří Čermák in this area. The third part describes own solution of the difference equations system via eigenvectors based on the principle of Weyr's method for differential equations. The solution of system of linear homogeneous difference equtions with constant coefficients including the proof is presented and this solution is then extended to nonhomogeneous systems. Consequently to the theory, the influence of a nulity and the multiplicity of roots on the form of the solution is discussed. The last section of this part shows the implementation of the algorithm in Matlab program (for basic simpler cases) and its application to some cases of difference equations and systems with these equations. The final part of the thesis is more practical and it presents the usage of the designed algorithm and theory. Firstly, the algorithm is compared with Z-transform and the method of variation of constants and it is illustrated how to obtain the same results by using these three approaches. Then an example of current response solution in RLC circuit is demonstrated. The continuous case is solved and then the problem is transferred to discrete case and solved with the Z-transform and the method of eigenvectors. The obtained results are compared with the result of the continuous case.

Program checking is indisputably important, especially if originating in formal methods. VeriFIT at FIT BUT uses custom Code Listener (CL) infrastructure modularly interconnecting the front-end, typically a code parser adapter, and the back-end, typically an analyser. Our aim is to offer a former as a compact alternative to existing GCC compiler plug-in. This adapter uses linearized code mediated by sparse library for static analysis of programs in C. According to the experiments with one of the main CL analysers, Predator tool and its tests suite, our product - clsp program - is successful successful in roughly 75% of cases in comparison with the GCC plug-in. Further improvements are expected.

This thesis is interested in format of executable files EXE. It is focused on parts relevant for reverse engineering. It is interested in assembler, binary representation of instruction and disassembling. Follow I introduce converting from executables to control flow graph, basic structures (branches, cycles) detection.

This thesis deals with the book-keeping on the computer and accounting software evaluation. The theoretical part includes chapters about history of book-keeping, legal regulation related to book-keeping using ICT, business information systems and the selection criteria for the accounting software. The knowledge from the theoretical part is used in the practical part, which is addressed to the evaluation of specific accounting software PUP.