Professional Documents
Culture Documents
Using Quantization To Deploy Heterogeneous Nodes in Two-Tier Wireless Sensor Networks
Using Quantization To Deploy Heterogeneous Nodes in Two-Tier Wireless Sensor Networks
Abstract—We study a heterogeneous two-tier wireless sensor methods to reduce the energy consumption of radio commu-
network in which N heterogeneous access points (APs) collect nication in the literature: (1) topology control [11], [12], in
sensing data from densely distributed sensors and then forward which unnecessary energy consumption is avoided by properly
the data to M heterogeneous fusion centers (FCs). This hetero-
geneous node deployment problem is modeled as a quantization switching awake and asleep states, (2) energy-efficient routing
problem with distortion defined as the total power consumption protocols [4], [13], that are designed to find an optimal path
of the network. The necessary conditions of the optimal AP and to transfer data, (3) power control protocols [14], [15], that
FC node deployment are explored in this paper. We provide a save communication energy by adjusting the transmitter power
variation of Voronoi Diagram as the optimal cell partition for at each node while keeping reliable communications. Another
this network, and show that each AP should be placed between
its connected FC and the geometric center of its cell partition. In widely used method, Clustering [14], [16], attempts to balance
addition, we propose a heterogeneous two-tier Lloyd algorithm to the energy consumption among sensor nodes by iteratively
optimize the node deployment. Simulation results show that our selecting cluster heads. Unfortunately, above MAC protocols
proposed algorithm outperforms the existing clustering methods bring about a massive number of message exchanges because
like Minimum Energy Routing, Agglomerative Clustering, and the geometry and/or energy information are required during
Divisive Clustering, on average.
Index Terms—quantization, node deployment, heterogeneous
the operation [16]. Also, the node deployment is known and
wireless sensor networks. fixed in the aforementioned energy saving approaches while it
plays an important role in energy consumption of the WSNs.
I. I NTRODUCTION In this paper, we study the node deployment problem in
heterogeneous two-tier WSNs consisting of heterogeneous
Wireless sensor networks (WSNs) have been widely used
APs and heterogeneous FCs, with distortion defined as the
to gather data from the environment and transfer the sensed
total wireless communication power consumption. The optimal
information through wireless channels to one or more fusion
energy-efficient sensor deployment in homogeneous WSNs is
centers. Based on the network architecture, WSNs can be
studied in [1]. However, the homogeneous two-tier WSNs
classified as either non-hierarchical WSNs in which every
in [1] do not address various challenges that exist in the
sensor node has identical functionality and the connectivity
heterogeneous two-tier WSNs, e.g., unlike regular Voronoi
of network is usually maintained by multi-hop wireless com-
diagrams for homogeneous WSNs, the optimal cells in hetero-
munications, or hierarchical WSNs where sensor nodes play
geneous WSNs may be non-convex, not star-shaped or even
different roles as they are often divided into clusters and
disconnected, and the cell boundaries may not be hyperplanes.
some of them are selected as cluster head or relay. WSNs
Another challenge that exists in the heterogeneous two-tier
can also be divided into either homogeneous WSNs [1]–
networks is that unlike the homogeneous case [1], or heteroge-
[4], in which sensors share the same capacity, e.g., storage,
neous one-tier case [17], some nodes may not contribute to the
computation power, antennas, sensitivity etc., or heterogeneous
energy saving. To the best of our knowledge, the optimal node
WSNs where sensors have different capacities [5]–[8].
deployment for energy efficiency in heterogeneous WSNs is
Energy consumption is a key bottleneck in WSNs due to
still an open problem. Our main goal is to find the optimal
limited energy resources of sensors, and difficulty or even
AP and FC deployment to minimize the total communication
infeasibility of recharging the batteries of densely deployed
energy consumption. By deriving the necessary conditions
sensors. The energy consumption of a sensor node comes from
of the optimal deployments in such heterogeneous two-tier
three primary components: communication energy, computa-
WSNs, we design a Lloyd-like algorithm to deploy nodes.
tion energy and sensing energy. The experimental measure-
ments show that, in many applications, the computation energy The rest of this paper is organized as follows: In Section
is negligible when it is compared to communication energy [9], II, we introduce the system model and problem formulation.
[10]. Furthermore, for passive sensors, such as light sensors In Section III, we study the optimal AP and FC deployment.
and acceleration sensors, the sensing energy is significantly A numerical algorithm is proposed in Section IV to minimize
small. Therefore, wireless communication dominates the sen- the energy consumption. Section V presents the experimental
sor energy consumption in practice. There are three primary results and Section VI concludes the paper.
II. S YSTEM M ODEL AND P ROBLEM F ORMULATION sensors
R in one time unit, i.e. the average-receiver-data-rate,
Here, we study the power consumption of the heterogeneous is Rn f (w)dw. It can be reasonably assumed that the AP
two-tier WSNs consisting of three types of nodes, i.e., homo- transmitters only forward sensing data when the collected data
geneous sensors, heterogeneous APs and heterogeneous FCs. comes into the buffer. Therefore, the channel-busy-ratio is pro-
The power consumption models for homogeneous WSNs are portional toR the average-receiver-data-rate,
R and can be written
f (w)dw.T /ζ A f (w)dw
discussed in details in [1]. The main difference in this work as ΓAn =
Rn
T
T (n)
= Rnζ A , where ζTA(n) is
T (n)
is the heterogeneous characteristics of the APs and FCs. For the AP n’s instant-transmitter-data-rate which is determined
the sake of completeness, we describe the system model for by the SNR threshold at the corresponding FC T (n). Hence,
heterogeneous WSNs here in details. Given the target area we can rewrite the average-transmitter-power of AP n as
Ω ⊂ R2 which is a convex polygon including its interior, N A
ηn,T R
PtAn = EtAn ΓAn = ζA
(n)
||pn − qT (n) ||2 Rn f (w)dw, and the
APs and M FCs are deployed to gather data from sensors. T (n)
Throughout this paper, we assume that N ≥ M . Given the total power consumption at AP transmitters is calculated by
sets of AP and FC indices, i.e., IA = {1, 2, ..., N } and IB = summing the average-transmitter-powers of APs:
{1, 2, ..., M }, respectively, the index map T : IA −→ IB is N
A X
defined to be T (n) = m if and only if AP n is connected P (P, Q, R, T ) = PtAn (1)
to FC m. The AP and FC deployments are then defined by n=1
P = (p1 , ..., pN ) and Q = (q1 , ..., qM ), where pn , qm ∈ R2 XN Z A
ηn,T (n)
denote the location of AP n and FC m, respectively. Through- = ||pn − qT (n) ||2 f (w)dw
out this paper, we assume that each sensor only sends data to n=1 Rn ζTA(n)
one AP. For each n ∈ IA , AP n collects data from sensors
in the region Rn ⊂ Ω; therefore, for each AP deployment P , Second, we consider sensors’ total transmitting power con-
there exists an AP partition R = (R1 , ..., RN ) comprised of sumption. The total amount of data collected from the sensors
disjoint subsets of R2 whose union is Ω. The density of the inside the region [w, w + dw] in one time unit is equal to
data rate from the densely distributed sensors is denoted via a f (w)dw since the density of data rate f (.) is approximately
continuous and differentiable function f : Ω −→ R+ , i.e., the uniform on the extremely small region [w, w +dw]. Therefore,
total amount of dataR gathered from the sensors in region Rn the sum of channel-busy-ratios of sensors in the infinitesimal
S
f (w)dw.T /ζn
in one time unit is Rn f (w)dw [1]. region [w, w + dw] is ΓSn = T = f (w)dw
S
ζn , where ζnS
We focus on the power consumption of sensors and APs, is sensors instant-transmitter-data-rate. We only consider the
since FCs usually have reliable energy resources and their en- homogeneous sensors, i.e., sensors’ antenna gains are identi-
ergy consumption is not the main concern. First, we discuss the cal. Moreover, sensors within [w, w + dw] have approximately
APs’ total power consumption. According toR [8], power at the the same distance to the corresponding AP pn , and thus have
receiver of AP n is modeled as PrAn = ρn Rn f (w)dw, n ∈ the same instant-transmission-power EtSn = ηnS ||w − pn ||2 ,
IA , where ρn is AP n’s power consumption coefficient for where ηnS is a constant determined by sensors’ common
receiving data. For simplicity, we assume APs share the same transmitter antenna gain, AP n’s receiver antenna gain, and
receiving coefficient, i.e., ρn = ρ. Therefore, the sum of power the SNR threshold of AP n. Therefore, the sum of average-
consumption at receivers is a constant and does not affect transmitter-powers within the region [w, w + dw] is equal to
S
ηn 2
the energy optimization and can be ignored in our objective ζnS ||pn − w|| f (w)dw. Since sensors in the region Rn send
function. In what follows, we focus on power consumption at their data to AP n, the sum average-transmitter-powers of
AP transmitters. The average-transmitting-power (Watts) of sensors in the target area Ω can be written as:
AP n is defined to be PtAn = EtAn ΓA n , ∀n ∈ IA , where Etn
A
N Z
X
denotes the instant-transmission-power (Joules/second) of AP S ηnS
n, and ΓA P (P, R) = ||pn − w||2 f (w)dw (2)
n denotes the channel-busy-ratio for the channel of Rn ζnS
n=1
AP n to its corresponding FC, i.e., the percentage of time
that the transmitter forwards data. According to [18, (2.7)], the The two-tier distortion is then defined as the Lagrangian
P An Gt Gr λ2
instant-receive-power through free space is PrAn = r16π 2 d2 , function of Eqs. (1) and (2):
where Gt is the transmitter antenna gain, Gr is the receiver
S A
antenna gain, λ is the signal wavelength, and d is the distance D (P, Q, R, T ) = P (P, R) + βP (P, Q, R, T ) = (3)
between the transmit and receive antennas. Let N0 be the noise XN Z
power. In order to achieve the required SNR threshold γ at an ||pn − w||2 + βbn,T (n) ||pn − qT (n) ||2 f (w)dw
PA Rn
the receivers, i.e., Nr0n = γ, the instant-transmission-power n=1
(c) (d)
+ βbn,T (n) ||pn − qT (n) ||2 )f (w)dw
Fig. 2: AP and FC deployments of different algorithms with β = = D(P, Q, V, T ) (10)
0.25 in WSN2. (a) MER. (b) AC (c) DC. (d) HTTL.
Hence, the generalized Voronoi diagram is the optimal parti-
tion for any given deployment (P, Q, T ).
A PPENDIX B
103 103
MER
MER
AC
AC
DC
Given N APs and M FCs (M < N ), first we demon-
DC
HTTL
HTTL
strate
that there
exists an optimal node deployment such as
Weighted Power
Weighted Power
102 102
b b b b
P , Q, R, T in which each FC has at most one connected
AP at the same location, i.e., for each m ∈ IB , the cardinality
101 101
of the set {n|Tb(n) = m, pbn = qbm } is less than or equal to 1.
For this purpose, we consider an optimal node deployment
100
-4 -2 0 2 4
100
-4 -2 0 2 4 (P ∗ , Q∗ , R∗ , T ∗ ) and assume that there exist at least two
log2 ( ) log2 ( )
distinct indices n1 , n2 ∈ IA and an index m ∈ IB such that
(a) (b)
T ∗ (n1 ) = T ∗ (n2 ) = m, and p∗n1 = p∗n2 = qm ∗
. Without loss
Fig. 3: The weighted power comparison of different Algorithms. (a)
WSN1. (b) WSN2. of generality, we can assume that an1 ≤ an2 . We have:
Z
Dn1 = (an1 ||p∗n1 − w||2
R∗
n1
the minimum power that ensures reliable communication on ∗ 2
+ βbn1 ,m ||p∗n1 − qm || )f (w)dw
such two-tier networks and modeled it as a quantization Z
problem. Different from the homogeneous two-tier networks, = an1 ||p∗n1 − w||2 f (w)dw (11)
a novel Voronoi Diagram is proposed to provide the best R∗
n1
Since M < N and each FC has at most one AP upon it, The below equation for the ratio of distortions in (17) and (18)
there exists an index k ∈ IA such that pbk 6= qbTb(k) . In order to R
ak B(x,ǫ) ||x − w||2 f (w)dw
show that the optimal two-tier distortion with N APs and M + lim R =0 (19)
1 FCs is less than that of N APs and M FCs, it is sufficient ǫ−→0 ∆n × B(x,ǫ) f (w)dw
to construct a node deployment with N APs and M + 1 FCs implies that there exists an ǫ∗ ∈ (0, δ) such that the con-
′′ ′′ ′′ ′′
such as (P , Q , R , T ) that achieves lower distortion than tribution of the region B(x, ǫ∗ ) to the total distortion in
D Pb, Q, b R, b Tb . For each n ∈ IA , let vbn denote the volume ′′ ′′ ′′ ′′
D (P , Q , R , T ) will be less than that of D P , Q, R, T . b b b b
R
of the region R bn , i.e., vbn = b f (w)dw. We consider two Hence, we set P ′′ = (p′′1 , p′′2 , ..., p′′N ) where p′′i = pbi for i 6= k,
Rn
different cases: (i) If vbk > 0, then we set P ′′ = Pb, Q′′ = and p′′k = x. Also, we set Q′′ = qb1 , qb2 , ..., qbM , qM+1 ′′
=x .
′′
qb1 , qb2 , ..., qbM , qM+1 b and T ′′ (n) = Tb(n) for
= pbk , R′′ = R The partitioning R′′ = (R1′′ , ..., RN ′′
) is defined as Ri′′ = R bi
′′ bn − B(x, ǫ∗ ).
n 6= k and T (k) = M + 1. Note that for i 6= k and i 6= n, Rk′′ = B(x, ǫ∗ ) and Rn′′ = R
Z Finally, we set T ′′ (i) = Tb(i) for i 6= k and T ′′ (k) = M +1. As
ak ||b pk − w||2 + βbk,Tb(k) ||b pk − qbTb(k) ||2 f (w)dw mentioned earlier,
the two-tier
′′
distortion D (P , Q , R , T )
′′ ′′ ′′
Rbk
Z b b b b
is less than D P , Q, R, T . Note that if the region B(x, ǫ) is
> ak ||b pk − w||2 f (w)dw (14) a subset of more than one region, Eqs. (15) to (17) and (19)
b
Z Rk can be modified accordingly and a similar argument can be
′′
= ak ||b pk − w||2 + βbk,M+1 ||b pk − qM+1 ||2 f (w)dw made to show that the resulting distortion will be improved in
bk
R the new deployment, and the proof is complete.
implies that in the new deployment (P ′′ , Q′′ , R′′ , T ′′ ), the
A PPENDIX C
contribution of the AP k to the total distortion has decreased.
Since the contribution of other APs to the distortion has not
Assume that there exists an index m ∈ IB in
changed, we have D (P ′′ , Q′′ , R′′ , T ′′ ) < D Pb , Q, b R,
b Tb S optimal node
the deployment (P ∗ , Q∗ , R∗ , T ∗ ) such that
∗
and the proof is complete. (ii) If vbk = 0, n:T ∗ (n)=m Rn has zero volume. Consider the node de-
then AP k does ployment (P ′ , Q′ , R′ , T ′ ) where P ′ = P ∗ , Q′ =
not contribute to the optimal distortion D Pb, Q, b R,
b Tb , and
q1∗ , ..., qm−1
∗ ∗
, qm+1 ∗
, ..., qM , R′ = R∗ and T ′ (i) = T ∗ (i)
it can be placed anywhere within the target region Ω. Since for indices i ∈ IA such that T ∗ (i) 6= m. Note that for indices
the set {b
p1 , ..., pbN , qb1 , ..., qbM } has zero measure, clearly there i ∈ IA such that T ∗ (i) = m, we can define T ′ (i) arbitrarily
exists a point x ∈ Ω and a threshold δ ∈ R+ such that because the corresponding regions Ri′ have zero volume. Since
B (x, δ) = {w ∈ Ω|kx − wk ≤ δ} does not include any point S ∗
n:T ∗ (n)=m Rn has zero volume, we have:
from the set {b p1 , ..., pbN , qb1 , ..., qbM }. Since f (.) is positive,
continuous and differentiable over Ω, for each 0 < ǫ < δ the D (P ′ , Q′ , R′ , T ′ ) = D (P ∗ , Q∗ , R∗ , T ∗ ) (20)
which is in contradiction with Lemma 1 since the optimal Therefore, the pairwise Voronoi region Vij is derived:
node deployment (P ∗ , Q∗ , R∗ , T ∗ ) for N APs and M FCs
has not improved the node deployment (P ′ , Q′ , R′ , T ′ ) for N
HS(Aij , Bij ) , ai = aj
APs and M − 1 FCs in terms of distortion. Hence the proof
B(cij , rij ) , ai > aj , Lij ≥0
is complete. Vij = Ω ∩ ∅ , ai > aj , Lij <0, (28)
B c (cij , rij ) , ai < aj , Lij ≥0
A PPENDIX D R2 , ai < aj , Lij <0
First, we study the shape of the Voronoi regions in (5). Let where B c (cij , rij ) is the complementary of B(cij , rij ). Note
B(c, r) = {ω|kω − ck ≤ r} be a disk centered at c with radius that for two distinct indices such as i, j ∈ IA , if ai > aj and
r in two-dimensional space. In particular, B(c, r) = ∅ when Lij < 0, then two regions Ω ∩ B(cij , rij ) and ∅ differ only
r ≤ 0. Let HS = {ω|Aω + B ≤ 0} be a half space, where in one point, i.e., cij . Similarly, for ai < aj and Lij < 0, two
A ∈ R2 is a vector and B ∈ R is a constant. For i, j ∈ IA , regions Ω ∩ B c (cij , rij ) and Ω differ only in one point cij .
we define Hence, if we define:
" #
Vij (P, Q, T ) , {ω|ai ||pi − w||2 + βbi,T (i) ||pi − qT (i) ||2 ≤ \ \
Vk = B(cki , rki )
aj ||pj − w||2 + βbj,T (j) ||pj − qT (j) ||2 } i:ak >ai
(21) " #
to be the pairwise Voronoi region of AP i where only AP \ \
HS(Aki , Bki )
i and j are considered. Then, AP hT i’s Voronoi iregion can
T "
i:ak =ai
#
be represented as Vi (P, Q) = V
j6=i ij (P, Q) Ω. Let \ \
c
(ωx , ωy ), (pix , piy ), and (pjx , pjy ) be the coordinates of ω, pi B (cki , rki ) Ω (29)
and pj , respectively. Expanding the inequality in (21) results i:ak <ai
in
then two regions V k and Vk differ only in finite number of
(ai − aj )(ωx2 + ωy2 ) − 2(ai pix − aj pjx )ωx points. As a result, integrals over both V k and Vk have the
same value since the density function f is continuous and
− 2(ai piy − aj pjy )ωy + ai kpi k2 − aj kpj k2 (22)
2 2
differentiable, and removing finite number of points from the
+ βbi,T (i) kpi −qT (i) k − βbj,T (j) kpj −qT (j) k ≤0 integral region does not change the integral value. Note that if
Vk is empty, the Proposition 1 in [5] holds since the integral
When ai = aj , the pairwise Voronoi region is a half space, i.e.,
over an empty region is zero. If Vk is not empty, the same
Vij = {Aij ω + Bij ≤ 0}, where Aij = aj pj − ai pi and Bij =
arguments as in Appendix A of [5] can be replicated since
(ai ||pi ||2 −aj ||pj ||2 +βbi,T (i) ||pi −qT (i) ||2 −βbj,T (j) ||pj −qT (j) ||2 )
2 . V k in (29) is similar to Eq. (31) in [5].
When ai > aj , Vij is represented as: Using parallel axis theorem, the two-tier distortion can be
written as:
(ω − cij )2 ≤ Lij . (23) N Z
X
D (P, Q, V, T ) = an ||pn − w||2
When ai < aj , Vij is represented as: n=1 Vn
(ω − cij )2 ≥ Lij , (24) + βbn,T (n) ||pn − qT (n) ||2 f (w)dw
N Z
X
where
= an ||cn − w||2 f (w)dw
n=1 Vn
ai pix − aj pjx ai piy − aj pjy ai p i − aj p j
cij = , = + an ||pn − cn ||2 vn
ai − aj ai − aj ai − aj
(25) + βbn,T (n) ||pn − qT (n) ||2 vn (30)
ai aj kpi − pj k2
Lij = 2
(ai − aj ) Using Proposition 1 in [5], since the optimal deployment
bi,T (i) kpi −qT (i) k2 − bj,T (j) kpj −qT (j) k2 (P ∗ , Q∗ ) satisfies zero gradient, we take the partial derivatives
−β× (26) of Eq. (30) as follows:
(ai − aj )
∂D h i
∗ ∗ ∗ ∗ ∗
For Lij ≥ 0, we define the radius rij as: = 2 a n (p n − c n ) + βb n,T ∗ (n) (p
n − qT ∗ (n) ) vn = 0
∂p∗n
(p ∂D X
∗
Lij , Lij ≥ 0 ∗
=2 βbn,m (qm − p∗n )vn∗ = 0 (31)
rij = (27) ∂qm ∗
n:T (n)=m
0, Lij < 0
By solving Eq. (31), we have the following necessary condi- For each index n ∈ IA and the corresponding index m =
tions: T (n), we can rewrite the contribution of AP n to the total
distortion as:
an c∗n + βbn,T ∗ (n) qT∗ ∗ (n) Z
p∗n = (32)
an + βbn,T ∗ (n) an ||pn − w||2 + βbn,m ||pn − qm ||2 f (w)dw
P ∗ ∗ Rn
∗ n:T ∗ (n)=m bn,m pn vn Z 2
qm = P (33) (an w + βbn,m qm )
n:T ∗ (n)=m bn,m vn
∗ = (an + βbn,m ) pn −
Rn an + βbn,m
and the proof is complete. βan bn,m
+ ||w − qm ||2 f (w)dw
an + βbn,m
A PPENDIX E Z 2
a2n (an + βbn,m ) pn − βbn,m qm
= − w
In what follows, we demonstrate that none of the four steps Rn an + βbn,m an
in the HTTL algorithm will increase the two-tier distortion. βan bn,m
+ ||w − qm ||2 f (w)dw
Given P , Q and R, updating the index map T according to an + βbn,m
(4) minimizes the total distortion, i.e., the two-tier distortion Z 2
a2n (an + βbn,m ) pn − βbn,m qm
will not increase by the first step. Moreover, given P , Q and = − cn
Rn an + βbn,m an
T , Proposition 1 indicates that updating R according to (5)
βan bn,m
and (6) gives the best partitioning; thus, the second step of + ||cn − w||2 + ||w − qm ||2 f (w)dw
the HTTL algorithm will not increase the distortion. Below an + βbn,m
Z 2
equality follows from straightforward algebraic calculations an
= ||cn − w||2
and we omit the proof here: Rn a n + βb n,m
X X 2
′
an cn + βbn,m qm
bn,m vn ||pn − qm ||2 = bn,m vn (||pn − qm ||2
+ (an + βbn,m )pn −
an + βbn,m
n:T (n)=m n:T (n)=m
′ βan bn,m
+ ||qm − qm ||2 ) (34) + 2
||w − qm || f (w)dw
an + βbn,m
P Z
′
for qm
bn,m pn vn
= Pn:T (n)=m bn,m vn . The contribution of FC m to a2n
n:T (n)=m
= ||cn − w||2 f (w)dw
the total distortion can then be rewritten as: an + βbn,m Rn
X Z + (an + βbn,m )||pn − p′n ||2 vn
Z
an ||pn − w||2 + βbn,m ||pn − qm ||2 f (w)dw βan bn,m
Rn + ||w − qm ||2 f (w)dw (37)
n:T (n)=m
Z an + βbn,m Rn
X
= an ||pn − w||2 f (w)dw a c +βb
where p′n = n ann +βbn,m m q
. Note that the first equality in
Rn n,m
n:T (n)=m (37) comes from (36), and the third equality follows from the
X parallel axis theorem. Now, given Q, R and T , the first and
′ 2
+β bn,m vn ||qm − qm || third terms in (37) are constant and moving pn toward p′n will
n:T (n)=m not increase the second term in (37). Hence, the fourth step of
the HTTL algorithm will not increase the total distortion either.
X
′ 2 So, the HTTL algorithm generates a sequence of positive
+β bn,m vn ||pn − qm || (35)
n:T (n)=m non-increasing distortion values and thus, it converges. Note
that if distortion remains the same after an iteration of the
Now, given P , R and T , the first and third terms in right hand algorithm, it means that non of the four steps have decreased
′
side of (35) are constant and moving qm toward qm will not distortion and the algorithm has already reached an optimal
increase the distortion in (35). Therefore, the third step of the deployment.
HTTL algorithm will not increase the total two-tier distortion
as well. ACKNOWLEDGMENT
The following equation can be easily verified using straight- This work was supported in part by the NSF Award CCF-
forward algebraic computations and we omit the proof here: 1815339.