Wyniki wyszukiwania - BazTech

1

Portfolio selection of new product projects: a product reliability perspective

Relich M.

Eksploatacja i Niezawodność

|

2016

|

Vol. 18, no. 4

613--620

EN

Portfolio selection of new product development projects is one of the most important decisions in an enterprise that impact future business profits, competitiveness and survival. Ensuring reliability in a new product is costly but it increases customer satisfaction and reduces the potential warranty cost, contributing to product success. This paper aims to develop an approach for designing decision support system of selecting portfolio of new product development projects, taking into account the aspect of ensuring the desired reliability of products. A portfolio selection problem is formulated in terms of a constraint satisfaction problem that is a pertinent framework for designing a knowledge base. A set of admissible solutions referring to the new product alternatives is obtained with the use of constraint logic programming. The proposed approach is dedicated for enterprises that modernise existing products to develop new products.

PL

Wybór portfela projektów nowych produktów jest jedną z najistotniejszych decyzji podejmowanych w przedsiębiorstwie, wpływającą na przyszłą wartość zysków oraz konkurencyjność i rozwój przedsiębiorstwa. Zapewnienie niezawodności produktu jest kosztowne, ale zwiększa satysfakcję klienta z używanego produktu i redukuje koszty potencjalnych napraw gwarancyjnych, przyczyniając się do sukcesu rynkowego produktu. Celem artykułu jest opracowanie podejścia umożliwiającego budowę systemu wspomagania decyzji dotyczących wyboru portfela projektów nowych produktów do rozwinięcia, z uwzględnieniem aspektu zapewnienia wymaganej niezawodności produktu. Problem wyboru portfela projektów nowych produktów został wyrażony w postaci problemu spełniania ograniczeń, co umożliwia zaprojektowanie systemu opartego na bazie wiedzy. Zbiór rozwiązań dopuszczalnych dotyczący alternatywnych projektów rozwoju nowych produktów jest otrzymywany z wykorzystaniem technik programowania w logice z ograniczeniami. Opracowane podejście jest dedykowane dla przedsiębiorstw, które realizują strategię modernizacji wytwarzanego produktu.

2

Implementation of a decision support model of the supply chain management in the environment of constraint logic programming

Wikarek J.

Pomiary Automatyka Robotyka

|

2013

|

R. 17, nr 2

123-128

EN

The article presents the details of the implementation of the concept of a decision support model in the supply chain. To implement the model, the CLP (Constraint Logic Programming) framework called Eclipse was used. The novel way of constraints propagation is discussed, which for this class of problems improves significantly the efficiency of a search for a solution. The most important predicates implementing the model are presented and characterized. Several numerical examples are included to illustrate the implementation of the approach.

PL

W artykule przedstawiono szczegóły implementacji koncepcji modelu wspomagania decyzji w łańcuchu dostaw. Do implementacji modelu wykorzystano środowisko CLP (Programowanie w logice z ograniczeniami) o nazwie Eclipse. Omówiono nowatorski sposób propagacji ograniczeń, który dla tej klasy problemów prowadzi do znacznej poprawy wydajności znajdowania rozwiązania. W artykule przedstawiono i scharakteryzowano najważniejsze predykaty, które służą do implementacji modelu. Jako ilustracje przyjętych założeń i rozwiązań zaprezentowano przykłady liczbowe.

3

Application of constraint logic programming to decision support for the supply chain management

Sitek P.

Pomiary Automatyka Robotyka

|

2013

|

R. 17, nr 2

129-134

EN

Supply Chain Management (SCM) decisions can be considered at different levels of detail. At a strategic level they apply to the architecture in the supply chain, at the tactical level to transport fleet selection, selection of supply sources and distribution, and at the operational level, to the distribution of supplies and route selection. Many models of decision-making SCM have been developed. These are the linear (LP-linear programming) or mixed (MIP/MILP-Mixed Integer/Linear Integer Programming) models. These models are equipped with a smart form. Although they are well known in the OR (Operation Research) environment, they have significant drawbacks. First of all, they must support only linear constraints. For problems of larger dimensions search for solutions is long and inefficient. This paper proposes a CSP-based decision model for SCM and its implementation in the CLP (Constraint Logic Programming). In addition, it presents a novel way of constraints propagation using the structure of the problem.

PL

