Wyniki wyszukiwania - Biblioteka Nauki

1

Indexes driven mechanism for grouped SQL queries

100%

Boroński R. , Bocewicz G.

|

2013

|

tom R. 17, nr 2

135-142

PL

Autorzy podejmują się problemu automatycznej minimalizacji czasu odpowiedzi bazy danych na zadaną grupę zapytań SQL poprzez poprawny dobór indeksów dla systemów produkcyjnych. Głównym naszym celem jest traktowanie zapytań jako grupy i szukanie odpowiednich indeksów dla całej grupy a nie dla pojedynczego zapytania. Przedstawiamy warunki które musi spełniać grupa zapytań. Proponujemy użycie algorytmu genetycznego do poszukiwania indeksów w testach doświadczalnych. Prezentujemy wyniki testów eksperymentalnych jako uzasadnienie użycia proponowanego podejścia.

EN

This paper discusses the problem of automatic minimization of a response time for a database workload by a proper choice of indexes on production systems. The main objective of our contribution is to illustrate the database queries as a group and search for good indexes for the group instead of an individual query. We present queries block relation conditions for applying the concept of grouped queries index selection. We also introduce genetic algorithm that we use in experimental test. Numerical results are presented to show quality of the recommended approach.

2

CP approach to design of steady-state flow of repetitive manufacturing processes in SME

100%

Wójcik R. , Bocewicz G.

Applied Computer Science

|

2005

|

tom Vol.1, no 1

201--218

EN

Concurrent execution of work orders in the small and medium size enterprises (SME) imposes a necessity to consider many control problems concerning systems of repetitive concurrent manufacturing processes using common resources in mutual exclusion. In many cases a production system with a given structure of the processes resource requests can be seen as composed of subsystems with n cyclic processes sharing one resource. For given sets of possible values of the processes operation execution times a problem of finding schedules guaranteeing that no process waits for access to the common resources is considered. In particular for the assigned times of the operations execution a subproblem of finding all possible starting times of work orders execution for which waiting-free schedules exist has been formulated as a constraint programming (CP) problem. The starting times derived can be used as an alternative starting times of work orders execution in case of their possible delays. A state space of the problem’s solutions has been reduced using constraints based on the necessary and sufficient conditions for existence of a waiting-free n-process steady-state schedule. An illustrative example of Mozart-based software application to the solution of constraint logic programming problem considered has been presented.

3

Harmonogramowanie zadań i rozdziału zasobów jako problem spełnienia ograniczeń

80%

Sitek P. , Wikarek J. , Bocewicz G.

|

tom R. 11, nr 2

PL

W referacie przedstawiono możliwość formalizacji zagadnienia harmonogramowania zadań i rozdziału obciążeń w postaci problemu spełnienia ograniczeń - Constraint Satisfation Problem (CSP). Omówiono podstawowy algorytm CSP oraz techniki propagacji ograniczeń i backtrackingu. Z wykorzystaniem środowiska programowania w logice z ograniczeniami - Constraint Logic Programming (CLP), którego podstawowym zagadnieniem jest CSP, dokonano implementacji systemu wspomagania decyzji harmonogramowania produkcji. System opracowano przy wykorzystaniu pakietu ECLiPSe. W artykule zamieszczono również przykład ilustracyjny wspomagania decyzji harmonogramowania produkcji typu gniazdowego (job-shop).

EN

Scheduling problems can be seen as a special type of Constraint Satisfaction Problem (CSP). This paper presents a formulating of scheduling problems as CSPs. To solve a CSP, different approaches have been developed. These approaches generally use constraint propagation to simplify the original problem and backtracking to directly search for possible solutions. To demonstrate flexibility of CSP approach, the implementation of decision support system for job-shop production based on Constraint Logic Programming (CLP) has been presented.

4

Towards automated synthesis of concurrent control programs

80%

Bocewicz G. , Bzdyra K. , Banaszak Z.

|

tom Vol. 7, no 2

7--20

EN

One of the key problems in the area of automatic synthesis of real-time concurrent control programs is a problem of automated modeling of systems comprising multiple activities or processes that proceed concurrently. In that context, the discrete-event systems framework enabling to predict the modeled objects performance and then to design of assumed quality control program on the basis of the given specification of the processes controlled, plays a crucial role. From that point of view, the Petri nets can be seen as a most widely recognized tool aimed at modeling system’s concurrency. So, the main objective of our contribution is to illustrate the Petri nets based approach from both: IF…THEN… rules system’s behavior specification and its Turing machine like representation points of view.

5

System komputerowego wspomagania wariantowania przedsięwzięć

