Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
com
Expert Systems
with Applications
Expert Systems with Applications 35 (2008) 235244
www.elsevier.com/locate/eswa
a,*
, Chang-Chien Chou
a,b
, Yu-Kumg Chen
Department of Industrial Management, National Taiwan University of Science and Technology, No. 43, Sec. 4, Keelung Rd., Taipei City 106, Taiwan, ROC
b
Department of Information Management, Lunghwa University of Science and Technology, No. 300, Sec. 1, Wanshou Rd., Guishan,
Taoyuan County 333, Taiwan, ROC
c
Department of Electronic Engineering, Huafan University, No. 1, Huafan Rd., Shihding Township, Taipei County 223, Taiwan, ROC
Abstract
The technique of layered manufacturing in rapid prototyping is to fabricate product prototype by scanning the cross-sectional contours of the product using a laser beam layer by layer. The outlines of geometrical objects on each layer are dierent, and each layer may
contain several geometrical objects. In order to simplify the problem, each geometrical object on the same plane is approximating by its
own minimum circumscribed circle. Therefore, the minimum traversal path of circles can be the based model of the minimum traversal
path of scanning geometrical objects. Furthermore, the minimum traversal path of three circles is the degenerated case of the minimum
traversal path of plural circles. And the problem of the minimum traversal path of three circles can be transferred to the problem of the
minimum traversal path of one circle and two points in this paper. By using the concepts of reection of light in physics and geometrical
mathematics, the equation of the minimum traversal path of three circles is derived in this paper. This equation can be easily implemented in many areas of application, including robotic motion planning and path planning for submarine, ship, and airplane.
2007 Published by Elsevier Ltd.
Keywords: Minimum traversal function; Stereolithography apparatus; Layered manufacturing; Path planning; Robotic motion planning; Analytic geometric function
1. Introduction
In order to provide fast and precise computation of the
shortest path for the moving robot (Khatib, Craig, & Lozano-Prez, 1989; Nehmzow & Owen, 2000), circles are used
to embrace obstacles in the robotic path planning. For
example, there is an application on the mission planning
software for the PHONIX autonomous underwater vehicle
(AUV) (Brutzman, 1994; Leonhardt, 1999) of the US navy.
It encloses the underwater obstacles by circles to avoid collisions that lead to the catastrophic loss of the vehicles. By
using the tangents among circles, the PHONIX system
derives the shortest path for the underwater vehicle rapidly
Corresponding author.
E-mail address: sychou@im.ntust.edu.tw (S.-Y. Chou).
236
Original path
Obstacle
Safe radius path
r2
O2
237
C2
P1
r1 O 1
C3
O3
C1
in computational geometry. There are many studies concerning the connectivity of the static stationary disks (Preparata & Shamos, 1985), such as the base stations of mobile
phone communication. Also there are many complex studies in computing the connectivity of moving disks (Johnson,
1994; Toh, 1996), such as the Ad-Hoc mobile network. Due
to the characteristics of radio wave, the communication of
geodesy and the satellite constellation (Wood, 2001) are
usually representing the radio coverage by disks, too.
Besides, there are many related researches, such as circle
packing (Graham, Lagarias, Mallows, Wilks, & Yan,
2005) and the problem of circle visibility (Kaiser, 2002) that
makes planning the shortest path which walks through circles and can be seen by one of the circles in anytime. Versatile studies have shown the convenience and practicability
of the fashion of taking circles representing objects.
The rest of this paper is organized as follows. The problem transformation that converts three circles problem into
a two points and one circle problem is given in the next section. The derivation of minimum traversal function is then
presented in Section 3. The proposed algorithm of the problem rotation is presented in Section 4. Concluding remarks
and potential applications are provided in Section 5.
2. Problem transformation
In this paper, we use Exy to represent the problem of nding the minimum traversal path for x distinct points and y
disjoint circles in a two dimensional plane. The goal of the
proposed paper is to nd the minimum traversal function
of three disjoint circles C1, C2, and C3. This problem is thus
to be represented as E03 , i.e., nding the minimum traversal
path for 0 distinct points and 3 disjoint circles in a two
dimensional plane. The path of E03 is an open route, i.e.,
the starting point of the traverse needs not to be coincided
with the end point of the traverse.
Under such E03 condition, we denote the length of the
minimum traversal path by L03 . The function dist(UV) rep-
238
y
B
x
O
C
Fig. 5. An example of the variations of h and (h).
Fig. 4. An example of
E21
problem.
y P r sin h
then (xP, yP) becomes (r, h). Since the radius r in this paper is constant, the function (r, h) can then be denoted as
(h). Direct substitution in Eq. (5) yields
q
2
2
h xA r cos h y A r sin h
q
2
2
6
xB r cos h y B r sin h
Figs. 5 and 6 illustrate examples of the relationships of h
and (h) for E21 problem. The diagrams show samples for
(h) in the interval [0, 2p] and [0, 4p], respectively. The E21
example in Fig. 5 contains one circles C with its radius
length equal to 2 and two points A and B with their coordinates (3, 4) and (4, 5), respectively. Observing that the
shape of the discrete curve is approximately sinusoidal
curve. Nevertheless, not all cases appear in the sinusoidal
239
n1 sin b1 n2 sin b2 :
n1
n2
2
B
N
B
p
A
D
1
5
4
1 2
2
M
P
Fig. 8. Example of the light reection.
240
A( x A , y A )
yP
y A y 2P 2xP xA y P y A x2P
x2P y 2P
xP
yP yB
:
xP xB
B ( xB , y B )
xP r cos h
P ( xP , y P )
*
A ( x A* , y A * )
10
y P r sin h
and rearrange terms, then equation becomes
:
r cos h xB
E21
problem.
:
r cos h xB
11
:
r cos h xB
By separating variables of cos h and
ing, we obtain
p
1 cos2 h and squar-
xA
y A
:
xP xA xP xB
By replacing the variables xA and y A with their values from
Eq. (9), we get
81
p
k n 12 q p
>
4
>
>1
p
<
k n 12 q p
cos h 41
p
>
k n 12 q p
>
4
>
:1
p
k n 12 q p;
4
12
raxB bxA
ab
s
1
2
where a, b, c, d, e, f, g, h, j, l, m are
a x2A y 2A
b x2B y 2B
c 2r2 xA xB r2 y 2A x2B r2 4y 2A 2r2 y A y B r2 y 2B
4y 2A y 2B x2A r2 4b
d 2x2A xB xB y A y A y B xA 2x2B y B y A y B
e x2B r2 y 2A 2xA xB r2 y A y B x2A r2 y 2B
f 36r2 6eaxB bxA 2 cdaxB bxA 6abd 2
g c2 48abe 24r2 daxB bxA
r
q
1 3 3
2c
hp
288abce
2f
3ab
2a2 b2
2
m rr axB bxA 3 abcaxB bxA 4a2 b2 d:
l
13
n
>
2
>
: 41
1 p
k n 2 q p:
4
15
Let h1, h2, h3, h4, h5, h6, h7, and h8 be the eight solutions of
angle h. With combination of Eqs. (13) and (15), we have
8
p
h1 cos1 14 k n 12 q p
>
>
>
p
>
>
>
h2 cos1 14 k n 12 q p
>
>
>
p
>
>
h3 cos1 14 k n 12 q p
>
>
>
p
< h cos1 1 k n 1 q p
4
4
2
16
h
1 1
1 p
>
h
q p
5 cos 4 k n 2
>
>
>
p
>
1 1
1
>
> h6 cos 4 k n 2 q p
>
>
p
>
> h7 cos1 1 k n 1 q p
>
4
2
>
>
p
:
h8 cos1 14 k n 12 q p:
l 1 g
h
2 j h
m
p 3 3
8a b n
1 g
q l h;
j h
8
p
cos1 14 k n 12 q p
>
>
>
p
<
cos1 14 k n 12 q p
h
p
>
cos1 14 k n 12 q p
>
>
:
p
cos1 14 k n 12 q p:
241
14
From Eq. (14), we can derive another four solutions of angle h, that is,
From Eq. (16), the resolved eight angles can derive the corresponding locations of eight points P1, P2, P3, P4, P5, P6,
P7, and P8 on the circle C with their coordinates xP 1 ; y P 1 ,
xP 2 ; y P 2 , xP 3 ; y P 3 , xP 4 ; y P 4 , xP 5 ; y P 5 , xP 6 ; y P 6 , xP 7 ; y P 7 ,
and xP 8 ; y P 8 , respectively. Substituting the resolved eight
angles into the polar coordinates of P in Eq. (10), we obtain their eight coordinates, that is,
8
p
< xP 1 r14 k n 12 q p
q
P1 :
17
2
: y P r 1 1 k n 1 p
q p
4
2
1
8
p
< xP 2 r14 k n 12 q p
q
P2 :
18
2
: y P r 1 1 k n 1 p
q
p
4
2
2
8
1
1 p
< xP 3 r4 k n 2 q p
q
19
P3 :
2
: y P r 1 1 k n 1 p
q
p
4
2
3
8
p
< xP 4 r14 k n 12 q p
q
20
P4 :
: y r 1 1 k n 1 p
q p 2
P4
4
2
8
p
< xP 5 r14 k n 12 q p
q
P5 :
21
2
: y P r 1 1 k n 1 p
q p
4
2
5
8
p
< xP 6 r14 k n 12 q p
q
22
P6 :
2
: y P r 1 1 k n 1 p
q
4
2
6
8
p
< xP 7 r14 k n 12 q p
q
23
P7 :
2
: y P r 1 1 k n 1 p
q
4
2
7
8
p
< xP 8 r14 k n 12 q p
q
24
P8 :
2
: y P r 1 1 k n 1 p
q p :
4
2
8
Eqs. (17) and (18) show that there exists reection between
points P1 and P2 about the x axis, that is, x values are kept
and y values are ipped. The pairs of points P3 and P4, P5
and P6, P7 and P8 also have the reection relationships.
242
Quadrant
Point A
Point B
II
III
IV
I
III
IV
III
II
II
IV
IV
III
III
I
IV
II
p/2
p/2
p/2
p/2
p
p
hB, if a < p
2p hA, if a P p
hB, if a < p
2p hA, if a P p
243
Fig. 12. Two possible E21 problems after using the proposed E21 rotation algorithm and their eight solutions (a) two points lie in the rst quadrant and (b)
two points lie in the rst and the second quadrants.
5. Conclusions
In this paper, the minimum traversal path of three circles is dened as an E03 problem, and is transformed into
the E21 problem. With applying the law of light reection
and geometrical mathematics, the eight roots of solution
function of the minimum traversal path of three circles is
derived. Using the proposed algorithm of the problem
rotation, the problem can be transformed to the problem
in rst quadrant or in the rst and the second quadrants.
This solution can be quick eectively implemented in solving a variety of engineering applications, such as layered
manufacturing, robotic motion planning, and path planning. There are several possible extensions of this work.
For instance, the problem of nding the minimum traversal
path of more than three circles is still essentially open. By
taking advantage of this minimum traversal function of
three circles, we are now exploring the traversal path problem of n circles. Moreover, nding the minimum traversal
path of geometrical object with polygon al shapes is also
interesting to us.
References
Azadeh, M., & Casperson, L. W. (1997). Reection and refraction of light
at saturating active boundaries. Journal of Modern Optics, 44, 2940.
Brutzman, D. P. (1994). A Virtual World for an Autonomous Undersea
Vehicle. Ph.D. Dissertation, Naval Postgraduate School, Monterey,
CA.
Chiu, Y. Y., & Liao, Y. S. (2003). Laser path planning of burn-out rule for
LOM process. Rapid Prototyping Journal, 9(4), 201211.
de Berg, M., van Kreveld, M., Overmars, M., & Schwarzkopf, O. (2004).
Computational geometry algorithms and applications (chap. 4). New
York: Springer.
Dijksterhuis, F. J. (2004). Once Snell breaks down, from geometrical to
physical optics in the seventeenth century. Annals of Science, 61,
165185.
Giannoni, F., Masiello, A., & Piccione, P. (2002). The Fermat principle in
general relativity and applications. Journal of Mathematical Physics,
43, 563596.
Graham, R. L., Lagarias, J. C., Mallows, C. L., Wilks, A. R., & Yan, C.
H. (2005). Apollonian circle packings: Geometry and group theory I.
The Apollonian group. Discrete and Computational Geometry, 34,
547585.
Guibas, L., Hershberger, J., Suri, S., & Zhang, L. (2001). Kinetic
connectivity for unit disks. Discrete and Computational Geometry, 25,
591610.
Jacobs, P. (1992). Rapid prototyping and manufacturing: Fundamentals of
stereo lithography. McGraw-Hill.
Johnson, D. B. (1994). Routing in Ad-Hoc networks of mobile hosts. In
Proceedings of IEEE Workshop on Mobile Computing Systems and
Applications (pp. 158163).
Kaiser, T. (2002). Line transversals to unit disks. Discrete and Computational Geometry, 28, 379387.
Khatib, O., Craig, J. J., & Lozano-Prez, T. (1989). The robotics review.
MIT Press.
Lan, P. T., Chou, S. Y., Chen, L. L., & Gemmill, D. (1997). Determining
fabrication orientations for rapid prototyping with stereo lithography.
Computer-Aided Design, 29, 5362.
Leonhardt, L. B. (1999). Mission Planning and Mission Control Software
for PHONIX Autonomous Underwater Vehicle (AUV) Implementation and Experimental Study. Thesis, Naval Postgraduate School,
Monterey, CA.
Majhi, J., Janardan, R., Smid, M., & Gupta, P. (1999). On some geometric
optimization problems in layered manufacturing. Computational
Geometry: Theory and Applications, 12, 219239.
Murty, K. G. (1995). Operations research deterministic optimization
models. Prentice Hall.
Nehmzow, U., & Owen, C. (2000). Robot navigation in the real world:
Experiments with manchesters forty-two in unmodied, large environments. Robotics and Autonomous Systems, 15, 223242.
ORourke, J. (1997). Computational geometry (chap. 8) (2nd ed.).
Cambridge University Press.
Preparata, F. P., & Shamos, M. I. (1985). Computational geometry: An
introduction. New York: Springer.
Tang, K., & Pang, A. (2003). Optimal connection of loops in laminated
object manufacturing. Computer-Aided Design, 35, 10111022.
Toh, C.-K. (1996). A novel distributed routing protocol to support AdHoc mobile computing. In Proceedings of the 15th IEEE Annual
244