Difference between revisions of "Recherche:theme1"
David.cazier (talk | contribs) |
|||
Line 1: | Line 1: | ||
+ | ''' A REFAIRE EN ANGLAIS ''' | ||
+ | |||
== Modélisation, Construction et Preuves en géométrie == | == 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. | 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. |
Revision as of 16:04, 10 April 2007
A REFAIRE EN ANGLAIS
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 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: modélisation géométrique et topologique
Participants:
- Dominique Bechmann
- Sylvain Brandel
- David Cazier
- Sylvain Thery
- Jean-François Dufourd
Opération 2: constructions géométriques et résolution de contraintes
Participants:
- Pascal Schreck
- Pascal Mathis
- Caroline Villard
Opération 3: spécifications et preuves en géométrie
Participants:
- Jean-François Dufourd
- Nicolas Magaud