Publications

Automatic

Une approche de méta-modélisation formelle des méthodes de conception des systèmes automatisés de production

La conception des systèmes automatisés de production (SAP) passe par la construction de modèles. La qualité du système conçu dépend de la qualité des modèles produits, et donc des langages et méthodes utilisés pour construire ces modèles. De…

Laurent Piétrac, Bruno Denis

Journées Doctorales d'Automatique (JDA'99) - 1999

Automatic Control Engineering

A formal meta-modeling approach for the design of automated manufacturing systems

The design of Automated Manufacturing Systems AMS consists in the construction of many models. The quality of the designed system depends on the quality of the produced models, and also on the quality of the languages and methods used during the…

Laurent Piétrac, Bruno Denis, Jean-Jacques Lesage

International Workshop on Formal Methods and Manufacturing (FM&M99) - 1999

Génie mécanique

Intégration Produit/Process par le tolérancement tridimensionnel en fabrication

François Villeneuve, Olivier Legoff, Pierre Bourdet

3ème congrès international de génie industriel - 1999

Génie mécanique

Three Dimensional geometrical tolerancing in process planning

François Villeneuve, Olivier Legoff, Pierre Bourdet

32nd CIRP International Seminar on Manufacturing Systems - 1999

Robotique

SAGITAL : un environnement d'aide à la conception de grafcets basé sur des méta-modèles

Cet article présente la démarche de conception d'un logiciel d'assistance à la vérification syntaxique et à la simulation de modèles grafcet. Cette démarche consiste à déduire la structure de données et les algorithmes du logiciel d'assistance de…

Jean-Marc Faure, Florent Couffin, Sandrine Lampérière-Couffin

2ème Congrès Modélisation des Systèmes Réactifs (MSR'99) - 1999

Robotique

Apport de la méta-modélisation formelle pour la conception des Systèmes Automatisés de Production

Les travaux présentés dans ce mémoire portent sur l'étude des langages et méthodes de conception des Systèmes Automatisés de Conception (SAP). Notre objectif est l'amélioration de la rigueur de la définition de ces langages et méthodes. Le moyen…

Laurent Piétrac

Génie mécanique

Geometrical Tolerancing in Process Planning : a tridimensional approach

Olivier Legoff, François Villeneuve, Pierre Bourdet

Proceedings of the Institution of Mechanical Engineers, Part B: Journal of Engineering Manufacture - 1999

Génie mécanique

A certification method for the milling process of free-form surfaces using a test part

François Thiebaut, C Lartigue, E Duc

International Journal of Production Research - 1999

Sciences du Vivant

Regioselectivity of 1,3-Dipolar Cycloaddition of 3-Oxidopyridinium Betaines to Olefins and Stereoselective Synthesis of 6-Alkyloxy-5-oxa-9-azatricyclo[5.2.1.04,8]decan-2-one Derivatives

Jean-Claude Teulade, François Estour, Stéphane Rézel, Didier Fraisse, Jacques Métin, Vincent Gaumet, Claire Lartigue, Gilles Miscoria, Alain Gueiffier, Yves Blache, Olivier Chavignon

Heterocycles - 1999

Sciences du Vivant

Preliminary Study of the Total Synthesis of Bao Gong Teng A Analogs Using 8-Benzyl-2-oxo-8-azabicyclo[3.2.1]oct-3-ene-6-endo/exo- and 7-endo/exo-carbonitrile

Olivier Chavignon, Stéphane Rézel, François Estour, Damien Canitrot, Elena V. Bejan Voinea, Jean-M. Chezal, Claire Lartigue, Yves Blache, Alain Gueiffier, Gérard Dauphin, Jean C. Teulade

Heterocycles - 1999