Temat: constraints programming

Skocz do pozycji: 1.

Tytuł:: An approach to time project oriented management
Autorzy:: Skołud, B.
Zientek, A.
Tematy:: project management
Theory of Constraints
constraints programming; Pokaż więcej
Wydawca:: Polskie Towarzystwo Promocji Wiedzy
Powiązania:: https://bibliotekanauki.pl/articles/118269.pdf Link otwiera się w nowym oknie
Opis:: The objective presented below is to answer the question: How to exploit resources to complete all projects in expected time in a multi-project environment? A solution to maximise the number of projects, which the company is able to implement concurrently is proposed by combining the Theory of Constraints and conditions guaranteeing project due dates with constraint-based scheduling.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 2.

Tytuł:: CP-driven production process planning in multiproject environment
Autorzy:: Banaszak, Z.
Bocewicz, G.
Bach, I.
Tematy:: projects portfolio
support system
constraints programming
scheduling; Pokaż więcej
Wydawca:: Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Powiązania:: https://bibliotekanauki.pl/articles/375917.pdf Link otwiera się w nowym oknie
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.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 3.

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.
Tematy:: system robotów mobilnych
inspekcja pomieszczeń
programowanie z graniczeniami
multi mobile robot system
indoor inspection
constraints programming; Pokaż więcej
Wydawca:: Stowarzyszenie Inżynierów i Techników Mechaników Polskich
Powiązania:: https://bibliotekanauki.pl/articles/395413.pdf Link otwiera się w nowym oknie
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.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 4.

Tytuł:: Scheduling for Multi-modal Cyclic Transport Systems
Harmonogramowanie multimodalnych cyklicznych systemów transportowych
Autorzy:: Bocewicz, G.
Banaszak, Z.
Tematy:: harmonogram cykliczny
transport multimodalny
model deklaratywny
programowanie w logice ograniczeń
cyclic scheduling
multimodal transport system
multimodal processes
declarative modeling
constraints programming; Pokaż więcej
Wydawca:: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Powiązania:: https://bibliotekanauki.pl/articles/276844.pdf Link otwiera się w nowym oknie
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.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 5.

Tytuł:: Deployment of a predictive-like optimal control law on a servo drive system using linear programming approach
Autorzy:: Horla, Dariusz
Pinczewski, Piotr
Tematy:: constraints
linear programming
optimal control
servo drive; Pokaż więcej
Wydawca:: Polska Akademia Nauk. Czasopisma i Monografie PAN
Powiązania:: https://bibliotekanauki.pl/articles/27309954.pdf Link otwiera się w nowym oknie
Opis:: Current drive control systems tend to push control loops to the limits of their performance. One of the ways of doing so is to use advanced optimization algorithms, usually related to model-based off-line calculations, such as genetic algorithms, the particle swarmoptimisation or the others. There is, however, a simpler way, namely to use predictive control formalism and by formulation of a simple linear programming problem which is easy to solve using powerful solvers, without excessive computational burden, what is a reliable solution, as whenever the optimization problem has a feasible solution, a global minimizer can be efficiently found. This approach has been deployed for a servo drive system operated by a real-time sampled-data controller, verified between model-in-the-loop and hardwarein- the-loop configurations, for a range of prediction horizons, as an attractive alternative to classical quadratic programming-related formulation of predictive control task.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 6.

Tytuł:: Navigational and legislative constraints for optimization of ocean routes in the Northern Pacific Ocean
Autorzy:: Szymański, M.
Wiśniewski, B.
Tematy:: route programming
SPOS system
Bon Voyage system
navigational constraints
legislative constraints
Northern Pacific; Pokaż więcej
Wydawca:: Akademia Morska w Szczecinie. Wydawnictwo AMSz
Powiązania:: https://bibliotekanauki.pl/articles/134983.pdf Link otwiera się w nowym oknie
Opis:: A ship sailing between the coasts of China, Japan, Korea and the Western coast of North America must cross navigational and geographical barriers of the Kuril Islands Archipelago and Aleutian Chain. Passes between the islands are particularly difficult and hazardous in winter. Most of them are covered by drifting ice for 5 months of the year. A number of allowed passes and offshore routes had been established by the maritime authorities of Alaska on the Bering Sea and in Aleutian Chain. However, use of other passes and routes is limited to exceptional cases only. Similar regulations exist in the Okhotsk Sea and other waters under Russian jurisdiction. The ship must then give grounds for a deviation from recommended or allowed passes and tracks and report other required information. Since January 1, 2015, it is mandatory to use the low sulphur fuel oil (sulphur content no higher than 0.01%) in the main propulsion system and auxiliary machinery when navigating inside the Emission Control Area (ECA) zone. Ships face a constant dilemma whether to remain in the ECA zone for the shortest or longer period of time, if the fuel and cost gain in relation to the entire route justify that. Available decision making support systems, like SPOS and Bon Voyage, do not solve that issue satisfactorily.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 7.