Decyzje w zarządzaniu łańcuchem dostaw mogą być rozpatrywane na różnych poziomach szczegółowości. Na poziomie strategicznym dotyczą samej struktury i architektury łańcucha, na poziomie taktycznym wyboru floty transportowej, a na poziomie operacyjnym wyboru tras dostaw itd. Opracowano wiele formalnych modeli zarządzania łańcuchem dostaw. Najczęściej były to modele programowania matematycznego liniowego (LP) oraz całkowitoliczbowego (MILP). Chociaż posiadały struktury dobrze rozumiane w środowiskach (OR-Badań Operacyjnych), posiadały istotne wady. Po pierwsze, mogły zawierać jedynie ograniczenia liniowe. Po drugie nie były efektywne przy większych rozmiarach problemów decyzyjnych. W Artykule zaproponowano model decyzyjny dla łańcucha dostaw oparty na problemie spełnienia ograniczeń (CSP-based) oraz jego implementacji w środowisku programowania w logice z ograniczeniami (CLP). Dodatkowo zaprezentowano nowatorski sposób propagacji ograniczeń wykorzystujący strukturę problemu.

4

Koncepcja systemu wspomagania decyzji logistycznych

Sitek P., Wikarek J.

Studia Informatica

|

2011

|

Vol. 32, nr 2B

513-522

PL

W artykule przedstawiono koncepcję systemu wspomagania decyzji logistycznych. Zaproponowano dodatkową warstwę informacyjno-funkcjonalną, która umożliwia współpracę ze standardowymi strukturami systemu zarządzania klasy ERP oraz solverami optymalizacyjnymi. Szczegółowo opisano jeden z problemów decyzyjnych – wieloetapowy problem transportowy. Przedstawiono model matematyczny i jego implementację. Omówiono podstawową strukturę informacyjną systemu wspomagania decyzji.

EN

The concept of decision support system for logistic problems has been presented. Additional layer for information and functionality structures which enable to cooperate with ERP and optimization solvers has been described. The mathematical model for the transportation problem with distribution centers and implementation of them have been presented. The article discusses the basic information structure of the system.

5

Koncepcja systemu do wspomagania decyzji zarządzania centrum dystrybucyjnym

Sitek P., Wikarek J.

Studia Informatica

|

2010

|

Vol. 31, nr 2B

205-214

PL

W pracy przedstawiono koncepcje systemu wspomagania decyzji dla centrum dystrybucji. Zaproponowano dodatkową warstwę informacyjno-funkcjonalną która umożliwia współpracę ze standardowymi strukturami systemu zarządzania klasy ERP oraz solverami optymalizacyjnymi. Szczegółowo opisano jeden z problemów decyzyjnych dotyczący rozdziału palet, zaproponowano model matematyczny i jego implementację w dwóch środowiskach - programowania matematycznego i programowania w logice z ograniczeniami.

EN

The concept of decision support system for distribution center has been presented. Additional layer for information and functionality structures which enable to cooperate with ERP and optimization solvers has been described. The mathematical model for the detailed problem of palette allocation in distribution center and implementation of them have been used in two environments - mathematical programming and logic constraint programming.

6

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

Sitek P., Wikarek J., Bocewicz G.

Pomiary Automatyka Robotyka

|

2007

|

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.

7

Zastosowanie technik programowania z ograniczeniami w SYSTEMACH wspomagania sterowania DYSPOZYTORSKIEGO PROCESAMI transportu i składowania ESP

Bocewicz G., Banaszak Z.

Inżynieria Maszyn

|

2006

|

R. 11, z. 1

100-111

PL

Techniki programowania z ograniczeniami CP są narzędziem umożliwiającym deklaratywną specyfikację problemu. Pozwala to na efektywne rozwiązywanie wielu kombinatorycznych problemów, a w szczególności problemów dotyczących planowania produkcji. W tym kontekście techniki są wykorzystywane do projektowania systemów wspomagania decyzji w małych i średnich przedsiębiorstwach produkcyjnych. W pracy przedstawiono model struktury interakcyjnego systemu wspomagania decyzji. Zaprezentowano przykład takiego systemu w postaci pakietu wspomagania sterowania dyspozytorskiego w podsystemie transportu i składowania elastycznych systemów produkcyjnych. Zrealizowany pakiet umożliwia podejmowanie decyzji z zakresu sterowania ruchem wózków samojezdnych (planowanie harmonogramów pracy wózków samojezdnych) w kontekście zadanych parametrów i relacji opisujących określony podsystem transportowy.

EN

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. In that context the aim of the paper is to present the CP modelling framework as well as to illustrate its application to designing of DSS aimed at supervisory control for Flexible Manufacturing Systems (FMSs), especially for supervising of their transportation-storing processes execution. The objective is to find a methodology supporting a decision maker in the course of answering whether a given production order specified by its cost and completion time can be executed by a given FMS equipped in assumed transportation-storing system. The organization and functioning of a DSS developed as well as discussion of its possible applications is provided.

