0
Journal of Computing and Information Science in Engineering | Volume 13 | Issue 2 | research-article
Research Papers

A Formal Representation of Function Structure Graphs for Physics-Based Reasoning

[+] Author and Article Information
Chiradeep Sen

Courtesy Faculty School of Mechanical, Industrial, and Manufacturing Engineering,
Oregon State University,
Corvallis, OR 97331
e-mail: csen@engr.orst.edu

Joshua D. Summers

Professor
e-mail: joshua.summers@ces.clemson.edu

Gregory M. Mocko

Associate Professor
e-mail: gmocko@clemson.edu
Department of Mechanical Engineering,
Clemson University,
Clemson, SC 29634-0921

Repository. designengineeringlab.org, accessed on May 16, 2012.

Version downloaded on April 23, 2012.

Available at: http://dl.dropbox.com/u/87896979/Function.owl

Available at: http://dl.dropbox.com/u/87896979/ConMod.exe

1Corresponding author.

Contributed by the Petroleum Division of ASME for publication in the Journal of Computing and Information Science in Engineering. Manuscript received November 28, 2011; final manuscript received November 5, 2012; published online April 22, 2013. Assoc. Editor: Ashok K. Goel.

J. Comput. Inf. Sci. Eng 13(2), 021001 (Apr 22, 2013) (13 pages) Paper No: JCISE-11-1465; doi: 10.1115/1.4023167 History: Received November 28, 2011; Revised November 05, 2012
Article
References
Figures
Tables
Citing Articles

The paper presents a formal representation for modeling function structure graphs in a consistent, grammatically controlled manner, and for performing conservation-based formal reasoning on those models. The representation consists of a hierarchical vocabulary of entities, relations, and attributes, and 33 local grammar rules that permit or prohibit modeling constructs thereby ensuring model consistency. Internal representational consistency is verified by committing the representation to a Protégé web ontology language (OWL) ontology and examining it with the Pellet consistency checker. External representational validity is established by implementing the representation in a Computer Aided Design (CAD) tool and using it to demonstrate that the grammar rules prohibit inconsistent constructs and that the models support physics-based reasoning based on the balance laws of transport phenomena. This representation, including the controlled grammar, can serve, in the future, as a basis for additional reasoning extensions.
FIGURES IN THIS ARTICLE
<>
Copyright © 2013 by ASME
Your Session has timed out. Please sign back in to continue.

References

Figures

Grahic Jump Location
Fig. 1

Illustration of model-level inconsistencies allowed by the lack of formalism [21]

+Illustration of model-level inconsistencies allowed by the lack of formalism [21]
View Large  |  Save Figure  |  Download Slide (.ppt)
Illustration of model-level inconsistencies allowed by the lack of formalism [21]
Grahic Jump Location
Fig. 2

An intentionally inconsistent Function-CAD model

+An intentionally inconsistent Function-CAD model
View Large  |  Save Figure  |  Download Slide (.ppt)
An intentionally inconsistent Function-CAD model
Grahic Jump Location
Fig. 3

Error report from the Function-CAD model

+Error report from the Function-CAD model
View Large  |  Save Figure  |  Download Slide (.ppt)
Error report from the Function-CAD model
Grahic Jump Location
Fig. 4

Entity-relation-attribute model of the vocabulary

+Entity-relation-attribute model of the vocabulary
View Large  |  Save Figure  |  Download Slide (.ppt)
Entity-relation-attribute model of the vocabulary
Grahic Jump Location
Fig. 5

Asserted ontology version of the representation

+Asserted ontology version of the representation
View Large  |  Save Figure  |  Download Slide (.ppt)
Asserted ontology version of the representation
Grahic Jump Location
Fig. 6

Result of consistency checking of the representation (consistent)

+Result of consistency checking of the representation (consistent)
View Large  |  Save Figure  |  Download Slide (.ppt)
Result of consistency checking of the representation (consistent)
Grahic Jump Location
Fig. 7

Validation of modeling and reasoning using software implementation

+Validation of modeling and reasoning using software implementation
View Large  |  Save Figure  |  Download Slide (.ppt)
Validation of modeling and reasoning using software implementation

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
Modeling and Classification for Uterine EMG Signals Using Autoregressive Model
Intelligent Engineering Systems through Artificial Neural Networks, Volume 16
Development of Simulatiom of Pedestrian Uncontrolled Crossing Behavior
International Conference on Computer Technology and Development, 3rd (ICCTD 2011)
Experimental results
Ultrasonic Methods for Measurement of Small Motion and Deformation of Biological Tissues for Assessment of Viscoelasticity> Chapter 3
List of Commercial Codes
Introduction to Finite Element, Boundary Element, and Meshless Methods
Microstructure Evolution and Physics-Based Modeling
Ultrasonic Welding of Lithium-Ion Batteries
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