Loop detection in surface patch intersections (Q1107257)

Es wird eine hinreichende Bedingung (B) dafür entwickelt, daß alle Zweige der Schnittkurve von zwei parametrisierten Flächenmaschen \(F_ 1\), \(F_ 2\) (Bézier-Tensorproduktflächen) einen Punkt auf mindestens einer der beiden Randkurven \(\partial F_1\), \(\partial F_2\) besitz en. Ist (B) erfüllt, so enthält die Schnittkurve \(f\) keine geschlossenen Schlingen. Erfüllen F(sub 1) and F(sub 2) die Bedingung (B), so ist die Randkurve \(\partial F_1\) mit \(F_2\) und die Randkurve \(\partial F_2\) mit \(F_1\) zu schneiden, um Startpunkte für alle Zweige der Schnittkurve \(f\) zu finden. Ausgehend von diesen Startpunkten lassen sich die Kurvenzweige mit einem Verfolgungsalgorithmus ermitteln. Zur Herleitung der Bedingung (B) wird zunächst ein Test entwickelt, der garantiert, daß zwei ebene Bezier-Kurvensegmente einander in höchstens einem Punkt schneiden. Dieser Test bedient sich des Winkelraums, der durch den Hodographen (das Tangentenbild) eines Bezier-Kurvensegments definiert wird. An die Stelle der Winkelräume treten bei Raumkurven Drehkegel, ebenso bei den Parameterkurven der Flächenmaschen \(F_1\), \(F_2\). Auch das sphärische Normalenbild einer Flächenmasche kann in den Test einbezogen werden. Die Herleitung wird durch 15 instruktive Figuren unterstützt.