Physics-Based Reasoning in Conceptual Design Using a Formal Representation of Function Structure Graphs

This paper validates that a previously published formal representation of function structure graphs actually supports the reasoning that motivated its development in the first place. In doing so, it presents the algorithms to perform those reasoning, provides justification for the reasoning, and presents a software implementation called Concept Modeler (ConMod) to demonstrate the reasoning. Specifically, the representation is shown to support constructing function structure graphs in a grammar-controlled manner so that logical and physics-based inconsistencies are prevented in real-time, thus ensuring logically consistent models. Further, it is demonstrated that the representation can support postmodeling reasoning to check the modeled concepts against two universal principles of physics: the balance laws of mass and energy, and the principle of irreversibility. The representation in question is recently published and its internal ontological and logical consistency has been already demonstrated. However, its ability to support the intended reasoning was not validated so far, which is accomplished in this paper.

[1]  Kevin Otto,et al.  Product Design: Techniques in Reverse Engineering and New Product Development , 2000 .

[2]  Simon Szykman,et al.  Enhancing Virtual Product Representations for Advanced Design Repository Systems , 2005, J. Comput. Inf. Sci. Eng..

[3]  Albert Albers,et al.  Principles for design on the abstract level of the contact and channel model C&CM , 2004 .

[4]  Irem Y. Tumer,et al.  A Graph-Based Fault Identification and Propagation Framework for Functional Design of Complex Systems , 2008 .

[5]  Stefano Borgo,et al.  A Formalization of Functions as Operations on Flows , 2011, J. Comput. Inf. Sci. Eng..

[6]  Richard Fikes,et al.  CFRL: A Language for Specifying the Causal Functionality of Engineered Devices , 1993, AAAI.

[7]  Georges M. Fadel,et al.  Classifying Functions for Mechanical Design , 1998 .

[8]  Jonathan Corney,et al.  3D Modeling with ACIS , 2002 .

[9]  Joshua D. Summers,et al.  EXPLORING POTENTIALS FOR CONSERVATIONAL REASONING USING TOPOLOGIC RULES OF FUNCTION STRUCTURE GRAPHS , 2011 .

[10]  B. Chandrasekaran,et al.  Function in Device Representation , 2000, Engineering with Computers.

[11]  Ram D. Sriram,et al.  The Representation of Function in Computer-Based Design , 1999 .

[12]  Irem Y. Tumer,et al.  Failure Mode Identification Through Clustering Analysis , 2004 .

[13]  Mitsuru Ikeda,et al.  FBRL: A Function and Behavior Representation Language , 1995, IJCAI.

[14]  Jami J. Shah,et al.  Representation in Engineering Design: A Framework for Classification , 2004 .

[15]  Matthew I. Campbell,et al.  Automated synthesis of electromechanical design configurations from empirical analysis of function to form mapping , 2009 .

[16]  Pieter E. Vermaas,et al.  Functional Decomposition in Engineering: A Survey , 2007 .

[17]  David G. Ullman,et al.  The Mechanical Design Process , 1992 .

[18]  Riichiro Mizoguchi,et al.  An Ontological Model of Device Function and Its Deployment for Engineering Knowledge Sharing , 2005 .

[19]  Ashok K. Goel,et al.  A Functional Theory of Design Patterns , 1997, IJCAI.

[20]  Chiradeep Sen,et al.  A FORMAL REPRESENTATION OF MECHANICAL FUNCTIONS TO SUPPORT PHYSICS-BASED COMPUTATIONAL REASONING IN EARLY MECHANICAL DESIGN , 2011 .

[21]  Matthew I. Campbell,et al.  Automating the conceptual design process: “From black box to component selection” , 2010, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[22]  Wolfgang Beitz,et al.  Engineering Design: A Systematic Approach , 1984 .

[23]  Joshua D. Summers.  Reasoning in Engineering Design , 2005 .

[24]  Balasubramanian Chandrasekaran,et al.  Representing function: Relating functional representation and functional modeling research streams , 2005, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[25]  Rob H. Bracewell,et al.  Functional descriptions used in computer support for qualitative scheme generation—“Schemebuilder” , 1996, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[26]  Daniel A. McAdams,et al.  DERIVING A COMPONENT BASIS FOR COMPUTATIONAL FUNCTIONAL SYNTHESIS , 2005 .

[27]  John S. Gero,et al.  Creativity, emergence and evolution in design , 1996, Knowl. Based Syst..

[28]  J. A. Collins,et al.  The Failure-Experience Matrix—A Useful Design Tool , 1976 .

[29]  Karl T. Ulrich,et al.  Product Design and Development , 1995 .

[30]  Robert Stone,et al.  A Validation Study of an Automated Concept Generator Design Tool , 2006 .

[31]  Albert Albers,et al.  Support of design engineering activity through C&CM - Temporal decomposition of design problems , 2008 .

[32]  Michael A. Rosenman,et al.  Purpose and function in design: from the socio-cultural to the techno-physical , 1998 .

[33]  Irem Y. Tumer,et al.  Linking product functionality to historic failures to improve failure analysis in design , 2005 .

[34]  Robert L. Nagel,et al.  FunctionCAD: A Functional Modeling Application Based on the Function Design Framework , 2009 .

[35]  Stefan H. Thomke,et al.  The Effect of 'Front-Loading' Problem-Solving on Product Development Performance , 2000 .

[36]  M. J. Moran,et al.  Fundamentals of Engineering Thermodynamics , 2014 .

[37]  Joshua D. Summers,et al.  A protocol to formalise function verbs to support conservation-based model checking , 2011 .

[38]  Timothy W. Simpson,et al.  Introduction of a data schema to support a design repository , 2008, Comput. Aided Des..

[39]  Hans Reichenbach,et al.  Elements of symbolic logic , 1948 .

[40]  Kristin L. Wood,et al.  Development of a Functional Basis for Design , 2000 .

[41]  Tetsuo Tomiyama,et al.  Supporting conceptual design based on the function-behavior-state modeler , 1996, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[42]  George Luger,et al.  Artificial Intelligence: Structures and Strategies for Complex Problem Solving (5th Edition) , 2004 .

[43]  Ashok K. Goel,et al.  Innovation in Analogical Design: A Model-Based Approach , 1994 .

[44]  Kristin L. Wood,et al.  A Quantitative Similarity Metric for Design-by-Analogy , 2002 .

[45]  Matthew I. Campbell,et al.  A study on the grammatical construction of function structures , 2005, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[46]  Irem Y. Tumer,et al.  The function-failure design method , 2005 .

[47]  Simon Szykman,et al.  A functional basis for engineering design: Reconciling and evolving previous efforts , 2002 .

[48]  Daniel A. McAdams,et al.  Concept Generation from the Functional Basis of Design , 2005 .

[49]  Pawel Garbacz,et al.  Towards a standard taxonomy of artifact functions , 2006, Appl. Ontology.

[50]  Robert Lewis Nagel.  A design framework for identifying automation opportunities , 2010 .

[51]  Ashok K. Goel,et al.  Use of design patterns in analogy-based design , 2004, Adv. Eng. Informatics.

[52]  Alfred Tarski,et al.  Introduction to Logic and to the Methodology of Deductive Sciences , 1943 .

[53]  Riichiro Mizoguchi,et al.  Ontology-based description of functional design knowledge and its use in a functional way server , 2003, Expert Syst. Appl..

[54]  Robert Stone,et al.  Concept Generation Algorithms for Repository-Based Early Design , 2006 .