KnowSched: Knowledge Techniques in Scheduling
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
Standardní projekty 13 (SGA02010GA-ST)
Main participants
—
Contest type
VS - Public tender
Contract ID
P202-10-1188
Alternative language
Project name in Czech
KnowSched: Znalostní techniky v rozvrhování
Annotation in Czech
Rozvrhová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.
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
IN - Informatics
CEP - secondary branch
JC - Computer hardware and software
CEP - another secondary branch
—
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)<br>20206 - Computer hardware and architecture
Completed project evaluation
Provider evaluation
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Project results evaluation
Results from the project fully accomplished the objectives of the project listed in the project proposal. The proposers created high-quality original results. The amount of the results in the category Jimp is excellent (given the size of the team and duration of the project) in high quality journals.
Solution timeline
Realization period - beginning
Jan 1, 2010
Realization period - end
Dec 31, 2013
Project status
U - Finished project
Latest support payment
Jun 12, 2013
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP14-GA0-GA-U/01:1
Data delivery date
Jul 1, 2014
Finance
Total approved costs
2,448 thou. CZK
Public financial support
2,448 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK