Abstract

In this paper, a rigorous analysis of the performance of time-switching energy harvesting strategy that is applied for a half-duplex bidirectional wireless sensor network with intermediate relay over a Rician fading channel is presented to provide the exact-form expressions of the outage probability, achievable throughput and the symbol-error-rate (SER) of the system under the hardware impairment condition. Using the proposed probabilistic models for wireless channels between mobile nodes as well as for the hardware noises, we derive the outage probability of the system, and then the throughput and SER can be obtained as a result. Both exact analysis and asymptotic analysis at high signal-power-to-noise-ratio regime are provided. Monte Carlo simulation is also conducted to verify the analysis. This work confirms the effectiveness of energy harvesting applied in wireless sensor networks over a Rician fading channel, and can provide an insightful understanding about the effect of various parameters on the system performance.

1. Introduction

Wireless sensor networks (WSNs) are subject to the constraint of energy storage at each mobile node [1,2]. Saving on energy consumption or extending the battery life for sensor nodes has become an important research issue in wireless sensor networks. Recently, energy harvesting (EH) has attracted enormous attention from researchers as a promising cost-effective technique to maximize energy efficiency of a wireless network [3,4,5], especially in wireless sensor networks [6,7,8,9]. Various energy harvesting sources have been studied, such as natural sources (solar [10], wind [11], thermal [12], etc.), strongly coupled magnetic resonances [13], etc. Among them, radio frequency (RF) energy from the ambient transmitters is the most popular source for energy harvesting since it can be received more effectively from RF signals [4]. Because RF signals can convey both energy and information simultaneously, an RF-based energy harvesting technique, called simultaneous wireless information and power transfer (SWIPT), is becoming a more and more promising research topic for WSNs [14,15]. The idea of SWIPT was first introduced in 2008 in the seminal paper of Varshney [16], in which authors proposed an ideal receiver design that is able to simultaneously observe the information and extract power from the same received signal. Zhou et al. [17] connected Varshney’s idea to practice by proposing two realizable receiver architectures design: time switching (TS) and power splitting (PS). The performance analysis of these two EH protocols was conducted rigorously by Nasir et al. [18]. The authors derived analytical expressions for the outage probability and the ergodic capacity of one-way amplify-and-forward (AF) relay networks over a Rayleigh fading channel.

The applications of SWIPT to wireless sensor networks have been investigated in recent works. In [7], the authors proposed a distributed iteration algorithm to solve an energy-efficient cooperative transmission problem for SWIPT in clustered WSNs. In [9], the authors employed wireless energy harvesting techniques and realistic energy converters in dense and often randomly deployed WSNs, and quantified the potential energy gains that can be achieved in the network. Peng et al. [19] considered a wireless energy harvesting two-way relay network (TWRN) using power splitting protocol, where the effects of practical hardware impairments were taken into consideration. Mouapi and Hakem [20] proposed a new approach to defining the specifications of a stand-alone wireless node based on an RF EH system and implemented a hardware circuit to illustrate their energy optimization method. The performance of wireless powered sensor networks for Internet of Things (IoT) application was studied in [4], where the authors proposed the optimal power allocation to maximize the system throughput and also derived the closed-form of that solution. However, in those papers, the channel gains are assumed either to be constant or to be a Rayleigh distributed random variable.

Wireless communication systems in the real radio environments are not only affected by the short-term fading (multipath), but are also subject to the shadowing effects. The vital issue in studying the performance of energy-harvesting-based wireless networks in these conditions is the outage probability analysis. An important statistical characteristic that can describe the behavior of the wireless channels is the probability density function (PDF) of the signal-to-noise-ratio (SNR) at the receiver output. To derive this PDF for different radio propagation environments is sometimes a difficult mathematical task, especially for complicated channel models such as Nakagami-m or Rician channels. In fact, not only the papers we mentioned about SWIPT for WSN, but most of the other results on outage performance up to now [21,22] also focus on Rayleigh fading channels, where we can exploit the fact that the square of channel gain magnitude is exponentially distributed.

As a general comment, it is noted that very few publications about energy harvesting for Rician fading channel exist in the open technical literature. In fact, together with Rayleigh channel, Rician channel should be also considered as one of the small-scale fading models for WSNs, especially for the cases of relatively short range power transfer distance and with existence of a strong line-of-sight (LOS) path [23]. Recently, Zhao et al. [24] have derived the capacity expressions for wireless powered communication systems over a Rician fading channel. However, there is no relay in this study. The source directly harvests the energy from the power beacon. In [25], the authors provided the throughput analysis of relay networks with two energy harvesting protocols (continuous and discrete) over a Rician fading channel, but were only limited in the case of perfect hardware. Furthermore, the paper only provided the integral form of the throughput for the continuous case, so it is not a computationally friendly result. Mishra et al. [26] did provide impressive results on joint optimization of power allocation, power splitting for EH, and relay placement for SWIPT over a Rician channel. Nevertheless, they only use an approximation expression of outage probability to formulate the optimization problem, and did not consider the hardware impairment at the nodes. In practice, the transceiver hardware is imperfect due to phase noise, I/Q (In-phase/Quadrature) imbalance and amplifier nonlinearities [27]. The modeling of hardware impairment in system performance analysis has been presented in many works, for instance, in [28], where the authors analyzed the performance of dual-hop relaying systems in hardware impairment condition, in terms of the capacity, throughput and symbol error rate (SER). We also proposed and evaluated an energy harvesting-based spectrum access model in cognitive radio network with hardware impairment [29]. Again, these works about hardware impairment considered the Rayleigh channels only.

