Search
Now showing items 1-10 of 29
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 ...
Compilation-based Approaches for Automated Planning
Kompilační přístupy pro automatické plánování
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: 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é ...
Employing Parallel Architectures in Similarity Search
Nasazení paralelních architektur v podrobnostním vyhledávání
dissertation thesis (DEFENDED)
Advisor: Yaghob, Jakub
Date Issued: 2013
Date of defense: 10. 06. 2013
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: This work examines the possibilities of employing highly parallel architectures in database systems, which are based on the similarity search paradigm. The main objective of our research is utilizing the computational power ...
Tato práce se zabývá možnostmi nasazení masivně paralelních architektur v data- bázových systémech využívajících podobnostní vyhledávání. Hlavním předmětem našeho zájmu je využití výpočetní síly současné generace grafických ...
Tato práce se zabývá možnostmi nasazení masivně paralelních architektur v data- bázových systémech využívajících podobnostní vyhledávání. Hlavním předmětem našeho zájmu je využití výpočetní síly současné generace grafických ...
Rozvrhovací program pro základní a střední školy
Scheduling program for elementary and secondary schools
bachelor thesis (DEFENDED)
Advisor: Kopecký, Michal
Date Issued: 2013
Date of defense: 20. 06. 2013
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Rozvrhovátko je program určený základním a středním školám menší až střední velikosti. Jejich pracovníkům, odpovědným za vytváření rozvrhů, poskytuje jednoduchý nástroj pro každoroční vytváření rozvrhů pro celou školu. ...
Rozvrhovatko is a program dedicated for basic and high schools of small or medium size. The employees who are responsible for creating timetables for the school are provided with a simple tool which will save their time ...
Rozvrhovatko is a program dedicated for basic and high schools of small or medium size. The employees who are responsible for creating timetables for the school are provided with a simple tool which will save their time ...
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
diploma thesis (DEFENDED)
Advisor: Obdržálek, David
Date Issued: 2018
Date of defense: 13. 09. 2018
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: 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 ...
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. ...
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 ...
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 ...