{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,30]],"date-time":"2025-07-30T12:55:12Z","timestamp":1753880112448,"version":"3.41.2"},"reference-count":74,"publisher":"ASME International","issue":"5","license":[{"start":{"date-parts":[[2021,5,12]],"date-time":"2021-05-12T00:00:00Z","timestamp":1620777600000},"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":[[2021,10,1]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>Modern design problems often require multi-modal, reconfigurable solutions. Function modeling is a common tool used to explore solutions in early mechanical design. Currently, function modeling formalisms minimally support the modeling of multi-modal systems in a formal manner. There is a need in function modeling to capture multi-modal system and analyze the effects of control signals and status signals on their operating modes. This paper presents the concept of functional conjugacy, where two function verbs or functional subgraphs are topological opposites of each other. The paper presents a formal representation of these conjugate verbs that formally captures the transition from one mode of operation to its topological opposite based on the existence of, or the value of, signal flows. Additionally, this paper extends functional conjugacy to functional features, which supports conjugacy-based reasoning at a higher level of abstraction. Through the example of a system-level function model of a geothermal heat pump (GHP)operating in its heating and cooling modes, this paper demonstrates the ability to support modal reasoning on function models using functional conjugacy and illustrates the modeling efficacy of the extended representation.<\/jats:p>","DOI":"10.1115\/1.4050077","type":"journal-article","created":{"date-parts":[[2021,2,6]],"date-time":"2021-02-06T01:55:15Z","timestamp":1612576515000},"update-policy":"https:\/\/doi.org\/10.1115\/crossmarkpolicy-asme","source":"Crossref","is-referenced-by-count":4,"title":["A Formal Representation of Conjugate Verbs for Function Modeling"],"prefix":"10.1115","volume":"21","author":[{"given":"Ahmed","family":"Chowdhury","sequence":"first","affiliation":[{"name":"Department of MCE, Florida Institute of Technology, 150 W. University Boulevard, Melbourne, FL 32901"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lakshmi N. A.","family":"Venkatanarasimhan","sequence":"additional","affiliation":[{"name":"Department of MCE, Florida Institute of Technology, 150 W. University Boulevard, Melbourne, FL 32901"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chiradeep","family":"Sen","sequence":"additional","affiliation":[{"name":"Department of MCE, Florida Institute of Technology, 150 W. University Boulevard, Melbourne, FL 32901"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"33","published-online":{"date-parts":[[2021,5,12]]},"reference":[{"key":"2021051217074167200_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":"The Mechanical Design Process","year":"1992","author":"Ullman","key":"2021051217074167200_CIT0002"},{"volume-title":"Product Design and Development","year":"2007","author":"Ulrich","key":"2021051217074167200_CIT0003"},{"key":"2021051217074167200_CIT0004","first-page":"V001T02A016","article-title":"Finite-State Automata-Based Representation of Device States for Function Modeling and Formal Definitions of Signal-Processing Functions","author":"Chowdhury","year":"2019"},{"issue":"4","key":"2021051217074167200_CIT0005","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/s00163-016-0221-8","article-title":"Product Architecture Design of Multi-Modal Products","volume":"27","author":"Liu","year":"2016","journal-title":"Res. Eng. Des."},{"key":"2021051217074167200_CIT0006","first-page":"351","article-title":"Transformation Facilitators: A Quantitative Analysis of Reconfigurable Products and Their Characteristics","author":"Weaver","year":"2008"},{"issue":"2","key":"2021051217074167200_CIT0007","first-page":"75","article-title":"Functional Reasoning Theories: Problems and Perspectives","volume":"19","author":"Far","year":"2006","journal-title":"Artif. Intell. Eng. Des. Anal. Manuf."},{"issue":"3\u20134","key":"2021051217074167200_CIT0008","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/s003660070003","article-title":"Function in Device Representation","volume":"16","author":"Chandrasekaran","year":"2000","journal-title":"Eng. Comput."},{"article-title":"Sharing in Design-Categories, Importance, and Issues","year":"2001","author":"Chakrabarti","key":"2021051217074167200_CIT0009"},{"issue":"4","key":"2021051217074167200_CIT0010","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1017\/S0890060417000294","article-title":"Function Modeling Using the System State Flow Diagram","volume":"31","author":"Yildirim","year":"2017","journal-title":"Artif. Intell. Eng. Des. Anal. Manuf."},{"key":"2021051217074167200_CIT0011","first-page":"455","article-title":"Towards Computer-Aided Conceptual Design of Mechatronic Devices With Multiple Interaction-States","author":"Xu","year":"2005"},{"issue":"4","key":"2021051217074167200_CIT0012","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":"2000","journal-title":"ASME J. Mech. Des."},{"volume-title":"Introduction to Automata Theory, Languages, and Computation","year":"2008","author":"Hopcroft","key":"2021051217074167200_CIT0013"},{"issue":"2","key":"2021051217074167200_CIT0014","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."},{"volume-title":"Product Design: Techniques in Reverse Engineering and New Product Development","year":"2001","author":"Otto","key":"2021051217074167200_CIT0015"},{"issue":"11\u201312","key":"2021051217074167200_CIT0016","doi-asserted-by":"publisher","first-page":"811","DOI":"10.1080\/09544828.2011.603297","article-title":"Different Notions of Function: Results From an Experiment on the Analysis of an Existing Product","volume":"22","author":"Eckert","year":"2011","journal-title":"J. Eng. Des."},{"issue":"3","key":"2021051217074167200_CIT0017","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1017\/S0890060413000280","article-title":"An Analysis of Functional Modeling Approaches Across Disciplines","volume":"27","author":"Eisenbart","year":"2013","journal-title":"Artif. Intell. Eng. Des. Anal. Manuf."},{"key":"2021051217074167200_CIT0018","first-page":"183","article-title":"Technical Functions: Towards Accepting Different Engineering Meanings With One Overall Account","author":"Vermaas","year":"2010"},{"issue":"4","key":"2021051217074167200_CIT0019","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":"04","key":"2021051217074167200_CIT0020","doi-asserted-by":"crossref","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."},{"issue":"4","key":"2021051217074167200_CIT0021","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/BF01201762","article-title":"Design Perspective of Mechanical Function and Its Object-Oriented Representation Scheme","volume":"14","author":"Deng","year":"1998","journal-title":"Eng. Comput."},{"issue":"4","key":"2021051217074167200_CIT0022","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1080\/09544820410001697163","article-title":"Ontology-Based Systematization of Functional Knowledge","volume":"15","author":"Kitamura","year":"2004","journal-title":"J. Eng. Des."},{"issue":"2","key":"2021051217074167200_CIT0023","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. Inf."},{"issue":"4","key":"2021051217074167200_CIT0024","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1017\/S0890060400001657","article-title":"Functional Descriptions Used in Computer Support for Qualitative Scheme Generation\u2014\u2018Schemebuilder","volume":"10","author":"Bracewell","year":"1996","journal-title":"Artif. Intell. Eng. Des. Anal. Manuf."},{"key":"2021051217074167200_CIT0025","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-87484-0","volume-title":"Methodisches Konstruieren","author":"Rodenacker","year":"1991"},{"key":"2021051217074167200_CIT0026","first-page":"55","article-title":"Product Design Support: Exploring a Design Repository System","author":"Bohm","year":"2004"},{"key":"2021051217074167200_CIT0027","first-page":"V007T06A024","article-title":"Graduate Students\u2019 Mental Models:","author":"Murphy","year":"2019"},{"key":"2021051217074167200_CIT0028","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/978-1-4471-3717-7_4","volume-title":"Engineering Design Synthesis","author":"Hubka","year":"2002"},{"key":"2021051217074167200_CIT0029","first-page":"14","article-title":"An Information Modeling Framework to Support Design Databases and Repositories","author":"Murdock","year":"1997"},{"issue":"1","key":"2021051217074167200_CIT0030","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.jcde.2017.11.005","article-title":"An Additive Manufacturing Oriented Design Approach to Mechanical Assemblies","volume":"5","author":"Sossou","year":"2018","journal-title":"J. Comput. Des. Eng."},{"issue":"12","key":"2021051217074167200_CIT0031","doi-asserted-by":"publisher","first-page":"3935","DOI":"10.1080\/00207543.2018.1443229","article-title":"Digital Twin-Driven Product Design Framework","volume":"57","author":"Tao","year":"2019","journal-title":"Int. J. Prod. Res."},{"key":"2021051217074167200_CIT0032","first-page":"203","article-title":"Theoretical Underpinnings of Functional Modeling: Preliminary Experimental Studies","author":"Kurfman","year":"2000"},{"issue":"2","key":"2021051217074167200_CIT0033","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":"1","key":"2021051217074167200_CIT0034","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s001630050001","article-title":"Functional Interdependence and Product Similarity Based on Customer Needs","volume":"11","author":"McAdams","year":"1999","journal-title":"Res. Eng. Des."},{"issue":"4","key":"2021051217074167200_CIT0035","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1017\/S0890060417000488","article-title":"Transforming Functional Models to Critical Chain Models via Expert Knowledge and Automatic Parsing Rules for Design Analogy Identification","volume":"31","author":"Agyemang","year":"2017","journal-title":"Artif. Intell. Eng. Des. Anal. Manuf."},{"key":"2021051217074167200_CIT0036","doi-asserted-by":"publisher","first-page":"103154","DOI":"10.1016\/j.compind.2019.103154","article-title":"A New Function-Based Patent Knowledge Retrieval Tool for Conceptual Design of Innovative Products","volume":"115","author":"Liu","year":"2020","journal-title":"Comput. Ind."},{"issue":"1","key":"2021051217074167200_CIT0037","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":"2021051217074167200_CIT0038","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1017\/S0890060409990163","article-title":"Automating the Conceptual Design Process: \u2018From Black Box to Component Selection","volume":"24","author":"Kurtoglu","year":"2010","journal-title":"Artif. Intell. Eng. Des. Anal. Manuf."},{"key":"2021051217074167200_CIT0039","first-page":"239","article-title":"Concept Generation Algorithms for Repository-Based Early Design","author":"Vucovich","year":"2006"},{"key":"2021051217074167200_CIT0040","first-page":"1687","article-title":"Deriving a Component Basis for Computational Functional Synthesis","author":"Kurtoglu","year":"2005"},{"key":"2021051217074167200_CIT0041","first-page":"55","article-title":"Complexity as a Surrogate Mapping Between Function Models and Market Value","author":"Mathieson","year":"2011"},{"issue":"4","key":"2021051217074167200_CIT0042","doi-asserted-by":"crossref","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."},{"key":"2021051217074167200_CIT0043","doi-asserted-by":"publisher","first-page":"1296","DOI":"10.1016\/j.jclepro.2018.06.249","article-title":"Sustainable Design From Functional Domain to Physical Domain","volume":"197","author":"He","year":"2018","journal-title":"J. Cleaner Prod."},{"issue":"5","key":"2021051217074167200_CIT0044","doi-asserted-by":"publisher","first-page":"51401","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":"2021051217074167200_CIT0045","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."},{"key":"2021051217074167200_CIT0046","first-page":"137","article-title":"Translating Terms of the Functional Basis Into Biologically Meaningful Keywords","author":"Cheong","year":"2008"},{"key":"2021051217074167200_CIT0047","first-page":"591","article-title":"Functioncad: A Functional Modeling Application Based on the Function Design Framework","author":"Nagel","year":"2009"},{"key":"2021051217074167200_CIT0048","first-page":"1807","article-title":"A Conceptual Design Model Using Axiomatic Design, Functional Basis and TRIZ","author":"Zhang","year":"2007"},{"issue":"3","key":"2021051217074167200_CIT0049","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":"6","key":"2021051217074167200_CIT0050","doi-asserted-by":"publisher","first-page":"061001","DOI":"10.1115\/1.4006442","article-title":"The Effects of Language and Pruning on Function Structure Interpretability","volume":"134","author":"Caldwell","year":"2012","journal-title":"ASME J. Mech. Des."},{"issue":"C","key":"2021051217074167200_CIT0051","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/j.aei.2017.03.002","article-title":"A Function-Based Computational Method for Design Concept Evaluation","volume":"32","author":"Hao","year":"2017","journal-title":"Adv. Eng. Inf."},{"issue":"4","key":"2021051217074167200_CIT0052","doi-asserted-by":"publisher","first-page":"476","DOI":"10.1017\/S0890060417000403","article-title":"Function Modeling Combined with Physics-Based Reasoning for Assessing Design Options and Supporting Innovative Ideation","volume":"31","author":"Mokhtarian","year":"2017","journal-title":"Artif. Intell. Eng. Des. Anal. Manuf."},{"issue":"1","key":"2021051217074167200_CIT0053","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. Int. J."},{"issue":"4","key":"2021051217074167200_CIT0054","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":"2019","journal-title":"ASME J. Comput. Inf. Sci. Eng."},{"article-title":"Optimizing an Algorithm for Data Mining a Design Repository to Automate Functional Modeling","year":"2020","author":"Venkatanarasimhan","key":"2021051217074167200_CIT0055"},{"issue":"3","key":"2021051217074167200_CIT0056","doi-asserted-by":"crossref","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."},{"issue":"3","key":"2021051217074167200_CIT0057","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1115\/1.2829176","article-title":"Classifying Functions for Mechanical Design","volume":"120","author":"Kirschman","year":"1998","journal-title":"ASME J. Mech. Des."},{"issue":"3","key":"2021051217074167200_CIT0058","first-page":"1074","article-title":"The Failure-Experience Matrix-A Useful Design Tool","volume":"98","author":"Collins","year":"1976","journal-title":"ASME J. Manuf. Sci. Eng."},{"issue":"3","key":"2021051217074167200_CIT0059","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1017\/S0890060410000442","article-title":"An Empirical Study of the Expressiveness of the Functional Basis","volume":"25","author":"Caldwell","year":"2011","journal-title":"Artif. Intell. Eng. Des. Anal. Manuf."},{"key":"2021051217074167200_CIT0060","first-page":"V001T02A069","article-title":"A Physics-Based Formal Vocabulary of Energy Verbs for Function Modeling","author":"Sen","year":"2019"},{"issue":"5","key":"2021051217074167200_CIT0061","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1080\/09544828.2019.1699035","article-title":"The Contact and Channel Approach\u201320 Years of Application Experience in Product Engineering","volume":"31","author":"Grauberger","year":"2020","journal-title":"J. Eng. Des."},{"key":"2021051217074167200_CIT0062","first-page":"69","article-title":"How to Derive Application-Specific Design Methodologies","author":"Weber","year":"2008"},{"key":"2021051217074167200_CIT0063","first-page":"163","article-title":"Adapting the IFM Framework to Functional Approaches Across Disciplines","author":"Eisenbart","year":"2013"},{"volume-title":"A Theoretical Approach to Mechatronics Design","year":"1990","author":"Buur","key":"2021051217074167200_CIT0064"},{"key":"2021051217074167200_CIT0065","first-page":"273","article-title":"Function Design Framework (FDF): Integrated Process and Function Modeling for Complex Systems","author":"Nagel","year":"2008"},{"issue":"3","key":"2021051217074167200_CIT0066","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/s00163-015-0193-0","article-title":"Conceptual Design of Multi-Modal Products","volume":"26","author":"Liu","year":"2015","journal-title":"Res. Eng. Des."},{"key":"2021051217074167200_CIT0067","first-page":"V01BT02A008","article-title":"Feature-Based Computer Modeling and Reasoning on Mechanical Functions","author":"Sen","year":"2016"},{"key":"2021051217074167200_CIT0068","first-page":"V001T02A031","article-title":"Physics-Based Function Features for a Set of Material-Processing Verbs","author":"Venkatanarasimhan","year":"2019"},{"key":"2021051217074167200_CIT0069","first-page":"V009T09A036","article-title":"A Vocabulary of Function Features for Computer Aided Modeling of Thermal-Fluid Systems","author":"Venkatanarasimhan","year":"2020"},{"key":"2021051217074167200_CIT0070","unstructured":"Mao, X.\n          , 2019, \u201cSemantic and Qualitative Physics-Based Formal Reasoning for Functional Decomposition in Mechanical Design,\u201d Florida Institute of Technology, Melbourne, FL."},{"key":"2021051217074167200_CIT0071","first-page":"V009T09A062","article-title":"Evolutionary Approach to Function Model Synthesis: Development of Parameterization and Synthesis Rules","author":"Gill","year":"2020"},{"issue":"1","key":"2021051217074167200_CIT0072","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/S0004-3702(00)00032-1","article-title":"Comprehensive Methodology for Building Hybrid Models of Physical Systems","volume":"121","author":"Mosterman","year":"2000","journal-title":"Artif. Intell."},{"key":"2021051217074167200_CIT0073","first-page":"177","article-title":"Behavior Generation Using Model Switching \u2013 A Hybrid Bond Graph Modeling Technique","author":"Mosterman","year":"1994"},{"key":"2021051217074167200_CIT0074","unstructured":"Sen, C.\n          , 2011, \u201cA Formal Representation of Mechanical Functions to Support Physics-Based Computational Reasoning in Early Mechanical Design,\u201d Clemson University, Clemson, SC."}],"container-title":["Journal of Computing and Information Science in Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/asmedigitalcollection.asme.org\/computingengineering\/article-pdf\/21\/5\/050904\/6695546\/jcise_21_5_050904.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"http:\/\/asmedigitalcollection.asme.org\/computingengineering\/article-pdf\/21\/5\/050904\/6695546\/jcise_21_5_050904.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,12]],"date-time":"2021-05-12T17:11:32Z","timestamp":1620839492000},"score":1,"resource":{"primary":{"URL":"https:\/\/asmedigitalcollection.asme.org\/computingengineering\/article\/21\/5\/050904\/1097204\/A-Formal-Representation-of-Conjugate-Verbs-for"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,12]]},"references-count":74,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2021,10,1]]}},"URL":"https:\/\/doi.org\/10.1115\/1.4050077","relation":{},"ISSN":["1530-9827","1944-7078"],"issn-type":[{"type":"print","value":"1530-9827"},{"type":"electronic","value":"1944-7078"}],"subject":[],"published":{"date-parts":[[2021,5,12]]},"article-number":"050904"}}