Contribution à la synthèse des langages déclaratifs de spécifications géométriques
Auteurs   Cubeles-Valade, Catherine-Isabelle (Auteur)
Clément, André (Direction)
Collation   1 vol. (283 p.)
Illustration   Ill.
Format   30 cm
Langue d'édition   français
Sujets   Sciences appliquées -- thèses et écrits académiques
Nombre de réservation(s) actuelle(s) : 0
Réservation
SiteNuméroCoteSection / LocalisationEtat
Bibliotheque 1029130000017 TH 172Adulte / RéserveInterdit de Sortie
Résumé : Le concept de qualité, présent au cours du cycle de vie d'un produit, a pour objectif de garantir une optimisation du cycle, par un tolérancement explicitement défini, une production efficace, un contrôle cohérent, une intégration sans interprétation humaine de l'information entre ces trois phases. Différents langages de représentation des tolérances sont présentés (au travers de la normalisation, des travaux industriels et universitaires), pour l'élaboration d'un langage déclaratif, par opposition au langage procédural (interprétation de processus). Ce langage est défini conformément aux spécifications normalisées de tolérancement dimensionnel et geometrique. la géométrie déclarative des surfaces permet l'intégration des données avec le tolérancement, par un langage commun, explicite, biunivoque et déclaratif, le nouveau modèle SATT. Ces travaux sont bases sur les modèles SATT (surfaces associées technologiquement et topologiquement), et geospelling et sur l'objet, point courant de de Casteljau. ce nouveau modèle déclaratif est étendu au contrôle et a la mesure dimensionnels (vérification de la dimension, forme, position et orientation), avec l'idée d'une métrologie complètement intégrée et sans interprétation humaine, afin de garantir une cohérence des données (bureau d'études/bureau des méthodes/bureau de métrologie), de favoriser des retours d'information vers ces services pour des analyses. Les relations entre les spécifications et les informations extraites de la géométrie réelle de la pièce contrôlée sont déclarées pour la constitution puis la déduction des calculs métrologiques. La méthode est basée sur la déclaration d'ensembles de contraintes mathématiques, transmis a des solveurs généralistes pour leurs résolutions. Des exemples de déclarations de zones de tolérances décalées et évolutives et de calculs métrologiques sont implémentés en annexe. Les entités de ce nouveau modèle SATT sont définies par le langage neutre express.
Notes : Bibliogr. p. 273-283
Thèse de doctorat : Sciences Appliquées : Ecole Centrale de Paris : 1998 (version d'origine)