Suchergebnisse - ((applications OR publications) of) concurrent constraint programming

Concurrent multi-scale design optimization of composite frames with manufacturing constraints von 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 …”
Volltext

Cyclic scheduling of multi-type wafers concurrent processing in single-arm cluster tools with residency time constraints von 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 …”
Volltext

Models and emerging trends of concurrent constraint programming von 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 …”
Volltext

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

“… We present an application of stochastic Concurrent Constraint Programming (sCCP) for modeling biological systems …”
Volltext

A Proof Theoretic Study of Soft Concurrent Constraint Programming von 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 …”
Volltext

Optimal parameters and tolerances in concurrent product and process design using simulation and fuzzy goal programming von 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 …”
Volltext

Concurrent Optimization of Subway Vertical Alignments and Station Elevations With Improved Particle Swarm Optimization Algorithm von 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 …”
Volltext

Concurrent product configuration and process planning: Some optimization experimental results von Pitiot, Paul, Aldanondo, Michel, Vareilles, Elise

“… The configuration and planning problems are considered as constraint satisfaction problems (CSPs). After some recalls about this two-step approach, we propose to evaluate a recent evolutionary optimization algorithm called CFB-EA …”
Volltext

Constraint programming model for resource-constrained assembly line balancing problem von 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 …”
Volltext

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

“… Nowadays, concurrent programs are an inevitable part of many software applications …”
Volltext

A history of the Oz multiparadigm language von Van Roy, Peter, Haridi, Seif, Schulte, Christian, Smolka, Gert

“… We give the history of Oz as it developed from its origins in logic programming, starting with Prolog, followed by concurrent logic programming and constraint logic programming, and leading …”
Volltext

Mitigation of adverse interactions in pairs of clinical practice guidelines using constraint logic programming von 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 …”
Volltext

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

“… Two different constraint programming (CP) models that define the resource constraints as “and/or” constraint …”
Volltext

Abstract diagnosis for timed concurrent constraint programs von COMINI, MARCO, TITOLO, LAURA, VILLANUEVA, ALICIA

“… The timed concurrent constraint language (tccp in short) is a concurrent logic language based on the simple but powerful concurrent constraint paradigm of Saraswat …”
Volltext

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

“… This paper studies concurrent two-scale design optimization of composite structures filled with multiple microstructural unit cells …”
Volltext

Observational equivalences for linear logic concurrent constraint languages von Haemmerle, Remy

“… Linear logic Concurrent Constraint programming (LCC) is an extension of concurrent constraint programming (CC …”
Volltext

Concurrent Learning Control Lyapunov and Barrier Functions for Uncertain Nonlinear Safety-Critical Systems With High Relative Degree Constraints von Wang, Liqi, Dong, Jiuxiang

“… This paper studies the problem of safety-critical tracking control for uncertain nonlinear systems which are allowed to be with high relative degree constraints, parametric uncertainty in the control …”
Volltext

Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios von Toro, Mauricio, Desainte-Catherine, Myriam, Rueda, Camilo

“… Interactive scores (is) is a formalism based on temporal constraints to describe interactive scenarios …”
Volltext

Concurrent motion planning and reaction load distribution for redundant dynamic systems under external holonomic constraints von Kim, Joo H., Abdel-Malek, Karim, Xiang, Yujiang, Yang, Jingzhou (James), Arora, Jasbir S.

“… Dynamics of mechanical systems during motion usually involves reaction forces and moments due to the interaction with external objects or constraints from the environment …”
Volltext

A robust bi-objective model for concurrent planning of project scheduling and material procurement von 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 …”
Volltext