Number of found documents: 150
Published from to

Kooperace v ekonomické hře
Guy Tatiana Valentine; Zugarová Eliška; Homolová Jitka
2017 - English
Tato práce je zaměřena na rozhodování hráče v pozměněné verzi Hry na ultimátum, která umožňuje zkoumání kooperačních aspektů rozhodování. Tato modifikovaná verze je, stejně jako ta klasická, pro dva hráče. Narozdíl od klasické verze v ní však oba hráči mají stejnou roli. Jejich úkolem je učinit požadavek na část z dané peněžní částky. Pokud součet jejich požadavků překročí celkovou částku, zisk obou je nulový. Tento text navrhuje optimalizační strategii hráče s pomocí Markovského rozhodovacího procesu. Shrnutí výsledků simulací ukazuje, že do určité míry kooperace pomáhá ke zvýšení jak zisků, tak počtu uskutečněných požadavků. Nicméně nepřiměřené kooperativní chování vede ke zhoršení a snížení těchto veličin.This project focuses on decision making of a player of a modified version of the Ultimatum Game (UG) that enables studying cooperation aspects of decision making. The modified version is a two-player game where roles of both players are the same. Their task is to make a demand on a share of a given monetary amount. If the sum of their demands exceeds the total amount, their profit is zero. The text proposes player's optimizing policy using Markov Decision Process (MDP) framework. Simulation results show that certain degree of cooperation helps to increase profits as well as a number of realized demands. However, immoderate cooperative behavior leads to worsening and decrease of these quantities. Keywords: ekonomická hra,Hra na ultimátum,kooperace,Markovský rozhodovací proces,rozhodování; cooperation,decision making,economic game,Markov Decision Process,Ultimatum Game Available at various departments of the ČVUT.
Kooperace v ekonomické hře

Tato práce je zaměřena na rozhodování hráče v pozměněné verzi Hry na ultimátum, která umožňuje zkoumání kooperačních aspektů rozhodování. Tato modifikovaná verze je, stejně jako ta klasická, pro dva ...

Guy Tatiana Valentine; Zugarová Eliška; Homolová Jitka
České vysoké učení technické v Praze, 2017

Variační problémy na optimální geometrii ve fyzice
Krejčiřík David; Šmejkal Jan; Lotoreichik Vladimír
2017 - English
Tato práce si klade za cíl poskytnout vhled do metod tvarové optimalizace. Tři problémy, jeden z elektrostatiky, druhý z kvantové mechaniky a třetí z dynamiky kontinua jsou uvažovány. Představíme objem zachovávající transformaci, která může být interpretována jako kroucení a ohýbání. Užitím variačních metod je ukázáno, že pokud je koaxiální kondenzátor mírně zkroucen či ohnut, pak jeho kapacita naroste. Dále aplikujeme speciální, kroutící, případ oné transformace na válcový kvantový vlnovod a prostřednictvím spektrální teorie dokážeme, že válcový vlnovod má nižší energii základního stavu, než kterýkoliv zkroucený. Též provedeme porovnání dvou matematických modelů ustáleného viskózního proudění tekutiny v trubce od různých autorů. V jednom modelu válcová trubka optimalizuje disipaci energie, v druhém však nikoliv.This work aims to provide insight into shape optimization methods. Three problems, one in electrostatics, second in quantum mechanics and the third in contiuum dynamics, are tackled. We introduce a volume-preserving transformation, which can be interpreted as twisting and bending. Using variational methods, it is shown that if a coaxial capacitor is slightly twisted or bent then its capacitance increases. Next, we apply a special, twisting, case of the transformation to a cylindrical quantum waveguide and prove via spectral theory that the cylindrical waveguide has a lower energy of the ground state than any twisted waveguide. We also offer a comparison of two mathematical models of steady viscous fluid motion in a pipe by different authors. In one model, the cylindrical pipe optimizes dissipated energy, in the other, however, it does not. Keywords: Hardyho nerovnosti,kondenzátor,kvantový vlnovod,proudění tekutin,variační počet; calculus of variations,capacitor,fluid dynamics,Hardy´s inequalities,quantum waveguide Available at various departments of the ČVUT.
Variační problémy na optimální geometrii ve fyzice

Tato práce si klade za cíl poskytnout vhled do metod tvarové optimalizace. Tři problémy, jeden z elektrostatiky, druhý z kvantové mechaniky a třetí z dynamiky kontinua jsou uvažovány. Představíme ...

