Les problèmes de satisfaction de contraintes géométriques (GCSP) sont omniprésents dans les applications de CAO, de robotique ou de biologie moléculaire. Ils consistent à chercher les positions, orientations et dimensions d'objets géométriques soumis à des relations géométriques. Le but de la thèse était de proposer une méthode complète et efficace pour la résolution de GCSP. Dans la première partie, nous comparons des méthodes de résolution et de décomposition, et optons pour la décomposition de Hoffmann et al. et la résolution par intervalles. Nous définissons un cadre général pour l'étude de la rigidité, concept central dans les techniques de décomposition géométrique. Dans la seconde partie, nous analysons la méthode de Hoffmann et al., et les limites inhérentes à toute approche géométrique structurelle. Nous proposons le concept de degré de rigidité pour surmonter certaines de ces limites. Nous introduisons une nouvelle méthode de décomposition, et sa combinaison avec les techniques de réslution par intervalles.

La vérification des programmes est indispensable pour maintenir un certain niveau de qualité et de fiabilité. Le test est à ce jour le moyen de vérification des logiciels le plus utilisé dans l¤industrie. La programmation par contraintes est vue comme un moyen efficace pour automatiser la génération de données de test. Dans cette thèse nous proposons une modélisation par contraintes de la sémantique du bytecode Java, ainsi qu¤une méthode, basée sur cette modélisation, pour générer automatiquement des données de test. Notre modèle à contraintes de la sémantique d¤un programme en bytecode Java permet de faire des déductions efficaces, y compris en présence de structures de données complexes ou d¤héritage. En particulier, l¤utilisation de variables de type permet de prendre en compte l¤héritage et les appels de méthodes polymorphes. Notre méthode de génération de données de test exploite le modèle à contraintes pour couvrir des instructions particulières du programme sous test. Elle se base sur un parcours en arrière du graphe de flot de contrôle pour énumérer des chemins menant aux instructions cibles. Elle est en particulier adaptée à la couverture d¤instructions non couvertes par les autres méthodes de génération de données de test. Enfin cette méthode est mise en application dans un prototype, JAUT (Java Automatic Unit Testing). Les expériences montrent que le prototype permet d¤augmenter la couverture des instructions obtenue avec les autres outils disponibles.

La modélisation tridimensionnelle à partir d'images est un processus souvent sous-contraint et sensible au bruit. L'usage de contraintes géométriques permet de rendre ce processus plus robuste, même à partir de peu d'images, en prenant en compte les connaissances intuitives de l'utilisateur sur les objets présents dans la scène. Nous proposons dans cette thèse différentes approches pour la satisfaction de contraintes sur la scène et les caméras. En particulier, nous introduisons une approche novatrice pour la satisfaction de contraintes de manière exacte. Contrairement à la plupart des approches existantes, chaque méthode proposée est accompagnée d'algorithmes pour gérer des cas dans lesquels l'information fournie par l'utilisateur n'est pas suffisante pour reconstruire un modèle unique. Les méthodes proposées dans cette thèse sont validées par la reconstruction de modèles tridimensionnels à partir de petits ensembles d'images, voire à partir d'une seule image. Les images utilisées proviennent de sources très variées, telles que l'Internet, des cartes postales ou des dessins architecturaux.

Reproduction de : Thèse de doctorat : Mécanique et matériaux : Reims : 2004. / Titre provenant de l'écran titre. Réf. bibliogr. en fin de chapitres.

Reproduction de : Thèse de doctorat : Matériaux-Structure-Mécanique : Toulouse, INPT : 2004. / Titre provenant de l'écran-titre. Bibliogr. 192 réf.

Thèse de doctorat : Génie mécanique et productique : Le Mans : 2005. / Titre provenant de l'écran-titre. Bibliogr. p. 143 -150.

Reproduction de : Thèse de doctorat : Systèmes industriels : Toulouse, INPT : 2006. / Titre provenant de l'écran-titre. Bibliogr. 111 réf.

Reproduction de : Thèse de doctorat : Informatique : Toulouse 3 : 2007. / Titre provenant de l'écran-titre. Bibliogr. p. 251-265.

Thèse en accès restreint. Reproduction de : Thèse de doctorat : Informatique : Toulouse 3 : 2007. / Titre provenant de l'écran-titre. Bibliogr. p. 143-154.

Reproduction de : Thèse de doctorat : Mécanique : Lille 1 : 2005. / N° d'ordre (Lille 1) : 3674. Titre provenant de la page de titre du document numérisé. Bibliogr. p. 163-172.