Výsledky vyhľadávania - ((applications OR publications) of) concurrent constraint programming*

Concurrent multi-scale design optimization of composite frames with manufacturing constraints Autor Yan, Jun, Duan, Zunyi, Lund, Erik, Wang, Jingyuan

“…This paper presents a gradient based concurrent multi-scale design optimization method for composite frames considering specific manufacturing constraints raised from the aerospace industrial requirements…”
Získať plný text

Models and emerging trends of concurrent constraint programming Autor Olarte, Carlos, Rueda, Camilo, Valencia, Frank D.

“…Concurrent Constraint Programming (CCP) has been used over the last two decades as an elegant and expressive model for concurrent systems…”
Získať plný text

Cyclic scheduling of multi-type wafers concurrent processing in single-arm cluster tools with residency time constraints Autor Li, Xin, Yang, Wen

“… This paper proposes an approach towards the generalized cyclic scheduling of multiple wafer types in single-arm cluster tools, considering residency time constraints…”
Získať plný text

Modeling Biological Systems in Stochastic Concurrent Constraint Programming Autor Bortolussi, Luca, Policriti, Alberto

“…We present an application of stochastic Concurrent Constraint Programming (sCCP) for modeling biological systems…”
Získať plný text

Optimal parameters and tolerances in concurrent product and process design using simulation and fuzzy goal programming Autor Al-Refaie, Abbas, Haddadin, Mays, Qabaja, Alaa

“…Purpose The purpose of this paper is to propose an approach to determine the optimal parameters and tolerances in concurrent product and process design in the early design stages utilizing fuzzy goal programming…”
Získať plný text

Constraint programming model for resource-constrained assembly line balancing problem Autor Alakaş, Hacı Mehmet, Pınarbaşı, Mehmet, Yüzükırmızı, Mustafa

“… However, tasks may need to be processed by general resource requirements in real life. These general resources could be classified by usage of resources such as simple or multiple, alternative and concurrent…”
Získať plný text

Balancing of cost-oriented U-type general resource-constrained assembly line: new constraint programming models Autor Alakaş, Hacı Mehmet, Pınarbaşı, Mehmet

“… Two different constraint programming (CP) models that define the resource constraints as “and/or” constraint…”
Získať plný text

A Proof Theoretic Study of Soft Concurrent Constraint Programming Autor PIMENTEL, ELAINE, OLARTE, CARLOS, NIGAM, VIVEK

“…Concurrent Constraint Programming (CCP) is a simple and powerful model for concurrency where agents interact by telling and asking constraints…”
Získať plný text

Mitigation of adverse interactions in pairs of clinical practice guidelines using constraint logic programming Autor Wilk, Szymon, Michalowski, Wojtek, Michalowski, Martin, Farion, Ken, Hing, Marisela Mainegra, Mohapatra, Subhra

“… ► We propose a method for automatic mitigation of adverse interactions in CPGs. ► We combine constraint logic programming model with encoded clinical knowledge…”
Získať plný text

Concurrent Optimization of Subway Vertical Alignments and Station Elevations With Improved Particle Swarm Optimization Algorithm Autor Wei, Li, Qiu, Xiao, Pu, Hao, Schonfeld, Paul, Zhen, Shujun, Zhou, Yuhui, Xu, Zhanjun

“… In this paper, a concurrent optimization model of stations and links is developed, in which the vertical points of intersection in stations and links are design variables…”
Získať plný text

DSML4CP: A Domain-specific Modeling Language for Concurrent Programming Autor Azadi Marand, Elaheh, Azadi Marand, Elham, Challenger, Moharram

“…Nowadays, concurrent programs are an inevitable part of many software applications…”
Získať plný text

Scheduling residency time-constrained single-armed cluster tools with two-wafer types via mixed integer programming model Autor Yang, Fajun, Li, Chao, Zhen, Lu, Zhang, Chunjiang, Wu, Naiqi

“…•A mixed integer programming model is formulated to determine the optimal wafer release sequence and robot task sequence…”
Získať plný text

Concurrent two-scale topological design of multiple unit cells and structure using combined velocity field level set and density model Autor Wang, Yaguang, Kang, Zhan

“…This paper studies concurrent two-scale design optimization of composite structures filled with multiple microstructural unit cells…”
Získať plný text

A sequential approximate programming strategy for reliability-based structural optimization Autor Cheng, Gengdong, Xu, Lin, Jiang, Lei

“… A number of algorithms have been proposed to reduce the computational cost of such optimizations, such as performance measure approach, semi-infinite programming, and mono-level approach…”
Získať plný text

Program sketching Autor Solar-Lezama, Armando

“…Sketching is a synthesis methodology that aims to bridge the gap between a programmer’s high-level insights about a problem and the computer’s ability to…”
Získať plný text

Towards enabling I/O awareness in task-based programming models Autor Elshazly, Hatem, Ejarque, Jorge, Lordan, Francesc, Badia, Rosa M.

“… As applications produce more and more data, I/O becomes the limiting factor for increasing application performance…”
Získať plný text

Distributionally robust optimization of an emergency medical service station location and sizing problem with joint chance constraints Autor Liu, Kanglin, Li, Qiaofeng, Zhang, Zhi-Hai

“…•Risk-averse features are considered both quantitatively and qualitatively.•The proposed approximation for joint chance constraints is less conservative compared with individual ones in a special case…”
Získať plný text

Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming Autor Weidmann, Nils, Anjorin, Anthony

“… From a declarative specification of a consistency relation, several operations including forward and backward transformations, (concurrent…”
Získať plný text

A robust bi-objective model for concurrent planning of project scheduling and material procurement Autor Tabrizi, Babak H., Ghaderi, Seyed Farid

“…•Application of tuned meta-heuristics to solve the model of different sizes. Simultaneous planning of project scheduling and material procurement can lead to the project execution costs improvement…”
Získať plný text

Automated minimum-weight sizing design framework for tall self-standing modular buildings subjected to multiple performance constraints under static and dynamic wind loads Autor Wang, Zixiao, Rajana, Komal, Corfar, Dan-Adrian, Tsavdaridis, Konstantinos Daniel

“…•The optimisation is relying on a novel discrete sizing formulation considering, concurrently, multiple structural serviceability and safety constraints related to static and dynamic wind loading…”
Získať plný text