|
Statická analýza XSLT programů
Červák, Jan ; Toman, Kamil (oponent) ; Bednárek, David (vedoucí práce)
Nazev prace: Staticka, analyza. XSLT programu Autor: ,Ian Cervak Katedra: Katcdra softwarovcho inzenyr.stvi Vedouci diplomove prace: RNDr. David Bednarek E-mail vedouciho: David.Bcdnarekinnir.cuni.cz Abstrakt: Zabyvame se statickou analyzou XSLT programu se znalosti sche- matu vstupnich dokumeutu. Analyza, je zamcfena, na odhalovani behovych chyb v prograniecli. Konkretue hiedamp nedosazitelna pravidla,, slepa vo- lani a cykly ve volamch pravidcl, jako zdroj potrncialne nekonecneho behu prograniu. XSLT je t\iringo\sky uplny ja/yk, konipletni staticka analyza je z principu neproveditelna, feseni tohoto problcniu jsou Jen i^fiblizna. Pre- zentovane rcseui je kvazi-sinndace bohu programu nad niodeleni XML doku- inentu. Vyslodny graf toku fizeni programu rlava infonnaee o zkouinanych probleineeh. Algcjritinus simulace je zavedeu nezavisle na pouzitein inodclu, coz pfinasi moznost analyzy na. ruzne urovni dotailu. Klicova slova: a.nalyza toku rizeiii, XSLT, XML Schema, behove dryby, zasta- vcni Title: Static analysis of XST/F ]>rograms Author: Jan Cervak Department: Department of Software Engineering Supervisor: RXDr. David Bcdnarek Supervisor's e-mail address: David.BednarekyimU'.cnni.cz Abstract: The aim of this work is static analysis of XSLT programs with the knowledge of an input document's schema....
|
|
Grafické modely v analýze spojitých finančních dat
Podolská, Kateřina ; Hurt, Jan (oponent) ; Zichová, Jitka (vedoucí práce)
Xa/ev prace: Graficke niodely v analy/e spojilych linancnich dat Autor: Kal.et'ina Podolska Kaledra: Kat.edra pravdepodobnost i a matenial.icke si.at isl.ikv Yedouci bakalafske prace: KXDr. Jilka Zichova, Dr. e-mail vedouciho: Jit ka.Zicliova:("inff.cuni.c/ Abslrakt: Hlavnini cilem teto bakalarske praee je aplikovat gralickf'1 niotk'ly urrene pro /praeovaiii tlat se spojityin ro'/delem'in na data z linanrni praxe. Pro lento Tieel byly /voleny denni ineno\(; knr/y / dalaba/,e C'XB. Pro \yber konkret niho gralickeho niodelu byl pou/it pro^fam Backward]. vytvofeny jako soneast diplomove [>raee [ !]. reali/ovany v syst.einn Mat.heinat.ica 4.0. Klirova slo\a: graficke niodely. analy/a spojilveh (inanrnieh dal Title: Graphical Models in Continuous Financial Data Analysis Author: Katenna Podolska Department: Department of Probability and Mathematical Statistics Supervisor: RXDr. Jitka Ziehova, Dr. Supervisor's e-mail address: .Jilka.Ziehova Abstract: The- main topic of this bachelor thesis is the application of graphi- cal models developed for data processing of the continuous distribution on finance data. For this purpose, daily exchange rates from the CXB database were selected. The program Backward!, which was created as a part of the thesis [Ij under the system Malhematica 4.0, was used for selection of t he...
|
|
Investování penzijních fondů ČR
Obdržálková, Ludmila ; Zichová, Jitka (oponent) ; Hurt, Jan (vedoucí práce)
Xazev prace: Invesfovam penzijnich iondu C'H Au tor: Ludmila. Obdrzalkova Katedra (ustav): Katedra pravdepodobnosli a inatematicke .statistiky Vedouci bakalarske prace: Doc. RNDr. .Inn Hurt, CSc. e-n ia,il vcdoucfho: Jau.Hurt'tMiifi'.cuni.c/ Abstrakt: V predlozeiie pnici stiulujcinc investovani pen/ijiu'cli fondu Coske republiky zc t.fi hlcdi.sok - vvnosnosti. ri/ika a likvidity. Popisujrmt1 inve.siicni strategii {}onzijin'ch fondu, rizikasouviseJR-i s invc^slovani'in, invcsticni ])ort.fo- lia pcnzijni'ch fondu a invest irnf limity aoiruvenf. ktere jsou pro ne stanovciiy zakoncin o jx'nzijniiu ])fi]K)jisten(. V uvodnfch dvou kapitolach se navic se- zn^ininjrine s Icgisla.t.iviii lipravon ]xnizijiii'lio ])ri])ojistr'ni a aktuaine aktivno ]>u,sobk'inii iicnzijninii fondy v Coske republico. Klicova slova: invcstovani, pcnzijni fond, portfolio Title: Investinent of Czech Pension Funds Author: Ludmila Obdrzalkova Depii.rtnient: Department of Probability and Mathematical Statistics Supervisor: Doc. UNDr. .Jan Hurt. ("Sc. Supervisor's e-ma.il address: Jan.lhul'O.'inff.cuiii.cz Abstract: In this thesis \vestndy investment of Czech pension funds from the three point of view: profitability, risk, and liquidity. \Ve describe investment strategy of pension funds, investment related risks, investment portfolios oi...
|
|
Aplikace Markovových procesů při modelování průběhu choroby HIV
Žohová, Ivana ; Prášková, Zuzana (oponent) ; Kulich, Michal (vedoucí práce)
Nazev prace: Aplikace Mnrkovovych procesu pfi modclovaiii prubehu cho- n.hy HIV Autor: I\aua Zohova Katcdra: Katcdra pravdepodobnosli a malematicke statistiky Vedouci bakalafske prace: Mgr. Michal Ivulich,Ph.D. o-mail vedonciho: kulich fikarlm.mff'.cnni.c/ Abstrakt: V pfedio/ene praci se zabyvame slochastickym modelovam'm priibellii choroby HIV. pfedevshu pak inkubacni doln' AIDS. Hlavni po/or- noyt jc vuiiuvana. inorldlovdni |)oniuc( hoino^eiiiiicli Markovovych proce.sit sc s])ojit.yni c;isein a kouernou iniioziiion stavu. V praci ncjprvc Ktuclujoiric nOklora .spojili'i ro'/drloni, a to pft'devsiin z hk'diska jcjich vliodnosl.i k ino- dolovani inkulmrnf doby AIDS. Dalsi' cast jc vonovana konstnikci Ma.rko- vuvych niodelu. Pnilioh fihoroliv HIV jc iicjprvr niixlrlovaii poinorf dvou Iconkrntnicli inodrlu a jjotc pomoci zdliccnoDrhc) modclu. V niodelcch JHOTI odvox.cna. rozdrlrni inkubariii duljy AIDS. Klicova slova: chornba HIV. inkiiliariii doba AIDS. lhmiu»t'iim' Markovuv l>ro('{'s. Markovuv Title: Ap])lications of Markov processes to modeling, HIV di.scas siun Author: Ivana Zohuva Department: Drpartnicnt of Probability and MaHicniatical Statistics Supervisor: Mgr. Michal Kulich, Ph.D. Supervisor's e-mail address: kuhch^karhn.nifF.riirii.c? Abstract: In tlu1 present work \vc study stochastic modeling of...
|
|
Otevřené problémy teorie kontinuí
Seifrt, Jan ; Spurný, Jiří (oponent) ; Pyrih, Pavel (vedoucí práce)
ISYixev prace: Otevfene problemy teorie konlinm Autor: Jan Seifrt Katcdra (ustav): Katedra matematicke analyzy Vedouci ba.kaliirske prace: Doc. RNDr. Pavel Pyrih, CSc. e-mail vedouciho: poliodai6.gniail.com Anstrakt: PiYdlo/ena pracc sc /a))yva v/tahrin iiia^iicli('l\ycb a koiH-rnr pn- riodickych bodu v jislycli koiiipaktiiu-li .souvislych mno/iuach. Teziste prace s])ociva v in)di-()l)in''in ro/boru dvou ])ul)liku\>uiycli vyslcdkii (motor a null- comb). Fungovam Irclito ])fikladu JL- /achycono na fade pomocnydi obraxkii. Pia(.:c obsabnjc polrubnc definicr a /aktadni 1 vr/cm' Inv, dukaxu. V praci JHOU dale doka'/ana i dalsi tvr/oni / dam'1 problcmatiky. vii shiva: dcndril., ill]I' vla.st.imsr, ina^iiutickr body a mill-comb Tillc: Open problems in Continuum thmry Author: Jan Scifrt Department.; Department of Matheinal ical Analysis Supervisor: Doc. HNDr. Pavel Pyrili, CSc. Supervisor's e-mail address: Abstract: In t lit1 present work \ve study the relation between non-wandering ami eventually-periodic- points in certain compact conned ed sets. The goal of the work consists of detailed study of two published results (engine and null-comb). How these examples work is demonstrated by a. sequence of fi- gures. The work contain all needed definitions a.nd lacts wit.lumt proofs. In the work are proved some other...
|
|
Grafický editor 3D scén pro projekt AGE
Herceg, Tomáš ; Šerý, Ondřej (oponent) ; Ježek, Pavel (vedoucí práce)
Název práce: Grafický editor 3D scén pro projekt AGE Autor: Tomáš Herceg Katedra (ústav): Katedra distribuovaných a spolehlivých systémů Vedoucí bakalářské práce: Mgr. Pavel Ježek, Katedra distribuovaných a spolehlivých systémů E-mail vedoucího: pavel.jezek@dsrg.mff.cuni.cz Abstrakt: Cílem práce je vytvořit grafický editor, který umožní tvorbu a editaci grafických scén ve 3D prostoru. Editor by měl být realizován jako rozšiřující modul do projektu AGE. Jelikož je projekt AGE teprve ve fázi vývoje, měla by jako součást této bakalářské práce vzniknout i jeho první verze. Samotný editor vytvořený v rámci práce by měl podporovat vytváření základních primitivních objektů, manipulaci s jednotlivými vrcholy, stěnami a částmi těchto objektů, a dále pak implementovat základní nástroje pro mapování textur. Jako cílová platforma bude použito prostředí .NET Framework a pro zobrazování grafických výstupů je doporučeno použít technologie Windows Presentation Foundation a DirectX. Klíčová slova: Počítačová grafika, Windows Presentation Foundation, DirectX, 3D
|
|
Vyhledávací stroj pro matematiku
Mišutka, Jozef
Názov práce: Vyhledávací stroj pro matematiku Autor: Jozef Mišutka Katedra: Katedra softwarového inženýrství Vedúci diplomovej práce: RNDr. Leo Galamboš, Ph.D. E-mail vedúceho: leo.galambos@mff.cuni.cz Abstrakt: Vyhľadávacie stroje (napr. Google) vládnu obsahu dnešného WWW. Sú neoddeliteľnou súčasťou každodenného prístupu k informáciám. Veda, ktorá sa zaoberá práve vyhľadávacími strojmi, sa sústreďuje na vyhľadávanie prirodzených častí jazyka - slov. V posledných rokoch sa rozšírila pôsobnosť vyhľadávačov aj na iné oblasti. Veľkosť matematických dát na WWW enormne narástla. Dôležitosť matematických vyhľadávacích strojov je evidentná. Aj napriek tomuto vývoju, sa oblasť vedy skúmajúca matematické vyhľadávanie donedávna zanedbávala. Napriek tomu, že aktívny výskum napreduje vo vývoji, zatiaľ bolo prezentovaných len niekoľko málo výsledkov. Hlavným cieľom tejto práce je vyplniť túto medzeru. Nový matematický vy- hľadávací stroj bol navrhnutý so zameraním sa na použiteľnosť. Jediný vyhľadávací stroj schopný efektívne indexovať WWW - čisto textový (fulltextový\) vyhľadávací stroj - bol použitý ako zák- lad a vypracovaný návrh ako jeho rozšírenie. Toto umožnuje využívať všetky výhody fulltextového vyhľadávacieho stroja. Väčšina matematických dokumentov neobsahuje informáciu o sémantike. Riešenie tohoto...
|
|
Numerické řešení třírozměrného proudění
Kyncl, Martin
Nazev prace-: Numericke fesem tfirozrnorneho proucleni Autor: Martin Kyncl Katcdra: Katedra numericke iiiatcinatiky Vedouci diplomove prace: Doc. RNDr. Jifi Felcman, CSc. e-mail vedouciho: felcman(G>karlm.inff.cuni.c/ Abstrakt: Prace se zabyva numorickym modelovanim nevazkeho a vazkeho stlacitelneho proudeni plynu ve 3D. Pou/iLa mutoda fes(Mif jn zalo2cna na ro/lo/rni systemu, kterym jc proudoni popsano, na nevazkou a ciste vaxkou cast. V praci json uvedeny numericke vyskulky, ktcre uka/uji pou/Jtelnost navrzene metody. Klicova slova: stlacitelne proudeni, Eulerovy rovnice, Navier-SLokesovy rov- nice, mctoda konecnycli objeinu, motoda konecnych prvku, Dolauriayova tri- angulace Title: Numerical solution of 3D flow Author: Martin Kyncl Department: Department, of Numerics Supervisor: Doc. RNDr. Jin Felcman, CSc. Supervisor's e-mail address: folemanQkarlin.mff.cuni.c/ Abstract: The paper is concerned with numerical modelling of inviscid as well as viscous gas flow in 3D. The method is based on upwind flux vector splitting finite volume scheme combined with finite elements. The geomet- rical data and the computational results for the three-dimensional flow arc presented. Keywords: compressible flow, Euler equations, Navicr-Stokes equations, fi- nite volume method, finite element method, Delaunay...
|
|
Dobrá praxe oddělení sociálně-právní ochrany dětí v oblasti péče o ohrožené děti : OSPOD jako spolupracující subjekt v systému péče o ohrožené děti
Laubová, Lenka ; Matoušek, Oldřich (vedoucí práce) ; Salačová, Lucie (oponent)
Tato práce se zabývá vybranými podmínkami výkonu dobré praxe oddělení sociálně-právní ochrany dětí (OSPOD) v současném systému péče o ohrožené děti a jejich rodiny sociálními pracovníky oddělení sociálně-právní ochrany dětí. Tento systém je nyní na počátku transformační fáze, jejímž východiskem je nadresortní "Národní akční plán k transformaci a sjednocení systému péče o ohrožené děti na období 2009 až 2011" (NAP). NAP je souborem klíčových opatření ve formě vizí, mezi nimiž vyniká představa OSPOD jakožto stěžejního subjektu multidisciplinární spolupráce. Tato diplomová práce se zabývá fungováním spolupráce OSPOD s dalšími subjekty v praxi. Nejprve podrobně vymezuje klíčové pojmy, v dalších kapitolách se již zabývá konkrétními oblastmi spolupráce OSPOD (multidisciplinární spolupráce, komunitní plánování a spolupráce s klienty) a upozorňuje na možná rizika a příležitosti. Práce je zakončena průzkumem, jehož cílem je vyhledání příkladů dobré praxe na OSPOD ve Středočeském kraji.
|
|
Momentová inverze řeckých zemětřesení, metoda ISOLA
Červinková, Dana ; Šílený, Jan (oponent) ; Zahradník, Jiří (vedoucí práce)
3 Název práce: Momentová inverze řeckých zemětřesení, metoda ISOLA Autor: Dana Červinková Katedra (ústav): Katedra geofyziky Vedoucí diplomové práce: Prof. RNDr. Jiří Zahradník, DrSc. e-mail vedoucího: jz@karel.troja.mff.cuni.cz Abstrakt: Je studována možnost získat věrohodný momentový tenzor nízkofrekvenční inverzí vlnových obrazů z jediné seismické stanice. Deviatorická část momentového tenzoru se popisuje běžným způsobem, tj. pomocí orientace (úhly strike, dip, rake), skalárního seismického momentu M0 a procenta dvojitého dipólu (DC%), ale také pomocí koeficientů lineární kombinace elementárních mechanizmů. Odhadujeme formální chybu koeficientů a studujeme podmíněnost obrácené úlohy. Data z řeckých zemětřesení Trichonida (Mw = 5.2, duben 2007) a Leonidio (Mw = 6.2, leden 2008) jsou zpracována pomocí softwaru ISOLA (Sokos a Zahradník). Počítá se momentový tenzor z mnoha stanic a testuje se jeho stabilita. Takto získané referenční řešení porovnáváme s výsledky získanými nezávisle z jednotlivých stanic. Aby se zjistilo, proč v některých případech postačují jednotlivé stanice (Trichonis), zatímco jindy nikoli (Leonidio), provádějí se syntetické testy, zaměřené na vliv hloubky zemětřesení, azimutu stanice a epicentrální vzdálenosti. Bylo zjištěno, že u studovaných zemětřesení hraje zásadní roli hloubka. Jsou...
|
host ::