Krejčiřík David; Šmejkal Jan; Lotoreichik Vladimír
České vysoké učení technické v Praze, 2017

Odhady na rezonanční frekvence vibrujících systémů
Krejčiřík David; Kurimaiová Tereza; Kennedy James
2017 - English
Laplacián je velmi významný operátor s mnoha aplikacemi. Nejprve ukážeme jeho důležitost v teorii hudby. Potom definujeme dirichletovský laplacián jako samosdružený operátor na omezených oblastech pomocí kvadratických forem a vyslovíme některé jeho spektrální vlastnosti. Aplikací pricipu mini-maxu a použitím scvrkávajících se nebo paralelních souřadnic obdržíme dva horní odhady na první vlastní hodnotu dirichletovského laplaciánu na jednoduše souvislých oblastech. Navíc vyslovíme vlastní horní odhad pro speciální ne jednoduše souvislé oblasti. Nakonec aplikujeme tyto odhady na speciální tvary oblastí, porovnáme je a následně ukážeme příklady chování našeho odhadu na speciálních ne jednoduše souvislých oblastech vytvořených z předtím uvedených oblastí.The Laplacian is a very important operator with many applications. First we show its importance in the musical theory. Then we define the self-adjoint Dirichlet Laplacian on bounded domains using the quadratic forms and state some of his spectral properties. Applying the min-max principle and using the shrinking or parallel coordinates we obtain two upper bounds for the first eigenvalue of the Dirichlet Laplacian on simply-connected domains. Moreover we introduce our own upper bound for particular, not simply-connected domains. Finally we apply the obtained bounds to some special shapes of simply connected domains, compare them and subsequently we show examples of behavior of our bound on the particular, not simply-connected domains created from the domains introduced before. Keywords: dirichletovský laplacián,horní odhad na první vlastní hodnotu,omezené oblasti,spektrální geometrie,teorie hudby; bounded domains,Dirichlet Laplacian,musical theory,spectral geometry,upper bounds for the first eigenvalue Available at various departments of the ČVUT.
Odhady na rezonanční frekvence vibrujících systémů

Laplacián je velmi významný operátor s mnoha aplikacemi. Nejprve ukážeme jeho důležitost v teorii hudby. Potom definujeme dirichletovský laplacián jako samosdružený operátor na omezených oblastech ...

Krejčiřík David; Kurimaiová Tereza; Kennedy James
České vysoké učení technické v Praze, 2017

Časový útok na šifru RSA
Buček Jiří; Andrýsek Martin; Lórencz Róbert
2017 - English
Tato práce se zabývá replikací útoku na RSA kryptosystém časovým postranním kanálem, který je realizován měřením času algoritmu opakovaných čtverců s Montgomeryho násobením. Útok se zaměřuje na měření času trvaní dešifrování rozdílných zpráv s určitými vlastnostmi. Práce popisuje základní principy a slabiny RSA kryptosystému. Výsledkem práce je demonstrativní aplikace, která bude použita ve výuce v předmětech, zabyvajícími se počítačovou bezpečností.This thesis is focused on replication of timing attack on RSA cryptosystem introduced by Paul Kocher, which is done by measuring time of square and multiply algorithm with Montgomery multiplication. The attack is based on measuring execution time of decryption function on messages with different properties. The thesis describe main principles and vulnerabilities of RSA cryptosystem. Implementation should be used for education purposes, mainly in security courses. Keywords: RSA; kryptoanalýza; časový útok; postranní kanál; Montgomeryho násobení; RSA; cryptanalysis; timing attack; side channel; Montgomery multiplication Available at various departments of the ČVUT.
Časový útok na šifru RSA

Tato práce se zabývá replikací útoku na RSA kryptosystém časovým postranním kanálem, který je realizován měřením času algoritmu opakovaných čtverců s Montgomeryho násobením. Útok se zaměřuje na měření ...

Buček Jiří; Andrýsek Martin; Lórencz Róbert
České vysoké učení technické v Praze, 2017

