PL
 |
EN
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 7

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  constraints programming
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available Scheduling for Multi-modal Cyclic Transport Systems
Bocewicz G., Banaszak Z.
Pomiary Automatyka Robotyka
|
2012
|
R. 16, nr 2
106-113
EN
This paper concerns the domain of the multimodal transportation systems composed of buses, trains, trams and subways lines and focuses on the scheduling problems encountered in these systems. Transportation Network Infrastructure (TNI) can be modeled as a network of lines providing cyclic routes for particular kinds of stream-like moving transportation means. Lines are connected by common shared change stations. Depending on TNI timetabling the time of the trip of passengers following different itineraries may dramatically differ, e.g. the same distances along the north-south, and east-west directions may require different travel time. So, the mine question regards of TNI schedulability, e.g. the guarantee the same distances in arbitrarily assumed directions will require approximate traveled time. Considered timetabling problem belongs to NP-hard ones. The declarative model of TNI enabling to formulate cyclic scheduling problem in terms of the constraint satisfaction one is our main contribution. At last, the simulated results manifest the promising properties of the proposed model.
PL
W artykule podejmowana jest problematyka harmonogramowania marszrut pasażerskich realizowanych w multimodalnych systemach komunikacji (MSK) miejskiej obejmujących linie autobusowe, tramwajowe, pociągowe, a także linie metra i linie promowe. MSK modelowany jest jako sieć linii komunikacji miejskiej realizujących swoje cykliczne marszruty transportowe zadaną liczba odpowiednich środków transportu pasażerskiego, tzn. autobusów, tramwajów, pociągów itp. Przyjmuje się, że linie te umożliwiają przesiadanie się pasażerów na wspólnie dzielonych stacjach przesiadkowych. Rozważany problem dotyczy doboru takiej struktury i organizacji ruchu poszczególnych linii, które zapewnią podobne czasy przejazdu (na podobnych dystansach) podróżnych przemieszczających się w różnych kierunkach. Problem ten należy do problemów NP-trudnych. Proponowane w pracy rozwiązanie przyjmuje model deklaratywny MSK sprowadzając rozważany problem harmonogramowania do postaci deterministycznego problemu spełniania ograniczeń. Zamieszczone przykłady implementacji tego problemu w języku programowania z ograniczeniami potwierdzają użyteczność zaproponowanego modelu harmonogramowania MSK.
2
Content available Integracja problemów doboru, alokacji i planowania działań zespołu mobilnych robotów inspekcyjnych: model deklaratywny
Bocewicz G., Bzdyra K., Banaszak Z.
Postępy Nauki i Techniki
|
2011
|
nr 9
52-67
PL
Rozważany problem doboru, alokacji i planowania działań grupy robotów mobilnych w środowisku pomieszczeń zamkniętych sformułowany został w modelu deklaratywnym języka OZ Mozart. Dla zadanego zbioru zmiennych decyzyjnych charakteryzujących środowisko pomieszczeń zamkniętych i przemieszczające się w nim roboty oraz zbioru ograniczeń wiążących te zmienne, poszukiwana jest strategia planowania struktury i alokacji elementów umożliwiająca w określonym horyzoncie czasu inspekcję zadanej liczby pomieszczeń. Proponowane podejście zilustrowane zostało na załączonych przykładach.
EN
Declarative modeling provides attractive perspective for integrated approach to selection, docking and routing planning of multi mobile robot inspection system problem formulation. For given set decision variables describing indoor environment and acting robots as well as the set of constraints limiting these variables robots' navigation strategy is sought out. The solution should respond to the question: what kind and how many and in which way initially docked robots enable to inspect a given indoor environment within a given time horizon? The approach proposed is illustrated on multiple examples.
3
Content available Deklaratywny model wielorobotowego systemu inspekcji pomieszczeń zamkniętych
Bocewicz G., Muszyński W., Banaszak Z.
Automatyka / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
|
2011
|
T. 15, z. 2
81-90
PL
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.
EN
Declarative modeling provides attractive perspective for integrated approach to selection, docking and routing planning of multi mobile robot inspection system problem formulation. For given set of decision variables describing indoor environment (ncluding stationary and movable obstacles) and acting robots as well as the set of constraints limiting these variables robots' navigation strategy is sought out. The solution should respond to the question: what kind and how many and in which way initially docked robots enable to inspect a given indoor environment within a given time horizon? The approach proposed is illustrated on an example attached.
4
Content available Modelowanie wielowymiarowych wyrażeń w języku MDX
Mazur Ł.
Automatyka / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
|
2010
|
T. 14, z. 1
63-84
PL
Artykuł opisuje techniki modelowania zapytań dla modeli analitycznych, wykorzystując język wielowymiarowych wyrażeń (MDX). Przedstawiono narzędzie wspierające wszelkiego rodzaju złożone analitycznie konstrukcje odnoszące się do kostek danych. Zawarto także opis funkcji działających na zbiorach danych jak również zaproponowane przez autora rozwiązania. Wymienione aspekty czynią omawiany język bardzo przydatnym narzędziem wsparcia dla analityków tworzących skomplikowane raporty o dużej złożoności konstrukcyjnej.
EN
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.
5
Content available CP-driven production process planning in multiproject environment
Banaszak Z., Bocewicz G., Bach I.
Decision Making in Manufacturing and Services
|
2008
|
Vol. 2, no. 1-2
5-32
EN
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.
6
Content available Programowanie z ograniczeniami przy wykorzystaniu ILOG OPL
Mazur Ł.
Automatyka / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
|
2008
|
T. 12, z. 2
407-422
PL
W artykule przedstawiono przegląd metody programowania z ograniczeniami w środowisku ILOG OPL. Możliwości tej metody programowania oraz mocne wsparcie dla niej ze strony ILOG Solvera zostały tutaj zwięźle opisane. Omawiane metodyki programowania są bardzo przydatne do rozwiązywania problemów kombinatorycznych, decyzyjnych oraz optymalizacyjnych.
EN
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.
7
Content available An approach to time project oriented management
Skołud B., Zientek A.
Applied Computer Science
|
2005
|
Vol.1, no 1
141--160
EN
The objective presented below is to answer the question: How to exploit resources to complete all projects in expected time in a multi-project environment? A solution to maximise the number of projects, which the company is able to implement concurrently is proposed by combining the Theory of Constraints and conditions guaranteeing project due dates with constraint-based scheduling.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.