Abstract
The characteristic curve of the envelope generated by the tool motions is an important medium for measuring the distance between the tool and the desired surface. Via the single parametric surface envelope theory in differential geometry, this article proved the correctness of the characteristic curve obtained by minimum distance pairs. Simultaneously, combined with the existing envelope theory and the longitude method, an algorithm based on a velocity field is proposed to approach the characteristic curve. The torus cutter is first dispersed into longitudes and then the characteristic point on each longitude is determined with the estimated velocity. In the experiments, the actual velocity of the estimated characteristic point is computed by the true trajectory simulation of the tool. Therefore, the deviation of the proposed method could be measured comparing with the actual velocity. In the implementations, the proposed method is validated in machining a flat, a spiral, and a blade surfaces. In machining the spiral, our algorithm improves approximately 7 times accuracy with 1/7 time cost compared with the existing methods. The results in the blade surface example prove the stableness of the proposed algorithm.
Keywords
Introduction
Tool orientation optimization is a critical step in computer numerical control (CNC) machining. When the cutter positions on the desired surface, to adjust the cutter orientation, the measurement of the error between the cutter and the desired surface is very necessary. In Cai and Xi, 1 a interferential-free cutter location is generated by computing the projection of points on the surface to the axis of cutter. In He and Chen, 2 the cutter orientation is adjusted based on the error distribution between the cutter and the desired surface. Ying and Zhitong 3 generate quasi constant machining strip width according to the error computation. Fan and Xi 4 compute the scallop height tool path based on the estimated tool path interval. In Zheng et al., 5 the geometric error is measured by the signed distance. In Fan and Ball, 6 in order to compute the error between the cutter and the design surface, the design surface is approximated locally by a quadric.
The cutter motions in CNC machining generate the machined surface, just as surface motions generate the swept profile in mathematical envelope theory. So, the problem of the machined surface can be transformed into the swept profile problem. In ordinary envelope theory, when the cutter motions are determined, the swept profile is reachable by solving the sweep–envelope equation. The cutter swept profile is commonly used in machining verification and CNC simulation.7,8 Chiou and Lee 9 proposed an approach of three-dimensional (3D) shape-generating profiles of different types of cutters for constructing the G-buffer models for five-axis machining. In Du et al., 10 using envelope theory and swept volume generation, an algorithm is presented for analytically formulating the swept profiles and generating topological valid swept volume of five-axis tool motions. In Zhiqiang and Wuyi,11,12 they studied the cutting edge of torus with translational motions. A closed-form solution of five-axis swept profile for a generalized cutter is deduced in Chiou and Lee. 13 In Bi et al., 14 the analytical representation of a conical cutter used for flank milling with rational motion is presented. In Jung et al., 15 based on the triangle strip representation, an algorithm is presented for generating the swept volume with self-intersecting.
Analytical ways for cutter envelope surface are high accurate and efficient because it directly yields the exact result by a deduced formula. But the analytical method requires determined cutter motions. In five-axis machining, the orientations in a path are optimized independently according to the error distribution between the swept profile and the desired surface. Therefore, the swept profile is hard to be reached in optimizing. Lartigue et al. 16 proposed a method to deform the tool path in five-axis flank milling, in which the assessment is calculated by a kinematics approach envelope surface.
In the previous studies,17–19 the swept profile is simplified as an ellipse while verifying the errors of an orientation in narrow strip machining. This method works well when the machining strip is within the neighborhood of the cutter contact (CC) point. However, Warkentin et al.20,21 proposed that there can be more than one CC points and deduced a positioning method called multiple-point method to enhance the machining strip width. The local contacting problem is turned into global contacting problem in one sense. The ellipse method loses its effectiveness in wide strip machining.
Characteristic curve of a cutter is an instantaneous curve on the cutter that actually grazes the machined surface. For a given cutter orientation, the error distribution would be denoted by the distances between characteristic points and the design surface. Thus, the orientation can be optimized according to the error distribution. So, it becomes important to approach to characteristic points first. In Tournier and Duc, 22 the scallop height is performed by intersecting the constant height surface with a circle, which represents the characteristic curve of a ball-end mill. With fixed tool axis orientations, the scallop point is determined by the envelope equation in Tournier and Duc. 23 The literature24–26 proposed the minimum distance pairs method to measure the error distributions based on the principle of global curvature matching. The method is developed and proved to be an applicable tool in cutter orientation optimization.27–29 Particularly, Jiayong et al. 30 improved the computing efficiency of the minimum distance pair method via envelope theory. But because the desired surface is treated as points, the solution of envelope equation is numerical and does not cover all the characteristic points. In Zhengqiang et al., 31 the strategy of dispersing the cutter to compute the minimum distance pairs is established for drum-like cutter. Fanjun et al. 32 proposed a latitude method to compute the error distribution and showed a static comparison with Jiayong et al.’s method and Zhengqiang et al.’s method. Rufeng et al. 33 used a similar method, separating the cutter by longitudes for torus tool. Although the strategy of dispersing a cutter is fast, it would involve unnecessary errors, which will be discussed later.
This article first introduces the minimum distance pair method and gives a static proof. The longitude method is described as a dual method of dispersing the desired surface, and the error is discussed concisely. A key element in the envelope equation is the velocity of the characteristic point. Nevertheless, the velocity of a point on the cutter is difficult to compute while only knowing the current orientation. This article projects the center of the longitude onto a vector field and chooses the vector of the foot point to be the velocity of characteristic points on current longitude. The envelope equation is accurately solved using the estimated velocity. Then the orientation error is valued by the distances of the characteristic points to the design surface. Experimental results show improvements of our method respect to the longitude method and Jiayong et al.’s method. The error of the estimated velocity will be discussed by comparing with the actual velocity in a determined path.
Compared with the existing methods, the main contributions of this article are listed as follows:
A theoretical proof for the minimum distance pair method is presented.
A method based on the envelope theory and longitude method is proposed. As shown in the implements, the proposed method significantly enhances the computing efficiency and reduces the time cost, compared with the existing methods.
To measure the errors of the characteristic curve, the dot products of normal vectors and velocities are used in the validation.
In what follows, section “Preliminaries on the cutter’s envelope” describes the preliminaries on envelope theory. Section “Generalized envelope theory” defines the minimum distance pair and demonstrates a concise proof, and the longitude method is also introduced in this section. A new method to compute the characteristic curve is proposed in section “Approaching the characteristic curve based on a vector field.” Two examples are illustrated in section “Numerical experiments and discussion.” Section “Conclusion” concludes the whole article concisely.
Preliminaries on the cutter’s envelope
Definition 1
where
In general, any surface in the family contacts the envelope at a curve. For a given
In what follows, an important necessary condition of the characteristic curve will be deduced. Let
Implies
It is from the property of cross product that
Because
The above equation is equivalent to
The above equation describes a necessary condition of p that becomes a characteristic point and shows the way to compute the characteristic curve as well. It should be emphasized that since it is not a sufficient condition, the point satisfied the condition is not necessary to be the characteristic point. To take advantages of
Although equation (2) is still a necessary condition, all the characteristic points have to be contained in the solutions. In this article, a point p that satisfied equation (2) is indiscriminately called the characteristic point. If given a point p on the cutter surface, it could be verified whether p is a characteristic point or not by equation (2). In the process of three-axis machining, as the velocities of each point on the cutter surface are exactly the same, it is easy to judge the characteristic of a point. However, it becomes difficult to calculate the velocities of points on the cutter surface in multiple-axis motions, especially in five-axis motions, on account of the following problems:
The cutter surface could rotate around an axis in the space. It leads to different directions of the point velocities.
The velocity of current orientation cannot be determined until the adjacent orientations in the same path are ascertained.
Generalized envelope theory
Minimum distance pairs
In engineering practice, it is usually unable to compute the exact characteristic points due to complex cutter motions. Within the acceptable machining accuracy, if a point p on the cutter surface satisfies
then p is called the approximate characteristic point of the envelope.
Lemma 1. Let
to be the distance of
In which
Proof
The objective function of equation (4) can be written as
When the
Implies
Then, the line that connects p and q is perpendicular to the surface
Theorem 2.(the principle of the minimum distance pairs)
Given a desired surface

