Geometric constraint satisfaction using optimization methods

CAD Computer Aided Design

Volumn 31, Issue 14, 1999, Pages 867-879

  Ge, Jian Xin ^a   Chou, Shang Ching ^a   Gao, Xiao Shan ^a  

^a Wichita State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL GEOMETRY; COMPUTER GRAPHICS; CONSTRAINT THEORY; OPTIMIZATION; VARIATIONAL TECHNIQUES;

HOMOTOPY METHOD; PARAMETRIC DESIGN;

COMPUTER AIDED DESIGN;

EID: 0033318775     PISSN: 00104485     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0010-4485(99)00074-3     Document Type: Article

References (41)

1. Aldefeld B. Variation of geometries based on a geometric-reasoning method. Computer Aided Design. 20:(3):1988;117-126.
2. Barford LA. A graphical, language-based editor for generic solid models represented by constraints, PhD dissertation, Department of Computer Science, Cornell University, 1987.
3. Bazarra M.S., Sherali H.D., Shetty C.M. Nonlinear programming: theory and algorithms. 2 :1993;Wiley, New York.
4. Witkin A., Fleischer K., Barr A. Constraints on parametrized models. Computer Graphics. 21:(4):1987;225-232.
5. Bouma W., Hoffmann C.M., Fudos I., Cai J., Paige R. A geometric constraint solver. Computer Aided Design. 27:(6):1995;487-501.
6. Bruderlin B. Rule-based geometric modeling, PhD dissertation, Swiss Federal Institute of Technology (ETH) Zürich, 1988.
7. Buchanan S.A., de Pennington A. Constraint definition system: a computer algebra based approach to solving geometric problems. Computer Aided Design. 25:(12):1993;740-750.
8. Chou S.-C. Mechanical geometry theorem proving. 1987;Kluwer, Dordrecht.
9. Chou S-C, Gao X-S, Zhang J-Z. A fixpoint approach to automated geometry theorem proving, WSUCS-95-2, Computer Science Department, Wichita State University, 1995.
10. Elster K.H. Modern mathematical methods of optimization. 1993;Akademie, Berlin.
11. Freeman-Benson B., Maloney J. An incremental constraint solver. Communications of the ACM. 33:(1):1990;54-63.
12. Fudos I, Hoffmann CM. Correctness proof of a geometric constraint solver, Technical Report CSD93-076, Department of Computer Science of Purdue University, 1993.
13. Fudos I., Hoffmann C.M. A graph-constructive approach to solving systems of geometric constraints. ACM Transactions on Graphics. 16:(2):1997;179-216.
14. Gao X.-S., Chou S.-C. Solving geometric constraint problems. II. A symbolic approach and decision of rc-constructibility. Computer Aided Design. 30:(2):1998;115-122.
15. Gao X-S, Chou S-C. Solving geometric constraint problems, I. A global propagation approach. Computer Aided Design 1998;30(1): 47-54.
16. Gay D.M. Algorithm 611 - subroutines for unconstrained minimization using a model/trust-regin approach. ACM Transactions on Mathematical Software. 9:1983;503-524.
17. Horst R., Pardalos P.M., Thai N.V. Introduction to global optimization. 1995;Kluwer, Dordrecht.
18. Ignizio J.P. Linear programming. 1994;Prentice-Hall, Englewood Cliffs, NJ.
19. Kalra D., Barr A. Constraint-based figure-maker. Eurographics'90. 1990;413-424.
20. Kelley CT. Iterative methods for optimization, Department of Mathematics, North Carolina State University, http://www4.ncsu.edu/eos/users/c/ctkelley/www/darts.html, to be published by SIAM in 1999, Draft of May 4, 1998.
21. Kondo K. Algebraic method for manipulation of dimensional relationships in geometric models. Geometric Aided Design. 24:(3):1992;141-147.
22. Kramer G. Solving geometric constraint systems. 1992;MIT Press, Cambridge, MA.
23. Kramer G. Geometric constraint engine. Artificial Intelligence. 58:1992;327-360.
24. Lamure H., Michelucci D. Solving geometric constraints by homotopy. IEEE Transactions on Visualization and Computer Graphics. 2:(1):1996;28-34.
25. Latheam R.S., Middleditch A.E. Connectivity analysis: a tool for processing geometric constraints. Computer Aided Design. 28:(11):1994;917-928.
26. Lee J.Y., Kim K. Geometric reasoning for knowledge-based parametric design using graph representation. Computer Aided Design. 28:(10):1996;831-841.
27. Lee K., Andrews G. Inference of the positions of components in an assembly: part 2. Computer Aided Design. 17:(1):1985;20-24.
28. Leler W. Constraint programming languages. 1988;Addison-Wesley, Reading, MA.
29. Light R., Gossard D. Modification of geometric models through variational geometry. Geometric Aided Design. 14:1982;208-214.
30. Lin D.C., Nocedal J. On the limited memory bfgs method for large scale optimization. Mathematical Programming. 45:1989;503-628.
31. Lin V.C., Gossard D.C., Light R.A. Variational geometry in computer-aided design. Computer Graphics. 15:(3):1981;171-177.
32. More JJ, Wright SJ. Optimization software guide, SIAM, 1993.
33. Nemhauser G.L., Rinnooy Kan A.H.G., Todd M.J. Optimization. 1989;Elsevier, Amsterdam.
34. Nocedal J. Updating quasi-Newton matrices with limited storage, Mathematics of Computation, 1980;35, 773-82.
35. Owen J. Algebraic solution for geometry from dimensional constraints, ACM Symp. Found. of Solid Modeling, Austin TX, 1991, p. 397-407.
36. Rocheleau D.N., Lee K. System for interactive assembly modeling. Computer Aided Design. 19:(1):1987;65-72.
37. Serrano D., Gossard D. Constraint management in MCAE. Gero J. Artificial intelligence in engineering: design. 1988;Elsevier, Amsterdam.
38. Schnierderjans M.J. Goal programming: methodology and applications. 1995;Kluwer, Dordrecht.
39. Suzuki H., Ando H., Kimura F. Geometric constraints and reasoning for geometrical CAD systems. Computer and Graphics. 14:(2):1990;211-224.
40. Todd P. A k-tree generalization that characterizes consistency of dimensioned engineering drawings. SIAM Journal of Discussions in Mathematics. 2:1989;255-261.
41. Verroust A., Schonek F., Roller D. Rule-oriented method for parametrized computer-aided design. Computer Aided Design. 24:(3):1992;531-540.