0
Research Papers

A Formal Representation of Function Structure Graphs for Physics-Based Reasoning

[+] Author and Article Information
Chiradeep Sen

Courtesy Faculty School of Mechanical, Industrial, and Manufacturing Engineering,
Oregon State University,
Corvallis, OR 97331
e-mail: csen@engr.orst.edu

Joshua D. Summers

Professor
e-mail: joshua.summers@ces.clemson.edu

Gregory M. Mocko

Associate Professor
e-mail: gmocko@clemson.edu
Department of Mechanical Engineering,
Clemson University,
Clemson, SC 29634-0921

Repository. designengineeringlab.org, accessed on May 16, 2012.

Version downloaded on April 23, 2012.

1Corresponding author.

Contributed by the Petroleum Division of ASME for publication in the Journal of Computing and Information Science in Engineering. Manuscript received November 28, 2011; final manuscript received November 5, 2012; published online April 22, 2013. Assoc. Editor: Ashok K. Goel.

J. Comput. Inf. Sci. Eng 13(2), 021001 (Apr 22, 2013) (13 pages) Paper No: JCISE-11-1465; doi: 10.1115/1.4023167 History: Received November 28, 2011; Revised November 05, 2012

The paper presents a formal representation for modeling function structure graphs in a consistent, grammatically controlled manner, and for performing conservation-based formal reasoning on those models. The representation consists of a hierarchical vocabulary of entities, relations, and attributes, and 33 local grammar rules that permit or prohibit modeling constructs thereby ensuring model consistency. Internal representational consistency is verified by committing the representation to a Protégé web ontology language (OWL) ontology and examining it with the Pellet consistency checker. External representational validity is established by implementing the representation in a Computer Aided Design (CAD) tool and using it to demonstrate that the grammar rules prohibit inconsistent constructs and that the models support physics-based reasoning based on the balance laws of transport phenomena. This representation, including the controlled grammar, can serve, in the future, as a basis for additional reasoning extensions.

FIGURES IN THIS ARTICLE
<>
Copyright © 2013 by ASME
Your Session has timed out. Please sign back in to continue.

References

