• česky
  • english
Přejít na obsah | Přejít na menu

Informační systém výzkumu, experimentálního vývoje a inovací
výzkum, vývoj a inovace podporované z veřejných prostředků ČR

    • Poskytovatelé podpory ve výzkumu, vývoji a inovacích (RPO)
    • Programy výzkumu, vývoje a inovací (RPG)
    • Subjekty ve výzkumu, vývoji a inovacích (RPR)
  • Veřejné soutěže ve výzkumu, vývoji a inovacích (VES)
  • Projekty výzkumu, vývoje a inovací (CEP)
  • Výzkumné záměry (CEZ)
  • Výsledky výzkumu, vývoje a inovací (RIV)

GA201/04/1102 - Plánování a rozvrhování s omezujícími podmínkami (2004-2006, GA0/GA)

Údaje o projektu
Identifikační kódGA201/04/1102
Důvěrnost údajůS - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
Název v původním jazycePlánování a rozvrhování s omezujícími podmínkami
PoskytovatelGA0 - Grantová agentura České republiky (GA ČR)
ProgramGA - Standardní projekty (1993-…)
Kategorie VaVZV - Základní výzkum
Hlavní oborJC - Počítačový hardware a software
Vedlejší oborJD - Využití počítačů, robotika a její aplikace
Další vedlejší oborBB - Aplikovaná statistika, operační výzkum
Zahájení řešení01/2004
Ukončení řešení12/2006
Zahájení poskytování účelové podpory01/2004
Ukončení poskytování účelové podpory12/2006
Poslední stav řešeníU - Ukončený projekt, tj. jednoletý nebo víceletý projekt, který skončil v předcházejícím roce, v příslušném roce sběru dat jsou dodány údaje vztahující se k jeho ukončení
Finance projektu
Období200420052006celkem
Výše podpory ze státního rozpočtu488 tis. Kč488 tis. Kč488 tis. Kč1 464 tis. Kč
Celkové uznané náklady908 tis. Kč908 tis. Kč488 tis. Kč2 304 tis. Kč
Typskutečně čerpanéskutečně čerpanéskutečně čerpané
Druh soutěžeVS - Veřejná soutěž ve výzkumu a vývoji
Veřejná soutěž ve výzkumu, vývoji a inovacíchSGA02004GA-ST - Veřejná soutěž (GA0/GA)
Cíle řešení v původním jazyceSoučasný rozvoj globálních trhů, produkce výrobků na míru, aplikace e-komerce a rozvoj polo- či plně automatických výrobních linek a dopravních prostředků vyžaduje integrované sofistikované optimalizační nástroje pro řešení plánovacích a rozvrhovacích problémů. Jedním z klíčových trendů při jejich rozvoji je integrace různých řešících technik. Cílem navrhovaného projektu je studium celého procesu plánování a rozvrhování počínaje fází modelování a konče vlastním řešením problémů. Konkrétně plánujeme navrhnout nové techniky modelování problémů a nové techniky práce se znalostmi. Tyto techniky by měly uživatelům usnadnit formulaci plánovacích a rozvrhovacích problémů a zároveň by měly asistovat řešícím algoritmům při efektivnějším hledání řešení. Dáleplánujeme navrhnout nové řešící techniky jak v oblasti prohledávacích tak i filtračních algoritmů v kontextu splňování omezujících podmínek. Konkrétně se chceme zabývat integrací technik operačního výzkumu a diskrétní matematiky do systémů s omezujícími
Klíčová slova v anglickém jazyceNeuvedeno.
Hodnocení výsledkůU - Uspěl podle zadání, tj. byly splněny cíle a jeho předpokládané výsledky uvedené ve smlouvě / rozhodnutí o poskytnutí podpory
Zhodnocení výsledků řešení českyProjekt 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
Rok dodání údajů do CEP2007
Systémové označení dodávky datCEP07-GA0-GA-U/03:2
Datum dodání záznamu16.10.2007
Účastníci projektu
Počet příjemců1
Počet dalších účastníků projektu0
Příjemce / Organizační jednotka garantující řešeníUniverzita Karlova v Praze / Matematicko-fyzikální fakulta
ŘešitelMgr. Roman Barták, Dr. (státní příslušnost: CZ - Česká republika)
Poznámka: Finance účastníků projektu jsou sledovány od roku 2007
Výsledky projektu v RIV
Počet výsledků v RIV43
Výsledek druhu CRIV/00216208:11320/08:00101329 - Architecture, Specification, and Design of Service-Oriented Systems (2008)
Výsledek druhu JRIV/00216208:11320/06:00002550 - The First Competition on Knowledge Engineering for Planning and Scheduling (2006)
Výsledek druhu DRIV/00216208:11320/06:00002339 - Incremental Filtering Algorithms for Precedence and Dependency Constraints (2006)
Výsledek druhu DRIV/00216208:11320/06:00002911 - Incremental Maintenance of Double Precedence Graphs: A Constraint-Based Approach (2006)
Výsledek druhu DRIV/00216208:11320/06:00002303 - Incremental Propagation of Time Windows on Disjunctive Resources (2006)
Výsledek druhu DRIV/00216208:11320/06:00003137 - Introduction to the Special Issue on the Integration of AI and OR Techniques in CP for Combinatorial Optimization (CPAIOR 2005) (2006)
Výsledek druhu DRIV/00216208:11320/06:00002925 - Modelling Alternatives in Temporal Networks (2006)
Výsledek druhu DRIV/00216208:11320/06:00002602 - Recognition of Interval Boolean Functions (2006)
Výsledek druhu DRIV/00216208:11320/06:10084047 - Software Architecture for Evolving Environment (2006)
Výsledek druhu CRIV/00216208:11320/05:00001076 - A Flexible Constraint Model for Validating Plans with Durative Actions (2005)
Výsledek druhu JRIV/00216208:11320/05:00000909 - A quadratic time algorithm to maximize the number of just-in-time jobs on identical parallel machines (2005)
Výsledek druhu DRIV/00216208:11320/05:00001350 - An Improved Algorithm for Maintaining Arc Consistency in Dynamic Constraint Satisfaction Problems (2005)
Výsledek druhu CRIV/00216208:11320/05:00001284 - Architecture, Specification, and Design of Service-Oriented Systems (2005)
Výsledek druhu DRIV/00216208:11320/05:00206146 - Computing explanations for the unary resource constraint (2005)
Výsledek druhu CRIV/00216208:11320/05:00000898 - Constraint Satisfaction for Planning and Scheduling (2005)
Výsledek druhu MRIV/00216208:11320/05:00001592 - CP-AI-OR 2005 International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (2005)
Výsledek druhu JRIV/00216208:11320/05:00000874 - Extension of O(n log n) filtering algorithms for the unary resource constraint to optional activities (2005)
Výsledek druhu JRIV/00216208:11320/05:00001320 - Known and new classes of generalized Horn formulae with polynomial recognition and SAT testing (2005)
Výsledek druhu DRIV/00216208:11320/05:00000691 - Limited Assignments: A New Cutoff Strategy for Incomplete Depth First Search (2005)
Výsledek druhu JRIV/00216208:11320/05:00207529 - Weak and strong machine dominance in a nonpreemtive flowshop (2005)
Výsledek druhu DRIV/00216208:11320/04:00002968 - A Flexible Constraint Model for Validating Plans with Durative Actions (2004)
Výsledek druhu VRIV/00216208:11320/04:00003075 - A new algorithm for maintaining arc consistency after constraint retraction (2004)
Výsledek druhu JRIV/00216208:11320/04:00002553 - A New Algorithm for Maintaining Arc Consistency After Constraint Retraction (2004)
Výsledek druhu DRIV/00216208:11320/04:00002680 - A New Algorithm for Singleton Arc Consistency (2004)
Výsledek druhu JRIV/00216208:11320/04:00002958 - A New Approach to Modelling and Solving Minimal Perturbation Problems (2004)
Výsledek druhu DRIV/00216208:11320/04:00002771 - A note on the complexity of multislot just-in-time scheduling (2004)
Výsledek druhu JRIV/00216208:11320/04:00003540 - A simple heuristic for knowledge base compression (2004)
Výsledek druhu DRIV/00216208:11320/04:00002749 - Conflict-based Statistics (2004)
Výsledek druhu CRIV/00216208:11320/04:00003212 - Constraint Satisfaction for Planning and Scheduling (2004)
Výsledek druhu DRIV/00216208:11320/04:00002717 - Desk-mates (Stable Matching) with Privacy of Preferences and a new Distributed CSP Framework (2004)
Výsledek druhu JRIV/00216208:11320/04:00003293 - Implementing Propagators for Tabular Constraints (2004)
Výsledek druhu DRIV/00216208:11320/04:00002712 - Incomplete Depth-First Search Techniques: A Short Survey (2004)
Výsledek druhu DRIV/00216208:11320/04:00002951 - Integrating Planning into Production Scheduling: A Formal View (2004)
Výsledek druhu DRIV/00216208:11320/04:00002654 - Iterative Forward Search: Combining Local Search with Maintaining Arc Consistency and a Conflict-based Statistics (2004)
Výsledek druhu DRIV/00216208:11320/04:00002971 - Multislot just-in-time scheduling on identical parallel machines (2004)
Výsledek druhu JRIV/00216208:11320/04:00005578 - O (n log n) filtering algorithms for unary resource constraint (2004)
Výsledek druhu DRIV/00216208:11320/04:00003506 - On Generators of Random Quasigroup Problems (2004)
Výsledek druhu VRIV/00216208:11320/04:00003563 - On Generators of Random Quasigroup Problems (2004)
Výsledek druhu DRIV/00216208:11320/04:00003606 - Propagating Deletions in Tabular Constraints (2004)
Výsledek druhu VRIV/00216208:11320/04:00002507 - Propagating Deletions in Tabular Constraints (2004)
Výsledek druhu DRIV/00216208:11320/04:00002791 - Service Orientation and the Quality Indicators for Software Services (2004)
Výsledek druhu JRIV/00216208:11320/04:00002978 - Unary Resource Constraint with Optional Activities (2004)
Výsledek druhu VRIV/00216208:11320/04:00002868 - Validating plans with durative actions via integrating Boolean and numerical constraints (2004)
Tuto aplikaci pro Radu pro výzkum, vývoj a inovace provozuje Výpočetní a informační centrum Českého vysokého učení technického v Praze. Vyvíjí InfoScience Praha s.r.o.. Verze aplikace 1.6.15. Datové schéma ISVAV_WEB5_00318. Podpora uživatelů na e-mailové adrese podpora (zavináč) isvav (tečka) cz nebo telefonním čísle 224 234 797 (v pracovních dnech 8-16 hod.).