Národní úložiště šedé literatury Nalezeno 18,846 záznamů.  1 - 10dalšíkonec  přejít na záznam: Hledání trvalo 0.52 vteřin. 


Využití modelů úrokových měr při řízení úrokového rizika v prostředí českého finančního trhu
Cíchová Králová, Dana ; Arlt, Josef (vedoucí práce) ; Cipra, Tomáš (oponent) ; Witzany, Jiří (oponent)
Hlavním cílem práce je zejména nalezení vhodného přístupu k modelování úrokového rizika v prostředí českého finančního trhu při různých situacích na finančních trzích. Analyzována jsou tři zcela odlišná období, která jsou charakteristická různou mírou ohodnocení likviditního a kreditního rizika, rozdílnými vztahy mezi finančními veličinami a účastníky trhu a rozdílnou regulací trhu. Konkrétně se jedná o období před globální finanční krizí, období finanční krize a období po odeznění globální finanční krize a uklidnění následné dluhové krize v eurozóně. V rámci tohoto cíle je stěžejní aplikace modelu BGM v prostředí českého trhu. Použití modelu BGM pro účely predikce dynamiky výnosové křivky není běžné, neboť primární použití tohoto modelu je oceňování finančních derivátů při zajištění neexis- tence arbitráže a jeho aplikace je navíc relativně náročná. Přesto v této práci model BGM využiji pro získání predikcí pravděpodobnostních rozdělení úrokových sazeb v pro- středí české trhu a trhu eurozóny, protože jeho komplexnost, přímé modelování výnosové křivky na základě tržních sazeb a hlavně možnost odhadu parametrů založená na ak- tuálních kotacích volatilit swapcí mohou vést k výraznému zkvalitnění predikcí, což se v této práci potvrdilo. Převážně v období bezprecedentního monetárního uvolňování a zvýšených zásahů centrálních bank a ostatních regulátorů do činnosti finančních trhů, ke kterým dochází po finanční krizi, je využití tržních kotací volatilit swapcí výhodné, protože odráží aktuální očekávání trhu se započítáním očekávaných budoucích zásahů do fungování finančních trhů. Vzhledem k tomu, že v důsledku nerozvinutosti českého finančního trhu neexistují tržní kotace volatilit korunových swapcí, navrhuji jejich aproximace na základě kotací volatilit eurových swapcí s využitím volatilit forwardových korunových i eurových sazeb, díky čemuž jsou v získaných predikcích dynamiky české výnosové křivky započteny aktuální očekávání trhu. Není mi známo, že by nějaký jiný autor dosud publikoval obdobnou aplikace modelu BGM v prostředí českého finančního trhu. V této práci dále konstruuji predikce dynamiky české a eurové výnosové křivky peněžního trhu pomocí modelů CIR a GP jakožto zástupců různých typů modelů úro- kových měr. Pro posouzení predikční schopnosti jednotlivých modelů a vhodnosti jejich použití v prostředí českého trhu během různých situacích na finančním trhu navrhuji ucelený systém tří kritérií založený na porovnání predikcí se skutečností. Z této analýzy pre- dikční schopnosti vyplývá, že na základě modelu BGM lze získat predikce dynamiky výnosové křivky českého peněžního trhu s vysokou predikční schopností a nejlepší kva- litou ve srovnání s ostatními analyzovanými modely, nicméně i model GP poskytuje relativně kvalitní predikce. Naopak predikce učiněné na základě modelu CIR jakožto 6 zástupce modelů okamžité úrokové míry při popsání skutečnosti zcela selhaly. V situaci, kdy ekonomika umožňuje záporné sazby a zároveň existuje signifikantní pravděpodob- nost jejich zavedení, doporučuji provedení predikcí dynamiky výnosové křivky českého peněžního trhu pomocí modelu GP, který záporné sazby připouští. Součástí této analýzy je i provedení statistického testu predikční schopnosti jednotlivých modelů a informace o dalších možných statistických testech pro zhodnocení kvality modelů. Při aplikaci Berkowitzova testu byla u všech zkoumaných modelů zamítnuta hypotéza o tom, že vý- sledné predikce přesně popisují skutečnost. Tento fakt je však při aplikaci statistických testů na reálná data běžný i při použití relativně dobrého modelu především z důvodu obtížného splnění podmínek testů v reálném světě. Takovouto analýzu predikční schop- nosti vybraných modelů úrokových měr a navíc v prostředí českého finančního trhu jsem doposud v žádných jiných publikacích nezaznamenala. Posledním cílem této práce je navržení vhodného přístupu k predikci dynamiky ri- zikové přirážky českých státních dluhopisů, kterou definuji jako rozdíl mezi výnosem státních dluhopisů a fixní sazbou CZK IRS totožné délky. Takto definovaný ukazatel kreditního rizika České republiky modeluji pomocí modelu GP. Pro získání časových řad rizikové přirážky potřebných k odhadu parametrů modelu GP odhadnu nejdříve výnosové křivky českých státních dluhopisů pomocí Svenssonova modelu pro každý obchodní den od roku 2005. Z výsledných simulací je patrné, že model GP relativně dobře predikoval skutečný vývoj rizikových přirážek všech analyzovaných splatností. Navržený postup je vhodný pro modelování kreditního rizika České republiky na zá- kladě využití informací z finančních trhů. S takovýmto přístupem k modelování rizikové přirážky státních dluhopisů a navíc v českém prostředí jsem se doposud v žádné jiné publikaci nesetkala.

