Publications

Mécanique

Modularization of multi-physics complex systems

Mons Pierre, Laurent Tapie, Luc Mathieu

CATS 2010 - Conference - 2010

Mécanique

SMOOTHNESS OPTIMIZATION OF 5-AXIS HIGH-SPEED FLANK MILLING TOOL PATHS

Pierre-Yves Pechard, Xavier Beudaert, Christophe Tournier, Claire Lartigue

Eighth International Conference on High Speed Machining - 2010

Robotique

Verification of a timed multitask system with UPPAAL

Houda Bel Mokadem, Béatrice Berard, Vincent Gourcuff, Olivier de Smet, Jean-Marc Roussel

IEEE Transactions on Automation Science and Engineering - 2010

Mécanique

Contribution à la recherche de spécifications pour la gestion des variations géométriques au plus tôt dans le cycle de conception

Les travaux présentés proposent une méthode appelée GeoSpecif. L'objectif de cette méthode est de proposer une assistance à la recherche de spécifications géométriques. Cette méthode doit, de plus, s'intégrer au cycle de conception. Ces travaux sur…

Renaud Costadoat

Mécanique

Model for the prediction of 3D surface topography in 5-axis milling

Sylvain Lavernhe, Yann Quinsat, Claire Lartigue

International Journal of Advanced Manufacturing Technology - 2010

Sciences de l'ingénieur

Quick GPS: A new CAT system for single-part tolerancing

Bernard Anselmetti, Robin Chavanne, Jian-Xin Yang, Nabil Anwer

Computer Aided Geometric Design - 2010

Robotique

Conception et réalisation de pièces prototypes fonctionnelles en usinage sur machines-outils à commande numérique 5 axes

A ce jour, les pièces prototypes réalisées à partir de poudre ou de liquide n'ont pas forcement des propriétés mécaniques suffisantes ni la précision requise pour être placées dans des mécanismes fonctionnels. L'objectif de ce travail est de…

Tammam Salloum

Mécanique

Simulation et quantification tridimensionnelledes défauts générés par un processus de fabrication

La cotation de fabrication a pour but de déterminer l'état géométrique et dimensionnel intermédiaire de la pièce tout au long de son processus de fabrication. Pour respecter, d'une part, les exigences fonctionnelles données par le dessin de…

Badreddine Ayadi

Mécanique

Modélisation d'axe de machine outil pour la simulation du suivi de trajectoires en UGV

Le processus de réalisation des pièces de formes complexes par Usinage Grande Vitesse (UGV) est constitué de différentes étapes telles que la génération de trajectoires, leur exécution et suivi sur machine outil, la coupe, etc. Les écarts ou…

David Prévost, Sylvain Lavernhe, Claire Lartigue

11ème colloque National AIP PRIMECA La Plagne - 2009

Sciences de l'ingénieur

Architectures de contrôle-commande redondantes à base d'Ethernet Industriel‎ : ‎modélisation et validation par model-checking temporisé

Les travaux présentés dans ce mémoire s'intéressent aux mécanismes de redondance spécifiés par un protocole de réseau de terrain sur Ethernet. L'objectif est de valider la spécification par rapport à des exigences de disponibilité. Le contexte…

Steve Limal