# Percolation theory-based exposure-path prevention for 3D-wireless sensor networks coverage.

1. IntroductionWireless sensor networks (WSNs) have a wide area of applications, such as military detection, healthy environment monitoring, and seism surveillance. All of these applications require the intrusions being detected by sensor nodes in the interested region [1]. In the area of WSNs, the intrusion detection problem belongs to node coverage issue, which is of paramount importance. Furthermore, coverage of intrusions path has a great impact on the intrusion detection. Most of the previous researches focus on the full coverage models in WSNs. Full coverage means that everywhere in the deployment area is covered by nodes, which is at the cost of resource wastes and high complexity. In fact, many applications of WSNs mainly concentrate on the exposure-path prevention which needs the partial coverage to prevent the exposure paths. In the other words, they don't need the full coverage, and just need moving detected objects (or intrusions).

Generally, coverage creates collaborations among the nodes in covering a target region for surveying specific phenomena. Firstly, we define a covered region in which each point is covered by at least one sensor node. If an intruder can traverse through the deployment area and the resulting path isn't covered by nodes, we name the traversed path as the exposure path. It reflects the ability of intrusions moving through the deployed area. In [2-3], the authors proposed an approximation algorithm to address the minimum exposure path problem and guarantee the network performance. S. Ferrari and G. Foderaro presented an artificial-potential approach [4] that designed the minimum-exposure paths of multiple mobile objects containing sensor nodes in a dynamic network. In addition, this approach could be used in heterogeneous wireless sensor networks (HWSNs). In allusion to the full coverage, network coverage is rather poor if there exists an exposure path in WSNs. Therefore, we consider the exposure-path prevention problem with the percolation theory in 3D WSNs.

Percolation theory was first put forward by Broadbent and Hammersley to simulate the percolation process of immersed rocks [5], which is appropriate for modeling the disordered media. On the one hand, percolation theory deals with clustering, criticality, diffusion, fractals, phase transitions and disordered systems. It also provides a quantitative model for understanding these phenomena. Therefore, percolation theory is a theoretical and statistical background for various physical and natural sciences. In addition, this theory describes emergent properties related to the connectivity of large numbers of objects. Due to some spatial extent of these objects, their spatial relationships are relevant and statistically prescribed. Thus, percolation theory is related to graph and network theories [6], which exists within the intersection of probability theory and topology. For the present purpose, the chief relevance of percolation theory is its ability to deliver global properties from local properties. In [7], the global properties sought to describe flow, conduction and other transport properties of porous media.

According to percolation theory [8-9], if we assume p as the average degree of connectivity between various sub-units of some arbitrary system, there exists a percolation threshold [p.sub.t]. When p [greater than or equal to] [p.sub.t], there is no exposure path from one side of the system to the other. There are some researches that lie in the exposure-path problem and percolation theory, and we will introduce the related works in Section 2.

The existing works [2-7,10] mainly focus on the exposure-path problems in two dimensional (2D) networks. Nevertheless, 3D WSNs are more apt for practice in most applications [11], and no more contributions are achieved so far. In this paper, we consider the exposure-path prevention problem with percolation theory in 3D WSN scenarios. In order to address this problem and get the tighter bonds of critical density, we put the exposure-path problem into a 3D uniform lattice and propose a bond percolation-based scheme to calculate the tighter bounds of critical density. The scope of the proposed scheme is to detect intrusions in 3D WSNs, which has important practical implications.

The remainder of this paper is organized as follows. Section 2 introduces the related works of barrier coverage and percolation theory. Section 3 presents the system models and problem formulation about exposure-path prevention in 3D WSNs. Section 4 highlights the bond-percolation theory to derive and analyze the optimal critical density for exposure-path problem. Moreover, we discuss the mutual dependence among edges of the proposed bond percolation-based scheme in this section. The models and schemes we proposed is evaluated by the extensive simulation results in Section 5. Section 6 concludes this paper.

2. Related Work

This section introduces the recent results about barrier coverage and percolation theory in WSNs. The exposure-path prevention problem is one part of barrier coverage.

2.1. Barrier Coverage

According to the different covered objects, the researchers classify the coverage of static WSNs into three types: area coverage [12], point coverage [13] and barrier coverage [14], as shown in Fig. 1(a)-(c). The area coverage is full coverage, which requires each point within the target area covered by at least one node,. The point coverage considers the coverage of several discrete targets, i.e., the partial coverage. The barrier coverage focuses on the detection ability of moving targets. In this paper, the mentioned exposure-path problem belongs to the barrier coverage.

The significance of barrier coverage is as follows. For the monitor, it can determine the optimal deployment to make the biggest detection probability. For the intruder, it can choose the most secure path to pass through the monitor area. In [15], Meguerdichian et al. firstly introduced the notion and model of barrier coverage in WSNs. They tried to determine the QoS of the optimal or worst coverage, and proposed a centralized algorithm based on Voronoi and Delaunay triangulation partition. The authors of [16] defined a k-barrier coverage, and proposed its discriminating algorithms after the deployment. They also presented two probabilistic barrier coverage concepts, namely, weak and strong barrier coverage. Meanwhile, they derived the minimum number of sensor nodes required to ensure weak barrier coverage with high probability. However, strong barrier coverage is still an open issue.

Most aspects of barrier coverage are researched in some literatures [17-22]. Due to the globalized nature of barrier coverage, it is very difficult to solve the problem in a decentralized way. To address this challenge, Chen et al. [17] introduced the concept of local barrier coverage and devised localized sleep-wakeup algorithms to provide near-optimal solutions. In [18], for strong barrier coverage, the authors proposed an efficient distributed algorithm to construct multiple disjoint barriers in a randomly deployed WSN on a long irregular strip region. The algorithm reduced the network delay and communication overhead compared with a centralized solution. In [19], Chen et al. studied the quality of barrier coverage and identified where a repair is needed when the barrier performance is less than a predefined value. Saipulla et al. [20] investigated the barrier coverage of the line-based deployment rather than the Poisson distribution model. They also derived a tight lower-bound probability of the existence of barrier coverage. G. Yang and D. Qiao [21] exploited the sensing collaboration between sensor nodes to research the weak barrier coverage. The authors of [22] presented an energy efficient scheduling algorithm with a probabilistic sensing model for barrier coverage.

