Abstract:Computing the intersection between two parametric surfaces (SSI) is one of the most fundamental problems in geometric and solid modeling. Maintaining the SSI topology is critical to its computation robustness. We propose a topology-driven hybrid symbolic-numeric framework to approximate rational parametric surface-surface intersection (SSI) based on a concept of interval algebraic topology analysis (IATA), which configures within a 4D interval box the SSI topology. We map the SSI topology to an algebraic system's solutions within the framework, classify and enumerate all topological cases as a mixture of four fundamental cases (or their specific sub-cases). Various complicated topological situations are covered, such as cusp points or curves, tangent points (isolated or not) or curves, tiny loops, self-intersections, or their mixtures. The theoretical formulation is also implemented numerically using advanced real solution isolation techniques, and computed within a topology-driven framework which maximally utilizes the advantages of the topology maintenance of algebraic analysis, the robustness of iterative subdivision, and the efficiency of forward marching. The approach demonstrates improved robustness under benchmark topological cases when compared with available open-source and commercial solutions, including IRIT, SISL, and Parasolid.

Intersection Testing Between an Ellipsoid and an Algebraic Surface.

Topology Driven Approximation to Rational Surface-Surface Intersection Via Interval Algebraic Topology Analysis.

Algebraic algorithms for computing intersections between Torus and natural Quadrics

Symmetry of Solutions to a Class of Geometric Equations for Hypersurfaces in Rn+1

A New Method For Implicit Algebraic Surfaces Intersection

A Unified Algorithm for Finding the Intersection Curve of Surfaces

An Intersection Algorithm Based on Transformation

Algebraic Conditions For Classifying The Positional Relationship Of Two Conics And Quadrics

Intersections of Two Offset Parametric Surfaces Based on Topology Analysis.

A Numerical Method for Solving Elliptic Equations on Real Closed Algebraic Curves and Surfaces

Affine Arithmetic-Based B-Spline Surface Intersection with GPU Acceleration

Algebraic conditions for classifying the positional relationships between two conics and their applications

Intersection algorithm between a cylinder and a general quadric surface

Topologically Correct Intersection Curves of Two Trimmed Quadrics with Tolerance Control

Computing The Minimum Distance Between Two Ellipsoids

Robust Algebraic Curve Intersections with Tolerance Control

Computing Minimum Distance Between Two Implicit Algebraic Surfaces.

Deciding whether two quadratic surfaces actually intersect

Algebraic intersections on Bouw-Möller surfaces, and more general convex polygons

Guaranteed Consistency of Surface Intersections and Trimmed Surfaces Using a Coupled Topology Resolution and Domain Decomposition Scheme