degree reduction for nurbs symbolic computation on curves xianming chen richard f. riesenfeld elaine...

30
Degree Reduction for NURBS Symbolic Computation on Curves Xianming Chen Richard F. Riesenfeld Elaine Cohen School of Computing, University of Utah

Post on 20-Dec-2015

222 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Degree Reduction for NURBS Symbolic Computation on Curves Xianming Chen Richard F. Riesenfeld Elaine Cohen School of Computing, University of Utah

Degree Reduction for NURBS Symbolic

Computation on Curves

Xianming ChenRichard F. Riesenfeld

Elaine Cohen

School of Computing, University of Utah

Page 2: Degree Reduction for NURBS Symbolic Computation on Curves Xianming Chen Richard F. Riesenfeld Elaine Cohen School of Computing, University of Utah

2

Motivation

NURBS Symbolic Computation closed algebraic operations on NURBS

One Big Problem Fast raising degree when rational B-

splines involved differentiation doubles degree,

contrasting to polynomial case, when degree is reduced by 1.

Page 3: Degree Reduction for NURBS Symbolic Computation on Curves Xianming Chen Richard F. Riesenfeld Elaine Cohen School of Computing, University of Utah

3

Related Work

Many pioneering research work on Bezier and NURBS symbolic computation; however,

When coming to rational case,

Quotient rule is used indiscriminately, resulting unnecessary high or huge degrees in many situations

A common practice, in CAD systems, is to approximate rationals with polynomials

Differentiation typically amplifies error

Page 4: Degree Reduction for NURBS Symbolic Computation on Curves Xianming Chen Richard F. Riesenfeld Elaine Cohen School of Computing, University of Utah

4

Related Work – cont.

[Chen et al. 2005] Extended forward difference operator on Bezier control polygon to rational case.

Higher order derivatives The order of the denominator effectively

stays at 2

Page 5: Degree Reduction for NURBS Symbolic Computation on Curves Xianming Chen Richard F. Riesenfeld Elaine Cohen School of Computing, University of Utah

5

Contribution

Develop several strategies to get around of the quotient rule for many typical NURBS symbolic computation on curves, incl. Zero curvature enquiry Critical curvature enquiry Evolutes Bisector curves/surfaces …

Page 6: Degree Reduction for NURBS Symbolic Computation on Curves Xianming Chen Richard F. Riesenfeld Elaine Cohen School of Computing, University of Utah

6

Critical curvature of a cubic -1

Cubic polynomial B-spline of 6 segments.

vanishes at 6 pts

1. evolute has 2 extra cusps at break pts

Page 7: Degree Reduction for NURBS Symbolic Computation on Curves Xianming Chen Richard F. Riesenfeld Elaine Cohen School of Computing, University of Utah

7

Find Critical Curvature – squaring approach

Numerator of (2) : C-1 B-spline of deg 24.

(2)=2=0.Thus 2 extra zeros from =0.

Page 8: Degree Reduction for NURBS Symbolic Computation on Curves Xianming Chen Richard F. Riesenfeld Elaine Cohen School of Computing, University of Utah

8

Critical curvature of a cubic -3

Page 9: Degree Reduction for NURBS Symbolic Computation on Curves Xianming Chen Richard F. Riesenfeld Elaine Cohen School of Computing, University of Utah

9

Critical curvature of a rational quadratic-1

Page 10: Degree Reduction for NURBS Symbolic Computation on Curves Xianming Chen Richard F. Riesenfeld Elaine Cohen School of Computing, University of Utah

10

Critical curvature of a rational quadratic-2

Page 11: Degree Reduction for NURBS Symbolic Computation on Curves Xianming Chen Richard F. Riesenfeld Elaine Cohen School of Computing, University of Utah

11

Why the magic?

Page 12: Degree Reduction for NURBS Symbolic Computation on Curves Xianming Chen Richard F. Riesenfeld Elaine Cohen School of Computing, University of Utah

12

Critical Curvature of Plane B-spline -1

Brute force squaring approach

Page 13: Degree Reduction for NURBS Symbolic Computation on Curves Xianming Chen Richard F. Riesenfeld Elaine Cohen School of Computing, University of Utah

13

Critical Curvature of Plane B-spline -2

A better way for polynomial case

Page 14: Degree Reduction for NURBS Symbolic Computation on Curves Xianming Chen Richard F. Riesenfeld Elaine Cohen School of Computing, University of Utah

