{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:31:47Z","timestamp":1761489107370,"version":"3.41.2"},"reference-count":62,"publisher":"ASME International","issue":"1","content-domain":{"domain":["asmedigitalcollection.asme.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,3,1]]},"abstract":"<jats:p>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.<\/jats:p>","DOI":"10.1115\/1.4023488","type":"journal-article","created":{"date-parts":[[2013,3,22]],"date-time":"2013-03-22T19:37:44Z","timestamp":1363981064000},"update-policy":"https:\/\/doi.org\/10.1115\/crossmarkpolicy-asme","source":"Crossref","is-referenced-by-count":17,"title":["Physics-Based Reasoning in Conceptual Design Using a Formal Representation of Function Structure Graphs"],"prefix":"10.1115","volume":"13","author":[{"given":"Chiradeep","family":"Sen","sequence":"first","affiliation":[{"name":"School of Mechanical, Industrial, and Manufacturing Engineering, Oregon State University, 204 Rogers Hall, Corvallis, OR 97331 e-mail:"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joshua D.","family":"Summers","sequence":"additional","affiliation":[{"name":"Department of Mechanical Engineering, Clemson University, 250 Fluor Daniel Building, Clemson, SC 29634 e-mail:"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gregory M.","family":"Mocko","sequence":"additional","affiliation":[{"name":"Department of Mechanical Engineering, Clemson University, 243 Fluor Daniel Building, Clemson, SC 29634 e-mail:"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"33","published-online":{"date-parts":[[2013,3,15]]},"reference":[{"journal-title":"ASME J. Comput. Inf. Sci. Eng.","article-title":"A Formal Representation of Function Structure Graphs for Computer-Directed Modeling and Conservation-Based Reasoning","year":"2012","key":"2019100604094468400_B1"},{"key":"2019100604094468400_B2","unstructured":"Sen, C., Summers, J. D., and Mocko, G. M., 2011, \u201cExploring Potentials for Conservational Reasoning Using Topologic Rules of Function Structure Graphs,\u201d The 18th International Conference on Engineering Design, Copenhagen, Aug. 15\u201318."},{"key":"2019100604094468400_B3","doi-asserted-by":"crossref","first-page":"765","DOI":"10.1080\/09544828.2011.603295","article-title":"A Protocol to Formalize Function Verbs to Support Conservation-Based Model Check Reasoning","volume":"22","year":"2011","journal-title":"J. Eng. Des."},{"key":"2019100604094468400_B4","unstructured":"Sen, C., 2011, \u201cA Formal Representation of Mechanical Functions to Support Physics-Based Computational Reasoning in Early Mechanical Design,\u201d Doctoral dissertation, Department of Mechanical Engineering, Clemson University, Clemson, South Carolina."},{"issue":"2","key":"2019100604094468400_B5","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1111\/1540-5885.1720128","article-title":"The Effect of \u201cFront-Loading\u201d Problem-Solving on Product Development Performance","volume":"17","year":"2000","journal-title":"J. Prod. Innovation Manage."},{"volume-title":"Product Design Techniques in Reverse Engineering and New Product Development","year":"2001","key":"2019100604094468400_B6"},{"volume-title":"Engineering Design: A Systematic Approach","year":"2007","key":"2019100604094468400_B7"},{"volume-title":"The Mechanical Design Process","year":"1992","key":"2019100604094468400_B8"},{"volume-title":"Product Design and Development","year":"2008","key":"2019100604094468400_B9"},{"issue":"3","key":"2019100604094468400_B10","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1017\/S0890060405050110","article-title":"A Study on the Grammatical Construction of Function Structures","volume":"19","year":"2005","journal-title":"Artif. Intell. Eng. Des., Anal. Manuf."},{"key":"2019100604094468400_B11","unstructured":"Nagel, R. L., 2011, \u201cA Design Framework for Identifying Automation Opportunities,\u201d Doctoral dissertation, School of Mechanical, Industrial and Manufacturing Engineering, Oregon State University, Corvallis, OR."},{"key":"2019100604094468400_B12","doi-asserted-by":"crossref","unstructured":"Nagel, R. L., Perry, K. L., Stone, R. B., and McAdams, D. A., 2009, \u201cFunctionCAD: A Functional Modeling Application Based on the Function Design Framework,\u201d International Design Engineering Technical Conferences, San Diego, CA.","DOI":"10.1115\/DETC2009-87010"},{"key":"2019100604094468400_B13","doi-asserted-by":"crossref","unstructured":"Summers, J. D., 2005, \u201cReasoning in Engineering Design,\u201d ASME International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, Long Beach, California.","DOI":"10.1115\/DETC2005-85334"},{"key":"2019100604094468400_B14","doi-asserted-by":"crossref","unstructured":"Summers, J. D., and Shah, J. J., 2004, \u201cRepresentation in Engineering Design: A Framework for Classification,\u201d ASME Design Engineering Technical Conferences and Computers and Information in Engineering Conference, Salt Lake City, UT, Sept. 28\u2013Oct. 2.","DOI":"10.1115\/DETC2004-57514"},{"volume-title":"Artificial Intelligence: Structures and Strategies for Complex Problem Solving","year":"2002","key":"2019100604094468400_B15"},{"volume-title":"Elements of Symbolic Logic","year":"1947","key":"2019100604094468400_B16"},{"volume-title":"Introduction to Logic and to the Methodology of Deductive Sciences","year":"1946","key":"2019100604094468400_B17"},{"volume-title":"3D Modeling With ACIS","year":"2002","key":"2019100604094468400_B18"},{"issue":"4","key":"2019100604094468400_B19","doi-asserted-by":"crossref","first-page":"360","DOI":"10.1115\/1.1884618","article-title":"Enhancing Virtual Product Representations for Advanced Design Repository Systems","volume":"5","year":"2005","journal-title":"J. Comput. Inf. Sci. Eng."},{"issue":"7","key":"2019100604094468400_B20","doi-asserted-by":"crossref","first-page":"801","DOI":"10.1016\/j.cad.2007.09.003","article-title":"Introduction of a Data Schema: To Support a Design Repository","volume":"40","year":"2008","journal-title":"Comput.-Aided Des. Appl."},{"issue":"2","key":"2019100604094468400_B21","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1115\/1.1475317","article-title":"A Quantitative Similarity Metric for Design-by-Analogy","volume":"124","year":"2002","journal-title":"J. Mech. Des."},{"key":"2019100604094468400_B22","unstructured":"Bhatta, S. R., and Goel, A. K., 1997, \u201cA Functional Theory of Design Patterns,\u201d 15th International Joint Conference on Artificial Intelligence - Volume 1, Nagoya, Japan."},{"key":"2019100604094468400_B23","first-page":"87","article-title":"Kritik: An Early Case-Based Design System","volume-title":"Issues and Applications of Case-Based Reasoning in Design","year":"1997"},{"key":"2019100604094468400_B24","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/j.aei.2004.09.003","article-title":"Use of Design Patterns in Analogy-Based Design","volume":"18","year":"2004","journal-title":"Adv. Eng. Inf."},{"journal-title":"Artif Intelligence in Design","article-title":"Innovation in Analogical Design: A Model-Based Approach","year":"1994","key":"2019100604094468400_B25"},{"key":"2019100604094468400_B26","unstructured":"Vescovi, M., Iwasaki, Y., Fikes, R., and Chandrasekaran, B., 1993, \u201cCFRL: A Language for Specifying the Causal Functionality of Engineered Devices,\u201d Eleventh National Conference on Artificial Intelligence, Washington, DC."},{"key":"2019100604094468400_B27","first-page":"47","article-title":"Functional Representation of Devices and Compilation of Diagnostic Problem-Solving Systems","volume-title":"Experience, Memory, Reasoning","year":"1986"},{"issue":"4","key":"2019100604094468400_B28","first-page":"275","article-title":"Supporting Conceptual Design Based on the Function-Behavior-State Modeler","volume":"10","year":"1996","journal-title":"Anal. Manuf."},{"key":"2019100604094468400_B29","unstructured":"Umeda, Y., and Tomiyama, T., 1995, \u201cFBS Modeling: Modeling Scheme of Function for Conceptual Design,\u201d 9th International Workshop on Qualitative Reasoning, Amsterdam, Nederlands."},{"key":"2019100604094468400_B30","doi-asserted-by":"crossref","unstructured":"Vucovich, J., Bhardwaj, N., Ho, H. H., Ramakrishna, M., Thakur, M., and Stone, R., 2006, \u201cConcept Generation Algorithms for Repository-Based Early Design,\u201d ASME 2006 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, Philadelphia, PA, Sept. 10\u201313.","DOI":"10.1115\/DETC2006-99466"},{"key":"2019100604094468400_B31","doi-asserted-by":"crossref","unstructured":"Bryant, C. R., McAdams, D. A., and Stone, R. B., 2006, \u201cA Validation Study of an Automated Concept Generator Design Tool,\u201d ASME 2006 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference, Philadelphia, PA, Sept. 10\u201313.","DOI":"10.1115\/DETC2006-99489"},{"key":"2019100604094468400_B32","unstructured":"Bryant, C. R., Stone, R. B., McAdams, D. A., Kurtoglu, T., and Campbell, M. I., 2005, \u201cConcept Generation From the Functional Basis of Design,\u201d International Confeence on Engineering Design, ICED 05, Melbourne, Aug. 15\u201318."},{"issue":"1","key":"2019100604094468400_B33","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1080\/09544820701546165","article-title":"Automated Synthesis of Electromechanical Design Configurations from Empirical Analysis of Function to Form Mapping","volume":"20","year":"2009","journal-title":"J. Eng. Des."},{"key":"2019100604094468400_B34","unstructured":"Kurtoglu, T., Campbell, M. I., Bryant, C. R., Stone, R. B., and McAdams, D. A., 2005, \u201cDeriving a Component Basis for Computational Functional Synthesis,\u201d International Conference on Engineering Design, ICED '05, Melbourne, Australia, Aug. 15\u201318."},{"issue":"1","key":"2019100604094468400_B35","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1017\/S0890060409990163","article-title":"Automating the Conceptual Design Process: From Black Box to Component Selection","volume":"24","year":"2010","journal-title":"Artif. Intell. Eng. Des., Anal. Manuf."},{"issue":"2","key":"2019100604094468400_B36","first-page":"96","article-title":"Linking Product Functionality to Historic Failures to Improve Failure Analysis in Design","volume":"16","year":"2005","journal-title":"Res. Eng. Des."},{"key":"2019100604094468400_B37","doi-asserted-by":"crossref","first-page":"051401","DOI":"10.1115\/1.2885181","article-title":"A Graph-Based Fault Identification and Propagation Framework for Functional Design of Complex Systems","volume":"130","year":"2008","journal-title":"ASME J. Mech. Des."},{"key":"2019100604094468400_B38","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1002\/qre.663","article-title":"Failure Mode Identification Through Clustering Analysis","volume":"20","year":"2004","journal-title":"Qual. Reliab. Eng. Int."},{"issue":"3","key":"2019100604094468400_B39","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1115\/1.1862678","article-title":"The Function-Failure Design Method","volume":"127","year":"2005","journal-title":"J. Mech. Des."},{"key":"2019100604094468400_B40","unstructured":"Eck, D. V., McAdams, D. A., and Vermaas, P. E., 2007, \u201cFunctional Decomposition in Engineering: A Survey,\u201d ASME 2007 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, Las Vegas, NV."},{"issue":"3\u20134),","key":"2019100604094468400_B41","first-page":"162","article-title":"Function in Device Representation","volume":"16","year":"2000","journal-title":"Eng. With Comput."},{"key":"2019100604094468400_B42","first-page":"177","article-title":"Function, Behavior, and Structure","volume-title":"Applications of Artificial Intelligence V, Vol 1: Design","year":"1990"},{"key":"2019100604094468400_B43","unstructured":"Sasajima, M., Kitamura, Y., Ikeda, M., and Mizoguchi, R., 1995, \u201cFBRL: A Function and Behavior Representation Language,\u201d International Joint Conferences on Artificial Intelligence, Montreal, Quebec, Canada, Aug. 20\u201325."},{"key":"2019100604094468400_B44","first-page":"221","article-title":"Towards a Standard Taxonomy of Artifact Functions","volume":"1","year":"2005-2006","journal-title":"Appl. Ontol."},{"key":"2019100604094468400_B45","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1016\/S0957-4174(02)00138-0","article-title":"Ontology-Based Description of Functional Design Knowledge and Its Use in a Functional Way Server","volume":"24","year":"2003","journal-title":"Expert Syst. Appl."},{"issue":"4","key":"2019100604094468400_B46","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1017\/S0890060400001657","article-title":"Functional Descriptions Used in Computer Support for Qualitative Scheme Generation\u2014\u201cSchemebuilder,\u201d","volume":"10","year":"1996","journal-title":"Artif. Intell. Eng. Des., Anal. Manuf."},{"issue":"7","key":"2019100604094468400_B47","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1016\/S0950-7051(96)01054-4","article-title":"Creativity, Emergence and Evolution in Design","volume":"9","year":"1996","journal-title":"Knowledge-Based Syst."},{"issue":"2","key":"2019100604094468400_B48","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/S0142-694X(97)00033-1","article-title":"Purpose and Function in Design: From the Socio-Cultureal to the Techno-Physical","volume":"19","year":"1998","journal-title":"Des. Stud."},{"key":"2019100604094468400_B49","first-page":"89","article-title":"The Situated Function-Behaviour-Structure Framework","volume-title":"Artif. Intell. Des.","year":"2002"},{"issue":"2","key":"2019100604094468400_B50","first-page":"65","article-title":"Representing Function: Relating Functional Representation and Functional Modeling Research Streams","volume":"19","year":"2005","journal-title":"Artif. Intell. Eng. Des., Anal. Manuf."},{"key":"2019100604094468400_B51","unstructured":"Kitamura, Y., Koji, Y., and Mizoguchi, R., 2005, \u201cAn Ontological Model of Device Function and Its Deployment for Engineering Knowledge Sharing,\u201d First Workshop FOMI 2005\u2014Formal Ontologies Meet Industry, Castelnuovo del Garda (VR), Italy, June 9\u201310."},{"key":"2019100604094468400_B52","unstructured":"Cebrian-Tarrason, D., Lopez-Montero, J. A., and Vidal1, R., 2008, \u201cOntoFaBeS: Ontology Design Based in FBS Framework,\u201d CIRP Design Conference 2008: Design Synthesis, Enschede, The Netherlands, Apr. 7\u20139."},{"issue":"3","key":"2019100604094468400_B53","doi-asserted-by":"crossref","first-page":"031007","DOI":"10.1115\/1.3615523","article-title":"A Formalization of Functions as Operation on Flows","volume":"11","year":"2011","journal-title":"J. Comput. Inf. Sci. Eng."},{"key":"2019100604094468400_B54","unstructured":"Albers, A., Matthiesen, S., Thau, S., and Alink, T., 2008, \u201cSupport of Design Engineering Activity Through C&CM\u2014Temporal Decomposition of Design Problems,\u201d TMCE 2008 Symposium, Izmir, Turkey, Apr. 21\u201325."},{"key":"2019100604094468400_B55","unstructured":"Albers, A., Burkardt, N., and Ohmer, M., 2004, \u201cPrinciples for Design on the Abstract Level of the Contact & Channel Model,\u201d TMCE 2004, Lausanne, Switzerland, Apr. 13\u201317."},{"key":"2019100604094468400_B56","unstructured":"Kroes, P., 2010, \u201cFormalization of Technical Functions: Why is that so Difficult?\u201d Tools and Methods of Competitive Engineering, TMCE-2010, Ancona, Italy, Aug. 12\u201316."},{"issue":"3","key":"2019100604094468400_B57","doi-asserted-by":"crossref","first-page":"1074","DOI":"10.1115\/1.3439009","article-title":"Failure-Experience Matrix\u2014A Useful Design Tool","volume":"98","year":"1976","journal-title":"J. Eng. Ind., B"},{"issue":"3","key":"2019100604094468400_B58","doi-asserted-by":"crossref","first-page":"475","DOI":"10.1115\/1.2829176","article-title":"Classifying Functions for Mechanical Design","volume":"120","year":"1998","journal-title":"J. Mech. Des."},{"issue":"4","key":"2019100604094468400_B59","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1115\/1.1289637","article-title":"Development of a Functional Basis for Design","volume":"122","year":"2000","journal-title":"J. Mech. Des."},{"issue":"2","key":"2019100604094468400_B60","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1007\/s00163-001-0008-3","article-title":"A Functional Basis for Engineering Design: Reconciling and Evolving Previous Efforts","volume":"13","year":"2002","journal-title":"Res. Eng. Des."},{"key":"2019100604094468400_B61","doi-asserted-by":"crossref","unstructured":"Szykman, S., Racz, J. W., and Sriram, R. D., 1999, \u201cThe Representation of Function in Computer-Based Design,\u201d 1999 ASME Design Engineering Technical Conferences, Las Vegas, NV, Sept. 12\u201315.","DOI":"10.1115\/DETC99\/DTM-8742"},{"volume-title":"Fundamentals of Engineering Thermodynamics","year":"2010","key":"2019100604094468400_B62"}],"container-title":["Journal of Computing and Information Science in Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/asmedigitalcollection.asme.org\/computingengineering\/article-pdf\/doi\/10.1115\/1.4023488\/6099299\/jcis_13_1_011008.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"http:\/\/asmedigitalcollection.asme.org\/computingengineering\/article-pdf\/doi\/10.1115\/1.4023488\/6099299\/jcis_13_1_011008.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,12]],"date-time":"2022-02-12T05:27:54Z","timestamp":1644643674000},"score":1,"resource":{"primary":{"URL":"https:\/\/asmedigitalcollection.asme.org\/computingengineering\/article\/doi\/10.1115\/1.4023488\/371398\/PhysicsBased-Reasoning-in-Conceptual-Design-Using"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3,1]]},"references-count":62,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2013,3,1]]}},"URL":"https:\/\/doi.org\/10.1115\/1.4023488","relation":{},"ISSN":["1530-9827","1944-7078"],"issn-type":[{"type":"print","value":"1530-9827"},{"type":"electronic","value":"1944-7078"}],"subject":[],"published":{"date-parts":[[2013,3,1]]},"article-number":"011008"}}