|
Cooperation with incomplete monitoring
Caisl, Jakub ; Bauer, Michal (vedoucí práce) ; Červinka, Michal (oponent)
V této práci se zabýváme se poskytováním veřejných statků. Tento problém studujeme na základě experimentální ekonomické hry "Public Goods Game". Jednotlivci v této hře mohou trestat ostatní jednotlivce za jejich chování, ale čelí při tom různým informačním omezením. Snažíme se přispět k současné literatuře zabývající se reciprocitou a zjistit, jestli jsou lidé ochotni trestat, i pokud jsou jejich informace o ostatních jen velmi kusé. Prospěšnost trestání za nejistoty je centrálním tématem této práce, které úzce souvisí s tím, nakolik jsou lidské společnosti schopné spontánně fungovat bez působení centrální autority. Z hlediska veřejné politiky se snažíme přispět k debatě o tom, kdy by lidské jednání (trestání) mělo být omezené centrální autoritou. Z hlediska pracovního týmu může být naše práce aplikována při vytváření strategie pro sledování zaměstnanců.
|
|
Hra jako prostředek zvyšování motivace ve vyučování odborných předmětů
Kolmanová, Linda ; Hanušová, Marie (vedoucí práce) ; Drahomíra, Drahomíra (oponent)
Bakalářská práce s názvem Hra jako prostředek zvyšování motivace ve vyučování odborných předmětů, slouží pro potřeby vhledu do problematiky motivace ve škole a jejího zvyšování prostřednictvím aktivizační metody konkrétně hry. Teoretická část přibližuje základní pojmy, které souvisí s motivy, motivací ve škole a aktivizačními metodami ve výuce, jež jsou základem pro vypracování praktické části. V praktické části je pomocí pozorování a závěrečného testu ve výukovém bloku ověřena navržená desková ekonomická hra, jakožto aktivizační metoda pro zvýšení motivace žáků ekonomického oboru. V neposlední řadě jsou představeny výsledky a provedeno zhodnocení.
|
|
Návrh a implementace e-learningu v zájmové oblasti
Marešová, Nikola ; Husa, Jiří (vedoucí práce) ; Marek, Marek (oponent)
Bakalářská práce s názvem "Návrh a implementace e-learningu v zájmové oblasti" se zabývá problematikou nákupu ojetých vozů. Stěžejní část práce spočívá v tvorbě e-learningového kurzu, jehož cílem je zlepšit informovanost kupujících a zájemců o tuto oblast. Účastníci kurzu získají přehled o nejčastějších situacích a problémech, se kterými se mohou při koupi ojetého vozu setkat. Teoretická část představuje přehled témat problematiky nákupu ojetých vozů. Může posloužit jako teoretické vodítko k vlastnímu kurzu, přibližuje jeho obsah. Témata jsou sestavena na základě analýzy informací z tištěných a elektronických zdrojů, doplněných zkušenostmi autorky a odborníky z oboru. Praktická část se věnuje sestavení e-learningového kurzu. Obsahuje analýzu potřeb kupujících, důvody tvorby kurzu a požadavky na něj, jeho cíle, popis použitého nástroje eXe a názorný postup od vytváření kurzu po jeho zveřejnění v krocích. Vše doplňuje zpětná vazba od šesti dobrovolníků, kteří projevili zájem si kurz otestovat a následně ho zrecenzovat. Před tvorbou kurzu bylo nutno provést analýzu situace a zjistit, proč je takový kurz potřeba. Nabyté poznatky byly poté v kurzu zpracovány metodou syntézy. Pro evaluaci byla využita metoda krátkého osobního rozhovoru, kde autorka zjišťovala spokojenost s kurzem, jeho případné nedostatky a návrhy pro vylepšení či rozšíření.
|
|
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.
|
|
Averze spotřebitele/investora ke ztrátě
Svorad, Michal ; Chládek, Libor (oponent) ; Škapa, Stanislav (vedoucí práce)
Diplomová práce se zabývá analýzou postoje a chování spotřebitele v roli investora na finančních trzích ke ztrátě, respektive jak předcházet riziku budoucí ztráty. V teoretické části je popsána teorie nutná k porozumění druhé, praktické části, dále také nástroje a metody, které jsou využívány pro snižování rizika ztráty.
|
|
New Methods for Increasing Efficiency and Speed of Functional Verification
Zachariášová, Marcela ; Dohnal, Jan (oponent) ; Steininger, Andreas (oponent) ; Kotásek, Zdeněk (vedoucí práce)
In the development of current hardware systems, e.g. embedded systems or computer hardware, new ways how to increase their reliability are highly investigated. One way how to tackle the issue of reliability is to increase the efficiency and the speed of verification processes that are performed in the early phases of the design cycle. In this Ph.D. thesis, the attention is focused on the verification approach called functional verification. Several challenges and problems connected with the efficiency and the speed of functional verification are identified and reflected in the goals of the Ph.D. thesis. The first goal focuses on the reduction of the simulation runtime when verifying complex hardware systems. The reason is that the simulation of inherently parallel hardware systems is very slow in comparison to the speed of real hardware. The optimization technique is proposed that moves the verified system into the FPGA acceleration board while the rest of the verification environment runs in simulation. By this single move, the simulation overhead can be significantly reduced. The second goal deals with manually written verification environments which represent a huge bottleneck in the verification productivity. However, it is not reasonable, because almost all verification environments have the same structure as they utilize libraries of basic components from the standard verification methodologies. They are only adjusted to the system that is verified. Therefore, the second optimization technique takes the high-level specification of the system and then automatically generates a comprehensive verification environment for this system. The third goal elaborates how the completeness of the verification process can be achieved using the intelligent automation. The completeness is measured by different coverage metrics and the verification is usually ended when a satisfying level of coverage is achieved. Therefore, the third optimization technique drives generation of input stimuli in order to activate multiple coverage points in the veri\-fied system and to enhance the overall coverage rate. As the main optimization tool the genetic algorithm is used, which is adopted for the functional verification purposes and its parameters are well-tuned for this domain. It is running in the background of the verification process, it analyses the coverage and it dynamically changes constraints of the stimuli generator. Constraints are represented by the probabilities using which particular values from the input domain are selected. The fourth goal discusses the re-usability of verification stimuli for regression testing and how these stimuli can be further optimized in order to speed-up the testing. It is quite common in verification that until a satisfying level of coverage is achieved, many redundant stimuli are evaluated as they are produced by pseudo-random generators. However, when creating optimal regression suites, redundancy is not needed anymore and can be removed. At the same time, it is important to retain the same level of coverage in order to check all the key properties of the system. The fourth optimization technique is also based on the genetic algorithm, but it is not integrated into the verification process but works offline after the verification is ended. It removes the redundancy from the original suite of stimuli very fast and effectively so the resulting verification runtime of the regression suite is significantly improved.
|
|
Exploitation of GPU in graphics and image processing algorithms
Jošth, Radovan ; Svoboda, David (oponent) ; Trajtel,, Ľudovít (oponent) ; Herout, Adam (vedoucí práce)
This thesis introduces several selected algorithms, which were primarily developed for CPUs, but based on high demand for improvements; we have decided to utilize it on behalf of GPGPU. This modification was at the same time goal of our research. The research itself was performed on CUDA enabled devices. The thesis is divided in accordance with three algorithm’s groups that have been researched: a real-time object detection, spectral image analysis and real-time line detection. The research on real-time object detection was performed by using LRD and LRP features. Research on spectral image analysis was performed by using PCA and NTF algorithms and for the needs of real-time line detection, we have modified accumulation scheme for the Hough transform in two different ways. Prior to explaining particular algorithms and performed research, GPU architecture together with GPGPU overview are provided in second chapter, right after an introduction. Chapter dedicated to research achievements focus on methodology used for the different algorithm modifications and authors’ assess to the research, as well as several products that have been developed during the research. The final part of the thesis concludes our research and provides more information about the research impact.
|
|
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).
|
|
Metodika aplikace testu obvodu založená na identifikaci testovatelných bloků
Herrman, Tomáš ; Plíva, Zdeněk (oponent) ; Racek, Stanislav (oponent) ; Kotásek, Zdeněk (vedoucí práce)
Dizertační práce se zabývá analýzou číslicových obvodů popsaných na úrovni meziregistrových přenosů. Je v ní zahrnuta pouze problematika související s testovatelností obvodových datových cest, řadičem ovládajícím tok dat těmito cestami se nezabývá. Stěžejní částí práce je návrh konceptu testovatelného bloku (TB), pomocí něhož se obvod rozdělí na části, jež jsou plně testovatelné přes jejich vstupy a výstupy, přes takzvané hraniční registry bloku nebo primární vstupy/výstupy. Přínosem nové metodiky je také redukce počtu registrů v řetězci scan, do něhož jsou zařazeny pouze hraniční registry. Segmentací obvodu dosáhneme také zjednodušení generování testu rozdělením tohoto problému na více menších částí. Navržená metodika pro identifikaci TB v číslicovém obvodu využívá dvou vybraných evolučních algoritmů operujících na formálním modelu obvodu na úrovni RT.
|
|
Location-aware data transfers scheduling for distributed virtual walkthrough applications.
Přibyl, Jaroslav ; Sochor, Jiří (oponent) ; Sojka, Eduard (oponent) ; Zemčík, Pavel (vedoucí práce)
Data transfers scheduling process is an important part of almost all distributed virtual walkthrough applications. Its main purpose is to preserve data transfer efficiency and rendered image quality. The most limiting factors here are network restrictions. These restrictions can be reduced using multi-resolution data representation, download priority determination and data prefetching algorithms. Advanced priority determination and data prefetching methods use mathematic description of motion to predict next position of a user. These methods can accurately predict only close future positions. In the case of sudden but regular changes in user motion direction (road networks), these algorithms are not sufficient to predict future position with required accuracy and at required distance. In this thesis a systematic solution to data transfers scheduling is proposed which solves also these cases. The proposed solution uses next location prediction methods to compute download priority or additionally prefetch data needed to render a scene in advance. Experiments show that compared to motion functions the proposed scheduling scheme can increase data transfer efficiency and rendered image quality during exploration of tested scene.
|
host ::
