Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "Banaszak, Z." wg kryterium: Autor


Tytuł:
Coonstraint programming approach to multi-product scheduling
Autorzy:
Bach, I.
Bocewicz, G.
Banaszak, Z.
Powiązania:
https://bibliotekanauki.pl/articles/117829.pdf
Data publikacji:
2007
Wydawca:
Polskie Towarzystwo Promocji Wiedzy
Opis:
Constraint programming (CP) is an emergent software technology for declarative description and effective solving of large combinatorial problems especially in the area of integrated production planning. In that context, CP can be considered as an appropriate framework for development of decision making software supporting small and medium sized enterprises (SMEs) in the course of projects portfolio prototyping. The problem considered aims at finding a computationally effective approach for scheduling a new projects portfolio subject to constraints imposed by an availability of time-constrained resources. The problem belongs to a class of multi-mode project scheduling problems where the problem of finding a feasible solution is NP-complete. The aim of the paper is to present a CP modeling framework providing a prompt service to a set of routine queries stated both in straight and reverse way, e.g., concerning the projects portfolio makespan implied by a given resources allocation, and the feasible resources allocation guaranteeing an assumed projects portfolio makespan. The way the responses to the routine requests can be guaranteed while may be available in an on-line mode is illustrated in the example enclosed.
Źródło:
Applied Computer Science; 2007, 3, 2; 1-17
1895-3735
Pojawia się w:
Applied Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Knowledge based and CP-driven approach applied to multi product small-size production flow
Autorzy:
Bach, I.
Bocewicz, G.
Banaszak, Z. A.
Muszyński, W.
Powiązania:
https://bibliotekanauki.pl/articles/971019.pdf
Data publikacji:
2010
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
knowledge engineering
modeling
constraint logic programming
scheduling
Opis:
Constraint Programming (CP) is an emergent software technology for declarative description and effective solving of large combinatorial problems, especially in the area of integrated production planning. In this context, CP can be considered an appropriate framework for development of decision making software, supporting scheduling of multi-robots in a multi-product job shop. The paper deals with the multi-resource problem, in which more than one shared renewable and non-renewable resource type may be required by a manufacturing operation and the availability of each type is time-windows limited. The problem is NP-complete. The aim of the paper is to present a knowledge based and CP-driven approach to multi-robot task allocation providing prompt service to a set of routine queries, stated both in direct and reverse way. Provided examples illustrate the cases with consideration of accurate and uncertain specification of robot and worker operation time.
Źródło:
Control and Cybernetics; 2010, 39, 1; 69-95
0324-8569
Pojawia się w:
Control and Cybernetics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
CP-driven production process planning in multiproject environment
Autorzy:
Banaszak, Z.
Bocewicz, G.
Bach, I.
Powiązania:
https://bibliotekanauki.pl/articles/375917.pdf
Data publikacji:
2008
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
projects portfolio
support system
constraints programming
scheduling
Opis:
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.
Źródło:
Decision Making in Manufacturing and Services; 2008, 2, 1-2; 5-32
1896-8325
2300-7087
Pojawia się w:
Decision Making in Manufacturing and Services
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modele diofantyczne problemów harmonogramowania cyklicznego
Diophantine models of the cyclic scheduling problems
Autorzy:
Banaszak, Z.
Bocewicz, G.
Powiązania:
https://bibliotekanauki.pl/articles/118446.pdf
Data publikacji:
2009
Wydawca:
Politechnika Koszalińska. Wydawnictwo Uczelniane
Tematy:
model diofantyczny
harmonogramowanie cykliczne
zdarzenia cykliczne
diophantine model
cyclic scheduling
cyclic events
Opis:
Harmonogramowanie cykliczne rozumiane jako harmonogramowanie powtarzających zdarzeń, jak np. zajęć lekcyjnych, rozkładów jazdy, itp. wiąże się z poszukiwaniem odpowiedzi na dwie klasy pytań: odpowiednio o charakterze dedukcyjnym i abdukcyjnym. Pierwsza grupa problemów dotyczy wyboru zasad rozstrzygania konfliktów zasobowych ekstremalizujących wielokryterialną funkcję celu (minimalizacja cyklu, maksymalizacja przepustowości, itp.) przy zadanych ograniczeniach narzucanych na strukturę systemu, druga z kolei poszukuje struktur, które przy zadanych regułach rozstrzygania konfliktów zasobowych gwarantują zadane ilościowe i jakościowe parametry wielokryterialnej funkcji celu. Przedstawione rozważania koncentrują się na drugiej klasie problemów. Podkreślając ich diofantyczny charakter wyjaśnią kwestie związane z nierozstrzygalnością szeregu problemów harmonogramowania cyklicznego, w szczególności tych związanych z próbą uzyskania oczekiwanych zachowań systemu przy arbitralnie zadanych ograniczeniach strukturalnych.
Źródło:
Zeszyty Naukowe Wydziału Elektroniki i Informatyki Politechniki Koszalińskiej; 2009, 1; 59-74
1897-7421
Pojawia się w:
Zeszyty Naukowe Wydziału Elektroniki i Informatyki Politechniki Koszalińskiej
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Towards dedicated decision support tools: CLP-based approach
Autorzy:
Banaszak, Z.
Józefczyk, J.
Powiązania:
https://bibliotekanauki.pl/articles/118061.pdf
Data publikacji:
2005
Wydawca:
Polskie Towarzystwo Promocji Wiedzy
Tematy:
decision support
constraint logic programming
production planning
modeling
scheduling
Opis:
Constraint programming (CP) is an emergent software technology for declarative description and effective solving of large combinatorial problems especially in areas of integrated production planning. In that context, the CP can be considered as a well-suited framework for development of decision making software supporting small and medium size enterprises in the course of Production Process Planning (PPP). The problem considered regards of finding of computationally effective approach aimed at scheduling of a new project subject to constraints imposed by a multi–project environment. In other words, we are looking for an answer whether a given production order specified by its cost and completion time can be accepted in a given manufacturing system specified by available production capability, i.e., the time-constrained resources availability. The problem belongs to a class of multi-mode case project scheduling problems, where the problem of finding a feasible solution is NPcomplete. The aim of the paper is to present the CP modeling framework as well as to illustrate its application to decision making in the case of a new production order evaluation. So, the contribution emphasizes benefits derived from CPbased DSS and focuses on constraint satisfaction driven decision-making rather than on an optimal solution searching.
Źródło:
Applied Computer Science; 2005, 1, 1; 161-180
1895-3735
Pojawia się w:
Applied Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Cyclic processes scheduling
Autorzy:
Bocewicz, G.
Banaszak, Z.
Powiązania:
https://bibliotekanauki.pl/articles/117827.pdf
Data publikacji:
2010
Wydawca:
Polskie Towarzystwo Promocji Wiedzy
Tematy:
cyclic processes
cyclic scheduling
time-table
periodicity
periodic timetables
dispatching rule
Opis:
In everyday practice cyclic scheduling problems, especially timetabling ones arise in different application and service domains, e.g., class, train, crew timetabling, and so on. In many cases, e.g., caused by assumed slot size, imposing integer domain results in Diophantine character of problems considered. In that context some classes of cyclic scheduling problems can be seen as non-decidable (undecidable) ones. That means, since system constraints (i.e., parameter domains) determine its behavior (e.g., the space of feasible schedules), hence both system structure configuration and desired schedule have to be considered simultaneously. So, cyclic scheduling problem solution requires that the system structure configuration must be determined for the purpose of processes scheduling, yet scheduling must be done to devise the system configuration. In that context, this contribution provides discussion of some solubility issues concerning cyclic processes dispatching problems.
Źródło:
Applied Computer Science; 2010, 6, 2; 41-70
1895-3735
Pojawia się w:
Applied Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Cyclic scheduling and diophantine problems
Autorzy:
Bocewicz, G.
Bzdyra, K.
Banaszak, Z.
Powiązania:
https://bibliotekanauki.pl/articles/118273.pdf
Data publikacji:
2009
Wydawca:
Polskie Towarzystwo Promocji Wiedzy
Tematy:
diophantine problem
cyclic scheduling
time-table
multicriteria optimization
Opis:
Cyclic scheduling concerns both kinds of questions following the deductive and inductive ways of reasoning. First class of problems concentrates on rules aimed at resources assignment as to minimize a given objective function, e.g. the cycle time, the flow time of a job. In turn, the second class focuses on a system structure designing as to guarantee the assumed qualitative and/or quantitative measures of objective functions can be achieved. The third class of problems can be seen, however as integration of earlier mentioned, i.e. treating design and scheduling or design and planning simultaneously. The complexity of these problems stems from the fact that system configuration must be determined for the purpose of processes scheduling, yet scheduling must be done to devise the system configuration. In that context, the contribution provides discussion of some Diophantine problems solubility issues, taking into.
Źródło:
Applied Computer Science; 2009, 5, 1; 11-25
1895-3735
Pojawia się w:
Applied Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Decision support tool for projects portfolio prototyping
Autorzy:
Bocewicz, G.
Bach, I.
Banaszak, Z.
Powiązania:
https://bibliotekanauki.pl/articles/117707.pdf
Data publikacji:
2008
Wydawca:
Polskie Towarzystwo Promocji Wiedzy
Tematy:
scheduling
constraint programming
decision support system
Opis:
Constraint Programming (CP) is an emergent software technology for declarative description and effective solving of large combinatorial problems especially in the area of projects portfolio prototyping. The paper deals with multi-resource and multi-criteria problem in which more than one shared renewable resource type may be required by manufacturing operation and the availability of each type is time-windows limited. The problem belongs to a class of NP-complete ones. The aim of the paper is to present a knowledge based and CP-driven approach to resource allocation conflicts resolution framework. Proposed framework stands behind a methodology aimed at task oriented DSS tolls designing. The Portfolio Project Prototyping System designed due to this methodology provides a prompt and interactive service to a set of routine queries stated both in straight and reverse way. Multiple illustrative examples are discussed.
Źródło:
Applied Computer Science; 2008, 4, 2; 43-62
1895-3735
Pojawia się w:
Applied Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Deklaratywny model mobilnego systemu inspekcyjnego
Declarative model of mobile inspection system
Autorzy:
Bocewicz, G.
Banaszak, Z.
Powiązania:
https://bibliotekanauki.pl/articles/277349.pdf
Data publikacji:
2011
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:
roboty mobilne
model deklaratywny
mobile robots
declarative model
Opis:
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.
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.
Źródło:
Pomiary Automatyka Robotyka; 2011, 15, 2; 420-430
1427-9126
Pojawia się w:
Pomiary Automatyka Robotyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Delivery-flow routing and scheduling subject to constraints imposed by vehicle flows in fractal-like networks
Autorzy:
Bocewicz, G.
Banaszak, Z.
Nielsen, I.
Powiązania:
https://bibliotekanauki.pl/articles/229533.pdf
Data publikacji:
2017
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
transport network
fractal structure
declarative modeling
multimodal processes
delivery flow
vehicles flow
Opis:
The problems of designing supply networks and traffic flow routing and scheduling are the subject of intensive research. The problems encompass the management of the supply of a variety of goods using multi-modal transportation. This research also takes into account the various constraints related to route topology, the parameters of the available fleet of vehicles, order values, delivery due dates, etc. Assuming that the structure of a supply network, constrained by a transport network topology that determines its behavior, we develop a declarative model which would enable the analysis of the relationships between the structure of a supply network and its potential behavior resulting in a set of desired delivery-flows. The problem in question can be reduced to determining sufficient conditions that ensure smooth flow in a transport network with a fractal structure. The proposed approach, which assumes a recursive, fractal network structure, enables the assessment of alternative delivery routes and associated schedules in polynomial time. An illustrative example showing the quantitative and qualitative relationships between the morphological characteristics of the investigated supply networks and the functional parameters of the assumed delivery-flows is provided.
Źródło:
Archives of Control Sciences; 2017, 27, 2; 135-150
1230-2384
Pojawia się w:
Archives of Control Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Integracja problemów doboru, alokacji i planowania działań zespołu mobilnych robotów inspekcyjnych: model deklaratywny
Integrated approach to selection, docking and routing planning of multi mobile robot inspection system: declarative modeling perspective
Autorzy:
Bocewicz, G.
Bzdyra, K.
Banaszak, Z.
Powiązania:
https://bibliotekanauki.pl/articles/395413.pdf
Data publikacji:
2011
Wydawca:
Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Tematy:
system robotów mobilnych
inspekcja pomieszczeń
programowanie z graniczeniami
multi mobile robot system
indoor inspection
constraints programming
Opis:
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.
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.
Źródło:
Postępy Nauki i Techniki; 2011, 9; 52-67
2080-4075
Pojawia się w:
Postępy Nauki i Techniki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Knowledge based and CLP-driven approach to multi-robot task allocation for multiproduct job shop
Autorzy:
Bocewicz, G.
Mądry, M.
Banaszak, Z.
Powiązania:
https://bibliotekanauki.pl/articles/117904.pdf
Data publikacji:
2008
Wydawca:
Polskie Towarzystwo Promocji Wiedzy
Tematy:
scheduling
constraint programming
knowledge engineering
decision making
Opis:
Constraint Programming (CP) is an emergent software technology for declarative description and effective solving of large combinatorial problems especially in the area of integrated production planning. In that context, CP can be considered as an appropriate framework for development of decision making software supporting scheduling of multi-robot in a multi-product flow shop. The paper deals with multi-resource problem in which more than one shared renewable resource type may be required by manufacturing operation and the availability of each type is time-windows limited. The problem belongs to a class of NP-complete ones. The aim of the paper is to present a knowledge based and CLP-driven approach to multi-robot task allocation framework providing a prompt service to a set of routine queries stated both in straight and reverse way. Provided example concentrates on the first case taking into account both an accurate and an uncertain specification of robots operation time..
Źródło:
Applied Computer Science; 2008, 4, 1; 18-29
1895-3735
Pojawia się w:
Applied Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Models of multimodal networks and transport processes
Autorzy:
Bocewicz, G.
Muszyński, W.
Banaszak, Z.
Powiązania:
https://bibliotekanauki.pl/articles/200255.pdf
Data publikacji:
2015
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
multimodal processes
cyclic scheduling
constraint satisfaction problems
procesy multimodalne
planowanie cykliczne
procesy transportowe
modele sieci multimodalnych
Opis:
Models of multimodal cyclic processes, i.e. processes realized with synergic utilization of various local and cyclic acting processes, play a determining role in an evaluation of functioning efficiency inter alia in public transport systems, passengers movement, cargo transport, data and energy transmission etc. We assume that the structure of a system determines repertoire of its behaviors. The paper presents a constraints satisfaction problem, which solving enables an evaluation of potential behaviors of the system of concurrently interacting local cyclic processes. Consequently, it is possible to plan and schedule the multimodal processes realized in that system. The constraints satisfaction problem, enabling the search for the structure of inter-position transport system and guaranteeing realization of assumed schedule of multi-assortment production was formulated for a declarative model of the multimodal transportation processes system. The attached calculation example illustrates the computational efficiency of the proposed approach.
Źródło:
Bulletin of the Polish Academy of Sciences. Technical Sciences; 2015, 63, 3; 635-650
0239-7528
Pojawia się w:
Bulletin of the Polish Academy of Sciences. Technical Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Multimodal processes scheduling in mesh-like network environment
Autorzy:
Bocewicz, G.
Banaszak, Z.
Powiązania:
https://bibliotekanauki.pl/articles/230038.pdf
Data publikacji:
2015
Wydawca:
Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:
passengers flow scheduling
multimodal processes
cyclic scheduling
meshlike structure
Opis:
Multimodal processes planning and scheduling play a pivotal role in many different domains including city networks, multimodal transportation systems, computer and telecommunication networks and so on. Multimodal process can be seen as a process partially processed by locally executed cyclic processes. In that context the concept of a Mesh-like Multimodal Transportation Network (MMTN) in which several isomorphic subnetworks interact each other via distinguished subsets of common shared intermodal transport interchange facilities (such as a railway station, bus station or bus/tram stop) as to provide a variety of demand-responsive passenger transportation services is examined. Consider a mesh-like layout of a passengers transport network equipped with different lines including buses, trams, metro, trains etc. where passenger flows are treated as multimodal processes. The goal is to provide a declarative model enabling to state a constraint satisfaction problem aimed at multimodal transportation processes scheduling encompassing passenger flow itineraries. Then, the main objective is to provide conditions guaranteeing solvability of particular transport lines scheduling, i.e. guaranteeing the right match-up of local cyclic acting bus, tram, metro and train schedules to a given passengers flow itineraries.
Źródło:
Archives of Control Sciences; 2015, 25, 2; 237-261
1230-2384
Pojawia się w:
Archives of Control Sciences
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Scheduling for Multi-modal Cyclic Transport Systems
Harmonogramowanie multimodalnych cyklicznych systemów transportowych
Autorzy:
Bocewicz, G.
Banaszak, Z.
Powiązania:
https://bibliotekanauki.pl/articles/276844.pdf
Data publikacji:
2012
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:
harmonogram cykliczny
transport multimodalny
model deklaratywny
programowanie w logice ograniczeń
cyclic scheduling
multimodal transport system
multimodal processes
declarative modeling
constraints programming
Opis:
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.
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.
Źródło:
Pomiary Automatyka Robotyka; 2012, 16, 2; 106-113
1427-9126
Pojawia się w:
Pomiary Automatyka Robotyka
Dostawca treści:
Biblioteka Nauki
Artykuł

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies