The application of the finite integral of multiple variable functions is penetrating into more and more industries and science disciplines. The demands placed on solutions to these problems (such as high accuracy or high speed) are often quite contradictory. Therefore, it is not always possible to apply analytical approaches to these problems; numerical methods provide a suitable alternative. However, the ever-growing complexity of these problems places too high a demand on many of these numerical methods, and so neither of these methods are useful for solving such problems. The goal of this thesis is to design and implement a new numerical method that provides highly accurate and very fast computation of finite integrals of multiple variable functions. This new method combines pre-existing approaches in the field of numerical mathematics.

The Asset Dividing Appraisal Model (ADAM) enables the appraisal of cash flows resulting from direct real estate investments. The model is an evaluation tool, which takes capital markets and the specific characteristics of real estate as an asset (heterogeneity, site-dependency, eternal land-yield, etc.) into consideration, while also considering different ownership approaches of real estate in the European Union. Thus, it contributes to the harmonization of capital markets and of direct real estate investment evaluation as intended by the "European Directive on Markets in Financial Instruments 2004/39/EC". ADAM is based on financial mathematical instruments and on the property valuation methods of different cultural areas. It combines continental European (Germ an Gross Rental-Method) and international (Discounted Cash Flow-Method) property valuation approaches. Although it is scientifically reasonable to take property valuation approaches into account, the aim of the model is not to valuate a property or to quantify an objective market value but to evaluate cash-flows resulting from direct real estate investments. A mathematical analysis based on empirical market data confirmed the validity of the methodology of the model. In the course of the analysis the major input variables that determine the results of the model and how the model reacts to marginal deviations of input data, were quantified. This was done using partial derivations and a simulation study. In Czech Republic a building isn't actually considered as a part of the underlying plot. Consequently, differing persons or institutions can be owner of the building, as of the appropriate plot. From 2014 on, a suitable reformation of the Czech Civil Code is supposed to cause a consolidation of real estate property. Czech law is going to be adjusted to German law, which considers plot and building as an economic entity. This consolidation of real estate could be an approach of the introduced model.

Tato disertační práce zavádí jednostranné gramatiky s nahodilým kontextem jako řízené gramatiky založené na bezkontextových gramatikách. V těchto gramatikách je ke každému pravidlu přiřazena množina povolujících symbolů a množina zakazujících symbolů a množina pravidel je rozdělena na množinu levých pravidel s nahodilým kontextem a množinu pravých pravidel s nahodilým kontextem . Levým pravidlem s nahodilým kontextem lze přepsat neterminál pokud se všechny povolující symboly vyskytují vlevo od přepisovaného neterminálu a žádný zakazující symbol tam přítomen není. Pravé pravidlo s nahodilým kontextem lze aplikovat analogicky, ale ona kontrola na přítomnost a nepřítomnost symbolů je provedena doprava od přepisovaného neterminálu. Práce je rozdělena na tři části. První část uvádí motivaci za zavedením jednostranných gramatik s nahodilým kontextem a umisťuje materiál pokrytý v této práci do vědeckého kontextu. Poté dává přehled základů teorie formálních jazyků a některých méně známých oblastí, jejichž znalost je nutná pro pochopení studovaného tématu. Druhá část tvoří jádro práce. Formálně definuje jednostranné gramatiky s nahodilým kontextem a studuje je z mnoha pohledů. Mezi studovaná témata patří generativní síla, vztah k jiným typům gramatik, redukce, normální formy, nejlevější derivace, zobecněné a LL verze těchto gramatiky. Třetí část této práce zakončuje diskusi několika poznámkami. Mezi ně patří poznámky týkající se aplikovatelnosti zavedených gramatik v praxi, bibliografie a otevřených problémů.

Methodology and issues of data transformation and its information value estimation during the integration of the heterogenous information sources PhDr. Ivan BARTOŠ Abstract This study focuses mainly on the data and information transformation issue. This topic is currently critical in several scientific and commercial areas. Information value, information quality and the quality of the source data differs between the various systems. This is not only due to the different topologies of the information sources but also because of its different understanding and a manner of storing the information describing the entity of the enterprise. Such information systems, respectively database systems in the scope of the thesis, could perform well as the stand alone systems. The issue appears in the moment when such heterogeneous systems are required to be integrated and the information shall be migrated between each other. The thesis is logically divided into four major parts based on these issues. The first part describes the methods that can be used to classify the data quality of the source system (the one to be integrated) from which the information can be extracted. Based on assumption of the common lack of project and system documentation hereby introduced methods can be used for such qualification even when the...

This thesis focuses on the methodology of controlling dynamic systems in real time. It contents a review of the control theory basis and the elementary base of regulators construction. Then the list of matemathic formulaes follows as well as the math basis for the system simulations using a difeerential count and the problem of difeerential equations solving. Furthermore, there is a systematic approach to the design of general regulator enclosed, using modern simulation techniques. After the results confirmation in the Matlab system, the problematics of transport delay & quantization modelling follow.

S pokroky v teorii počtu neceločíselného řádu a také s rozšířením inženýrských aplikací systémů neceločíselného řádu byla značná pozornost věnována analogové implementaci integrátorů a derivátorů neceločíselného řádu. Je to dáno tím, že tento mocný matematický nástroj nám umožňuje přesněji popsat a modelovat fenomén reálného světa ve srovnání s klasickými „celočíselnými“ metodami. Navíc nám jejich dodatečný stupeň volnosti umožňuje navrhovat přesnější a robustnější systémy, které by s konvenčními kondenzátory bylo nepraktické nebo nemožné realizovat. V předložené disertační práci je věnována pozornost širokému spektru problémů spojených s návrhem analogových obvodů systémů neceločíselného řádu: optimalizace rezistivně-kapacitních a rezistivně-induktivních typů prvků neceločíselného řádu, realizace aktivních kapacitorů neceločíselného řádu, analogová implementace integrátoru neceločíselného řádů, robustní návrh proporcionálně-integračního regulátoru neceločíselného řádu, výzkum různých materiálů pro výrobu kapacitorů neceločíselného řádu s ultraširokým kmitočtovým pásmem a malou fázovou chybou, možná realizace nízkofrekvenčních a vysokofrekvenčních oscilátorů neceločíselného řádu v analogové oblasti, matematická a experimentální studie kapacitorů s pevným dielektrikem neceločíselného řádu v sériových, paralelních a složených obvodech. Navrhované přístupy v této práci jsou důležitými faktory v rámci budoucích studií dynamických systémů neceločíselného řádu.

This thesis studies regulated grammars, their fundamentals and expressing power regarding Chomsky hierarchy of languages. Programmed grammars are investigated in more depth considering a few types of leftmost derivations. A variant of deterministic syntax analysis of programmed grammars is introduced. This analysis works similarly as LL(k) parsing. Transformations of matrix grammars into programmed grammars without changing their expressing power are introduced. The syntax analysis by regularly controlled grammars partly using programmed grammars are presented. In the end, cooperating distributed grammars with left permitting grammars as components are mentioned. Their deterministic syntax analysis uses predictive table or exhaustive exploration of the whole state space.