{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,12,12]],"date-time":"2023-12-12T08:41:28Z","timestamp":1702370488119},"reference-count":58,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2013,7,24]],"date-time":"2013-07-24T00:00:00Z","timestamp":1374624000000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["AIEDAM"],"published-print":{"date-parts":[[2013,8]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Function-based design and modeling have been taught, studied, and practiced in various forms for several years with efforts centered on using function modeling to help designers understand problems or to facilitate idea generation. Only limited focus has been placed on potential use for qualitative and quantitative reasoning and analysis of the design concept. This potential for early stage analysis has not been fully explored partly because computational reasoning tools have not been developed for this express purpose. This paper presents a set of requirements and their justification to realize this design enabling tool. The requirements include coverage, consistency, validity against physics laws, domain neutrality, physics-based definitions, normative and descriptive modeling, and qualitative and quantitative modeling and reasoning. Each requirement is defined in concrete terms and illustrated with examples and logic. With the requirements for function-based reasoning and representation clearly identified, future research toward formalizing of function-based design will be more focused and objective validation of proposed representations against these requirements would be possible.<\/jats:p>","DOI":"10.1017\/s0890060413000292","type":"journal-article","created":{"date-parts":[[2013,7,24]],"date-time":"2013-07-24T20:01:55Z","timestamp":1374696115000},"page":"291-299","source":"Crossref","is-referenced-by-count":6,"title":["Identifying requirements for physics-based reasoning on function structure graphs"],"prefix":"10.1017","volume":"27","author":[{"given":"Chiradeep","family":"Sen","sequence":"first","affiliation":[]},{"given":"Joshua D.","family":"Summers","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2013,7,24]]},"reference":[{"key":"S0890060413000292_ref58","doi-asserted-by":"crossref","unstructured":"Wang C. , Qing-liang Z. , & Albers A. (2009). A unified product model based on C&CM for mechatronic product development. Proc. Int. Conf. Mechatronics and Automation, ICMA 2009, pp. 2173\u20132177, Changchun, Jilin, China, August 9\u201312.","DOI":"10.1109\/ICMA.2009.5246438"},{"key":"S0890060413000292_ref57","doi-asserted-by":"crossref","unstructured":"Vucovich J. , Bhardwaj N. , Hoi-Hei H. , Ramakrishna M. , Thakur M. , & Stone R. (2006). Concept generation algorithms for repository-based early design. Proc. ASME Int. Design Engineering Technical Conf. Computers and Information in Engineering Conf., Paper No. DETC2006\u201399466, Philadelphia, PA.","DOI":"10.1115\/DETC2006-99466"},{"key":"S0890060413000292_ref54","doi-asserted-by":"crossref","unstructured":"Van Eck D. , McAdams D.A. , & Vermaas P.E. (2007). Functional decomposition in engineering: a survey. Proc. ASME Int. Design Engineering Technical Conf. Computers and Information in Engineering Conf., Las Vegas, NV.","DOI":"10.1115\/DETC2007-34232"},{"key":"S0890060413000292_ref47","doi-asserted-by":"publisher","DOI":"10.1115\/1.1862678"},{"key":"S0890060413000292_ref46","first-page":"1111","volume-title":"Proc. Int. Design Conf.","author":"Srinivasan","year":"2012"},{"key":"S0890060413000292_ref45","doi-asserted-by":"publisher","DOI":"10.1017\/S0890060405050110"},{"key":"S0890060413000292_ref44","volume-title":"The Sciences of the Artificial","author":"Simon","year":"1998"},{"key":"S0890060413000292_ref41","doi-asserted-by":"publisher","DOI":"10.1080\/09544828.2011.603295"},{"key":"S0890060413000292_ref37","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84628-319-2"},{"key":"S0890060413000292_ref35","doi-asserted-by":"crossref","unstructured":"Nagel R.L. , Perry K.L. , Stone R.B. , & McAdams D.A. (2009). FunctionCAD: a functional modeling application based on the function design framework. ASME Int. Design Engineering Technical Conf. Computers and Information in Engineering Conf., San Diego, CA.","DOI":"10.1115\/DETC2009-87010"},{"key":"S0890060413000292_ref32","volume-title":"Artificial Intelligence: Structures and Strategies for Complex Problem Solving","author":"Luger","year":"2005"},{"key":"S0890060413000292_ref31","volume-title":"An Introduction to Formal Languages and Automata","author":"Linz","year":"2011"},{"key":"S0890060413000292_ref30","doi-asserted-by":"publisher","DOI":"10.1080\/08839519408945442"},{"key":"S0890060413000292_ref29","doi-asserted-by":"publisher","DOI":"10.1017\/S0890060409990163"},{"key":"S0890060413000292_ref28","unstructured":"Kroes P. (2010). Formalization of technical functions: why is it so difficult. Proc. Tools and Methods for Competitive Engineering Conf. (TMCE 2010), Ancona, Italy, April 12\u201316."},{"key":"S0890060413000292_ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.aei.2004.09.002"},{"key":"S0890060413000292_ref26","doi-asserted-by":"publisher","DOI":"10.1115\/1.2829176"},{"key":"S0890060413000292_ref25","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/s00163-003-0037-1","article-title":"Towards an ontology of generic engineering design activities","volume":"14","author":"Kim","year":"2003","journal-title":"Research in Engineering Design"},{"key":"S0890060413000292_ref48","volume-title":"Proc. Int. Design Engineering Technical Conf. Computers and Information in Engineering Conf.","author":"Summers","year":"2005"},{"key":"S0890060413000292_ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-52121-8"},{"key":"S0890060413000292_ref22","first-page":"87","volume-title":"Issues and Applications of Case-Based Reasoning in Design","author":"Goel","year":"1997"},{"key":"S0890060413000292_ref20","doi-asserted-by":"publisher","DOI":"10.1017\/S0890060413000218"},{"key":"S0890060413000292_ref19","first-page":"89","volume-title":"Artificial Intelligence in Design","author":"Gero","year":"2002"},{"key":"S0890060413000292_ref16","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(84)90038-9"},{"key":"S0890060413000292_ref15","doi-asserted-by":"publisher","DOI":"10.1115\/1.2830842"},{"key":"S0890060413000292_ref14","doi-asserted-by":"publisher","DOI":"10.1017\/S089006041300022X"},{"key":"S0890060413000292_ref13","first-page":"669","volume-title":"Proc. Joint Int. Conf. Artificial Intelligence","author":"Eastman","year":"1969"},{"key":"S0890060413000292_ref12","doi-asserted-by":"publisher","DOI":"10.1017\/S0890060402165024"},{"key":"S0890060413000292_ref11","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(84)90037-7"},{"key":"S0890060413000292_ref9","doi-asserted-by":"publisher","DOI":"10.3722\/cadaps.2008.178-193"},{"key":"S0890060413000292_ref6","doi-asserted-by":"publisher","DOI":"10.1016\/S0142-694X(01)00008-4"},{"key":"S0890060413000292_ref5","volume-title":"Proc. CIRP Design Conference: Design Synthesis","author":"Cebrian-Tarrason","year":"2008"},{"key":"S0890060413000292_ref4","doi-asserted-by":"publisher","DOI":"10.1115\/1.1884618"},{"key":"S0890060413000292_ref39","first-page":"1830","volume-title":"Proc. Int. Joint Conf. Artificial Intelligence","author":"Sasajima","year":"1995"},{"key":"S0890060413000292_ref2","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/6.1.33"},{"key":"S0890060413000292_ref1","unstructured":"Albers A. , Thau S. , & Alink T. (2008). Support of design engineering activity through C & CM- temporal decomposition of design problems. Proc. Tools and Methods for Competitive Engineering Conf., pp. 295\u2013306, Izmir, Turkey."},{"key":"S0890060413000292_ref7","doi-asserted-by":"publisher","DOI":"10.1017\/S0890060405050079"},{"key":"S0890060413000292_ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.aei.2004.09.003"},{"key":"S0890060413000292_ref53","doi-asserted-by":"publisher","DOI":"10.1017\/S0890060400001621"},{"key":"S0890060413000292_ref10","doi-asserted-by":"publisher","DOI":"10.1115\/1.3439009"},{"key":"S0890060413000292_ref56","volume-title":"Proc. 11th National Conf. Artificial Intelligence","author":"Vescovi","year":"1993"},{"key":"S0890060413000292_ref51","doi-asserted-by":"publisher","DOI":"10.1016\/S0737-6782(99)00031-4"},{"key":"S0890060413000292_ref23","doi-asserted-by":"publisher","DOI":"10.1007\/s00163-001-0008-3"},{"key":"S0890060413000292_ref34","doi-asserted-by":"publisher","DOI":"10.1115\/1.1475317"},{"key":"S0890060413000292_ref43","article-title":"A formal representation of function structure graphs for computer-directed modeling and conservation-based reasoning","volume":"13","author":"Sen","year":"2013","journal-title":"ASME Transactions Journal of Computing and Information Science in Engineering"},{"key":"S0890060413000292_ref42","first-page":"377","volume-title":"Proc. 18th Int. Conf. Engineering Design (ICED11)","volume":"9","author":"Sen","year":"2011"},{"key":"S0890060413000292_ref38","volume-title":"Methodisches Konstruieren","author":"Rodenacker","year":"1971"},{"key":"S0890060413000292_ref3","volume-title":"The Logic Book","author":"Bergmann","year":"1990"},{"key":"S0890060413000292_ref33","doi-asserted-by":"publisher","DOI":"10.1007\/s00163-009-0064-7"},{"key":"S0890060413000292_ref36","volume-title":"Product Design Techniques in Reverse Engineering and New Product Development","author":"Otto","year":"2001"},{"key":"S0890060413000292_ref40","unstructured":"Sen C. (2012). A formal representation of mechanical functions to support physics-based computational reasoning in early mechanical design. PhD Thesis. Clemson University."},{"key":"S0890060413000292_ref17","first-page":"621","volume-title":"Proc. 2nd Int. Joint Conf. Artificial Intelligence","author":"Freeman","year":"1971"},{"key":"S0890060413000292_ref55","doi-asserted-by":"publisher","DOI":"10.1017\/S0890060413000206"},{"key":"S0890060413000292_ref52","volume-title":"The Mechanical Design Process","author":"Ullman","year":"2010"},{"key":"S0890060413000292_ref49","doi-asserted-by":"crossref","unstructured":"Summers J.D. (2005 b). Reasoning in engineering design. Proc. Int. Design Engineering Technical Conf. Computers and Information in Engineering Conf., Paper No. DTM-85334. Long Beach, CA: ASME.","DOI":"10.1115\/DETC2005-85334"},{"key":"S0890060413000292_ref18","first-page":"221","article-title":"Towards a standard taxonomy of artifact functions","volume":"1","author":"Garbacz","year":"2005","journal-title":"Applied Ontology"},{"key":"S0890060413000292_ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s003660070003"},{"key":"S0890060413000292_ref50","doi-asserted-by":"crossref","unstructured":"Summers J.D. , & Shah J.J. (2004). Representation in engineering design: a framework for classification. Proc. Int. Design Engineering Technical Conf. Computers and Information in Engineering Conf., Paper No. DTM-57514, Salt Lake City, UT.","DOI":"10.1115\/DETC2004-57514"}],"container-title":["Artificial Intelligence for Engineering Design, Analysis and Manufacturing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0890060413000292","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,23]],"date-time":"2019-04-23T20:39:43Z","timestamp":1556051983000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0890060413000292\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7,24]]},"references-count":58,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2013,8]]}},"alternative-id":["S0890060413000292"],"URL":"https:\/\/doi.org\/10.1017\/s0890060413000292","relation":{},"ISSN":["0890-0604","1469-1760"],"issn-type":[{"value":"0890-0604","type":"print"},{"value":"1469-1760","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,7,24]]}}}