Otto, K. N., and Wood, K. L., 2001, Product Design Techniques in Reverse Engineering and New Product Development Prentice Hall. Upper Saddle River, NJ.
Pahl, G., Beitz, W., Feldhusen, J., and Grote, K. H., 2007, Engineering Design: A Systematic Approach, 3rd. ed., Springer-Verlag London Limited. London, United Kingdom.
Ullman, D. G., 1992, The Mechanical Design Process, McGraw-Hill. New York.
Sridharan, P., and Campbell, M. I., 2004, “A Grammar for Function Structures,” ASME 2004 Design Engineering Technical Conferences and Computers and Information in Engineering Conference, Salt Lake City, UT, Sept. 28—Oct. 2.
Sridharan, P., and Campbell, M. I., 2005, “A Study on the Grammatical Construction of Function Structures,” Artif. Intell. Eng. Des. Anal. Manuf., 19(3) pp. 139–160. [CrossRef]
Bryant, C. R., McAdams, D. A., and Stone, R. B., 2006, “A Validation Study of an Automated Concept Generator Design Tool,” ASME 2006 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, Philadelphia, PA, Sept. 10–13.
Vucovich, J., Bhardwaj, N., Ho, H. H., Ramakrishna, M., Thakur, M., and Stone, R., 2006, “Concept Generation Algorithms for Repository-Based Early Design,” ASME 2006 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, Philadelphia, PA, Sept. 10–13.
Kurtoglu, T., 2007, “A Computational Approach to Innovative Conceptual Design,” Mechanical Engineering, Vol. Ph.D., University of Texas, Austin, p. 155.
Kurtoglu, T., Campbell, M. I., Bryant, C. R., Stone, R. B., and McAdams, D. A., 2005, “Deriving a Component Basis for Computational Functional Synthesis,” International Conference on Engineering Design, ICED '05, Melbourne, Australia, Aug. 15–18.
Kurtoglu, T., Swantner, A., and Campbell, M. I., 2010, “Automating the Conceptual Design Process: From Black Box to Component Selection,” Artif. Intell. Eng. Des. Anal. Manuf., 24(1), pp. 49–62. [CrossRef]
Stone, R. B., Tumer, I. Y., and Stock, M. E., 2005, “Linking Product Functionality to Historic Failures to Improve Failure Analysis in Design,” Res. Eng. Des., 16(2), pp. 96–108. [CrossRef]
Kurtoglu, T., and Tumer, I. Y., 2008, “A Graph-Based Fault Identificatiokn and Propagation Framework for Functional Design of Complex Systems,” ASME J. Mech. Des., 130, p. 051401. [CrossRef]
Tumer, I. Y., and Stone, R. B., 2001, “Analytical Methods to Evaluate Failure Potential During High-Risk Component Development,” ASME Design Engineering Technical Conferences, Pittsburgh, PA, Sept. 9–12.
Bohm, M. R., Stone, R. B., and Szykman, S., 2005, “Enhancing Virtual Product Representations for Advanced Design Repository Systems,” J. Comput. Inf. Sci. Eng., 5(4), pp. 360–372. [CrossRef]
Bohm, M. R., Stone, R. B., Simpson, T. W., and Steva, E. D., 2006, “Introduction of a Data Schema: The Inner Workings of a Design Repository,” ASME 2006 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, Philadelphia, PA, Sept. 10–13.
Hirtz, J., Stone, R. B., McAdams, D. A., Szykman, S., and Wood, K. L., 2002, “A Functional Basis for Engineering Design: Reconciling and Evolving Previous Efforts,” Res. Eng. Des., 13(2), pp. 65–82. [CrossRef]
Stone, R. B., and Wood, K. L., 2000, “Development of a Functional Basis for Design,” J. Mech. Des., 122(4), pp. 359–370. [CrossRef]
Szykman, S., Racz, J. W., and Sriram, R. D., 1999, “The Representation of Function in Computer-Based Design,” 1999 ASME Design Engineering Technical Conferences, Las Vegas, NV, Sept. 12–15.
Kirschman, C. F., and Fadel, G. M., 1998, “Classifying Functions for Mechanical Design,” J. Mech. Des., 120(3), pp. 475–482. [CrossRef]
Collins, J. A., Hagan, B. T., and Bratt, H. M., 1976, “Failure-Experience Matrix—A Useful Design Tool,” J. Eng. Ind., B 98(3), pp. 1074–1079. [CrossRef]
Sen, C., Summers, J., and Mocko, G., 2011, “A Protocol to Formalise Function Verbs to Support Conservation-Based Model Checking,” J. Eng. Des., 22(11/12), pp. 765–788. [CrossRef]
Nagel, R. L., 2011, “A Design Framework for Identifying Automation Opportunities,” Ph.D. thesis, School of Mechanical, Industrial and Manufacturing Engineering, Oregon State University, Corvallis, OR.
Nagel, R. L., Bohm, M. R., Stone, R. B., and McAdams, D. A., “A Representation of Carrier Flows for Functional Design,” International Conference on Engineering Design ICED 07, Paris, France, Aug. 28–31.
Nagel, R. L., Vucovich, J. P., Stone, R. B., and McAdams, D. A., 2007, “Signal Flow Grammar From the Functional Basis,” International Conference on Engineering Design, ICED '07, Paris, France, Aug. 28–31.
Nagel, R. L., Perry, K. L., Stone, R. B., and McAdams, D. A., 2009, “Functioncad: A Functional Modeling Application Based on the Function Design Framework,” International Design Engineering Technical Conferences, San Diego, CA.
Bohm, M., Stone, R. B., and Nagel, R., 2009, “Form Follows Form-Is a New Paradigm Needed?,” ASME 2009 International Mechanical Engineering Congress and Exposition (IMECE2009), Lake Buena Vista, Florida, Nov. 13–19.
Baumgart, B. G., “A Polyhedron Representation for Computer Vision,” Proceedings of the May 19–22, 1975, National Computer Conference and Exposition, ACM, 1975.
Baumgart, B. G., 1974, “Geometric Modelling for Computer Vision,” Stanford University Stanford, CA, Artificial Intelligence Report Number CS-463.
Corney, J., and Lim, T., 2002, 3D Modeling With Acis, 2nd ed., Saxe-Coburg Publications, Stirling, UK.
Zeid, I., 2007, Mastering Cad/Cam, 1st ed., Tata McGraw-Hill Publishing Company Limited, New Delhi, India.
Sen, C., 2011, “A Formal Representation of Mechanical Functions to Support Physics-Based Computational Reasoning in Early Mechanical Design,” Ph.D. thesis, Clemson University, Clemson, South Carolina.
Sirin, E., Parsia, B., Grau, B., Kalyanpur, A., and Katz, Y., 2007, “Pellet: A Practical OWL-DL Reasoner,” Web Semantics: Sci., Services Agents World Wide Web, 5(2), pp. 51–53. [CrossRef]
Summers, J. D., 2005, “Reasoning in Engineering Design,” ASME International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, Long Beach, CA.
Summers, J. D., and Shah, J. J., 2004, “Representation in Engineering Design: A Framework for Classification,” ASME Design Engineering Technical Conferences and Computers and Information in Engineering Conference, Salt Lake City, UT, Sept 28–Oct 2.
Minsky, M. L., 1965, “Matter, Mind and Models,” IFIP Congress, Washington, D.C., Vol. 1, pp. 45–49.
Dym, C. L., 1994, “Representing Designed Artifacts: The Languages of Engineering Design,” Arch. Comput. Methods Eng., 1, pp. 75–108. [CrossRef]
Dym, C., 1995, Engineering Design: A Synthesis of Views, Cambridge University Press, New York.
Dym, C. L., 1992, “Representation and Problem-Solving: The Foundations of Engineering Design,” Environ. Plan. B: Plan. Des., 19(1), pp. 97–105. [CrossRef]
Dym, C. L., Agogino, A. M., Eris, O., Frey, D. D., and Leifer, L. J., 2005, “Engineering Design Thinking, Teaching, and Learning,” Eng. Educ., 94(1), pp. 103–120. Available at: http://jee.org/2005/january/252.pdf [CrossRef]
Regli, W., Hu, X., Atwood, M., and Sun, W., 2000, “A Survey of Design Rationale Systems: Approaches, Representation, Capture, and Retrieval,” Eng. Comput., 16, pp. 209–235. [CrossRef]
Ullman, D., and Abmrosio, B., 1995, “A Taxonomy for Classifying Engineering Decision Problems and Support Systems,” Artif. Intell. Eng. Des. Anal. Manuf., 9, pp. 427–438. [CrossRef]
Shah, J., and Wilson, P., 1989, “Analysis of Design Abstraction, Representation, and Inferencing Requirements for Computer Aided Design,” Des. Stud., 10(3), pp. 169–178. [CrossRef]
Finger, S., and Dixon, J. R., 1989, “A Review of Research in Mechanical Engineering Design. Part Ii: Representations, Analysis, and Design for the Life Cycle,” Res. Eng. Des., 1, pp. 121–137. [CrossRef]
Summers, J. D., 2005, “Expressiveness of the Design Exemplar,” ASME 2005 International Design Engineering & Technical Conferences & Computers and Information in Engineering Conferences, vol. CIE-85135 Long Beach, CA.
Summers, J. D., Bettig, B., and Shah, J. J., 2004, “The Design Exemplar: A New Data Structure for Embodiment Design Automation,” ASME J. Mech. Des., 126(5), pp. 775–787. [CrossRef]
Pratt, M. J., 2001, “Introduction to ISO 10303—the Step Standard for Product Data Exchange,” J. Comput. Inf. Sci. Eng., 1(1) pp. 102–103. [CrossRef]
Gero, J. S., 1990, “Design Prototypes: A Knowledge Representation Schema for Design,” AI Mag., 11(4), pp. 26–36. Available at: http://www.aaai.org/ojs/index.php/aimagazine/article/view/854
Gero, J. S., and Kannengiesser, U., 2000, “Towards a Situated Function-Behaviour-Structure Framework as the Basis for a Theory of Designing,” Workshop on Development and Application of Design Theories in AI in Design Research, Sixth International Conference on Artificial Intelligence in Design, Worcester, MA.
Gero, J. S., and Kannengiesser, U., 2002, “The Situated Function-Behaviour-Structure Framework,” Artificial Intelligence in Design, J. S.Gero, ed., Kluwer Academic Publishers, Norwell, MA, pp. 89–104.
Dorst, K., and Vermaas, P. E., 2005, “John Gero's Function-Behaviour-Structure Model of Designing: A Critical Analysis,” Res. Eng. Des., 16, pp. 17–26. [CrossRef]
Umeda, Y., Takeda, H., Tomiyama, T., and Yoshikawa, H., 1990, “Function, Behavior, and Structure,” Applications of Artificial Intelligence, Design, 5th ed., J. S.Gero, ed., Springer Verlag, Boston, MA, Vol. 1, pp. 177–193.
Erden, M. S., Komoto, H., VanBeeK, T. J., D'Amelio, V., Echavarria, E., and Tomiyama, T., 2008, “A Review of Function Modeling: Approaches and Applications,” Artif. Intell. Eng. Des. Anal. Manuf., 22(2), pp. 147–169. [CrossRef]
Umeda, Y., and Tomiyama, T., 1995, “FBS Modeling: Modeling Scheme of Function for Conceptual Design,” 9th International Workshop on Qualitative Reasoning, Amsterdam, Nederlands, May.
Umeda, Y., Ishii, M., Yoshioka, M., Shimomura, Y., and Tomiyama, T., 1996, “Supporting Conceptual Design Based on the Function-Behavior-State Modeler,” Artif. Intell. Eng. Des. Anal. Manuf., 10(4), pp. 275–288. [CrossRef]
Goel, A., Bhatta, S., and Stroulia, E., 1997, “Kritik: An Early Case-Based Design System,” Issues and Applications of Case-Based Reasoning in Design, M. L.Maher and P.Pu, eds. Erlbaum, Mahwah, NJ, pp. 87–132.
Bhatta, S. R., and Goel, A. K., 1997, “A Functional Theory of Design Patterns,” 15th International Joint Conference on Artificial Intelligence—Volume 1, Nagoya, Japan.
Bhatta, S., Goel, A., and Prabhakar, S., 1994, “Innovation in Analogical Design: A Model-Based Approach,” Artificial Intelligence in Design, Dordrecht, The Netherlands.
Chandrasekaran, B., and Josephson, J. R., 1997, “Representing Function as Effect,” Fifth International Workshop on Advances in Functional Modeling of Complex Technical Systems, Paris, France, July.
Chandrasekaran, B., 2005, “Representing Function: Relating Functional Representation and Functional Modeling Research Streams,” Artif. Intell. Eng. Des. Anal. Manuf., 19(2), pp. 65–74. [CrossRef]
Chandrasekaran, B., and Josephson, J. R., 2000, “Function in Device Representation,” Eng. Comput., 16(3–4), pp. 162–177. [CrossRef]
Sembugamoorthy, V., and Chandrasekaran, B., 1986, “Functional Representation of Devices and Compilation of Diagnostic Problem-Solving Systems,” Experience, Memory, and Reasoning, J.Kolodner and C. K.Riesbeck, eds., Lawrence Erlbaum Associates, Hillsdale, NJ, pp. 47–53.
Vescovi, M., Iwasaki, Y., Fikes, R., and Chandrasekaran, B., 1993, “CFRL: A Language for Specifying the Causal Functionality of Engineered Devices,” Eleventh National Conference on Artificial Intelligence, July, Washington, D.C.
Iwasaki, Y., Fikes, R., Vescovi, M., and Chandrasekaran, B., 1993, “How Things are Intended to Work: Capturing Functional Knowledge in Device Design,” International Joint Conference on Artificial Intelligence, Menlo Park, CA.
Lind, M., 1994, “Modeling Goals and Functions of Complex Industrial Plants.” Appl. Artif. Intell. Int. J., 8, pp. 259–283. [CrossRef]
Borgo, S., Carrara, M., Garbacz, P., and Vermaas, P. E., 2011, “A Formalization of Functions as Operation on Flows,” J. Comput. Inf. Sci. Eng., 11(3), p. 031007. [CrossRef]
Patil, L., Dutta, D., and Sriram, R., 2005, “Ontology-Based Exchange of Product Data Semantics,” IEEE. Trans. Autom. Sci. Eng., 2(3), pp. 213–225. [CrossRef]
Kitamura, Y., Kashiwaseb, M., Fuseb, M., and Mizoguchi, R., 2004, “Deployment of an Ontological Framework of Functional Design Knowledge,” Adv. Eng. Inf., 18(2), pp. 115–127. [CrossRef]
Kitamura, Y., and Mizoguchi, R., 2003, “Ontology-Based Description of Functional Design Knowledge and Its Use in a Functional Way Server,” Expert Sys. Appl., 24, pp. 153–166. [CrossRef]
Sasajima, M., Kitamura, Y., Ikeda, M., and Mizoguchi, R., 1995, “FBRL: A Function and Behavior Representation Language,” International Joint Conferences on Artificial Intelligence, Montreal, Quebec, Canada, Aug. 20–25.
Cebrian-Tarrason, D., Lopez-Montero, J. A., and Vidal1, R., 2008, “Ontofabes: Ontology Design Based in FBS Framework,” CIRP Design Conference 2008: Design Synthesis, Enschede, Netherlands, April 7–9.
Sen, C., Summers, J. D., and Mocko, G. M., 2010, “Topological Information Content and Expressiveness of Function Models in Mechanical Design,” J. Comput. Inf. Sci. Eng., 10(3), p. 031003. [CrossRef]
Sen, C., Summers, J. D., and Mocko, G. M., 2011, “Exploring Potentials for Conservational Reasoning Using Topologic Rules of Function Structure Graphs,” The 18th International Conference on Engineering Design, Copenhagen, Aug. 15–18.
Caldwell, B. W., and Mocko, G. M., 2007, “Towards Rules for Functional Composition,” ASME 2008 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, Brooklyn, NY, Aug. 3–6.
Caldwell, B. W., Sen, C., Mocko, G. M., and Summers, J. D., 2011, “An Empirical Study of the Expressiveness of the Functional Basis,” Artif. Intell. Eng. Des. Anal. Manuf., 25, pp. 273–287. [CrossRef]
McAdams, D. A., and Wood, K., 2002, “A Quantitative Similarity Metric for Design-by-Analogy,” J. Mech. Des., 124(2), pp. 173–182. [CrossRef]
Stone, R. B., Tumer, I. Y., and Wie, M. V., 2005, “The Function-Failure Design Method,” J. Mech. Des., 127(3), pp. 397–407. [CrossRef]
Bryant, C. R., Stone, R. B., McAdams, D. A., Kurtoglu, T., and Campbell, M. I., 2005, “Concept Generation from the Functional Basis of Design,” International Conference on Engineering Design, ICED 05, Melbourne, Aug. 15–18.
Kurtoglu, T., and Campbell, M. I., 2009, “Automated Synthesis of Electromechanical Design Configurations From Empirical Analysis of Function to Form Mapping,” J. Eng. Design, 20(1), pp. 83–104. [CrossRef]
Nagel, R. L., Stone, R. B., Hutcheson, R. S., McAdams, D. A., and Donndelinger, J. A., 2008, “Function Design Framework (FDF): Integrated Process and Function Modeling for Complex Systems,” ASME 2008 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, Brooklyn, New York, Aug. 3–6.
Goldschmidt, G., 1991, “The Dialectics of Sketching,” Creativity Res. J., 4(2), pp. 123–143. [CrossRef]
Chen, P. P., 1976, “The Entity-Relationship Model—Toward a Unified View of Data,” ACM Trans. Database Sys., 1(1), pp. 9–36. [CrossRef]
Luger, G. F., 2002, Artificial Intelligence: Structures and Strategies for Complex Problem Solving, 4th ed., Addison-Wesley, Essex, England.
Russell, S., and Norvig, P., 2003, Artificial Intelligence: A Modern Approach, Prentice Hall/Pearson Education, Upper Saddle River, NJ.
Reichenbach, H., 1947, Elements of Symbolic Logic, Dover Publications Inc., New York.
Tarski, A., 1946, Introduction to Logic and to the Methodology of Deductive Sciences, 2nd ed., Dover Publications, Inc., New York.
Merrie, B., Moor, J., and Nelson, J., 2009, The Logic Book, 5th ed., McGraw-Hill, Inc., New York.
Gruber, T., 1993, “A Translation Approach to Portable Ontology Specifications,” Knowl. Acquis., 5, pp. 199–220. [CrossRef]
Li, L., and Horrocks, I., 2004, “A Software Framework for Matchmaking Based on Semantic Web Technology,” Int. J. Electron. Commerce, 8(4), pp. 39–60. Available at: http://mesharpe.metapress.com/link.asp?id=6c3xd67ppymbk8l9

Figures

Grahic Jump Location
Fig. 4

Entity-relation-attribute model of the vocabulary

Grahic Jump Location
Fig. 3

Error report from the Function-CAD model

Grahic Jump Location
Fig. 2

An intentionally inconsistent Function-CAD model

Grahic Jump Location
Fig. 1

Illustration of model-level inconsistencies allowed by the lack of formalism [21]

Grahic Jump Location
Fig. 5

Asserted ontology version of the representation

Grahic Jump Location
Fig. 6

Result of consistency checking of the representation (consistent)

Grahic Jump Location
Fig. 7

Validation of modeling and reasoning using software implementation

Tables

Errata

Discussions

Some tools below are only available to our subscribers or users with an online account.

Related Content

Customize your page view by dragging and repositioning the boxes below.

Related Journal Articles
Related eBook Content
Topic Collections

Sorry! You do not have access to this content. For assistance or to subscribe, please contact us:

  • TELEPHONE: 1-800-843-2763 (Toll-free in the USA)
  • EMAIL: asmedigitalcollection@asme.org
Sign In