All the above studies are within the scope of omnidirectional and static WSNs. Regarding directional or dynamic WSNs, there are also many studies [23-27]. Wang and Cao [23] introduced a novel full-view coverage model to camera sensor networks. Further, a novel method to select camera sensor nodes from an arbitrary deployment was suggested in [24] to form a camera barrier. Ma et al. studied the minimum camera barrier coverage problem in camera sensor networks [25]. In [26], the problem of finding appropriate orientations of directional sensor nodes was investigated to provide strong barrier coverage. With the development of mobile sensors, He et al. [27] investigated the cost-effective barrier coverage problem in the circumstances of no sufficient mobile nodes existing, and designed sensor patrolling algorithms to improve barrier coverage.

2.2. Percolation Theory

In [28], Gilbert firstly raised the concept of continuum percolation to find the critical density of a Poisson point process. An unbounded connected component almost surely appears at this density so as to make the network provide long distance multihop communication. For studying continuum percolation, Gilbert's model is the foundation of wireless networks. Percolation threshold is adopted to investigate the connectivity of wireless networks. Penrose [29] indicated that as the number of nodes goes to infinity, the critical range for the probability of establishing overall connectivity is close to 1. This range leads to each node connecting to neighbors on average. Based on the percolation theory, Gupta and Kumar [30] used the correlation results to derive the sufficient condition on communication distance for asymptotic connectivity in wireless networks. However, the loose lower and upper bounds on the critical density restrict the application of continuum-percolation theory.

In [31], for both Poisson and hard-core stationary point processes, the authors demonstrated the existence of site and bond percolation in the Gabriel graph [32]. The simulation results showed that the critical bounds correspond to the existence of two paths of open sites and open bonds, respectively. The authors of [33] presented different classes of coverage algorithms and determined the critical density of a Poisson point process. Simultaneously, they talked about the almost sure existence of an unbounded connected component based on the ratio of the connectivity range of the base stations to the clients'. In [34], Glauche et al. discussed a distributed protocol to guarantee strong connectivity in ad hoc networks. Their proposed problem to find the critical communication range of mobile devices could be interpreted as that of determining the critical node neighborhood degree. Above this range, an ad hoc network graph is almost surely connected. The authors of [35] characterized fundamental coverage properties of large-scale sensor networks in the consideration of both Boolean and probabilistic sensing models for a variety of network scenarios. For efficient topology control of the network, the concept of monotone percolation was put up in [36] based on the local adjustment of the communication radii of the sensor nodes. They also presented some algorithms to guarantee the existence of relatively short paths between any pair of source and destination nodes. Habib et al. [37] focused on percolation in coverage and connectivity of 3D WSNs. It was an integrated continuum percolation problem due to the dependency between coverage and connectivity. Therefore, the authors proposed an integrated concentric-sphere model to address coverage and connectivity in an integrated way. Khanjary et al. [38] introduced aligned-orientation directional sensor networks, and proposed an approach to calculate the density of nodes at critical percolation in such networks by using continuum percolation. In these networks, sensor nodes were deployed based on a Poisson point process and the orientation of all sensor nodes is the same.

However, most existing percolation-based schemes apply the common continuum-percolation theory, enduring the loose lower and upper bounds on the critical density. Thus, these theoretical results may not be directly applied to most application scenarios of WSNs. To solve this problem, we offer a bond percolation-based scheme through mapping the exposure path-prevention problem into a bond percolation model in 3D WSNs. Depending on the deployment of sensor nodes obeying a 3D Poisson process, we deduce the critical densities for both omnidirectional and directional sensor networks under random sensor deployment.

3. System Models And Problem Formulation

In the beginning, we present the sensing and deployment models of omnidirectional and directional sensor networks. Then, the exposure-path prevention problem is formulated by the continuum-percolation theory [39] in 3D WSNs.

In a vast 3D WSN, we deploy sensor nodes randomly and uniformly whose locations can be modeled as a stationary 3D Poisson distribution with an intensity [lambda] > 0. In any sub-region V', the number of sensor nodes N(V') = k follows the Poisson distribution with a parameter [lambda][parallel]V'[parallel], where [parallel]V'[parallel] is the volume of V'. Then, the probability intensity function is

p(N(V') = k) = [([lambda][parallel]V'[parallel]).sup.k]/k!exp(-[lambda][parallel]V'[parallel]). (1)

3.1. System Models

3.1.1. Omnidirectional sensing Model

We adopt the sphere model (B, r, [lambda]) [11] as the sensing model in omnidirectional sensor networks. In this model, the node sensing range is a spherical region B with sensing radius r, as shown in Fig. 2(a), and [lambda] is the deployment density of the sensor nodes. If s: ([x.sub.s], [y.sub.s], [z.sub.s]) denotes a node position in space rectangular coordinate o - xyz, a targeted point t: ([x.sub.t], [y.sub.t], [z.sub.t]) is said to be covered by s when the Euclidean distance [absolute value of st] = [square root of [([x.sub.s] - [x.sub.t]).sup.2] + [([y.sub.s] - [y.sub.t]).sup.2] + [([z.sub.s] - [z.sub.t]).sup.2]] is not larger than r.

3.1.2. Directional sensing Model

Different from the above omnidirectional sensing model, we employ a widely used model--the directional sensing model [40] in the actual applications [41], [42]. As shown in Fig. 2(b), the sensing area is the circular cone (s, r, [??], [alpha]), where v is the central unit vector termed as sensing direction, and [alpha] is the offset angle of the field of view (FOV). t is said to be covered by s if and only if two conditions are satisfied:

1) The Euclidean distance [absolute value of (st)] [less than or equal to] r;

2) The angle [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] between [??] and [??] is within [0, [alpha]/2].

In directional sensor networks, we assume [theta] is the angle of [??] relative to xoz-plane, and [theta] is a random variable with the uniform distribution on [0, 2[pi]], i.e., [theta][??]U[0, 2[pi]].

3.2. Problem Formulation

Let [R.sup.3] be the 3D WSN and its volume is V. We partition the deployment space into the covered region C covered by at least one sensor node, and the vacant region W covered by no sensor node. The definition of exposure path in a 3D network is given in the following.

Definition 1: If a continuous strip S (or curve S) belongs to any vacant region W, S from one side to the other side of the deployment region is defined as an exposure path, see Fig. 3(a)-(b).

