An incremental algorithm to support geometric constraint satisfaction in engineering design

Author(s):  
A. Lopes da Silva ◽  
E. Lamounier
Author(s):  
Djamila Haroud ◽  
Sylvie Boulanger ◽  
Esther Gelle ◽  
Ian Smith

AbstractMuch of preliminary engineering design is a constraint-driven non-monotonic exploration process. Initial decisions are made when information is incomplete and many goals are contradictory. Such conditions are present regardless of whether one or several designers contribute to designs. This paper presents an approach for supporting decisions in situations of incomplete and conflicting knowledge. In particular, we use assumptions and conflict management to achieve efficient search in contexts where little reliable information exists. A knowledge representation, containing a semantic differentiation between two types of assumptions, is used within a computational model based on the dynamic constraint satisfaction paradigm. Conflict management strategies consist of three generic mechanisms adapted to the type of constraints involved. These strategies may be refined through consideration of variable importance, context, and design inertia.


1996 ◽  
Author(s):  
Liping Chen ◽  
Hao Luo ◽  
Chongbin Tu ◽  
Xingfang Zhang ◽  
Ji Zhou ◽  
...  

1996 ◽  
Vol 4 ◽  
pp. 419-443 ◽  
Author(s):  
S. Bhansali ◽  
G. A. Kramer ◽  
T. J. Hoar

An important problem in geometric reasoning is to find the configuration of a collection of geometric bodies so as to satisfy a set of given constraints. Recently, it has been suggested that this problem can be solved efficiently by symbolically reasoning about geometry. This approach, called degrees of freedom analysis, employs a set of specialized routines called plan fragments that specify how to change the configuration of a set of bodies to satisfy a new constraint while preserving existing constraints. A potential drawback, which limits the scalability of this approach, is concerned with the difficulty of writing plan fragments. In this paper we address this limitation by showing how these plan fragments can be automatically synthesized using first principles about geometric bodies, actions, and topology.


1996 ◽  
Vol 28 (9) ◽  
pp. 707-722 ◽  
Author(s):  
Ram Anantha ◽  
Glenn A Kramer ◽  
Richard H Crawford

Sign in / Sign up

Export Citation Format

Share Document