Víceúrovňové, paralelní algoritmy pro interpolaci tvarů na moderních architekturách
Sanan Patrick; Hrabec Šimon; Šimeček Ivan
2017 - English
Interpolace tvarů se zabývá problémem, v němž se hledá sekvence tvarů, které aproximují v čase pravděpodobný pohyb objektu. Jadna z nedávných metod je v práci analyzována, popsána a implementována v jazyce Matlab a s využitím numerických knihoven i v jazycích C++ a CUDA za účelem využití vysokého výpočetního výkonu GPU pro paralelní výpočtyThe problem of shape interpolation is to find a sequence of meshes that approximates in time the likely movement of the represented object. A recent method is analysed, described and implemented in Matlab and with the help of numerical libraries in C++ and CUDA exploiting high performance of GPU devices for parallel computations. Keywords: Tvar; optimalizace; interpolace; paralelní algoritmy; CUDA; numerické metody; Shape; Mesh; Optimisation; Interpolation; Parallel Algorithms; CUDA; Numerical Methods Available at various departments of the ČVUT.
Víceúrovňové, paralelní algoritmy pro interpolaci tvarů na moderních architekturách

Interpolace tvarů se zabývá problémem, v němž se hledá sekvence tvarů, které aproximují v čase pravděpodobný pohyb objektu. Jadna z nedávných metod je v práci analyzována, popsána a implementována v ...

Sanan Patrick; Hrabec Šimon; Šimeček Ivan
České vysoké učení technické v Praze, 2017

Bytový dům
Čejka Tomáš; Salarziy Hikmatullah; Zigler Radek
2017 - English
Abstraktní Tato práce prezentuje návrh konstrukčního řešení, strukturní analýzu a realizaci nového bytového domu v souladu s platnými českými normami. Rozsah této práce je předběžný návrh všech nosných prvků, aby byla zajištěna bezpečnost, když stojí pravidelné akce Design a detail výpočet tepelné izolace, hydroizolace, kompozice vrstev s cílem zajistit standardní hodnoty U a eliminaci tepelných mostů, proniknutí vody, přenos vlhkosti, nadměrná spotřeba energie všech střech, stěn sklepa, obálka stěn, podlah a vnitřních stěn. Stručný návrh požární bezpečnosti a stavebních služeb.Abstract This thesis presents the design of structural solution , structural analysis and realization of new apartment building in accordance with applicable Czech standards. The scope of this work is preliminary design of all load bearing elements to ensure safety when facing regular actions Design and detail calculation of thermal insulation , hydro-insulation , compositions of layers to ensure standard U value and eliminate thermal bridges , water penetration , moisture transfer , excessive energy consumption of all roofs , basement walls , envelope walls, floors and internal walls. Brief design of fire safety and building services. Keywords: Předběžný návrh,tepelné mosty,hodnota U,struktura řešení,laterální směr,ztuhlost,nosný,typické patro,modul pružnosti,pevnost,empirický odhad; Preliminary design,thermal bridges,U value,structure solution,lateral direction,stiffness,load bearing,typical floor,Modulus of elasticity,strength,empirical estimation Available at various departments of the ČVUT.
Bytový dům

Abstraktní Tato práce prezentuje návrh konstrukčního řešení, strukturní analýzu a realizaci nového bytového domu v souladu s platnými českými normami. Rozsah této práce je předběžný návrh všech ...

Čejka Tomáš; Salarziy Hikmatullah; Zigler Radek
České vysoké učení technické v Praze, 2017

Exkluzivní fotoprodukce vektorového mezonu Psi(2s) ve srážkách olovo - olovo na experimentu ALICE s daty z Run 2
Contreras Nuno Guillermo; Gajdošová Zuzana; Petráček Vojtěch
2017 - English
Na studium vnitřní struktury nukleonů je potřeba mít výkonný urychlovač, který by mohl srážet těžké ionty o energiích nekolik TeV. Studium tohoto typu srážek je prováděno na Velkém hadronovém urychlovači v CERNu při sqrt(s_NN) = 5.02 TeV. Když nastane srážka při parametru dopadu větším než je součet poloměrů participujícich těžkých iontů, nazývame tyto srážky srážkami Ultra-periferálními (UPC). Při tomto typu srážky jsou vyprodukovány pouze vektorové mezony, což nám poskytuje účinný nástroj pro studium jaderné gluonové distribuce při malém Bjorken(ově)-x. V této práci se zabývam speciálně exkluzivní fotoprodukcí vektorového mezonu Psi(2S) ve střední rapiditě na detektoru ALICE s daty z Run2.At the Large Hadron Collider (LHC), located at the CERN laboratory, we collide protons or heavy nuclei at large energies. The study of Pb-Pb collisions at sqrt(s_NN) = 5.02 TeV can provide us with information about the internal structure of nucleons. When a collision occurs at impact parameters larger then the sum of the radii of the participant heavy ions, we call it an Ultra-peripheral collision (UPC). We study a special type of UPC, where only one vector meson is produced, which gives us a powerful tool to study the nuclear gluon distribution at low Bjorken-x. In this thesis, we study specifically the exclusive photoproduction of vector meson Psi(2S) at mid-rapidity at ALICE with Run2 data. Keywords: Ultra-periferální srážky,ALICE,Psi(2S); Ultra-peripheral collisions,ALICE,Psi(2S) Available at various departments of the ČVUT.
Exkluzivní fotoprodukce vektorového mezonu Psi(2s) ve srážkách olovo - olovo na experimentu ALICE s daty z Run 2

Na studium vnitřní struktury nukleonů je potřeba mít výkonný urychlovač, který by mohl srážet těžké ionty o energiích nekolik TeV. Studium tohoto typu srážek je prováděno na Velkém hadronovém ...

Contreras Nuno Guillermo; Gajdošová Zuzana; Petráček Vojtěch
České vysoké učení technické v Praze, 2017

Paralelní řešiče pro systémy lineárních rovnic
Oberhuber Tomáš; Kaňuk Jakub; Klement Vladimír
2017 - English
Systémy lineárních rovnic jsou základem linearní algebry a řešení takových systémů je vyžadováno mnoha odvětvími vědy a výzkumu. Pro všechny takové výpočty by jistě bylo příhodné, aby probíhaly rychleji se zachováním jisté přesnosti. Cílem této práce je implementovat algoritmy pro řešení systémů lineárních rovnic s použitím technologie Nvidia CUDA, která umožňuje programování paralelních algoritmů pro grafické procesory s použitím programovacího jazyka C/C++. Implementované algoritmy zahrnují kromě řešičů pro obecné systémy také specializované řešiče pro systémy s tridiagonální maticí. Algoritmy pro GPU pracují převážně dle očekávání, urychlují výpo čet oproti výpočtu na procesoru. Veškeré algoritmy byly implementovány do numerické knihovny vyvíjené na fakultě.Systems of linear equations are the basis of linear algebra and solving such systems is required by many branches of science and research. Such scientific calculations would certainly benefit from these calculations being quicker, while maintaining a certain level of accuracy. The goal of this project is to implement algorithms for solving systems of linear equations using the Nvidia CUDA Technology, which allows programming of parallel algorithms for Graphical Processors using the C/C++ programming language. The algorithms implemented include not only solvers for any generic systems but also more specialised solvers for systems with a tridiagonal matrix. The GPU algorithms seem to perform mostly as expected, showing improvement over standard calculations on the CPU. All algorithms were implemented into a numerical library that is being developed at the Faculty. Keywords: CUDA,Gaussova eliminační metoda,tridiagonální systém; CUDA,Gaussian Elimination,Tridiagonal system Available at various departments of the ČVUT.
Paralelní řešiče pro systémy lineárních rovnic

Systémy lineárních rovnic jsou základem linearní algebry a řešení takových systémů je vyžadováno mnoha odvětvími vědy a výzkumu. Pro všechny takové výpočty by jistě bylo příhodné, aby probíhaly ...

Oberhuber Tomáš; Kaňuk Jakub; Klement Vladimír
České vysoké učení technické v Praze, 2017

Extrakce parametrů cyklodopravní sítě z dat ze senzorů mobilního telefonu
Drchal Jan; Bednář Jan; Buk Zdeněk
2017 - English
Cílem této práce je vytvořit model neuronové sítě, který umožní identifikovat povrch (vybranou množinu povrchů) pomocí senzorů mobilního telefonu. Tento problém jsem řešil hlavně pomocí akcelerometru. Naměřená data jsem použil pro učení modelu neuronové sítě, který po naučení předpovídá projetý povrch. Podařilo se mi vytvořit model, který předpovídá povrch s úspěšností 81,7%. Tento model je nastaven na: 60 LSTMs, 200 záznamů na sekvenci, 50 ms vzorkovací frekvence. Výsledky této práce ukazují, že je možné pomocí mobilních senzorů s relativně dobrou úspěšností analyzovat povrch, po kterém cyklista jede. To může pomoci ke zmapování povrchů, po kterých cyklisté ve městě jezdí a zlepšit tak rozmanitost nabízených variant trasy.The aim of this work is to develop a neural network model which could be used used for determination of a road surface using mobile sensors data. Mobile was attached to a bike to be able to measure vibration while cycling. I used measured data for a neural network training. I used mainly the Python language for the implementation of data processing and the neural network. I have developed a neural network that can predict the surface with success rate of 81,7%. This model has following setting: 60 LSTMs, 200 sample sequence length, 50 ms resample. The results of the work show up that the road surface can be predicted with usage of the mobile sensors. It can help to map surfaces in cities and the application can offer better roads options. Keywords: Neuronová síť,Detekce povrchu,Android,Python,LSTM,PyBrain,Keras; Neural network,Surface detection,Android,Python,LSTM,PyBrain,Keras Available at various departments of the ČVUT.
Extrakce parametrů cyklodopravní sítě z dat ze senzorů mobilního telefonu

