Plánování a rozvrhování s omezujícími podmínkami

Poskytovatel

Grantová agentura České republiky

Program

Standardní projekty

Veřejná soutěž

Standardní projekty 6 (SGA02004GA-ST)

Hlavní účastníci

—

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

—

Název projektu anglicky

Constraint-based planning and scheduling

Anotace anglicky

Recent development of the global market, on-demand production of highly customised products, e-commerce applications, and semi- or fully-autonomous production lines and vehicles demands sophisticated integrated optimisation tools for solving planning andscheduling problems. Integration of various solving and knowledge engineering techniques is one of the key issues in these areas. The aim of the proposed project is to study the entire process of planning and scheduling starting from the modelling stageand concluding in the solving stage. In particular, we plan to propose new modelling techniques and new methods supporting knowledge engineering. These techniques should help the users to formulate the planning and scheduling problems and they should assist the automated solvers to find the solution effectively. We also plan to design new solving techniques including advanced search algorithms and domain filtering within a constraint programming context. In particular, we propose a way how to

Kategorie VaV

ZV - Základní výzkum

CEP - hlavní obor

JC - Počítačový hardware a software

CEP - vedlejší obor

JD - Využití počítačů, robotika a její aplikace

CEP - další vedlejší obor

BB - Aplikovaná statistika, operační výzkum

OECD FORD - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)

10103 - Statistics and probability<br>20204 - Robotics and automatic control<br>20205 - Automation and control systems<br>20206 - Computer hardware and architecture

Hodnocení poskytovatelem

U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)

Zhodnocení výsledků projektu

Projekt se zabýval modelováním a řešením problémů na pomezí plánování a rozvrhování. Navrhli jsme nové formální modely pro kombinaci temporálních a logických podmínek, které se hodí pro popis problémů s různými alternativami (alternativní zdroje, alterna

Zahájení řešení

1. 1. 2004

Ukončení řešení

1. 1. 2006

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

—

Důvěrnost údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Systémové označení dodávky dat

CEP07-GA0-GA-U/03:2

Datum dodání záznamu

16. 10. 2007

Celkové uznané náklady

2 304 tis. Kč

Výše podpory ze státního rozpočtu

1 464 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

Neveřejné tuz. a zahr. zdroje finan.

1 260 tis. Kč