80%

Bocewicz G. , Bach I. , Banaszak Z.

|

tom R. 12, nr 10

10-18

PL

Planowanie jednoczesnej, wieloasortymentowej produkcji jednostkowej w środowisku typowym dla przedsiębiorstw klasy MŚP, wymaga wsparcia ze strony interaktywnych, dedykowanych systemów wspomagania decyzji. Ze względu na różnorodną specyfikę problemów planowania, powstaje konieczność budowy systemów zorientowanych na wybrane klasy pytań rutynowych, w szczególności pytań odnoszących się do wartości funkcji celu wynikających z przyjętych wartości zmiennych decyzyjnych (pytania typu "w przód") oraz pytań odnoszących się do wyboru zmiennych decyzyjnych implikujących oczekiwane wartości funkcji celu (pytania typu "wstecz"). W artykule przedstawiono przykład takiego systemu. Umożliwia on wspomaganie wariantowania/planowania przedsięwzięć produkcyjnych z zakresu problemów charakteryzowanych przez zmienne precyzyjne i/lub nieprecyzyjne, uwzględniających dyskretne zasoby odnawialnych i/lub nieodnawialnych.

EN

The main objective of the paper is to present a prompt service to queries generated in the course of the decision-making process typical for Small and Medium Size Enterprises (SMEs) with multiple production orders. Because the SME's production is driven by production orders, i.e., the client specifies a set of orders to be scheduled, the main goal is to develop a decision support system aimed at routine queries concerning such tasks as: a production plan/schedule, maximal profit, resources availability, financial liquidity, production volume, etc. The system should guarantee the response for two kinds of queries: straight query and reverse query, which should be available in an on-line mode. The system for project portfolio prototyping which enables to deal with cases taking into account both an accurate and uncertain specification problems is presented.

6

Planowanie pracy zespołu robotów wielofunkcyjnych w systemach potokowej produkcji wieloasortymentowej (model referencyjny)

80%

Bocewicz G. , Muszyński W. , Banaszak Z.

Prace Naukowe Politechniki Warszawskiej. Elektronika

|

2008

|

tom z. 166, t. 2

635-646

PL

Efektywne wykorzystanie zdolności produkcyjnych, np. robotów wielofunkcyjnych obsługujących linie jednoczesnej produkcji wieloasortymentowej, stanowi o konkurencyjności dysponującego nimi przedsiębiorstwa. W tym kontekście, istotnego znaczenia nabierają badania związane z modelowaniem i planowaniem alokacji zadań, a w szczególności z koordynacją współbieżnie przebiegających i wzajemnie warunkujących się procesów wytwórczych. Przedstawiony model referencyjny problemu decyzyjnego łączy oczekiwania dyspozytora (w zakresie wsparcia obejmującego dany zbiór pytań rutynowych) z możliwościami wykorzystania dostępnych zdolności produkcyjnych. Z kolei jego specyfikacja, w terminach problemu spełniania ograniczeń, pozwala na ocenę alternatywnych wariantów przebiegu procesów w systemach programowania w logice ograniczeń.

EN

Scheduling of multi-robot employed in a multi-product flow shop plays a crucial role in assessment of competing enterprises. Since the processes considered belong to a class of concurrently executed processes competing to shared system resources, hence the relevant problem of their scheduling belong to a class of NP-complete problems. The model considered provides a kind of formal framework enabling one to equilibrate both the dispatcher's orders and flow shop capabilities. The proposed approach, based on a concept of decision problem reference model, enables employment of the Constraints Programming techniques, in course of multi-product flow shop prototyping.

7

Planowanie pracy zespołu robotów wielofunkcyjnych w systemach potokowej produkcji wieloasortymentowej (interakcyjne wspomaganie decyzji)

80%

Bocewicz G. , Wójcik R. , Banaszak Z.

Prace Naukowe Politechniki Warszawskiej. Elektronika

|

2008

|

tom z. 166, t. 2

647-658

PL

Rozważany problem planowania pracy zespołu robotów wielofunkcyjnych w systemach potokowej produkcji wieloasortymentowej należy do problemów planowania alokacji zasobów, a w szczególności koordynacji współbieżnie przebiegających i wzajemnie warunkujących się procesów wytwórczych. Przyjęty model referencyjny problemu decyzyjnego planowania pracy zespołu robotów łączy oczekiwania dyspozytora (w zakresie wsparcia obejmującego dany zbiór pytań rutynowych) z możliwościami wykorzystania dostępnych zdolności produkcyjnych. Przykłady ilustrujące tego typu możliwości odnoszą się do dwóch klas pytań rutynowych związanych odpowiednio z wyznaczaniem: wartości funkcji celu implikowanych przyjętymi wartościami zmiennych decyzyjnych oraz wartości zmiennych decyzyjnych gwarantujących oczekiwane wartości funkcji celu.

