Informacja

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

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "programowanie z ograniczeniami" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-7 z 7
    Tytuł:
    Modele dla potrzeb rozwiązywania zadań optymalizacji taryf
    Models for solving the tariff optimization problem
    Autorzy:
    Pytlak, R.
    Stecz, W.
    Powiązania:
    https://bibliotekanauki.pl/articles/1378189.pdf
    Data publikacji:
    2014
    Wydawca:
    Polskie Wydawnictwo Ekonomiczne
    Tematy:
    optymalizacja taryf
    programowanie z ograniczeniami
    minimalizacja kosztu
    tariff optimization
    constraint logic programming
    cost minimization
    Opis:
    We present the methods of telecommunication tariff optimization from a point of client’s view. A client which wants to minimize his monthly fees tries to choose a proper tariff model. In case of large companies these models are more complicated and the optimization models should be used. We describe a simple MIP models and their modifications solved with CLP solvers. All the examples were solved with ILOG and ECLiPSe MIP and CLP solvers.
    Źródło:
    Gospodarka Materiałowa i Logistyka; 2014, 7; 24-32
    1231-2037
    Pojawia się w:
    Gospodarka Materiałowa i Logistyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Optymalizacja procesu wysyłki cukru
    Optimization of sugar dispatching proces
    Autorzy:
    Pytlak, R.
    Stecz, W.
    Powiązania:
    https://bibliotekanauki.pl/articles/1378130.pdf
    Data publikacji:
    2014
    Wydawca:
    Polskie Wydawnictwo Ekonomiczne
    Tematy:
    systemy gniazdowe
    optymalizacja procesów logistycznych
    CLP w harmonogramowaniu
    programowanie z ograniczeniami
    job shop scheduling
    optimization in logistics
    CLP in scheduling
    constraint programming
    Opis:
    We consider the sugar dispatching process at a sugar mill. The main goal of our work was to check an efficiency of the logistics system in the mill, find and correct the bottlenecks. Some methods for logistics processes optimization are presented. We base on the heuristics and CLP techniques for solving the scheduling problems. Some additional remarks about possibility of using the optimization methods in scheduling and logistics optimizations are presented too.
    Źródło:
    Gospodarka Materiałowa i Logistyka; 2014, 2; 21-30
    1231-2037
    Pojawia się w:
    Gospodarka Materiałowa i Logistyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Accelerating backtrack search with a best-first-search strategy
    Autorzy:
    Mann, Z. Á.
    Szép, T.
    Powiązania:
    https://bibliotekanauki.pl/articles/329816.pdf
    Data publikacji:
    2014
    Wydawca:
    Uniwersytet Zielonogórski. Oficyna Wydawnicza
    Tematy:
    best first search
    backtrack
    branch and bound
    constraint satisfaction problem (CSP)
    frequent restarting
    algorytm wyszukiwania
    system backtrack
    metoda podziału i ograniczeń
    programowanie z ograniczeniami
    Opis:
    Backtrack-style exhaustive search algorithms for NP-hard problems tend to have large variance in their runtime. This is because “fortunate” branching decisions can lead to finding a solution quickly, whereas “unfortunate” decisions in another run can lead the algorithm to a region of the search space with no solutions. In the literature, frequent restarting has been suggested as a means to overcome this problem. In this paper, we propose a more sophisticated approach: a best-first-search heuristic to quickly move between parts of the search space, always concentrating on the most promising region. We describe how this idea can be efficiently incorporated into a backtrack search algorithm, without sacrificing optimality. Moreover, we demonstrate empirically that, for hard solvable problem instances, the new approach provides significantly higher speed-up than frequent restarting.
    Źródło:
    International Journal of Applied Mathematics and Computer Science; 2014, 24, 4; 901-916
    1641-876X
    2083-8492
    Pojawia się w:
    International Journal of Applied Mathematics and Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Dobór optymalnej taryfy telekomunikacyjnej przy użyciu programowania w logice z ograniczeniami
    Solving the optimal telecommunication rate plan configuration problem with constrained logic programming
    Autorzy:
    Witkowski, Jakub
    Kamiński, Bogumił
    Jakuczun, Wit
    Powiązania:
    https://bibliotekanauki.pl/articles/587282.pdf
    Data publikacji:
    2015
    Wydawca:
    Uniwersytet Ekonomiczny w Katowicach
    Tematy:
    Optymalizacja doboru taryfy
    Optymalizacja kombinatoryczna
    Programowanie w logice z ograniczeniami
    Combinatorial optimization.
    Constrained logic programming
    Rate plan configuration
    Opis:
    Praca opisuje algorytm optymalizacyjny rozwiązujący w efektywny sposób problem wyboru optymalnej taryfy w telefonii komórkowej. Ze względu na bardzo dużą liczbę możliwości łączenia usług telekomunikacyjnych w taryfy rozważany problem optymalizacyjny jest złożonym nieliniowym zagadnieniem programowania kombinatorycznego. W niniejszej pracy pokazujemy, że tego typu zadanie może zostać efektywnie rozwiązane przy pomocy programowania w logice z ograniczeniami (constraint logic programming). Wykorzystanie takiego podejścia dodatkowo pozwala na stworzenie modelu, który może być łatwo modyfikowany. Zapewnia to możliwość jego łatwego wykorzystania w praktyce biznesowej, gdzie składowe taryf telekomunikacyjnych podlegają częstym zmianom.
    We present an efficient algorithm that solves the telecommunication rate plan optimization problem. It is a complex and non-linear combinatorial programming task if we take into account realistic structures of offers available for mobile telephony subscribers. In the paper we show that constrained logic programming is an efficient approach to finding an optimal solution of this problem. Additionally, application of constrained logic programming allows us to formulate the problem in a simple way that provides a low-cost maintenance of the solution in practical applications when the rate plan structure often changes.
    Źródło:
    Studia Ekonomiczne; 2015, 235; 253-265
    2083-8611
    Pojawia się w:
    Studia Ekonomiczne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Implementation of a decision support model of the supply chain management in the environment of constraint logic programming
    Implementacja modelu wspomagania decyzji zarzadzania łańcuchem dostaw w środowisku programowania w logice z ograniczeniami
    Autorzy:
    Wikarek, J.
    Powiązania:
    https://bibliotekanauki.pl/articles/276266.pdf
    Data publikacji:
    2013
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    zarządzanie łańcuchem dostaw
    wspomaganie decyzji
    programowanie w logice z ograniczeniami
    Supply Chain Management (SCM)
    decision support
    constraint satisfaction problem (CSP)
    constraint logic programming (CLP)
    Opis:
    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.
    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.
    Źródło:
    Pomiary Automatyka Robotyka; 2013, 17, 2; 123-128
    1427-9126
    Pojawia się w:
    Pomiary Automatyka Robotyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Portfolio selection of new product projects: a product reliability perspective
    Wybór portfela projektów nowych produktów z uwzględnieniem niezawodności produktu
    Autorzy:
    Relich, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/1365737.pdf
    Data publikacji:
    2016
    Wydawca:
    Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN
    Tematy:
    cost estimation
    project alternatives
    constraint satisfaction problem
    constraint logic programming
    decision support system
    estymacja kosztów
    warianty alternatywne projektu
    problem spełniania ograniczeń
    programowanie w logice z ograniczeniami
    system wspomagania decyzji
    Opis:
    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.
    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.
    Źródło:
    Eksploatacja i Niezawodność; 2016, 18, 4; 613-620
    1507-2711
    Pojawia się w:
    Eksploatacja i Niezawodność
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Application of constraint logic programming to decision support for the supply chain management
    Zastosowanie programowania w logice z ograniczeniami do wspomagania decyzji zarządzania łańcuchem dostaw
    Autorzy:
    Sitek, P.
    Powiązania:
    https://bibliotekanauki.pl/articles/276270.pdf
    Data publikacji:
    2013
    Wydawca:
    Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
    Tematy:
    zarządzanie łańcuchem dostaw
    wspomaganie decyzji
    programowanie w logice z ograniczeniami
    modelowanie hybrydowe
    Supply Chain Management (SCM)
    decision support
    constraint satisfaction problem (CSP)
    constraint logic programming (CLP)
    hybrid modeling
    Opis:
    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.
    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.
    Źródło:
    Pomiary Automatyka Robotyka; 2013, 17, 2; 129-134
    1427-9126
    Pojawia się w:
    Pomiary Automatyka Robotyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-7 z 7

      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