Sensor nodes may be spread in an arbitrary pattern, as shown in Fig. 3(a)-(d). An exposure path exists in the 3D network if [lambda] [less than or equal to] [[lambda].sub.C] (Fig. 3(a)-(b)), and not vice versa (Fig. 3(c)-(d)). [[lambda].sub.C] is the critical threshold. However, the extortionate density will cause vast redundancy, which leads to high implementation complexity and cost. Therefore, [lambda] is the optimal density when there are no exposure paths and no redundancy in 3D networks.

Consequently, the exposure-path prevention problem is formulated as the calculation of the critical density [[lambda].sub.C] in a 3D network. To get the tighter bounds of [[lambda].sub.C], we apply bond percolation theory for the 3D WSNs in the following sections. On the basis of the theory of limit, strip S can be considered as the countless curves superposition. For simplicity, we just choose one curve of strip S to discuss, denoted as path S.

3.3. Bond percolation model

To solve the exposure-path prevention problem, we divide the 3D sensor network into a 3D uniform lattice. d(C, [lambda]) and d(W, [lambda]) denote the number of lattices in the regions C and W, respectively. Let the critical density [8] be [[lambda].sub.C] = inf{[lambda]: p(d(C, [lambda]) = [infinity]) > 0}. It is simple to derive that there exists an exposure path in the 3D network if [lambda] [less than or equal to] [[lambda].sub.C].

It is assumed that one unit cube region contains n vertexes, i.e., M = {[m.sub.1], [m.sub.2], ..., [m.sub.n]}, forming a [cube root of n] x [cube root of n] x [cube root of n] lattice as shown in Fig. 4. [cube root of n] is used to approximately substitute for for [??][cube root of n][??] the sake of simplicity, which doesn't affect our final results. The edge between vertex [m.sub.i] and [m.sub.j] is denoted as [e.sub.i,j], where i, j [member of][1, n]. Thus, the edge length of the neighboring vertexes is [mu] = 1/[cube root of n] (n vertexes don't include the ones which lie on the edges of the cube). The following definitions identify the relationship between [e.sub.i,j] and the lower and upper bounds of [[lambda].sub.C].

Definition 2: For edge [e.sub.i,j], we define

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (2)

Then, if L([e.sub.i,j]) = 1, [e.sub.i,j] is defined as L-closed edge; if L([e.sub.i,j]) = 0, [e.sub.i,j] is called as L-open edge.

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (3)

Thus, if U([e.sub.i,j]) = 1, [e.sub.i,j] is named as U-closed edge; if U([e.sub.i,j]) = 0, [e.sub.i,j] is denoted as U-open edge.

Definition 3: Let [Z.sup.3] be the 3D lattice with vertex set M, edge set E and [absolute value of M] = n. If [e.sub.i,j] between arbitrary two neighboring is L-closed/L-open, [Z.sup.3] is said to be an L-coverage lattice; If it is U-closed or U-open, [Z.sup.3] is called a U-coverage lattice.

Definition 4: A path S in [Z.sup.3] goes via a sequence of edges [e.sub.1,2], [e.sub.2,3], ..., [e.sub.i, i+1], ..., i [greater than or equal to] 1, if all the edges in S are L-open/U-open, S is named the L-open/U-open path; if all the edges are L-closed/U-closed, S is called the L-closed/U-closed path.

With the above definitions, we derive that: 1) if edge [e.sub.i,j] is the U-closed edge, then it must be the L-closed edge in terms of coverage; 2) the upper bound [[lambda].sub.u] of the critical density [[lambda].sub.C] could be derived by U-coverage lattice, and the lower bound [[lambda].sub.l] by L-coverage lattice for 3D sensor networks.

4. Bounds of Critical Density

In this paper, if p is the probability of an arbitrary edge being closed in the 3D lattice, a threshold value [p.sub.t] [member of][0,1] exists and results in the differences of the global behavior of the system in two regions C and W. Generally, for all p > [p.sub.t], there exists one closed path from one side to the other of the 3D network. On the contrary, there is no closed path for all p < [p.sub.t]. To ease presentation, we define [P.sub.L] = p{L([e.sub.i,j]) = 1}, [P.sub.U] = p{U([e.sub.i,j]) = 1}; and [[lambda].sub.l] = sup{[lambda]: [P.sub.L] [less than or equal to] [p.sub.t]}, [[lambda].sub.u] = inf{[lambda]: [P.sub.U] [greater than or equal to] [p.sub.t]}. Then, we have p{the exposure path exists} > 0 if [P.sub.L] < [p.sub.t], and p{the exposure path exists} = 0 if [P.sub.U] > [p.sub.t].

4.1. Critical Density [[lambda].sub.C]

4.1.1. [[lambda].sub.C] of Omnidirectional Sensor Nodes

As shown in Fig. 5(a), [s.sub.n] is one arbitrary point on edge [e.sub.i,j] of the L-coverage lattice, and we define an operator [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] in this paper, where [A.sub.n] is the sphere centered at [s.sub.n] with radius r. Then, [A.sub.i] [union] [A.sub.j] is a set containing all the coverage spheres centered at the points of [e.sub.i,j].

Lemma 1: No sensor node in [A.sub.i] [union] [A.sub.j] is a sufficient and necessary condition of all points on [e.sub.i, j] being not covered.

Proof: Based on the definition of [A.sub.i] [union] [A.sub.j], it contains the total coverage space of all points on [e.sub.i,j]. Therefore, it is clear that if there is no sensor nodes in [A.sub.i] [union] [A.sub.j], all points on [e.sub.i, j] aren't covered by any sensor nodes. The reverse is also true.

Next, we exploit [e.sub.i,j] on y-axis as an example and draw the following conclusion. [m.sub.i] and [m.sub.j] are the two endpoints of edge [e.sub.i,j].

Theorem 1: In 3D omnidirectional sensor networks, we have

[[lambda].sub.l] = -ln(1 - [p.sub.t])/[[4/3][pi][r.sup.3] + [[pi][r.sup.2]/[cube root of n]]] < [[lambda].sub.C] < [[lambda].sub.u] = -ln(1 - [p.sub.t])/[[2[pi]/3](2r + [1/2[cube root of n]])[(r - [1/2[cube root of n]]).sup.2]]. (4)

Proof: Following are three steps to prove the theorem.

1) From (1), we have p{N([A.sub.i][union][A.sub.j]) = 0} = exp(-[lambda][parallel][A.sub.i] [union] [A.sub.j][parallel]) = exp(-[lambda](4/3 [pi][r.sup.3] +[[pi][r.sup.2]/[cube root n]])). Then, [P.sub.L] = 1 - p{L([e.sub.i, j]) = 0} = 1 - exp(-[lambda](4/3 [pi][r.sup.3] + [[pi][r.sup.2]/[cube root of n]])).

