Hledat
Zobrazují se záznamy 1-10 z 75
Systémový model řízení profesionální firmy
System Management Model of a Professional Service Firm
Diplomová práce (OBHÁJENO)
Vedoucí práce: Křivánek, Mirko
Datum publikování: 2012
Datum obhajoby: 03. 09. 2012
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: V předložené práci se zabývám vytvořením počítačového modelu profesionální firmy s využitím teorie dynamického modelování. Celý model jsem naprogramoval s využitím nástroje Vensim. Další částí práce bylo s pomocí tohoto ...
In the presented work I devote to creating a computer model of a professional service firm using the theory of business modeling. The whole model was programmed using the application Vensim. Another part of this work was ...
In the presented work I devote to creating a computer model of a professional service firm using the theory of business modeling. The whole model was programmed using the application Vensim. Another part of this work was ...
Kompilace KNF do backdoor decomposable monotone circuit
Compilation of a CNF into a backdoor decomposable monotone circuit
Diplomová práce (OBHÁJENO)
Vedoucí práce: Kučera, Petr
Datum publikování: 2021
Datum obhajoby: 02. 09. 2021
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: NNF obvod je zakořeněný orientovaný acyklický graf (DAG), který v listech obsahuje true/false nebo literály a má dva typy vnitřních uzlů, a to konjunkci (∧) a disjunkci (∨). Decomposable NNF (DNNF) je NNF, který navíc ...
An NNF circuit is a directed acyclic graph (DAG), where each leaf is labelled with either true/false or a literal, and each inner node represents either a conjunction (∧) or a disjunction (∨). A decomposable NNF (DNNF) is ...
An NNF circuit is a directed acyclic graph (DAG), where each leaf is labelled with either true/false or a literal, and each inner node represents either a conjunction (∧) or a disjunction (∨). A decomposable NNF (DNNF) is ...
Autonomní navigace v jednoduchém terénu
Simple Terrain Autonomous Navigation
Diplomová práce (OBHÁJENO)
Vedoucí práce: Obdržálek, David
Datum publikování: 2023
Datum obhajoby: 05. 09. 2023
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: An important ability for light terrain outdoor navigation of an UGV (Un- manned Ground Vehicle) is traversability detection. We focus on creating an evaluation layer for move_base package, which is part of ROS (Robot ...
Důležitou schopností pro možnost navigace autonomního robota v jedno- duchém venkovním terénu je rozpoznání průjezdnosti. Zaměřujeme se na vy- tvoření hodnotící vrstvy pro plánovací balíček move_base, který je součástí ROS ...
Důležitou schopností pro možnost navigace autonomního robota v jedno- duchém venkovním terénu je rozpoznání průjezdnosti. Zaměřujeme se na vy- tvoření hodnotící vrstvy pro plánovací balíček move_base, který je součástí ROS ...
Doménově specifické jazyky
Domain Specific Languages
Diplomová práce (OBHÁJENO)
Vedoucí práce: Hric, Jan
Datum publikování: 2009
Datum obhajoby: 21. 09. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Dom énově specifi cké jazyky (DSL) jsou jazyky navržen é pro určitou problémovou oblast. Jejich syntaxe a základní primitiva jsou přizpůsobeny t ří dě problém u, kter é mají řeš it. Dí ky této specializaci jsou programy v ...
Domain speci c languages (DSL) are languages designed for one particular area. Their syntax and basic primitives are carefully chosen to t the class of problems they are meant to solve. Because of this specialisation, ...
Domain speci c languages (DSL) are languages designed for one particular area. Their syntax and basic primitives are carefully chosen to t the class of problems they are meant to solve. Because of this specialisation, ...
Metafory a modelování živých systémů
Metaphors and Modelling of Life Systems
Diplomová práce (OBHÁJENO)
Vedoucí práce: Havel, Ivan
Datum publikování: 2009
Datum obhajoby: 21. 09. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Předložená práce si klade za cíl teoreticky prozkoumat a popsat některé modely živých systémů. V první části se zabývá modely autonomních systémů, jako je například buňka nebo živý tvor jako celek. V této části je představen ...
The aim of this work is to theoretically study and describe some of the models of living systems. In the rst part, we focus on models of autonomous systems, such as the cell or a living being as a whole. In this part, we ...
The aim of this work is to theoretically study and describe some of the models of living systems. In the rst part, we focus on models of autonomous systems, such as the cell or a living being as a whole. In this part, we ...
Simulace obchodování na akciovém trhu
Simulation of transactions on Stock Market
Diplomová práce (OBHÁJENO)
Vedoucí práce: Štěpánek, Petr
Datum publikování: 2010
Datum obhajoby: 31. 05. 2010
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Tato diplomová práce se zabývá simulací obchodování na elektronickém akciovém trhu NASDAQ. Soustředí se na simulaci obchodování s vysokou frekvencí, tzv. High Frequency Trading (HFT) strategií. Simulace je založena na ...
This diploma thesis presents the simulation of the high frequency trading (HFT) strategies on electronic markets such as NASDAQ. The simulation is based on merging real historical order flow data and order flow of artificial ...
This diploma thesis presents the simulation of the high frequency trading (HFT) strategies on electronic markets such as NASDAQ. The simulation is based on merging real historical order flow data and order flow of artificial ...
Infinitesimální kalkulus funkcí více proměnných
Differential Calculus of Functions of Several Variables
Diplomová práce (OBHÁJENO)
Vedoucí práce: Mlček, Josef
Datum publikování: 2016
Datum obhajoby: 15. 06. 2016
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Práce navazuje na alternativní teorii mno¾in a polomno¾in Petra Vopìnky roz¹íøením pojmù nekoneèné blízkosti a monády na vícerozmìrné reálné prostory. Upøesòuje a na pøíkladech vysvìtluje základní terminologii této teorie, ...
The thesis follows on Petr Vopìnka's alternative theory of sets and semisets by extending notions of in nite closeness and monad for real spaces of several variables. It speci es and explains on examples the basic terminology ...
The thesis follows on Petr Vopìnka's alternative theory of sets and semisets by extending notions of in nite closeness and monad for real spaces of several variables. It speci es and explains on examples the basic terminology ...
Hledání robustních cest pro více agentů
Robust multi-agent path finding
Diplomová práce (OBHÁJENO)
Vedoucí práce: Barták, Roman
Datum publikování: 2020
Datum obhajoby: 14. 09. 2020
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Práce se věnuje hledání robustních nekonfliktních cest v multi-agent path finding (MAPF). Představíme zde několik nových technik pro konstrukci těchto cest a popíšeme jejich vlastnosti. Budeme se zabývat použitím techniky ...
The thesis is devoted to finding robust non-conflict paths in multi-agent path finding (MAPF). We propose several new techniques for the construction of these types of paths and describe their properties. We deal with the ...
The thesis is devoted to finding robust non-conflict paths in multi-agent path finding (MAPF). We propose several new techniques for the construction of these types of paths and describe their properties. We deal with the ...
Globální podmínky s cenou
Global Constraints with Cost
Diplomová práce (OBHÁJENO)
Vedoucí práce: Barták, Roman
Datum publikování: 2007
Datum obhajoby: 18. 09. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Plánovací problémy tvoří velice důležiotou aplikační oblast oboru programování s omezujícími podmínkami. Častý způsob reprezentace plánovacích problémů představují temporální sítě, kde uzly reprezentují jednotlivé časové ...
Planning problems are a very important application area for constraint satisfactory problems. Temporal networks are a common way of planning problems representation. In temporal network nodes represent time points and arcs ...
Planning problems are a very important application area for constraint satisfactory problems. Temporal networks are a common way of planning problems representation. In temporal network nodes represent time points and arcs ...
Součiny Fréchetovských prostorů
Products of Fréchet spaces
Diplomová práce (OBHÁJENO)
Vedoucí práce: Simon, Petr
Datum publikování: 2015
Datum obhajoby: 07. 09. 2015
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Práce se zabývá konstrukcemi příkladů k-tice prostorů, jejichž součin nemá Fréchet-Urysohnovu vlastnost, ale všechny menší podsoučiny ji mají. Pro tyto konstrukce jsou použity skoro disjunktní systémy. V práci je zopakována ...
The article gives a constructions of k-tuples of topological spaces such that the product of the k-tuple is not Frchet-Urysohn but all smaller subproducts are. The construction uses almost disjoint systems. The article ...
The article gives a constructions of k-tuples of topological spaces such that the product of the k-tuple is not Frchet-Urysohn but all smaller subproducts are. The construction uses almost disjoint systems. The article ...