This HTML5 document contains 37 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n7http://linked.opendata.cz/ontology/domain/vavai/cep/typPojektu/
n15http://linked.opendata.cz/ontology/domain/vavai/cep/druhSouteze/
n5http://linked.opendata.cz/ontology/domain/vavai/cep/zivotniCyklusProjektu/
dctermshttp://purl.org/dc/terms/
n9http://linked.opendata.cz/ontology/domain/vavai/cep/hodnoceniProjektu/
n2http://linked.opendata.cz/resource/domain/vavai/projekt/
n16http://linked.opendata.cz/resource/domain/vavai/cep/prideleniPodpory/
n12http://linked.opendata.cz/resource/domain/vavai/subjekt/
n22http://linked.opendata.cz/ontology/domain/vavai/cep/kategorie/
n11http://linked.opendata.cz/ontology/domain/vavai/
n20http://linked.opendata.cz/resource/domain/vavai/projekt/GAP202%2F10%2F1188/
n8http://linked.opendata.cz/ontology/domain/vavai/cep/duvernostUdaju/
skoshttp://www.w3.org/2004/02/skos/core#
rdfshttp://www.w3.org/2000/01/rdf-schema#
n13http://linked.opendata.cz/ontology/domain/vavai/cep/fazeProjektu/
n6http://linked.opendata.cz/ontology/domain/vavai/cep/obor/
n4http://linked.opendata.cz/resource/domain/vavai/soutez/
n17http://linked.opendata.cz/ontology/domain/vavai/cep/statusZobrazovaneFaze/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
xsdhhttp://www.w3.org/2001/XMLSchema#
n3http://linked.opendata.cz/ontology/domain/vavai/cep/
n19http://linked.opendata.cz/resource/domain/vavai/aktivita/
n10http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:GAP202%2F10%2F1188
rdf:type
n11:Projekt
rdfs:seeAlso
http://www.isvav.cz/projectDetail.do?rowId=GAP202/10/1188
dcterms:description
Scheduling is studied for a long time and the research results include many solving algorithms for particular scheduling problems. There exists a classification of scheduling problems but no unified approach to describe particular scheduling problems that can serve as interface to schedulers. Another issue of traditional scheduling research lies in the increasing distance between the studied formal problems and reality. The project addresses the problem of identifying the core features of scheduling problems, proposing formalism for modeling them, and providing an extendible solving mechanism to solve such problems. In addition to traditional resource and temporal constraints, the logical constraints will be newly assumed in the formalism. Rather than a rich modeling language, the focus will be on a light model (something like CNF is to SAT) and hence techniques for automated conversion of particular scheduling features to this model will also be studied together with techniques for modeling and extraction of control rules for the generic scheduling engine. 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.
dcterms:title
KnowSched: Znalostní techniky v rozvrhování KnowSched: Knowledge Techniques in Scheduling
skos:notation
GAP202/10/1188
n3:aktivita
n19:GA
n3:celkovaStatniPodpora
n20:celkovaStatniPodpora
n3:celkoveNaklady
n20:celkoveNaklady
n3:datumDodatniDoRIV
2014-07-01+02:00
n3:druhSouteze
n15:VS
n3:duvernostUdaju
n8:S
n3:fazeProjektu
n13:100262896
n3:hlavniObor
n6:IN
n3:hodnoceniProjektu
n9:V
n3:kategorie
n22:ZV
n3:klicovaSlova
scheduling knowledge engineering constraint satisfaction and optimisation
n3:partnetrHlavni
n12:orjk%3A11320
n3:pocetKoordinujicichPrijemcu
0
n3:pocetPrijemcu
1
n3:pocetSpoluPrijemcu
0
n3:pocetVysledkuRIV
44
n3:pocetZverejnenychVysledkuVRIV
44
n3:posledniUvolneniVMinulemRoce
2013-06-12+02:00
n3:prideleniPodpory
n16:P202-10-1188
n3:sberDatUcastniciPoslednihoRoku
n10:2013
n3:sberDatUdajeProjZameru
n10:2014
n3:soutez
n4:SGA02010GA-ST
n3:statusZobrazovaneFaze
n17:DUU
n3:typPojektu
n7:P
n3:ukonceniReseni
2013-12-31+01:00
n3:vedlejsiObor
n6:JC
n3:zahajeniReseni
2010-01-01+01:00
n3:zhodnoceni+vysledku+projektu+dodavatelem
Výsledky projektu zcela splnily zadání návrhu projektu. Řešitelé projektu dosáhli kvalitních originálních výsledků. Počty výsledků, především kategorie Jimp jsou výborné (i s ohledem na velikost týmu a dobu trvání projektu) a v kvalitních časopisech. 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.
n3:zivotniCyklusProjektu
n5:ZBBKU