Notes de cours en format pdf
La première tâche d'un modeleur géométrique
est de passer efficacement d'une représentation à l'autre.
L'ouvrage de Ch. Hoffmann donne une bonne idée des algorithmes en jeu.
Dans ce cours, on se concentre sur les points suivants.
On s'attache à donner des définitions et des énoncés
précis. Les démonstrations sont données à titre
de référence (certaines ne se trouvent pas dans la littérature)
mais ne constituent pas l'essentiel du cours.
Théorème. L'intersection de deux surfaces transverses est une collection de courbes.
Passons à la pratique. Soit c une courbe obtenue comme composante
de l'intersection de deux surfaces. On suppose connu un point de c.
Alors on peut calculer une paramétrisation de la courbe c de proche
en proche, par cheminement. Le problème d'énumérer
les composantes connexes d'une intersection de surfaces, et de placer un
point sur chacune d'entre elles, n'est pas du ressort de la topologie différentiel.
Dans le cas des surfaces algébriques, les méthodes du calcul
formel s'appliquent, voir le cours d'A. Lichnewsky.
Le bord d'une surface à bord orientée, et plus généralement, d'un polygone plan orienté, hérite lui-même d'une orientation. C'est ainsi que les arêtes d'une même face d'un polyèdre viennent avec un ordre circulaire, qui constitue un mode de représentation commode.
On commence par traiter le cas des surfaces lisses, puis celui des polyèdres,
i.e. des objets dont le bord est contenu dans une collection finie de plans
affines, et enfin on traite les polyèdres curvilignes, i.e. les objets
bordés par des surfaces deux à deux transverses.
Dans ce chapitre, on donne une réponse à cette question pour la classe des polyèdres curvilignes. La réponse est qu'il y a une condition nécessaire à vérifier en chaque sommet, et que cette condition est suffisante si le polyèdre est connexe.
Théorème. Soit P un polyèdre curviligne normalement orienté. Si P borde, alors en tout point p de P, le lien en p borde. Inversement, si P est connexe et si tous les liens de P en des sommets de P bordent, alors P borde.
La preuve repose sur la notion d'indice d'un polyèdre normalement
orienté P par rapport à un point p qui n'est pas dans P. Pour
chaque demi-droite D issue de p et transverse à P, l'indice est le
nombre de points d'intersection de D avec P, comptés avec un signe
donné par l'orientation normale. Si les liens de P en ses sommets
bordent, alors l'indice ne dépend pas du choix de D. Si P est connexe,
l'indice ne prend que deux valeurs. Le lieu des points où l'indice
vaut +1 ou -1 est un domaine bordé par P.
Bibliographie
Hoffmann, Ch. Geometric and solid modeling, an introduction.(English)
Morgan Kaufmann, San Mateo CA (1989).
Milnor, J.W. Topology from the differentiable viewpoint. (English).
The University Press of Virginia (1965).
Les notions utiles sont celles d'abscisse curviligne, de courbure
et de torsion pour les courbes. Pour les surfaces, c'est le plan
tangent, l'élément d'aire et la seconde forme fondamentale.
La discussion des congés conduit à étudier les courbes
et surfaces équidistantes (offset) et à aborder le
rayon d'injectivité normal.
Théorème. En raccordant deux courbes planes de classe
C2 en un point p, on obtient une courbe de classe
- G1 si et seulement si les deux courbes ont même tangente
orientée en p.
- G2 si et seulement si les deux courbes ont même tangente
orientée et même courbure en p.
Bibliographie
Spivak, M. A comprehensive introduction to differential geometry. Vol.
II, III, IV. (English). Publish or Perish, Inc. (1979).
D'autre part, le calcul de la courbe en fonction des paramètres doit être rapide.
Les B-splines, utilisées en analyse numérique depuis les années 30, possèdent les propriétés voulues. Comme il est impossible de paramétrer exactement un cercle au moyen de B-splines, on introduit une famille un peu plus large, les B-splines rationnelles ou NURBS.
L'objet de ce chapitre est de définir les B-splines et leurs variantes
(elles font partie des fonctionnalités de ACIS et CATIA), de décrire
les algorithmes nécessaires à leur manipulation, les paramètres
en jeu, leur signification et leurs effets.
Bibliographie
Farin, G. Curves and surfaces for computer aided geometric design, a
practical guide. 2nd ed. (English) Academic Press (1990).
Farin, G. NURBS. From projective geometry to practical use.2nd ed.
(English) A. K. Peters. (1999).
Hoschek, J.; Lasser D. Grundlagen der geometrischen Datenverarbeitung.
(Deutsch) Teubner, Stuttgart (1989).
Hoschek, J.; Lasser D. Fundamentals of computer aided geometric design.
(English) A. K. Peters, Wellesley, Mass. (1993).
Kress, R. Numerical Analysis. (English) Graduate Texts in Math.
181, Springer, Heidelberg (1998).
Risler, J.-J. Méthodes mathématiques pour la CAO.
(Français) Masson, Paris (1991).