| |
|
Odhad výběru DPH po zavedení elektronické evidence tržeb v ČR od roku 2016
Píchal, Dominik ; Pikhart, Zdeněk (vedoucí práce) ; Zeman, Martin (oponent)
Tato bakalářská práce zpracovává problematiku inkasa daní a s tím spojené jevy jako šedá ekonomika, daňové úniky a nástroje, které vedou k samotnému zefektivnění výběru daní. Elektronická evidence tržeb v českých podmínkách je právě takovýmto nástrojem, který má za cíl zvýšit výběr daní a také zlepšit kontrolu nad daňovými subjekty. Pro svůj metodologický základ byla využita analýza a komparace. Na základě vypracovaných rozborů a srovnání jsem dospěl k závěru, že stanovené teze prokázaly, že elektronická evidence tržeb, ale i evidence tržeb v obecné rovině jako model supervize daňových subjektů, je efektivním nástrojem. Přínosem práce je celkový popis vybraných jevů ovlivňující výběr daní, popis zahraničních modelů evidencí tržeb a především popis a analýza budoucího českého modelu.
|
|
Automatizovaný měřicí testovací systém
Zálešák, Marek ; Fiedler, Petr (oponent) ; Štohl, Radek (vedoucí práce)
V následujícím textu je krátce popsán program LabVIEW od společnosti National Instruments a sběrnice GPIB. Hlavní část tohoto textu se zabývá návrhem a popisem softwaru vytvořeného pomocí programu LabVIEW pro automatizovaný měřicí testovací systém. V závěru této práce se nachází také ukázky a výsledky kontrolních měření provedených vzniklým měřicím systémem.
|
|
Antiplagiátorské nástroje pro naše repozitáře
Mach, Jan
Prezentace je zaměřena na test a komparační analýzu systémů na odhalování duplicit (tzv. antiplagiátorských systémů) vhodných pro repozitáře vysokoškolských kvalifikačních prací v ČR. V příspěvku bude popsán proces testování a budou prezentovány výsledky, které mohou pomoci při rozhodování o vhodném antiplagiátorském nástroji pro kontrolu kvalifikačních prací i dalších typů šedé literatury.
Plný text: idr-692_3 -  PDF
Prezentace: idr-692_1 - PDF; idr-692_2 - PDF
Videozáznam: idr-692_4 -  MP4
|
|
Modelling, parameter estimation, optimisation and control of transport and reaction processes in bioreactors.
ŠTUMBAUER, Václav
With the significant potential of microalgae as a major biofuel source of the future, a considerable scientific attention is attracted towards the field of biotechnology and bioprocess engineering. Nevertheless the current photobioreactor (PBR) design methods are still too empirical. With this work I would like to promote the idea of designing a production system, such as a PBR, completely \emph{in silico}, thus allowing for the in silico optimization and optimal control determination. The thesis deals with the PBR modeling and simulation. It addresses two crucial issues in the current state-of-the-art PBR modeling. The first issue relevant to the deficiency of the currently available models - the incorrect or insufficient treatment of either the transport process modeling, the reaction modeling or the coupling between these two models. A correct treatment of both the transport and the reaction phenomena is proposed in the thesis - in the form of a unified modeling framework consisting of three interconnected parts - (i) the state system, (ii) the fluid-dynamic model and (iii) optimal control determination. The proposed model structure allows prediction of the PBR performance with respect to the modelled PBR size, geometry, operating conditions or a particular microalgae strain. The proposed unified modeling approach is applied to the case of the Couette-Taylor photobioreactor (CTBR) where it is used for the optimal control solution. The PBR represents a complex multiscale problem and especially in the case of the production scale systems, the associated computational costs are paramount. This is the second crucial issue addressed in the thesis. With respect to the computational complexity, the fluid dynamics simulation is the most costly part of the PBR simulation. To model the fluid flow with the classical CFD (Computational Fluid Dynamics) methods inside a production scale PBR leads to an enormous grid size. This usually requires a parallel implementation of the solver but in the parallelization of the classical methods lies another relevant issue - that of the amount of data the individual nodes must interchange with each other. The thesis addresses the performance relevant issues by proposing and evaluation alternative approaches to the fluid flow simulation. These approaches are more suitable to the parallel implementation than the classical methods because of their rather local character in comparison to the classical methods - namely the Lattice Boltzmann Method (LBM) for fluid flow, which is the primary focus of the thesis in this regard and alternatively also the discrete random walk based method (DRW). As the outcome of the thesis I have developed and validated a new Lagrangian general modeling approach to the transport and reaction processes in PBR - a framework based on the Lattice Boltzmann method (LBM) and the model of the Photosynthetic Factory (PSF) that models correctly the transport and reaction processes and their coupling. Further I have implemented a software prototype based on the proposed modeling approach and validated this prototype on the case of the Coutte-Taylor PBR. I have also demonstrated that the modeling approach has a significant potential from the computational costs point of view by implementing and validating the software prototype on the parallel architecture of CUDA (Compute Unified Device Architecture). The current parallel implementation is approximately 20 times faster than the unparallized one and decreases thus significantly the iteration cycle of the PBR design process.
|
|
Individuální hlasová variabilita a informace o rozeznávání predátorů obsažené ve vokální komunikaci morčat domácích (Cavia porcellus)
Baklová, Aneta ; Baranyiová, Eva (vedoucí práce) ; František, František (oponent)
Morčata reprezentují domestikované prekociální hlodavce, kteří se stali běžnými domácími mazlíčky. Od narození naplno vokalizují. Práce byla věnována zvukovým projevům mláďat morčat. Cílem práce bylo 1) určit věk, kdy bude prokazatelná vokální individualita zvuku whistle; 2) otestovat možné ultrazvukové signály
a 3) prozkoumat antipredační chování a varovné zvuky v přítomnosti vzdušného (dravec) a pozemního predátora (pes) a člověka (kontrolní test).
Celkem 16 mláďat morčat bylo otestováno na vokální individualitu, 28 mláďat na ultrazvukové signály a 27 odrostlých mláďat na rozeznávání predátorů. V rámci testování vokální ontogeneze v průběhu prvních 9 dnů od narození, byly pozorovány změny jak v časových a frekvenčních parametrech, tak i v parametrech intenzity. Při testování vokální individuality validovaná diskriminační analýza (DFA) založena
na deseti akustických parametrech přiřadila jednotlivé zvuky ke správným jedincům
s následující úspěšností: den 1 = 71,9 %, den 3 = 58,8 %, den 5 = 53,10 %, den
7 = 50,60 % a den 9 = 63,10 %. Nejvyšší naměřená frekvence u zvuku whistle byla 30,03 kHz. Při rozpoznávání predátorů byly měřeny reakce strnutí, útěk a ostražitost.
V přítomnosti psa morčata reagovala nejdéle a nejčastěji strnutím. Při vystavení dravci jsem u morčat nejdéle a nejčastěji pozorovala útěk a následné strnutí. Na přítomnost člověka morčata nejvíce reagovala ostražitostí. Zaznamenala jsem pouze dva případy výstražných signálů - drrr v přítomnosti psa a chirrup jako reakci na dravce.
V práci jsem dospěla k závěrům, že: 1) individualita morčat je prokazatelná od prvního dne života morčat a míra individuálně rozdílných vokálních parametrů se
s věkem mění; 2) morčata jsou schopna vokalizovat do frekvence 30 kHz, ale pro jejich komunikaci nejsou vysokofrekvenční signály klíčové; 3) morčata rozeznávají pozemní a vzdušné predátory, ale varovné zvuky vydávají jen zřídka.
|
|
DCTOOL-A3
Bakule, Lubomír ; Papík, Martin ; Rehák, Branislav
DCTOOL-A3 is a documentation of Matlab routines developed for the design of decentralized control of large scale complex systems. The current beta version covers three areas as follows:\nReport 4.1 deals with the event-triggered control design for unstructured uncertain systems. Both non-quantized and quantized feedback is analyzed. The results are given in terms of linear matrix inequalities (LMIs). Logarithmic quantizer is used. Numerical example illustrates the effectiveness of the presented results.\nReport 4.2 presents a new decentralized overlapping wireless control design with a switched communication protocol. The method is applied by simulations on the 20-story building structure including the test of robustness of the methods against sensor failures and network node dropouts of a digital network.\nReport 4.3 presents the construction of a new decentralized wireless controller and a set of heuristic algorithms for evaluation of packet dropouts, sensor faults and actuator faults. The digital network operates at the standard frequency used in well-known widely-used industrial protocols. The results are tested at the Benchmark model decomposed into two disjoint substructures. The results are published. Thus, the details are omitted here.
|
|
Detekce frekvenčního šumu polovodičového laseru pracujícího na vlnové délce 729 nm
Pham, Minh Tuan ; Čížek, Martin ; Hucl, Václav ; Lazar, Josef ; Hrabina, Jan ; Řeřucha, Šimon ; Lešundák, Adam ; Číp, Ondřej
Práce se zabývá analýzou frekvenčního šumu laserové diody s externím rezonátorem (ECDL), pracující na vlnové délce 729 nm. ECDL bude sloužit jako budící laser zakázaného přechodu, zachyceného a zchlazeného, 40Ca+ iontu. Z tohoto důvodu je nutné, aby spektrální šířka tohoto laseru byla v řádu Hz a nižší. Součástí práce je experimentální design sestavy umožňující zúžení spektrální čáry pomocí fázového uzamčení frekvence laseru na vybranou komponentu optického frekvenčního hřebene, kde je šum potlačen rychlým elektronickým regulátorem se servosmyčkou, který řídí vstupní proud laseru.
|
|
Inteligence skupiny
Winklerová, Zdenka ; Šaloun, Petr (oponent) ; Škrinárová,, Jarmila (oponent) ; Zbořil, František (vedoucí práce)
Záměrem disertační práce je aplikovaný výzkum skupinové ( kolektivní ) inteligence . K prokázání použitelnosti inteligence skupiny je zkoumán algoritmus na bázi roje částic ( Particle Swarm Optimization PSO ), v němž je problém inteligence skupiny převeden na matematickou optimalizaci, kdy roj částic ( particle swarm ) hledá globální optimum ve vymezeném prostoru problému a prohledávání je řízeno podle předem nadefinované účelové funkce ( objective function ), která zastupuje řešený problém. Byla navržena a experimentálně ověřena strategie prohledávání, v níž částice průběžně přizpůsobují své chování charakteristikám prostoru řešeného problému, a bylo experimentálně zjištěno, jak se vliv řídící účelové funkce zastupující řešený problém projevuje v chování částic. Výsledky experimentování s navrženou strategií prohledávání byly porovnány s výsledky experimentů s referenční verzí algoritmu PSO . Experimenty ukázaly, že klasické prohledávání, kde jedinou podmínkou je stabilní trajektorie, po níž se částice pohybuje v prostoru řešeného problému, a kde je ve výsledku eliminován vliv řídící účelové funkce, může selhat a že dynamická stabilita trajektorií částic sama o sobě není ukazatelem prohledávacích schopností algoritmu ani konvergence algoritmu ke správnému, globálnímu řešení. Byl navržen způsob prohledávání prostoru řešeného problému, v němž algoritmus PSO reguluje stabilitu algoritmu průběžným přizpůsobováním chování částic charakteristikám prostoru problému. Navržený algoritmus usměrňoval vývoj prohledávání prostoru problému tak, že vzrostla pravděpodobnost úspěšnosti řešení.
|
|
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.
|
host ::
