0
Research Papers

Physics-Based Reasoning in Conceptual Design Using a Formal Representation of Function Structure Graphs

[+] Author and Article Information
Chiradeep Sen

School of Mechanical, Industrial, and Manufacturing Engineering,
Oregon State University,
204 Rogers Hall,
Corvallis, OR 97331
e-mail: chiradeep.sen@oregonstate.edu

Joshua D. Summers

Department of Mechanical Engineering,
Clemson University,
250 Fluor Daniel Building,
Clemson, SC 29634
e-mail: jsummer@clemson.edu

Gregory M. Mocko

Department of Mechanical Engineering,
Clemson University,
243 Fluor Daniel Building,
Clemson, SC 29634
e-mail: gmocko@clemson.edu

1Corresponding author.

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.

J. Comput. Inf. Sci. Eng 13(1), 011008 (Mar 15, 2013) (12 pages) Paper No: JCISE-12-1228; doi: 10.1115/1.4023488 History: Received December 12, 2012; Revised December 16, 2012

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.

Copyright © 2013 by ASME
Your Session has timed out. Please sign back in to continue.

References

Figures

Grahic Jump Location
Fig. 1

A function structure model

Grahic Jump Location
Fig. 2

A designer-driven function structure model created in ConMod

Grahic Jump Location
Fig. 3

Algorithm for detecting dangling nodes

Grahic Jump Location
Fig. 4

Algorithm for detecting dangling flows (tail or head)

Grahic Jump Location
Fig. 5

Detecting dangling entities using ConMod

Grahic Jump Location
Fig. 6

Algorithm for preventing illegal carrier relations

Grahic Jump Location
Fig. 7

M carrying M error message

Grahic Jump Location
Fig. 8

S carrying E error message

Grahic Jump Location
Fig. 9

Inconsistent carrier topologies prevented by the representation

Grahic Jump Location
Fig. 12

Algorithm for preventing inconsistent carrier topology

Grahic Jump Location
Fig. 13

Circular flows prevented by the representation

Grahic Jump Location
Fig. 14

Algorithm to prevent same head and tail nodes

Grahic Jump Location
Fig. 15

Algorithm to prevent circular chain of carrier flows

Grahic Jump Location
Fig. 16

Circular flow error message from ConMod

Grahic Jump Location
Fig. 17

Algorithm for detecting orphan flows

Grahic Jump Location
Fig. 18

Algorithm for detecting M transform without E

Grahic Jump Location
Fig. 19

Reasoning output for test model 1

Grahic Jump Location
Fig. 22

Reasoning output for test model 2

Grahic Jump Location
Fig. 24

Reasoning output for test model 3

Grahic Jump Location
Fig. 25

Algorithm for irreversibility check

Grahic Jump Location
Fig. 26

Reasoning output against irreversibility on Fig. 23

Grahic Jump Location
Fig. 27

Reasoning output against irreversibility on Fig. 2

Tables

Errata

Discussions

Some tools below are only available to our subscribers or users with an online account.

Related Content

Customize your page view by dragging and repositioning the boxes below.

Related Journal Articles
Related eBook Content
Topic Collections

Sorry! You do not have access to this content. For assistance or to subscribe, please contact us:

  • TELEPHONE: 1-800-843-2763 (Toll-free in the USA)
  • EMAIL: asmedigitalcollection@asme.org
Sign In