Illustration for sectional lines.
Proof
It is according to lemma 1 that
Since the sectional lines
The above equation shows that the point
Remark
In machining, when
When the denominator
The last equality of the above equation holds because 0 is the higher-order infinitesimal quantity of any infinitesimal quantity. So, equation (5) is numerical stable.
Define
to be the error distribution function. For a given allowance
Longitude method
In manufacturing process, both the design surface and the cutter surface are known. The process can be regarded as the envelope movement of the tool surface over the design surface, that is, the tool surface machines the design surface. Dually, the process can also be treated as the envelope movement of the design surface over the tool surface, that is, processing the tool surface by the design surface.
Another equivalent description of minimum distance pair is that given a cutter surface
Within the neighborhood of the CC point, the connective line of the minimum distance pair is almost vertical to the cutter surface; thus, the approximate dual characteristic point on the cutter surface mostly coincides with the approximate characteristic point. Based on this fact, the above definition offers another way to reach the minimum distance pair. That is to disperse the cutter surface into sectional lines and then compute the distances of the sectional lines to the desired surface, respectively. As the expressions of common CNC tool surfaces are simple with respect to the design surface, the discrete tool strategy has distinct advantages in computing efficiency.
For instance, when the cutter surface has the following torus expression
It should be noted that it requests that the sectional lines are calculated based on the feeding direction in the definition, which involves tangle intersection computation of surfaces with the cutter. In order to improve the computational efficiency, the sectional lines are fixed to be the longitudes when the cutter is a rotary surface, instead of lines along the feeding direction. For the torus tool, first equidistantly dividing
The longitude method avoids the calculation of sectional lines. The expressions of longitudes are simple and easily processed. But since the longitude has nothing to do with the feeding direction (see Figure 2), the longitude method would not guarantee

