|
Systém ukazatelů zdanění mezinárodních společností v České republice
Janský, Petr
Metodika definuje soubor ukazatelů hodnotících zdanění mezinárodních společností působících v České republice. Tyto ukazatele identifikují možné způsoby snižování daňového základu firem a převádění zisků do zahraničí, což umožňuje rozpoznat firmy, jejichž daňová politika nemusí být v souladu s nejlepší praxí. Extrémní hodnoty ukazatelů mohou sloužit jako podnět pro další šetření firmy ze strany státních orgánů. Metodika tak doplňuje stávající analytické nástroje Generálního finančního ředitelství v oblasti zdanění mezinárodních společností.
|
|
Photocatalytic Decomposition of Wastewater from the Production of Explosives
Brom, Petr ; Brožek, Vlastimil ; Březina, Václav ; Hlína, Michal ; Mastný, L. ; Novák, M.
Water stabilized plasma generator WSP® H-500, operating on the principle of Gerdien arc was used for the photocatalytic decomposition of furazan- and picraminate-based explosives. The generator emits intensive radiation in the range of 300-660 nm, which allows not only to activate photocatalysts based on TiO2, but also other semiconductor oxides with a narrower band gap, such as tungsten oxide. The photocatalytic decomposition of sewage and slurries containing the potassium salt of 4-hydroxy-4,6-dihydro-5,7- dinitrobenzofurazane-3-oxide (KDNBF) or sodium picraminate (NaC6H4N3O5) was performed using the anatase paste and newly developed photocatalyst produced by the company Precheza a.s. The photocatalytic reactor was built using a quartz tube coil with an internal volume of 650 ml, with a nominal size of the irradiated area of 7.5 dm2 (value reduced by the area of the gaps between coil turns) to enable the flow the processing solution or suspension of up to 10 l / min. The centre of the coil is exposed to the plasma jet with the intensity\nof 80 kW; of which 15 kW is transformed into the light radiation. 11% of the radiation output was used for the presented experiments. The time of exposition was 45 mins and 20 l of solution were treated. In the case of KDNBF, 90% of the compound was decomposed. Moreover, 100% of sodium picraminate were decomposed after 15 minutes into low-molecular inorganic compounds. Advantage of the assembly is the ability to treat highly dangerous chemical compounds in a closed cycle and test selective catalyst
|
|
Posouzení přínosu rekonverze z hlediska hodnoty církevního objektu ve vybrané lokalitě
Strnková, Markéta ; Klika, Pavel (oponent) ; Hlavinková, Vítězslava (vedoucí práce)
Diplomová práce se zabývá rekonverzí církevního objektu ve vybrané lokalitě. Na začátku jsou v práci popsány církevní objekty a jejich vliv na okolí, struktura římskokatolické církve a vývoj církevního majetku v průběhu historie. To je doplněno o základní pojmy a možné postupy oceňování kulturních památek. V praktické části se zabývám rekonverzí církevního objektu, konkrétně klášterem dominikánů ve Znojmě. Na základě analýzy Znojma a kláštera došlo k navržení možných využití kláštera. Z nich byly vybrány dvě varianty, které byly porovnány. Z těchto dvou variant byla zvolena jedna jako nejvhodnější možnost pro další využití.
|
|
Automata in Infinite-state Formal Verification
Lengál, Ondřej ; Jančar, Petr (oponent) ; Veith, Helmut (oponent) ; Esparza, Javier (oponent) ; Vojnar, Tomáš (vedoucí práce)
The work presented in this thesis focuses on finite state automata over finite words and finite trees, and the use of such automata in formal verification of infinite-state systems. First, we focus on extensions of a previously introduced framework for verifi cation of heap-manipulating programs-in particular programs with complex dynamic data structures-based on tree automata. We propose several extensions to the framework, such as making it fully automated or extending it to consider ordering over data values. Further, we also propose novel decision procedures for two logics that are often used in formal verification: separation logic and weak monadic second order logic of one successor. These decision procedures are based on a translation of the problem into the domain of automata and subsequent manipulation in the target domain. Finally, we have also developed new approaches for efficient manipulation with tree automata, mainly for testing language inclusion and for handling automata with large alphabets, and implemented them in a library for general use. The developed algorithms are used as the key technology to make the above mentioned techniques feasible in practice.
|
|
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.
|
|
Analysis and Testing of Concurrent Programs
Letko, Zdeněk ; Lourenco, Joao (oponent) ; Sekanina, Lukáš (oponent) ; Vojnar, Tomáš (vedoucí práce)
The thesis starts by providing a taxonomy of concurrency-related errors and an overview of their dynamic detection. Then, concurrency coverage metrics which measure how well the synchronisation and concurrency-related behaviour of tested programs has been examined are proposed together with a~methodology for deriving such metrics. The proposed metrics are especially suitable for saturation-based and search-based testing. Next, a novel coverage-based noise injection techniques that maximise the number of interleavings witnessed during testing are proposed. A comparison of various existing noise injection heuristics and the newly proposed heuristics on a set of benchmarks is provided, showing that the proposed techniques win over the existing ones in some cases. Finally, a novel use of stochastic optimisation algorithms in the area of concurrency testing is proposed in the form of their application for finding suitable combinations of values of the many parameters of tests and the noise injection techniques. The approach has been implemented in a prototype way and tested on a set of benchmark programs, showing its potential to significantly improve the testing process.
|
|
Vliv rekonverze na hodnotu bývalého církevního objektu na jižní Moravě
Sýkorová, Michaela ; Gardášová, Alena (oponent) ; Hlavinková, Vítězslava (vedoucí práce)
Diplomová práce se zabývá oceněním bývalé fary v obci Přítluky na jižní Moravě. Základní myšlenkou je vyhodnotit vliv, který má změna účelu užívání spojená s rekonstrukcí na hodnotu objektu. A to z pohledu tržního přístupu i platných oceňovacích předpisů. Nejprve je v práci rozebrán teoretický základ dané problematiky jako pojmy, legislativa a postupy oceňování. Následně je charakterizována konkrétní situace lokality a objektu a v poslední části je popsána a zdůvodněna metodika vlastního ocenění. V závěru jsou výsledky vyhodnoceny a okomentovány.
|
|
Příspěvky sekcí (NACE-CZ) k tvorbě hrubé přidané hodnoty
BEDNÁŘOVÁ, Monika
Cílem této diplomové práce bylo zhodnocení příspěvků sekcí (NACE-CZ) k tvorbě hrubé přidané hodnoty. V první části této práce byly popsány teoretické pojmy související s hrubou přidanou hodnotou národního hospodářství. K výpočtům byly použity analytické postupy, které lze využít pouze v případě, že se jedná o aditivní vazbu mezi jednotlivými faktory. Na základě postupů uvedených v metodice došlo v praktické části ke zhodnocení příspěvků sekcí k tvorbě hrubé přidané hodnoty národního hospodářství. V daném časovém horizontu příspěvky institucionálních sektorů i skupin oddílů v členění dle úrovně technologie vykázaly určitou závislost na reálném hospodářském cyklu. Ačkoliv nejsilnějším institucionálním sektorem jsou nefinanční podniky, tak v době krize byly spolu s vládními institucemi zasaženy nejvíce. Naopak silnou pozici v době krize vykázal sektor finančních institucí. Co se týče seskupení oddílů dle úrovně technologie, nejvíce k hrubé přidané hodnotě národního hospodářství přispívají skupiny B1 a B2. U všech skupin byl zaznamenán vliv hospodářského cyklu, ale skupina C dle výsledků nereagovala až tak citlivě jako ostatní skupiny.
|
|
Intradenní obchody
BOHINSKÝ, Petr
Tato práce je zaměřena na porovnání výnosnosti intradenních a krátkodobých obchodů za použití technické analýzy. Aplikací metody křížení klouzavých průměrů v období 1. ledna 2014 do 1. srpna 2016. Obchodování probíhá na základě nákupních a prodejních signálů generovaného technického indikátoru v investičním programu Alapri a XTB. Obchodovány jsou indexy DAX30, S§P100 a komodity zlato a ropa. Teoretická část práce se věnuje finančnímu trhu, komoditnímu trhu, popisuje intradenního a pozičního obchodníka včetně jejich výhod a nevýhod. Dále se zabývá technickou analýzou a vysvětluje základní investiční výrazy. Praktická část práce se věnuje popisu výsledků vymodelovaných na reálných historických datech. Na základě backtestovaných výsledků lze určit, že metoda křížení klouzavého průměru s hodnotou instrumentu je výhodnější pro krátkodobé obchody, v modelovaném případě na denním grafu než pro intradenní obchody modelovaným na čtyřhodinovém grafu. Dále bylo při modelaci zjištěno, že je výnosnější nakoupit instrumenty a nechat je za daných podmínek zhodnotit finančním trhem. Tedy nakoupit je na začátku investičního období a na konci období prodat bez dalších nákupních a prodejních operací.
|
|
Oceňování rodinného domu
VRBOVÁ, Denisa
Tato práce se zabývá oceňováním rodinného domu. Trh nemovitostí a oceňovaná nemovitost se nachází v mikroregionu Lipno. V úvodní části je popsán trh nemovitostí, platná legislativa a základní pojmy týkající se oceňování a nemovité věci. Dále v teoretické části jsou popsány metody a přístupy na základě tržního principu a cenového předpisu. Dále v práci je popsán druh lidí, kteří oceňují nemovitost, mezi ně patří znalci a odhadci. V úvodu praktické části je popsán trh nemovitostí na Lipensku. Je porovnána kupní cena a odhadní cena rodinného domu v okresu Prachatice a Český Krumlov. Výsledkem porovnání okresů vychází, že větší poptávka po nemovitých věcí je v okresu Český Krumlov. Nabádá k tomu i fakt, že v okrese Český Krumlov je větší počet převodů rodinných domů než v okrese Prachatice. Ve druhé části práce je popsán vybraný rodinný dům, který se nachází v Černé Pošumaví v okrese Český Krumlov. Rodinný dům je oceněn porovnávací, výnosovou, nákladovou metodou a cenovým předpisem. Kromě tržní ceny je zjištěna cena reprodukční a administrativní a výnosová hodnota.
|
host ::
