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 pre...
Gespeichert in:
| Veröffentlicht in: | Journal of computing and information science in engineering 2013-03, Vol.13 (1), p.011008-1-011008-12 |
|---|---|
| Hauptverfasser: | , , |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 1-011008-12 |
|---|---|
| container_issue | 1 |
| container_start_page | 011008 |
| container_title | Journal of computing and information science in engineering |
| container_volume | 13 |
| creator | Sen, Chiradeep Summers, Joshua D Mocko, Gregory M |
| description | 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. |
| doi_str_mv | 10.1115/1.4023488 |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_proquest_miscellaneous_1685795390</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>1685795390</sourcerecordid><originalsourceid>FETCH-LOGICAL-a312t-113083ca1dbef2feca1e1ee84a23aaae91cdba0bea1b90aeabebb6d02e01f7a03</originalsourceid><addsrcrecordid>eNo9kL1PwzAQxSMEEp8DM4sXJBgCPjupkxEKLUhIID5m6-JeSlBqB18y8N-T0orpnu5-96T3kuQU5BUA5NdwlUmls6LYSQ6gzLLUSFPsjjrXMi0LZfaTQ-YvKaWRk8lBsnz5_OHGcXqLTAvxSsjBN34pGi-mwTvq-gFbcUfcLL344PUJxSzE1bh9pS4Sk--xb4IXoRazwbs__dbHwfVDJDGP2H3ycbJXY8t0sp1Hycfs_n36kD49zx-nN08palB9CqBloR3CoqJa1TQqAqIiQ6URkUpwiwplRQhVKZGwoqqaLKQiCbVBqY-Si41vF8P3QNzbVcOO2hY9hYEtTIrclLku1-jlBnUxMEeqbRebFcYfC9Kuy7Rgt2WO7PnWFtlhW0f0ruH_B2VUZjKVj9zZhkNekf0KQ_RjWqsN6LLQv8M6fu8</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>1685795390</pqid></control><display><type>article</type><title>Physics-Based Reasoning in Conceptual Design Using a Formal Representation of Function Structure Graphs</title><source>ASME Transactions Journals (Current)</source><source>Alma/SFX Local Collection</source><creator>Sen, Chiradeep ; Summers, Joshua D ; Mocko, Gregory M</creator><creatorcontrib>Sen, Chiradeep ; Summers, Joshua D ; Mocko, Gregory M</creatorcontrib><description>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.</description><identifier>ISSN: 1530-9827</identifier><identifier>EISSN: 1944-7078</identifier><identifier>DOI: 10.1115/1.4023488</identifier><identifier>CODEN: JCISB6</identifier><language>eng</language><publisher>New York, NY: ASME</publisher><subject>Applied sciences ; Balancing ; Computer aided design ; Computer programs ; Computer science; control theory; systems ; Consistency ; Exact sciences and technology ; Graphs ; Information retrieval. Graph ; Mathematical analysis ; Mathematical models ; Mechanical engineering. Machine design ; Reasoning ; Representations ; Software ; Supports ; Theoretical computing</subject><ispartof>Journal of computing and information science in engineering, 2013-03, Vol.13 (1), p.011008-1-011008-12</ispartof><rights>2014 INIST-CNRS</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-a312t-113083ca1dbef2feca1e1ee84a23aaae91cdba0bea1b90aeabebb6d02e01f7a03</citedby><cites>FETCH-LOGICAL-a312t-113083ca1dbef2feca1e1ee84a23aaae91cdba0bea1b90aeabebb6d02e01f7a03</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,778,782,27907,27908,38503</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=27247425$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><creatorcontrib>Sen, Chiradeep</creatorcontrib><creatorcontrib>Summers, Joshua D</creatorcontrib><creatorcontrib>Mocko, Gregory M</creatorcontrib><title>Physics-Based Reasoning in Conceptual Design Using a Formal Representation of Function Structure Graphs</title><title>Journal of computing and information science in engineering</title><addtitle>J. Comput. Inf. Sci. Eng</addtitle><description>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.</description><subject>Applied sciences</subject><subject>Balancing</subject><subject>Computer aided design</subject><subject>Computer programs</subject><subject>Computer science; control theory; systems</subject><subject>Consistency</subject><subject>Exact sciences and technology</subject><subject>Graphs</subject><subject>Information retrieval. Graph</subject><subject>Mathematical analysis</subject><subject>Mathematical models</subject><subject>Mechanical engineering. Machine design</subject><subject>Reasoning</subject><subject>Representations</subject><subject>Software</subject><subject>Supports</subject><subject>Theoretical computing</subject><issn>1530-9827</issn><issn>1944-7078</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2013</creationdate><recordtype>article</recordtype><recordid>eNo9kL1PwzAQxSMEEp8DM4sXJBgCPjupkxEKLUhIID5m6-JeSlBqB18y8N-T0orpnu5-96T3kuQU5BUA5NdwlUmls6LYSQ6gzLLUSFPsjjrXMi0LZfaTQ-YvKaWRk8lBsnz5_OHGcXqLTAvxSsjBN34pGi-mwTvq-gFbcUfcLL344PUJxSzE1bh9pS4Sk--xb4IXoRazwbs__dbHwfVDJDGP2H3ycbJXY8t0sp1Hycfs_n36kD49zx-nN08palB9CqBloR3CoqJa1TQqAqIiQ6URkUpwiwplRQhVKZGwoqqaLKQiCbVBqY-Si41vF8P3QNzbVcOO2hY9hYEtTIrclLku1-jlBnUxMEeqbRebFcYfC9Kuy7Rgt2WO7PnWFtlhW0f0ruH_B2VUZjKVj9zZhkNekf0KQ_RjWqsN6LLQv8M6fu8</recordid><startdate>20130301</startdate><enddate>20130301</enddate><creator>Sen, Chiradeep</creator><creator>Summers, Joshua D</creator><creator>Mocko, Gregory M</creator><general>ASME</general><general>American Society of Mechanical Engineers</general><scope>IQODW</scope><scope>AAYXX</scope><scope>CITATION</scope><scope>7SC</scope><scope>7TB</scope><scope>8FD</scope><scope>F28</scope><scope>FR3</scope><scope>JQ2</scope><scope>KR7</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope></search><sort><creationdate>20130301</creationdate><title>Physics-Based Reasoning in Conceptual Design Using a Formal Representation of Function Structure Graphs</title><author>Sen, Chiradeep ; Summers, Joshua D ; Mocko, Gregory M</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a312t-113083ca1dbef2feca1e1ee84a23aaae91cdba0bea1b90aeabebb6d02e01f7a03</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2013</creationdate><topic>Applied sciences</topic><topic>Balancing</topic><topic>Computer aided design</topic><topic>Computer programs</topic><topic>Computer science; control theory; systems</topic><topic>Consistency</topic><topic>Exact sciences and technology</topic><topic>Graphs</topic><topic>Information retrieval. Graph</topic><topic>Mathematical analysis</topic><topic>Mathematical models</topic><topic>Mechanical engineering. Machine design</topic><topic>Reasoning</topic><topic>Representations</topic><topic>Software</topic><topic>Supports</topic><topic>Theoretical computing</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Sen, Chiradeep</creatorcontrib><creatorcontrib>Summers, Joshua D</creatorcontrib><creatorcontrib>Mocko, Gregory M</creatorcontrib><collection>Pascal-Francis</collection><collection>CrossRef</collection><collection>Computer and Information Systems Abstracts</collection><collection>Mechanical & Transportation Engineering Abstracts</collection><collection>Technology Research Database</collection><collection>ANTE: Abstracts in New Technology & Engineering</collection><collection>Engineering Research Database</collection><collection>ProQuest Computer Science Collection</collection><collection>Civil Engineering Abstracts</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><jtitle>Journal of computing and information science in engineering</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Sen, Chiradeep</au><au>Summers, Joshua D</au><au>Mocko, Gregory M</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Physics-Based Reasoning in Conceptual Design Using a Formal Representation of Function Structure Graphs</atitle><jtitle>Journal of computing and information science in engineering</jtitle><stitle>J. Comput. Inf. Sci. Eng</stitle><date>2013-03-01</date><risdate>2013</risdate><volume>13</volume><issue>1</issue><spage>011008</spage><epage>1-011008-12</epage><pages>011008-1-011008-12</pages><issn>1530-9827</issn><eissn>1944-7078</eissn><coden>JCISB6</coden><abstract>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.</abstract><cop>New York, NY</cop><pub>ASME</pub><doi>10.1115/1.4023488</doi></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 1530-9827 |
| ispartof | Journal of computing and information science in engineering, 2013-03, Vol.13 (1), p.011008-1-011008-12 |
| issn | 1530-9827 1944-7078 |
| language | eng |
| recordid | cdi_proquest_miscellaneous_1685795390 |
| source | ASME Transactions Journals (Current); Alma/SFX Local Collection |
| subjects | Applied sciences Balancing Computer aided design Computer programs Computer science control theory systems Consistency Exact sciences and technology Graphs Information retrieval. Graph Mathematical analysis Mathematical models Mechanical engineering. Machine design Reasoning Representations Software Supports Theoretical computing |
| title | Physics-Based Reasoning in Conceptual Design Using a Formal Representation of Function Structure Graphs |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-16T07%3A17%3A10IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Physics-Based%20Reasoning%20in%20Conceptual%20Design%20Using%20a%20Formal%20Representation%20of%20Function%20Structure%20Graphs&rft.jtitle=Journal%20of%20computing%20and%20information%20science%20in%20engineering&rft.au=Sen,%20Chiradeep&rft.date=2013-03-01&rft.volume=13&rft.issue=1&rft.spage=011008&rft.epage=1-011008-12&rft.pages=011008-1-011008-12&rft.issn=1530-9827&rft.eissn=1944-7078&rft.coden=JCISB6&rft_id=info:doi/10.1115/1.4023488&rft_dat=%3Cproquest_cross%3E1685795390%3C/proquest_cross%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=1685795390&rft_id=info:pmid/&rfr_iscdi=true |