topologically consistent trimmed surface approximations ... - CiteSeerX

18 downloads 27708 Views 87KB Size Report
3) Department of Mathematics, University of California, Davis, CA 95616, USA. 4) Department of Computer Science, Brigham Young University, Provo, UT 84602, USA ... is the case of greatest practical interest—namely, the approximation of ...
TOPOLOGICALLY CONSISTENT TRIMMED SURFACE APPROXIMATIONS BASED ON TRIANGULAR PATCHES Rida T. FAROUKI 1 , Chang Yong HAN 2 , Joel HASS 3 and Thomas W. SEDERBERG 4 1) Department of Mechanical and Aeronautical Engineering, University of California, Davis, CA 95616, USA 2) Department of Mathematical Sciences, Seoul National University, Seoul 151-747, KOREA 3) Department of Mathematics, University of California, Davis, CA 95616, USA 4) Department of Computer Science, Brigham Young University, Provo, UT 84602, USA Corresponding Author : Chang Yong HAN, [email protected] ABSTRACT Topologically consistent algorithms for the intersection and trimming of free-form parametric surfaces are of fundamental importance in computer-aided design, analysis, and manufacturing. Since the intersection of (for example) two bicubic tensor-product surface patches is not a rational curve, it is usually described by approximations in the parameter domain of each surface. If these approximations are employed as “trim curves”, their images in R3 do not agree precisely, and the resulting trimmed surfaces may exhibit “gaps” and “overlaps” along their common edge, an artifact that often incurs failure of downstream applications. We present a direct and simple approach to the problem, wherein the intersection curve is described explicitly by the sides of a sequence of triangular B´ezier patches. Instead of representing trimmed surfaces by trim curves in the surface parameter domain, together with appropriate control point perturbations to guarantee consistency, we use triangular patches to directly approximate the intersection curve and the trimmed surfaces it defines. The triangular patches are constructed so as to maintain smooth (i.e., tangent-plane continuous) connections to untrimmed patches of the original surface. We assume that the original intersecting surfaces are subject to a subdivision process, such that the intersection segment (if any) on each sub-patch is a smooth arc between diametrically opposite corners. This guarantees that all intersection segments, and the trimmed surfaces they delineate, are “simple” enough to admit accurate approximation using triangular B´ezier patches. Ensuring position and tangent plane agreement of degree-n triangular trimmed patch approxiˆ (r, s, t) and q ˆ (u, v, w) with given degree-(m, m) tensor-product patches p(r, s) and mations p ˆ (ξ, 1 − ξ, 0) ≡ q(u, v) along the boundaries r = 0, s = 0 and u = 0, v = 0, and that the curve p ˆ (ξ, 1 − ξ, 0) matches the end points and tangents of the exact intersection, entails solving a q linear system of 8m + 4n − 14 equations in 12n − 28 scalar variables. Although much of the ensuing discussion will be cast in a general context, our primary emphasis is the case of greatest practical interest—namely, the approximation of trimmed bicubic patches by quintic triangular patches. In this case, the tangent-plane matching conditions on the common patch sides entail solution of a linear system of 30 equations in 32 unknowns. Subsequent to solving this system, the degrees of freedom that remain to improve the approximation accuracy

are the end-derivative magnitudes of the approximate intersection curve and is its two middle control points, and one “interior” control point for each triangular patch. Additional degrees of freedom may be introduced, to further improve the approximation accuracy, by elevating the degree of the quintic triangular patches. The elegant simplicity of this method, and the well-conditioned nature of the linear system that expresses the boundary conditions, makes it eminently suited to practical implementation. Many of the basic principles hold in contexts other than interesting bicubic patches with trimmed surfaces approximated by quintic triangular patches, although we expect this combination will be of greatest practical interest. The final trimmed surfaces resulting from the procedure described herein are hybrid collections of tensor-product (rectangular) patches and triangular patches. If homogeneity of the patch types in the final surface representation is an important consideration, known algorithms for converting a triangular patch into a set of tree rectangular patches or for splitting a rectangular patch into two triangular patches may be invoked. REFERENCES 1.

Song, X., Sederberg, T. W., Zheng, J., Farouki, R. T. and Hass, J., “Linear perturbation methods for topologically consistent representations of free-form surface intersections”, Computer Aided Geometric Design, Vol. 21, 2004, pp. 303-319.

2.

Farouki, R. T., Han, C. Y., Hass, J. and Sederberg, T. W., “Topologically consistent trimmed surface approximations based on triangular patches”, Computer Aided Geometric Design, Vol. 21, 2004, pp. 459-478.

3.

Hass, J., Farouki, R. T., Han, C. Y., Song, X. and Sederberg, T. W., “Guaranteed consistency of surface intersections and trimmed surfaces using a coupled topology resolution and domain decomposition scheme”, Advances in Computational Mathematics, to appear.