About: Constraint-based planning and scheduling

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Constraint-based planning and scheduling Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Projekt, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	http://linked.opendata.cz/ontology/domain/vavai/Projekt
rdfs:seeAlso	http://www.isvav.cz/projectDetail.do?rowId=GA201/04/1102
Description	Recent development of the global market, on-demand production of highly customised products, e-commerce applications, and semi- or fully-autonomous production lines and vehicles demands sophisticated integrated optimisation tools for solving planning andscheduling problems. Integration of various solving and knowledge engineering techniques is one of the key issues in these areas. The aim of the proposed project is to study the entire process of planning and scheduling starting from the modelling stage and concluding in the solving stage. In particular, we plan to propose new modelling techniques and new methods supporting knowledge engineering. These techniques should help the users to formulate the planning and scheduling problems and they should assist the automated solvers to find the solution effectively. We also plan to design new solving techniques including advanced search algorithms and domain filtering within a constraint programming context. In particular, we propose a way how to (en) Současný rozvoj globálních trhů, produkce výrobků na míru, aplikace e-komerce a rozvoj polo- či plně automatických výrobních linek a dopravních prostředků vyžaduje integrované sofistikované optimalizační nástroje pro řešení plánovacích a rozvrhovacích problémů. Jedním z klíčových trendů při jejich rozvoji je integrace různých řešících technik. Cílem navrhovaného projektu je studium celého procesu plánování a rozvrhování počínaje fází modelování a konče vlastním řešením problémů. Konkrétně plánujeme navrhnout nové techniky modelování problémů a nové techniky práce se znalostmi. Tyto techniky by měly uživatelům usnadnit formulaci plánovacích a rozvrhovacích problémů a zároveň by měly asistovat řešícím algoritmům při efektivnějším hledání řešení. Dáleplánujeme navrhnout nové řešící techniky jak v oblasti prohledávacích tak i filtračních algoritmů v kontextu splňování omezujících podmínek. Konkrétně se chceme zabývat integrací technik operačního výzkumu a diskrétní matematiky do systémů s omezujícími
Title	Constraint-based planning and scheduling (en) Plánování a rozvrhování s omezujícími podmínkami
skos:notation	GA201/04/1102
http://linked.open...avai/cep/aktivita	Standard projects
http://linked.open...kovaStatniPodpora	http://linked.opendata.cz/resource/domain/vavai/projekt/GA201%2F04%2F1102/celkovaStatniPodpora
http://linked.open...ep/celkoveNaklady	http://linked.opendata.cz/resource/domain/vavai/projekt/GA201%2F04%2F1102/celkoveNaklady
http://linked.open...datumDodatniDoRIV	2007-10-16 (xsd:date)
http://linked.open...i/cep/druhSouteze	VS - Veřejná soutěž ve výzkumu a vývoji
http://linked.open...ep/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open.../cep/fazeProjektu	2314678
http://linked.open...ai/cep/hlavniObor	JC - Počítačový hardware a software
http://linked.open...hodnoceniProjektu	U - Uspěl podle zadání, tj. byly splněny cíle a jeho předpokládané výsledky uvedené ve smlouvě / rozhodnutí o poskytnutí podpory
http://linked.open...vai/cep/kategorie	ZV - Základní výzkum
http://linked.open.../cep/klicovaSlova	Neuvedeno. (en)
http://linked.open...ep/partnetrHlavni	Matematicko-fyzikální fakulta
http://linked.open...inujicichPrijemcu	0 (xsd:int)
http://linked.open...cep/pocetPrijemcu	1 (xsd:int)
http://linked.open...ocetSpoluPrijemcu	0 (xsd:int)
http://linked.open.../pocetVysledkuRIV	43 (xsd:int)
http://linked.open...enychVysledkuVRIV	43 (xsd:int)
http://linked.open...okUkonceniPodpory	2006
http://linked.open...okZahajeniPodpory	2004
http://linked.open...iciPoslednihoRoku	2006
http://linked.open...atUdajeProjZameru	2007
http://linked.open.../vavai/cep/soutez	SGA02004GA-ST
http://linked.open...usZobrazovaneFaze	DUU
http://linked.open...ai/cep/typPojektu	P - Projekt výzkumu a vývoje financovaný ze státního rozpočtu
http://linked.open.../cep/vedlejsiObor	BB - Aplikovaná statistika, operační výzkum JD - Využití počítačů, robotika a její aplikace
http://linked.open...jektu+dodavatelem	Projekt se zabýval modelováním a řešením problémů na pomezí plánování a rozvrhování. Navrhli jsme nové formální modely pro kombinaci temporálních a logických podmínek, které se hodí pro popis problémů s různými alternativami (alternativní zdroje, alterna (cs) The project dealt with modelling and solving complex problems on the border of planning and scheduling. We proposed new formal models for combination of temporal and logical constraints that are appropriate for description of problems with various altern (en)
http://linked.open...tniCyklusProjektu	ZBKU
is http://linked.open...vavai/riv/projekt of	Desk-mates (Stable Matching) with Privacy of Preferences and a new Distributed CSP Framework Conflict-based Statistics Constraint Satisfaction for Planning and Scheduling Propagating Deletions in Tabular Constraints Propagating Deletions in Tabular Constraints Architecture, Specification, and Design of Service-Oriented Systems Incremental Propagation of Time Windows on Disjunctive Resources Incremental Filtering Algorithms for Precedence and Dependency Constraints The First Competition on Knowledge Engineering for Planning and Scheduling Recognition of Interval Boolean Functions Incremental Maintenance of Double Precedence Graphs: A Constraint-Based Approach Modelling Alternatives in Temporal Networks Introduction to the Special Issue on the Integration of AI and OR Techniques in CP for Combinatorial Optimization (CPAIOR 2005) Limited Assignments: A New Cutoff Strategy for Incomplete Depth-First Search Iterative Forward Search: Combining Local Search with Maintaining Arc Consistency and a Conflict-based Statistics Incomplete Depth-First Search Techniques: A Short Survey Integrating Planning into Production Scheduling: A Formal View Implementing Propagators for Tabular Constraints A New Algorithm for Maintaining Arc Consistency After Constraint Retraction A New Algorithm for Singleton Arc Consistency A note on the complexity of multislot just-in-time scheduling A New Approach to Modelling and Solving Minimal Perturbation Problems A Flexible Constraint Model for Validating Plans with Durative Actions A new algorithm for maintaining arc consistency after constraint retraction A simple heuristic for knowledge base compression On Generators of Random Quasigroup Problems On Generators of Random Quasigroup Problems O (n log n) filtering algorithms for unary resource constraint CP-AI-OR 2005 International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Known and new classes of generalized Horn formulae with polynomial recognition and SAT testing Weak and strong machine dominance in a nonpreemtive flowshop Multislot just-in-time scheduling on identical parallel machines Software Architecture for Evolving Environment Extension of O(n log n) filtering algorithms for the unary resource constraint to optional activities Constraint Satisfaction for Planning and Scheduling A quadratic time algorithm to maximize the number of just-in-time jobs on identical parallel machines A Flexible Constraint Model for Validating Plans with Durative Actions Architecture, Specification, and Design of Service-Oriented Systems An Improved Algorithm for Maintaining Arc Consistency in Dynamic Constraint Satisfaction Problems Computing explanations for the unary resource constraint Service Orientation and the Quality Indicators for Software Services Validating plans with durative actions via integrating Boolean and numerical constraints Unary Resource Constraint with Optional Activities
is http://linked.open...vavai/cep/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F04%2F1102/2004/orjk%3A11320 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F04%2F1102/2005/orjk%3A11320 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F04%2F1102/2006/orjk%3A11320 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/GA201%2F04%2F1102/2007/orjk%3A11320

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 84 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software