National Repository of Grey Literature 17,334 records found  beginprevious21 - 30nextend  jump to record: Search took 0.56 seconds. 

Comparing the Price of a Transportation Structure and the Actual Costs Incurred in Various Stages of Construction
Nezbeda, Jiří ; Zímová, Štěpánka (referee) ; Kosová, Jaroslava (advisor)
This diploma thesis deals with the calculation of the cost of the building work in order to create the price, which at the stage of the contract becomes a selling price, and the costs are fixed as a budget. The subject of this work is to monitor the development of costs in time so that the cost does not exceed the budget and the construction did not get into the negative result. Then set the price by its own methods (item budget, calculation according to budget indicators) and compare the prices and costs thus obtained from different phases of construction between each other and determine the differences. In this work is monitored and compared the cost of a construction contract and its costs in the construction stages. In the practical part,is used the method of direct comparison of cost and price values over time, in the form of different outputs from the controlling program and outputs from compiled item budget and the calculation of the construction. Analyzing the differences between these costs and their evolution over time by more detailed examination of item budgets and cost calculations, they determine the origin of these deviations. In conclusion, is proposed measures for a particular transport structure whitch was handled by the author as"master and co-ordinator of the construction".

Assessing the benefits of reconversion on the value of church building
Strnková, Markéta ; Klika, Pavel (referee) ; Hlavinková, Vítězslava (advisor)
The thesis focus on the reconversion church building in the selected location. At the beginning of the work described church buildings and their influence on the surrounding, the structure of the Roman Catholic Church and the development of church property during the history. This is complemented by theoretical terms and possible methods of valuing cultural monument. The practical part deals with the reconversion church building, specifically the Dominican monastery in Znojmo. Based on an analysis of Znojmo and monastery was suggesting possible use of the monastery. Of these, two variants were selected and were compared. Of these two options, one was chosen as the most suitable option for future use.

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.

Analysis and Testing of Concurrent Programs
Letko, Zdeněk ; Lourenco, Joao (referee) ; Sekanina, Lukáš (referee) ; Vojnar, Tomáš (advisor)
V disertační práci je nejprve uvedena taxonomie chyb v souběžném zpracování dat a přehled technik pro jejich dynamickou detekci. Následně jsou navrženy nové metriky pro měření synchronizace a souběžného chování programů společně s metodologií jejich odvozování. Tyto techniky se zejména uplatní v testování využívajícím techniky prohledávání prostoru a v saturačním testování. Práce dále představuje novou heuristiku vkládání šumu, jejímž cílem je maximalizace proložení instrukcí pozorovaných během testování. Tato heuristika je porovnána s již existujícími heuristikami na několika testech. Výsledky ukazují, že nová heuristika překonává ty existující v určitých případech. Nakonec práce představuje inovativní aplikaci stochastických optimalizačních algoritmů v procesu testování vícevláknových aplikací. Principem metody je hledání vhodných kombinací parametrů testů a metod vkládání šumu. Tato metoda byla prototypově implementována a otestována na množině testovacích příkladů. Výsledky ukazují, že metoda má potenciál vyznamně vylepšit testování vícevláknových programů. 

Determination of the company value
TALÍŘOVÁ, Klára
This diploma thesis was focused on determination of the company value in the chosen company. For this purpose was chosen two mostly used methods on the Czech market. First one was method of discounted cash flow and the second one was method of the economic added value. Main sources for all the calculation were annual reports and financial statements for the period of five last years from 2011 to 2015. These basis were used for developing a prediction for the following five year period till 2020.

The contributions of the sections (NACE-CZ) to the creation of gross value added
BEDNÁŘOVÁ, Monika
The aim of this thesis was to evaluate the contributions of the sections (NACE-CZ) to the creation of gross value added. The first part of this thesis described the theoretical concepts relating to national economic gross value added. Analytical processes were used for the calculations, which may be used only if we are dealing with an additive link between individual factors. The sections' contributions to the creation of national eco-nomic gross value added were evaluated in the practical part, on the basis of the proc-esses set forth in the methodology. In the given time horizon, contributions by institu-tional sectors and groups of sections classified according to the level of technology showed a certain dependency on the actual economic cycle. Although the strongest in-stitutional sector is non-financial enterprises, they were the ones most affected during the crisis period, together with government institutions. On the contrary, the financial institution sector showed a strong position during the crisis period. In terms of the grouping of the sections according to the level of technology, the greatest contribution to national economic gross value added is by groups B1 and B2. The influence of the economic cycle was noted in all the groups but, according to the results, group C did not react quite as sensitively as the other groups.

