define a function G
i
ðk
n
; r; sÞ to characterize the properties of
the FoI and the mobility of a sensor, with the following
form:
G
i
ðk
n
; r; sÞ¼
k
n
ðsÞ
k
n
ðsÞ
r
ffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffi
4 ð
k
n
ðsÞrÞ
2
q
þ 4
k
n
ðsÞk
n
ðsÞ
k
n
ðsÞk
n
ðsÞ
arcsin
k
n
ðsÞr
2
!!
: ð1Þ
Intuitively, G
i
ðk
n
; r; sÞ indicates the local smoothness of the
surface at the nearby region of point s. It quantitatively
measures the bending degree of the surface area within
the sensing range of a sensor node. G
i
ðk
n
; r; sÞ has small val-
ues in sharp regions, and big values in smooth regions.
Our main theoretical results are:
We generalize the results in the 2D plane case [18] by
considering sensors moving along general curves. The
expected area of the region covered by a mobile sensor
s
i
over the time period [0,
s
)iskG
s
c;s
i
k¼
p
r
2
þ 2r
v
s
as
long as r 6 min
s2[0, v
s
)
1/k(s) when sensors move along
straight lines (the SL Walk), circular arcs (the CA Walk)
or general curves (the GC Walk). The coverage ratio,
F(
s
), is 1 e
kð
p
r
2
þ2r
v
s
Þ
.
The coverage ratio of mobile sensor networks on a
sphere is studied as a special case, i.e., a sphere is a con-
vex 3D surface with constant Gaussian curvature K. The
expected area of the region covered by a sensor s
i
over
the time period [0,v
s
)iskG
s
c;s
i
k¼
p
r
2
þ r
v
s
ffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffi
4 Kr
2
p
as
long as r 6
ffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffi
2ðk k
g
Þ=ðKkÞ
p
under the CA Walk and
the GC Walk, and Fð
s
Þ¼1 e
k½
p
r
2
þr
v
s
ffiffiffiffiffiffiffiffiffiffi
4Kr
2
p
, which
gives us intuitions for the general surface case.
We derive, in closed form, the coverage ratio on general
convex 3D surfaces. We first identify that
kG
s
c;s
i
k¼
p
r
2
þ
R
v
s
0
Gðk
n
; r; sÞds þ cðrÞ as long as
r 6 min
s2½0;
v
s
Þ
ffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffi
2ðkðsÞk
g
ðsÞÞ=ð
k
2
n
ðsÞkðsÞÞ
q
under the GC
Walk; we then obtain a formula on the transformation
from the area measure of G
s
c;s
i
to the coverage ratio;
finally, let h
r
ð
v
s
Þ¼lim
n!1
1
n
P
n
i¼1
R
v
s
0
G
i
ðk
n
; r; sÞds,ifit
exists, and then Fð
s
Þ¼1 e
k½
p
r
2
þh
r
ð
v
s
ÞþcðrÞ
. G
i
ðk
n
; r; sÞ,
defined in Eq. (1), characterizes the properties of the
FoI and the mobility of sensor, and the function c(r) sat-
isfies lim
r!0
cðrÞ
r
3
¼ c; ðjcj < 1Þ.
These results are consistent with previous results on the
stationary 2D plane, mobile 2D plane and stationary sur-
face scenarios [24,18,22]. We present the main implica-
tions of the above results below. From an abstract point
of view, the first two reflect the inner consistency of our
analysis methodology and thus verify the correctness of
our results.
Remark 3.1. For a sphere of radius R; k
n
ðsÞ¼
k
n
ðsÞ¼
1
R
,so
we have
G
i
ðk
n
; r; sÞ¼r
ffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffi
4
r
R
2
r
¼ r
ffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffi
4 Kr
2
p
;
h
r
ð
v
s
Þ¼r
v
s
ffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffi
4 Kr
2
p
;
and c(r) = 0 for the sphere case. Therefore, the coverage ra-
tio of a sphere can be reduced from that in the general sur-
face case:
Fð
s
Þ¼1 e
k½
p
r
2
þh
r
ð
v
s
ÞþcðrÞ
¼ 1 e
k½
p
r
2
þr
v
s
ffiffiffiffiffiffiffiffiffiffi
4Kr
2
p
:
Remark 3.2. When the sphere expands to a 2D plane, i.e.
R ? 1 (K ? 0), then h
r
(v
s
)=
p
r
2
+2rv
p
. Therefore, the cov-
erage ratio of the 2D plane can be reduced from these in
both the sphere case and the general surface case.
Remark 3.3. The coverage ratio has the general form
Fð
s
Þ¼1 e
k½
p
r
2
þh
r
ð
v
s
ÞþcðrÞ
for the mobility case, and
Fð0Þ¼1 e
k
p
r
2
þcðrÞ
for the stationary case. Since h
r
(v
s
)is
always positive, and —c(r)— is smaller than h
r
(v
s
), so
Fð
s
Þ¼1 e
k½
p
r
2
þh
r
ð
v
s
ÞþcðrÞ
P 1 e
k
p
r
2
¼ Fð0Þ:
Then we always have that mobility increases the surface
coverage of sensor networks. Furthermore, since h
r
(v
s
) in-
creases with v
s
, there are two ways for increasing F(
s
):
increasing the sensors’ moving speed or prolonging the
time interval.
Remark 3.4. From function h
r
(v
s
) and Gðk
n
; r; sÞ, we know
that sensors moving at positions with bigger Gaussian cur-
vature will cover a region with less area. It is not difficult to
check that the inequality Gðk
n
; r; sÞ 6 2r always holds, with
equality holding for the 2D plane case. Therefore, given the
speed, the area covered by sensors moving on a 2D plane
over an equivalent time interval is larger than that on gen-
eral 3D surfaces. This lead us to the conclusion that the
nonzero Gaussian curvature leads to the invalidity of the
2D plane model for 3D surfaces, i.e., the coverage hole
problem.
4. Network models and metrics
This section describes models for FoI, sensing, deploy-
ment and mobility pattern, respectively, and presents sev-
eral measures to assess the surface coverage performance
of mobile sensor networks.
To understand our work, the reader must be familiar
with preliminaries of the integral and differential geome-
try theories. For convenience, Appendix A lists the related
definitions and theorems.
4.1. The unit ball sensing model
We assume that the target FoI is a convex surface S of
class C
2
in 3D space.
1
S can be expressed as a single valued
function z = h(x,y) in a Cartesian coordinate system. In par-
ticular, S is a plane if and only if the function is z = c where
c is a constant, for an appropriate selection of the coordinate
system. A sensor s
i
is said to be placed on S if the coordinates
of s
i
satisfy the equation of S, which is denoted as s
i
2 S.
1
Convex surface, Gaussian curvature, surface of class C
k
are considered
as a prior knowledge. Refer to Appendix A or [31] for detailed definitions.
X.-Y. Liu et al. / Computer Networks 57 (2013) 2348–2363
2351