Modely s omezujícími podmínkami pro plánování a rozvrhování

Procházka Martin

Constraint Models for Planning and Scheduling

Type of document

diplomová práce
master thesis

Author

Procházka Martin

Supervisor

Barták Roman

Opponent

Ratschan Stefan

Field of study

Znalostní inženýrství

Study program

Informatika

Institutions assigning rank

katedra teoretické informatiky

Rights

A university thesis is a work protected by the Copyright Act. Extracts, copies and transcripts of the thesis are allowed for personal use only and at one?s own expense. The use of thesis should be in compliance with the Copyright Act http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf and the citation ethics http://knihovny.cvut.cz/vychova/vskp.html
Vysokoškolská závěrečná práce je dílo chráněné autorským zákonem. Je možné pořizovat z něj na své náklady a pro svoji osobní potřebu výpisy, opisy a rozmnoženiny. Jeho využití musí být v souladu s autorským zákonem http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf a citační etikou http://knihovny.cvut.cz/vychova/vskp.html

Metadata

Show full item record

Abstract

Cílem této práce je navrhnout výpocetní model pomocí technologie constraint programming, který by byl schopen popsat a vyrešit konkrétní plánovací problém. Problém je definován pomocí plánovacího jazyka PDDL a je zameren na offshore vetrné farmy, jejich údržbu a plánování zdroju, které jsou s údržbou spojeny. Model který navrhujeme je založen na výzkumu Graphplan algoritmu a jeho využití v paradigmatu constraint programmingu pro plánování. Popisujeme všechny navržené akce a jejich prípadnou transformaci z puvodní PDDL domény do logického modelu constraint programmingu. Nakonec provádíme analýzu výsledku a navrhujeme vylepšení nebo návrhy na jiné implementace modelu pro budoucí práci.

The purpose of this thesis is to propose a CSP model that would be able to describe and solve a specific planning problem. The problem is defined by a PDDL domain and it is related to an offshore wind farm maintenance and to the planning of the resources required. The model we propose is based on the research of the Graphplan algorithm and its use in the constraint programming approach to planning. We describe all the actions and their eventual mapping from the original PDDL domain to the logical model of the constraint programming. Finally we analyze the results and propose improvements or ideas on a different implementation of the model for future work.