Application of Gröbner bases and quantifier elimination for insightful engineering design

Mathematics and Computers in Simulation

Volumn 67, Issue 1-2, 2004, Pages 135-148

  Sawada, Hiroyuki ^a   Yan, Xiu Tian ^b  

^a NATIONAL INSTITUTE OF ADVANCED INDUSTRIAL SCIENCE AND TECHNOLOGY AIST   (Japan)

^b UNIVERSITY OF STRATHCLYDE   (United Kingdom)

Author keywords

Algebraic constraint representation; Engineering design; Gr bner basis; Quantifier elimination

Indexed keywords

ALGEBRA; COMPUTER AIDED DESIGN; COMPUTER SCIENCE; CONSTRAINT THEORY; DECISION MAKING; PARAMETER ESTIMATION; PROBLEM SOLVING;

ALGEBRIC CONSTRAINT REPRESENTATION; ENGINEERING DESIGN; GRÖBNER BASIS; QUANTIFIER ELIMINATION;

COMPUTATIONAL METHODS;

EID: 4344627859     PISSN: 03784754     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.matcom.2004.05.014     Document Type: Conference Paper

References (16)

1. S. Pugh, Total Design, Addison-Wesley, 1990.
2. T. Becker, V. Weispfenning, Gröbner Bases, Springer-Verlag, New York, 1993.
3. B.F. Caviness, J.R. Johnson (Eds.), Quantifier Elimination and Cylindrical Algebraic Decomposition, Springer-Verlag, Wien, 1996.
4. Thornton A.C., Johnson A.L., CADET: a software support tool for constraint processes in embodiment design. Res. Eng. Des. 8:1996;1-13.
5. Bowen J., Aspects of constraint processing. Artif. Intell. Eng. 6:1991;100-102.
6. D. Kuokka, B. Livezey, A collaborative parametric design agent, in: Proceedings of AAAI'94, vol. 1, 1994, pp. 387-393.
7. M.J. French, Conceptual Design for Engineers, second ed., Springer-Verlag, London, 1985.
8. G. Pahl, W. Beitz, Engineering Design, second ed., Springer-Verlag, London, 1996.
9. H. Sawada, Constraint-Based Computer Support for Insightful Multidisciplinary Engineering Design, Ph.D. Thesis, University of Strathclyde, UK, 2001.
10. D.E. Thompson, Design Analysis, Cambridge University Press, 1999.
11. V. Oh, J.E.E. Sharpe, Conflict management in an interdisciplinary design environment, in: J.E.E. Sharpe (Ed.), AI System Support for Conceptual Design, Springer-Verlag, London, 1996, pp. 298-318.
12. S.P. Hoover, J.R. Rinderle, Abstractions, design views and focusing, in: Proceedings of DTM'94, DE, vol. 68, ASME, 1994, pp. 115-129.
13. R.K. Sundaram, A First Course in Optimization Theory, Cambridge University Press, 1996.
14. E. Polak, Optimization, Springer-Verlag, 1997.
15. D. Cox, J. Little, D. O'Shea, Ideals, Varieties, and Algorithms, second ed., Springer-Verlag, New York, 1996.
16. Maekawa H., Yokoi K., Tanie K., Kaneko M., Kimura M., Imamura N., Development of a three-fingered robot hand with stiffness control capability. Mechantronics. 2:1992;483-494.