| Attributes | Values |
|---|
| rdf:type
| |
| rdfs:seeAlso
| |
| 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. (en)
- 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.
|
| Title
| - KnowSched: Knowledge Techniques in Scheduling (en)
- KnowSched: Znalostní techniky v rozvrhování
|
| skos:notation
| |
| http://linked.open...avai/cep/aktivita
| |
| http://linked.open...kovaStatniPodpora
| |
| http://linked.open...ep/celkoveNaklady
| |
| http://linked.open...datumDodatniDoRIV
| |
| http://linked.open...i/cep/druhSouteze
| |
| http://linked.open...ep/duvernostUdaju
| |
| http://linked.open.../cep/fazeProjektu
| |
| http://linked.open...ai/cep/hlavniObor
| |
| http://linked.open...hodnoceniProjektu
| |
| http://linked.open...vai/cep/kategorie
| |
| http://linked.open.../cep/klicovaSlova
| - scheduling knowledge engineering constraint satisfaction and optimisation (en)
|
| http://linked.open...ep/partnetrHlavni
| |
| http://linked.open...inujicichPrijemcu
| |
| http://linked.open...cep/pocetPrijemcu
| |
| http://linked.open...ocetSpoluPrijemcu
| |
| http://linked.open.../pocetVysledkuRIV
| |
| http://linked.open...enychVysledkuVRIV
| |
| http://linked.open...lneniVMinulemRoce
| |
| http://linked.open.../prideleniPodpory
| |
| http://linked.open...iciPoslednihoRoku
| |
| http://linked.open...atUdajeProjZameru
| |
| http://linked.open.../vavai/cep/soutez
| |
| http://linked.open...usZobrazovaneFaze
| |
| http://linked.open...ai/cep/typPojektu
| |
| http://linked.open...ep/ukonceniReseni
| |
| http://linked.open.../cep/vedlejsiObor
| |
| http://linked.open...ep/zahajeniReseni
| |
| http://linked.open...jektu+dodavatelem
| - 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. (en)
- 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. (cs)
|
| http://linked.open...tniCyklusProjektu
| |
| is http://linked.open...vavai/riv/projekt
of | |
| is http://linked.open...vavai/cep/projekt
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)