{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,30]],"date-time":"2025-07-30T12:55:33Z","timestamp":1753880133320,"version":"3.41.2"},"reference-count":81,"publisher":"ASME International","issue":"2","license":[{"start":{"date-parts":[[2023,7,13]],"date-time":"2023-07-13T00:00:00Z","timestamp":1689206400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.asme.org\/publications-submissions\/publishing-information\/legal-policies"}],"content-domain":{"domain":["asmedigitalcollection.asme.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,2,1]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>Functional decomposition is an important task in early systems engineering and design, where the overall function of the system is resolved into the functions of its components or subassemblies. Conventionally, this task is performed manually, because of the possibility of multiple solution paths and the need for understanding the physics phenomena that could realize the desired effects. To this end, this paper presents a formal method for functional decomposition using physics-based qualitative reasoning. The formal representation includes three parts: (1) a natural language lexicon that can be used to detect the changes of physical states of material and energy flows, (2) a set of causation tables that abstracts the knowledge of qualitative physics by capturing the causal relations between the various quantities involved in a physical phenomenon or process, and (3) a process-to-subgraph mapping that translates the physical processes to function structure constructs. The algorithms use the above three representations and some additional topological reasoning to synthesize and assemble function structure graphs that are decompositions of a given black box model. The paper presents the formal representations and reasoning algorithms and illustrates this method using an example function model of an air-heating device. It also presents the software implementation of the representations and the algorithms and uses it to validate the method\u2019s ability to generate multiple decompositions from a black-box function model.<\/jats:p>","DOI":"10.1115\/1.4062748","type":"journal-article","created":{"date-parts":[[2023,6,16]],"date-time":"2023-06-16T02:14:45Z","timestamp":1686881685000},"update-policy":"https:\/\/doi.org\/10.1115\/crossmarkpolicy-asme","source":"Crossref","is-referenced-by-count":2,"title":["Formal Qualitative Physics-Based Reasoning for Functional Decomposition of Engineered Systems"],"prefix":"10.1115","volume":"24","author":[{"given":"Xiaoyang","family":"Mao","sequence":"first","affiliation":[{"name":"Nanjing University of Science and Technology School of Design Art and Media, , Nanjing, Jiangsu 210094 , China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chiradeep","family":"Sen","sequence":"additional","affiliation":[{"name":"Florida Institute of Technology Department of Mechanical & Civil Engineering, , 150 West, University Boulevard, Melbourne, FL 32901"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"33","published-online":{"date-parts":[[2023,7,13]]},"reference":[{"key":"2023071315042121900_CIT0001","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-84628-319-2","volume-title":"Engineering Design: A Systematic Approach","author":"Pahl","year":"2007"},{"volume-title":"Product Design: Techniques in Reverse Engineering and New Product Development","year":"2001","author":"Otto","key":"2023071315042121900_CIT0002"},{"key":"2023071315042121900_CIT0003","volume-title":"The Mechanical Design Process","author":"Ullman","year":"2010","edition":"4th"},{"issue":"4","key":"2023071315042121900_CIT0004","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1115\/1.1289637","article-title":"Development of a Functional Basis for Design","volume":"122","author":"Stone","year":"1999","journal-title":"ASME J. Mech. Des."},{"issue":"7","key":"2023071315042121900_CIT0005","doi-asserted-by":"publisher","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","author":"Bohm","year":"2008","journal-title":"Comput. Aided Des."},{"issue":"1","key":"2023071315042121900_CIT0006","doi-asserted-by":"publisher","first-page":"014502","DOI":"10.1115\/1.2830844","article-title":"Using a Design Repository to Drive Concept Generation","volume":"8","author":"Bohm","year":"2008","journal-title":"ASME J. Comput. Inf. Sci. Eng."},{"issue":"1\u20133","key":"2023071315042121900_CIT0007","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0004-3702(84)90038-9","article-title":"Qualitative Process Theory","volume":"24","author":"Forbus","year":"1984","journal-title":"Artif. Intell."},{"issue":"1\u20132","key":"2023071315042121900_CIT0008","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/0004-3702(93)90177-D","article-title":"Qualitative Process Theory: Twelve Years After","volume":"59","author":"Forbus","year":"1993","journal-title":"Artif. Intell."},{"issue":"2","key":"2023071315042121900_CIT0009","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1002\/j.2162-6057.2011.tb01087.x","article-title":"A Three-Pronged Approach for Overcoming Design Fixation","volume":"45","author":"Smith","year":"2011","journal-title":"J. Creat. Behav."},{"issue":"04","key":"2023071315042121900_CIT0010","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1017\/S0890060400001621","article-title":"Supporting Conceptual Design Based on the Function-Behavior-State Modeler","volume":"10","author":"Umeda","year":"1996","journal-title":"Artif. Intell. Eng. Des. Anal. Manuf.: AIEDAM"},{"issue":"4","key":"2023071315042121900_CIT0011","first-page":"26","article-title":"Design Prototypes: A Knowledge Representation Schema for Design","volume":"11","author":"Gero","year":"1990","journal-title":"AI Mag."},{"issue":"4","key":"2023071315042121900_CIT0012","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1016\/j.destud.2003.10.010","article-title":"The Situated Function-Behaviour-Structure Framework","volume":"25","author":"Gero","year":"2004","journal-title":"Des. Stud."},{"issue":"4","key":"2023071315042121900_CIT0013","first-page":"59","article-title":"Design Problem Solving: A Task Analysis","volume":"11","author":"Chandrasekaran","year":"1990","journal-title":"AI Mag."},{"issue":"1","key":"2023071315042121900_CIT0014","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1017\/S0890060409000080","article-title":"Structure, Behavior, and Function of Complex Systems: The Structure, Behavior, and Function Modeling Language","volume":"23","author":"Goel","year":"2009","journal-title":"Artif. Intell. Eng. Des. Anal. Manuf.: AIEDAM"},{"issue":"04","key":"2023071315042121900_CIT0015","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1017\/S0890060400001633","article-title":"Function\u2013Behavior\u2013Structure Paths and Their Role in Analogy-Based Design","volume":"10","author":"Qian","year":"1996","journal-title":"Artif. Intell. Eng. Des. Anal. Manuf.: AIEDAM"},{"issue":"3","key":"2023071315042121900_CIT0016","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1109\/64.590078","article-title":"Design, Analogy, and Creativity","volume":"12","author":"Goel","year":"1997","journal-title":"IEEE Expert"},{"issue":"2","key":"2023071315042121900_CIT0017","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/j.aei.2004.09.003","article-title":"Use of Design Patterns in Analogy-Based Design","volume":"18","author":"Goel","year":"2004","journal-title":"Adv. Eng. Inform."},{"key":"2023071315042121900_CIT0018","first-page":"87","volume-title":"Issues and Applications of Case-Based Reasoning in Design","author":"Goel","year":"1997"},{"issue":"1","key":"2023071315042121900_CIT0019","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1080\/08839519508945465","article-title":"Causal Functional Representation Language With Behavior-Based Semantics","volume":"9","author":"Iwasaki","year":"1995","journal-title":"Appl. Artif. Intell."},{"issue":"1","key":"2023071315042121900_CIT0020","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/S0142-694X(97)00015-X","article-title":"An Approach to the Analysis of Design Protocols","volume":"19","author":"Gero","year":"1998","journal-title":"Des. Stud."},{"issue":"2","key":"2023071315042121900_CIT0021","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1109\/64.585103","article-title":"Functional Reasoning in Design","volume":"12","author":"Umeda","year":"1997","journal-title":"IEEE Intell. Syst."},{"issue":"1","key":"2023071315042121900_CIT0022","doi-asserted-by":"publisher","first-page":"011007","DOI":"10.1115\/1.3086032","article-title":"A Component Taxonomy as a Framework for Computational Design Synthesis","volume":"9","author":"Kurtoglu","year":"2009","journal-title":"ASME J. Comput. Inf. Sci. Eng."},{"issue":"1","key":"2023071315042121900_CIT0023","doi-asserted-by":"publisher","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","author":"Kurtoglu","year":"2009","journal-title":"J. Eng. Des."},{"issue":"3","key":"2023071315042121900_CIT0024","first-page":"62","article-title":"Design Divergence Using the Morphological Chart","volume":"23","author":"B\u00f6rek\u00e7i","year":"2018","journal-title":"Des. Technol. Educ."},{"key":"2023071315042121900_CIT0025","first-page":"1","article-title":"Concept Generation From the Functional Basis of Design","author":"Bryant","year":"2005"},{"issue":"1","key":"2023071315042121900_CIT0026","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1017\/S0890060409990163","article-title":"Automating the Conceptual Design Process: From Black Box to Component Selection","volume":"24","author":"Kurtoglu","year":"2010","journal-title":"Artif. Intell. Eng. Des. Anal. Manuf.: AIEDAM"},{"issue":"2","key":"2023071315042121900_CIT0027","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1115\/1.1475317","article-title":"A Quantitative Similarity Metric for Design-by-Analogy","volume":"124","author":"McAdams","year":"2002","journal-title":"ASME J. Mech. Des."},{"issue":"2","key":"2023071315042121900_CIT0028","doi-asserted-by":"publisher","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","author":"Hirtz","year":"2002","journal-title":"Res. Eng. Des."},{"issue":"1","key":"2023071315042121900_CIT0029","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1002\/inst.12070","article-title":"Systematic Bio-Inspired Design: How Far Along Are We?","volume":"19","author":"Nagel","year":"2016","journal-title":"Insight"},{"issue":"4","key":"2023071315042121900_CIT0030","doi-asserted-by":"publisher","first-page":"48","DOI":"10.3390\/designs2040047","article-title":"Establishing Analogy Categories for Bio-Inspired Design","volume":"2","author":"Nagel","year":"2018","journal-title":"Designs (Basel)"},{"issue":"3","key":"2023071315042121900_CIT0031","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1017\/S0890060405050110","article-title":"A Study on the Grammatical Construction of Function Structures","volume":"19","author":"Sridharan","year":"2005","journal-title":"Artif. Intell. Eng. Des. Anal. Manuf.: AIEDAM"},{"issue":"2","key":"2023071315042121900_CIT0032","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/j.mechatronics.2012.01.003","article-title":"Early Integration of Safety to the Mechantronic System Design Process for the Functional Failure Identification and Propagation Framework","volume":"22","author":"Sierla","year":"2012","journal-title":"Mechatronics"},{"issue":"5","key":"2023071315042121900_CIT0033","doi-asserted-by":"publisher","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","author":"Kurtoglu","year":"2008","journal-title":"ASME J. Mech. Des."},{"issue":"3","key":"2023071315042121900_CIT0034","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1115\/1.1862678","article-title":"The Function-Failure Design Method","volume":"127","author":"Stone","year":"2005","journal-title":"ASME J. Mech. Des."},{"issue":"1\u20132","key":"2023071315042121900_CIT0035","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/s00163-005-0005-z","article-title":"Linking Product Functionality to Historic Failures to Improve Failure Analysis in Design","volume":"16","author":"Stone","year":"2005","journal-title":"Res. Eng. Des."},{"issue":"1","key":"2023071315042121900_CIT0036","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1017\/S0890060409990187","article-title":"Evaluation of the Functional Basis Using an Information Theoretic Approach","volume":"24","author":"Sen","year":"2010","journal-title":"Artif. Intell. Eng. Des. Anal. Manuf.: AIEDAM"},{"issue":"3","key":"2023071315042121900_CIT0037","doi-asserted-by":"publisher","first-page":"031003","DOI":"10.1115\/1.3462918","article-title":"Topological Information Content and Expressiveness of Function Models in Mechanical Design","volume":"10","author":"Sen","year":"2010","journal-title":"ASME J. Comput. Inf. Sci. Eng."},{"issue":"11","key":"2023071315042121900_CIT0038","doi-asserted-by":"publisher","first-page":"111402","DOI":"10.1115\/1.4046999","article-title":"Function Modeling: A Modeling Behavior Analysis of Pause Patterns","volume":"142","author":"Patel","year":"2020","journal-title":"ASME J. Mech. Des."},{"issue":"10","key":"2023071315042121900_CIT0039","doi-asserted-by":"publisher","first-page":"101110","DOI":"10.1115\/1.4034090","article-title":"Discovery of Mental Metadata Used for Analogy Formation in Function-Based Design","volume":"138","author":"Arlitt","year":"2016","journal-title":"ASME J. Mech. Des."},{"issue":"4","key":"2023071315042121900_CIT0040","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1017\/S0890060417000531","article-title":"Thoughts on Benchmarking of Function Modeling: Why and How","volume":"31","author":"Bohm","year":"2017","journal-title":"Artif. Intell. Eng. Des. Anal. Manuf.: AIEDAM"},{"issue":"2","key":"2023071315042121900_CIT0041","doi-asserted-by":"publisher","first-page":"021001","DOI":"10.1115\/1.4023167","article-title":"A Formal Representation of Function Structure Graphs for Physics-Based Reasoning","volume":"13","author":"Sen","year":"2013","journal-title":"ASME J. Comput. Inf. Sci. Eng."},{"issue":"1","key":"2023071315042121900_CIT0042","doi-asserted-by":"publisher","first-page":"011008","DOI":"10.1115\/1.4023488","article-title":"Physics-Based Reasoning in Conceptual Design Using a Formal Representation of Function Structure Graphs","volume":"13","author":"Sen","year":"2013","journal-title":"ASME J. Comput. Inf. Sci. Eng."},{"issue":"1","key":"2023071315042121900_CIT0043","doi-asserted-by":"publisher","DOI":"10.1115\/1.4051159","article-title":"Finite State Automata-Based Representation of Device States for Function Modeling of Multi-Modal Devices","volume":"22","author":"Chowdhury","year":"2022","journal-title":"ASME J. Comput. Inf. Sci. Eng."},{"issue":"5","key":"2023071315042121900_CIT0044","doi-asserted-by":"publisher","first-page":"050904","DOI":"10.1115\/1.4050077","article-title":"A Formal Representation of Conjugate Verbs for Function Modeling","volume":"21","author":"Chowdhury","year":"2021","journal-title":"ASME J. Comput. Inf. Sci. Eng."},{"issue":"4","key":"2023071315042121900_CIT0045","doi-asserted-by":"publisher","first-page":"041006","DOI":"10.1115\/1.4045288","article-title":"Semantic and Qualitative Physics-Based Reasoning on Plain-English Flow Terms for Generating Function Model Alternatives","volume":"20","author":"Mao","year":"2020","journal-title":"ASME J. Comput. Inf. Sci. Eng."},{"key":"2023071315042121900_CIT0046","doi-asserted-by":"crossref","DOI":"10.1115\/DETC2020-22664","article-title":"Evolutionary Approach to Function Model Synthesis: Development of Parameterization and Synthesis Rules","author":"Gill","year":"2020"},{"key":"2023071315042121900_CIT0047","doi-asserted-by":"crossref","DOI":"10.1115\/DETC2021-70575","article-title":"Logic Rules for Automated Synthesis of Function Models Using Evolutionary Algorithms","author":"Gill","year":"2021"},{"issue":"1\u20133","key":"2023071315042121900_CIT0048","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/0004-3702(84)90037-7","article-title":"A Qualitative Physics Based on Confluences","volume":"24","author":"DeKleer","year":"1984","journal-title":"Artif. Intell."},{"key":"2023071315042121900_CIT0049","first-page":"62.1","volume-title":"Computer Science Handbook","author":"Forbus","year":"1996"},{"volume-title":"Qualitative and Quantitative Knowledge in Classical Mechanics","year":"1975","author":"de Kleer","key":"2023071315042121900_CIT0050"},{"issue":"1\u20133","key":"2023071315042121900_CIT0051","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(84)90036-5","article-title":"Qualitative Reasoning About Physical Systems: An Introduction","volume":"24","author":"Bobrow","year":"1984","journal-title":"Artif. Intell."},{"key":"2023071315042121900_CIT0052","first-page":"6","article-title":"Qualitative and Quantitative Reasoning Over Physics Textbook Diagrams","author":"Chang","year":"2011"},{"issue":"1","key":"2023071315042121900_CIT0053","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1080\/03057269408560029","article-title":"Qualitative Reasoning About Physical Systems\u2014An Overview","volume":"23","author":"Dillon","year":"1994","journal-title":"Stud. Sci. Educ."},{"issue":"1","key":"2023071315042121900_CIT0054","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1017\/S0269888900006159","article-title":"The Qualitative Representation of Physical Systems","volume":"7","author":"Coiera","year":"1992","journal-title":"Knowl. Eng. Rev."},{"volume-title":"Qualitative Representations: How People Reason and Learn About the Continuous World","year":"2018","author":"Forbus","key":"2023071315042121900_CIT0055"},{"article-title":"Qualitative and Quantitative Reasoning About Thermodynamics","year":"1989","author":"Skorstad","key":"2023071315042121900_CIT0056"},{"key":"2023071315042121900_CIT0057","first-page":"562","volume-title":"Readings in Qualitative Reasoning About Physical Systems","author":"Forbus","year":"2013"},{"volume-title":"Qualitative Reasoning for Learning by Reading: A Theoretical Analysis","year":"2015","author":"Forbus","key":"2023071315042121900_CIT0058"},{"issue":"1\u20132","key":"2023071315042121900_CIT0059","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0004-3702(90)90038-2","article-title":"Qualitative Physics Using Dimensional Analysis","volume":"45","author":"Bhaskar","year":"1990","journal-title":"Artif. Intell."},{"issue":"5\u20136","key":"2023071315042121900_CIT0060","doi-asserted-by":"crossref","first-page":"1047","DOI":"10.1016\/0016-0032(91)90068-E","article-title":"Qualitative Reasoning About Physical Systems: An Artificial Intelligence Perspective","volume":"328","author":"Top","year":"1991","journal-title":"J. Franklin Inst."},{"key":"2023071315042121900_CIT0061","first-page":"11","volume-title":"Readings in Qualitative Reasoning About Physical Systems","author":"Forbus","year":"2013"},{"issue":"4","key":"2023071315042121900_CIT0062","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1177\/016555159702300402","article-title":"Ontologies","volume":"23","author":"Vickery","year":"1997","journal-title":"J. Inf. Sci."},{"issue":"2","key":"2023071315042121900_CIT0063","doi-asserted-by":"publisher","first-page":"494","DOI":"10.1109\/TNNLS.2021.3070843","article-title":"A Survey on Knowledge Graphs: Representation, Acquisition, and Applications","volume":"33","author":"Ji","year":"2022","journal-title":"IEEE Trans. Neural Netw. Learn Syst."},{"issue":"2","key":"2023071315042121900_CIT0064","doi-asserted-by":"publisher","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","author":"Kitamura","year":"2003","journal-title":"Expert Syst. Appl."},{"key":"2023071315042121900_CIT0065","first-page":"9","article-title":"An Ontological Model of Device Function and Its Deployment for Engineering Knowledge Sharing","author":"Kitamura","year":"2005"},{"issue":"4","key":"2023071315042121900_CIT0066","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1017\/S0890060416000342","article-title":"A Formal Functional Representation Methodology for Conceptual Design of Material-Flow Processing Devices","volume":"30","author":"Chen","year":"2016","journal-title":"Artif. Intell. Eng. Des. Anal. Manuf.: AIEDAM"},{"issue":"2","key":"2023071315042121900_CIT0067","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/S1474-0346(02)00006-X","article-title":"A Functional Concept Ontology and Its Application to Automatic Identification of Functional Structures","volume":"16","author":"Kitamura","year":"2002","journal-title":"Adv. Eng. Inform."},{"key":"2023071315042121900_CIT0068","doi-asserted-by":"crossref","DOI":"10.21236\/ADA609724","volume-title":"Towards an Ontology of Physics","author":"Collins","year":"2014"},{"issue":"1","key":"2023071315042121900_CIT0069","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1177\/0022167802238811","article-title":"What Is Psychology About? Toward An Explicit Ontology","volume":"43","author":"Yanchar","year":"2003","journal-title":"J. Humanist. Psychol."},{"issue":"5\u20136","key":"2023071315042121900_CIT0070","doi-asserted-by":"publisher","first-page":"641","DOI":"10.1006\/ijhc.1995.1067","article-title":"Formal Ontology, Common Sense and Cognitive Science","volume":"43","author":"Smith","year":"1995","journal-title":"Int. J. Hum. Comput. Stud."},{"issue":"4","key":"2023071315042121900_CIT0071","doi-asserted-by":"publisher","first-page":"990","DOI":"10.1111\/socf.12131","article-title":"Ontology and Method in Cognitive Sociology","volume":"29","author":"Ignatow","year":"2014","journal-title":"Sociol. Forum"},{"issue":"3","key":"2023071315042121900_CIT0072","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1038\/nrg1295","article-title":"Ontologies in Biology: Design, Applications and Future Challenges","volume":"5","author":"Bard","year":"2004","journal-title":"Nat. Rev. Genet."},{"key":"2023071315042121900_CIT0073","first-page":"361","volume-title":"Foundations of Artificial Intelligence","author":"Forbus","year":"2008"},{"volume-title":"Fundamentals of Engineering Thermodynamics","year":"2010","author":"Moran","key":"2023071315042121900_CIT0074"},{"issue":"1","key":"2023071315042121900_CIT0075","first-page":"470","article-title":"Deduction, Induction, and Hypothesis","volume":"13","author":"Peirce","year":"1878","journal-title":"Pop. Sci. Mon."},{"key":"2023071315042121900_CIT0076","doi-asserted-by":"crossref","DOI":"10.1115\/DETC2019-98502","article-title":"A Physics-Based Formal Vocabulary of Energy Verbs for Function Modeling","author":"Sen","year":"2019"},{"key":"2023071315042121900_CIT0077","doi-asserted-by":"crossref","DOI":"10.1115\/DETC2016-60353","article-title":"Feature-Based Computer Modeling and Reasoning on Mechanical Functions","author":"Sen","year":"2016"},{"key":"2023071315042121900_CIT0078","doi-asserted-by":"crossref","DOI":"10.1115\/DETC2019-98343","article-title":"Physics-Based Function Features for a Set of Material-Processing Verbs","author":"Venkatanarasimhan","year":"2019"},{"issue":"4","key":"2023071315042121900_CIT0079","doi-asserted-by":"publisher","first-page":"550","DOI":"10.1017\/S0890060417000543","article-title":"Comparing Function Structures and Pruned Function Structures for Market Price Prediction: An Approach to Benchmarking Representation Inferencing Value","volume":"31","author":"Gill","year":"2017","journal-title":"Artif. Intell. Eng. Des. Anal. Manuf.: AIEDAM"},{"issue":"2","key":"2023071315042121900_CIT0080","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/S0142-694X(02)00034-0","article-title":"Metrics for Measuring Ideation Eeffectiveness","volume":"24","author":"Shah","year":"2003","journal-title":"Des. Stud."},{"volume-title":"Graph Theory","year":"2005","author":"Diestel","key":"2023071315042121900_CIT0081"}],"container-title":["Journal of Computing and Information Science in Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/asmedigitalcollection.asme.org\/computingengineering\/article-pdf\/24\/2\/021003\/7024292\/jcise_24_2_021003.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/asmedigitalcollection.asme.org\/computingengineering\/article-pdf\/24\/2\/021003\/7024292\/jcise_24_2_021003.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,13]],"date-time":"2023-07-13T15:11:33Z","timestamp":1689261093000},"score":1,"resource":{"primary":{"URL":"https:\/\/asmedigitalcollection.asme.org\/computingengineering\/article\/24\/2\/021003\/1164026\/Formal-Qualitative-Physics-Based-Reasoning-for"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,13]]},"references-count":81,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2024,2,1]]}},"URL":"https:\/\/doi.org\/10.1115\/1.4062748","relation":{},"ISSN":["1530-9827","1944-7078"],"issn-type":[{"type":"print","value":"1530-9827"},{"type":"electronic","value":"1944-7078"}],"subject":[],"published":{"date-parts":[[2023,7,13]]},"article-number":"021003"}}