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ę "programming" wg kryterium: Temat

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-9 z 9
    Tytuł:
    Constraint-based scheduling in Oz/Mozart
    Autorzy:
    Sitek, P.
    Wikarek, J.
    Banaszak, Z.
    Powiązania:
    https://bibliotekanauki.pl/articles/118013.pdf
    Data publikacji:
    2006
    Wydawca:
    Polskie Towarzystwo Promocji Wiedzy
    Tematy:
    constraint programming
    decision support
    scheduling
    Opis:
    In this paper we present how scheduling problems can be solved in the concurrent constraint programming (CCP) language Oz. Oz is the first high- level constraint language, which offers programmable search, modularity, expressiveness and an interface to invent new constraints using C++. As an example of scheduling problem the job-shop scheduling problem with manpower resources representation was considered. The objective discussed here is the minimization of the makespan. Allocating manpower to the jobs is more complicated than allocating machines, as different jobs and operations require different manpower. This problem is strongly NP-hard. We proposed the constraint programming (CP) based approach to decision support in this environment. The most important features of CP are declarative problem modeling, allowing a clear separation between the problem statement (variables and constraints) and the resolution of the problem.
    Źródło:
    Applied Computer Science; 2006, 2, 1; 83-99
    1895-3735
    Pojawia się w:
    Applied Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Decision support tool for projects portfolio prototyping
    Autorzy:
    Bocewicz, G.
    Bach, I.
    Banaszak, Z.
    Powiązania:
    https://bibliotekanauki.pl/articles/117707.pdf
    Data publikacji:
    2008
    Wydawca:
    Polskie Towarzystwo Promocji Wiedzy
    Tematy:
    scheduling
    constraint programming
    decision support system
    Opis:
    Constraint Programming (CP) is an emergent software technology for declarative description and effective solving of large combinatorial problems especially in the area of projects portfolio prototyping. The paper deals with multi-resource and multi-criteria problem in which more than one shared renewable resource type may be required by manufacturing operation and the availability of each type is time-windows limited. The problem belongs to a class of NP-complete ones. The aim of the paper is to present a knowledge based and CP-driven approach to resource allocation conflicts resolution framework. Proposed framework stands behind a methodology aimed at task oriented DSS tolls designing. The Portfolio Project Prototyping System designed due to this methodology provides a prompt and interactive service to a set of routine queries stated both in straight and reverse way. Multiple illustrative examples are discussed.
    Źródło:
    Applied Computer Science; 2008, 4, 2; 43-62
    1895-3735
    Pojawia się w:
    Applied Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Knowledge based and CLP-driven approach to multi-robot task allocation for multiproduct job shop
    Autorzy:
    Bocewicz, G.
    Mądry, M.
    Banaszak, Z.
    Powiązania:
    https://bibliotekanauki.pl/articles/117904.pdf
    Data publikacji:
    2008
    Wydawca:
    Polskie Towarzystwo Promocji Wiedzy
    Tematy:
    scheduling
    constraint programming
    knowledge engineering
    decision making
    Opis:
    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 that context, CP can be considered as an appropriate framework for development of decision making software supporting scheduling of multi-robot in a multi-product flow shop. The paper deals with multi-resource problem in which more than one shared renewable resource type may be required by manufacturing operation and the availability of each type is time-windows limited. The problem belongs to a class of NP-complete ones. The aim of the paper is to present a knowledge based and CLP-driven approach to multi-robot task allocation framework providing a prompt service to a set of routine queries stated both in straight and reverse way. Provided example concentrates on the first case taking into account both an accurate and an uncertain specification of robots operation time..
    Źródło:
    Applied Computer Science; 2008, 4, 1; 18-29
    1895-3735
    Pojawia się w:
    Applied Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    CP-driven production process planning in multiproject environment
    Autorzy:
    Banaszak, Z.
    Bocewicz, G.
    Bach, I.
    Powiązania:
    https://bibliotekanauki.pl/articles/375917.pdf
    Data publikacji:
    2008
    Wydawca:
    Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
    Tematy:
    projects portfolio
    support system
    constraints programming
    scheduling
    Opis:
    The way enterprise capabilities are used decides about its competitiveness among other ones. In that context modeling aimed at production tasks allocation planning plays a crucial role especially at concurrently executed production orders. The introduced reference model employing constraint programming (CP) paradigm describes both an enterprise and a set of project-like production orders. Moreover, encompassing consumer orders requirements and available production capabilities, the model provides the formal framework allowing one to develop a class of decision support systems aimed at interactive production process planning subject to multiproject environment constraints. In that context our contribution is a knowledge-based and CP-driven approach to resource allocation assuming precise character of decision variables. The conditions sufficient for deadlock avoidance are the main goal. The conditions delivered provide formal framework for developing a task oriented Decision Support Tool for Project Portfolio Prototyping (DST4P, Banaszak 2006). The tool provides a prompt and interactive service to a set of routine queries formulated either in straight or reverse way.
    Źródło:
    Decision Making in Manufacturing and Services; 2008, 2, 1-2; 5-32
    1896-8325
    2300-7087
    Pojawia się w:
    Decision Making in Manufacturing and Services
    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ł:
    Towards CLP-based task-oriented DSS for SME
    Autorzy:
    Tomczuk, I.
    Bzdyra, K.
    Banaszak, Z.
    Powiązania:
    https://bibliotekanauki.pl/articles/118215.pdf
    Data publikacji:
    2005
    Wydawca:
    Polskie Towarzystwo Promocji Wiedzy
    Tematy:
    decision support
    constraint logic programming
    production planning
    modelling
    scheduling
    Opis:
    Decision making supported by task-oriented software tools plays a pivotal role in a modern enterprises. That is because commercially available ERP systems are not able to respond in an interactive on-line/real-time mode. It means a new generation of DSS that enable a fast prototyping of production flows in multiproject environment as well as an integrated approach to a layout planning, production routing, batch-sizing and scheduling problems is needed. In that context, the constraint logic programming techniques allowing declarative representation of a decision making problem provide a quite attractive alternative. So, some issues regarding modelling of decision making and searching strategies development are discussed in the contribution. The results obtained are implemented in a software package supporting production flow planning in the SMEs. Illustrative example of the ILOG-based software application is provided.
    Źródło:
    Applied Computer Science; 2005, 1, 1; 181-200
    1895-3735
    Pojawia się w:
    Applied Computer Science
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    Integracja problemów doboru, alokacji i planowania działań zespołu mobilnych robotów inspekcyjnych: model deklaratywny
    Integrated approach to selection, docking and routing planning of multi mobile robot inspection system: declarative modeling perspective
    Autorzy:
    Bocewicz, G.
    Bzdyra, K.
    Banaszak, Z.
    Powiązania:
    https://bibliotekanauki.pl/articles/395413.pdf
    Data publikacji:
    2011
    Wydawca:
    Stowarzyszenie Inżynierów i Techników Mechaników Polskich
    Tematy:
    system robotów mobilnych
    inspekcja pomieszczeń
    programowanie z graniczeniami
    multi mobile robot system
    indoor inspection
    constraints programming
    Opis:
    Rozważany problem doboru, alokacji i 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 strategia planowania struktury i alokacji elementów umożliwiająca w określonym horyzoncie czasu inspekcję zadanej liczby pomieszczeń. Proponowane podejście zilustrowane zostało na załączonych przykładach.
    Declarative modeling provides attractive perspective for integrated approach to selection, docking and routing planning of multi mobile robot inspection system problem formulation. For given set decision variables describing indoor environment and acting robots as well as the set of constraints limiting these variables robots' navigation strategy is sought out. The solution should respond to the question: what kind and how many and in which way initially docked robots enable to inspect a given indoor environment within a given time horizon? The approach proposed is illustrated on multiple examples.
    Źródło:
    Postępy Nauki i Techniki; 2011, 9; 52-67
    2080-4075
    Pojawia się w:
    Postępy Nauki i Techniki
    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ł:
    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ł
      Wyświetlanie 1-9 z 9

      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