Browsing by Subject "constraints programming"

Now showing 1 - 4 of 4

Access status: Open Access ,
CP-driven production process planning in multiproject environment
(2008) Banaszak, Zbigniew; Bocewicz, Grzegorz; Bach, Irena
The way enterprise capabilities are used decides about its competitiveness among other ones. In that context modeling aimed at production tasks allocation planning plays a crucial role especially at concurrently executed production orders. The introduced reference model employing constraint programming (CP) paradigm describes both an enterprise and a set of project-like production orders. Moreover, encompassing consumer orders requirements and available production capabilities, the model provides the formal framework allowing one to develop a class of decision support systems aimed at interactive production process planning subject to multiproject environment constraints. In that context our contribution is a knowledge-based and CP-driven approach to resource allocation assuming precise character of decision variables. The conditions sufficient for deadlock avoidance are the main goal. The conditions delivered provide formal framework for developing a task oriented Decision Support Tool for Project Portfolio Prototyping (DST4P, Banaszak 2006). The tool provides a prompt and interactive service to a set of routine queries formulated either in straight or reverse way.
Access status: Open Access ,
Deklaratywny model wielorobotowego systemu inspekcji pomieszczeń zamkniętych
(Wydawnictwa AGH, 2011) Bocewicz, Grzegorz; Muszyński, Wojciech; Banaszak, Zbigniew
Rozważany problem doboru, alokacji i planowania działań grupy robotów mobilnych w środowisku pomieszczeń zamkniętych sformułowany został w modelu deklaratywnym. Dla zadanego zbioru zmiennych decyzyjnych charakteryzujących środowisko pomieszczeń zamkniętych z nieruchomymi i poruszającymi się przeszkodami, a także dla floty robotów mobilnych oraz zbioru ograniczeń wiążących zmienne, poszukiwana jest strategia planowania struktury i alokacji robotów warunkująca inspekcję zadanej liczby pomieszczeń w określonym horyzoncie czasu. Proponowane podejście zostało zilustrowane na załączonym przykładzie.
Access status: Open Access ,
Modelowanie wielowymiarowych wyrażeń w języku MDX
(Wydawnictwa AGH, 2010) Mazur, Łukasz
The article describes the technique of query modeling for analytical models, using the language of multidimensional expressions (MDX). It is the supporting tool to the all manner of complex query in data cubes. Article include also the description of functions which works on member sets and authors examples of each solutions. All talked aspects of language makes it very useful tool for support analysis in creating complicated reports on large constructional complexity.
Access status: Open Access ,
Programowanie z ograniczeniami przy wykorzystaniu ILOG OPL
(Wydawnictwa AGH, 2008) Mazur, Łukasz
The review of constraint programming method in ILOG OPL environment was presented in this article. Possibilities of this method as well as strong support for it from the ILOG Solver, they became concisely here described. The described methodologies of constraint programming are very useful to the solving of hard combinatorical, decision and optimization problems.