|
Pracovní poměr v příspěvkové organizaci
Brožová, Milena ; Světlíková, Daniela (vedoucí práce) ; Pikola, Pavel (oponent)
Tato bakalářská práce se věnuje pracovnímu poměru v příspěvkové organizaci. Je rozdělena na část teoretických východisek a na část vlastní práce.
Část teoretických východisek se zabývá analýzou právních předpisů a jejich interpretaci, používá metodu deskripce. V právních předpisech je sledována problematika příspěvkové organizace a to v členění na právní postavení a fungování, a dále na hospodaření. Dále je sledována oblast pracovněprávních vztahů v jednotlivých kapitolách od obecného pojetí až ke sjednávání pracovního poměru na dobu určitou. Analýza právních předpisů je průběžně doplňována interpretacemi autorů v odborných publikacích.
V textu jsou používány přímé a nepřímé citace, které jsou označovány poznámkou pod čarou.
Druhá část vlastní práce sleduje zjišťováním v konkrétní příspěvkové organizaci, jak jsou právní předpisy aplikovány v praxi. Oblasti zkoumání jsou zvoleny analogicky k části teoretických východisek. Vedle studia dokumentů a vnitřních předpisů organizace je pro analýzu dat použita metoda komparace.
Primárním výzkumem bylo zjištěno, že právní předpisy jsou aplikovány v praxi bez větších obtíží. Zjištěný nesoulad použité terminologie s terminologií platnou v občanském zákoníku nezneplatňuje právní dokumenty, proto není třeba jej klasifikovat jako nedostatek vhodný k nápravě. Zároveň byly dány náměty k diskuzi, pro které byla navržena v závěrečné části opatření: námět, týkající se sjednávání pracovního poměru na dobu určitou a jeho následného prodloužení na dobu neurčitou, a dále námět, týkající se příspěvku na provoz od zřizovatele jako zdroje financování příspěvkové organizace.
|
|
Porovnání ceny dopravní stavby se skutečně vynaloženými náklady v různém stupni rozestavěnosti
Nezbeda, Jiří ; Zímová, Štěpánka (oponent) ; Kosová, Jaroslava (vedoucí práce)
Tato diplomová práce se zabývá tématikou kalkulace nákladů stavebního díla za účelem tvorby ceny, která se ve fázi zakázky stává cenou prodejní, a náklady se zafixují jako rozpočet. Předmětem této práce je tedy monitorovat vývoj nákladů v čase tak, aby náklady nepřesáhly rozpočet a stavba se tím nedostala do záporného výsledku. Následně se práce klade za cíl stanovit cenu vlastními metodami (položkový rozpočet, propočet dle rozpočtových ukazatelů) a porovnat takto získané ceny a náklady z různých fází výstavby mezi sebou a určit rozdíly. V této práci jsou monitorovány a porovnávány náklady na stavební zakázku a její ceny v časových fázích stavby. V praktické části jsou využity metody přímého porovnání jednotlivých hodnot nákladů a cen v čase, a to formou různých výstupů z controllingového programu a vlastních výstupů sestaveného položkového rozpočtu a propočtu stavby. Jsou zde analyzovány rozdíly mezi těmito náklady a jejich vývoj v čase podrobnějším zkoumáním položkových rozpočtů a nákladových kalkulací, a je analyzován původ těchto odchylek. Na závěr je navrhnuto opatření pro konkrétní dopravní stavbu, na jejíž realizaci se zpracovatel při svém povolání „mistra a koordinátora stavby“ spolupodílel.
|
|
Acceleration of Object Detection Using Classifiers
Juránek, Roman ; Kälviäinen, Heikki (oponent) ; Sojka, Eduard (oponent) ; Zemčík, Pavel (vedoucí práce)
Detection of objects in computer vision is a complex task. One of most popular and well explored approaches is the use of statistical classifiers and scanning windows. In this approach, classifiers learned by AdaBoost algorithm (or some modification) are often used as they achieve low error rates, high detection rates and they are suitable for detection in real-time applications. Object detection run-time which uses such classifiers can be implemented by various methods and properties of underlying architecture can be used for speed-up of the detection. For the purpose of acceleration, graphics hardware, multi-core architectures, SIMD or other means can be used. The detection is often implemented on programmable hardware. The contribution of this thesis is to introduce an optimization technique which enhances object detection performance with respect to an user defined cost function. The optimization balances computations of previously learned classifiers between two or more run-time implementations in order to minimize the cost function. The optimization method is verified on a basic example -- division of a classifier to a pre-processing unit implemented in FPGA, and a post-processing unit in standard PC.
|
|
Acceleration Methods for Evolutionary Design of Digital Circuits
Vašíček, Zdeněk ; Miller, Julian (oponent) ; Zelinka,, Ivan (oponent) ; Sekanina, Lukáš (vedoucí práce)
Although many examples showing the merits of evolutionary design over conventional design techniques utilized in the field of digital circuits design have been published, the evolutionary approaches are usually hardly applicable in practice due to the various so-called scalability problems. The scalability problem represents a general problem that refers to a situation in which the evolutionary algorithm is able to provide a solution to a small problem instances only. For example, the scalability of evaluation of a candidate digital circuit represents a serious issue because the time needed to evaluate a candidate solution grows exponentially with the increasing number of primary inputs. In this thesis, the scalability problem of evaluation of a candidate digital circuit is addressed. Three different approaches to overcoming this problem are proposed. Our goal is to demonstrate that the evolutionary design approach can produce interesting and human competitive solutions when the problem of scalability is reduced and thus a sufficient number of generations can be utilized. In order to increase the performance of the evolutionary design of image filters, a domain specific FPGA-based accelerator has been designed. The evolutionary design of image filters is a kind of regression problem which requires to evaluate a large number of training vectors as well as generations in order to find a satisfactory solution. By means of the proposed FPGA accelerator, very efficient nonlinear image filters have been discovered. One of the discovered implementations of an impulse noise filter consisting of four evolutionary designed filters is protected by the Czech utility model. A different approach has been introduced in the area of logic synthesis. A method combining formal verification techniques with evolutionary design that allows a significant acceleration of the fitness evaluation procedure was proposed. The proposed system can produce complex and simultaneously innovative designs, overcoming thus the major bottleneck of the evolutionary synthesis at gate level. The proposed method has been evaluated using a set of benchmark circuits and compared with conventional academia as well as commercial synthesis tools. In comparison with the conventional synthesis tools, the average improvement in terms of the number of gates provided by our system is approximately 25%. Finally, the problem of the multiple constant multiplier design, which belongs to the class of problems where a candidate solution can be perfectly evaluated in a short time, has been investigated. We have demonstrated that there exists a class of circuits that can be evaluated efficiently if a domain knowledge is utilized (in this case the linearity of components).
|
|
Stability and convergence of numerical computations
Sehnalová, Pavla ; Dalík, Josef (oponent) ; Horová, Ivana (oponent) ; Kunovský, Jiří (vedoucí práce)
The aim of this thesis is to analyze the stability and convergence of fundamental numerical methods for solving ordinary differential equations. These include one-step methods such as the classical Euler method, Runge-Kutta methods and the less well known but fast and accurate Taylor series method. We also consider the generalization to multistep methods such as Adams methods and their implementation as predictor-corrector pairs. Furthermore we consider the generalization to multiderivative methods such as Obreshkov method. There is always a choice in predictor-corrector pairs of the so-called mode of the method and in this thesis both PEC and PECE modes are considered. The main goal and the new contribution of the thesis is the use of a special fourth order method consisting of a two-step predictor followed by an one-step corrector, each using second derivative formulae. The mathematical background of historical developments of Nordsieck representation, the algorithm of choosing a variable stepsize or an error estimation are discussed. The current approach adapts well to the multiderivative situation in variable stepsize formulations. Experiments for linear and non-linear problems and the comparison with classical methods are presented.
|
|
On-line Data Analysis Based on Visual Codebooks
Beran, Vítězslav ; Honec, Jozef (oponent) ; Sojka, Eduard (oponent) ; Zemčík, Pavel (vedoucí práce)
This work introduces the new adaptable method for on-line video searching in real-time based on visual codebook. The new method addresses the high computational efficiency and retrieval performance when used on on-line data. The method originates in procedures utilized by static visual codebook techniques. These standard procedures are modified to be able to adapt to changing data. The procedures, that improve the new method adaptability, are dynamic inverse document frequency, adaptable visual codebook and flowing inverted index. The developed adaptable method was evaluated and the presented results show how the adaptable method outperforms the static approaches when evaluating on the video searching tasks. The new adaptable method is based on introduced flowing window concept that defines the ways of selection of data, both for system adaptation and for processing. Together with the concept, the mathematical background is defined to find the best configuration when applying the concept to some new method. The practical application of the adaptable method is particularly in the video processing systems where significant changes of the data domain, unknown in advance, is expected. The method is applicable in embedded systems monitoring and analyzing the broadcasted TV on-line signals in real-time.
|
|
Physically-based Modeling and Simulation
Dvořák, Radim ; Racek, Stanislav (oponent) ; Šujanský,, Milan (oponent) ; Zbořil, František (vedoucí práce)
The thesis deals with the modeling of air pollution transportation and dispersion processes in the atmosphere, more precisely with the numerical approaches to solve such models. The modeling of air pollution has a great importance for prediction of the contaminations and it helps with understanding of the process and with elimination of its consequences. The models which are described by partial differential equations, namely advection-diffusion equations, and thus they can be solved by numerous analytical/numerical methods are in the scope of the thesis. In particular, well known method of lines (MoL) and several models based on it together with the possibility to accelerate the computation are studied in the first half of the work. It is shown that MoL approach is still suitable for many concrete models and it has a great potential for parallelization on graphics cards. Quite young ELLAM method and its application to solved atmospheric advection-diffusion equations is the second objective. A concrete form of ELLAM method and its proposed adaptation approaches are evaluated and it is shown that it overcomes the current state of the art methods in many cases.
|
|
Security of Contactless Smart Card Protocols
Henzl, Martin ; Rosa, Tomáš (oponent) ; Staudek, Jan (oponent) ; Hanáček, Petr (vedoucí práce)
This thesis analyses contactless smart card protocol threats and presents a method of semi-automated vulnerability finding in such protocols using model checking. Designing and implementing secure applications is difficult even when secure hardware is used. High level application specifications may lead to different implementations. It is important to use the smart card correctly, inappropriate protocol implementation may introduce a vulnerability, even if the protocol is secure by itself. The goal of this thesis is to provide a method that can be used by protocol developers to create a model of arbitrary smart card, with focus on contactless smart cards, to create a model of the protocol, and to use model checking to find attacks in this model. The attack can be then executed and if not successful, the model is refined for another model checker run. The AVANTSSAR platform was used for the formal verification, models are written in the ASLan++ language. Examples are provided to demonstrate usability of the proposed method. This method was used to find a weakness of Mifare DESFire contactless smart card. This thesis also deals with threats not possible to cover by the proposed method, such as relay attacks.
|
|
Stanovení hodnoty podniku
TALÍŘOVÁ, Klára
Cílem této diplomové práce je v první části charakteristika pojmů, které souvisí se stanovením hodnoty podniku. Dalším cílem je popis metod a postupů, které se pro oceňování podniků využívají a jejich praktické seřazení. Cílem praktické části je provedení reálného ocenění podniku na vybraném podniku a to pomocí více metod. Pro stanovení hodnoty tohoto podniku byly vybrány dvě metody. První vybranou metodou je metoda ekonomické přidané hodnoty EVA a druhou metodou je metoda diskontovaného cash flow, která je hojně využívána. Po provedení výpočtů a zhodnocení výsledků obou metod budou tyto výsledky vzájemně porovnány.
|
|
Obezita u dětí školního věku z pohledu sestry pracující v ordinaci praktického lékaře
BURSÍKOVÁ, Drahoslava
AAbstrakt Obezita u dětí školního věku z pohledu sestry pracující v ordinaci praktického lékaře Diplomová práce je zaměřena na problematiku ošetřovatelské péče u dětí s nadváhou a obezitou. Tato problematika je v dnešní době velice aktuální a to nejenom v České republice, ale jedná se o celosvětový problém. Naše republika zaujímá jedno z předních míst v obezitě u dětí. Děti trpící nadváhou a obezitou mají nejenom zdravotní problémy plynoucí z komplikací obezity, ale i problémy v oblasti psychiky a sociálních vztahů, zvláště mezi svými vrstevníky. Proto je důležité správné pochopení dané problematiky a nalezení přijatelného řešení do budoucnosti. Teoretická část se zabývá problémem obezity u dětí, specifiky ošetřovatelské péče o tyto děti v rámci ordinace praktického lékaře pro děti a dorost. Zaměřuje se také na potřeby dítěte s normální váhou a potřeby dětí s obezitou. V rámci výzkumného šetření byly stanoveny čtyři cíle. Prvním cílem bylo zmapovat stav obezity u dětí školního a předškolního věku v benešovském okrese. Druhým cílem bylo zmapovat služby (možnosti další pomoci, léčby), které mohou využít rodiče a praktičtí lékaři při léčbě dětí s nadváhou a obezitou v okrese Benešov. Třetím cílem bylo porovnat úspěšnost léčby obezity u dětí, které už podstoupily léčbu obezity pod odborným dohledem s úspěšností snižování nadváhy u dětí, které se snaží o snížení váhy sami. Čtvrtým cílem bylo zmapovat problematiku spolupráce sestry s rodiči a školou v péči o dítě s obezitou. Ve výzkumné části diplomové práce jsme použili metodu kvalitativního výzkumného šetření. Byla zvolena metoda dotazování formou polostrukturovaného rozhovoru. Pro potřeby výzkumu byly vytvořeny tři výzkumné soubory. První výzkumný soubor tvořilo 10 sester, které pracují v ordinaci praktického lékaře pro děti a dorost v okrese Benešov. Druhý výzkumný soubor se skládal z 10 záměrně vybraných osob z řad rodičů dětí s obezitou, které se snaží o redukci váhy svých dětí sami nebo pod odborným dohledem obezitologa. Jednalo se o rodiče dětí předškolního a školního věku. Třetí výzkumný soubor tvořilo 10 praktických lékařů pro děti a dorost, kteří vykonávají svoji praxi na území okresu Benešov. Při zpracování rozhovorů byla použita technika otevřeného kódování metoda papír a tužka. K zmapování služeb v Benešovském okrese a také celém Středočeském kraji byla použita analýza dokumentů. Bylo stanoveno šest výzkumných otázek: 1. Jaké jsou možnosti odborné pomoci obézním dětem? 2. Jsou rodiče ochotni pomoci svým obézním dětem při snižování váhy? 3. Mají rodiče dětí s obezitou také problémy s váhou? 4. Jaké jsou zkušenosti sester v ambulanci praktického lékaře pro děti a dorost v péči o obézní děti? 5. Jak probíhá spolupráce rodičů se sestrou v ambulanci praktického lékaře pro děti a dorost? 6. Jak sestra pracující v ordinaci praktického lékaře pro děti a dorost spolupracuje se školou? Závěry diplomové práce ukazují, že problém dětské obezity je nejenom v benešovském okrese, ale i celosvětově aktuální a má vzestupnou tendenci.
|
host ::