ELECTRON BEAM REMELTING OF PLASMA SPRAYED ALUMINA COATINGS
Matějíček, Jiří ; Veverka, J. ; Čížek, J. ; Kouřil, J.
Plasma sprayed alumina coatings find numerous applications in various fields, where they enhance the properties of the base material. Examples include thermal barriers, wear resistance, electrical insulation, and diffusion and corrosion barriers. A typical structure of plasma sprayed coatings, containing a multitude of voids and imperfectly bonded interfaces, gives them unique properties - particularly low thermal conductivity, high strain tolerance, etc. However, for certain applications such as permeation barriers or wear resistance, these voids may be detrimental.\nThis paper reports on the first experiments with remelting of plasma sprayed alumina coatings by electron beam technology, with the purpose of densifying the coatings and thereby eliminating the voids. Throughout the study, several parameters of the e-beam device were varied - beam current, traverse velocity and number of passes. The treated coatings were observed by light and electron microscopy and the thickness, structure and surface morphology of the remelted layer were determined and correlated with the process parameters. Based on the first series of experiments, the e-beam settings leading to dense and smooth remelted layer of sufficient thickness were obtained. In this layer, a change of phase composition and a marked increase in hardness were observed.\n

Modelling, parameter estimation, optimisation and control of transport and reaction processes in bioreactors.
ŠTUMBAUER, Václav
With the significant potential of microalgae as a major biofuel source of the future, a considerable scientific attention is attracted towards the field of biotechnology and bioprocess engineering. Nevertheless the current photobioreactor (PBR) design methods are still too empirical. With this work I would like to promote the idea of designing a production system, such as a PBR, completely \emph{in silico}, thus allowing for the in silico optimization and optimal control determination. The thesis deals with the PBR modeling and simulation. It addresses two crucial issues in the current state-of-the-art PBR modeling. The first issue relevant to the deficiency of the currently available models - the incorrect or insufficient treatment of either the transport process modeling, the reaction modeling or the coupling between these two models. A correct treatment of both the transport and the reaction phenomena is proposed in the thesis - in the form of a unified modeling framework consisting of three interconnected parts - (i) the state system, (ii) the fluid-dynamic model and (iii) optimal control determination. The proposed model structure allows prediction of the PBR performance with respect to the modelled PBR size, geometry, operating conditions or a particular microalgae strain. The proposed unified modeling approach is applied to the case of the Couette-Taylor photobioreactor (CTBR) where it is used for the optimal control solution. The PBR represents a complex multiscale problem and especially in the case of the production scale systems, the associated computational costs are paramount. This is the second crucial issue addressed in the thesis. With respect to the computational complexity, the fluid dynamics simulation is the most costly part of the PBR simulation. To model the fluid flow with the classical CFD (Computational Fluid Dynamics) methods inside a production scale PBR leads to an enormous grid size. This usually requires a parallel implementation of the solver but in the parallelization of the classical methods lies another relevant issue - that of the amount of data the individual nodes must interchange with each other. The thesis addresses the performance relevant issues by proposing and evaluation alternative approaches to the fluid flow simulation. These approaches are more suitable to the parallel implementation than the classical methods because of their rather local character in comparison to the classical methods - namely the Lattice Boltzmann Method (LBM) for fluid flow, which is the primary focus of the thesis in this regard and alternatively also the discrete random walk based method (DRW). As the outcome of the thesis I have developed and validated a new Lagrangian general modeling approach to the transport and reaction processes in PBR - a framework based on the Lattice Boltzmann method (LBM) and the model of the Photosynthetic Factory (PSF) that models correctly the transport and reaction processes and their coupling. Further I have implemented a software prototype based on the proposed modeling approach and validated this prototype on the case of the Coutte-Taylor PBR. I have also demonstrated that the modeling approach has a significant potential from the computational costs point of view by implementing and validating the software prototype on the parallel architecture of CUDA (Compute Unified Device Architecture). The current parallel implementation is approximately 20 times faster than the unparallized one and decreases thus significantly the iteration cycle of the PBR design process.