In our current work, we tackle the problem of investigating the performance analysis of SWIPT for WSN over a Rician fading channel, which takes into account the hardware impairment at source and relay nodes. Specifically, we consider an AF two-way half-duplex energy harvesting relay network model suffering from hardware impairments at all nodes over the Rician fading channels. The exact analytical expressions of the achievable throughput, outage probability, and the exact-form expression for the PDF of SNR at each destination node of a half-duplex AF bidirectional wireless sensor networks over a Rician fading channel are derived rigorously. The main contributions of this paper can be described in more details as follows:

• The exact form expression of outage probability and achievable throughput at each destination node with imperfect hardware and in Rician fading environment are derived mathematically.
• We derive the exact-form cumulative distribution function (CDF) of the SNR at each destination node, and use this result to derive the integral exact-form of the SER at destination nodes.
• We also conduct the asymptotic analysis and provide the approximation of all performance factors mentioned above at high $P/N_0$ regime.
• The analytical results are all confirmed by Monte Carlo simulations. Using the simulation results, the effect of various system parameters on the system performance is carefully studied.

The rest of this paper is organized as follows. Section 2 describes the system model and the EH protocol that is used in this paper. Section 3 provides the detailed performance analysis of the system, including exact analysis and asymptotic analysis. The numerical results to validate the analysis are presented in Section 4. Finally, conclusions are drawn in Section 5.

2. System Model

2.1. System Model Description

We consider a bidirectional network with two sources and one relay as illustrated in Figure 1. The transmission model follows the principles of analog network coding [30,31]. This concept is the extension of linear network coding to multihop wireless networks. Traditionally, two sources transmit their data to the relay node in two different time slots to avoid interference. However, with analog coding, the data can be transmitted simultaneously to the relay. The relay node forwards this noisy sum of two signals during the next time slot. Because each node already knows one of the signals by virtue of having forwarded it earlier, it can cancel its own part in the received signals and decode the message sent by the other source.

In our model, every terminal has only one antenna and operates in a half-duplex mode. Let $S_1$ and $S_2$ denote the first node and the second node that are going to exchange their messages, respectively, and R denote the relay node. We denote the channel gain between node $S_i$ and the relay R as $g_i$, for $i=1,2$. Here, both channels are assumed to be Rician fading channels and be reciprocal. In this research, we take into account the hardware impairment at both source nodes $S_1$, $S_2$, and relay node R. Regarding the communication between two nodes, we assume that the direct link between two nodes is very weak, and the communication relies solely with the help of relay. However, the relay has only the energy to serve their own purpose, so it needs to harvest the energy from the two nodes of interest before forwarding the information messages. As in many previous publications on two-way half-duplex channels, we assume that the two sources as well as the relay know the channel gains.

2.2. Energy Harvesting and Information Transfer Protocols

The energy harvesting protocol for this system is illustrated in Figure 2. In this protocol, the transmission is divided into blocks of length T. Each transmission block consists of three time slots. In the first time slot, which has the duration of $\alpha T$, the relay harvests energy from the nodes $S_1$ and $S_2$. The two remaining time slots are used for information transferring. First, $S_1$ and $S_2$ simultaneously transmit to R at the second time slot with the transmitted power P. Then, at the third time slot, R amplifies the signal that it received during the second time slot and broadcasts it to $S_1$ and $S_2$. Both the second and third time slots have the same length of $(1-\alpha )T/2$.

Let P denote the average power transmitted by each node $S_1$ and $S_2$ during the first time slot. After the first time slot, the amount of the harvested energy at node R can be computed as

$$E_r=\left(P{\left|g_1\right|}^2+P{\left|g_2\right|}^2\right)\eta \alpha T,$$

(1)

where $\eta$ is the energy harvesting efficiency.

Let $s_1$ and $s_2$ denote the information-bearing symbols transmitted from $S_1$ and $S_2$, respectively. Again, assume that both $s_1$ and $s_2$ have the same average power P, i.e. $\mathrm{E}\left[{\left|s_i\right|}^2\right]=P$. Thus, the received signal at R at the second time slot can be written as [28]

$$y_r=\sum _{i=1}^2{g}_i(s_i+{\eta }_i)+n_r,i=1,2,$$

(2)

where:

