DeepAI
Log In Sign Up

Rule-based transformations for geometric modelling

02/14/2011
by   Thomas Bellet, et al.
0

The context of this paper is the use of formal methods for topology-based geometric modelling. Topology-based geometric modelling deals with objects of various dimensions and shapes. Usually, objects are defined by a graph-based topological data structure and by an embedding that associates each topological element (vertex, edge, face, etc.) with relevant data as their geometric shape (position, curve, surface, etc.) or application dedicated data (e.g. molecule concentration level in a biological context). We propose to define topology-based geometric objects as labelled graphs. The arc labelling defines the topological structure of the object whose topological consistency is then ensured by labelling constraints. Nodes have as many labels as there are different data kinds in the embedding. Labelling constraints ensure then that the embedding is consistent with the topological structure. Thus, topology-based geometric objects constitute a particular subclass of a category of labelled graphs in which nodes have multiple labels.

READ FULL TEXT

page 1

page 2

page 3

page 4

12/06/2019

Topological and Geometric Reconstruction of Metric Graphs in R^n

We propose an algorithm to estimate the topology of an embedded metric g...
07/31/2018

Caging Loops in Shape Embedding Space: Theory and Computation

We propose to synthesize feasible caging grasps for a target object thro...
07/05/2021

Beyond the Hausdorff Metric in Digital Topology

Two objects may be close in the Hausdorff metric, yet have very differen...
06/22/2020

SN-Engine, a Scale-free Geometric Modelling Environment

We present a new scale-free geometric modelling environment designed by ...
10/18/2018

An Efficient Data Retrieval Parallel Reeb Graph Algorithm

The Reeb graph of a scalar function defined on a domain gives a topologi...
07/02/2020

Graphs without gap-vertex-labellings: families and bounds

A proper labelling of a graph G is a pair (π,c_π) in which π is an assig...
06/19/2019

A Topological Application of Labelled Natural Deduction

We use a labelled deduction system based on the concept of computational...