From Team IGG : Computer Graphics and Geometry
Jump to navigation
Jump to search
|
|
| Line 1: |
Line 1: |
| − | ''' A REFAIRE EN ANGLAIS '''
| + | English version unavailable for now<br/> |
| − | | + | Please have a look at the [http://lsiitng.u-strasbg.fr/igg-fr/index.php/Recherche:th%C3%A8me1 french version] of the page |
| − | == Modélisation, Construction et Preuves en géométrie ==
| |
| − | Ce thème fédère les activités de recherche autour de la modélisation géométrique qu’il conjugue sous toutes ces coutures. Ce thème se découpe en trois opérations complémentaires.
| |
| − | | |
| − | L’opération 1 (modélisation géométrique et topologique) constitue le socle commun à toute l’équipe. L’opération 2 (constructions géométrique automatisées) représente un apport complémentaire enrichissant. L’opération 3 (spécifications et preuves en géométrie) est particulièrement originale fait profiter la modélisation géométrique des toutes dernières techniques de spécifications et preuves.
| |
| − | | |
| − | === Participants ===
| |
| − | * 4 professeurs:
| |
| − | ** Dominique Bechmann
| |
| − | ** Jean-François Dufourd
| |
| − | ** Jean-Michel Dischler
| |
| − | ** Pascal Schreck
| |
| − | * 5 Maîtres de conférences:
| |
| − | ** Sylvain Brandel
| |
| − | ** David Cazier
| |
| − | ** Nicolas Magaud
| |
| − | ** Pascal Mathis
| |
| − | ** Caroline Villard
| |
| − | * un ingénieur de recherche:
| |
| − | ** Sylvain Thery [http://dpt-info.u-strasbg.fr/~thery web_perso]
| |
| − | | |
| − | === Problématique ===
| |
| − | * séparation des problèmes de structure et de forme
| |
| − | * résolutions formelles
| |
| − | * preuves.
| |
| − | | |
| − | Activité transverse intégrative:
| |
| − | * Plate-forme logicielle de modélisation géométrique
| |
| − | | |
| − | Applications privilégiées:
| |
| − | * Applications médicales
| |
| − | | |
| − | === Découpage en opérations ===
| |
| − | Ce thème se décompose en 3 opérations:
| |
| − | | |
| − | ''' Opération 1: [[IGG_THEME1_OPERATION1|modélisation géométrique et topologique]]'''
| |
| − | | |
| − | Participants:
| |
| − | * Dominique Bechmann
| |
| − | * Sylvain Brandel
| |
| − | * David Cazier
| |
| − | * Sylvain Thery
| |
| − | * Jean-François Dufourd
| |
| − | | |
| − | | |
| − | ''' Opération 2: [[IGG_THEME1_OPERATION2|constructions géométriques et résolution de contraintes]] '''
| |
| − | | |
| − | Participants:
| |
| − | * Pascal Schreck
| |
| − | * Pascal Mathis
| |
| − | * Caroline Villard
| |
| − | | |
| − | | |
| − | ''' Opération 3: [[IGG_THEME1_OPERATION3|spécifications et preuves en géométrie]] '''
| |
| − | | |
| − | Participants:
| |
| − | * Jean-François Dufourd
| |
| − | * Nicolas Magaud
| |
Revision as of 17:56, 18 December 2007
English version unavailable for now
Please have a look at the french version of the page
