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ł:
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ł:
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ł:
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ł:
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ł:
Project management subject to imprecise activity network and cost estimation constraints
Autorzy:
Pisz, I.
Banaszak, Z.
Powiązania:
https://bibliotekanauki.pl/articles/117663.pdf
Data publikacji:
2010
Wydawca:
Polskie Towarzystwo Promocji Wiedzy
Tematy:
project management
uncertainty
imprecise data
time
cost
soft logic
Opis:
The new approach to project planning assuming soft links between activities and imprecise cost of activities execution is considered. In that context, the method allowing one to estimate the duration and the cost of project execution is proposed. The illustrative example emphasizing the advantages of the approach proposed is enclosed.
Źródło:
Applied Computer Science; 2010, 6, 1; 7-28
1895-3735
Pojawia się w:
Applied Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Applied a new method for multi-mode project scheduling
Autorzy:
Pisz, I.
Banaszak, Z.
Powiązania:
https://bibliotekanauki.pl/articles/117890.pdf
Data publikacji:
2008
Wydawca:
Polskie Towarzystwo Promocji Wiedzy
Tematy:
project
project scheduling
resource-constrained project scheduling
project-driven
manufacturing
multi-mode
heuristic
branch and bound scheme
make-to-order
Opis:
The aim of this paper is to present a modelling heuristic framework that enables one to cope with a problem of a project-driven manufacturing. The objective is to find computationally effective method aimed at scheduling of a new project subject to constraints imposed by a multi-project environment. The application of a heuristic method of scheduling is demonstrated on one example of a makespan-feasible schedule that follows the constraints imposed by the precedence relation and by the time-constrained resources availability. This heuristic method is based on concept of critical path and branch and bound scheme.
Źródło:
Applied Computer Science; 2008, 4, 1; 114-123
1895-3735
Pojawia się w:
Applied Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Ant algorithms applied to electronic systems diagnosis
Autorzy:
Drabarek, J.
Banaszak, Z.
Powiązania:
https://bibliotekanauki.pl/articles/118099.pdf
Data publikacji:
2006
Wydawca:
Polskie Towarzystwo Promocji Wiedzy
Tematy:
electronic systems
diagnosing TV set
Opis:
Main problems of using ant algorithms in diagnosis are presented in this article. A knowledge representation and a searching solution mechanism with help of ant algorithms were elaborated. Performed algorithm is shown by exemplary system diagnosing TV set.
Źródło:
Applied Computer Science; 2006, 2, 1; 148-162
1895-3735
Pojawia się w:
Applied Computer Science
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ł
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ł:
Risk assessement in multi-project environment
Autorzy:
Tomczuk-Piróg, I.
Banaszak, Z.
Powiązania:
https://bibliotekanauki.pl/articles/118295.pdf
Data publikacji:
2007
Wydawca:
Polskie Towarzystwo Promocji Wiedzy
Tematy:
constraint logic programming
constraint satisfaction problem (CSP)
decision support system
knowledge engineering
projects management
multi-project environment
Opis:
Decision making supported by task-oriented software tools plays a pivotal role in a modern enterprise. That is because commercially available ERP systems are not able to respond in an interactive on-line/real-time mode. It opens a new generation of DSS that enable a fast prototyping of production flows in multi-project environment as well as an integrated approach to project execution evaluation. In that context our goal is to provide a knowledge base approach allowing one to be independent on a context or representation of particular data as well as allowing designing an interactive and task-oriented decision support system (DSS). The assumed knowledge base mode of specifying a production system leads to solving a logic-algebraic method (LAM) decision problem. The approach proposed complements the decision system with an additional module (evaluation module) and facilitates searching for possible solutions meeting company production programme execution evaluation criteria. The results obtained are implemented in a software package supporting project management in the SMEs. Illustrative example of the ILOG-based software application is provided.
Źródło:
Applied Computer Science; 2007, 3, 1; 73-93
1895-3735
Pojawia się w:
Applied Computer Science
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