Cílem této práce je vytvořit model neuronové sítě, který umožní identifikovat povrch (vybranou množinu povrchů) pomocí senzorů mobilního telefonu. Tento problém jsem řešil hlavně pomocí akcelerometru. ...

Drchal Jan; Bednář Jan; Buk Zdeněk
České vysoké učení technické v Praze, 2017

Aplikace statistického testování hypotéz na data z experimentu ATLAS
Franc Jiří; Trusina Jakub; Kůs Václav
2017 - English
V částicové fyzice je potřeba ověřit, zda-li naměřená data odpovídají simulacím, které jsou vytvářeny pomocí Monte Carlo generátorů. Ke zjištění, jestli oba vzorky pochází ze stejného rozdělení, se používají statistické testy homogenity, konkrétně v této práci byly použity testy chí-kvadrát, Kolmogorov-Smirnov a Anderson-Darling. Monte Carlo generátory produkují vzorky, jejichž množství značně přesahuje počet naměřených dat a které jsou poté převáženy, aby odpovídaly rozdělení. Proto je žádoucí použít zobecněné (vážené) testy. Testovací statistiky těchto testů ale nemají dokázanou asymptotickou vlastnost, proto jsou testy podrobeny numerické analýze, která se zaměřuje na chybu prvního druhu a sílu testu. Testy jsou poté použity na porovnání naměřených dat experimentu ATLAS s Monte Carlo generovanými vzorky. Konkrétně jde o vzorky rozpadového kanálu 2lep + tau_hadronic z produkce ttH.In particle physics it is necessary to verify whether measured data corresponds to simulations created by Monte Carlo generators. Statistical tests of homogeneity chi-square, Kolmogorov-Smirnov, and Anderson-Darling tests are used to determine whether both samples come from same distribution. Monte Carlo generators produce samples whose amount is substantially higher than amount of measured data. Subsequently, weights are assigned to every entry. Therefore, it is necessary to use generalized (weighted) tests. However, asymptotic distributions of test statistics are not proven; therefore, their properties are verified by numerical analysis which is aimed on type-I error and power of test. Finally, tests are applied for comparison of measured datasets from the ATLAS experiment with Monte Carlo generated samples coming from a decay channel 2lep + tau_hadronic of ttH production process. Keywords: Anderson-Darling test,experiment ATLAS,chí-kvadrát test,Kolmogorov-Smirnov test,numerická analýza testů homogenity,ROOT,Standardní model,Statistické testování hypotéz,ttbarH,vážené vzorky; Anderson-Darling test,ATLAS experiment,chi-squared test,Kolmogorov-Smirnov test,numerical analysis of homogeneity tests,ROOT,Standard Model,Statistical hypothesis testing,ttbarH,weighted samples Available at various departments of the ČVUT.
Aplikace statistického testování hypotéz na data z experimentu ATLAS

V částicové fyzice je potřeba ověřit, zda-li naměřená data odpovídají simulacím, které jsou vytvářeny pomocí Monte Carlo generátorů. Ke zjištění, jestli oba vzorky pochází ze stejného rozdělení, se ...

Franc Jiří; Trusina Jakub; Kůs Václav
České vysoké učení technické v Praze, 2017

About project

NRGL provides central access to information on grey literature produced in the Czech Republic in the fields of science, research and education. You can find more information about grey literature and NRGL at service web

Send your suggestions and comments to nusl@techlib.cz

Provider

http://www.techlib.cz

Facebook

Other bases