Dendrochronologie arktické tundry
Lehejček, Jiří ; Svoboda, Miroslav (vedoucí práce) ; Monika, Monika (oponent)
Historicky bezprecedentní environmentální změny arktických ekosystémů jsou často zasazovány do kontextu jejich vývoje; minulého, ale i očekávaného budoucího. V oblastech s nedostatečnými instrumentálními meteorologickými pozorováními je nutné studovat klimatické archivy, které jsou schopny zasadit probíhající environmentální změny do kontextu minulosti. Práce předkládá syntézu jednoho takového archivu jalovce obecného (Juniperus communis) dlouhověkého cirkumpolárního keře arktické tundry. Na úrovni anatomie buňky bylo prozkoumáno 20 keřů. Kromě ekologických nároků druhu se tím odkryl i jeho potenciál pro environmentální a klimatické rekonstrukce. Mezi klíčové výsledky patří následující: i) Zastavení exponenciálního zvětšování plochy vodivého aparátu s věkem je v rozporu s přirozeným charakterem tohoto fenoménu u stromů. To naznačuje, že keře nepotřebují zajišťovat potřeby vody a živin klasickými cestami zákonů hydraulické konduktivity ale spíše pomocí jiných mechanismů. Extrémní podmínky tedy limitují výškový vzrůst rostlin, které kvůli nim mění převládající směr svého růstu z vertikálního na horizontální. Jednotlivé projevy počasí však na vzrůst působí pravděpodobně odlišně. Zatímco sníh a vítr ovlivňují růst kmene/větví mechanicky, pak teplota spíše fyziologicky. Až do věku, kdy je mladý keř schopen ustát silný vítr ve vzpřímené pozici a jeho kmínek/větve mají dostatečnou resilienci se po odtání sněhové pokrývky opět narovnat, roste vzhůru a plocha vodivého aparátu se zvětšuje. Současně s tím teplota, resp. cykly opakovaného mrznutí a rozmrzání, způsobuje konzervativní vývoj keře, který preferuje bezpečnost (limitní velikost plochy vodivého aparátu) před hydraulickou efektivitou, čímž se brání embólii, ale tím i dalšímu výškovému růstu. Všechny tyto (ale i další) faktory jsou zřejmě dohromady zodpovědné za postupný přechod od vertikálního ke kvazihorizontálnímu růstu. Od této chvíle již není potřeba (ani to není fyziologicky možné) dále zvětšovat plochu vodivého aparátu, jelikož voda přestává být transportována proti gravitaci. ii) Tento věkový/růstový trend je nutné uvažovat při dalším využívání růstových parametrů v paleoenvironmentálních studiích. Buněčné parametry by tedy neměly být využívány k těmto účelům, pokud nejsou správně detrendovány. To umožní nejen přesnější ale i delší rekonstrukce, protože je možné využít celý život rostlin včetně často opomíjené juvenilní fáze. iii) Předložena je i rekonstrukce tání jihozápadní části Grónského ledovcového štítu (GrIS) během 20. st. Tato oblast je považována v rámci celého GrIS za nejaktivnější. Dle naší rekonstrukce není míra současného tání GrIS v kontextu 20. st. neobvyklá, resp. je srovnatelná s prvními dekádami 20. st. Tento poznatek je významným přispěním do debaty o Atlantické meridionální zpětné cirkulaci (AMOC). A sice, příliš velký přítok sladké studené vody do severního Atlantiku v důsledku tání GrIS může zpomalit nebo dokonce zastavit AMOC, což by způsobilo prohloubení kontinentálního charakteru evropského klimatu. Naše výsledky tak ukazují, že tato hranice leží výše, než je současná míra tání GrIS. Jalovec obecný je fascinující arktický keř, který prokázal schopnost zodpovědět množství ekologický a environmentálních otázek. Především díky své dlouhověkosti a četnosti má obrovský potenciál stát se významných účastníkem arktického výzkumu.

