1.1 Abstract We view constraints as relations and constraint satisfaction as a dynamic process of approaching the solution set of the constraints. We have developed a semantic model for dynamic systems, called Constraint Nets, to provide a real-time programming semantics and to model and analyze dynamic systems. In this paper, we explore the relationship between constraint satisfaction and cons...

We view constraints as relations and constraint satisfaction as a dynamic process of approaching a stable equilibrium. We have developed an algebraic model of dynamics, called Constraint Nets, to provide a real-time programming semantics and to model and analyze dynamic systems. In this paper, we explore the relationship between constraint satisfaction and constraint nets by showing how to impl...

one of the problems that sometimes occur in gas allocation optimization is instability phenomenon. this phenomenon reduces the oil production and damages downhole and surface facilities. different works have studied the stability and suggested some solutions to override it, but most of them (such as making the well intelligent) are very expensive and thus they are not applicable to many cases. ...

nowadays urban sanitary landfill compatible with environmental principles and in line with sustainable development is a necessity. in this paper for the purpose of determining appropriate sanitary landfill sites in kohgilooye & boyerahmad province, , many data layers were used including: slope, land cover, distance to main roads, distance to cities & villages, geology, surface water network, di...

the problem of scheduling with multi agent has been studiedfor more than one decade and significant advances have been madeover the years. however, most work has paid more attention to the conditionthat machines are available during planning horizon. motivatedby the observations, this paper studies a two-agent scheduling modelwith multiple availability constraint. each agent aims at minimizing ...

in the real world, risk and uncertainty are two natural properties in the implementation of mega projects. most projects fail to achieve the pre-determined objectives due to uncertainty. a linear integer programming optimization model was used in this work to solve a problem in order to choose the most appropriate risk responses for the project risks. a mathematical model, in which work structu...

The calculation of RTS amounts to measuring a relationship between inputs and outputs in a production structure. There are many methods to measure RTS in the primal space or the dual space. One of the main approaches is using the multiplier on the convexity constraint. But returns to scale measurements in DEA models are affected by the presence of regulatory constraints. These additional constr...

We study the complexity of constraint satisfaction problems involving global constraints, i.e., special-purpose constraints provided by a solver and represented implicitly by a parametrised algorithm. Such constraints are widely used; indeed, they are one of the key reasons for the success of constraint programming in solving real-world problems. Previous work has focused on the development of ...