A transformation system for interactive reformulation of design optimization strategies

Research in Engineering Design - Theory, Applications, and Concurrent Engineering

Volumn 10, Issue 1, 1998, Pages 30-61

  Ellman, Thomas ^a   Keane, John ^a   Banerjee, Arunava ^a   Armhold, George ^a  

^a RUTGERS UNIVERSITY   (United States)

Author keywords

Design; Formulation; Optimization; Reformulation

Indexed keywords

DATA FLOW ANALYSIS; DEMONSTRATIONS; ENGINEERING RESEARCH; OPTIMIZATION; ORDINARY DIFFERENTIAL EQUATIONS; QUALITY ASSURANCE;

AUTOMATIC DESIGN OPTIMIZATION; INTERACTIVE REFORMULATION; OBJECTIVE FUNCTION;

SYSTEMS ANALYSIS;

EID: 0032306787     PISSN: 09349839     EISSN: None     Source Type: Journal    
DOI: 10.1007/bf01580268     Document Type: Article

References (26)

1. Peressini A, Sullivan F, Uhl J. The Mathematics of Nonlinear Programming. Springer-Verlag, New York, NY, 1988
2. Press W, Vetterling W, Teukolsky S, Flannery B. Numerical Recipes. Cambridge University Press, New York, NY, 1986
3. Lawrence C, Zhou J, Tits A. User's guide for CFSQP version 2.3: A C code for solving (large scale) constrained nonlinear (minimax) optimization problems, generating iterates satisfying all inequality constraints. Technical Report TR-94-16r1, Institute for Systems Research, University of Maryland, August 1995
4. Kirkpatrick S, Gelatt C, Vecchi M. Optimization by simulated annealing. Science 1983; 220(4598): 45-54
5. Mitchell M. An Introduction to Genetic Algorithms. MIT Press, Cambridge, MA, 1996
6. Ellman T, Murata T. Deductive synthesis of numerical simulation programs from networks of algebraic and ordinary differential equations. Automated Software Engineering 1998: 5(3)
7. Partsch H, Steinbruggen R. Program transformation systems. Computing Surveys 1983; 15(3)
8. Mostow J. Design by derivational analogy: Issues in the automated replay of design plans. Artificial Intelligence 1989; 40(1-3): 119-184
9. Letcher J, Marshall J, Oliver J, Salvensen N. Stars and Stripes. Scientific American August 1987; 257(2): 24-32
10. Ellman T, Keane J, Schwabacher M, Yao K. Multilevel modeling for engineering design optimization. Artificial Intelligence for Engineering Design, Analysis, and Manufacturing 1997; 11(5): 357-378
11. Gelsey A, Smith D, Schwabacher M, Rasheed K, Miyake K. A search space toolkit. Decision Support Systems, special issue on 'Unification of Artificial Intelligence with Optimization' 1996
12. Shukla V, Gelsey A, Schwabacher M, Smith D, Knight D. Automated design optimization for the p2 and p8 hypersonic inlets. Journal of Aircraft 1997; 34(2)
13. Keane J. Extensions to Franz, Inc.'s Allegro Common Lisp foreign function interface. Technical Report HPCD-TR-41, Department of Computer Science, Rutgers University, 1996
14. Char BW, Geddes KO, Gonnet GH, Leong BL, Monagan MB, Watt SM. First Leaves: A Tutorial Introduction to Maple V. Springer-Verlag and Waterloo Maple Publishing, 1992
15. Gill P, Murray W, Wright M. Practical Optimization. Academic Press, London, 1981
16. Keane J, Ellman T. Knowledge-based re-engineering of legacy programs for robustness in automated design. Proceedings of the Eleventh Knowledge-Based Software Engineering Conference, Syracuse, NY, 1996, pp 104-113
17. Orelup MF, Dixon JR, Cohen PR, Simmons MK, Dominic ii: Meta-level control in iterative redesign. Proceedings of the National Conference on Artificial Intelligence, St. Paul, MN, 1988, pp. 25-30
18. Tong SS. Coupling symbolic manipulation and numerical simulation for complex engineering designs. Intelligent Mathematical Software Systems, North-Holland, New York, NY, 1990, pp. 241-252.
19. Powell D. Inter-gen: A hybrid approach to engineering design optimization. Technical report, Rensselaer Polytechnic Institute, Department of Computer Science, December 1990
20. Williams B, Cagan J. Activity analysis: The qualitative analysis of stationary points for optimal reasoning. Proceedings of the Twelfth National Conference on Artificial Intelligence, Seattle, Washington, 1994, pp 1217-1223
21. Choy J, Agogino A. Symon: Automated symbolic monotonicity analysis system for qualitative design optimization. Proceedings ASME International Computers in Engineering Conference, 1986
22. Papalambros P, Wilde D. Principles of Optimal Design. Cambridge University Press, New York, NY, 1988
23. Falkenhainer B, Forbus K. Compositional modeling: Finding the right model for the job. Artificial Intelligence 1991; 51: 95-144
24. Nayak P. Causal approximations. Artificial Intelligence 1994; 70: 277-334
25. Abelson H, Eisenberg M, Halfant M, Katzenelson J, Sacks E, Sussman J, Wisdom J, Yip K. Intelligence in scientific computing. Communications of the ACM 32, 1989
26. Sacks E. Automatic analysis of one parameter planar ordinary differential equations by intelligent numeric simulation. Artificial Intelligence 1991; 48(1): 27-56