Consequently, [P.sub.L] increases monotonously as [lambda] increases. Since [[lambda].sub.l] = sup{[lambda]: [P.sub.L] [less than or equal to] [p.sub.t]}, 1 - exp(-[[lambda].sub.l]([4/3] [pi][r.sup.3] + [[pi][r.sup.2]/[cube root of n]])) = [p.sub.t]. Therefore, we can get [[lambda].sub.l] in (4).

2) Based on the above analysis, the probability of all points on [e.sub.i,j] being covered is difficult to derive the explicit expression. As a result, we need to find an approximation of [P.sub.U]. We denote [P.sub.o] as the probability that all points on [e.sub.i,j] are covered by one sensor node. Since [P.sub.U] is the probability that all points on [e.sub.i,j] are covered by one sensor network, obviously,

[P.sub.U] > P{all points on [e.sub.i,j] are covered by one sensor node} = [P.sub.o].

It is clear that one sensor node covers all points on [e.sub.i, j] if and only if some sensor node exists in [A.sub.i] [intersection] [A.sub.j]. From (1),

p{N([A.sub.i][intersection] [A.sub.j]) > 0} = 1 - exp(-[lambda][parallel][A.sub.i][intersection] [A.sub.j][parallel]). (5)

Let A = [parallel][A.sub.i][intersection][A.sub.j][parallel]. According to Fig. 5(a), we can obtain

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (6)

where an arbitrary point in [A.sub.i] [intersection] [A.sub.j] is (x', y', z'), R: [(x').sup.2] + [(y').sup.2] = [(r - 1/2[cube root of n]).sup.2], and d[sigma] = dx' dy'. It is easy to obtain A = 2[pi]/3(2r + [1/2[cube root of n]])[(r - [1/2[cube root of n]]).sup.2].

As a consequence, we choose [P.sub.o] as the approximation of [P.sub.U]. Let [[lambda].sup.u] = inf{[lambda]: [P.sub.o] [greater than or equal to] [p.sub.t]}. Then we can get [[lambda].sub.u] in (4).

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (7)

If [P.sub.L] < [p.sub.t], then p{d(W) = [infinity])} > 0 . It is easy to know that [[lambda].sub.l] < [[lambda]'.sub.C]. From (6), if 1 - exp(-[lambda]A) > [p.sub.t], then [P.sub.U] > [p.sub.t]. In consequence, we can derive that if 1 - exp(-[lambda]A) > [p.sub.t], then p{d(C) = [infinity])} > 0. According to the definition of [[lambda].sub.C], we have ln(1 - [p.sub.t])/A > [[lambda].sub.C]. From 1) and 2), we gain the Theorem 1.

4.1.2. [[lambda].sub.C] of Directional Sensor Nodes

In Fig. 6, we assume a directional sensor node locates an arbitrary point F([x.sub.f], [y.sub.f], [z.sub.f]) in [A.sub.i], [union] [A.sub.j]. The sphere centered at F with radius r intersects y-axis at [F.sub.1] (0, [y.sub.f] - [square root of ([r.sup.2] - [x.sup.2.sub.f] - [z.sup.2.sub.f])], 0) and [F.sub.2] (0, [y.sub.f] + [square root of ([r.sub.2] - [x.sup.2.sub.f] - [z.sup.2.sub.f])], 0), using [e.sub.i,j] on y-axis as an example in Fig. 6(a)-(d). For simplicity, let [f.sub.1] = [y.sub.f] - [square root of ([r.sup.2] - [x.sup.2.sub.f] - [z.sup.2.sub.f])], [f.sub.2] = [y.sub.f] + [square root of ([r.sup.2] - [x.sup.2.sub.f] - [z.sup.2.sub.f])], and [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] be the angle between vector [??] and [??]. Based on the theory of limit, the circular cone [psi] is known as the countless sectors superposition. Firstly, one sector m is considered in [psi]. Then, through the countless sectors superposition, we have Theorem 2.

Theorem 2: In 3D directional sensor networks, we have

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (8)

where dv = dxdydz,

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

and

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

Proof: Three steps are needed to verify this theorem.

1) We assume the probability PN that all points on edge [e.sub.i,j] are not covered by a directional sensor node (F, r, [??], a). [m.sub.i] and [m.sub.j] are the two endpoints of edge [e.sub.i,j]. According to the different positions of [F.sub.1], [F.sub.2] relative to [m.sub.i] and [m.sub.j], the following conditions are obtained in Fig. 6(a)-(d). [theta] is depicted in this figure. In order to simplify drawing, we just describe [theta] in one side of the vertical dashed line.

1. If -1/2[cube root of n] < [f.sub.1] < -1/2[cube root of n] and [f.sub.2] > 1/2[cube root of n] in Fig. 6(a), the node can't cover any point on [e.sub.i,j] if and only if the angle [theta] is smaller than the angle of [??] minus [alpha]/2, and is larger than the angle of [??] plus [alpha]/2. [theta] [??][0, 2[pi]]. Therefore,

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (9)

Analogously, we have the following conclusions.

2. In Fig. 6(b), if [f.sub.1] < - 1/2[square root of n] and [f.sub.2] > 1/2[cube root of n], thus,

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (10)

3. In Fig. 6(c) if -1/2[cube root of n] < [f.sub.1] < [f.sub.2] < 1/2[cube root of n], then,

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (11)

4. In Fig. 6(d), if [f.sub.1] < -1/2[square root of n] and -1/2[cube root of n] < [f.sub.2] < 1/2[cube root of n], hence,

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (12)

With the calculus theory, the region [A.sub.i] [union] [A.sub.j] is divided into u small enough regions, [R.sub.1], [R.sub.2], ..., [R.sub.u]. The circular cone [psi] is divided into g small sectors, [[bar.[omega]].sub.1], [[bar.[omega]].sub.2], ..., [[bar.[omega]].sub.g]. When u [right arrow] [infinity] and g [right arrow] [infinity], the differential dv = dxdydz of volume equal to [parallel][R.sub.q][parallel], 1 [less than or equal to] q [less than or equal to] u. Let [P.sub.q] be the probability that no sensor node cover [e.sub.i,j] in [R.sub.q]. Then, from (1) we have

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (13)

As u [right arrow] [infinity] and g [right arrow] [infinity],

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (14)

Based on (9)-(12), [P.sub.L] increases monotonously with the increase of [lambda]. So, based on the Section 4, we solve [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] to get [[lambda].sub.l].

2) Fig. 5 indicates that all points on [e.sub.i,j] are covered by one sensor node, if and only if the two conditions are satisfied: a. the sensor node locates in [A.sub.i] [intersection] [A.sub.j]; b. [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. [P.sub.o] denotes the probability that all points on [e.sub.i,j] are covered by one sensor node We consider the probability [P'.sub.N] that the directional sensor node in [A.sub.i] [intersection] [A.sub.j] can't cover all points on [e.sub.i,j]. It is easy to see that [P'.sub.N] = 1 when [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII], if not, [MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]. Similar to 1), we divide the region [A.sub.i] [intersection] [A.sub.j] into u small enough regions whose volume is roughly equal to dv. From (13)-(14), we have

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (15)

Therefore, we obtain [[lambda].sub.u] in (8).

3) From Section 4.1.2, 1) and 2), we achieve Theorem 2.

