Recherche

Publications

Liste des publications du LURPA

Lien Hal archives

Affichage des publications 771 à 780 sur 829 au total

Robotique

Towards automatic verification of ladder logic programs

Bohumir Zoubek, Jean-Marc Roussel, Martha Kwiatkowska

IMACS-IEEE "CESA'03" : "Computational Engineering in Systems Applications" - 2003

Robotique

Increasing the efficiency of PLC Program Verification using a plant model

José Machado, Bruno Denis, Jean-Jacques Lesage, Jean-Marc Faure, Jaime Ferreira da Silva

6th International Conférence on Industrial Enginneering and Production Management (IEPM'03) - 2003

Génie mécanique

Génération de trajectoires outils à hauteur de crête constante en fraisage à 5 axes

Cette communication présente une nouvelle méthode de génération de trajectoires à hauteur de crête constante pour l'usinage des surfaces gauches en fraisage à 3 et 5 axes avec un outil torique. L'approche que nous utilisons est basée sur une…

Christophe Tournier, Emmanuel Duc

Colloque nation AIP-PRIMECA - 2003

Robotique

Model of mechanism behavior for verification of PLC programs

José Machado, Bruno Denis, Jean-Jacques Lesage, Jean-Marc Faure, Jaime Ferreira da Silva

17th International Congress of Mechanical Engineering (COBEM'03) - 2003

Mécanique des structures

Crashworthiness optimization using a surrogate approach by stochastic response surface

Bruno Soulier, Lionel Richard, Bruno Hazet, Vincent Braibant

G. Gogu et al. (eds.) - 2003

Génie mécanique

Stratégies d'usinage et productivité en fraisage des surfaces complexes

Le processus de réalisation des moules et des matrices a largement été modifié par l'utilisation de nouvelles techniques comme l'usinage à grande vitesse et l'interpolation polynomiale. Son optimisation impose une intégration complète entre la FAO,…

Christophe Tournier, Emmanuel Duc

16ème Congrès Français de Mécanique - 2003

Mécanique