|
The Impacts of the Tax Records Transition to Accounting for the Selected Entrepreneur
Sedláčková, Jitka ; Šišková, Jitka (advisor)
The thesis titled Impacts of the transition of tax register on accounting for the selected entrepreneur deals with a general overview of management, tax register and accounting for entrepreneurs in the Czech Republic with respect to the chosen legal form of business. The outcome is determined by critical moments and recommendation of variants of the transition on accounting with regard to tax optimization.
The theoretical part explains the basic concepts related to doing business in the Czech Republic, followed by a description of the analysis of the various accounting methods depending on the chosen form of business. It is also outlined the current tax system of the Czech Republic with an emphasis on income tax of legal persons with optimization option.
The practical part is focused on acquired of theoretical knowledge. At selected entrepreneur are made model calculations related to the financial results of the total levy taxes, including optimization, depending on the method of accounting and in connection with the legal form of business. At the end of the practical part are determined the critical moments of transition from tax register on accounting and for entrepreneur is proposed the optimal process of transition.
|
|
Nutritional analysis and optimization of breeding of selected species of edible insects under conditions of the Czech Republic with regard to human health
Adámková, Anna ; Kouřimská, Lenka (advisor)
All over the world, the edible insects are considered a highly nutritious food with high protein and fat content. However, the nutritional value of insect is not constant. It can be affected by species, developmental stage, rearing technology or nutrition.
Therefore, this thesis was aimed at obtaining the selected nutritional value of edible insects. Analyses were focused on the determination of the crude protein content, fat content, fatty acid profile and sterols in selected species of edible insects, which can be commonly reared in the Czech Republic. At the same time we also analysed samples of insects reared on the island of Sumatra to evaluate the influence of the climate on the nutritional value. The main aim of the thesis was the determination of optimal breeding conditions, developmental stages and feed rations for obtaining good production of insects with nutritional properties suitable for human nutrition. The analyses showed a high nutritional value of selected insect species, but also confirmed the significant differences in the content of individual nutrients between different species depending on the climate conditions and developmental stage. Comparing the fat and crude protein content in edible insects and other conventional sources of meat it has been found, that the examined insect is similar to beef concerning the fat and crude protein content. The results obtained are the basis for determining the appropriate rearing conditions and developmental stages for obtaining insect with the desired nutritional properties for human nutrition.
|
|
Freezing technology of bull sperm in relation to its survivability and fertilization ability
Doležalová, Martina ; Stádník, Luděk (advisor) ; Jiří, Jiří (referee)
The aim of optimalization the insemination doses production is to provide the highest fertilization ability of spermatozoa during the demanding proces of processing fresh semen and its subsequent cryopreservation. Temperature changes causes spermatozoa damage during the cooling and freezing. Spermatozoa is exposed to cold shock and many others limiting factors, which leads to cell death and therefore to decline of fertilization ability of thawed insemination doses. For increasing spermatozoa resistance, exactly the plasma membrane resistance against cold shock was fraction of egg yolk LDL cholesterol (low density lipoprotein) at various concentrations into the comercially produced diluents added. It is believed that LDL acts possitively to plasma membrane and helps to maintain the fertilization ability of spermatozoa after thawing. Following step in the proces of insemination doses production is slow cooling of diluted semen and equilibration, when the straws are store at cooling box for 30 minutes to 240 hours. This period is necessary to penetrate of certain diluent components into the spermatazoa also maintain the balance between their intracellular and extracellular concentration. Also important is subsequent freezing temperature gradient of insemination doses. The most suitable freezing method is based on computer controlled temperature decline in freezing chamber which allows the precise control of ice crystals formation that could tear and kill the cell.
During 2012 to 2016 was repeatedly collected semen from the group of breeding bulls (n = 27, Holstein and Czech Fleckvieh breed) at AI centre. Semen which fulfill the standard entrance conditions in first step was evenly into several parts divided. For dilution the three types of comercially diluents AndroMed, Bioxcell and Triladyl with and without LDL addition were used. Into the diluents AndroMed and Bioxcell the concentration of LDL 4 %, 6 % and 8% into the dilent Triladyl 6 %, 8 % and 10 % was added. Diluted semen was filled into the glass capillares with volume 0,1 ml and temperature +4 °C. Subsequently the sample was placed to cold bath (0°C) for 10 minutes. Then the volume of capillare with physiological solution (37 °C) was mixed and for next 120 minutes was incubate. The effect of cold shock to proportion of live spermatozoa was evaluated by using Eosin and Nigrosine staining technique during heat test of spermatozoa survivability after spermatozoa heating and after 120 minutes of incubation.
The more suitable semen diluents which provide the higher spermatozoa resistance against cold shock were AndroMed and Bioxcell. Together the possitive effect of LDL addition into the diluents to lower decrease of proportion of live spermatozoa during heat test was found (P<0.05). The most suitable LDL concentration which had a favorable influence at spermatozoa resistance against cold shock was 6 % in diluent Bioxcell. Values of the proportion of live sperm were higher at the beginning of the heat test (+1.31% to + 3.2%) and after 120 minute incubation (+5.82% to +8.41%) compared to other diluents with and without addition of LDL.
In the next step the process of equilibration was optimized, is an important part of insemination doses production. The effect of the length of equilibration for subsequent fertilization ability of spermatozoa was evaluated using spermatozoa motility based of CASA and proportion of live spermatozoa after thawing and during heat survival test lasting 120 minutes (37 ° C). Suitable semen was diluted by comercially used diluent AndroMed based on soya lecithin, filled into the straws (0.25 ml), cooled and equilibrated in cooling box for 30, 120 and 240 minutes and freezed in programmable freezing box applying four types of freezing curves differing in temperature rate decline. There was used standard and by producer recommended 3. phase freezing curve, then 2. phase freezing curve, and 3. phase freezing curve with slower as well as rapid decline of temperature rate in freezing chamber, compared with standard freezing curve. The highest spermatozoa motility was found using 240 minutes of equilibration by +2.72% and +4.58% compared to other lengths of equilibration (P <0.05 to 0.01). The highest proportion of live spermatozoa was found using 120 minutes of equilibration (+6.87 % and +8.68 %). The highest average spermatozoa motility during heat test after thawing was achieved by using 2. phase freezing curve (from +2.97% to +10.37%, P <0.05), also in the proportion of live spermatozoa (from + 4.37% to +8.82%, P <0.01). When evaluating interaction between the length of equilibration and freezing curve (standard 3. phase and 2 . phase freezing curve), the highest average spermatozoa motility and proportion of live spermatozoa using 240 minutes of equilibration by both freezing curves was reached, there was no statistically significant differences. As well as, in all evaluated parts of this study the individual differences between ejaculate of bulls and within semen from one bull (P <0.05) as secondary effect were found.
To maintain good fertilization ability of semen during cryopreservation is necessary to increase the spermatozoa resistance against cold shock using addition of correct concentration of LDL into the commercially used diluents AndroMed and Bioxcell. Subsequently the fertilization ability of insemination dose is influenced by cooling, the length of equilibration and freezing. The length of equilibration 120 minutes and more as well as gentle way of freezing according to freezing curve, which ensures a gradual decrease of temperature in freezing chamber provided the higher average spermatozoa motility and proportion of live spermatozoa.
|
|
(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 (referee) ; Steininger, Andreas (referee) ; Kotásek, Zdeněk (advisor)
Při vývoji současných číslicových systémů, např. vestavěných systému a počítačového hardware, je nutné hledat postupy, jak zvýšit jejich spolehlivost. Jednou z možností je zvyšování efektivity a rychlosti verifikačních procesů, které se provádějí v raných fázích návrhu. V této dizertační práci se pozornost věnuje verifikačnímu přístupu s názvem funkční verifikace. Je identifikováno několik výzev a problému týkajících se efektivity a rychlosti funkční verifikace a ty jsou následně řešeny v cílech dizertační práce. První cíl se zaměřuje na redukci simulačního času v průběhu verifikace komplexních systémů. Důvodem je, že simulace inherentně paralelního hardwarového systému trvá velmi dlouho v porovnání s během v skutečném hardware. Je proto navrhnuta optimalizační technika, která umisťuje verifikovaný systém do FPGA akcelerátoru, zatím co část verifikačního prostředí stále běží v simulaci. Tímto přemístěním je možné výrazně zredukovat simulační režii. Druhý cíl se zabývá ručně připravovanými verifikačními prostředími, která představují výrazné omezení ve verifikační produktivitě. Tato režie však není nutná, protože většina verifikačních prostředí má velice podobnou strukturu, jelikož využívají komponenty standardních verifikačních metodik. Tyto komponenty se jen upravují s ohledem na verifikovaný systém. Proto druhá optimalizační technika analyzuje popis systému na vyšší úrovni abstrakce a automatizuje tvorbu verifikačních prostředí tím, že je automaticky generuje z tohoto vysoko-úrovňového popisu. Třetí cíl zkoumá, jak je možné docílit úplnost verifikace pomocí inteligentní automatizace. Úplnost verifikace se typicky měří pomocí různých metrik pokrytí a verifikace je ukončena, když je dosažena právě vysoká úroveň pokrytí. Proto je navržena třetí optimalizační technika, která řídí generování vstupů pro verifikovaný systém tak, aby tyto vstupy aktivovali současně co nejvíc bodů pokrytí a aby byla rychlost konvergence k maximálnímu pokrytí co nejvyšší. Jako hlavní optimalizační prostředek se používá genetický algoritmus, který je přizpůsoben pro funkční verifikaci a jeho parametry jsou vyladěny pro tuto doménu. Běží na pozadí verifikačního procesu, analyzuje dosažené pokrytí a na základě toho dynamicky upravuje omezující podmínky pro generátor vstupů. Tyto podmínky jsou reprezentovány pravděpodobnostmi, které určují výběr vhodných hodnot ze vstupní domény. Čtvrtý cíl diskutuje, zda je možné znovu použít vstupy z funkční verifikace pro účely regresního testování a optimalizovat je tak, aby byla rychlost testování co nejvyšší. Ve funkční verifikaci je totiž běžné, že vstupy jsou značně redundantní, jelikož jsou produkovány generátorem. Pro regresní testy ale tato redundance není potřebná a proto může být eliminována. Zároveň je ale nutné dbát na to, aby úroveň pokrytí dosáhnutá optimalizovanou sadou byla stejná, jako u té původní. Čtvrtá optimalizační technika toto reflektuje a opět používá genetický algoritmus jako optimalizační prostředek. Tentokrát ale není integrován do procesu verifikace, ale je použit až po její ukončení. Velmi rychle odstraňuje redundanci z původní sady vstupů a výsledná doba simulace je tak značně optimalizována.
|
|
Acceleration of Object Detection Using Classifiers
Juránek, Roman ; Kälviäinen, Heikki (referee) ; Sojka, Eduard (referee) ; Zemčík, Pavel (advisor)
Detekce objektů v počítačovém vidění je složítá úloha. Velmi populární a rozšířená metoda pro detekci je využití statistických klasifikátorů a skenovacích oken. Pro učení kalsifikátorů se často používá algoritmus AdaBoost (nebo jeho modifikace), protože dosahuje vysoké úspěšnosti detekce, nízkého počtu chybných detekcí a je vhodný pro detekci v reálném čase. Implementaci detekce objektů je možné provést různými způsoby a lze využít vlastnosti konkrétní architektury, pro urychlení detekce. Pro akceleraci je možné využít grafické procesory, vícejádrové architektury, SIMD instrukce, nebo programovatelný hardware. Tato práce představuje metodu optimalizace, která vylepšuje výkon detekce objektů s ohledem na cenovou funkci zadanou uživatelem. Metoda rozděluje předem natrénovaný klasifikátor do několika různých implementací, tak aby celková cena klasifikace byla minimalizována. Metoda je verifikována na základním experimentu, kdy je klasifikátor rozdělen do předzpracovací jednotku v FPGA a do jednotky ve standardním PC.
|
|
Optimization of Gaussian Mixture Subspace Models and Related Scoring Algorithms in Speaker Verification
Glembek, Ondřej ; Brummer, Niko (referee) ; Campbell,, William (referee) ; Burget, Lukáš (advisor)
Tato práce pojednává o modelování v podprostoru parametrů směsí gaussovských rozložení pro rozpoznávání mluvčího. Práce se skládá ze tří částí. První část je věnována skórovacím metodám při použití sdružené faktorové analýzy k modelování mluvčího. Studované metody se liší převážně v tom, jak se vypořádávají s variabilitou kanálu testovacích nahrávek. Metody jsou prezentovány v souvislosti s obecnou formou funkce pravděpodobnosti pro sdruženou faktorovou analýzu a porovnány jak z hlediska přesnosti, tak i z hlediska rychlosti. Je zde prokázáno, že použití lineární aproximace pravděpodobnostní funkce dává výsledky srovnatelné se standardním vyhodnocením pravděpodobnosti při dramatickém zjednodušení matematického zápisu a tím i zvýšení rychlosti vyhodnocování. Druhá část pojednává o extrakci tzv. i-vektorů, tedy nízkodimenzionálních reprezentací nahrávek. Práce prezentuje dva přístupy ke zjednodušení extrakce. Motivací pro tuto část bylo jednak urychlení extrakce i-vektorů, jednak nasazení této úspěšné techniky na jednoduchá zařízení typu mobilní telefon, a také matematické zjednodušení umožněňující využití numerických optimalizačních metod pro diskriminativní trénování. Výsledky ukazují, že na dlouhých nahrávkách je zrychlení vykoupeno poklesem úspěšnosti rozpoznávání, avšak na krátkých nahrávkách, kde je úspěšnost rozpoznávání nízká, se rozdíly úspěšnosti stírají. Třetí část se zabývá diskriminativním trénováním v oblasti rozpoznávání mluvčího. Jsou zde shrnuty poznatky z předchozích prací zabývajících se touto problematikou. Kapitola navazuje na poznatky z předchozích dvou částí a pojednává o diskriminativním trénování parametrů extraktoru i-vektorů. Výsledky ukazují, že při klasickém trénování extraktoru a následném diskriminatviním přetrénování tyto metody zvyšují úspěšnost.
|
|
Digital circuits test optimization by multifunctional components
Stareček, Lukáš ; Gramatová, Elena (referee) ; Kubátová, Hana (referee) ; Kotásek, Zdeněk (advisor)
This thesis deals with the possibilities of digital circuit test optimization using multifunctional logic gates. The most important part of this thesis is the explanation of the optimization principle, which is also described by a formal mathematical apparatus. Based on this apparatus, the work presents several options. The optimization of testability analogous to inserting test points and simple methodology based on SCOAP is shown. The focus of work is a methodology created to optimize circuit tests. It was implemented in the form of software tools. Presented in this work are the results of using these tools to reduce the test vectors volume while maintaining fault coverage on various circuits, including circuits from the ISCAS 85 test set. Part of the work is devoted to the various principles and technology of creating multifunctional logic gates. Some selected gates of these technologies are subject to simulations of electronic properties in SPICE. Based on the principles of presented methodology and results of multifunctional gates simulations, analysis of various problems such as validity of the modified circuit test and the suitability of each multifunctional gate technology for the methodology was also made. The results of analysis and experiments confirm it is possible for the multifunctional logic gate to optimize circuit diagnostic properties in such a way that has achieved the required circuit test parameter modification with minimum impact on the quality and credibility of these tests.
|
|
Evolutionary Approach to Synthesis and Optimization of Ordinary and Polymorphic Circuits
Gajda, Zbyšek ; Schmidt, Jan (referee) ; Zelinka,, Ivan (referee) ; Sekanina, Lukáš (advisor)
Tato disertační práce se zabývá evolučním návrhem a optimalizací jak běžných, tak polymorfních digitálních obvodů. V práci jsou uvedena a vyhodnocena nová rozšíření kartézského genetického programování (Cartesian Genetic Programming, CGP), která umožňují zkrácení výpočetního času a získávání kompaktnějších obvodů. Další část práce se zaměřuje na nové metody syntézy polymorfních obvodů. Uvedené metody založené na polymorfních binárních rozhodovacích diagramech a polymorfním multiplexovaní rozšiřují běžné reprezentace digitálních obvodů, a to s ohledem na začlenění polymorfních hradel. Z důvodu snížení počtu hradel v obvodech syntetizovaných uvedenými metodami je provedena evoluční optimalizace založená na CGP. Implementované polymorfní obvody, které jsou optimalizovány s využitím CGP, reprezentují nejlepší známá řešení, jestliže je jako cílové kritérium brán počet hradel obvodu.
|
guest ::