4.2. Dependence Among Neighboring Edges

From (4) and (8), different values of [mu], r and [P.sub.N] can generate the different bounds. It is obvious that the probabilities of all edges [e.sub.i,j] being open or closed are independent in the bond percolation [2]. However, in this paper, [P.sub.L] ([P.sub.U]) of a given edge is dependent on the neighboring edges, but independent on most edges. Consequently, the bond percolation model is used to approximate the coverage percolation.

In this section, the quantitative measure of dependence between [e.sub.1,2] and [e.sub.2,3] is illustrated as an example. We use mutual information in Information Theroy to measure the mutual dependence between B = L([e.sub.1,2]) and C = L([e.sub.2,3]), i.e.,

I(B, C) = [summation over b[member of]{0,1}][summation over c[member of]{0,1}][P.sub.BC](b,c)log([P.sub.BC](b,c)/[P.sub.B](b)[P.sub.C](c)), (16)

where [P.sub.BC] (b, c) = p{L([e.sub.1, 2]) = b, L([e.sub.2,3]) = c}, [P.sub.B](b) = p{L([e.sub.1,2]) = b} and [P.sub.C] (c) = p{L([e.sub.2,3]) = c}. Next, we discuss the mutual dependence in omnidirectional sensor networks.

In Fig. 5(b), I(B,C) reveals the relationships based on [mu], r and the dependence. From (1), we have

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII]

Moreover,

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII],

Put these above equations into (16), we get I (L([e.sub.1,2]), L([e.sub.2,3])). Given that the case of I(U ([e.sub.1,2]), U([e.sub.2,3])) is similar to the above, and similar conclusions can also be calculated. When r = 4, [mu] = 1 or 2, we plot the curves of I(L([e.sub.1,2]),L([e.sub.2,3])) and I(U([e.sub.1,2]), U([e.sub.2,3])) in Fig.7. Through the observation, we find that the dependence between neighboring edges is weak. Therefore, the bond percolation model can be used to approximate the coverage percolation.

Similarly, after similar calculations and drawing with Matlab, mutual information I (B, C) for directional sensor networks can also be derived, as shown in Fig. 8. When [alpha] = 2/3 [pi], I(L([e.sub.1,2]), L([e.sub.2,3])) and I(U([e.sub.1,2]), U([e.sub.2,3])) are close to [theta]. For random [theta], it is easy to see that any two neighboring edges in directional sensor networks are nearly independent with each other, here no longer expatiatory. To sum up, the coverage percolation can be approximately regarded as a bond percolation model.

5. Simulation Evaluations

Finally, the effectiveness of our model and theoretical analyses are demonstrated through simulation with Matlab 7.0 in this section. Here, sensor nodes are deployed under the stationary 3D Poisson point process. The deployment region is a 100 x 100 x 100[m.sup.3] cube. With the simulation results, we analyze the experimental critical densities in L-coverage lattice and U-coverage lattice, respectively.

5.1. Omnidirectional Sensor Networks

Let r = 10 and [p.sub.t] = 0.5. The number of sensor nodes [N.sub.V] varies from 100 to 1000 per 20 steps. Then, the density [lambda] varies from 0.0001 to 0.001 per 0.00002 steps. For every [lambda], 50 different (B, r, [lambda]) are randomly generated. The probability of no exposure path existing is denoted by [P.sub.N]. Three different [P.sub.N] corresponding to the continuum percolation, the L-coverage lattice, and the U-coverage lattice, [P.sub.N,C], [P.sub.N,L] and [P.sub.N,U], are obtained for each (B, r, [lambda]), respectively.

Fig. 9 shows the relationship between [lambda] and the probability [P.sub.c] = p{[e.sub.i,j] is closed}. As [lambda] increases, [P.sub.c] increases. According to Definition 2-4, we get the theoretical values [P.sub.L] and [P.sub.o] which are close to the simulation values [P.sub.L]' and [P.sub.o]', respectively. Clearly, [P.sub.L] and [P.sub.L]' are larger than [P.sub.o] and [P.sub.o]'. Furthermore, we get the value of [P.sub.U]' by simulation which is slightly larger than [P.sub.o]' and less than [P.sub.L]'.

Substituting r = 10 and [mu] = 2 into (4), we obtain 0.00014421 < [[lambda].sub.C] < 0.0001936. The simulation results are [[lambda].sub.l]' = 0.000137, [[lambda].sub.u]' = 0.000189 and [[lambda].sub.C]' = 0.000176. As shown in Fig. 10(a), [P.sub.N,C], [P.sub.N,L] and [P.sub.N,U] increase with the increase of [lambda], and the simulation result of [[lambda].sub.C] is consistent with the theoretical analysis in Theorem 1.

Analogously, we do the experiments with different r and [mu]. Then, the corresponding curves of [P.sub.N,C], [P.sub.N,L] and [P.sub.N,U] are obtained in Fig. 10(b)-(c). [P.sub.N,C], [P.sub.N,L] and [P.sub.N,U] also increase with the increase of [lambda]. When r = 10 and [mu] = 4, we get 0.00012754 < [[lambda].sub.C] < 0.00023388 from (4). The simulation results are [[lambda].sub.l]' = 0.000121, [[lambda].sub.u]' = 0.000227 and [[lambda].sub.c]' = 0.000199, which are consistent with the analytical results in Theorem 1, as shown in Fig. 10(b).

