On the complexity of the design synthesis problem

IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans.

Volumn 26, Issue 1, 1996, Pages 142-151

  Maimon, Oded ^a   Braha, Dan ^b  

^a TEL AVIV UNIVERSITY   (Israel)

^b BOSTON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTATIONAL COMPLEXITY; MATHEMATICAL MODELS; PROBLEM SOLVING;

BASIC SYNTHESIS PROBLEM; DESIGN ARTIFACT DESCRIPTION; DESIGN SYNTHESIS PROBLEM;

PRODUCT DESIGN;

EID: 0029772779     PISSN: 10834427     EISSN: None     Source Type: Journal    
DOI: 10.1109/3468.477869     Document Type: Article

References (25)

1. A. Apple, "Modeling in three dimensions," IBM Systems Journal, vol. 7, nos. 3-4, pp. 310-321, 1968.
2. M. Asimow, Introduction to Design. Englewood Cliffs, NJ: Prentice-Hall, 1962.
3. B. Bohem, Software Engineering Economics. Englewood Cliffs, NJ: Prentice-Hall, 1981.
4. D. Braha and O. Maimon, "A mathematical theory of design: Modeling the design process (Part II)," Int. J. General Syst., 1995.
5. I. C. Braid, "The synthesis of solids bounded by many faces," Comm. ACM, vol. 18, no. 4, 1975.
6. T. M. Cover and J. A. Thomas, Elements of Information Theory. New York: Wiley, 1991.
7. R. D. Coyne, M. A. Rosenman, A. D. Radford, M. Balachandran and J. S. Gero, Knowledge-Based Design Systems. Reading, MA: Addison-Wesley, 1990.
8. S. R. Das, D. K. Banerji and A. K. Chattopadhyay, "On control memory minimization in microprogrammed digital computers," IEEE Trans. Comput., vol. C-22, no. 9, pp. 845-848, 1973.
9. C. L. Dym and R. E. Levitt, Knowledge-Based Systems in Engineering Design. Now York: McGraw-Hill, 1993.
10. M. R. Garey and D. S. Johnson, Computers and Intractability: A Guide to the Theory of NP-Completeness. San Francisco, CA: W. H. Freeman, 1979.
11. J. H. Garret and M. L. Mehar, "Knowledge-based systems in design and planning," J. Comp. Civ. Engrg., vol. 5, pp. 1-3, 1991.
12. A. Grasselli and U. Montanari, "On the minimization of read-only memories in microprogramed digital computers," IEEE Trans. Comput., vol. C-19, no. 11, pp. 1111-1114, 1970.
13. J. P. Hayes, Computer Architecture and Organization. New York: McGraw-Hill, 1988.
14. J. C. Jones, Design Methods: Seeds of Human Futures, 2d ed. New York: Wiley, 1980.
15. C. S. Krishnamoorthy, H. Shivakumar, S. Rajeev and S. Suresh, "A knowledge-based systems with generic tools for structural engineering," Structural Eng. Rev., vol. 5, no. 1, pp. 334-358, 1993.
16. M. A. Lavin and L. I. Lieberman, "A system of modeling three dimensional objects," IBM Research Report RC-5765, 1975.
17. O. Maimon and D. Braha, "A proof of the complexity of design," Kybernetes, vol. 21, pp. 59-63, 1992.
18. _, "A mathematical theory of design: Representation of design knowledge (Part I)," Int. J. General Syst., 1995.
19. _, "An exploration of the design process," Tech. Rep. 94-3, Dept. Manuf. Eng., Boston University, Boston, MA, 1994.
20. W. H. Middendorf, Design of Devices and Systems. New York: Marcel Dekker, 1986.
21. C. V. Ramamoorthy et al., "Issues in the development of large, distributed and reliable software," in Advances in Computers, vol. 26, pp. 393-443, M. C. Yovits, ed. New York: Academic Press, 1987.
22. H. A. Simon, The Science of the Artificial. Cambridge, MA: MIT Press, 1981.
23. D. Sriram and K. Cheong, "Engineering design cycle: A case study and implications for CAE," in Knowledge Aided Design. New York: Academic, 1990.
24. D. Ullman, T. G. Dietterich and L. A. Stauffer, "A model of the mechanical design process based on empirical data," AI EDAM, vol. 2, pp. 33-52, 1988.
25. R. K. Vemuri, Soo-Ik Oh and R. A. Miller, "Topology-based geometry representation to support geometric reasoning," IEEE Trans. Syst., Man, Cybern., vol. 19, no. 2, pp. 175-187, 1989.