Hledat
Zobrazují se záznamy 1-10 z 16
Integrating Planning and Scheduling
Integrace plánování a rozvrhování
Dizertační práce (OBHÁJENO)
Vedoucí práce: Barták, Roman
Datum publikování: 2014
Datum obhajoby: 29. 09. 2014
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: The main topic of the work is the design and development of a plan-space planning system FAPE that integrates explicit time reasoning, resource reasoning with discrete resources and reservoirs and hierarchical decompositions. ...
Hlavním tématem práce je navržení a vývoj plánovacího systému FAPE, který integruje explicitní reprezentaci času, rozhodování s diskrétními zdroji a rezervoáry, a hierarchické dekompozice. FAPE je první plánovací systém, ...
Hlavním tématem práce je navržení a vývoj plánovacího systému FAPE, který integruje explicitní reprezentaci času, rozhodování s diskrétními zdroji a rezervoáry, a hierarchické dekompozice. FAPE je první plánovací systém, ...
Planning for Transportation Problems
Plánování pro přepravní problémy
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Barták, Roman
Datum publikování: 2017
Datum obhajoby: 20. 06. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Obrovské množství zdrojů je každodenně zbytečně promarněno kvůli neefektivnímu plánování přepravy. Pomocí technik automatizovaného plánování navrhujeme několik plánovacích systémů pro efektivní řešení zjednodušených variant ...
Today, a vast amount of resources is spent globally on ineffective transportation planning. Using techniques of automated planning, we study simplified variants of logistic problems, where items are delivered to their ...
Today, a vast amount of resources is spent globally on ineffective transportation planning. Using techniques of automated planning, we study simplified variants of logistic problems, where items are delivered to their ...
Trajectory planning for fast moving cars
Plánování dráhy pro rychle se pohybující automobily
Diplomová práce (OBHÁJENO)
Vedoucí práce: Barták, Roman
Datum publikování: 2020
Datum obhajoby: 08. 07. 2020
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: The goal of this thesis is to create an artificial agent for an autonomous racing vehicle. This project is inspired by the F1/10 racing competition. The agent uses a planning algorithm to find a time-optimal trajectory. ...
Cı́lem této práce je vytvořit umělého agenta pro autonomnı́ závodnı́ vozidlo. Tento projekt je inspirován soutěžı́ F1/10. Agent použı́vá plánovacı́ algoritmus pro nalezenı́ trajektorie minimalizujı́cı́ dobu ...
Cı́lem této práce je vytvořit umělého agenta pro autonomnı́ závodnı́ vozidlo. Tento projekt je inspirován soutěžı́ F1/10. Agent použı́vá plánovacı́ algoritmus pro nalezenı́ trajektorie minimalizujı́cı́ dobu ...
Hierarchické modelování plánovacích problémů
Hierarchical Modeling of Planning Problems
Diplomová práce (OBHÁJENO)
Vedoucí práce: Barták, Roman
Datum publikování: 2016
Datum obhajoby: 12. 09. 2016
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Automatické plánování je problém nalezení sekvence akcí vedoucích z daného počátečního stavu do požadovaného cílového stavu. Existuje celá řada formálních modelů určených pro modelování plánovacích problémů. Jednou z větví ...
Automated planning is a task to find a sequence of actions leading from an initial state to a desired goal state. There is a lot of formal models for planning problems modeling. The class of hierarchical formal models is ...
Automated planning is a task to find a sequence of actions leading from an initial state to a desired goal state. There is a lot of formal models for planning problems modeling. The class of hierarchical formal models is ...
Monte Carlo Techniques in Planning
Monte Carlo Techniques in Planning
Diplomová práce (OBHÁJENO)
Vedoucí práce: Barták, Roman
Datum publikování: 2013
Datum obhajoby: 15. 05. 2013
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Algoritmus Monte Carlo Tree Search (MCTS) v nedávné době prokázal, že dokáže úspěšně řešit těžké problémy v oblasti optimalizace i v oblasti hraní her. Pomocí tohoto algoritmu byly vyřešeny i některé problémy, které dlouho ...
The Monte Carlo Tree Search (MCTS) algorithm has recently proved to be able to solve difficult problems in the field of optimization as well as game-playing. It has been able to address several problems that no conventional ...
The Monte Carlo Tree Search (MCTS) algorithm has recently proved to be able to solve difficult problems in the field of optimization as well as game-playing. It has been able to address several problems that no conventional ...
Planning operations of space probes
Planning operations of space probes
Diplomová práce (OBHÁJENO)
Vedoucí práce: Barták, Roman
Datum publikování: 2014
Datum obhajoby: 09. 09. 2014
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Práce popisuje řešení komplikovaného rozvrhovacího problému z problematiky vesmírných misí. V práci je popsán problem rozvrhování operací na družici Mars Express Orbiter, který byl původně prezentován jako zadání soutěže ...
The thesis addresses a complicated real-world scheduling problem from the space operations environment. The Mars Express Orbiter scheduling problem was first presented as a challenge by the European Space Agency. The thesis ...
The thesis addresses a complicated real-world scheduling problem from the space operations environment. The Mars Express Orbiter scheduling problem was first presented as a challenge by the European Space Agency. The thesis ...
3D akční hra v podivném městě
3D akční hra v podivném městě
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Balyo, Tomáš
Datum publikování: 2013
Datum obhajoby: 20. 06. 2013
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Práce se zabývá návrhem a následnou implementací real-time akční hry ve světě, který se nedá popsat klasickým třídimensionálním reálným lineárním vektorovým prostorem. Tato počítačová hra ovšem používá 3D zobrazování. Práce ...
This thesis deals with a conception and implementation of a real-time 3D action game. This game is placed in a bizzare surrounding that is not a subset of an ordinary real three- dimensional linear space. The work presents ...
This thesis deals with a conception and implementation of a real-time 3D action game. This game is placed in a bizzare surrounding that is not a subset of an ordinary real three- dimensional linear space. The work presents ...
Monte Carlo Techniques in Planning
Monte Carlo techniky v plánování
Rigorózní práce (UZNÁNO)
Vedoucí práce: Barták, Roman
Datum publikování: 2018
Datum obhajoby: 17. 12. 2018
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Algoritmus Monte Carlo Tree Search (MCTS) v nedávné době prokázal, že dokáže úspěšně řešit těžké problémy v oblasti optimalizace i v oblasti hraní her. Pomocí tohoto algoritmu byly vyřešeny i některé problémy, které dlouho ...
The Monte Carlo Tree Search (MCTS) algorithm has recently proved to be able to solve difficult problems in the field of optimization as well as game-playing. It has been able to address several problems that no conventional ...
The Monte Carlo Tree Search (MCTS) algorithm has recently proved to be able to solve difficult problems in the field of optimization as well as game-playing. It has been able to address several problems that no conventional ...
Planning in the context of active localization and multi-hypothesis tracking
Plánování v kontextu aktivní lokalizace a sledování s více hypotézami
Diplomová práce (OBHÁJENO)
Vedoucí práce: Obdržálek, David
Datum publikování: 2018
Datum obhajoby: 13. 09. 2018
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: In this work, a solution for global localization of small robot in ambiguous environment is proposed using "Multiple Hypothesis Tracking" approach. The ROS navigation package is extended to work with multiple possible ...
V této práci se prezentuje řešení pro globální lokalizaci robota ve víceznačném prostředí s využitím techniky pro sledování více hypotéz. ROS balík určený pro navigaci robota byl rozšířen tak, aby dokázal pracovat naráz s ...
V této práci se prezentuje řešení pro globální lokalizaci robota ve víceznačném prostředí s využitím techniky pro sledování více hypotéz. ROS balík určený pro navigaci robota byl rozšířen tak, aby dokázal pracovat naráz s ...
Compilation-based Approaches for Automated Planning
Kompilační přístupy pro automatické plánování
Diplomová práce (OBHÁJENO)
Vedoucí práce: Barták, Roman
Datum publikování: 2020
Datum obhajoby: 08. 07. 2020
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: One of the possible approaches to automated planning is compilation to sat- isfiability or constraint satisfaction. Compilation enables to take advantage of the advancement of SAT or CSP solvers. In this thesis, we implement ...
Jedním z možných přístupů k automatickému plánování je kompilace na problém splnitelnosti (SAT) nebo na splňování omezujících podmínek (CSP). Kompilace nám umožňuje využít vývoje SAT nebo CSP řešičů. V rámci této diplomové ...
Jedním z možných přístupů k automatickému plánování je kompilace na problém splnitelnosti (SAT) nebo na splňování omezujících podmínek (CSP). Kompilace nám umožňuje využít vývoje SAT nebo CSP řešičů. V rámci této diplomové ...