In Fig. 10(c), [P.sub.N,C], [P.sub.N,L] and [P.sub.N,U] also increase with the increase of [lambda]. When r = 11 and [mu] = 2, we obtain 0.00010965 < [[lambda].sub.c] < 0.00014318 according to (4). The simulation results [[lambda].sub.l]' = 0.000101, [[lambda].sub.u]' = 0.000137 and [[lambda].sub.C]' = 0.000128, which are consistent with the analytical results in Theorem 1.

These results of many experiments imply that:

1) The bonds of [[lambda].sub.c] becomes looser as [mu] increases.

2) The bonds of [[lambda].sub.c] gets tighter as r increases.

For the convenience, we first put the scheme [11] denoted as CDMN (Critical Density of Wireless Multi-Hop Networks) into our proposed 3D omnidirectional network model. Then, we define our proposed scheme as PTEP (Percolation Theory-Based Exposure-Path Prevention). Fig. 11 shows the comparison of critical density between CDMN and PTEP when r = 10 and [mu] = 2. [[lambda].sub.L] and [[lambda].sub.U] are the lower and upper bounds of PTEP, while [[lambda]'.sub.L] and [[lambda]'.sub.U] are the lower and upper bounds of CDMN, respectively. The corresponding curves [P.sub.N,L], [P.sub.N,U], and [P'.sub.N,L], [P'.sub.N,U] are obtained from CDMN and PTEP, respectively. From this figure, [[lambda]'.sub.L] = 0.1 x [10.sup.-3], [[lambda].sub.L] = 0.14421 x [10.sup.-3], [[lambda].sub.U] = 0.1936 x [10.sup.-3], and [[lambda]'.sub.U] = 0.3 x [10.sup.-3]. It can be concluded that the bounds of critical density given by CDMN are very loose such that they can not be applied to determine a practically useful density for sensor nodes deployment process. The lower and upper bounds of PTEP are tighter than CDMN's, and we could implement PTEP in 3D WSNs coverage to prevent exposure paths.

5.2. Directional Sensor Networks

Let r = 10 and [alpha] = [pi]/3. In the same way, we set that the number of sensor nodes [N.sub.V] varies from 500 to 2500 per 50 steps. Thus, the density [lambda] varies from 0.0005 to 0.0025 per 0.00005 steps. For each different value of [lambda], we generate 50 different (s, r, [??], [alpha]) randomly generated.

In Fig. 12, it shows the relationship between [lambda] and [P.sub.c] = p{[e.sub.i,j] is closed}. [P.sub.c] increases as [lambda] increases. According to (14)-(15) and simulation results, we get the analytical values [P.sub.L], [P.sub.o] and the simulation values [P.sub.L]', [P.sub.o]'. From Fig. 12, [P.sub.L] basically is equal to [P.sub.L]', and [P.sub.o] is less than [P.sub.o]' by 1%. Obviously, [P.sub.L] and [P.sub.L]' are larger than [P.sub.o] and [P.sub.o]', approximately 0.18. Moreover, the value of [P.sub.U]' is obtained by simulation which is slightly bigger than [P.sub.o]'.

We substitute r = 10 and [alpha] = [pi]/3 into (8), and obtain 0.000712 < [[lambda].sub.C] < 0.00210. The simulation results are [[lambda].sub.l]' = 0.000720, [[lambda].sub.u]' = 0.00202 and [[lambda].sub.C]' = 0.00190. As shown in Fig. 13(a), [P.sub.N,C], [P.sub.N,L] and [P.sub.N,U] also increase as the increase of [lambda]. Then, we conclude that the simulation result of [[lambda].sub.C] is consistent with the analytical results in Theorem 2.

Similarly, we do the experiments with different r and [alpha]. Fig. 13(b)-(c) show the relationship between [P.sub.N] and [lambda]. In the three figures, [P.sub.N,C], [P.sub.N,L] and [P.sub.N,U] also increase as [lambda] increases. When r = 10 and [alpha] = 2[pi]/3, we get 0.00052 < [[alpha].sub.C] < 0.0013 from (8) as shown in Fig. 13(b). The simulation results are [[lambda].sub.l]' = 0.00051, [[lambda].sub.u]' = 0.00128 and [[lambda].sub.C]' = 0.00122, which are consistent with the analytical results in Theorem 2.

In Fig. 13(c), when r = 15 and [alpha] = [pi]/3, we do the calculation from (8), and get 0.000605 < [[lambda].sub.C] < 0.00220. The simulation results [[lambda].sub.l]' = 0.000684, [[lambda].sub.u]' = 0.00223 and [[lambda].sub.C]' = 0.00178 are consistent with the analytical results in Theorem 2.

All of the above results imply that:

1) The bonds of [[lambda].sub.C] becomes tighter as the increase of [alpha].

2) The bonds of [[lambda].sub.C] gets looser as r increases.

To facilitate discussion, we also put CDMN [11] into our proposed 3D directional network model. When r = 10 and [alpha] = [pi]/3, Fig. 14 demonstrates the comparison of the lower and upper bounds between CDMN and PEPT. Let [[lambda].sub.L], [[lambda].sub.U] and [[lambda]'.sub.L], [[lambda]'.sub.U] be the lower and upper bounds of PTEP and CDMN, respectively. In Fig. 14, [[lambda]'.sub.L] = 0.712 x [10.sup.-3], [[lambda].sub.L]= 0.712 x [10.sup.-3], [[lambda].sub.U] = 2.1 x [10.sup.-3], [[lambda]'.sub.U] = 2.5 x [10.sup.-3]. And the corresponding curves [P.sub.N,L], [P.sub.N,U], and [P'.sub.N,L], [P'.sub.N,U] are obtained from PTEP and CDMN, respectively. The simulation results show that the lower bound of CDMN is close to the lower bound of PTEP, while its upper bound is larger than PTEP's. Hence, the bounds of critical density given by CDMN are very loose. So we can not apply them to determine a practically useful density for 3D-network deployment. Conversely, due to the tighter lower and upper bounds of PTEP, it could be implemented to address the exposure-path prevention problem in 3D WSNs.

6. Conclusion

In this paper, the exposure-path prevention problem with the percolation theory was considered in 3D omnidirectional and directional WSNs, which could be applied in intruder detecting applications. In order to solve this problem, we put it into a 3D uniform lattice and proposed a bond percolation-based scheme to calculate the tighter bounds of critical density. The proposed models and simulation results demonstrated that our scheme generated tighter bounds of critical density and ruled out the exposure path in 3D WSNs. To prevent exposure paths in 3D WSNs is still our future research field.

