Rule-based transformations for geometric modelling

Autor: Bellet, Thomas, Arnould, Agnès, Gall, Pascale Le

Publikováno v: EPTCS 48, 2011, pp. 20-37

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 stru

Externí odkaz: http://arxiv.org/abs/1102.2652

Préservation de la cohérence des transformations topologiques et géométriques

Autor: Gauthier, Valentin, Bellet, Thomas, Belhaouari, Hakim, Arnould, Agnès

Publikováno v: 15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016)
15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2016), Jun 2016, Besançon, France

International audience; Dans des travaux antérieurs, nous avons proposé un formalisme basé sur les transformations de graphes pour définir des opérations géométriques à base topologique. Une règle de transformation définit une opération su

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::db0d21e64184d164dd2a47a28b13adc8
https://hal.archives-ouvertes.fr/hal-01817884

Modélisation nD à base d'algèbres géométriques

Autor: Bellet, Thomas, Arnould, Agnès, Charneau, Sylvain, Fuchs, Laurent

Publikováno v: 21ème journées de l'AFIG (AFIG 2008)
21ème journées de l'AFIG (AFIG 2008), Nov 2008, Toulouse, France

3ème prix du meilleur article jeunes chercheurs; Dans cet article nous nous intéressons au plongement d'une structure topologique. Pour modéliser un objet, l'approche usuelle en modélisation à base topologique est de séparer la structure de l'o

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e63da79316a614b296e1b281cc584da7
https://hal.archives-ouvertes.fr/hal-00354183