Last issue
2021 (vol. 31) - Number 3

Vanya R. Barseghyan:

The problem of control of rod heating process with nonseparated conditions at intermediate moments of time

Khadidja Bentata , Ahmed Mohammedi, Tarak Benslimane:

Development of rapid and reliable cuckoo search algorithm for global maximum power point tracking of solar PV systems in partial shading condition

Jakub Musial, Krzysztof Stebel and Jacek Czeczot:

Self-improving Q-learning based controller for a class of dynamical processes

Ramesh Devarapalli and Vikash Kumar:

Power system oscillation damping controller design: a novel approach of integrated HHO-PSO algorithm

T. Kaczorek:

Poles and zeros assignment by state feedbacks in positive linear systems

Saule Sh. Kazhikenova and Sagyndyk N. Shaltakov, Bekbolat R. Nussupbekov:

Difference melt model

R. Almeida and N. Martins, E. Girejko and A.B. Malinowska, L. Machado:

Evacuation by leader-follower model with bounded confidence and predictive mechanisms

B. Zhao and R. Zhang, Y. Xing:

Evaluation of medical service quality based on a novel multi-criteria decision-making method with unknown weighted information

Stefan Mititelu, Savin Treanta:

Efficiency in vector ratio variational control problems involving geodesic quasiinvex multiple integral functionals

D.K. Dash and P.K. Sadhu, B. Subudhi:

Spider monkey optimization (SMO) – lattice Levenberg–Marquardt recursive least squares based grid synchronization control scheme for a three-phase PV system

Suresh Rasappan and K.A. Niranjan Kumar:

Dynamics, control, stability, diffusion and synchronization of modified chaotic colpitts oscillator

ACS Abstract:

2006 (Volume 16)
Number 2
1. Principles of constraint systems and constraint solvers
2. An introduction to interval-based constraint processing
3. Filtering algorithms for the Same and UsedBy constraints
4. Message delay and asynchronous DisCSP search

Principles of constraint systems and constraint solversDownload full PDF article
Thom Fr├╝hwirth
(Faculty of Computer Science, University of Ulm, Germany)
Slim Abdennadher
(Department of Computer Science, German University Cairo, Egypt)

In this compact overview, we introduce the most common constraint systems used in constraint programming languages and algorithms to solve them. Constraint systems are the result of taking a data type together with its operations and interpreting the resulting expressions as constraints.  These constraint systems use the universal data types of numbers (integers or reals) to represent scalar data or terms to represent structured data. Algorithms are presented as logical inference rules that are directly executable in the Constraint Handling Rules language.

keywords: computational logic, executable specifications, rule-based programming, program analysis, algorithms


An introduction to interval-based constraint processingDownload full PDF article
Gerrit Renker, Hatem Ahriz
(School of Computing, The Robert Gordon University, Aberdeen, UK)

Constraint programming is often associated with solving problems over finite domains. Many applications in engineering, cad and design, however, require solving problems over continuous (real-valued) domains. While simple constraint solvers can solve linear constraints with the inaccuracy of floating-point arithmetic, methods based on interval arithmetic allow exact (interval) solutions over a much wider range of problems. Applications of interval-based programming extend the range of solvable problems from non-linear polynomials up to those involving ordinary differential equations.

In this text, we give an  introduction to current approaches, methods and implementations of interval-based constraint programming and solving. Special care is taken to provide a uniform and consistent notation, since the literature in this field employs many seemingly different, but yet conceptually related, notations and terminology.

keywords: constraint programming, interval-based computation, interval consistency techniques


Filtering algorithms for the Same and UsedBy constraintsDownload full PDF article
Nicolas Beldiceanu
(Ecole des Mines de Nantes, Nantes Cedex, France)
Irit Katriel, Sven Thiel
(Max-Planck-Institut fur Informatik, Saarbrucken, Germany)

We define the Same and UsedBy constraints. UsedBy takes two sets of variables X and Z such that |X| > |Z| and assigns values to them such that the multiset of values assigned to the variables in Z is contained in the multiset of values assigned to the variables in X. Same is the special case of UsedBy in which |X|=|Z|. We show algorithms that achieve arc-consistency and bound-consistency for these constraints.

keywords: arc-consistency, bound-consistency, constraint programming, filtering algorithm, global constraint, network flow, strongly connected component


Message delay and asynchronous DisCSP searchDownload full PDF article
Roie Zivan, Amnon Meisels
(Department of Computer Science, Ben-Gurion University of the Negev, Israel)

Distributed constraint satisfaction problems (DisCSPs) are composed of agents, each holding its own variables, that are connected by constraints to variables of other agents. Due to the distributed nature of the problem, message delay can have unexpected effects on the behavior of distributed search algorithms on DisCSPs. This has been shown in experimental studies of asynchronous backtracking algorithms. To evaluate the impact of message delay on the run of DisCSP search algorithms, a model for distributed performance measures is presented. The model counts the number of non concurrent constraints checks, to arrive at a solution, as a non concurrent measure of distributed computation. A  simpler version measures distributed computation cost by the number of non-concurrent steps of computation. An algorithm for computing these distributed measures of computational effort is described. The realization of the model for measuring performance of distributed search algorithms is a simulator which includes the cost of message delays. The performance of two asynchronous search algorithms is measured on randomly generated instances of DisCSPs with delayed messages. The Asynchronous Weak Commitment (AWC) algorithm and Asynchronous Backtracking (ABT). The intrinsic reordering process of AWC dictates a need for a more complex count of non-concurrent steps of computation. The improved counting algorithm is also needed for Dynamic ordered ABT. The delay of messages is found to have a strong negative effect on AWC and a smaller effect on dynamically ordered ABT.

keywords: distributed constraint satisfaction, search, distributed AI


<< Back