This work is supported by International Science and Technology Cooperation Project (no. 2010DFA11590), the Important National Science & Technology Specific Projects of the Ministry of Science and Technology of China (no. 2013ZX03006001), New Century Excellent Talents in University (NCET) (no. NCET-11-0593), the National High Technology Research and Development Program of China ("863"Program, No. SQ2015AA010 2085), and National Natural Science Foundation of China (No. NSFC61471064).

http://dx.doi.org/ 10.3837/tiis.2015.01.008

References

[1] L. Atzori, A. Iera, and G. Morabito, "The Internet of Things: A survey," Comput. Netw., vol. 54, no. 15, pp. 2787-2805, 2010. Article (CrossRef Link)

[2] H. Djidjev, "Efficient computation of minimum exposure paths in a sensor network field," in Proc. of DCOSS, vol. LNCS 4549. Feb. 2007, pp. 295-308. Article (CrossRef Link)

[3] H. Djidjev, "Approximation algorithms for computing minimum exposure paths in a sensor field," ACM Trans. Sensor Netw., vol. 7, no. 3, pp. 1-3, Sep. 2010. Article (CrossRef Link)

[4] S. Ferrari and G. Foderaro, "A Potential field approach to finding minimum-exposure paths in wireless sensor networks," in Proc. of IEEE Int. Conf. Robot. Autom. Anchorage Conv. District, May 2010, pp. 335-341. Article (CrossRef Link)

[5] Broadbent S R, Hammersley J M, "Percolation processes I. Crystals and mazes," Proceedings of the Cambridge Philosophical Society (S0305-0041), 1957, 53(4): 629-641. Article (CrossRef Link)

[6] Stauffer, Dietrich, Aharony, Amnon, "Introduction to percolation theory," London: Taylor and Francis (519.237.8), 1991, pp: 2-5. Article (CrossRef Link)

[7] A Hunt, R Ewing, B Ghanbarian, "Percolation Theory for Flow in Porous Media Lecture Notes in Physics," Volume 880, 2014, pp: 1-35. Article (CrossRef Link)

[8] Aharony A, Stauffer D, "Introduction to percolation theory," Taylor & Francis, 2003.

Article (CrossRef Link)

[9] G. Grimmett, "What is Percolation?" 2nd ed. New York, NY, USA: Springer-Verlag, 1999. Article (CrossRef Link)

[10] Liang Liu; Xi Zhang; Huadong Ma, "Percolation Theory-Based Exposure-Path Prevention for Wireless Sensor Networks Coverage in Internet of Things," Sensors Journal, IEEE , vol.13, no.10, pp.3625,3636, Oct. 2013. Article (CrossRef Link)

[11] Ng S C, Mao G, Anderson B D O, "Critical density for connectivity in 2D and 3D wireless multi-hop networks," Wireless Communications, IEEE Transactions on, 2013, 12(4): 1512-1523. Article (CrossRef Link)

[12] Yang, Q.; He, S.; Li, J.; Chen, J.; Sun, Y., "Energy-Efficient Probabilistic Area Coverage in Wireless Sensor Networks," Vehicular Technology, IEEE Transactions on, vol.PP, no.99, pp.1,1, 2014. Article (CrossRef Link)

[13] Ostovari, P.; Dehghan, M.; Jie Wu, "Connected Point Coverage in Wireless Sensor Networks Using Robust Spanning Trees," in Proc. of Distributed Computing Systems Workshops (ICDCSW), 2011 31st International Conference on, vol., no., pp.287,293, 20-24 June 2011. Article (CrossRef Link)

[14] Shibo He; Jiming Chen; Xu Li; Shen, X.S.; Youxian Sun, "Mobility and Intruder Prior Information Improving the Barrier Coverage of Sparse Sensor Networks," Mobile Computing, IEEE Transactions on, vol.13, no.6, pp.1268, 1282, June 2014. Article (CrossRef Link)

[15] S. Meguerdichian, S. Slijepcevic, V. Karayan, M. Potkonjak, "Localized Algorithms in Wireless Ad-hoc Networks: Location Discovery and Sensor Exposure," Proceeding of ACMMobihoc'01, 106-116, Long Beach, CA, USA, 2001. Article (CrossRef Link)

[16] S. Kumar, T. Lai, and A. Arora, "Barrier coverage with wireless sensors," in Proc. of Int. Conf. MobiCom, Cologne, Germany, 2005. Article (CrossRef Link)

[17] A. Chen, S. Kumar, and T. Lai, "Designing localized algorithms for barrier coverage," in Proc. of Int. Conf. MobiCom, Montreal, QC, Canada, 2007. Article (CrossRef Link)

[18] B. Liu, O. Dousse, J. Wang, and A. Saipulla, "Strong barrier coverage of wireless sensor networks," in Proc. of ACM Int. Symp. MobiHoc, Hong Kong, China, 2008. Article (CrossRef Link)

[19] A. Chen, T. Lai, and D. Xuan, "Measuring and guaranteeing quality of barrier-coverage in wireless sensor networks," in Proc. of ACM Int. Symp. MobiHoc, Hong Kong, China, 2008. Article (CrossRef Link)

[20] A. Saipulla, C. Westphal, B. Liu, and J. Wang, "Barrier coverage of line-based deployed wireless sensor networks," in Proc.of IEEE Conf. INFOCOM, Rio de Janeiro, Brazil, 2009. Article (CrossRef Link)

[21] G. Yang and D. Qiao, "Barrier information coverage with wireless sensors," in Proc. of IEEE Conf. INFOCOM, Rio de Janeiro, Brazil, 2009. Article (CrossRef Link)

[22] J. Li, J. Chen, and T. H. Lai, "Energy-efficient intrusion detection with a barrier of probabilistic sensors," in Proc. of IEEE INFOCOM, pp. 118 - 126, 2012. Article (CrossRef Link)

[23] Y. Wang and G. Cao, "On Full-View Coverage in Camera Sensor Networks," in Proc. of IEEE INFOCOM, 2011. Article (CrossRef Link)

[24] Y. Wang and G. Cao, "Barrier Coverage in Camera Sensor Networks," in Proc. of ACM MobiHoc, 2011. Article (CrossRef Link)

[25] H. Ma, M. Yang, D. Li, Y. Hong, and W. Chen, "Minimum Camera Barrier Coverage in Wireless Camera Sensor Networks," In Proc. Of IEEE INFOCOM, pp. 217-225, 2012. Article (CrossRef Link)