Tytuł:: Application of fuzzy programming techniques to solve solid transportation problem with additional constraints
Autorzy:: Halder (Jana), Sharmistha
Jana, Biswapati
Tematy:: non-linear solid transportation problem
impurity constraints
fuzzy programming technique; Pokaż więcej
Wydawca:: Politechnika Wrocławska. Oficyna Wydawnicza Politechniki Wrocławskiej
Powiązania:: https://bibliotekanauki.pl/articles/406403.pdf Link otwiera się w nowym oknie
Opis:: An innovative, real-life solid transportation problem is explained in a non-linear form. As in real life, the total transportation cost depends on the procurement process or type of the items and the distance of transportation. Besides, an impurity constraint is considered here. The proposed model is formed with fuzzy imprecise nature. Such an interesting model is optimised through two different fuzzy programming techniques and fractional programming methods, using LINGO-14.0 tools followed by the generalized gradient method. Finally, the model is discussed concerning these two different methods.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 8.

Tytuł:: On the implicit programming approach in a class of mathematical programs with equilibrium constraints
Autorzy:: Outrata, J. V.
Cervinka, M.
Tematy:: mathematical problem with equilibrium constraint
state constraints
implicit programming
calmness
exact penalization; Pokaż więcej
Wydawca:: Polska Akademia Nauk. Instytut Badań Systemowych PAN
Powiązania:: https://bibliotekanauki.pl/articles/970748.pdf Link otwiera się w nowym oknie
Opis:: In the paper we analyze the influence of implicit programming hypothesis and presence of state constraints on first order optimality conditions to mathematical programs with equilibrium constraints. In the absence of state constraints, we derive sharp stationarity conditions, provided the strong regularity condition holds. In the second part of the paper we suggest an exact penalization of state constraints and test the behavior of standard bundle trust region algorithm on academic examples.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 9.

Tytuł:: A Two-stage approach for an optimum solution of the car assembly scheduling problem. Part 2. CLP solution and real-world example
Autorzy:: Mazur, M.
Niederliński, A.
Tematy:: car sequencing
car assembly scheduling
workstation capacity constraints
constraint logic programming; Pokaż więcej
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Powiązania:: https://bibliotekanauki.pl/articles/230028.pdf Link otwiera się w nowym oknie
Opis:: A Constraint Logic Programming (CLP) tool for solving the problem discussed in Part 1 of the paper has been designed. It is outlined and discussed in the paper. The program has been used for solving a real-world car assembly scheduling problem.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 10.

Tytuł:: Local quadratic convergence of SQP for elliptic optimal control problems with mixed control-state constraints
Autorzy:: Griesse, R.
Metla, N.
Rosch, A.
Tematy:: optimal control
sequential quadratic programming
mixed control-state constraints
implicit function theorem
generalized equation; Pokaż więcej
Wydawca:: Polska Akademia Nauk. Instytut Badań Systemowych PAN
Powiązania:: https://bibliotekanauki.pl/articles/969868.pdf Link otwiera się w nowym oknie
Opis:: Semilinear elliptic optimal control problems with pointwise control and mixed control-state constraints are considered. Necessary and sufficient optimality conditions are given. The equivalence of the SQP method and Newton's method for a generalized equation is discussed. Local quadratic convergence of the SQP method is proved.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Informacja

Wyszukujesz frazę "constraints programming" wg kryterium: Temat