14

Critical Curvature of Plane B-spline -3

An even better way for rational case

Page 15: Degree Reduction for NURBS Symbolic Computation on Curves Xianming Chen Richard F. Riesenfeld Elaine Cohen School of Computing, University of Utah

15

Evolute of rational B-spline -1

Page 16: Degree Reduction for NURBS Symbolic Computation on Curves Xianming Chen Richard F. Riesenfeld Elaine Cohen School of Computing, University of Utah

16

Evolute of rational B-spline -2

Page 17: Degree Reduction for NURBS Symbolic Computation on Curves Xianming Chen Richard F. Riesenfeld Elaine Cohen School of Computing, University of Utah

17

Similar Result for Space Curve

Torsion Tangent developable Normal scroll (ruled surface) Binormal scroll

However, Focal curve is not even rational

Page 18: Degree Reduction for NURBS Symbolic Computation on Curves Xianming Chen Richard F. Riesenfeld Elaine Cohen School of Computing, University of Utah

18

Point-Curve Bisector -1

Page 19: Degree Reduction for NURBS Symbolic Computation on Curves Xianming Chen Richard F. Riesenfeld Elaine Cohen School of Computing, University of Utah

19

Point-Curve Bisector -2

Page 20: Degree Reduction for NURBS Symbolic Computation on Curves Xianming Chen Richard F. Riesenfeld Elaine Cohen School of Computing, University of Utah

20

Optimal Degree for Bisectors

[Elber&Kim 1998 a&b] computed various bisector surfaces

[Farouki et al. 1994] proved point/plane-curve bisector curve has degree 3d-1 (resp. 4d-1) for polynomial (resp. rational) case.

We show (3d-1/4d-1)-result applies to bisector

surfaces as well

Page 21: Degree Reduction for NURBS Symbolic Computation on Curves Xianming Chen Richard F. Riesenfeld Elaine Cohen School of Computing, University of Utah

21

Bisector Surface of Two Space Curves -1

As solution to a linear system

Page 22: Degree Reduction for NURBS Symbolic Computation on Curves Xianming Chen Richard F. Riesenfeld Elaine Cohen School of Computing, University of Utah

22

Bisector Surface of Two Space Curves -2

Polynomialization for Rational Case

Page 23: Degree Reduction for NURBS Symbolic Computation on Curves Xianming Chen Richard F. Riesenfeld Elaine Cohen School of Computing, University of Utah

23

Point/Curve Bisector Surface -1

Directrix Approach

An under-determined system

[Elber et al 1998a] Add a constraint to solve for the directrix

Page 24: Degree Reduction for NURBS Symbolic Computation on Curves Xianming Chen Richard F. Riesenfeld Elaine Cohen School of Computing, University of Utah

24

Point/Curve Bisector Surface -2

Our Direct Approach

Page 25: Degree Reduction for NURBS Symbolic Computation on Curves Xianming Chen Richard F. Riesenfeld Elaine Cohen School of Computing, University of Utah

25

Point/Ellipse Bisector Surface -1

Page 26: Degree Reduction for NURBS Symbolic Computation on Curves Xianming Chen Richard F. Riesenfeld Elaine Cohen School of Computing, University of Utah

26

Point/Ellipse Bisector Surface -2

Page 27: Degree Reduction for NURBS Symbolic Computation on Curves Xianming Chen Richard F. Riesenfeld Elaine Cohen School of Computing, University of Utah

27

Point/Ellipse Bisector Curve -1

Page 28: Degree Reduction for NURBS Symbolic Computation on Curves Xianming Chen Richard F. Riesenfeld Elaine Cohen School of Computing, University of Utah

28

Point/Ellipse Bisector Curve -2

Page 29: Degree Reduction for NURBS Symbolic Computation on Curves Xianming Chen Richard F. Riesenfeld Elaine Cohen School of Computing, University of Utah

29

Conclusion

presented several degree reduction strategies for NURBS symbolic computation on curves, incl. eliminating higher degree terms

resulting from irrelevant lower order derivatives

canceling common scalar factors polynomialization

Degree reduction is significant.

Page 30: Degree Reduction for NURBS Symbolic Computation on Curves Xianming Chen Richard F. Riesenfeld Elaine Cohen School of Computing, University of Utah

30

Thanks!