[26] D. Tao, S. Tang, H. Zhang, X. Mao, and H. Ma, "Strong Barrier Coverage in Directional Sensor Networks," Computer Communications, 35(8):895-905, 2012. Article (CrossRef Link)

[27] S. He, J. Chen, X. Li, X. Shen, and Y. Sun, "Cost-effective barrier coverage by mobile sensor networks," in Proc. of IEEE INFOCOM, pp. 819-827, 2012. Article (CrossRef Link)

[28] E.N. Gilbert, "Random Plane Networks," J. SIAM, vol. 9, no. 4, pp. 533-543, Dec. 1961. Article (CrossRef Link)

[29] M. D. Penrose, "The longest edge of the random minimal spanning tree," Anna. Probab., vol. 7, no. 2, pp. 340-361, 1997. Article (CrossRef Link)

[30] P. Gupta and P. R. Kumar, "Critical power for asymptotic connectivity in wireless networks," in Proc. of Stochastic Anal., Control, Optim. Appl., pp. 657-566, 1998. Article (CrossRef Link)

[31] E. Bertin, J.-M. Billot, and R. Drouilhet, "Continuum Percolation in the Gabriel Graph," Advances in Applied Probability, vol. 34, no. 4, pp. 689-701, 2002. Article (CrossRef Link)

[32] K.R. Gabriel and R.R. Sokal, "A New Statistical Approach to Geographic Variation Analysis," Systematic Zoology, vol. 18, no. 3, pp. 259-278, Sept. 1969. Article (CrossRef Link)

[33] L. Booth, J. Bruck, M. Franceschetti, and R. Meester, "Covering Algorithms, Continuum Percolation and the Geometry of Wireless Networks," Annals of Applied Probability, vol. 13, no. 2, pp. 722-741, 2003. Article (CrossRef Link)

[34] I. Glauche, W. Krause, R. Sollacher, and M. Greiner, "Continuum Percolation of Wireless Ad Hoc Communication Networks," Physica A, vol. 325, pp. 577-600, 2003. Article (CrossRef Link)

[35] A. Jiang and J. Bruck, "Monotone Percolation and the Topology Control of Wireless Networks," in Proc. of IEEE INFOCOM '05, pp. 327-338, 2005. Article (CrossRef Link)

[36] B. Liu and D. Towsley, "A Study of the Coverage of Large-Scale Sensor Networks," in Proc. of First IEEE Int'l Conf. Mobile Ad-Hoc and Sensor Systems (MASS '04), pp. 475-483, 2004. Article (CrossRef Link)

[37] Amman, H.M.; Das, S.K., "Critical Density for Coverage and Connectivity in Three-Dimensional Wireless Sensor Networks Using Continuum Percolation," Parallel and Distributed Systems, IEEE Transactions on , vol.20, no.6, pp.872,885, June 2009. Article (CrossRef Link)

[38] Khanjary, M.; Sabaei, M.; Meybodi, M.R., "Critical Density for Coverage and Connectivity in Two-Dimensional Aligned-Orientation Directional Sensor Networks Using Continuum Percolation," Sensors Journal, IEEE, vol.14, no.8, pp.2856,2863, Aug. 2014. Article (CrossRef Link)

[39] R. Meester and R. Roy, "Continuum Percolation," Cambridge, U.K.: Cambridge University Press, 1996. Article (CrossRef Link)

[40] H. Ma and Y. Liu, "Some problems of directional sensor networks," Int. J. Sensor Netw., vol. 2, no. 2, pp. 44-52, 2007. Article (CrossRef Link)

[41] E. Horster and R. Lienhart, "Approximating optimal visual sensor placement," in Proc. of IEEE Int. Conf Multimedia Expo, Jul. 2006, pp. 1257-1260. Article (CrossRef Link)

[42] S. Ram, K. R. Ramakrishnan, P. K. Atrey, V. K. Singh, and M. S. Kankanhalli, "A design methodology for selection and placement of sensors in multimedia surveillance systems," in Proc. of 4th ACM Int. Workshop Video Surveill. Sensor Netw., 2006, pp. 121-130. Article (CrossRef Link)

Received July 18, 2014; revised October 10, 2014; revised November 25, 2014; accepted November 30, 2014; published January 31, 2015

Xiaoshuang Liu (1), Guixia Kang (2), Ningbo Zhang (3)

Key Laboratory of Universal Wireless Communication, Ministry of Education, Beijing University of Posts and Telecommunications Beijing, PR China

(1) [LXS_55@163.com]

(2) [gxkang@bupt.edu.cn]

(3) [nbzhang@bupt.edu.cn]

* Corresponding author: Ningbo Zhang

Xiaoshuang Liu received the M.S. degree from Hebei Normal University, Hebei, China, in 2012. She is currently working toward the Ph.D. degree in communication and information system at the School of Information and Communication Engineering, Beijing University of Posts and Telecommunications, Beijing, China. Her research interests include optimization, wireless sensor network, et al.

Guixia Kang received the M.S. degree from Tianjin University, Tianjin, China, and the Ph.D. degree in electrical engineering from Beijing University of Posts and Telecommunications (BUPT), Beijing. She was a research scientist in the Future Radio Concept Department of Siemens, Munich, Germany. She is currently a Professor with BUPT. Her interests include the research, development and standardization of 3G and beyond 3G (B3G) wireless communications systems as well as wireless sensor networks.

Ningbo Zhang received his Ph. D. degree from the Beijing University of Posts and Telecommunications, China in 2010. After that, he worked in the Huawei Technology as a senior researcher. From 2010 to 2014, he worked for 3GPP and proposed more than 100 contributions. From 2014 to now, he worked in the Beijing University of Posts and Telecommunicates. His research interests include M2M communication, D2D communication,

advanced channel coding and modulation, cooperative communication and cognitive radio etc.

Printer friendly Cite/link Email Feedback | |

Author: | Liu, Xiaoshuang; Kang, Guixia; Zhang, Ningbo |
---|---|

Publication: | KSII Transactions on Internet and Information Systems |

Article Type: | Report |

Date: | Jan 1, 2015 |

Words: | 8513 |

Previous Article: | Half-duplex relaying strategy suitable for a relay with mobility. |

Next Article: | Resource allocation based on hybrid sharing mode for heterogeneous services of cognitive radio OFDM systems. |

Topics: |