|
|
Integral representation theorems in noncompact cases
Kraus, Michal ; Malý, Jan (referee) ; Lukeš, Jaroslav (advisor)
Classical Choquet's theory deals with compact convex subsets of locally convex spaces. This thesis discuss some aspects of generalization of Choquet's theory for a broader class of sets, for example those which are assumed to be only closed and bounded instead of compact. Because Radon measures are usually defined for locally compact topological spaces, and this is not the case of the closed unit ball in a Banach space of infinite dimension, there are used the so called Baire measures in this setting. This thesis particularly deals with the question of existence of resultants of these measures, with the properties of the resultant map, with the analogy of Bauer's characterization of extreme points and with some other concepts known from compact theory. By using some examples we show that many of these theorems doesn't hold in noncompact setting. We also mention forms of these theorems which can be proved.
|
|
| |
|
|
Parallel Computer Systems Based on Numerical Integrations
Kraus, Michal ; Kubátová, Hana (referee) ; Kollár,, Ján (referee) ; Kunovský, Jiří (advisor)
This thesis deals with continuous system simulation. The systems can be described by system of differential equations or block diagram. Differential equations are usually solved by numerical methods that are integrated into simulation software such as Matlab, Maple or TKSL. Taylor series method has been used for numerical solutions of differential equations. The presented method has been proved to be both very accurate and fast and also procesed in parallel systems. The aim of the thesis is to design, implement and compare a few versions of the parallel system.
|
|
|
Taylor Series Assembler
Valenta, Václav ; Kraus, Michal (referee) ; Kunovský, Jiří (advisor)
The objective of this work is to get familiar with numerical solution of differential equations. The solution is made by specialized microprocessor HC08. Basic arithmetic operations and algorithms which helps to make precise results are analyzed here.
|
|
|
Function Generator
Suška, Jiří ; Kraus, Michal (referee) ; Kunovský, Jiří (advisor)
This bachelor's thesis dissert on different types of oscillators, their functions and usage in everyday life. This thesis also contains comparing several types of oscillators and possible concepts for function generator whitch will be used in course IPR.
|
|
| |
|
| |
|
|
Word Sense Disambiguation
Kraus, Michal ; Glembek, Ondřej (referee) ; Smrž, Pavel (advisor)
The master's thesis deals with sense disambiguation of Czech words. Reader is informed about task's history and used algorithms are introduced. There are naive Bayes classifier, AdaBoost classifier, maximum entrophy method and decision trees described in this thesis. Used methods are clearly demonstrated. In the next parts of this thesis are used data also described. Last part of the thesis describe reached results. There are some ideas to improve the system at the end of the thesis.
|
|
|
Education Purpose Oscilloscop
Švantner, Martin ; Kraus, Michal (referee) ; Kunovský, Jiří (advisor)
This bachelor's thesis analyses possibilities, how purchase digital oscilloscopes into school laboratory. Target is to make education more interesting and more practital than is teoretical explication. Complicated professional equipments are not right for education because they are very expensive and hard to use. So I aim for special equipment, which can be more acquisition.
|
|
| |
guest ::
RSS feed.