Individuální hlasová variabilita a informace o rozeznávání predátorů obsažené ve vokální komunikaci morčat domácích (Cavia porcellus)
Baklová, Aneta ; Baranyiová, Eva (vedoucí práce) ; František, František (oponent)
Morčata reprezentují domestikované prekociální hlodavce, kteří se stali běžnými domácími mazlíčky. Od narození naplno vokalizují. Práce byla věnována zvukovým projevům mláďat morčat. Cílem práce bylo 1) určit věk, kdy bude prokazatelná vokální individualita zvuku whistle; 2) otestovat možné ultrazvukové signály a 3) prozkoumat antipredační chování a varovné zvuky v přítomnosti vzdušného (dravec) a pozemního predátora (pes) a člověka (kontrolní test). Celkem 16 mláďat morčat bylo otestováno na vokální individualitu, 28 mláďat na ultrazvukové signály a 27 odrostlých mláďat na rozeznávání predátorů. V rámci testování vokální ontogeneze v průběhu prvních 9 dnů od narození, byly pozorovány změny jak v časových a frekvenčních parametrech, tak i v parametrech intenzity. Při testování vokální individuality validovaná diskriminační analýza (DFA) založena na deseti akustických parametrech přiřadila jednotlivé zvuky ke správným jedincům s následující úspěšností: den 1 = 71,9 %, den 3 = 58,8 %, den 5 = 53,10 %, den 7 = 50,60 % a den 9 = 63,10 %. Nejvyšší naměřená frekvence u zvuku whistle byla 30,03 kHz. Při rozpoznávání predátorů byly měřeny reakce strnutí, útěk a ostražitost. V přítomnosti psa morčata reagovala nejdéle a nejčastěji strnutím. Při vystavení dravci jsem u morčat nejdéle a nejčastěji pozorovala útěk a následné strnutí. Na přítomnost člověka morčata nejvíce reagovala ostražitostí. Zaznamenala jsem pouze dva případy výstražných signálů - drrr v přítomnosti psa a chirrup jako reakci na dravce. V práci jsem dospěla k závěrům, že: 1) individualita morčat je prokazatelná od prvního dne života morčat a míra individuálně rozdílných vokálních parametrů se s věkem mění; 2) morčata jsou schopna vokalizovat do frekvence 30 kHz, ale pro jejich komunikaci nejsou vysokofrekvenční signály klíčové; 3) morčata rozeznávají pozemní a vzdušné predátory, ale varovné zvuky vydávají jen zřídka.

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.

