Hledat
Zobrazují se záznamy 41-49 z 49
Simulace ekonomiky
Economic simulation
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Zajíček, Ondřej
Datum publikování: 2008
Datum obhajoby: 24. 06. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Návrh a implementace ekonomické simulace společnosti (na úrovni státu). Cílem je simulovat toky komodit a peněz, vývoj nabídky a poptávky na jednotlivých trzích a rozvoj měst. Důraz není kladen na přesnost simulace, ale ...
Design and implementation of economy society simulation (at country level). The aim is to simulate comodities and financy flow, supply and demand progress at each market and evolution of the cities. Exactnest of the ...
Design and implementation of economy society simulation (at country level). The aim is to simulate comodities and financy flow, supply and demand progress at each market and evolution of the cities. Exactnest of the ...
Simulace automobilového provozu
Simulation of Car Traffic
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Pudlák, Petr
Datum publikování: 2006
Datum obhajoby: 18. 09. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Tato bakalářská práce se zabývá popisem podstatných částí programu, který simuluje automobilový provoz. Popisuje reprezentaci silniční sítě, agentů, průběh simulace a její výstup. Dále popisuje některé výsledky dosažené ...
This bachelor's thesis describes the main components of the program that simulates the car traffic. It describes the representation of road system, agents, simulation in progress and its output. It also describes several ...
This bachelor's thesis describes the main components of the program that simulates the car traffic. It describes the representation of road system, agents, simulation in progress and its output. It also describes several ...
Editor s funkcemi řízenými syntaxí jazyka
Syntax directed editor
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Zajíček, Ondřej
Datum publikování: 2008
Datum obhajoby: 09. 09. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Návrh a implementace jádra programu, který využívá syntaxe obecného formálního jazyka, rozpoznává text a využívá získaných informací k další aplikaci, kterou může být například formátování nebo zvýrazňování zdrojového kódu. ...
Design and implementation of the program core, which uses syntax of the formal language, parses the input text and aplies the results in indentation and source code highlighting. The goal is to describe the way of the ...
Design and implementation of the program core, which uses syntax of the formal language, parses the input text and aplies the results in indentation and source code highlighting. The goal is to describe the way of the ...
Booleovy algebry a teorie 1. řádu.
Boolean algebras and first order theories.
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Mlček, Josef
Datum publikování: 2006
Datum obhajoby: 12. 09. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Budeme studovat Lindenbaumovy algebry a algebry definovatelných množin vybraných teorií prvního řádu: teorie konstant pro a, Presburgerovy, Robinsonovy, Peanovy a standardní aritmetiky, teorie následníka, teorie následníka ...
We will study Lindenbaum algebras and algebras of definable subsets of selected first order theories: constants theory for a, Presburger, Robinson, Peano and standard arithmetic, successor theory, successor theory with ...
We will study Lindenbaum algebras and algebras of definable subsets of selected first order theories: constants theory for a, Presburger, Robinson, Peano and standard arithmetic, successor theory, successor theory with ...
Hra - simulace státu
Government simulation game
Bakalářská práce (NEOBHÁJENO)
Vedoucí práce: Zajíček, Ondřej
Datum publikování: 2008
Datum obhajoby: 08. 09. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Cieľom práce je navrhnúť a implementovať model ekonomiky štátu a použiť ho v hre. Vo virtuálnom svete sa nachádzajú centrá produkcie, ktoré obsahujú výrobné kapacity. Výrobné kapacity nakupujú suroviny a svoje výrobky ďalej ...
The aim of this work is to design and implement a model of state`s economy and to use it in a game. The virtual world contains centers of production, which can be full of various productions. These buy raw materials and ...
The aim of this work is to design and implement a model of state`s economy and to use it in a game. The virtual world contains centers of production, which can be full of various productions. These buy raw materials and ...
Optimalizace portfolia
Portfolio Optimisation
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Barták, Roman
Datum publikování: 2008
Datum obhajoby: 08. 09. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Cílem této práce je navržení algoritmu pro vybrání optimálního portfolia ze vstupních projektů, které jsou ohodnoceny z hlediska nákladů, zisku a jejich potenciálního rizika. Mezi těmito vstupními projekty mohou být ...
The goal of this work is to propose an algorithm selecting an optimal portfolio from input projects, which are assessed by costs, profits and potential risk. Any interdependencies can be defined among these input projects. ...
The goal of this work is to propose an algorithm selecting an optimal portfolio from input projects, which are assessed by costs, profits and potential risk. Any interdependencies can be defined among these input projects. ...
Lebesgueova věta o hustotě pro Haarovu míru
Lebesgue density theorem for Haar measure
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Simon, Petr
Datum publikování: 2006
Datum obhajoby: 12. 09. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Práce se zabývá analogií Lebesgueovy věty v prostoru 2k s Haarovou mírou a souvisejícím tématem -k-linkovanosti algebry řešitelných množin tohoto prostoru. Celý text je rozdělen do tří kapitol. První kapitola je věnována ...
In this work, we study Lebesgue theorem analogy in the space 2k with Haar measure and a related theorem about -k-linkedness of the measure algebra of this space. The whole text is divided in three chapters. In the first ...
In this work, we study Lebesgue theorem analogy in the space 2k with Haar measure and a related theorem about -k-linkedness of the measure algebra of this space. The whole text is divided in three chapters. In the first ...
Slabé aritmetické teorie a jejich modely.
Weak arithmetic theories and their models.
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Mlček, Josef
Datum publikování: 2007
Datum obhajoby: 25. 06. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: V předložené práci studujeme teorie v jazyce aritmetiky L rozšířeném o jeden binární funkční symbol s významem exponenciály. Pro libovolnou teorii v jazyce aritmetiky pak lze zavést její rozšíření v tomto novém jazyce Le ...
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 ...
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 ...
Real-time fyzikální simulace pro mobilní zařízení
Real-time simulation of physics on mobile devices
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Sýkora, Ondřej
Datum publikování: 2009
Datum obhajoby: 22. 06. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: V bakalářské práci se zabývám implementací knihovny pro fyzikální simulaci na mobilních telefonech. Uvádím několik možných přístupů k problému, ze kterých jeden vyberu a popíši důkladněji. Dále se zabývám obecnými postupy ...
In the presented work I discuss possible options of implementing a physical simulation that can be run on today's mobile phones. I describe several approaches from which I choose one and discuss it in more depth. Next, I ...
In the presented work I discuss possible options of implementing a physical simulation that can be run on today's mobile phones. I describe several approaches from which I choose one and discuss it in more depth. Next, I ...