M. Shpitalni, H. Lipson, 1999, "Automatic reasoning for design under geometric constraints", Annals of the CIRP, Vol. 46/1, pp. 85-89


Abstract

This paper discusses an approach for converting variational geometry constraints into parametric geometry, by means of creating auxiliary constraints and finding a sequential construction. The solution strategy is based on decomposing the problem into a sequential process consisting of known elementary-cases, and on construction of auxiliary geometry by constraint transformation. Transforming constraints results in creation of new constraint chains yielding new paths in the constraint graph. Use of auxiliary constraints can thus decompose strongly connected components of the original constraint graph, and can assist traditional constraint solution techniques. This new approach is demonstrated in two and three dimensions.



Download full paper: reasoning.pdf (158K)