EN

Scheduling of multi-robot in a multi-product flow shop can be resolved through a reference model specified in terms of constraint satisfaction problem. In turn, an assumed specification enables usage of the commercially available constraint programming software tools. Provided cases illustrate that capability using examples following from the direct and reverse scheduling problems statement. The first case concerns of routine questions such as: What is the system performance following a given resources allocation? In turn, the case regarding so called reverse scheduling problems concerns of routine questions such as: What resources allocation implies an assumed system performance? Moreover, the proposed reference model of multi-robot scheduling problem can be used as a formal framework for designing of more advanced, i.e., taking into account both renewable and non-renewable resources as well as accurate and uncertain data specification, decision support tools.

8

Planowanie pracy zespołu robotów wielofunkcyjnych w warunkach niepewności

80%

Bocewicz G. , Wójcik R. , Banaszak Z.

|

tom z. 150

129-140

PL

Planowanie pracy zespołu robotów wielofunkcyjnych sprowadza się do problemów decyzyjnych związanych z rozstrzyganiem konfliktów zasobowych w sytuacjach, kiedy jednoczesne wykonanie różnych operacji wymaga dostępu do współdzielonych robotów - dyskretnych zasobów odnawialnych. Przyjęty model referencyjny problemu planowania pracy robotów dopuszcza występowanie zarówno ostrych, jak i rozmytych zmiennych decyzyjnych - czasów alokacji robotów.

EN

Scheduling of multi-robot in a multi-product flow shop can be seen as an allocation problem of shared renewable resources and then can be resolved in terms of constraint satisfaction problem. To make it possible a reference model of a constraint satisfaction problem is developed, and provided case illustrates its usability in an example taking into account both an accurate and an uncertain specification of robots operation time.

9

Knowledge based and CP-driven approach applied to multi product small-size production flow

80%

Bach I. , Bocewicz G. , Banaszak Z. A. , Muszyński W.

|

tom Vol. 39, no 1

69-95

EN

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.

10

Marszrutowanie niejednorodnej floty pojazdów w regularnej strukturze dróg transportowych

80%

Bocewicz G. , Muszyński W. , Banaszak Z.

|

tom z. 195, t. 1

289--299

PL

Zachowanie Systemu Transportu Materiałowego (STM) obejmujące różne rodzaje transportu musi być dopuszczalne w sensie bezkolizyjnej, wolnej od zatorów realizacji operacji transportu, tak, aby możliwa była realizacja współbieżnych przepływów materiałowych. Skoro strumienie przepływów materiałowych, przebiegające różnymi możliwymi marszrutami determinują zachowanie STM, istotnym zagadnieniem jest poszukiwanie odpowiedzi na pytanie, w jakich rodzajach struktur STM możliwe jest zagwarantowanie pożądanego zachowania i jak takie pożądane zachowanie systemu można osiągnąć. Tego rodzaju pytania są typowymi pytaniami w zagadnieniach marszrutowania, które należą do problemów obliczeniowo trudnych. Odpowiednie ich sformułowanie, dla regularnych i fraktalo-podobnych struktur może prowadzić do znaczącej redukcji problemów obliczeniowych. Tego rodzaje struktury umożliwiają ewaluacje możliwych marszrut i harmonogramowanie operacji transportowych wzdłuż ścieżek transportowych w czasie wielomianowym. Rozważane w pracy marszruty przepływów, wykonywane przez STM, są kolejno wykonywanymi operacjami transportu, za pomocą wózków AGV, oraz operacjami produkcyjnymi wykonywanymi na odpowiednich maszynach. W pracy założono, że operacje te są wykonywane w zamkniętych pętlach sieci, dla których potencjalne konflikty są rozwiązywane w oparciu o reguły priorytetowania dostępu do współdzielonych zasobów. Istota problemu polega na znalezieniu wystarczających warunków zapewniających osiągnięcie w systemie STM ustalonego stacjonarnego zachowania cyklicznego. Proponowana metoda jest zilustrowana przykładem.

EN

