Search
Now showing items 1-10 of 29
Integrating Planning and Scheduling
Integrace plánování a rozvrhování
dissertation thesis (DEFENDED)
Advisor: Barták, Roman
Date Issued: 2014
Date of defense: 29. 09. 2014
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: 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
bachelor thesis (DEFENDED)
Advisor: Barták, Roman
Date Issued: 2017
Date of defense: 20. 06. 2017
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: 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
diploma thesis (DEFENDED)
Advisor: Barták, Roman
Date Issued: 2020
Date of defense: 08. 07. 2020
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: 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
diploma thesis (DEFENDED)
Advisor: Barták, Roman
Date Issued: 2016
Date of defense: 12. 09. 2016
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: 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 ...
Streaming system scheduling for Xeon Phi
Plánování v proudových systemech na Xeonu Phi
diploma thesis (NOT DEFENDED)
Advisor: Yaghob, Jakub
Date Issued: 2016
Date of defense: 05. 09. 2016
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: V oblasti operačních systémů je plánování dobře popsaným problémem. Ačkoliv dané postupy fungují dobře na tradičních architekturách (NUMA, SMP), tak již tak dobře nefungují na nových mnohajádrových architekturách, speciálně ...
Task scheduling in operating system area is well known problem on traditional system architectures (NUMA, SMP). However, it does not perform well on emerging many-core architectures, especially on Intel Xeon Phi. We have ...
Task scheduling in operating system area is well known problem on traditional system architectures (NUMA, SMP). However, it does not perform well on emerging many-core architectures, especially on Intel Xeon Phi. We have ...
Automatický dispečer železničního provozu
Automatic Rail Traffic Controller
bachelor thesis (DEFENDED)
Advisor: Babilon, Robert
Date Issued: 2012
Date of defense: 18. 06. 2012
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Organizace provozu na železniční trati je značně náročný úkol, a to i za předpokladu, že existuje propracovaný jízdní řád. V praxi je vždy nutno přizpůsobivě reagovat na nastalou situaci - ať už jde o zpoždění, výluku na ...
Organizing traffic on the railroad is quite a difficult task even if there is an elaborate train timetable present. In practice it is allways neccessary to adaptively react to current situation - whether there is a delay, ...
Organizing traffic on the railroad is quite a difficult task even if there is an elaborate train timetable present. In practice it is allways neccessary to adaptively react to current situation - whether there is a delay, ...
Informační systém pro plánování konferencí
Information System for Conference Planning
bachelor thesis (DEFENDED)
Advisor: Zavoral, Filip
Date Issued: 2011
Date of defense: 07. 09. 2011
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Tématem této práce je navrhnout a implementovat informační systém využitelný v oblasti vědeckých konferencí. Práce čtenáře seznámí s problémy, které bylo během vývoje zapotřebí vyřešit a dále ho obeznámí se strukturou ...
The subject of this thesis is to design and implement an information system usable in the area of science conferences. The work introduces the reader into issue that had to be solved during the development. It will also ...
The subject of this thesis is to design and implement an information system usable in the area of science conferences. The work introduces the reader into issue that had to be solved during the development. It will also ...
Řídící systém pro autonomního robota
Autonomous Robot Control System
diploma thesis (DEFENDED)
Advisor: Obdržálek, David
Date Issued: 2015
Date of defense: 03. 02. 2015
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Práce popisuje návrh a implementaci řídícího systému pro autonomního robota, který je schopný projet uživatelem definovanými body v neznámém prostředí, bez kolize s překážkami. V práci je uvedena analýza dostupných ...
This master thesis describes the design and implementation of control sys- tem for autonomous robot which is able to run through user defined points in unknown environment without colliding with obstacles. The work contains ...
This master thesis describes the design and implementation of control sys- tem for autonomous robot which is able to run through user defined points in unknown environment without colliding with obstacles. The work contains ...
Security Game with Planning Agents
Bezpečnostní hra s plánovacími agenty
diploma thesis (DEFENDED)
Advisor: Gemrot, Jakub
Date Issued: 2018
Date of defense: 13. 09. 2018
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: The goal of the thesis was to create an application for training security guards, containing a configurable artificial burglar. To fulfill these expectation, a 3D application was implemented, containing a 2D editor of ...
Cieľom práce bolo vytvoriť aplikáciu slúžiacu na trénovanie strážnikov bezpečnostných služieb, obsahujúcu konfigurovateľných umelých zlodejov. Za účelom naplnenia týchto požiadaviek bola vytvorená 3D aplikácia s 2D editorom ...
Cieľom práce bolo vytvoriť aplikáciu slúžiacu na trénovanie strážnikov bezpečnostných služieb, obsahujúcu konfigurovateľných umelých zlodejov. Za účelom naplnenia týchto požiadaviek bola vytvorená 3D aplikácia s 2D editorom ...
Streaming system scheduling for Xeon Phi
Plánování v proudových systemech na Xeonu Phi
diploma thesis (DEFENDED)
Advisor: Yaghob, Jakub
Date Issued: 2017
Date of defense: 06. 09. 2017
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Task scheduling in operating system area is a well-known problem on traditional system architectures (NUMA, SMP). Unfortunately, it does not perform well on emerging many-core architectures, especially on Intel Xeon Phi. ...
Plánování procesů v oblasti operačních systémů je velmi dobře prozkoumaný problém na tradičních architekturách (NUMA, SMP). Bohužel nepracuje správně na nově vzniklých architekturách, speciálně na procesoru Intel Xeon Phi. ...
Plánování procesů v oblasti operačních systémů je velmi dobře prozkoumaný problém na tradičních architekturách (NUMA, SMP). Bohužel nepracuje správně na nově vzniklých architekturách, speciálně na procesoru Intel Xeon Phi. ...