8

Zastosowanie technik programowania z ograniczeniami do rozstrzygania konfliktów zasobowych w ESP

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

Inżynieria Maszyn

|

2006

|

R. 11, z. 1

87-99

PL

Przedmiotem badań są mechanizmy synchronizacji pracy wózków samojezdnych w elastycznych systemach produkcyjnych, mechanizmy warunkujące koordynację współbieżnie przebiegających procesów transportowych. Problem wyznaczania zasad koordynujących dostęp wózków do współdzielonych zasobów systemu (odcinków tras jezdnych) gwarantujących bezkolizyjny i bezblokadowy przebieg realizowanych procesów należy do klasy NP-trudnych. Problem ten sprowadza się do wyznaczania warunków wystarczających postaci pary (stan początkowy, zbiór reguł priorytetowania). Przyjęty regułowy sposób specyfikacji podsystemu transportowego, sprowadza go z kolei do odpowiedniego problemu decyzyjnego metody logiczno-algebraicznej. W pracy przedstawiono koncepcję wykorzystania technik programowania w logice z ograniczeniami CP/CLP do rozwiązania takiego problemu decyzyjnego poprzez wcześniejsze sprowadzenie go do postaci problemu spełniania ograniczeń PSO. W oparciu o proponowane podejście zrealizowany został przykład wyznaczania warunków wystarczających dla spełnienia ograniczeń, które gwarantują bezkolizyjną i bezblokadową pracę w systemie obsługi wózków samojezdnych.

EN

The subject matter of study are the automated guided vehicle (AGV) operation synchronization mechanisms in flexible manufacturing systems, enabling determination of the travel schedules via some preset traveling route intervals. In many practical cases transport operations are repetitive. For this type of systems the transport processes can be modeled as a system of cyclic concurrent processes sharing common resources with mutual exclusion. The collision-free, starvation-free and deadlock-free systems of cyclic processes are also periodic. In this paper the problem of determination of the rules coordinating access of the vehicles to the shared travel route intervals, ensuring the collisionfree and deadlock-free execution of the repetitive processes was reduced to determination of the sufficient conditions of the form of a pair (initial state, a set of priority rules). For a give transport subsystem specification with use of the rules the system's operation schedule determination is considered as a relevant decisive problem of the logic-algebraic method. In particular the problem of looking for a pair is defined in the form of the constraint satisfaction problem (CSP) and is solved with use of the programming techniques in logic with constraints.

9

Integracja zadań planowania przepływu produkcji w ujęciu technik programowania z ograniczeniami

Borowiecki T., Banaszak Z.

Inżynieria Maszyn

|

1999

|

R. 4, z. 3/4

37-51

PL

Praca przedstawia zastosowanie techniki programowania z ograniczeniami w zdaniach planowania jednoczesnej produkcji wieloasortymentowej. W odróżnieniu od aktualnie stosowanych metod, przedstawione podejście pozwala na zintegrowane ujęcie, zwykle oddzielnie rozważanych, problemów zagregowanego planowania i operatywnego sterowania przepływem produkcji. Oznacza to możliwość wyznaczenia szczegółowego planu przepływu produkcji (uwzględniając np. poziom reguł wyboru priorytetu, alokacji pojemności buforów składowania międzystanowiskowego itp.), z pominięciem iteracyjnego rozwiązywania standardowych zadań, rozmieszczania, alokacji, porcjowania, marszrutowania oraz harmonogramowania. Dopuszczalne rozwiązanie wyznaczane jest w sposób automatyczny na podstawie ograniczeń występujących we wspomnianych już zadaniach cząstkowych, w opar-ciu o mechanizm wnioskowania wykorzystywany w języku PROLOG. Programowanie w opisywanej technice sprowadza się do skryptowej specyfikacji uwzględnianych ograniczeń.

EN

Production planning consists of many decision-making tasks including such issues as batch sizing, production routing and jobs scheduling. Methods of mathematical programming are used in order to resolve the above-mentioned problems separately. However, local problems resolution does not guarantee a global solution obtained is an optimal one. In this paper an integrated approach to workflow planning, based on Oz language is proposed. A task-programming resume in constraints specification using a kind of textual specification. A method of CLP is employed as to refine a solution. Bound and branch methodology guarantees a solution obtained is feasible as well as makes possible to determine a global one. That is because an amount of growing constraints dramatically limits a search tree.