Cohérence de la spécification d'un objet de l'espace euclidien à n dimensions
Auteurs   Serré, Philippe (Auteur)
Clément, André (Direction)
Collation   1 vol. (VI-161 p.)
Illustration   ill
Format   30 cm
Langue d'édition   français
Sujets   Automatique -- thèses et écrits académiques
Nombre de réservation(s) actuelle(s) : 0
Réservation
SiteNuméroCoteSection / LocalisationEtat
Bibliotheque 1027670000016 TH 71Adulte / RéserveInterdit de Sortie
Résumé : Les logiciels de CAO permettent aujourd'hui de décrire les objets géométriques par un ensemble de spécifications, appelées contraintes géométriques. Un programme, appelé solveur, se charge ensuite de résoudre les contraintes et ainsi calcule la -ou une- géométrie solution. Le travail présenté explore deux modélisations géométriques non cartésiennes. La modélisation déclarative est tout d'abord défini et ses avantages et inconvénients sont identifies. L?accent est principalement porte sur la difficulté du contrôle de la cohérence et de la non-ambiguïté du système de contraintes. L'objectif de la thèse est l'étude de la validité du système de contraintes et pour cela les contraintes dues aux propriétés de l'espace euclidien doivent être explicitées. Une étude critique de 4 modèles de contraintes, l'un issu du projet GPS de iso, deux autres du projet STEP de l'ISO et le dernier, de la théorie SATT développée au LISMMA permet de proposer un modèle d'information original. Une nouvelle contrainte d'existence permet d'expliciter que l'objet a construire existe alors que la contrainte de plongement permet d'expliciter qu'il appartient a un espace de dimension d. de plus, le nouveau concept de contrainte de chiralité est introduit pour distinguer si deux objets sont de même sens ou de sens oppose et il est ajoute la distinction entre élément géométrique courant (qui appartient a la surface) et élément géométrique de situation (par exemple le centre d'une sphère). Un premier modèle géométrique non cartésien traduit toutes les contraintes géométriques en contraintes portant uniquement sur des distances entre des points. il est a noter que les travaux de de Tilly sont, pour la majeure partie, a l'origine des relations générées ici. Malheureusement, en l'état actuel cette modélisation est pratiquement inutilisable du fait de la quantité exponentielle de relations a générer. le second modèle géométrique non cartésien traduit toutes les contraintes géométriques en équations et inéquations a partir des propriétés du tenseur métrique. en particulier, la contrainte d'existence correspond au fait qu'un tenseur métrique est une forme définie positive et la contrainte de plongement que le rang du tenseur métrique est égal a la dimension de l'espace qu'il définit. En l'état, cette modélisation génère n 2/2 relations.
Notes : Bibliogr. p. 155-160
Thèse de doctorat : Sciences Appliquées : Ecole Centrale de Paris : 2000 (version d'origine)
N d'ordre 2000-08