Précédent : Actions industrielles
Remonter : Projet PRISME, Géométrie, Algorithmes et
Suivant : Diffusion des résultats
L'objectif est d'étudier les méthodes et techniques permettant
la réalisation de logiciels garantissant la fiabilité des
résultats. Comme indiqué plus haut (Section ), le
calcul géométrique est très sensible aux erreurs de précision qui
peuvent induire des incohérences dans la topologie des objets
manipulés.
Un séminaire de lancement de l'action Fiable a eu lieu les 8 et 9 septembre 1997.
En collaboration avec les projets ROBOTVIS et SAFIR, nous avons formé cette année un groupe de travail sur la démonstration automatique de théorèmes géométriques, organisé par Théodore Papadopoulo. Une dizaine de séances ont eu lieu.
Monique Teillaud anime un groupe de travail réunissant des membres des projets PRISME et SAFIR autour de l'étude d'algorithmes pour les objets courbes.
Franck Nielsen (LIX, École Polytechnique) a passé un mois dans le projet à l'automne.
Le séminaire Prisme a donné la parole à plusieurs orateurs
extérieurs :
Jean-Paul Berroir (Projet AIR, INRIA Rocquencourt),
Frédéric Cazals (Projet ALGO, INRIA Rocquencourt),
Pascal Frey (Projet GAMMA, INRIA Rocquencourt),
André Lieutier (Matra DataVision, Aix-en-Provence),
Dominique Michelucci (École des Mines de St-Étienne ),
Roger Mohr (Projet MOVI, INRIA Rhône-Alpes),
Fabrice Rouillier (Projet Eureca, INRIA Lorraine),
Jean Sequeira (LIM - CNRS, Marseille).
J-P. Merlet est membre de l'intercommission 1 de l'INSERM en charge des << Organes artificiels et systèmes de suppléance >>. Il est secrétaire de la section française de la Fédération Internationale sur la Théorie des Machines et Mécanismes (IFToMM).
Le projet participe au projet de recherche communautaire suivant :
- Acronyme : CGAL,
numéro 21957
- Titre : Constructing a Geometric Algorithms Library
- Programme spécifique du projet :
ESPRIT
- Modalité du projet : Long Term Research.
- Date de début : 1-10-96 - Durée : 18 mois
- Mode de participation du projet Inria: partenaire
- Coordinateur: Rijksuniversiteit Utrecht, NL.
- Liste des partenaires :
ETH Zürich (Suisse), Freie Universität Berlin (Allemagne), MPI
Saarbrücken (Allemagne), RISC Linz (Autriche), Tel Aviv
University (Israël)
- Résumé du projet : l'objet du projet est de fournir une
bibliothèque d'algorithmes géométriques. Le projet réunit sept
équipes de recherche représentant six états différents de l'union
européenne.
- Pour plus d'informations : http://www.cs.ruu.nl/CGAL/
Nous faisons partie du réseau européen BRITE Par.The.Net (BETN-179), accepté en septembre 1997, destiné à l'application des robots parallèles dans le domaine de la machine-outil et qui regroupe des universitaires et industriels italiens et allemands.
Un contrat de collaboration avec l'université McGill de Montréal, << Géométrie algorithmique pour la CAO et la conception optimale des robots >>, nous a été accordé par la commission permanente de collaboration franco-québécoise.
Tetsuo Asano (Japan Advanced Institute of Science and
Technology, Ishikawa),
Mordecaï J. Golin (Hong Kong University of Science and
Technology),
Naoki Katoh (Kyoto University),
Kensuke Onishi (Kobe University),
Takeshu Tokuyama (IBM Tokyo Research Laboratory),
ont séjourné quelques jours au sein du projet et ont pris la
parole à notre séminaire.