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

Znaleziono wyników: 4

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  model deklaratywny
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 Deklaratywny model mobilnego systemu inspekcyjnego
Bocewicz G., Banaszak Z.
Pomiary Automatyka Robotyka
|
2011
|
R. 15, nr 2
420-430
PL
Rozważany problem 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 marszruta umożliwiająca w określonym horyzoncie czasu inspekcję zadanej liczby pomieszczeń. Proponowane podejście zilustrowane zostało na załączonych przykładach.
EN
The problem considered concerns an inspection aimed mission planning of a mobile robots team. The Oz Mozart language is used as declarative modeling framework. For a given set of decision variables describing the robots and their indoor environment as well as a set of linking them constraints a set of routes allowing robots to inspect a given amount of places in assumed time horizon is sought. Illustrative examples explain the approach proposed.
3
Content available Modeling BPMN diagrams within XTT2 framework. A critical analysis
Ligęza A., Maślanka T., Kluza K., Nalepa G. J.
Automatyka / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie
|
2011
|
T. 15, z. 2
299-306
EN
This paper presents preliminary results of the research concerning integration of Business Processes designed with BPMN models with Business Rules represented with the use of an expressive rule language XTT2. The presented solution allows for translation of BPMN diagram restricted to main control flow objects to XTT2. Business Rules. The translated rules can be executed using HeaRT, a rule engine for XTT2. The main goal of the research is to build a logical declarative model of BPMN-modeled process suitable for formal analysis.
PL
W pracy przedstawiono wstępne wyniki badań możliwości integracji narzędzi opisu procesów biznesowych z narzędziami do modelowania reguł. Proponowane podejście pozwala na translację bazowych diagramów BPMN do postaci regułowej w modelu XTT2, oraz na analizę i wykonanie otrzymanych reguł za pomocą silnika regułowego HeaRT. Badania ukierunkowane są na budowę logicznego, deklaratywnego modelu procesów BPMN, który pozwalałby na ich formalną analizę.
4
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.
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ć.