|
Evoluce XML schémat
Klímek, Jakub ; Holubová, Irena (referee) ; Nečaský, Martin (advisor)
In the present work we study possibilities in the area of XML schema evolution. The thesis contains a survey of conceptual modeling of XML data, schema matching and XML schema evolution. A new semiautomatic technique of connecting XML schemas to a conceptual model based on XSEM, a model for conceptual modeling of XML data based on MDA, is presented. It makes the design and maintenance of a set of XML schemas in an information system simpler and easier. In addition, the thesis contains a set of evolution operations allowing changes in the conceptual model to be automatically propagated to the connected XML schemas.
|
|
Rozšíření SOA do platformy Cloud Computing
Qylafku, Denis ; Svatá, Vlasta (advisor) ; Toman, David (referee)
The aim of my diploma thesis is to introduce cloud computing as an alternative to traditional internal information technology and its benefits for a company. Diploma thesis focuses on three main goals. The first one concerns advantages and disadvantages of cloud computing in comparison to internal information technology. The second one is identification of possible processes and services available for migration into cloud computing. The third goal of the diploma thesis is development of investment analysis which compares not only initial costs on internal information technology and cloud computing, but also costs of both variants within three years. The main contribution of the diploma thesis is to define whether the cloud computing is economically beneficial for the company or not. The argument for categorizing cloud computing is in the reason that the company does not have to use all services within the cloud computing but only these, which the company considers as the most beneficial from cost and operation point of view. Another contribution of the diploma thesis is deployment of data, services and processes into a chosen cloud computing platform. Investment analysis allows through cost comparison of both options understand whether it is more beneficial to choose cloud computing or internal Information Technology platform. During this decision making the company also considers its business character and the fact whether the company operates locally or globally.
|
|
The Fiscal Impact of changes in European Trading System with emission allowances in Czech Republic
Novotný, Jakub ; Bolcha, Peter (advisor) ; Katreniaková, Dagmara (referee)
In this paper the fiscal impact of changes in European trading system with emission in Czech Republic is estimated. The first part is focused on theoretical background. The changes are described from the perspective of different sectors and also from the general point of view. The biggest change is the allocation of emission allowances via auctions, that's why the first part of this paper is completed by the analysis of auctions that have already been on the market with emission allowances. Empirical key part of the paper is focused on the estimation of the future price of emission allowances. For the estimation of parameters of key price determinants I use the method of ordinary least squares. The parameters are refined by the ARCH model. With the estimated future price is the fiscal impact in Czech Republic estimated and interpreted in the last part of this paper.
|
|
Weak arithmetic theories and their models.
Glivický, Petr ; Pajas, Petr (referee) ; Mlček, Josef (advisor)
In the present thesis we study arithmetical theories in the language of arithmetic L extended by one binary functional symbol for exponentiation. For arbitrary theory in the language of arithmetic it is possible todefine its extension in this new language Le by adding axioms postulatingbasic properties of exponentiation. We consider two axiomatic systems for exponentiation - Exp1 and Exp2. Thus exponentiation is always defined axiomatically in the theories we deal with. We show that in such theories the Fermat's last theorem is unprovable no matter how strong the original theory is. In the thesis we develop a general method of construction of exponential function. This method subsists of "splitting some original exponential function in shorter segments and of rearranging them to form new exponential function which satisfies required properties. As an application of this method three independence results for stronger variants of negation of Fermat's last theorem are prooved. As a first result we construct model of theory Ar + Exp1 defined in the thesis in which the equation x + y = z has nonzero solution for cofinally many 's. The second result allows to expand an arbitrary model of I1 to model of theory Exp2 in which again Fermat's theorem is violated by cofinally many 's. The third result is a construction...
|
|
Efficient competency model
Hoffmannová, Anna ; Štikar, Jiří (referee) ; Riegel, Karel (advisor)
Methodology of competencies developed from researches focused on determining the properties and characteristics which are involved in the distinction between average and superior performance. A contribution of competency model is that it helps employees to identify the success criteria required to be successful in their current or future job. Determination of requirements for certain positions allows subsequently to compare a current level of skills of employees with the required ones. An effective competency model supports and contributes to the objectives strategy goals of the organization. The theoretical part of the work summarizes the current approaches and findings on this issue. In the practical part, we test and verify competency model. Using a revision of one competency model and creating a new model subsequently we check whether the model used in the company reflects really the strategic needs and whether is linked to others HR processes. For this purpose, the model is subjected to complete analysis that determines gaps and opportunities for improvement. Results are implemented in the solution of the new situation. The work emphasizes the idea that competency model is not universal and the effectiveness of their applications lies in their abilities to be identified, defined, understood and...
|
|
Abstract economic model with interface for user-defined agents
Hlava, Dalibor ; Zajíček, Ondřej (advisor) ; Majerech, Vladan (referee)
Title: Abstract economic model with interface for user-defined agents Author: Dalibor Hlava Department: Department of Theoretical Computer Science and Mathematical Logic Supervisor: Mgr. Ondřej Zajíček, Department of Theoretical Computer Science and Mathematical Logic Abstract: The work comprises of simple economical, fully customizable model, that allows user or his agent to interact with world to maximize selected key performance indicators (happiness or population growth). Keywords: simulation, model, GUI
|
|
Infrastructure for Deployment of Heterogeneous Component-based Applications
Šafrata, Pavel ; Hnětynka, Petr (referee) ; Bulej, Lubomír (advisor)
Deployment is a process which involves all actions performed with an application after it is released. Traditionally, deployment has been addressed for each component model separately (if at all), even though most of the concepts are the same. The Deployment and Configuration of Component-based Applications Specification released by OMG proposes a unified approach that can be tailored to different component models. This thesis focuses on the execution phases of the deployment process. It presents a generic deployment runtime based on the OMG specification. The main objective is to elaborate support for multiple component models and subsequently support for heterogeneous applications consisting of components implemented in different component models. This has been achieved through a system of extensions which allows isolating component model specifics from the runtime. Even though the OMG specification was not originally intended to support heterogeneous applications, the implementation deviates from it only in a few points. In all such cases, the thesis presents an analysis of the situation and rationale for the deviation.
|
|
The Macro-finance Model of the Czech Economy
Urbánková, Jana ; Baxa, Jaromír (advisor) ; Cahlík, Tomáš (referee)
The thesis introduces the macro-finance model of the Czecheconomy by setting the VAR model, which includes components representing theyield curve estimatedwithin theNelson-Siegel framework. The thesis contributes to the current streamof researchby including both the policy interest rateand the interbank interest rateas endogeneous variables in the VAR model, which allows for differentiation between monetarypolicy shocks and shocks to interbank rates. The above-mentioned model then serves as a frameworkfor analyzing interactions betweenfinancial and macroeconomicvariables in the period from 2000 to 2015. The thesis pays special attention to theperiod 2008-2013 and shows that the introduction of the FX commitment in November 2013 had a significant positive effect on GDP and inflation within 12 months after the introduction of the FX commitment. The thesis concludes that exchangeratemovements affectedalmost uniformly short-term and long-terminterest rates, and thus the yield curve slope stayed largelyunaffected by exchangeratemovements.
|
|
Determination of floodplain in Kyjovka river at km 71 to km 74
Kašpar, Tomáš ; Roušar,, Ladislav (referee) ; Zachoval, Zbyněk (advisor)
The diploma thesis discusses the current status of watercourse Kyjovka and a proposal for appropriate protection measures of the territory. The selected section starts at river-km 71,338 and ends at river-km 74,443. The selected part of the watercourse runs through the town of Koryčany. This thesis examines the selected section of Kyjovka split into two subsections. That allows for detailed presentation of several proposed appropriate measures to be applied at critical spots in the selected subsections. The calculation of the watercourse model and its capacity with the water level progresses for selected N(y.o.) flow rates were processed in HEC-RAS5.0.1. program. Proposed flood protection measures are incorporated in the drawings.
|
|
A Study of the Feasibility of Business Plan of Pre-paid Model Tasting of Moravian Wine
Ignáth, Kateřina ; Lešetický, Ondřej (advisor) ; Dvořák, Jiří (referee)
The thesis aims to assess the feasibility of the business plan of pre-paid model of tasting of Moravian wine and judge whether it pays off to invest into this business plan. The feasibility study serves to confirm the execution of the business plan. The study describes the establishment of limited liability company and activities that are related to its establishment. It analyzes the environment through PEST analysis and Porter's five forces model. Market research is conducted via a survey, which serves as a basis for determination of an estimate of potential customers. Marketing mix allows to describe the product, pricing, distribution, promotion plan and marketing communications. The final price is determined using the calculation formula. The opening balance sheet of the company is prepared within this thesis. The amount of capital, the costs and sources of funding are determined. The financial plan includes estimated revenue, profit, return on equity and cash flow plan for the first two years of the life of the company.
|
guest ::