• ${\eta }_i$ denotes the hardware distortion noise at $S_i$ with zero mean and variance ${\kappa }^{2}P$. Here, $\kappa$ is sufficient to characterize the aggregate level of impairments of the channel [1].
• $n_r$ is the additive white Gaussian noise (AWGN) at R with zero mean and variance ${\sigma }_r^2$.

At the second time slot, R amplifies the signal $y_r$ with an amplifying coefficient $\beta$ and then retransmits it to $S_1$ and $S_2$. The received signal $y_i$ at node $S_i$ at the third time slot is

$$y_i=g_i(\beta y_r+{\eta }_r)+n_i,i=1,2,$$

(3)

where ${\eta }_r$ denotes the distortion noise with zero mean and variance ${\kappa }_r^2{P}_r$, $n_i$ is the additive white Gaussian noise (AWGN) at $S_i$ with zero mean and variance ${\sigma }_i^2$, for $i=1,2$.

According to the law of energy conservation, the total energy that node R uses to transmit the amplified signal to $S_1$ and $S_2$ must be equal to the energy that R received from $S_1$ and $S_2$ at the first time slot, $E_r$. Now, because the transmission duration of the relay is $\frac{(1-\alpha )T}{2}$, the average power of the signal transmitted by R at the third time slot can be computed as

$$P_r=\frac{E_r}{(1-\alpha )T/2}=\psi \left[P{\left|g_1\right|}^2+P{\left|g_2\right|}^2\right],$$

(4)

where $\psi =\frac{2\eta \alpha }{1-\alpha }$.

In order to ensure that the transmission power at R is $P_r$, the amplifying coefficient $\beta$ can be chosen as

$$\beta =\frac{r}{y_r}=\sqrt{\frac{P_r}{X_{1}P+X_{1}P{\kappa }^2+X_{2}P+X_{2}P{\kappa }^2+{\sigma }_r^2}},$$

(5)

where $X_i={\left|g_i\right|}^2$ denotes the square of channel gain amplitude between $S_i$ and R.

Note that the relay node R does not need to estimate the hardware noise parameters as well as the individual channel gains $g_i$ because the denominator of Equation (5) is the received symbol power during the 2nd time slot. Now, because of the similarity between the roles of $S_1$ and $S_2$, we can focus only on node $S_1$. In fact, the received signal $y_1$ can be rewritten as

$$y_1=\beta {\left|g_1\right|}^2{s}_1+\beta {\left|g_1\right|}^2{\eta }_1+\beta \left|g_1\right|\left|g_2\right|s_2+\beta \left|g_1\right|\left|g_2\right|{\eta }_2+\beta \left|g_1\right|n_r+\left|g_1\right|{\eta }_r+n_1.$$

(6)

This signal contains both messages $s_1$ and $s_2$, while only $s_2$ is the desired signal at $s_1$. Since node $S_1$ perfectly knows its own transmitted symbol $s_1$, it can eliminate the corresponding the self-interference term $\beta {\left|g_1\right|}^2{s}_1$ from $y_1$.

From this fact, Equation (6) can be rewritten as

$$y_1=\underset{signal}{\underbrace{\beta \left|g_1\right|\left|g_2\right|s_2}}+\underset{noise}{\underbrace{\beta {\left|g_1\right|}^2{\eta }_1+\beta \left|g_1\right|\left|g_2\right|{\eta }_2+\beta \left|g_1\right|n_r+\left|g_1\right|{\eta }_r+n_1}}.$$

(7)

Therefore, the end-to-end signal-to-noise-ratio at $S_1$ for detection of the symbol $s_1$ is given by

$${\gamma }_1=\frac{\mathrm{E}\left\{{\left|signal\right|}^2\right\}}{\mathrm{E}\left\{{\left|noise\right|}^2\right\}}=\frac{{\beta }^2{\left|g_1\right|}^2{\left|g_2\right|}^{2}P}{{\beta }^2{\left|g_1\right|}^{4}P{\kappa }^2+{\beta }^2{\left|g_1\right|}^2{\left|g_2\right|}^{2}P{\kappa }^2+{\beta }^2{\left|g_1\right|}^2{\sigma }_r^2+{\left|g_1\right|}^2{P}_r{\kappa }_r^2+{\sigma }_1^2}.$$

(8)

After doing some algebra and using the fact that $\frac{{\sigma }_1^2{\sigma }_r^2}{P_r}\approx 0$, combining with Equation (6), we obtain:

$${\gamma }_1=\frac{X_1{X}_2}{X_1{X}_{2}a+X_1^{2}a+X_{1}b+c},$$

(9)

where $a={\kappa }^2+{\kappa }_r^2(1+{\kappa }^2),b=\frac{(1+{\kappa }_r^2)}{P/{\sigma }_r^2},c=\frac{(1+{\kappa }^2)}{\psi P/{\sigma }_1^2}$ (assume that ${\sigma }_1^2={\sigma }_2^2={\sigma }_r^2=N_0$).

3. System Performance

3.1. Outage Probability

Since the random variable (RV) $X_i$ is Rician distributed for $i=1,2$, the probability density function (PDF) of $X_i$ can be found as