Optimization of Gaussian Mixture Subspace Models and Related Scoring Algorithms in Speaker Verification
Glembek, Ondřej ; Brummer, Niko (oponent) ; Campbell,, William (oponent) ; Burget, Lukáš (vedoucí práce)
This thesis deals with Gaussian Mixture Subspace Modeling in automatic speaker recognition. The thesis consists of three parts.  In the first part, Joint Factor Analysis (JFA) scoring methods are studied.  The methods differ mainly in how they deal with the channel of the tested utterance.  The general JFA likelihood function is investigated and the methods are compared both in terms of accuracy and speed.  It was found that linear approximation of the log-likelihood function gives comparable results to the full log-likelihood evaluation while simplyfing the formula and dramatically reducing the computation speed. In the second part, i-vector extraction is studied and two simplification methods are proposed. The motivation for this part was to allow for using the state-of-the-art technique on small scale devices and to setup a simple discriminative-training system.  It is shown that, for long utterances, while sacrificing the accuracy, we can get very fast and compact i-vector systems. On a short-utterance(5-second) task, the results of the simplified systems are comparable to the full i-vector extraction. The third part deals with discriminative training in automatic speaker recognition.  Previous work in the field is summarized and---based on the knowledge from the earlier chapters of this work---discriminative training of the i-vector extractor parameters is proposed.  It is shown that discriminative re-training of the i-vector extractor can improve the system if the initial estimation is computed using the generative approach.

Optimalizace testu digitálního obvodu multifunkčními prvky
Stareček, Lukáš ; Gramatová, Elena (oponent) ; Kubátová, Hana (oponent) ; Kotásek, Zdeněk (vedoucí práce)
Tato práce se zabývá možností optimalizace testu číslicových obvodů pomocí multifunkčních logických hradel. Nejdůležitější částí práce je vysvětlení samotného principu optimalizace, který je popsán také formálními matematickými prostředky. Na základě tohoto popisu je v práci prezentováno několik možností využití. Ukázána je optimalizace testovatelnosti obdobná metodě vkládání testovacích bodů a jednoduchá metodika založena na základě SCOAP. Těžištěm práce je však metodika, která byla vytvořena pro optimalizaci testu obvodu. Ta byla implementována v podobě softwarových nástrojů. V práci jsou následně prezentovány výsledky použití těchto nástrojů na úloze snížení počtu testovacích vektorů se zachováním pokrytí poruch pro různé obvody včetně testovací sady ISCAS 85. Část práce je věnována také různým principům a technologiím tvorby multifunkčních logických hradel. Některá vybraná hradla z těchto technologií jsou podrobena simulacím elektronických vlastností ve SPICE. Na základě principů prezentované metodiky a výsledků simulací multifunkčních hradel je také provedena analýza a rozbor různých problémů jako je platnost testu modifikovaného obvodu a vhodnost jednotlivých technologií multifunkčních hradel pro danou metodiku. Výsledky analýz a provedených experimentů je potvrzeno, že pomocí multifunkčních hradel lze optimalizovat diagnostické vlastnosti obvodu takovým způsobem, aby došlo k požadovaným úpravám parametrů výsledných testů obvodů při minimálních dopadech na kvalitu a věrohodnost těchto testů.

Point to Line Mappings and Other Line Parameterizations not only for Hough Transform
Havel, Jiří ; Kälviäinen, Heikki (oponent) ; Lefevre, Sebastien (oponent) ; Herout, Adam (vedoucí práce)
This works focuses on the Hough transform (HT). The HT is mostly used for the detection of lines or curves, but was also generalized for detection of arbitrary shapes. The main theme of this work are line parameterizations, especially the Point-to-Line mappings. These parameterizations share the property, that a point in the image maps onto a line in the parameter space. This work presents proofs of some properties of PTLMs, notably the existence of a practical pair of PTLMs for line detection and the effect of a convolution in the image space on the contents of the parameter space. Two realtime implementations of HT are presented in this work. Both accelerate HT using graphical hardware. One uses GPGPU API CUDA and the other the rendering API OpenGL. As an application of the line detection, this work describes part of the detection of checkerboard marker usable for the augmented reality.