|
Dopady přechodu daňové evidence na vedení účetnictví u vybraného podnikatele
Sedláčková, Jitka ; Šišková, Jitka (vedoucí práce)
Diplomová práce s názvem Dopady přechodu daňové evidence na vedení účetnictví u vybraného podnikatele se zabývá celkovým přehledem vedení daňové evidence a účetnictví podnikatelů v České republice s ohledem na zvolenou právní formu podnikání. Výstupem je stanovení kritických momentů a doporučení variant přechodu na vedení účetnictví s ohledem na daňovou optimalizaci.
V teoretické části jsou vysvětleny základní pojmy, týkající se podnikání v ČR, následuje popis a analýza jednotlivých způsobů vedení účetnictví v závislosti na zvolené formě podnikání. Nastíněn je rovněž současný daňový systém ČR s důrazem na daň z příjmů fyzických a právnických osob s možností optimalizace.
Praktická část je zaměřena na aplikaci osvojených teoretických znalostí. U vybraného podnikatele jsou provedeny modelové výpočty týkající se výsledku hospodaření a celkového odvodu daní, včetně optimalizace v závislosti na způsobu vedení účetnictví a v souvislosti s právní formou podnikání. V závěru praktické části jsou stanoveny kritické momenty přechodu z daňové evidence na vedení účetnictví a podnikateli je navržen optimální postup přechodu.
|
|
Nutriční rozbor a optimalizace chovu vybraných druhů jedlého hmyzu v podmínkách ČR s ohledem na zdraví člověka
Adámková, Anna ; Kouřimská, Lenka (vedoucí práce)
Jedlý hmyz je ve světě považován za vysoce výživnou stravu s vysokým obsahem bílkovin a tuku. Nicméně, nutriční hodnota hmyzu není konstantní. Je ovlivněna živočišným druhem, vývojovým stádiem, podmínkami, místem chovu nebo výživou. Práce byla proto zaměřena na získání vybraných nutričních hodnot jedlého hmyzu. Analýzy byly zaměřeny na stanovení obsahu dusíkatých látek, tuku, profilu mastných kyselin a sterolů u vybraných druhů jedlého hmyzu, které je možné běžně chovat v podmínkách České republiky. Současně byly analyzovány i vzorky hmyzu chovaného na ostrově Sumatra z důvodu porovnání vlivu klimatických podmínek na nutriční hodnoty. Hlavním cílem práce bylo stanovení optimálních chovných podmínek, vývojových fází a krmných dávek pro získání dobré produkce hmyzu s vhodnými nutričními vlastnostmi pro výživu lidí. Provedené analýzy prokázaly vysokou nutriční hodnotu vybraných druhů hmyzu, zároveň však potvrdily průkazné rozdíly v obsahu jednotlivých nutrientů mezi jednotlivými druhy v závislosti klimatických podmínkách a vývojovém stádiu. Porovnáním obsahu tuku a dusíkatých látek u jedlého hmyzu a jiných konvenčních zdrojů masa bylo zjištěno, že obsahem tuku a dusíkatých látek je zkoumaný hmyz podobný hovězímu masu. Získané výsledky jsou podkladem pro stanovení vhodných chovných podmínek a vývojových fází pro získání hmyzu s požadovanými nutričními vlastnostmi pro výživu lidí.
|
|
Technologie zmrazování spermií býků ve vztahu k jejich přežitelnosti a oplozovací schopnosti
Doležalová, Martina ; Stádník, Luděk (vedoucí práce) ; Jiří, Jiří (oponent)
Cílem optimalizace procesu výroby inseminačních dávek je zajištění co nejvyšší oplozovací schopnosti spermií v průběhu relativně náročného procesu zpracování čerstvého ejakulátu a jeho následná kryokonzervace. Zejména v průběhu chlazení a mrazení spermií dochází k jejich poškození vlivem změny teplot, kdy jsou spermie vystaveny chladovému šoku a dalším limitujícím faktorům, které mají za následek buněčnou smrt a tudíž i snižování oplozovací schopnosti následně rozmrazené inseminační dávky. Pro zvýšení odolnosti spermií, respektive plazmatické membrány, vůči chladovému šoku byla do komerčně vyráběných ředidel přidávána frakce vaječného žloutku LDL cholesterol (low density lipoprotein) v různých koncentracích, takto vyrobené dávky byly testovány pomocí chladového a tepelného testu přežitelnosti spermií. Má se za to, že LDL příznivě ovlivňuje plazmatickou membránu spermií a napomáhá k lepší oplozovací schopnosti spermií po rozmrazení. Dalším krokem v procesu výroby inseminačních dávek je pozvolné chlazení naředěného ejakulátu a ekvilibrace, kdy jsou dávky uloženy v chladicím boxu po bobu 30 minut až 24 hodin, tato doba je nezbytně nutná pro penetraci určitých komponent ředidla do spermatických buněk a nastolení balance mezi jejich intracelulární a extracelulární koncentrací. Současně je důležitý následný teplotní gradient mrazení inseminačních dávek. Jako nejvhodnější způsob mrazení je dostupný systém počítačově řízeného poklesu teplot v mrazicím boxu, který umožňuje přesnou kontrolu tvorby ledových krystalů, které by mohly roztrhat, a tím zabít buňku.
V průběhu 2012 až 2016 byl opakovaně odebírán ejakulát od skupiny plemenných býků (n=27, býci holštýnského a českého strakatého plemene) na inseminační stanici. Ejakulát splňující standardní vstupní podmínky byl v prvním kroku rovnoměrně rozdělen na několik částí. K ředění ejakulátu byly využity 3 typy komerčně vyráběných ředidel AndroMed, Bioxcell a Triladyl bez a s přídavku LDL do ředidel o koncentraci 4 až 10 % v závislosti na typu ředidla. Naředěný ejakulát byl naplněn do skleněných kapilár o objemu 0,1 ml a teplotě +4 °C a vložen na 10 minut do chladicího boxu o teplotě 0 °C. Po uplynutí stanovené doby byl objem kapiláry smíchán s fyziologickým roztokem o teplotě 37 °C, kde byl vzorek 120 minut inkubován. Byl hodnocen vliv chladového šoku na podíl živých spermií v ejakulátu pomocí barvení Eosinem a Nigrosinem v průběhu tepelného testu přežitelnosti spermií a to ihned po zahřátí vzorku a po uplynutí 120 minutové inkubace. Z výsledků bylo patrné, že vhodnějšími ředidly pro zvyšování odolnosti spermií vůči chladovému šoku byly AndroMed a Bioxcell. Současně byl také zjištěn pozitivní vliv přídavku LDL do ředidel na nižší pokles podílu živých spermií v průběhu tepelného testu (P<0,05). Jako nejvhodnější koncentrace mající příznivý vliv na odolnost spermií vůči chladovému šoku byla vyhodnocena 6% koncentrace LDL v ředidle Bioxcell, kdy byly hodnoty podílu živých spermií vyšší jak na začátku tepelného testu (+1,31 % až +3,2 %) tak po 2 hodinové inkubaci (+5,82 % až +8,41 %) oproti ostatním ředidlům bez a s přídavkem LDL.
V dalším kroku byl optimalizován proces ekvilibrace, který je důležitou součástí výroby dávek a byl vyhodnocen vliv délky ekvilibrace na následnou oplozovací schopnost spermií hodnocenou pomocí motility spermií po rozmrazení zjištěné na základě CASA a podíl živých spermií v průběhu tepelného testu přežitelnosti trvajícím 120 minut (37 °C). Vhodný ejakulát byl naředěn standardně využívaným ředidlem AndroMed na bázi sojového lecitinu, naředěný ejakulát byl naplněn do pejet (0,25 ml), zchlazen a ekvilibrován v chladicím boxu po dobu 30, 120 a 240 minut, následně byl mrazen v programovatelném mrazicím boxu dle 4 typů mrazicích křivek lišících se teplotou a rychlostí poklesu teplot v komoře. K mrazení byla využita standardně využívaná a výrobcem doporučovaná 3. fázová mrazicí křivka, dále 2. fázová mrazicí křivka, a 3. fázová mrazicí křivka s pomalejším a naopak rychlejším poklesem teplot v komoře, oproti standardní mrazicí křivce. Nejvhodnější délka ekvilibrace byla 240 minut, kde byla zjištěna motilita vyšší o +2,72 % a +4,58 % oproti ostatním délkám ekvilibrace (P<0,05 až 0,01). Nejvyšších průměrných hodnot podílu živých spermií bylo dosaženo při délce ekvilibrace 120 minut (+6,87 % a 8,68 %). Nejvyšší průměrné motility spermií po rozmrazení v průběhu tepelného testu přežitelnosti bylo dosaženo při mrazení na základě 2. fázové mrazicí křivky (od +2,97 % do +10,37 %, P<0,05), taktéž při hodnocení podílu živých spermií (od +4,37% do +8,82 %, P<0,01). Při vyhodnocení interakce mezi délkou ekvilibrace mrazicí křivkou ( 2. fázová a 3. fázová standardní) bylo nejvyšších hodnot průměrné motility a podílu živých spermií u obou křivek v kombinaci s délkou ekvilibrace 240 minut, avšak nebyl mezi nimi zaznamenán žádný statisticky průkazný rozdíl. Ve všech hodnocených částech práce byly nalezeny individuální rozdíly mezi jednotlivými býky i mezi jednotlivými odběry ejakulátu od jednoho býka (P<0,05).
Pro zachování dobré oplozovací schopnosti ejakulátu v průběhu procesu kryokonzervace je zapotřebí zvýšit odolnost spermií vůči chladovému šoku a to přidáním správné koncentrace LDL do vhodného komerčně vyráběného ředidla, kterým bylo ředidlo AndoMed a Bioxcell. Následně je ve velké míře oplozovací schopnost vyrobené inseminační dávky ovlivněna chlazením a délkou ekvilibrace před samotným mrazením. Délka ekvilibrace 120 minut a déle a následný šetrný způsob mrazení dle mrazicí křivky, která zajišťuje pozvolný pokles teplot v komoře, zajistí vyšší průměrnou motilitu spermií a podíl živých spermií po rozmrazení.
|
|
(100) substrate processing optimization for fabrication of smooth boron doped epitaxial diamond layer by PE CVD
Mortet, Vincent ; Fekete, Ladislav ; Ashcheulov, Petr ; Taylor, Andrew ; Hubík, Pavel ; Trémouilles, D. ; Bedel-Pereira, E.
Boron doped diamond layers were grown in an SEKI AX5010 microwave plasma enhanced chemical vapour deposition system. Effect of surface preparation, i.e. polishing and O2/H2 plasma etching on epitaxial growth on type Ib (100) HPHT synthetic diamonds were investigated. Using optimized substrate preparation, smooth (RRMS ~ 1 nm) boron doped diamond layers with metallic conduction and free of un-epitaxial crystallites were grown with a relatively high growth rate of 3.7 μm/h. Diamond were characterized by optical microscopy, optical profilometry, atomic force microscopy and Hall effect.
|
|
Black Chromia Plating for the Solar Radiation Absorbers
Brožek, Vlastimil ; Březina, Václav ; Brom, Petr ; Kubatík, Tomáš František ; Vilémová, Monika ; Mastný, L. ; Novák, M.
Black chromia layers were produced on copper, zirconium and aluminium substrates. These layers are aimed to serve as solar collectors. Efficiency of the layers during UV-VIS, UV radiation and WSP® plasma torch radiation is described. The chromia layers were prepared by a new procedure, i.e. deposition of ammonium dichromate solution using plasma torch or so called Liquid Precursor Plasma Spraying (LPPS). Solution of ammonium dichromate is fed into plasma stream, where dissociation takes place under temperatures of 4000 K – 25000 K. Up to nanometric oxide particles can be produced; the resulting size is dependent on solution concentration and feeding nozzle diameter. The particles impact on substrate and form coating. Using 2 wt.% to 5 wt.% solution of ammonium dichromate and feeding nozzle of 0.2 mm in diameter is the size of produced chromia particles about 6 µm which results in formation of 2 µm to 3 µm thick coating, i.e. according to the theory an optimal thickness 2.5 um for absorption layers, necessary condition for formation energy traps for IR radiation emitters up to 100°C. Moreover, black chromia coating is a suitable corrosion barrier of metallic substrates. \n\n
|
|
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.
|
|
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.
|
|
Optimization of Gaussian Mixture Subspace Models and Related Scoring Algorithms in Speaker Verification
Glembek, Ondřej ; Brummer, Niko (oponent) ; Campbell,, William (oponent) ; Burget, Lukáš (vedoucí práce)
This thesis deals with Gaussian Mixture Subspace Modeling in automatic speaker recognition. The thesis consists of three parts. In the first part, Joint Factor Analysis (JFA) scoring methods are studied. The methods differ mainly in how they deal with the channel of the tested utterance. The general JFA likelihood function is investigated and the methods are compared both in terms of accuracy and speed. It was found that linear approximation of the log-likelihood function gives comparable results to the full log-likelihood evaluation while simplyfing the formula and dramatically reducing the computation speed. In the second part, i-vector extraction is studied and two simplification methods are proposed. The motivation for this part was to allow for using the state-of-the-art technique on small scale devices and to setup a simple discriminative-training system. It is shown that, for long utterances, while sacrificing the accuracy, we can get very fast and compact i-vector systems. On a short-utterance(5-second) task, the results of the simplified systems are comparable to the full i-vector extraction. The third part deals with discriminative training in automatic speaker recognition. Previous work in the field is summarized and---based on the knowledge from the earlier chapters of this work---discriminative training of the i-vector extractor parameters is proposed. It is shown that discriminative re-training of the i-vector extractor can improve the system if the initial estimation is computed using the generative approach.
|
|
Optimalizace testu digitálního obvodu multifunkčními prvky
Stareček, Lukáš ; Gramatová, Elena (oponent) ; Kubátová, Hana (oponent) ; Kotásek, Zdeněk (vedoucí práce)
Tato práce se zabývá možností optimalizace testu číslicových obvodů pomocí multifunkčních logických hradel. Nejdůležitější částí práce je vysvětlení samotného principu optimalizace, který je popsán také formálními matematickými prostředky. Na základě tohoto popisu je v práci prezentováno několik možností využití. Ukázána je optimalizace testovatelnosti obdobná metodě vkládání testovacích bodů a jednoduchá metodika založena na základě SCOAP. Těžištěm práce je však metodika, která byla vytvořena pro optimalizaci testu obvodu. Ta byla implementována v podobě softwarových nástrojů. V práci jsou následně prezentovány výsledky použití těchto nástrojů na úloze snížení počtu testovacích vektorů se zachováním pokrytí poruch pro různé obvody včetně testovací sady ISCAS 85. Část práce je věnována také různým principům a technologiím tvorby multifunkčních logických hradel. Některá vybraná hradla z těchto technologií jsou podrobena simulacím elektronických vlastností ve SPICE. Na základě principů prezentované metodiky a výsledků simulací multifunkčních hradel je také provedena analýza a rozbor různých problémů jako je platnost testu modifikovaného obvodu a vhodnost jednotlivých technologií multifunkčních hradel pro danou metodiku. Výsledky analýz a provedených experimentů je potvrzeno, že pomocí multifunkčních hradel lze optimalizovat diagnostické vlastnosti obvodu takovým způsobem, aby došlo k požadovaným úpravám parametrů výsledných testů obvodů při minimálních dopadech na kvalitu a věrohodnost těchto testů.
|
|
Evolutionary Approach to Synthesis and Optimization of Ordinary and Polymorphic Circuits
Gajda, Zbyšek ; Schmidt, Jan (oponent) ; Zelinka,, Ivan (oponent) ; Sekanina, Lukáš (vedoucí práce)
This thesis deals with the evolutionary design and optimization of ordinary and polymorphic circuits. New extensions of Cartesian Genetic Programming (CGP) that allow reducing of the computational time and obtaining more compact circuits are proposed and evaluated. Second part of the thesis is focused on new methods for synthesis of polymorphic circuits. Proposed methods, based on polymorphic binary decision diagrams and polymorphic multiplexing, extend the ordinary circuit representations with the aim of including polymorphic gates. In order to reduce the number of gates in circuits synthesized using proposed methods, an evolutionary optimization based on CGP is implemented and evaluated. The implementations of polymorphic circuits optimized by CGP represent the best known solutions if the number of gates is considered as the target criterion.
|
host ::
