Programmation déclarative en C. A. O. : application à la théorie des mécanismes

par Cédric Hutt

Thèse de doctorat en Automatique

Sous la direction de André Clément.


  • Résumé

    Une étude des systèmes informatiques d'aide à la conception met en lumière la nécessité d'une mise en oeuvre variée de connaissances hétérogènes. Dans ce contexte, l'utilisation de techniques de programmation déclarative se révèle particulièrement bien adaptée. Dans le cadre de la conception d'ensembles mécaniques, il est primordial de modéliser les contacts et les connaissances géométriques afin de pouvoir automatiser les raisonnements géométriques. De tels raisonnements permettent de calculer et de modifier les dimensions et les positions relatives des pièces constituant un mécanisme et peuvent être exploitées pour assister la cotation de ce mécanisme.

  • Titre traduit

    Declarative programming in C. A. D. Applications in mechanism theory


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (265 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 196-215

Où se trouve cette thèse\u00a0?

  • Bibliothèque : École normale supérieure. Bibliothèque.
  • Non disponible pour le PEB
  • Cote : LURPA / THESE 1990 06
  • Bibliothèque : CentraleSupélec. bibliothèque.
  • Non disponible pour le PEB
  • Cote : TH 52675

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèques et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Accessible pour le PEB
  • Cote : MF-1990-HUT
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.