Comparison of two division methods.
Hence, the result does not satisfy equation (3). Furthermore, the error between the dual characteristic point and the characteristic point on the cutter increases while the dual characteristic point is getting away from the CC point. In a word, despite high efficiency, the longitude method sacrifices accuracy that cannot be estimated.
Approaching the characteristic curve based on a vector field
In CNC machining, the cutter is usually orientated at a drive point on the desired surface, and the tool path is planned on the desired surface as well. So, there exists a vector field that denotes the tool path direction on the desired surface after the tool path is planned, corresponding to the feed direction of each driving point. As it concerns only about the direction of the velocity in envelope theory, velocity refers to unitized vector in this article.
Definition 2
where
Suppose the cutter surface is a torus. In the world coordinate system, the center of the torus is
Then
expresses the center of
Establish a coordinate system

Coordinate system LCS α .
If the orthogonal projective point of
Assume that
is a characteristic point on current longitude circle
Solve the following equation
and acquire the solution
Note that
The above procedure to computing minimum distance pairs is shown as the flowchart in Figure 4. In computing the minimum distance pairs, the advantage of the longitude method is that it is easy to acquire the sectional lines, while the disadvantage is that it causes relatively large error. So, the proposed method disperses the tool as the longitude method does but determines the characteristic point by the envelope equation. The accuracy of the proposed method is controlled by the chosen reliable velocity. Here, the velocity field is established exactly along the feed directions, believed to be reliable. This strategy results in both high accuracy and less time cost.

Flowchart of error distribution computation.
This article focuses only on torus cutters for convenience. It is implicitly required that the characteristic curve intersects each longitude. The results can be easily generated to other rotary cutters by revising the expression of the longitude.
Numerical experiments and discussion
Machining a flat surface
Given the design surface s under the world coordinate system with expression
The tool surface is chosen to be a torus
Locate the torus such that it is tangent to the design flat at the drive point
Let
Set the incline angle to be
Solve the equation
and obtain the solution of
Thus, the characteristic points on current longitude
Since the cutter motion in the example is a translational motion, the acquired characteristic points exactly match the theoretical points. As a comparison, the solution of
So, the characteristic point computed by the longitude method is
The error of
The distance of
And similarly
Let
By changing the value of

Characteristic curves on the torus: (a) front view, (b) top view, and (c) left view.

Error distribution results of example 1.
As the incline angle

Outer characteristic curves computed by the proposed method as the incline angle changes: (a) front view, (b) top view, and (c) left view.

Characteristic curves computed by the longitude method as the incline angle changes: (a) front view, (b) top view, and (c) left view.
Machining a spiral surface
Consider the following design surface
The cutter surface is still a torus
On the drive curve
Because all the cutter orientations in the path are determined, the cutter motion is clear in the example. The actual velocity of each point on the cutter can be computed. Assume that the drive curve for the tool path is
and then the instantaneous velocity of
According to equation (7), the velocity of
Unitize
We can see that there exists small difference between the estimated velocity
It is restated that
The mean value of the data can be computed by
And the variance is
In Figure 9, the solid line is the distribution of

