Modélisation géométrique et arithmétique par intervalles

Geometric modelling and interval arithmetic

• Auteur / Autrice : Loïc Lamarque
• Direction : Dominique Michelucci, Dominique Faudot
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 2006
• Etablissement(s) : Dijon

Mots clés

Mots clés contrôlés

Arithmétique

Modélisation tridimensionnelle

Modèles géométriques

Résumé

Les objets géométriques sont souvent modélisés par des systèmes d'équations et d'inéquations particuliers. Toutefois, tout système d'équations et d'inéquations définit un objet géométrique. Cette thèse s'intéresse à la possibilité de spécifier un objet géométrique par un système de contraintes qui sera résolu par un solveur. Elle explicite aussi les difficultés que rencontre un tel solveur et apporte des débuts de solutions.

Geometrical objects are often modelled by systems of equations and inequalities. However, any system of equations ans inequalities defines a geometrical object. This thesis focuses on the possibility of specifying a geometrical object by a system of constraints which will be solved by a solver. It also clarifies the difficulties encountered by such a solver and suggests beginning of solutions.