• č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/07/0205 - Dynamické aspekty rozvrhování (2007-2009, GA0/GA)

Údaje o projektu
Identifikační kódGA201/07/0205
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 jazyceDynamické aspekty rozvrhování
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
Zahájení řešení1.1.2007
Ukončení řešení31.12.2009
Datum posledního uvolnění účelové podpory22.4.2009
Číslo smlouvy201/07/0205
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í200720082009celkem
Výše podpory ze státního rozpočtu819 tis. Kč847 tis. Kč883 tis. Kč2 549 tis. Kč
Celkové uznané náklady819 tis. Kč847 tis. Kč883 tis. Kč2 549 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íchSGA02007GA-ST - Veřejná soutěž (GA0/GA)
Cíle řešení v původním jazycePočítačový software pomáhá řešit plánovací a rozvrhovací problémy v řadě oblastí od vesmírného programu (Mars Rovers), přes výpočtově náročné počítačové aplikace (Grid computing), až po klasické výrobní problémy (job-shop a supply-chain). Takové systémy typicky pracují ve vysoce dynamickém prostředí, které se vyznačuje změnami zadání řešeného problému vedoucími k zneplatnění nalezeného řešení, a tedy k nutnosti rychle nalézt řešení nového problému. Bohužel existující rozvrhovací technologie neposkytuje takovému dynamickému chování dostatečnou podporu.Projekt se bude zabývat výše zmíněnými dynamickými aspekty řešení rozvrhovacích problémů. Cílem je navrhnout nové řešící techniky v kontextu splňování omezujících podmínek, které budou pokrývat dynamičnostreálných problémů. Konkrétně se budeme soustředit na inkrementální a otevřené propagační a filtrační techniky typicky integrující klasické metody diskrétní matematiky. Zamýšlíme také studovat možná rozšíření prohledávacích algoritmů pro řešení
Klíčová slova v anglickém jazyceplanning; scheduling; constraints; dynamicity
Hodnocení výsledkůV - Vynikající výsledky (s mezinárodním významem apod.). Zároveň byly splněny cíle a předpokládané výsledky uvedené ve smlouvě / rozhodnutí o poskytnutí podpory.
Zhodnocení výsledků řešení českyProjekt byl zaměřen na studium vnitřní a vnější dynamicity plánovacích a rozvrhovacích problémů. V první oblasti řešitelé navrhli nové modely a techniky splňování podmínek (constraint satisfaction). V druhé oblasti se řešitelé věnovali problematice rozvrh
Rok dodání údajů do CEP2010
Systémové označení dodávky datCEP10-GA0-GA-U/01:1
Datum dodání záznamu22.12.2011
Účastníci projektu
Počet příjemců1
Počet dalších účastníků projektu1
Příjemce / Organizační jednotka garantující řešeníUniverzita Karlova v Praze / Matematicko-fyzikální fakulta
ŘešitelDoc. RNDr. Roman Barták, Ph.D. (státní příslušnost: CZ - Česká republika; tel.: 221 914 242; fax: 221 914 323)
Další účastník projektu / Organizační jednotka garantující řešeníMasarykova univerzita / Fakulta informatiky
ŘešitelMgr. Hana Rudová, Ph.D. (státní příslušnost: CZ - Česká republika)
Účastník - subjekt nebo fyzická osobaUniverzita Karlova v Praze
Finance účastníků projektu
Poznámka: Finance účastníků projektu jsou sledovány od roku 2007
Výše podpory ze státního rozpočtu
Účastník200720082009
Univerzita Karlova v Praze / Matematicko-fyzikální fakulta530 tis. Kč550 tis. Kč
Masarykova univerzita / Fakulta informatiky289 tis. Kč297 tis. Kč
Univerzita Karlova v Praze883 tis. Kč
Celkové uznané náklady
Účastník200720082009
Univerzita Karlova v Praze / Matematicko-fyzikální fakulta530 tis. Kč550 tis. Kč
Masarykova univerzita / Fakulta informatiky289 tis. Kč297 tis. Kč
Univerzita Karlova v Praze883 tis. Kč
Výsledky projektu v RIV
Počet výsledků v RIV68
Výsledek druhu JRIV/00216208:11320/11:10103932 - Analysing DNA Microarray Data Using Boolean Techniques (2011)
Výsledek druhu JRIV/00216224:14330/11:00049617 - Complex university course timetabling (2011)
Výsledek druhu JRIV/00216224:14330/11:00049598 - Efficient Grid Scheduling through the Incremental Schedule-based Approach (2011)
Výsledek druhu ORIV/00216224:14330/11:00049760 - Event-based Optimization of Schedules for Grid Jobs (2011)
Výsledek druhu JRIV/00216224:14330/10:00043680 - A supernodal formulation of vertex colouring with applications in course timetabling (2010)
Výsledek druhu DRIV/00216208:11320/10:10052057 - AI Planning with Time and Resource Constraints (2010)
Výsledek druhu DRIV/00216224:14330/10:00043909 - Alea 2 - Job Scheduling Simulator (2010)
Výsledek druhu JRIV/00216208:11320/10:10052046 - Constraint Satisfaction Techniques in Planning and Scheduling (2010)
Výsledek druhu JRIV/00216224:14330/10:00042430 - Decomposition, reformulation, and diving in university course timetabling (2010)
Výsledek druhu JRIV/00216208:11320/10:10052030 - Discovering Implied Constraints in Precedence Graphs with Alternatives (2010)
Výsledek druhu DRIV/00216208:11320/10:10070453 - Efficient Multi-site Data Movement Using Constraint Programming for Data Hungry Science (2010)
Výsledek druhu JRIV/00216208:11320/10:10052028 - Incremental Propagation Rules for a Precedence Graph with Optional Activities and Time Windows (2010)
Výsledek druhu JRIV/00216208:11320/10:10052031 - New Trends on Constraint Satisfaction, Planning, and Scheduling: A Survey (2010)
Výsledek druhu DRIV/00216208:11320/10:10052056 - Preference Handling in Nested Temporal Networks with Alternatives (2010)
Výsledek druhu JRIV/00216208:11320/10:10052035 - Solving Sequential Planning Problems via Constraint Satisfaction (2010)
Výsledek druhu RRIV/00216224:14330/09:00029958 - Alea 2 - job scheduling simulator (2009)
Výsledek druhu DRIV/00216208:11320/09:00207343 - Constraint Models for Sequential Planning (2009)
Výsledek druhu DRIV/00216208:11320/09:00206576 - Efektivní heuristika pro SAT založená na znalosti komponent souvislosti grafu problému (2009)
Výsledek druhu JRIV/00216208:11320/09:10084072 - Encoding of Planning Problems and their Optimizations in Linear Logic (2009)
Výsledek druhu DRIV/00216208:11320/09:00206890 - Encoding of Planning Problems and Their Optimizations in Linear Logic (2009)
Výsledek druhu DRIV/00216208:11320/09:00206398 - Enhancing Constraint Models for Planning Problems (2009)
Výsledek druhu DRIV/00216208:11320/09:00206948 - Enhancing Constraint Models for Planning Problems (2009)
Výsledek druhu RRIV/00216208:11320/09:00206575 - Filuta (2009)
Výsledek druhu DRIV/00216208:11320/09:00206803 - Integrating Constraint Models for Sequential and Partial-Order Planning (2009)
Výsledek druhu ORIV/00216224:14330/09:00029288 - Interactive Course Timetabling (2009)
Výsledek druhu RRIV/00216208:11320/09:00206744 - Interactive Gantt Viewer (2009)
Výsledek druhu DRIV/00216208:11320/09:00206821 - Revisiting Constraint Models for Planning Problems (2009)
Výsledek druhu DRIV/00216208:11320/09:00207232 - Using Constraint Programming to Plan Efficient Data Movement on the Grid (2009)
Výsledek druhu DRIV/00216208:11320/08:00206147 - A Global Filtration for Satisfying Goals in Mutual Exclusion Networks (2008)
Výsledek druhu JRIV/00216208:11320/08:00100748 - AI Planning and Scheduling (2008)
Výsledek druhu RRIV/00216224:14330/08:00025193 - Alea - Grid Scheduling Simulation Environment (2008)
Výsledek druhu DRIV/00216224:14330/08:00024579 - Alea - Grid Scheduling Simulation Environment (2008)
Výsledek druhu DRIV/00216224:14330/08:00024727 - Comparison of Multi-Criteria Scheduling Techniques (2008)
Výsledek druhu DRIV/00216224:14330/08:00024689 - Comparison of Multi-Criteria Scheduling Techniques (2008)
Výsledek druhu CRIV/00216208:11320/08:00101072 - Constraint Processing (2008)
Výsledek druhu JRIV/00216208:11320/08:00100647 - Constraint satisfaction techniques in planning and scheduling: An introduction (2008)
Výsledek druhu MRIV/00216208:11320/08:00101573 - CP/ICAPS 2008 Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (2008)
Výsledek druhu DRIV/00216224:14220/08:00025036 - Dealing with uncertainties in Grids through the event-based scheduling approach (2008)
Výsledek druhu DRIV/00216208:11320/08:00100286 - Efficient Scheduling of Data Transfers and Job Allocations (2008)
Výsledek druhu DRIV/00216208:11320/08:00100789 - Enhancing Constraint Models for Planning Problems (2008)
Výsledek druhu MRIV/00216208:11320/08:00101571 - FLAIRS-Special Track on Artificial Intelligence Planning and Scheduling (2008)
Výsledek druhu JRIV/00216208:11320/08:00100356 - Incremental Filtering Algorithms for Precedence and Dependency Constraints (2008)
Výsledek druhu JRIV/00216208:11320/08:00207580 - Introduction to the Special Issue on Constraint Satisfaction for Planning and Scheduling of Archives of Control Sciences (2008)
Výsledek druhu DRIV/00216208:11320/08:00100019 - Modelling and Solving Complex Scheduling Problems with Alternative Process Routes (2008)
Výsledek druhu DRIV/00216208:11320/08:00100209 - Nested Temporal Networks with Alternatives: Recognition and Tractability (2008)
Výsledek druhu CRIV/00216208:11320/08:00100414 - Principles of Constraint Processing (2008)
Výsledek druhu JRIV/00216208:11320/08:00101090 - Recognition of interval Boolean functions (2008)
Výsledek druhu DRIV/00216208:11320/08:00100445 - Reformulating Constraint Models for Classical Planning (2008)
Výsledek druhu JRIV/00216208:11320/08:00100167 - Renamable interval Boolean functions (2008)
Výsledek druhu DRIV/00216208:11320/08:00100327 - Search Strategies for Scheduling Problems with Optional Activities (2008)
Výsledek druhu DRIV/00216208:11320/08:00100903 - Temporal Reasoning in Nested Temporal Networks with Alternatives (2008)
Výsledek druhu DRIV/00216208:11320/08:00101101 - Tractable Class of a Problem of Goal Satisfaction in Mutual Exclusion Network (2008)
Výsledek druhu JRIV/00216208:11320/07:00004975 - Constraint Models for Complex State Transitions (2007)
Výsledek druhu DRIV/00216208:11320/07:00004951 - Discovering Equivalence Classes in Precedence Graphs (2007)
Výsledek druhu DRIV/00216208:11320/07:00004259 - From Enterprise Models to Scheduling Models: Bridging the Gap (2007)
Výsledek druhu ARIV/00216224:14330/07:00020507 - Grid Simulator with Production Scheduling Algorithms (abstract) (2007)
Výsledek druhu JRIV/00216208:11320/07:00004350 - Introduction to the Special Issue on Knowledge Engineering Tools and Techniques for Automated Planning and Scheduling Systems (2007)
Výsledek druhu DRIV/00216224:14330/07:00020506 - Local Search for Deadline Driven Grid Scheduling (2007)
Výsledek druhu DRIV/00216208:11320/07:00004593 - Maintaining Arc-consistency over Mutex Relations in Planning Graphs during Search (2007)
Výsledek druhu DRIV/00216208:11320/07:00004780 - Modelling Alternatives in Temporal Networks (2007)
Výsledek druhu DRIV/00216208:11320/07:00004342 - Nested Temporal Networks with Alternatives (2007)
Výsledek druhu CRIV/00216208:11320/07:00004361 - Omezující podmínky: od Sudoku po vesmírné aplikace (2007)
Výsledek druhu DRIV/00216224:14330/07:00020275 - Problematika plánování úloh v prostředí Gridu (2007)
Výsledek druhu DRIV/00216208:11320/07:00101473 - Solving Difficult Problems by Viewing them as Structured Dense Graphs (2007)
Výsledek druhu DRIV/00216208:11320/07:00206136 - Solving difficult SAT instances using greedy clique decomposition (2007)
Výsledek druhu DRIV/00216208:11320/07:00004510 - Temporal Networks with Alternatives: Complexity and Model (2007)
Výsledek druhu ORIV/00216224:14330/07:00048082 - Variability of Integer Programming Models of Course Timetabling (2007)
Výsledek druhu MRIV/00216208:11320/07:00005401 - 26th Workshop of the UK Planning and Scheduling Special Interest Group (2007)
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.).