Dot product distribution of the two methods.

Dot product of Jiayong et al.’s method.
A direct comparison of the three methods can be made from Table 1, which lists in detail the accuracy and efficiency of the methods. As shown in Table 1, both the variance and the mean value of the error of the longitude method and Jiayong et al.’s method are several times larger than those of the proposed method, and the time cost of the proposed method is much smaller than the existing methods at the same time. In this example, the error of Jiayong et al.’s method is fluctuant and relatively large. It is because in Jiayong et al.’s method, each sectional line on the design surface is in discrete form, and the projective point have to be among the two alternative points. Since the longitude method involves iterative computations of points to the free-form surface, the time performance is the worst. It shows that our algorithm improves approximately 7 times accuracy with 1/7 time cost compared with the existing methods.
Experimental results of the three methods.
Figure 11 demonstrates the simulating results. The errors of the machined surface to the desired surface computed from the proposed method are in accordance with the simulating results. The error distributions computed by the three methods are drawn in Figure 12.

Simulating result.

Error distribution computed by the three methods.
Machining a blade
To verify the computing performance of the proposed method in machining free-form surfaces, in this section, experiments on a blade, which has both concave and convex areas, will be demonstrated.
The blade size is about 43 mm × 51 mm. The diameter of the torus cutter used in this experiment is 12 mm. The cutter corner radius is 1.5 mm. We generate the tool path by moving the cutter along the isoparametric lines. The machining allowance is 0.01 mm.
A total of 18 sample points are randomly chosen from the blade surface. Over the surface at each sample point, the cutter is positioned similarly with the way discussed in the previous sections. We recorded the computing time for the error distribution using the proposed method, the longitude method, and Jiayong et al.’s method. The variance and mean value absolute performances for the dot product distribution of each method are illustrated in Figures 13 and 14, respectively. Figure 15 shows the recorded time cost of each method. The results show that our method yields lower variance and mean value of dot product with lesser time cost. From Figure 15, one can see that the time performance of Jiayong et al.’s method is also excellent. In the computation of sample point 8, Jiayong et al.’s method shows the least time cost compared with the other two methods. Jiayong et al.’s method needs to calculate the distances of discrete points to the cutter surface, which has a simple expression. So, the time performance of Jiayong et al.’s method is good and stable. However, our method and the longitude method need to calculate the distances of discrete points to the desired surface, which has a complex expression. The convergence of the iterating method for distance calculation in the longitude method and our method is low at some sample points. But the precision of cutter dispersed strategy is better than Jiayong et al.’s method from the distribution shown in Figures 13 and 14.

Variance comparison of the three methods.

Mean value comparison of the three methods.

Time performance of the three methods.
At each drive point of the path, the tilt angle

Verification of the proposed method on a blade.
Conclusion
This article presents a concise proof on the minimum distance pair method in the first place and introduces two ways to achieve the minimum distance pairs. To take advantages of the envelope theory and the longitude method, a method based on the velocity field, which describes the path, is proposed. The proposed method disperses the cutter as the longitude method does and determines the characteristic point by solving the envelope equation instead of computing the minimum distance. While machining a flat with translational motions, the proposed method generates the exact characteristic points. In multiple-axis machining, although the velocity of the point on the cutter is hardly judged in only one orientation, the estimated velocity obtained from the velocity field matches the actual velocity with small errors. The experimental results show that the proposed method maintains high precision and stability with less time cost.
The whole article is concluded as follows:
The minimum distance pair method is correct in theory.
The proposed method generates the exact characteristic curve with translational motions.
The proposed method is faster and more accurate than Jiayong et al.’s method and the longitude method.
The proposed method is stable in machining both concave and convex free-form surfaces.
Footnotes
Acknowledgements
The authors thank the anonymous reviewers for their constructive comments and suggestions.
Declaration of Conflicting Interests
The author(s) declared no potential conflicts of interest with respect to the research, authorship, and/or publication of this article.
Funding
The author(s) disclosed receipt of the following financial support for the research, authorship, and/or publication of this article: The reported work was supported by Chinese National Science and Technology Major Project 2013ZX04011031.