The behavior of a Material Transportatian System (MTS) encompassing movement of various transport modes has to be admissible, i.e. collision- and congestion-free, as to guarantee deadlock-free different flows of concurrently transported goods. Since the material flows following possible machining routes serviced by MTS determine its behavior the following questions occur: what kind of MTS structure can guarantee a given behavior, and what admissible behavior can be reachable in a given MTS structure? These questions are typical for vehicle routing problems which are computationally hard. Their formulation within the framework of mesh-like and fractal-like structures enables, however, to get a significant reduction on the size. Such structures enable to evaluate admissible routings and schedules following flow-paths of material transportalion in a polynomial time. Considered in the paper production routes followed by MTS are serviced by operations subsequently executed on AGVs and machine tools. Assuming transport operations are executed by AGVs arranged in a streaming closed-loops network where potential conflicts are resolved by priority dispatching rules assigned to shared resources the main problem boils down to the searching for sufficient conditions guaranteeing MTS cyclic steady state behavior. Implementation of proposed conditions is illustrated through multiple examples.

11

Modele multimodalnych sieci i procesów transportowych

80%

Bocewicz G. , Muszyński W. , Banaszak Z.

|

tom z. 194, t. 2

543--552

PL

Modele cyklicznych procesów multimodalnych, tzn. procesów realizowanych przy synergicznym wykorzystaniu rożnych procesów lokalnych odgrywają decydującą rolę w ocenie efektywności funkcjonowania m.in. systemów komunikacji miejskiej, transportu multimodalnego, transmisji danych itp. Przyjmując, że struktura systemu, np. linii komunikacji miejskiej, determinuje jego możliwe zachowanie, przedmiotem pracy jest sformułowanie pewnego problemu spełnienia ograniczeń umożliwiającego ocenę potencjalnych zachowań systemu lokalnych procesów cyklicznych, a w konsekwencji planowania i harmonogramowania realizowanych w nim procesów multimodalnych.

EN

Modelling of multimodal transportation networks and processes 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 process partially processed by locally executed cyclic processes. Assuming the system structure, e.g. city lines network, determines possible system behaviors, the paper’s contribution focuses on formulation of a constraints satisfaction problem enabling to assess potentially reachable behaviors generated by a network of local cyclic processes, i.e. on scheduling of possible multimodal processes.

12

Techniki programowania z ograniczeniami w zarządzaniu wiedzą MŚP

80%

Bach I. , Bocewicz G. , Banaszek Z.

|

tom R. 11, nr 2

PL

Proponowane w pracy podejście zakłada, że rozważane przedsiębiorstwo klasy MŚP zadane jest bazą wiedzy opisującą zarówno specyfikujące go dane dokładne i niepewne, a także łączące je relacje (ograniczenia). Przyjęte założenie oznacza, że istnienie odpowiedzi na zbiór pytań rutynowych warunkowane jest spójnością tak rozumianej bazy (istnieniem łańcuchów wnioskowań prowadzących do odpowiedzi), a ich wypracowywanie (uwzględniając skalę zadań) jest z kolei uwarunkowane dostępnością do odpowiednio szybkich (umożliwiających prace w trybie „on-line”) strategii wnioskowania. Proponowane podejście zakłada wykorzystanie metody logiczno-algebraiczne jako języka specyfikacji bazy wiedzy oraz technik programowania z ograniczeniami jako mechanizmu wnioskowania. Przedstawiony przykład ilustruje efektywność potencjalnych, opartych na tym podejściu, systemów wspomagania decyzji.

EN

In this contribution a class of SME is considered, and their specification through the relevant knowledge bases consisting of accurate and uncertain data as well as linking those relations (constraints) is assumed. That means, the responses to a set of routine requests are guaranteed under a condition the knowledge base is consistent, and a decision-making (driven by an inference process) is an interactive one is guaranteed under condition the relevant inference strategies are available. The approach proposed employs the logic-algebraic method as providing a knowledge base representation, and constraints programming techniques as providing inference processes platform. The way of possible approach implementation is illustrated in the example enclosed.

13

Planowanie przedsięwzięć w środowisku wieloprojektowym

80%

Bach I. , Bocewicz G. , Banaszak Z.

|

tom R. 12, nr 2

246--256

PL

Planowanie produkcji w środowisku wieloprojektowym, typowym dla przedsiębiorstw klasy MSP, wymaga wsparcia ze strony interaktywnych, dedykowanych systemów wspomagania decyzji. Przedstawione podejście, implementujące techniki programowania z ograniczeniami, ilustruje możliwości budowy tego typu systemów zorientowanych na wybrany zbiór pytań rutynowych, pytań odnoszących się do warunków spełnienie których gwarantuje jakość planowanego przedsięwzięcia.

EN

Project planning in multi-product environment of SMEs has to be supported by interactive, task oriented decision support systems. The approach proposed employing the constraint concerning sufficient conditions guaranteeing required project management quality.