|
The return on investment associated with construction of a residential building in Brno
Hovorková, Kamila ; Berger, Patrik (referee) ; Cupal, Martin (advisor)
This diploma thesis is focused on return on investment associated with the construction of a residential building in Brno. First, the author finds all costs associated with the construction of a residential building. Subsequently, the residential building will be evaluated according, as a complex and as an individual flats. It will also be based on the prevailing prices of rents calculated yield value of the house. Then the comparative method provides the prevailing price of apartments in the area and find out how much revenue would amount to, if the house is sold off for flats. Finally the resulting values are compared among themselves and determine the best option to deal with new residential building in Brno.
|
|
Appraisal and assessment of development options immovable manufacturing facility open market value
Hanzlovská, Nikola ; Gardášová, Alena (referee) ; Hlavinková, Vítězslava (advisor)
The main objective of this diploma thesis is to determine the usual price for a manufacturing facility, by using valuation methods. A secondary aim was to determine best possible use of the building and the development possibilities, according to the results from valuation. Diploma thesis is divided to theoretical and practical part. In theoretical part are detailed valuation methods divided to two main parts, the valuation by price regulation and the market valuation. In the beginning the pratical part describes the location and property. Furthermore I applied valuation method for manufacturing complex. At the conclusion is recapitulation and analysis of results, where are considered diferences and the usual price is set. The last chapter is devoted to the best use of complex and consideration of development possibilities.
|
|
Automata in Infinite-state Formal Verification
Lengál, Ondřej ; Jančar, Petr (referee) ; Veith, Helmut (referee) ; Esparza, Javier (referee) ; Vojnar, Tomáš (advisor)
Tato práce se zaměřuje na konečné automaty nad konečnými slovy a konečnými stromy, a použití těchto automatů při formální verifikaci nekonečně stavových systémů. Práce se nejdříve věnuje rozšíření existujícího přístupu pro verifikaci programů které manipulují s haldou (konkrétně programů s dynamickými datovými strukturami), jenž je založen na stromových automatech. V práci je navrženo několik rozšíření tohoto přístupu, jako například jeho plná automatizace či jeho rozšíření o podporu uspořádaných dat. V práci jsou popsány nové rozhodovací procedury pro dvě logiky, které jsou často používány ve formální verifikaci: pro separační logiku a pro slabou monadickou druhořádovou logiku s následníkem. Obě tyto rozhodovací procedury jsou založeny na převodu jejich problému do automatové domény a následné manipulaci v této cílové doméně. Posledním přínosem této práce je vývoj nových algoritmů k efektivní manipulaci se stromovými automaty, s důrazem na testování inkluze jazyků těchto automatů a manipulaci s automaty s velkými abecedami, a implementace těchto algoritmů v knihovně pro obecné použití. Tyto vyvinuté algoritmy jsou použity jako klíčová technologie, která umožňuje použití výše uvedených technik v praxi.
|
|
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.
|
|
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.
|
|
Measuring the Performance of Human Capital in the Building Company
BURIÁNKOVÁ, Irena
The main objective of this work is to measure the performance of human capital in the chosen building company. Another goal is to bring suggestions for improvement that will lead to increasing to the efficiency of human capital. The thesis consists of two parts. The theoretical part provides information from the Czech and foreign literature. Knowledge of theoretical part is then applied to the practical part. Basic information about the company is included in the practical part and comparison with competing businesses is also mentioned. But the most attention is paid to the performance of human capital, which is measured by labour productivity. Two indicators are selected for the calculation of labour productivity - sales and added value. Both indicators are compared in two ways; the first is average number of employees and the second personnel costs. Calculations are performed by internal resource of the company for the period 2007-2014.
|
|
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.
|
|
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.
|
|
Creating Calculation System of Indirect Cost in the Company and Evaluation According to Informative Ability of Financial Statements
KOHOUTOVÁ, Jana
The aim of this thesis is to create a calculation system of indirect costs in the commercial company. This calculation could be used in the accounting system of the company and thanks to that would be indirect cost divided automatically into individual items of goods. The calculation system is based on particular coefficients which are assigned in individual types of costs. New created system is tested on the specific sample of goods from the company. It is good to see weaknesses and deficiencies in suggested calculation. Conclusions from this analyse are specific values of profitability ratio Return on sales in every goods. The management of the company has to decide whether to revalue their goods or not. The decision is connected also with margin groups, in group A (which includes main goods) they could afford to move with selling prices. This prediction is based on outcome from competition analysis.
|
guest ::
