Helping the Designer in Solution Selection: Applications in CAD
In CAD, symbolic geometric solvers allow to solve constraint systems, given under the form of a sketch and a set of constraints, by computing a symbolic construction plan describing how to build the required figure. But a construction plan does not usually define a unique figure, and the selection of the expected figure remains an important topic. This paper expose three methods, automatic or interactive, to help the designer in the exploration of the solution space. These methods guide him towards the expected solution, by basing the construction on the observation of the sketch. A set of examples from a large range of application domains illustrate the different methods.
- 1.Anderl, R. and Mendgen, R.: Parametric design and its impact on solid modeling applications. In proceedings of 3rd ACM/IEEE Symposium on Solid Modeling and Applications, ACM Press (1995) 1–12Google Scholar
- 2.Dufourd, J.-F. and Mathis, P. and Schreck, P.: Formal resolution of geometric constraint systems by assembling. In proceedings of the ACM-Siggraph Solid Modelling Conference, ACM Press (1997) 271–284Google Scholar
- 3.Sohrt, W. and Brüderlin, B.: Interaction with Constraints in 3D Modeling. In proceedings of Symposium on Solid Modeling Foundations and CAD/CAM Applications, ACM Press (1991) 387–396Google Scholar
- 4.Owen, J.: Algebraic solution for geometry from dimensional constraints. In proceedings of the 1st ACM Symposium of Solid Modelling and CAD/CAM Applications, ACM Press (1991) 397–407Google Scholar
- 8.Lamure, H. and Michelucci, D.: Solving Constraints Systems by Homotopy. In proceedings of 3rd ACM/IEEE Symposium on Solid Modeling and Applications, ACM Press (1995) 263–269Google Scholar
- 9.Jermann, C. and Trombettoni, G. and Neveu, B. and Rueher, M.: A Constraint Programming Approach for Solving Rigid Geometric Systems. In proceedings of CP2000, Springer LNCS 1894 (2000) 233–248Google Scholar