Constraint propagation with interval labels
Artificial Intelligence
Combining Local Consistency, Symbolic Rewriting and Interval Methods
AISMC-3 Proceedings of the International Conference AISMC-3 on Artificial Intelligence and Symbolic Mathematical Computation
Box Consistency through Weak Box Consistency
ICTAI '99 Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence
Principles of Optimal Design
Towards automated reasoning on the properties of numerical constraints
ERCIM'02/CologNet'02 Proceedings of the 2002 Joint ERCIM/CologNet international conference on Constraint solving and constraint logic programming
Constraint processing offers improved expressiveness and inference for interactive expert systems
ERCIM'02/CologNet'02 Proceedings of the 2002 Joint ERCIM/CologNet international conference on Constraint solving and constraint logic programming
Hi-index | 0.00 |
Reasoning about relationships among design constraints can facilitate objective and effective decision making at various stages of engineering design. Exploiting dominance among constraints is one particularly strong approach to simplifying design problems and to focusing designers' attention on critical design issues. Three distinct approaches to constraint dominance identification have been reported in the literature. We lay down the basic principles of these approaches with simple examples, and we apply these methods to a practical linear electric actuator design problem. With the help of the design problem we demonstrate strategies to synergistically employ the dominance identification methods. Specifically, we present an approach that utilizes the transitive nature of the dominance relation. The identification of dominance provides insight into the design of linear actuators, which leads to effective decisions at the conceptual stage of the design. We show that the dominance determination methods can be synergistically employed with other constraint reasoning methods such as interval propagation methods and monotonicity analysis to achieve an optimal solution for a particular design configuration of the linear actuator. The dominance determination methods and strategies for their employment are amenable for automation and can be part of a suite of tools available to assist the designer in detailed as well as conceptual design.