surface definition. It is also referred to as parallel off-
set. In (Pottmann et al., 1996), Pottmann and L
¨
u study
the “circular offset” of ruled surfaces, which arises
when a cylindrical or conical cutter with a circular
edge is used in flank milling. The authors proved that
the circular offsets of a rational ruled surface are ra-
tional in general except the developable surfaces and
conoidal ruled surfaces with generators orthogonal to
the tool-axis. The offset of a ruled surface is in gen-
eral not a ruled surface. In fact, the offset curve of a
nontorsal generator with respect to a ruled surface is
a rational quadric (Pottmann et al., 1996).
For ruled surfaces, we often meet the concept
Bertrand offset. It is a generalization of the theory
of Bertrand curves based on line geometry. A pair of
curves are Bertrand mates if there exists a one-to-one
correspondence between their points such that both
curves share a common principal normal at their cor-
responding points (Ravani and Ku, 1991). Consid-
ering the ruled surface in the context of line geome-
try, the ruled surface is represented as a one-parameter
family of lines. Simply speaking, we have the follow-
ing definition (Ravani and Ku, 1991):
Definition 2.1. Two ruled surfaces are said to be
Bertrand offsets of one another if there exists a one-to-
one correspondence between their rulings such that
both surfaces have a common principal normal at the
striction points of their corresponding rulings.
For the Bertrand offsets, we have an important
theorem (Ravani and Ku, 1991):
Theorem 2.1. Two ruled surfaces which are Bertrand
offsets of each other as defined in Definition 2.1 are
constant offsets of one another.
Inspired by this theorem, if the given surface is
a ruled surface, the drive surface can be derived by
constructing the Bertrand offset of the given surface.
Consequently, the given surface is also a Bertrand off-
set surface of the drive surface. This relationship pro-
vides the initial inspiration of our approach. Gener-
ally, the original designed surface is not a ruled sur-
face. In our algorithm, we calculate the “circular off-
set” of the given surface instead.
2.2 Ruled Surface Representations
In Euclidean space R
3
, a ruled surface Φ possesses a
parametric representation (Edge, 1931):
x(u, v) = a(u) + vr(u), u ∈ I, v ∈ R, (2)
where a(u) is called the directrix curve and r(u)
is a direction vector of generator. Alternatively, a
ruled surface Φ can be parameterized by two direc-
trix curves p(u) and q(u):
x(u, v) = (1 −v)p(u) + vq(u). (3)
The straight line denoted as x(u
0
, v) = (1 −v)p(u
0
)+
vq(u
0
) is called a ruling.
By applying the Klein mapping and the Study
mapping, a ruled surface can be written in a more
compact way using dual numbers. The dual numbers
were first introduced by Clifford (Clifford, 1873). A
dual number can be written in the form ˆa = a + εa
◦
,
where a, a
◦
∈ R and ε is the dual element with:
ε 6= 0,
0ε = ε0 = 0,
1ε = ε1 = ε,
ε
2
= 0.
(4)
Extending the dual numbers to the vector space,
the space D
3
is defined as a set of all pairs of vectors:
ˆ
a = a + εa
◦
where a, a
◦
∈ R
3
. (5)
In line geometry, a line in Euclidean space can
be represented as a unit vector in D
3
(Pottmann and
Wallner, 2001). Those unit vectors constitute a sphere
called Dual Unit Sphere (DUS). In this form, a ruled
surface defined by Eq. (2) is written as a curve on the
DUS :
ˆ
L(u) = l(u) + εl
◦
(u) =
r(u)
kr(u)k
+ ε
a(u) ×r(u)
kr(u)k
. (6)
A dual vector representation of ruled surface can
be converted to a point representation:
x(u, v) = l(u) ×l(u)
◦
+ vl(u). (7)
Now, a mapping between a ruled surface represen-
tation in Euclidean space and a curve representation
on the DUS is set up. Instead of solving a surface ap-
proximation problem in the Euclidean space, we solve
a curve approximation problem on the DUS.
3 DEFINITION OF DUAL
SPHERICAL SPLINE
The dual vector representation of ruled surface
links the path and the physical motion of the tool
(Sprott and Ravani, 1997) (Sprott and Ravani, 2001).
K. Sprott proposed an algorithm to generate a free-
form curve on the DUS (Sprott, 2000), but defining
a spline strictly lying on the DUS is not trivial. Due
to the non-linearity of the space, conventional spline
definitions as a linear combination of basis functions
are not working on the DUS.
3.1 Dual Spherical Spline
The definition of dual spherical spline is inspired by
(Buss and Fillmore, 2001), in which a spline on a real
TOOL PATH PLANNING IN FLANK MILLING BASED ON DUAL SPHERICAL SPLINE
7