Single-Party Regimes in Comparison: China, Malaysia and Singapore
Klapal, Petr ; Buben, Radek (advisor) ; Koubek, Jiří (referee)
Diploma thesis Single-Party Regimes in Comparison: China, Malaysia and Singapore is devoted to non-democratic regimes in which one party dominates and which legitimize by the concept of Asian values. The first part deals with the most important typologies and to approaches to explore single-party regimes. The second part introduced changes and the very concept of Asian values according to which democracy is unsuitable for Asian countries because of cultural differences. Other parts are devoted to describe the regimes in China, Malaysia and Singapore, which are classified into different typologies. The aim of the work is to show that Asian values don't explain the genesis of these regimes or their forms of non- democratic governance.

Intraday trades
BOHINSKÝ, Petr
This thesis is focused on comparison of intraday and short term trades profitability using technical analyses by application the method of crossing moving averages between January 1st 2014 and August 1st 2016. Trading takes place on the basis of buying and selling signals of a generated technical indicator in the investment program Alapri and XTB. The traded indexes are DAX 30, S§P 100 and commodities gold and oil. The theoretical part of this work is devoted to the financial market, commodity market, describes intraday and positional trader and advantages as well as disadvantages of these markets. It also deals with technical analyses and explains basic investment terms. Practical part of the work is devoted to a description of the results modeled on real historical data. It is possible to determine on the base of back-tested results that the method of crossing moving average with the value of the instrument is better for short-term trades; in modeled example in daily graph than for intraday trades modeled in four-hour graph. Furthermore when modeling there was found that it is more profitable to buy instruments and let them be valorized by the financial market under given conditions. It means to buy them at the beginning of the investment period and sell at the end of this period without any buying and selling operations.

Application of Queueing Theory
VÁŇOVÁ, Eliška
The goal of this thesis was to understand Queueing Theory and use it for analysis of queueing system of hypermarket company PZV. Theoretical part is consists of basic iformations which is necessary to know for application of queueing theory. First chapter is about random variables, random event, random proces, stochastic and Poisson processes and Markov chains. Then was possible to describe queueing theory basic characteristics, parameters, analy-sis, classification and basic models. In the practical part was from the beginning analyze development of custo-mers going through cashier zone. On the base of analysis were customers divided into 4 groups. For these groups were counted characteristics and parameters, next was analyzed the system, but because data were too inaccurate, it was necessary to use different values for the groups and to count analysis for these values. The last step was to find number of cashiers to make system optimal. The result, it was 4 ca-shiers, was unfortunately not accurate. For better results it would be necessary to have more detail data.

Portfolio diversification
ŠÍP, Martin
The goal of this bachelor thesis is to show how the choice of stocks impacts the portfolio diversification in relation to risk and return. The risk was calculated as standard deviation and historical return rate was considered. The theoretical part explains basic terms related with portfolio diversification, Markowitz model, capital stock and most important factors that lead to the optimal portfolio creation such as return, risk and covariance. The practical part explains in detail, how to create an optimal portfolio. Ten companies from different sectors were randomly chosen for this bachelor thesis. These companies' shares are traded on the New York Stock Exchange. The covariance of these shares is lower than one. The next step was to calculate historical return rate and historical risk of portfolios. The highest value of historical return rate was 2.31 % and the lowest value of historical risk achieved 22.77 %. Subsequently, the efficient frontier was determined. The efficient frontier is the set of optimal portfolios that offers the highest expected return for a defined level of risk or the lowest risk for a given level of expected return. The lowest value of portfolio risk was 2.97 % with a return of 1.38 % and the highest value of portfolio risk was 4.03 % with a return of 2.13 %. The investor chooses the portfolio which maximizes his expected benefit.