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

2013 ◽  
Vol 13 (1) ◽  
Author(s):  
Chiradeep Sen ◽  
Joshua D. Summers ◽  
Gregory M. Mocko
Keyword(s):  
Real Time ◽  
Conceptual Design ◽  
Software Implementation ◽  
Balance Laws ◽  
Formal Representation ◽  
Function Structure ◽  
Logical Consistency ◽  
Universal Principles

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.

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

2013 ◽  
Vol 13 (2) ◽  
Author(s):  
Chiradeep Sen ◽  
Joshua D. Summers ◽  
Gregory M. Mocko
Keyword(s):  
Computer Aided Design ◽  
Balance Laws ◽  
Formal Representation ◽  
Function Structure ◽  
Formal Reasoning ◽  
Ontology Language ◽  
Grammar Rules ◽  
Aided Design ◽  
Representational Validity ◽  
Local Grammar

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.

scholarly journals Conceptual Design of Electromechanical Actuation Systems for Large-Sized Directional Control Valves

Actuators ◽  
2021 ◽  
Vol 10 (6) ◽  
pp. 133
Author(s):  
Tobias Vonderbank ◽  
Katharina Schmitz
Keyword(s):  
Conceptual Design ◽  
Design Process ◽  
Operating Conditions ◽  
Function Structure ◽  
Advantages And Disadvantages ◽  
Conceptual Designs ◽  
Actuation Systems ◽  
Electromechanical Actuation ◽  
Function Structures ◽  
Valve Actuation

Increasing performance in modern hydraulics is achieved by a close investigation of possible enhancements of its components. Prior research has pointed out that electromechanical actuators can form suitable alternatives to hydraulically piloted control systems. Since the requirements at these actuation systems depend on the operating conditions of the system, each actuator can be optimized to the respective hydraulic system. Considering that many different conceptual designs are suitable, the phase of conceptual design plays a decisive role during the design process. Therefore, this paper focuses on the process of developing new conceptual designs for electromechanical valve actuation systems using the method of function structures. Aiming to identify special design features, which need to be considered during the design process of electromechanical actuation systems, an exemplary actuator was designed based on the derived function structure. To highlight the potential of function structures for the development of new electromechanical valve actuation systems, two principal concepts, which allow the reduction of the necessary forces, have been developed by extending the function structure. These concepts have been experimentally investigated to identify their advantages and disadvantages.

Formalizing Timed BPEL by D-LOTOS

2014 ◽  
Vol 5 (2) ◽  
pp. 1-21
Author(s):  
Imed Eddine Chama ◽  
Nabil Belala ◽  
Djamel Eddine Saidouni
Keyword(s):  
Web Services ◽  
Formal Verification ◽  
Real Time ◽  
Formal Representation ◽  
The Real ◽  
True Concurrency ◽  
Transformation Approach ◽  
Abstract Specification

Different standards and languages are proposed in the literature to model the composition of Web services. Unfortunately these languages are essentially syntactic and thus contain much ambiguity and inconsistency. In addition, the formal verification of the proposed languages is impossible. In this paper, the authors propose a transformation approach allowing the formal representation, analysis and refinement of Web services compositions. Both timed constraints and the durations of interactions between these services are taken into account. The authors present a mapping from Web services described in the BPEL language to an abstract specification written in the real-time language D-LOTOS which is based on true-concurrency semantics.

Theoretical basis and software implementation of contour analysis of cardiosignals in real time

1999 ◽  
Vol 33 (1) ◽  
pp. 27-31
Author(s):  
V. A. Kalantar ◽  
A. G. Arakcheev ◽  
V. P. Gundarov
Keyword(s):  
Real Time ◽  
Theoretical Basis ◽  
Software Implementation ◽  
Contour Analysis

Implementation and Analysis of a Mechanics Simulation Module for Use in a Conceptual Design System

2000 ◽  
Author(s):  
Johan Jansson ◽  
Imre Horváth ◽  
Joris S. M. Vergeest
Keyword(s):  
Real Time ◽  
Conceptual Design ◽  
Time Complexity ◽  
Design System ◽  
Mechanics Model ◽  
Time Simulation ◽  
Expected Performance ◽  
System Time ◽  
Better Than ◽  
Simplified Form

Abstract Previously, we have described the theory of a general mechanics model for non-rigid solids (Jansson, Vergeest, 2000). In this paper, we will describe and analyze the implementation, i.e. algorithms and analysis of their time complexity. We will reason that a good (better than O(n2), where n is the number of elements in the system) time complexity is mandatory for a scalable real time simulation system. We will show that, in simplified form, all our algorithms are O(n lg n). We have not been able to formally analyze the algorithms in non-simplified form, we will however informally discuss the expected performance. The entire system will be empirically shown to perform slightly worse than O(n lg n), for a specific range and typical input. We will also present a working prototype implementation and show it can be used for real time evaluation of reasonably complex systems. Finally we will reason about how such a system can be used in the conceptual design community as a simulation of traditional design tools.

Conceptual Design of Identification Systems

2008 ◽  
Author(s):  
Yuan Mao Huang ◽  
Chung-Cheng Liao
Keyword(s):  
Conceptual Design ◽  
Identification System ◽  
Paired Comparisons ◽  
Relative Importance ◽  
Eigenvalues And Eigenvectors ◽  
Function Structure ◽  
Combined Solution ◽  
Physical Effects ◽  
Physical Principles ◽  
The Web

This is a student design project to present the procedures and the results of conceptual design for identification systems. The sub-function structure of the identification system is created after recognizing the requirement and establishing the specification. The physical effects, physical principles and solution principles are found based on the sub-functions, and the alternatives or combined solution principles are generated. The Saaty method with the modified normalized values is used to determine the relative importance or weighting factors of the standard evaluation items by paired comparisons. The eigenvalues and eigenvectors of the evaluation items and alternatives are determined. The web method is then used to determine the most preferred design of the alternatives and the best alternative is recommended. It is learned that to determine the sub-functions, the physical effects, physical principles, solution principles and combined solution principles, surveys of evaluation items, matrices of evaluation items and alternatives are very difficult, tedious and time consuming.

Sign in / Sign up

Export Citation Format

Share Document