• č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)

GAP202/10/1188 - KnowSched: znalostní techniky v rozvrhování (2010-2013, GA0/GA)

Údaje o projektu
Identifikační kódGAP202/10/1188
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 jazyceKnowSched: znalostní techniky v rozvrhování
PoskytovatelGA0 - Grantová agentura České republiky (GA ČR)
ProgramGA - Standardní projekty (1993-…)
Kategorie VaVZV - Základní výzkum
Hlavní oborIN - Informatika
Vedlejší oborJC - Počítačový hardware a software
Zahájení řešení1.1.2010
Ukončení řešení31.12.2013
Datum posledního uvolnění účelové podpory30.3.2012
Číslo smlouvyP202/10/1188
Poslední stav řešeníK - Končící víceletý projekt, tj. projekt, který byl řešen již v předcházejícím roce, příslušný rok sběru dat je posledním rokem účinnosti smlouvy resp. vykonatelnosti rozhodnutí o poskytnutí podpory
Finance projektu
Období2010201120122013celkem
Výše podpory ze státního rozpočtu594 tis. Kč594 tis. Kč630 tis. Kč630 tis. Kč2 448 tis. Kč
Celkové uznané náklady594 tis. Kč594 tis. Kč630 tis. Kč630 tis. Kč2 448 tis. Kč
Typskutečně čerpanéskutečně čerpanéskutečně čerpanépřidělené
Druh soutěžeVS - Veřejná soutěž ve výzkumu a vývoji
Veřejná soutěž ve výzkumu, vývoji a inovacíchSGA02010GA-ST - Veřejná soutěž (GA0/GA)
Cíle řešení v původním jazyceRozvrhování je dlouhodobě studovanou oblastí, jejíž výzkumné výsledky zahrnují řadu řešících algoritmů pro různé třídy rozvrhovacích problémů. Existuje klasifikace rozvrhovacích problémů, ale fakticky není k dispozici jednotný přístup k popisu konkrétního rozvrhovacího problému, který by sloužil jako rozhraní pro rozvrhovací systémy. Jiným problémem tradičního rozvrhování je narůstající vzdálenost mezi studovanými formálními problémy a praxí. Projekt se zaměřuje na identifikaci klíčových vlastností rozvrhovacích problémů, návrh formalismu pro modelování těchto vlastností a vytvoření rozšiřitelného řešícího mechanismu pro takto popsané problémy. K tradičním zdrojovým a časovým podmínkám budou nově přidány logické vazby. Místo bohatého modelovacího jazyka se projekt soustředí na „lehký“ model (podobně jako KNF pro SAT), pro který budou studovány techniky automatické konverze konkrétní vlastnosti do daného formalismu a pro popis a extrakci řídících pravidel pro obecný rozvrhovací mechanismus.
Klíčová slova v anglickém jazycescheduling; knowledge engineering; constraint satisfaction and optimisation
Rok dodání údajů do CEP2013
Systémové označení dodávky datCEP13-GA0-GA-R/01:1
Datum dodání záznamu9.5.2013
Úč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šitelProf. RNDr. Roman Barták, Ph.D. (státní příslušnost: CZ - Česká republika; tel.: 221 914 242)
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ík2010201120122013
Univerzita Karlova v Praze / Matematicko-fyzikální fakulta594 tis. Kč594 tis. Kč630 tis. Kč630 tis. Kč
Celkové uznané náklady
Účastník2010201120122013
Univerzita Karlova v Praze / Matematicko-fyzikální fakulta594 tis. Kč594 tis. Kč630 tis. Kč630 tis. Kč
Výsledky projektu v RIV
Očekávané výsledky projektu
O - Ostatní výsledky nezařaditelné do žádného z výše uvedených druhů výsledku1
Počet výsledků v RIV23
Výsledek druhu JRIV/00216208:11320/11:10103932 - Analysing DNA Microarray Data Using Boolean Techniques (2011)
Výsledek druhu JRIV/00216208:11320/11:10103571 - Constraint satisfaction for planning and scheduling problems (2011)
Výsledek druhu WRIV/00216208:11320/11:10103564 - COPLAS 2011: Constraint Satisfaction Techniques for Planning and Scheduling Problems (2011)
Výsledek druhu JRIV/00216208:11320/11:10103934 - Disjoint essential sets of implicates of a CQ Horn function (2011)
Výsledek druhu RRIV/00216208:11320/11:10103602 - FlowOpt (2011)
Výsledek druhu ORIV/00216208:11320/11:10103569 - FlowOpt: A Set of Tools for Modeling, Optimizing, Analyzing, and Visualizing Production Workflows (2011)
Výsledek druhu CRIV/00216208:11320/11:10103583 - History of Constraint Programming (2011)
Výsledek druhu WRIV/00216208:11320/11:10103563 - KEPS 2011: Workshop on Knowledge Engineering for Planning and Scheduling (2011)
Výsledek druhu ORIV/00216208:11320/11:10103567 - Modelling and Solving Scheduling Problems using Constraint Programming (2011)
Výsledek druhu DRIV/00216208:11320/11:10103584 - On Complexity of Verifying Nested Workflows with Extra Constraints (2011)
Výsledek druhu DRIV/00216208:11320/11:10103581 - Towards Routing for Autonomous Robots: Using Constraint Programming in an Anytime Path Planner (2011)
Výsledek druhu DRIV/00216208:11320/11:10103596 - Workflow Optimization with FlowOpt, On Modelling, Optimizing, Visualizing, and Analysing Production Workflows (2011)
Výsledek druhu WRIV/00216208:11320/11:10103565 - 14th Czech-Japan Seminar on Data Analysis and Decision Making under Uncertainty (2011)
Výsledek druhu JRIV/00216208:11320/10:10057308 - A subclass of Horn CNFs optimally compressible in polynomial time (2010)
Výsledek druhu ORIV/00216208:11320/10:10053432 - An Adaptation of Path Consistency for Boolean Satisfiability (2010)
Výsledek druhu ORIV/00216208:11320/10:10053424 - An Adaptation of Path Consistency for Boolean Satisfiability: a Theoretical View of the Concept (2010)
Výsledek druhu DRIV/00216208:11320/10:10052083 - Building Efficient Data Planner for Peta-scale Science (2010)
Výsledek druhu DRIV/00216208:11320/10:10052081 - Data Transfer Optimization: Going Beyond Heuristics (2010)
Výsledek druhu JRIV/00216208:11320/10:10057313 - Exclusive and essential sets of implicates of Boolean functions (2010)
Výsledek druhu JRIV/00216208:11320/10:10052054 - Optimizing Alternatives in Precedence Networks (2010)
Výsledek druhu ORIV/00216208:11320/10:10052084 - Preference Handling in Nested Temporal Networks with Alternatives (2010)
Výsledek druhu ORIV/00216208:11320/10:10052058 - Solving the Rotation Assignment Problem for Airlines Using Constraint Programming (2010)
Výsledek druhu ORIV/00216208:11320/10:10057304 - Various notes on SLUR formulae (2010)
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_00302. 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.).