Abstract
The embodiment phase of mechanical design is, in part, a constraint specification and satisfaction problem. A set of tools to specify and satisfy sets of inequality and equality non-linear constraints has been developed and is presented in this paper. A combination of constraint-based methods and optimization techniques—a direct search method and two adaptive search methods—was applied to the problem of constraint satisfaction of large sets of highly coupled, non-linear, equality and inequality constraints. The constraint-based methods were used to reduce the constraint space size through algebraic manipulation of the constraints. Adaptive search techniques, genetic algorithms and simulated annealing, were used to find designs that satisfy all the imposed constraints.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ackley, D.H., Hinton, G.E. and Sejnowski, T.J.: 1985, A learning algorithm for Boltzmann machines, Cognitive Science, 9, 147–169.
Aleksander, I. and Morton, H.: 1990, An Introduction to Neural Computing, Chapman and Hall, London.
Cartwright, H. M. and Mott, G. F.: 1991, Looking around: Using clues from the data space to guide genetic algorithm searches, in Belew, R. K. and Booker, L. B. (eds), Proceedings Fourth International Conference on Genetic Algorithms, Morgan Kaufmann, pp. 108-114.
Cerny, V.: 1985, Thermodynamical approach to the travelling salesman problem: An efficient simulation algorithm, Journal of Optimization Theory and Applications, 45, 41–51.
David, B. T.: 1987, Multi-expert systems for CAD, Intelligent CAD Systems I: Theoretical and Methodological Aspects, Springer-Verlag, Noordwijkerhout, The Netherlands, pp. 57–67.
Davis L.: 1991, Handbook of Genetic Algorithms, Van Nostrand Reinhold, New York.
Eshelman, L. J., Caruana, R. A. and Schaffer, J. D.: 1989, Biases in the crossover landscape, in Schaffer, J. D.(ed.), Proceedings of the Third International Conference on Genetic Algorithms, Morgan Kaufmann, pp. 10-119.
Fogel, D. B. and Atmar, J. W.: 1990, Comparing genetic operators with Gaussian mutations in simulated evolutionary processes using linear systems, Biological Cybernetics, 63, 111–114.
Freeman-Benson, B. N.: 1989, A module mechanism for constraints in Smalltalk, 24(10) SIGPLAN Notices OOPSLA ’89: Conference on Object Oriented Programming, Systems, Languages and Applications, pp. 389–396.
Goldberg, D. E.: 1989, Genetic Algorithms in Search, Optimization, and Machine Learning, Addison-Wesley, Reading, Massachusetts.
Grefestette, J. J.: 1986, Optimization of control parameters for genetic algorithms, IEEE Transactions on Systems, Man and Cybernetics, SMC-16, 1.
Grefestette, J. J.: 1990, A User’s Guide to GENESIS 1.2ucsd, Naval Research Laboratory, Washington, DC (available via anonymous ftp from the Artificial Life archive server, iuvax.cs.indiana.edu (129.79.254.192) in the pub/alife/software/unix/GAucsd directory)
James, M.: 1991a, Prototyping CAD, CAD-CAM.
James, M.: 1991b, PC Parametrics, CAD-CAM.
Johnson, A. L. and Thornton, A. C.: 1991, Towards real CAD, Design Studies, 12(4), 232–236.
Kirkpatrick, S., Gellat Jr., C. D. and Vecchi, M. P.: 1983, Optimization by simulated annealing, Science, 220, 671–680.
Konopasek, M. and Jayaraman, S.: 1985, Constraint and declarative languages for engineering applications: the TK!Solver contribution, Proceedings of the IEEE, 73(12), 1791–1806.
Louis, S. J.: 1992, Genetic algorithms as a computational model of creative design, in Gero, J. S. and Sudweeks, F. (eds), Preprints Computational Models of Creative Design, University of Sydney, Sydney.
Luenberger, D. G.: 1984, Linear and Non-linear Programming, 2nd edn, Addison-Wesley, Reading, Massachusetts.
Metropolis, N., Rosenbluth, A., Rosenbluth, M., Teller, A. and Teller, E.: 1953, Equation of state calculations by fast computing machines, Journal of Chem. Physics, 21, 1087–1092.
Schaffer, J. D., Caruana, R. A., Eshelman, L. J. and Das, R.: 1989, A study of control parameters affecting online performance of genetic algorithms for function optimization, Proceedings of the Third International Conference on Genetic Algorithms, Morgan Kaufmann, pp. 51-60.
Sriram, D., Stephanopoulos, G., Logcher, R., Gossard, D., Groleau, N., Serrano, D. and Navinchandra, D.: 1989, Knowledge-based system applications in engineering design: Research at MIT, AI Magazine, 10(3), 79–96.
Syswerda, G.: 1989, Uniform crossover in genetic algorithms, Proceedings of the Third International Conference on Genetic Algorithms, Schaffer, J. D.(ed.), Morgan Kaufmann.
The Concept Modeller, Release 1.2, Reference Manual: 1990, Wisdom Systems ©, Pepper Pike, OH.
Thornton, A. C.: 1993, Constraint Specification and Satisfaction in Embodiment Design, PhD Thesis, University of Cambridge
van Laarhoven, P. J. M. and Aarts, E. L. H.: 1987, Simulated Annealing: Theory and Applications, D. Reidel, Dordrecht.
Wagner, M. R.: 1990, Understanding the ICAD System.
Watton, J. D.: 1989, Automatic Reformulation of Mechanical Design Constraints to Enhance Qualitative and Quantitative Design Decisions, PhD Thesis, Carnegie Mellon University.
Young, R. E., Greef, A., and O’Grady, P.: 1991, SPARK: An artificial intelligence constraint network system for concurrent engineering, in Gero, J. S. (ed), Artificial Intelligence in Design ’91, Butterworth Heinemann, Oxford, pp. 79–94.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1994 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Thornton, A.C. (1994). Genetic Algorithms Versus Simulated Annealing: Satisfaction of Large Sets of Algebraic Mechanical Design Constraints. In: Gero, J.S., Sudweeks, F. (eds) Artificial Intelligence in Design ’94. Springer, Dordrecht. https://doi.org/10.1007/978-94-011-0928-4_22
Download citation
DOI: https://doi.org/10.1007/978-94-011-0928-4_22
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-4400-4
Online ISBN: 978-94-011-0928-4
eBook Packages: Springer Book Archive