|
Power audio amplifier used for laboratory measurements
Herceg, Erik ; Petržela, Jiří (referee) ; Kratochvíl, Tomáš (advisor)
This Bachelor thesis deals with the scheme of low-frequency amplifier in AB class which is going to be used for laboratory measurement. The scheme was realized with semiconductor components and the power part of the amplifier was made of bipolar transistor. The main part of the work was focused on the measurement protocol. The functionality of the amplifier was verified and simulated in the theoretical way and met the criteria. The form of the measurement protocol was realized in agreement with instructions and contains all the required parameters of the measurement. The objective of this thesis is to explain how to design an amplifier and to illustrate the measurment methods of its parameters
|
|
Mechanisms for operating system virtualization
Děcký, Martin ; Tůma, Petr (referee) ; Yaghob, Jakub (advisor)
Overview and taxonomy of the technologies used for virtualizing the execution of operating systems (running multiple operating systems or multiple separated operating system contexts simultaneously on a single computer), comparsion of the speed, security, determinism, level of isolation, accounting posibilities, supported platforms, level of hardware emulation, etc. Inherent problems of virtualization (platform dependency, SMP, virtual hardware). Emulation, simulation, virtual machines, paravirtualization, partitioning. Overview of commonly available virtualization products (Bochs, QEMU, Simics, VMware, Virtual PC, Virtual Server, OpenVZ, Denali, Mac on Linux, PearPC, Plex86, Xen, TRANGO, UML, Linux VServer, FreeBSD Jails, Solaris Zones) and their comparsion. Hardware assisted virtualization (Power Hypervisor, V86, Vanderpool, Paciffica) and their usage. Practical demonstration of soft-partitioning (parcelling of the operating system into separate kernel contexts) on SPARTAN kernel.
|
|
Maintenance and service SW for weapon calibration
Fedor, Denis ; Macho, Tomáš (referee) ; Petyovský, Petr (advisor)
This thesis deals with virtual weapon simulator SAVIT for armed forces training. Using the example of training weapon MP5 the electrical structure of the device itself is described, followed by the description of communication protocol CANaerospace and USB. The thesis contains the list of parameters of the individual training weapons which are eligible to view in their service program. It also describes graphical user interface of the service program and important parts of its implementation. This thesis does not omit description of the communication between service program and training weapon. In the end it also contains the description of program testing and evaluation of the results of this thesis.
|
|
PIFA Antenna design for GSM band
Kollár, Marcel ; Čapek, Miloslav (referee) ; Kadlec, Petr (advisor)
The main topic of this diploma thesis is a design of the PIFA antenna working in GSM bands. In the beginning there is a brief analysis of planar antennas. The thesis describes PIFA antenna and the techniques for minimization of dimensions of the antenna. Essential part of the thesis is dedicated to multicriterial optimalizaton of the antenna shape. The genetic algorithm programmed in the MATLAB enviroment cooperates with a full-wave solver CST to obrain desired impedance matching of the antenna its radiationt paterns. Also dimensions of the antenna can be minimized using the optimization procedure. Final part of the thesis compares measured data of the optimalized antenna with results obtained in CST Microwave Studio.
|
|
Design of fully differential operational amplifier with AB output stage
Mácha, Petr ; Háze, Jiří (referee) ; Kledrowetz, Vilém (advisor)
This bachelor thesis deals with the design of fully differential operation amplifier with AB output stage in technology I3T25 of ON Semiconductor company. The work contains the description of unipolar transistor, structures and all the particular parts of operation amplifier. The main focus of the work is to design a circuit that will be able to work at high frequencies. The right functioning of designed circuit is verified by simulation program Cadence
|
|
Assertion-Based Verification of ASIP
Šulek, Jakub ; Dolíhal, Luděk (referee) ; Zachariášová, Marcela (advisor)
This thesis introduces the concept of assertion-based verifi cation of application-specifi c instruction set processors (ASIPs). The proposed design is implemented in SystemVerilog Assertions language as a part of veri fication environment created using Codasip Framework. The implemented concept is simulated in QuestaSim tool using model of Codix RISC processor. Main outcome of this thesis is the verifi cation concept usable not only on other processors, but as a part of system that automates the processor design as well.
|
|
Modelling of oxygen-enhanced combustion process
Naď, Martin ; Juřena, Tomáš (referee) ; Bělohradský, Petr (advisor)
The main purpose of the master´s thesis is the experimental study and the mathematical modelling of the combustion process in which the combustion air is enriched with the high-purity oxygen, i.e. the oxygen content is more than 21 %. This combustion technology is called as the oxygen-enhanced combustion (OEC). Since the experimental work required the manipulation with the pure oxygen, a part of the thesis is focused on risks and necessary safety associated therewith. The detailed description of the combustion chamber as well as of the components necessary for the operation of OEC is included. The main part of the thesis is the computational model of the combustion chamber and the simulation of OEC using CFD methods. The numerical results were then compared with the experimental data acquired during the combustion tests, namely the heat flux distribution along the combustion chamber and the distribution of in-flame temperatures in the horizontal symmetry plane of the chamber.
|
|
Acquisition, Modeling and Signal Processing in Ultrasound Perfusion Imaging
Mézl, Martin ; Kozubek, Michal (referee) ; Flusser,, Jan (referee) ; Jiřík, Radovan (advisor)
This work deals with possibilities of ultrasound perfusion analysis for the absolute quantification of perfusion parameters. In the theoretical part of this work are discussed possibilities of using of the ultrasound contrast agents and approaches for the perfusion analysis. New methods for the perfusion analysis are suggested and tested in the practical part of this work. The methods are based on convolutional model in which the concentration of the contrast agent is modeled as aconvolution of the arterial input function and the tissue residual function. The feasibility of these methods for the absolute quantification of perfusion parameters is shown on data from phantom studies, simulations and also preclinical and clinical studies. The software for the whole process of the perfusion analysis was developed for using in hospitals.
|
|
The appraisal of development of tax proportion of budgetary incomes of municipalities and regions in the Czech Republic
Poláková, Tereza ; Peková, Jitka (advisor) ; Krbová, Jana (referee)
The aim of this diploma thesis is a detailed analysis of tax incomes of municipalities and regions with focus on four particular municipalities and one region in a practical part. From the year 2001 to 2015 the share of tax incomes and their development are evaluated as a part of total incomes. The theme is highly topical due to ongoing discussions among lawmakers on the subject of budgetary allocation of taxes. The law determining the budgetary allocation of taxes is modified frequently, that is why knowing the impact of changes on particular municipalities or regions is helpful. This knowledge can be useful base for planning new adjustments of budgetary allocation of taxes. In the theoretical part there are mentioned expert opinions on financial management of municipalities and regions that arise from their functions and positions. The emphasis is put on incomes of municipalities and regions, especially on tax incomes. Particular changes from 2001 to 2015 in law regulating budgetary allocation of taxes are described here with their impacts on municipalities and regions. Incomes and management of selected municipalities representing various size categories and Liberec region are analysed in the practical part. Financial self-sufficiency is evaluated here. In general municipalities are more financial self-sufficient than regions. This thesis is further dealing with individual tax incomes and impacts of changes in budgetary allocation of taxes on their size. Making models of theoretical incomes is used to simulate effects of diverse law adjustments. Results of the analysis show that tax incomes of municipalities and regions are generally increasing. During the observed period there was tendency to lower the growth of tax incomes of large cities, to increase the growth of tax incomes of small municipalities and to straighten the level of tax incomes of medium municipalities thanks to changes in budgetary allocation of taxes. Tax incomes of regions were increased thanks to changes in budgetary allocation of taxes despite of partial decrease in particular segments of tax incomes after 2012.
|
|
Normality tests
Kotlorz, Lukáš ; Anděl, Jiří (advisor) ; Sabolová, Radka (referee)
The aim of this thesis focused on testing normality is to describe both statistical tests and graphical methods. The first part is devoted to graphical methods used to testing normality (particularly Histogram, Boxplot and Q-Q Plot). The tests used for testing the conformity of random sample distribution with normal distribution, e.g., Shapiro-Wilk, Kolmogorov-Smirnov, Lilliefors, Anderson-Darling, Chi-squared, are described in the second part. The test statistics, the critical region and alternatively the link for tabulated critical values are listed for each test. The simulations, whether the random sample comes from normal distribution, are described in the third part. The samples from di erent distributions were generated by Program R.
|
guest ::