$$f_{X_i}\left(x\right)=\frac{(K+1)e^{-K}}{{\lambda }_i}{e}^{-\frac{(K+1)x}{{\lambda }_i}}{I}_0\left(2\sqrt{\frac{K(K+1)x}{{\lambda }_i}}\right),$$

(10)

where ${\lambda }_i$ is the mean value of the RV $X_i,i=1,2$, K is the Rician K-factor defined as the ratio of the power of the line-of-sight (LOS) component to the scattered components and $I_0\left(·\right)$ is the zero-th order modified Bessel function of the first kind.

Using the equality $I_0\left(x\right)={\displaystyle \sum _{l=0}^{\infty }}\frac{x^{2l}}{2^{2l}{(l!)}^2}$ [32], Equation (10) can be rewritten as

$$f_{X_i}\left(x\right)={\zeta }_i{e}^{-K}\sum _{l=0}^{\infty }\frac{{\left({\zeta }_{i}K\right)}^l}{{(l!)}^2}{x}^l{e}^{-{\zeta }_{i}x},$$

(11)

where ${\zeta }_i=\frac{K+1}{{\lambda }_i}$.

The cumulative density function (CDF) of the RV $X_i$ ($i=1,2$) can be derived as in [33]:

$$F_{X_i}\left(x\right)=\underset{0}{\overset{x}{\int }}{f}_{X_i}\left(t\right)dt=1-e^{-K}\sum _{l=0}^{\infty }\sum _{m=0}^l\frac{K^l{\zeta }_i^m}{l!m!}{x}^m{e}^{-{\zeta }_{i}x}.$$

(12)

The outage probability of this system is defined as the probability that the end-to-end SNR falls below a desired threshold—let us say, ${\gamma }_{th}$. In this case, it can be derived as

$$P_{out\_1}=F_{{\gamma }_1}\left({\gamma }_{th}\right)=Pr\left({\gamma }_1<{\gamma }_{th}\right)=Pr\left(\frac{X_1{X}_2}{X_1{X}_{2}a+X_1^{2}a+X_{1}b+c}<{\gamma }_{th}\right),$$

(13)

where ${\gamma }_{th}=2^{2R}-1$, R is the source transmission rate:

$$\begin{array}{c}Pr\left(\frac{X_1{X}_2}{X_1{X}_{2}a+X_1^{2}a+X_{1}b+c}<{\gamma }_{th}\right)=Pr\left\{X_2(X_1-{\gamma }_{th}{X}_{1}a)<{\gamma }_{th}{X}_1^{2}a+{\gamma }_{th}{X}_{1}b+{\gamma }_{th}c\right\},\hfill \\ =\left\{\begin{array}{c}Pr\left\{X_2<\frac{{\gamma }_{th}{X}_1^{2}a+{\gamma }_{th}{X}_{1}b+{\gamma }_{th}c}{X_1-{\gamma }_{th}{X}_{1}a}\right\},\mathrm{if}1-{\gamma }_{th}a\ge 0,\hfill \\ 1,\mathrm{if}1-{\gamma }_{th}a<0.\end{array}\right.\end{array}$$

(14)

In this subsection, we assume that $1-{\gamma }_{th}a$ is positive, which is reasonable in practice. From Equation (14), we can derive the exact-form expression for the outage probability of the system. This is stated by the following theorem.

Theorem 1 (Outage probability—Exact form).

The exact outage probability for node $S_1$ of the proposed half-duplex bidirectional wireless sensor network using time-switching energy harvesting strategy over a Rician fading channel can be expressed as

$$\begin{array}{c}{P}_{out\_1}=1-2{\zeta }_1{e}^{-2K}{e}^{-b_1{\zeta }_2{\tilde{\gamma }}_{th}}\sum _{l=0}^{\infty }\sum _{k=0}^{\infty }\sum _{m=0}^l\sum _{n=0}^m\sum _{p=0}^n\frac{K^{l+k}{\zeta }_1^k{\left({\zeta }_2{\tilde{\gamma }}_{th}\right)}^{\frac{3m-2n+p+k+1}{2}}{a}^{m-n}{b}^p{c}^{\frac{m-p+k+1}{2}}}{l!p!(n-p)!(m-n)!{(k!)}^2{({\zeta }_1+a{\zeta }_2{\tilde{\gamma }}_{th})}^{\frac{m-2n+p+k+1}{2}}}\\ \times K_{m-2n+p+k+1}\left(2\sqrt{({\zeta }_1+a{\zeta }_2{\tilde{\gamma }}_{th}){\zeta }_2{\tilde{\gamma }}_{th}c}\right),\end{array}$$

(15)

where $a={\kappa }^2+{\kappa }_r^2(1+{\kappa }^2),b=\frac{(1+{\kappa }_r^2)}{P/{\sigma }_r^2},c=\frac{(1+{\kappa }^2)}{\psi P/{\sigma }_i^2},{\zeta }_i=\frac{K+1}{{\lambda }_i}$, and ${\tilde{\gamma }}_{th}=\frac{{\gamma }_{th}}{1-a{\gamma }_{th}}$.

Proof of Theorem 1.

See Appendix A. ☐

Remark 1.

The outage probability at node $S_2$ can also be obtained by exchanging the roles of ${\zeta }_1$ and ${\zeta }_2$ in Equation (15).

3.2. Achievable Throughput

With the outage probability obtained from Theorem 1, the achievable throughput of the considered system can be given by

$${\tau }_i=(1-P_{out\_i}).\frac{R}{2}.(1-\alpha ),i\in \{1,2\}.$$

(16)

3.3. SER Analysis

In this section, we derive the formula for symbol error rate (SER) at the destination. In fact, the theoretical SER at the receiving node can be computed in terms of the end-to-end SNR at that node [34]. By taking into account the randomness of the SNR in our model, the SER at node $S_i$ can be derived by taking the expectation with respect to the random variable SNR:

$${SER}_i=E\left[\omega Q\left(\sqrt{2\theta {\gamma }_i}\right)\right],i\in 1,2,$$

(17)

where $Q\left(t\right)=\frac{1}{\sqrt{2\pi }}\underset{t}{\overset{\infty }{\int }}{e}^{-x^2/2}dx$ is the Gaussian Q-function; ω and θ are constants that are specific for each modulation type—in particular, $\omega =1,\theta =1$ for Binary Phase Shift keying (BPSK) and $\omega =1,\theta =2$ for Quadrature Phase Shift Keying (QPSK). Hence, before obtaining the SER formula, the CDF of ${\gamma }_i$ is needed. Let $F_{{\gamma }_i}\left(x\right)$ be the CDF of ${\gamma }_i$. By exchanging the order of integration and changing variable, we come up with the following formula:

$${SER}_i=\frac{\omega \sqrt{\theta }}{2\sqrt{\pi }}\underset{0}{\overset{\infty }{\int }}\frac{e^{-\theta x}}{\sqrt{x}}{F}_{{\gamma }_i}\left(x\right)dx.$$

(18)

Now, we can claim the following theorem on SER.

Theorem 2 (SER—Exact form).

The exact symbol error rate for node $S_1$ of the proposed half-duplex bidirectional wireless sensor network using time-switching energy harvesting strategy over a Rician fading channel can be expressed as:

$$\begin{array}{c}SE{R}_1=\frac{\omega }{2}-{\zeta }_1{e}^{-2K}\omega \sqrt{\theta }\sum _{l=0}^{\infty }\sum _{k=0}^{\infty }\sum _{m=0}^l\sum _{n=0}^m\sum _{p=0}^n\frac{K^{l+k}{\zeta }_1^k{a}^{m-n}{b}^p{c}^{\frac{m-p+k+1}{2}}}{l!p!(n-p)!(m-n)!{(k!)}^2}\times \hfill \\ \times \underset{0}{\overset{\infty }{\int }}\frac{e^{-\theta x-b{\zeta }_2{\tilde{\gamma }}_{th}\left(x\right)}}{\sqrt{\pi x}}{K}_{m-2n+p+k+1}\left(2\sqrt{[{\zeta }_1+a{\zeta }_2{\tilde{\gamma }}_{th}\left(x\right)]{\zeta }_2{\tilde{\gamma }}_{th}\left(x\right)c}\right)\frac{{\left[{\zeta }_2{\tilde{\gamma }}_{th}\left(x\right)\right]}^{\frac{3m-2n+p+k+1}{2}}}{{[{\zeta }_1+a{\zeta }_2{\tilde{\gamma }}_{th}\left(x\right)]}^{\frac{m-2n+p+k+1}{2}}}dx,\hfill \end{array}$$

(19)

where ${\tilde{\gamma }}_{th}\left(x\right)=\frac{x}{1-ax}$.

Proof of Theorem 2.

See Appendix B. ☐

3.4. Asymptotic Analysis

The asymptotic analysis is significant to provide further insights into the impact of hardware impairments on the network performance. It can also be used to verify the correctness of the exact analysis. In this section, the asymptotic outage probability and SER at the high SNR regime are going to be derived rigorously.

3.4.1. Outage Probability

As the $P/N_0$ approaches infinity, it is obvious to see that the SNR in Equation (9) is asymptotically equal to

$${\gamma }_1^{\infty }=\frac{X_2}{a{X}_2+a{X}_1}=\frac{X_2}{a(X_1+X_2)},$$

(20)

and, similarly,

$${\gamma }_2^{\infty }=\frac{X_1}{a(X_1+X_2)},$$

(21)

where $a={\kappa }^2+{\kappa }_r^2(1+{\kappa }^2)$.

By using the similar approach as in the exact analysis of outage probability, we can get the results as stated in the following theorem.

Theorem 3 (Outage probability—Asymptotic form).

The asymptotic outage probability and achievable throughput for node $S_1$ of the proposed half-duplex bidirectional wireless sensor network using time-switching energy harvesting strategy over a Rician fading channel can be provided as

$$P_{out\_1}^{\infty }=1-{\zeta }_1{e}^{-2K}\sum _{l=0}^{\infty }\sum _{k=0}^{\infty }\sum _{m=0}^l\frac{K^{l+k}{\zeta }_1^k{\zeta }_2^m}{l!m!{(k!)}^2}{\left(a{\tilde{\gamma }}_{th}\right)}^m\frac{\Gamma (m+k+1)}{{({\zeta }_{2}a{\tilde{\gamma }}_{th}+{\zeta }_1)}^{m+k+1}}$$

(22)

and

$${\tau }_1\triangleq (1-P_{out\_1}^{\infty })\frac{R}{2}=\frac{{\zeta }_{1}R{e}^{-2K}}{2}\sum _{l=0}^{\infty }\sum _{k=0}^{\infty }\sum _{m=0}^l\frac{K^{l+k}{\zeta }_1^k{\zeta }_2^m}{l!m!{(k!)}^2}{\left(a{\tilde{\gamma }}_{th}\right)}^m\frac{\Gamma (m+k+1)}{{({\zeta }_{2}a{\tilde{\gamma }}_{th}+{\zeta }_1)}^{m+k+1}},$$

(23)

where $a={\kappa }^2+{\kappa }_r^2(1+{\kappa }^2),b=\frac{(1+{\kappa }_r^2)}{P/{\sigma }_r^2},c=\frac{(1+{\kappa }^2)}{\psi P/{\sigma }_i^2},{\zeta }_i=\frac{K+1}{{\lambda }_i},{\tilde{\gamma }}_{th}=\frac{{\gamma }_{th}}{1-a{\gamma }_{th}}$, and $\Gamma (·)$ is the complete Gamma function, which is defined by $\Gamma \left(z\right)\triangleq {\int }_0^{\infty }{x}^{z-1}{e}^{-x}dx$.

Proof of Theorem 3.

See Appendix C. ☐

3.4.2. SER Analysis

As $P/N_0$ approaches infinity, the symbol-error-rate at node $S_1$ becomes

$${SER}_1^{\infty }=\frac{\omega \sqrt{\theta }}{2\sqrt{\pi }}\underset{0}{\overset{\infty }{\int }}\frac{e^{-\theta x}}{\sqrt{x}}{F}_{{\gamma }_1}^{\infty }\left(x\right)dx,$$

(24)

where $F_{{\gamma }_1}^{\infty }\left(x\right)$ is the CDF of ${\gamma }_1$ as $P/N_0$ goes to infinity.

The result of our asymptotic SER analysis is presented in Theorem 4.

Theorem 4 (SER—Asymptotic form).

The asymptotic symbol error rate for node $S_1$ of the proposed half-duplex bidirectional wireless sensor network using a time-switching energy harvesting strategy over a Rician fading channel can be provided as the following:

• If ${\xi }_1={\xi }_2$:

  $$\begin{array}{c}{SER}_1^{\infty }=\frac{\omega }{2}\hfill \\ -\frac{\omega \sqrt{\theta }}{2\sqrt{\pi }}{\zeta }_1{e}^{-2K}\sum _{l=0}^{\infty }\sum _{k=0}^{\infty }\sum _{m=0}^l\sum _{v=0}^{k+1}\left(\begin{array}{c}k+1\\ v\end{array}\right)\frac{K^{l+k}{\zeta }_1^k{\zeta }_2^m{a}^{m+v}{(-1)}^v\Gamma (m+k+1)}{l!m!{(k!)}^2{\zeta }_1^{m+1}{\theta }^{m+v+\frac{1}{2}}}\gamma \left(m+v+\frac{1}{2},\frac{\theta }{a}\right).\hfill \end{array}$$

  (25)
• If ${\xi }_1\ne {\xi }_2$:

  $$\begin{array}{c}SE{R}_1^{\infty }=\frac{\omega }{2}-\frac{\omega \sqrt{\theta }}{2\sqrt{\pi }}{\zeta }_1{e}^{-2K}\sum _{l=0}^{\infty }\sum _{k=0}^{\infty }\sum _{m=0}^l\sum _{v=0}^{k+1}\sum _{p=0}^{\infty }{(m+k+1)}_p{\left[({\xi }_1-{\xi }_2)\right]}^p\left(\begin{array}{c}k+1\\ v\end{array}\right)\hfill \\ \times \frac{K^{l+k}{\zeta }_2^m{a}^{m+v+p}{(-1)}^v\Gamma (m+k+1)}{l!m!{(k!)}^{2}p!{\zeta }_1^{m+p+1}{\theta }^{m+v+p+\frac{1}{2}}}\gamma \left(m+v+p+\frac{1}{2},\frac{\theta }{a}\right),\hfill \end{array}$$

  (26)

where $a={\kappa }^2+{\kappa }_r^2(1+{\kappa }^2),b=\frac{(1+{\kappa }_r^2)}{P/{\sigma }_r^2},c=\frac{(1+{\kappa }^2)}{\psi P/{\sigma }_i^2},{\zeta }_1=\frac{K+1}{{\lambda }_1},{\tilde{\gamma }}_{th}=\frac{{\gamma }_{th}}{1-a{\gamma }_{th}}$, $\Gamma (·)$ is the complete Gamma function, $\gamma (·,·)$ is the incomplete Gamma function, and ${(·)}_p$ is the Pochhammer symbol.

Proof of Theorem 4.

See Appendix D. ☐

3.5. Optimal Time-Switching Factor

It is not difficult to learn that there is always a trade-off between the amount of energy used for transmission and the duration of the transmission in the considered protocol. Specifically, if more time is allocated for energy harvesting, a higher available transmission power can be obtained, which may lead to a higher throughput. However, at the same time, less time resources are left for signal transmission, which may lead to the decrease of the transmission rate. Hence, there exists an optimal time-switching factor ${\alpha }^{*}$ that provides the best throughput performance.

Given the throughput expression obtained in Equation (16), the optimal time switching can be obtained by solving Equation $\frac{d{\tau }_i\left(\alpha \right)}{d\alpha }=0$. However, due to the complicated infinite series and Bessel function in each throughput expression, this optimization problem can hardly admit a closed-form solution.

Here, we apply an iterative algorithm to solve this problem numerically. In particular, the Golden section search algorithm, which has been used in many global optimization problems in communications (for example, in [35]), is chosen for this work. For a detailed algorithm as well as its related theory, please refer to [36].

4. Numerical Results and Discussion

For the purpose of validation, the correctness of the derived outage probability and SER expressions as well as investigation of the effect of various parameters on the system performance, a set of Monte Carlo simulations are conducted and presented in this section. For each simulation, we first provide the graphs of the outage probability and throughput obtained by the analytical formulas. Secondly, we plot the same outage probability and throughput curves that result from Monte Carlo simulation. To do this, we generate ${10}^5$ random samples of each channel gain, which are Rician distributed. Using these random samples, the SNR at destination node $S_1$ is calculated and compared with the threshold value γ. The outage probability occurs if this SNR falls below the threshold. By taking the number of cases that $SNR<\gamma$ divided by the number of samples, we can estimate the outage probability and then the throughput of system. The analytical curve and the simulation one should match together to verify the correctness of our analysis.

The hardware impairment parameters are chosen as $\kappa ={\kappa }_r=0.1$. The ideal hardware impairment situation ($\kappa ={\kappa }_r=0$) is also considered as a benchmark performance for simulation. The channel gains are considered as Rician fading with ${\lambda }_1={\lambda }_2=0.5$ and with the Rician K-factors equal to 3 for both channels. The transmit power are set to the same value $P_1=P_2=P$ for both two sources, so that the ratio $P/N_0$ varies in the range from 0 to 50 dB. The energy harvesting efficiency is set to be 0.7. The source transmission rate is chosen as 1.5 bps/Hz. From the Shannon’s theorem on capacity of the channel, we can calculate the $SNR$ threshold as $\gamma =2^{2R}-1$. All simulation parameters are listed in

Table 1. Simulation parameters.

Symbol	Parameter Names	Values
$\eta$	Energy harvesting efficiency	0.7
${\lambda }_1$	Mean of $|g_1{|}^2$	0.5
${\lambda }_2$	Mean of $|g_2{|}^2$	0.5
K	Rician K-factor	3
$P/N_0$	Source-power-to-noise ratio	0–50 dB
$\kappa ={\kappa }_r$	Hardware impairment levels	0, 0.15, 0.25
R	Source transmission rate	1.5 bps/Hz

.

4.1. Effects of Various Parameters on the System Performance

Figure 3 and Figure 4 show the effect of $P/N_0$ on the outage probability and throughput of the proposed system, respectively. For this simulation, the utilized parameter settings are: $\kappa ={\kappa }_r=0.1$ or $0.2,\alpha =0.5$ and $\eta =0.7$. We choose $\alpha =0.5$ to consider the case that the duration of energy harvesting and the duration of transmission are balanced. The case $\kappa =0$ (no hardware impairment) is also introduced for comparison. The first observation is that the outage probability and throughput obtained from mathematical analysis match with the corresponding Monte Carlo simulations. Regarding the effect of κ, the outage probability decreases and the throughput increases as κ varies from 0 to 0.2. When $P/N_0$ increases, the outage probability and throughput approach the corresponding asymptotic values obtained from analysis. Furthermore, the lower the value of κ, the faster the outage probability and throughput converge to their asymptotic values.

The effect of hardware impairment level on the outage probability and the achievable throughput at each node is presented more thoroughly in Figure 5 and Figure 6. Here, $P/N_0$ is set at 20 dB and the transmission rate is fixed at 1.5 bps. Three values of α are chosen: 0.2, 0.5, and 0.8, corresponding to three cases: the energy harvesting duration is dominant, there is a balance between energy harvesting and information transmission, and the information transmission duration is dominant.

Again, it is observed that the exact-form expressions of outage probability and throughput obtained by the analysis coincide with the ones that are obtained by Monte Carlo simulations. From the numerical results, it is evident that the achievable throughput decreases and the outage probability increases significantly at each destination node when the impairment level κ increases. In addition, the outage probability tends to reduce at higher time-switching factor. This can be explained because the larger value of α means more power is used for data transmission. However, this doesn’t mean that the throughput is better for larger α. In Figure 6, the throughput performance is improved when α increases from 0.2 to 0.5, but then degraded when α increases from 0.5 to 0.8.

Figure 7 and Figure 8 illustrate more clearly the effect of time-switching factor on the outage and throughput performance. In this simulation, the parameters are chosen as $\eta =0.7$ and $P/N_0=20$ dB (this value is chosen because it is in the middle range of $P/N_0$). The transmission rate varies among three values: 0.5 bps/Hz, 1 bps/Hz and 1.5 bps/Hz, while the time-switching factor varies in the range $(0,1)$. The results confirm what we mentioned just above. There should be a unique value of α that maximizes the throughput. This is because, when we increase α initially, there is more power used for transmission, so the outage probability is reduced and the throughput increases correspondingly. However, when α keeps increasing, the duration of transmission is also reduced, hence, less data is transmitted during a given time interval. As a result, the throughput performance becomes worse.

4.2. Effect of Various Parameters on SER

The purpose of the following simulations is to confirm the correctness of the SER formulas provided in the analysis. First, Figure 9 presents the effect of the hardware impairment level on the SER performance. In this simulation, the time-switching factor is chosen as $\alpha =0.5$ with the same reason as in Section 4.1, the transmission rate is fixed at 1 bps/Hz, and the ratio $P/N_0$ varies in the range from 0 dB to 40 dB. From the results, it is showed that SER decreases to the asymptotic value when the ratio $P_s/N_0$ increases. The Monte Carlo simulation curves overlap with the corresponding analysis curves. This confirms the validity of our analysis. When the hardware impairment level goes higher, the SER also has a larger value, as expected. Furthermore, the SER performance of the QPSK scheme is better than the one of the BPSK scheme in the same simulation condition. This can be explained because the QPSK modulation scheme can transmit two bits in one symbol while the BPSK scheme can only transmit one bit per symbol. Hence, if we have the same constraint on the transmission rate for both methods, the required SNR for maintaining good communication would be smaller for the QPSK method. As a result, the outage probability and the SER for QPSK modulation would be smaller than the ones of BPSK.

In a similar way, the influence of the time-switching factor on the symbol-error-rate at the destination node is illustrated in Figure 10. The simulation parameters are $\kappa =0.1,R=1$ bps/Hz, and $P/N_0$ varies from 0 dB to 40 dB. Again, the simulation curves match perfectly with the corresponding analysis curves. The SER tends to approach its asymptotic value, and QPSK modulation still provides the better SER performance than BPSK for both values of α. Note that, for this simulation, the asymptotic values do not depend on the time-switching factor α. However, α surely has an effect on the immediate value of SER. In fact, the SER performance should be better with the value of α that is in the middle of its range. For example, in Figure 10, the SER value for $\alpha =0.5$ is less than the one with $\alpha =0.2$. The explanation is the same as the case of Figure 8.

4.3. Optimal Time-Switching Factor

As mentioned in Section 3, the optimal time-switching factor to maximize the achievable throughput of the considered system can be found numerically by using an iterative algorithm such as the golden section search method [36]. Figure 11 plots the optimal value ${\alpha }^{*}$ for various values of the ratio $P/N_0$ at different hardware impairment levels.

It can be observed that the optimal time-switching factor decreases as the ratio $P/N_0$ increases. This is because, for large $P/N_0$, the outage probability tends to reduce, so it is not necessary to use a large amount of energy to transmit data. Reversely, we need to spend more time resources to increase the throughput of the system.

On the other hand, we can learn from this simulation that the optimal α does not change much for different hardware impairment levels. Especially, for small κ, the value of ${\alpha }^{*}$ is nearly the same as the one for a perfect hardware case.

5. Conclusions

Recent development in wireless sensor networks have led to an exponential growth of the energy demand for operating the networks, which raises a question about how to efficiently use the available energy in the wireless environment. This paper rigorously analyzes the performance of a half-duplex AF bidirectional sensor network in which the relay node is equipped with time-switching-based energy harvesting protocol. The channel considered in this paper is a Rician fading channel. We also take into account the hardware impairment at source and relay nodes. We derive both exact and asymptotic forms of the outage probability, achievable throughput, as well as the symbol-error-rate at each destination node. The analysis results are validated by Monte Carlo simulation. From the results of this work, we can gain an insightful understanding of the effect of various parameters on the system performance. Furthermore, the optimal time-switching factor (i.e., the best energy harvesting strategy) is also founded by numerical algorithms.