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.
Physics-Based Reasoning in Conceptual Design Using a Formal Representation of Function Structure Graphs
Contributed by the Computers and Information Division of ASME for publication in the JOURNAL OF COMPUTING AND INFORMATION SCIENCE IN ENGINEERING. Manuscript received December 12, 2012; final manuscript received December 16, 2012; published online March 14, 2013. Assoc. Editor: Bahram Ravani.
- Views Icon Views
- Share Icon Share
- Cite Icon Cite
- Search Site
Sen, C., Summers, J. D., and Mocko, G. M. (March 15, 2013). "Physics-Based Reasoning in Conceptual Design Using a Formal Representation of Function Structure Graphs." ASME. J. Comput. Inf. Sci. Eng. March 2013; 13(1): 011008. https://doi.org/10.1115/1.4023488
Download citation file:
- Ris (Zotero)
- Reference Manager