Visual language and graph-based structures in conceptual design

Advanced Engineering Informatics

Volumn 26, Issue 2, 2012, Pages 267-279

  Ślusarczyk, Grayna ^a  

^a JAGIELLONIAN UNIVERSITY   (Poland)

Author keywords

Design diagram; First order logic; Hypergraph; Knowledge based reasoning; Visual language

Indexed keywords

DESIGN CONFIGURATIONS; DESIGN KNOWLEDGE; DESIGN STRUCTURE; FIRST ORDER LOGIC; GEOMETRIC PRIMITIVES; GRAPH REPRESENTATION; GRAPH-BASED; HYPERGRAPH; KNOWLEDGE-BASED REASONING; REASONING MECHANISM; SUPPORTING SYSTEMS; SYMBOLIC REPRESENTATION;

CONCEPTUAL DESIGN; DATA STRUCTURES; FORMAL LOGIC; GRAPHIC METHODS;

VISUAL LANGUAGES;

EID: 84859585199     PISSN: 14740346     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.aei.2011.10.005     Document Type: Article

References (57)

1. C. Ware Visual Thinking for Design 2008 Elsevier
2. G. Ślusarczyk Hierarchical hypergraph transformations in engineering design Journal of Applied Computer Science 11 2003 67 82
3. E. Grabska, G. Ślusarczyk, T.L. Le, Visual Design and Reasoning with the Use of Hypergraph Transformations, in: Proc. of the Seventh International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008), Electronic Communications of the EASST 10 (2008) 305-318.
4. E. Grabska, A. Łachwa, G. Ślusarczyk, K. Grzesiak-Kopeć, and J. Lembas Hierarchical layout hypergraph operations and diagrammatic reasoning Machine Graphics and Vision 16 2007 23 38 (Pubitemid 351300733)
5. E. Grabska, and G. Ślusarczyk Knowledge and reasoning in design systems Autom. Constr. 22 2011 927 934
6. A. Borkowski, E. Grabska, P. Nikodem, B. Strug, Searching for Innovative Structural Layouts by Means of Graph Grammars and Evolutionary Optimization, in: Proc. 2nd Int. Structural Eng. and Constr. Conf., Rome, 2003, pp.475-480.
7. P. Nikodem, B. Strug, Graph Transformations in Evolutionary Design, Artificial Intelligence and Soft Computing - ICAISC 2004, LNCS 3070, pp.456-461.
8. R.D. Coyne, M.A. Rosenman, A.D. Radeford, M. Balachandran, and J.S. Gero Knowledge Based Design Systems 1990 Addison-Wesley Publishing Company
9. A. Goel, S. Bhatta, and E. Stroulia KRITIK: An early case-based design system M.L. Maher, P. Perl, Issues and Applications of Case-Based Design 1997 Erlbaum Hillsdale, NJ 87 132
10. SEED - Software Environment to support the Early phases in building Design, http://www.seedling.org.
11. U. Flemming, A. Zeyno, R. Coyne, and J. Snyder Case-based design in a software environment to support the early phases in building design M.L. Maher, P. Pu, Issues and Applications of Case-Based Reasoning in Design 1997 Erlbaum Mahwah, NJ 61 85
12. U. Flemming, R. Coyone, T. Gavin, and M. Rychter A generative expert system for the design of building layouts - version 2 B. Topping, Artificial Intelligence in Engineering Design 1999 Computational Mechanics Publications Southampton 445 464
13. K. Sycara, R. Guttal, J. Koning, S. Narasimhan, and D. Navinchandra CADET: a case-based synthesis tool for engineering design International Journal of Expert Systems 4 1992
14. CADET, < http://www2.cs.cmu.edu/afs/cs.cmu.edu/project/cadet/ftp/docs/ CADET.html >
15. A. Voß Case design specialists in FABEL M.L. Maher, P. Perl, Issues and Applications of Case-Based Design 1997 Erlbaum Hillsdale, NJ 301 336
16. M. Minas Concepts and realization based on hypergraph transformation Programming 44 2002 157 180
17. S. Garavaglia PROLOG 1984 Harper and Row New York
18. R. Fagin, J.Y. Halpern, Y. Moses, and M.Y. Vardi Reasoning About Knowledge 1995 MIT Press Cambridge
19. J. Szuba, Graphs and Graph Transformations in Design in Engineering, Ph.D. Thesis, PAS, Warszawa, 2005.
20. M. Nagl, (Ed.), Building Thightly-Integrated (Software) Development Environments: The IPSEN Approach, LNCS 1170, Springer Verlag, Berlin, 1996, pp. 248-279.
21. J.E. Robbins, D.J. Morley, D.F. Redmiles, V. Filatov, D. Kononov, Visual language features supporting human-human and human-computer communication, Proceedings of the 12th IEEE Symposium on Visual Languages, IEEE Computer Society Press, 1996, pp. 247-254.
22. B. Meyer, K. Marriot, and K. Wittenburg A survey of visual language specification and recognition K. Marriot, B. Meyer, Visual Language Theory 1998 Springer New York 5 85
23. R. Bardohl, M. Minas, A. Schürr, and G. Taentzer Application of graph transformation to visual languages H. Ehrig, G. Engels, H.J. Kreowski, G. Rozenberg, Handbook of Graph Grammars and Computing by Graph Transformation, vol.2: Applications, Languages and Tools 1999 World Scientific
24. J. Rekers, and A. Schürr Defining and parsing visual languages with layered graph grammars Journal of Visual Languages and Computing 8 1997 27 55 (Pubitemid 127175792)
25. A. Schürr, PROGRESS: a VHL-language based on graph grammars. Proceedings of the 4th Int. Workshop on Graph-Grammars and Their Applications, LNCS 532, 1991, pp. 641-659.
26. G. Taentzer, C. Ermel, and M. Rudolf The AGG approach: language and tool environment H. Ehrig, G. Engels, H.J. Kreowski, G. Rozenberg, Handbook of Graph Grammars and Computing by Graph Transformation, vol. 2: Applications, Languages and Tools 1999 World Scientific
27. M. Minas, Diagram editing with hypergraph parser support. Proceedings of the 13th IEEE Symposium on Visual Languages, IEEE Computer Society Press, 1997, pp. 230-237.
28. J.M. Gooday, A.G. Cohn, Using spatial logic to describe visual languages. Proceedings of the Int. Workshop on Theory of Visual Languages, Italy, 1996.
29. V. Haarslev A logic-based formalism for reasoning about visual representations Journal of Visual Languages and Computing 10 1999 421 445
30. C.A. Gurr On the isomorphism, or lack of it, of representations K. Marriot, B. Meyer, Visual Language Theory 1998 Springer Berlin 288 301
31. D. Wang, and H. Zeevat A syntax directed approach to picture semantics K. Marriot, B. Meyer, Visual Language Theory 1998 Springer Berlin 307 324
32. M. Save, and W. Prager Structural Optimization 1990 Plenum Press New York
33. U. Kirsch Optimal topologies of structures App. Mech. Rev. 42 1989 223 239 (Pubitemid 21660112)
34. G. Rozvany, M. Bendsoe, and U. Kirsch Layout optimization of structures App. Mech. Rev. 48 1995 41 119
35. M. Bendsoe Methods for the Optimization of Structural Topology, Shape and Material 1995 Springer-Verlag Berlin
36. H. Eschenauer, and A. Schumacher Bubble method for topology and shape optimization of structures Journal of Structural Optimization 8 1994 42 51
37. K. De Jong, T. Arciszewski, H. Vyas, An Overview of Evolutionary Computation and its Applications, in: Artificial Intelligence in Engineering, Warsaw, 1999, pp. 9-22.
38. P. Hajela, and J. Lee Genetic algorithms in truss topological optimization Journal of Solids and Structures 32 1995 3341 3357
39. R. Kicinger, T. Arciszewski, K. De Jong, Conceptual design in structural engineering: an evolutionary computation approach, Proceedings of the 2nd International Specialty Conference on the Conceptual Approach to Structural Design, Milan, Italy, July 1-2, 2003, CI-Premier PTE Ltd., Singapore, (2003) pp. 529-536.
40. R. Kicinger, T. Arciszewski, and K. De Jong Evolutionary design of steel structures in tall buildings Journal of Computing in Civil Engineering 19 2005 223 238 (Pubitemid 41092935)
41. A. Kaveh Graph-theoretical methods for efficient flexibility analysis of planar trusses Comput. Struct. 59 1986 559 563
42. A. Kaveh, M. Sabagian, V. Kalatjary, Optimal topology of planar trusses using graph theory, The First Conference of the Iranian Society of Civil Engineering, Tehran, 1999.
43. A. Kaveh Matroids applied to the force method of structural analysis ZAMM 73 1993 T355 T357
44. O. Shai The Duality Relation between Mechanisms and Trusses Mechanism and Machine Theory 3 2001 343 369
45. C. Jinkui, and C. Weiqing Systemics of Assur groups with multiple joints Mechanism and Machine Theory 33 1998 1127 1133 (Pubitemid 128416622)
46. O. Shai, Topological synthesis of all 2D mechanisms through Assur graphs, Proceedings of the ASME International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, August 15-18, 2010, Montreal, Quebec, Canada, 2010.
47. R. Alber, S. Rudolph, On a grammar-based design language that supports automated design generation and creativity, in: J.C. Borg, P.J. Farrugia, K.P. Camilleri (Eds.), Knowledge Intensive Design Technology: IFIP TC5/WG5.2 Fifth Workshop on Knowledge Intensive CAD (KIC-5), 136, (2004), pp. 19-36.
48. A. Kaveh, and V. Kalatjari Topology optimization of trusses using genetic algorithm, force method and graph theory International Journal of Numerical Methods in Engineering 58 2003 771 791 (Pubitemid 37262056)
49. A. Kaveh, Y. Gholipour, and H. Rahami Optimal design of transmission towers using genetic algorithm and neural networks International Journal of Space Structures 23 2008 1 19
50. K. Shea, Essays of Discrete Structures: Purposeful Design of Grammatical Structures by Directed Stochastic Search, Ph.D. Dissertation, Carnegie Mellon University, Pittsburgh, PA, (1997), (< www-edc.eng.cam.ac.uk/people/ks273. html >).
51. P.Y. Papalambros, and K. Shea Creating structural configurations E.K. Antonsson, J. Cagan, Formal Engineering Design Synthesis 2002 Cambridge University Press 93 125
52. K. Shea, J. Cagan, and S.J. Fenves A shape annealing approach to optimal truss design with dynamic grouping of members ASME Journal of Mechanical Design 119 1997 388 394 (Pubitemid 127709755)
53. K. Shea, J. Cagan, Topology design of truss structures by shape annealing, in: Proceedings of DETC98: 1998 ASME Design Engineering Technical Conferences, ASME, New York, DETC98/DAC-5624, (1998), pp. 1-11.
54. K. Shea, and I.F.C. Smith Improving full-scale transmission tower design through topology and shape optimization Journal of Structural Engineering 132 2006 781 790
55. F. Drewes, B. Hoffmann, D. Plump, Hierarchical graph transformation, in: J. Turyn (Ed.), Proc. of FOSSACS 2000, LNCS 1784, Springer, (2000), pp. 98-113.
56. B. Tversky, M. Agarwala, J. Heiser, P.U. Lee, P. Hanrahan, D. Phan, C. Stolte, M.-P. Daniel, Cognitive design principles for generating visualizations, in: G. Allen (Ed.), Applied Spatial Cognition: From Research to Cognitive Technology, Erlbaum, 2007, pp. 53-73.
57. B. Tversky, and M. Suwa Thinking with sketches A.B. Markman, K.L. Wood, Tools for Innovation 2009 Oxford