An Unstructured Semantic Mesh Definition Suitable for Finite Element Method Marek Gayer, Hannu Niemistö and Tommi Karhela www.marekgayer.com, www.simantics.org.

Slides:



Advertisements
Similar presentations
Finite element method Among the up-to-date methods of stress state analysis, the finite element method (abbreviated as FEM below, or often as FEA for analyses.
Advertisements

CH-4 Ontologies, Querying and Data Integration. Introduction to RDF(S) RDF stands for Resource Description Framework. RDF is a standard for describing.
Formal Specification of Topological Relations Erika Asnina, Janis Osis and Asnate Jansone Riga Technical University The 10th International Baltic Conference.
Presented by: Thabet Kacem Spring Outline Contributions Introduction Proposed Approach Related Work Reconception of ADLs XTEAM Tool Chain Discussion.
CS 599 – Spatial and Temporal Databases Realm based Spatial data types: The Rose Algebra Ralf Hartmut Guting Markus Schneider.
Solutions to Review Questions. 4.1 Define object, class and instance. The UML Glossary gives these definitions: Object: an instance of a class. Class:
Coupling Continuum Model and Smoothed Particle Hydrodynamics Methods for Reactive Transport Yilin Fang, Timothy D Scheibe and Alexandre M Tartakovsky Pacific.
Knowledge Acquisitioning. Definition The transfer and transformation of potential problem solving expertise from some knowledge source to a program.
Use of Ontologies in the Life Sciences: BioPax Graciela Gonzalez, PhD (some slides adapted from presentations available at
CSE 222 Systems Programming Graph Theory Basics Dr. Jim Holten.
Software Requirements
1 Extracting RDF Data from Unstructured Sources Based on an RDF Target Schema Tim Chartrand Research Supported By NSF.
Outline Chapter 1 Hardware, Software, Programming, Web surfing, … Chapter Goals –Describe the layers of a computer system –Describe the concept.
Software Architecture Quality. Outline Importance of assessing software architecture Better predict the quality of the system to be built How to improve.
Generative Programming. Generic vs Generative Generic Programming focuses on representing families of domain concepts Generic Programming focuses on representing.
Theory of Computation. Computation Computation is a general term for any type of information processing that can be represented as an algorithm precisely.
©Ian Sommerville 2000 Software Engineering, 6th edition. Chapter 5 Slide 1 Requirements engineering l The process of establishing the services that the.
© 2011 Autodesk Freely licensed for use by educational institutions. Reuse and changes require a note indicating that content has been modified from the.
Software Architecture premaster course 1.  Israa Mosatafa Islam  Neveen Adel Mohamed  Omnia Ibrahim Ahmed  Dr Hany Ammar 2.
Amarnath Gupta Univ. of California San Diego. An Abstract Question There is no concrete answer …but …
ICS – FORTH, August 31, 2000 Why do we need an “Object Oriented Model” ? Martin Doerr Atlanta, August 31, 2000 Foundation for Research and Technology -
ARTIFICIAL INTELLIGENCE [INTELLIGENT AGENTS PARADIGM] Professor Janis Grundspenkis Riga Technical University Faculty of Computer Science and Information.
SC32 WG2 Metadata Standards Tutorial Metadata Registries and Big Data WG2 N1945 June 9, 2014 Beijing, China.
VTT-STUK assessment method for safety evaluation of safety-critical computer based systems - application in BE-SECBS project.
Integrating Security Design Into The Software Development Process For E-Commerce Systems By: M.T. Chan, L.F. Kwok (City University of Hong Kong)
Assessing the Suitability of UML for Modeling Software Architectures Nenad Medvidovic Computer Science Department University of Southern California Los.
Software Requirements Engineering CSE 305 Lecture-2.
Ontology for Federation and Integration of Systems Cross-track A2 Summary Anatoly Levenchuk & Cory Casanave Co-chairs 1 Ontology Summit 2012
Model-Driven Analysis Frameworks for Embedded Systems George Edwards USC Center for Systems and Software Engineering
Dimitrios Skoutas Alkis Simitsis
Verification and Validation in the Context of Domain-Specific Modelling Janne Merilinna.
Generative Programming. Automated Assembly Lines.
Discontinuous Galerkin Methods Li, Yang FerienAkademie 2008.
Akram Bitar and Larry Manevitz Department of Computer Science
Programming Languages and Design Lecture 3 Semantic Specifications of Programming Languages Instructor: Li Ma Department of Computer Science Texas Southern.
Finite Element Methods and Crack Growth Simulations Materials Simulations Physics 681, Spring 1999 David (Chuin-Shan) Chen Postdoc, Cornell Fracture Group.
Semantic Phyloinformatic Web Services Using the EvoInfo Stack Speaker: John Harney LSDIS Lab, Dept. of Computer Science, University of Georgia Mentor(s):
Metamodeling and Modeling language for Systems Biology SB-UML Magali ROUX-ROUQUIE CNRS, Paris.
Copyright 2001, Matt Dwyer, John Hatcliff, and Radu Iosif. The syllabus and all lectures for this course are copyrighted materials and may not be used.
THE SEMANTIC WEB By Conrad Williams. Contents  What is the Semantic Web?  Technologies  XML  RDF  OWL  Implementations  Social Networking  Scholarly.
Interactive educational system for coal combustion modeling in Power Plant boilers Marek Gayer, Pavel Slavík and František Hrdlička Computer.
Modeling and Visualization of Combustion Using Fluid Simulator and Particle Systems Ing. Marek Gayer (supervised by prof. Pavel Slavík) Computer Graphics.
An Ontology-based Approach to Context Modeling and Reasoning in Pervasive Computing Dejene Ejigu, Marian Scuturici, Lionel Brunie Laboratoire INSA de Lyon,
Partial Derivatives Example: Find If solution: Partial Derivatives Example: Find If solution: gradient grad(u) = gradient.
Concepts and Realization of a Diagram Editor Generator Based on Hypergraph Transformation Author: Mark Minas Presenter: Song Gu.
A Portrait of the Semantic Web in Action Jeff Heflin and James Hendler IEEE Intelligent Systems December 6, 2010 Hyewon Lim.
UML Profile BY RAEF MOUSHEIMISH. Background Model is a description of system or part of a system using well- defined language. Model is a description.
DCMI Abstract Model Analysis Resource Model Jorge Morato– Information Ingeneering Universidad Carlos III de Madrid
Yu, et al.’s “A Model-Driven Development Framework for Enterprise Web Services” In proceedings of the 10 th IEEE Intl Enterprise Distributed Object Computing.
Software Engineering, COMP201 Slide 1 Software Requirements BY M D ACHARYA Dept of Computer Science.
Review Functions. Function A function is a special type of relation in which each element of the domain is paired with exactly one element of the range.
1 Software Requirements Descriptions and specifications of a system.
Setting the stage: linked data concepts Moving-Away-From-MARC-a-thon.
Computational Fluid Dynamics Lecture II Numerical Methods and Criteria for CFD Dr. Ugur GUVEN Professor of Aerospace Engineering.
Introduction to the Finite Element Method
SysML v2 Formalism: Requirements & Benefits
The Role of Ontologies for Mapping the Domain of Landscape Architecture An introduction.
Web Ontology Language for Service (OWL-S)
WELCOME TO COSRI IBADAN
International Research and Development Institute Uyo
Model-Driven Analysis Frameworks for Embedded Systems
The Extensible Tool-chain for Evaluation of Architectural Models
Introduction to Functions
Presented by: Prof. Ali Jaoua
Semantic Markup for Semantic Web Tools:
Presented By: Darlene Banta
ETSI TC MTS TDL SC meeting Reports
PASSI (Process for Agent Societies Specification and Implementation)
Subject Name: SOFTWARE ENGINEERING Subject Code:10IS51
A framework for ontology Learning FROM Big Data
Presentation transcript:

An Unstructured Semantic Mesh Definition Suitable for Finite Element Method Marek Gayer, Hannu Niemistö and Tommi Karhela Technical Research Centre of Finland (VTT), Espoo The 14th IEEE International Conference on Computational Science and Engineering (CSE-2011), Dalian, China, August 24-26, 2011

2 05/02/2016 Introduction - Finite Element Method and Mesh  Finding solution for Partial Differential equations for evaluation of characteristics (e.g. potential, concentrations)  Discretizes continuum (i.e. modeled object) into finite number of elements – e.g. triangles: 2D, tetrahedron: 3D  Characteristics are determined in the nodes of the element  Suitable discretization of continuous domain to simple volume cell elements  Partial differential equations (PDE’s) can be replaced by system of non-linear algebraic equations

3 05/02/2016 Mesh groups (on nodes and elements)

4 05/02/2016 Demystifying “semantic modelling approach” and Semantic graph  Defining semantics ~ Adding “meaning” of data objects by specifying their relations and by annotating them using statements.  Based on ontologies (basically “objects and relations between them” model, see:  Data consists of resources, statements (forming triplets) and literals.  Resource: a node of the graph. A resource has a unique identity.  Statement: an edge of the graph. A statement consists of three resources: subject, predicate (relation), object.  Literal: any binary data attached to a resource.

5 05/02/2016 Example – Ontology based simulation model configuration in APROS 6 Different modelling and simulation approaches are modelled as ontologies and mapped together to form a consistent graph of model configurations.

6 05/02/2016 Requirements and features of our Semantic mesh proposal  Limited number of semantic resources (due to performance and low memory consumption)  Simplicity, rich data model description even with limited number of resources  Extendibility (possible adding of eventual new features utilizing current concepts)

7 05/02/2016 Our Semantic mesh datastructure definition  Key Features:  Abstract data features notation  Groups  Property assignments

8 05/02/2016 An example model of our Semantic mesh

9 05/02/2016 Implementation of our Semantic mesh definition

10 05/02/2016

11 05/02/2016 Additional future work includes:  Import from other FEM formats  Special mesh ontologies for concrete formats  Transformation of ontologies using Simantics Constraint Language  New CFD/FEM environment with special impact of 1D/3D process simulator integration

12 05/02/2016 Conclusion  The Semantic mesh definition  Number of semantic components necessary to allocate in a semantic database is limited =>  Reasonable memory requirements  Can be used for even very large meshes (millions of nodes and elements  Generality and extendibility  Tested in the semantic database in Simantics software platform and in our FEM integration software application

13 05/02/2016 VTT creates business from technology