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ę "constraint satisfaction problem" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-7 z 7
    Tytuł:
    Models and tools for improving efficiency in Constraint Logic Programming
    Autorzy:
    Ligęza, A.
    Powiązania:
    https://bibliotekanauki.pl/articles/375886.pdf
    Data publikacji:
    2011
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    constraint satisfaction problem (CSP)
    constraint programming
    constraint logic programming
    Opis:
    Constraint Satisfaction Problems typically exhibit strong combinatorial explosion. In this paper we present some models and techniques aimed at improving efficiency in Constraint Logic Programming. A hypergraph model of constraints is presented and an outline of strategy planning approach focused on entropy minimization is put forward. An example cryptoaritmetic problem is explored in order to explain the proposed approach.
    Źródło:
    Decision Making in Manufacturing and Services; 2011, 5, 1-2; 69-78
    1896-8325
    2300-7087
    Pojawia się w:
    Decision Making in Manufacturing and Services
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    CP-based decision support package for production flow planning - an SME perspective
    Autorzy:
    Bzdyra, K.
    Tomczuk-Piróg, I.
    Powiązania:
    https://bibliotekanauki.pl/articles/1395582.pdf
    Data publikacji:
    2006
    Wydawca:
    Polskie Towarzystwo Promocji Wiedzy
    Tematy:
    constraint logic programming
    decision support
    flow planning
    constraint satisfaction problem (CSP)
    Opis:
    Solving complex, decision-making problems requires application of decision support systems. The best solving strategy can be defined for each particular problem. The strategy refers to a sequence solving elementary subproblems. The aim of the paper is to present the evaluating criterion to estimate the efficiency of searching strategies. The criterion proposed offers a possibility to estimate the time needed to solve a constraint satisfaction problem. An illustrative example is provided.
    Źródło:
    Applied Computer Science; 2006, 2, 1; 100-109
    1895-3735
    Pojawia się w:
    Applied Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Fuzzy project scheduling using constraint programming
    Autorzy:
    Relich, M.
    Powiązania:
    https://bibliotekanauki.pl/articles/118137.pdf
    Data publikacji:
    2013
    Wydawca:
    Polskie Towarzystwo Promocji Wiedzy
    Tematy:
    project cash flow
    constraint satisfaction problem (CSP)
    project portfolio
    Opis:
    The paper aims to present an application of constraint programming techniques for project portfolio scheduling taking into account the imprecision in activity duration and cost. Data specification in the form of discrete a-cuts allows combining distinct and imprecise data, and implementing a constraint satisfaction problem with the use of constraint programming. Moreover using a-cuts, optimistic, pessimistic, and several intermediate scenarios concerning the project scheduling and cash flows can be obtained and considered in terms of different risk levels.
    Źródło:
    Applied Computer Science; 2013, 9, 1; 3-16
    1895-3735
    Pojawia się w:
    Applied Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    The use of fuzzy modelling and reverse inference to analyze the effects of ERP system implementation
    Autorzy:
    Ważna, L.
    Powiązania:
    https://bibliotekanauki.pl/articles/407423.pdf
    Data publikacji:
    2012
    Wydawca:
    Polska Akademia Nauk. Czytelnia Czasopism PAN
    Tematy:
    ERP system implementation
    planned effects
    fuzzy modelling
    constraint satisfaction problem (CSP)
    Opis:
    The paper presents a concept for the use of fuzzy modelling and reverse inference to analyze the effects of planned implementation of an ERP system in a medium-sized manufacturing company. The proposed approach allows the possibility of achievement of the effects corresponding to the assumed enterprise targets to be evaluated, and is based on the assignation of suffcient conditions providing these effects defined in the form of selected indicators. The paper also includes a presentation of the results of computer experiments in the field of the determination of the influence of selected fuzzy modelling parameters on the obtained solutions. The suggested concept is dedicated to consultants of ERP software to support decision-making processes.
    Źródło:
    Management and Production Engineering Review; 2012, 3, 3; 71-78
    2080-8208
    2082-1344
    Pojawia się w:
    Management and Production Engineering Review
    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ł
    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ł:
    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ł
      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