Next Article in Journal
Significance Testing and Multivariate Analysis of Datasets from Surface Plasmon Resonance and Surface Acoustic Wave Biosensors: Prediction and Assay Validation for Surface Binding of Large Analytes
Previous Article in Journal
Dual-Bayes Localization Filter Extension for Safeguarding in the Case of Uncertain Direction Signals
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Energy and Information Beamforming in Airborne Massive MIMO System for Wireless Powered Communications

1
Institute of Communication Engineering, Army Engineering University of PLA, Nanjing 210007, China
2
31682 Army of PLA, Lanzhou 730030, China
*
Author to whom correspondence should be addressed.
Current address: No. 1 Haifuxiang Road, Nanjing 210007, China.
Sensors 2018, 18(10), 3540; https://doi.org/10.3390/s18103540
Submission received: 26 September 2018 / Revised: 14 October 2018 / Accepted: 16 October 2018 / Published: 19 October 2018
(This article belongs to the Section Sensor Networks)

Abstract

:
Energy supply and information backhaul are critical problems for wireless sensor networks deployed in remote places with poor infrastructure. To deal with these problems, this paper proposes an airborne massive multiple-input multiple-output (MIMO) system for wireless energy transfer (WET) and information transmission. An air platform (AP) equipped with a two-dimensional rectangular antenna array is employed to broadcast energy and provide wireless access for ground sensors. By exploiting the statistical property of air-terrestrial MIMO channels, the energy and information beamformers are jointly designed to maximize the average received signal-to-interference-plus-noise ratio (SINR), which gives rise to a statistical max-SINR beamforming scheme. The scheme does not rely on the instantaneous channel state information, but still requires large numbers of RF chains at AP. To deal with this problem, a heuristic strongest-path energy and information beamforming scheme is proposed, which can be implemented in the analog-domain with low computational and hardware complexity. The analysis of the relation between the two schemes reveals that, with proper sensor scheduling, the strongest-path beamforming is equivalent to the statistical max-SINR beamforming when the number of AP antennas tends to infinity. Using the asymptotic approximation of average received SINR at AP, the system parameters, including transmit power, number of active antennas of AP and duration of WET phase, are optimized jointly to maximize the system energy efficiency. The simulation results demonstrate that the proposed schemes achieve a good tradeoff between system performance and complexity.

Graphical Abstract

1. Introduction

1.1. Motivations

In recent years, wireless energy transfer (WET) has been regarded as a promising technology to increase the battery-lifetime of energy-constrained wireless sensor nodes [1,2]. The WET technology allows sensor nodes to harvest energy from surrounding electromagnetic radiation instead of wired energy sources. Many works investigated the WET networks where the traditional ground base station (BS) or access point also acts as an energy station, which can charge the sensor nodes through WET [3]. However, such a configuration is still costly or even infeasible if the sensors are deployed in remote places with poor infrastructure (that may be used for forest fire detection, climate monitoring, etc.). Deploying massive infrastructure in these areas is apparently cost inefficient due to the low population density and hostile environment.
A hybrid air-terrestrial network, where air platforms (APs) are deployed for WET, is a novel solution to deal with this problem. APs are aircraft such as balloons or unmanned aerial vehicles (UAVs) that can broadcast energy and provide wireless access for ground sensors at low cost. Recently, there has emerged a number of applications of AP in wireless networks, but mainly for information transmission [4,5,6,7]. One example is Google Balloon [5], which employs high-altitude balloons to create a hybrid air-terrestrial network with up to an LTE data rate. Another example is “Aquila” proposed by Facebook. In this project, unmanned aerial vehicles are deployed to provide a novel and efficient method of access [6] for ground users. Other than the high-altitude APs, the deployment of low-altitude APs under 1 km for communications has also drawn much attention. In such applications, APs are employed in the high-capacity hot-spot scenario, which is one of the main technical scenarios for the fifth generation (5G) mobile communication systems [7]. In such a scenario, APs play the role of temporary BSs to provide ultra-high data rates for hot-spot users.
Despite its successes in communication applications, AP is still difficult to apply in a WET system directly. One important reason is that, conventionally, AP is equipped with directional antennas that generate several spot beams toward the ground for data transmission [8]. However, when utilized for WET, such an antenna configuration cannot focus the energy to the intended users efficiently [8], and thus gives rise to poor energy efficiency (EE). A promising solution to this problem is to use massive multiple-input multiple-output (MIMO) technology [9] at AP. Through coherent processing for signals of large numbers of antennas, massive MIMO can concentrate the signal power to a compact area around the user efficiently [9,10,11,12,13]. Therefore, a very large power gain can be obtained. This property can be utilized to combat the path loss due to long-range propagation and greatly enlarge the wireless charging distance.

1.2. Focus and Contributions

In this paper, to deal with the energy supply and information backhaul problems for wireless sensor networks in remote places, we propose an airborne massive MIMO system for WET by combining the AP with massive MIMO technology. The system consists of a low-altitude AP equipped with a two-dimensional (2D) rectangular antenna array and a number of sensors on the ground, as shown in Figure 1. The transmission phase is divided into a WET phase during which the AP charges sensors through downlink WET and an uplink wireless information transmission (WIT) phase during which the AP collects data sent by sensors.
In the considered hybrid air-terrestrial network, the biggest challenge is the design of practical energy and information beamforming schemes. Different from the BS of a terrestrial network, AP is usually hardware- and computational complexity-limited due to the consideration of weight, fabricating cost and energy supply [8]. Traditional linear beamforming schemes, such as match filter (MF) beamforming [10] and zero-forcing beamforming [12], require a large number of radio frequency (RF) chains at AP and have high computational complexity. This may make them infeasible when applied on AP. Another challenge lies in the acquisition of instantaneous channel state information (CSI) at the AP. Due to the mobility of AP, the sensor must transmit the uplink pilot sequence frequently, which causes high training overhead and energy consumption. This paper studies the three-dimensional (3D) energy and information beamforming scheme for an airborne massive MIMO system considering the above challenges. The main contributions are as follows.
  • By exploiting the statistical property of air-terrestrial MIMO channels, the energy and information beamformers are jointly designed to maximize the average received signal-to-interference-plus-noise ratio (SINR), which gives rise to a statistical max-SINR scheme. Although the scheme does not rely on instantaneous CSI, its implementation still requires large numbers of RF chains at AP. When the number of RF chains is limited, a heuristic strongest-path energy and information beamforming scheme is proposed. The scheme requires only virtual angle of departure (AoD) information of sensors and can be implemented in the analog-domain with low hardware complexity. The analysis of the relation between two schemes reveals that, with proper sensor scheduling, the strongest-path beamforming is equivalent to the statistical max-SINR beamforming when the number of AP’s antennas tends to infinity.
  • Based on the asymptotic approximation of average received SINR at AP, the system parameters, including transmit power, number of active antennas of AP and duration of the WET phase, are jointly optimized to maximize the system EE under the proposed strongest-path beamforming scheme.
  • Numerical simulations are presented to evaluate the spectral and energy efficiency performances of the proposed beamforming schemes under different system parameters. The results demonstrate the superiority of the proposed schemes in the airborne massive MIMO systems.

1.3. Related Literature

The modeling and application of hybrid air-terrestrial networks for access of ground users have drawn much research attention recently. A statistical propagation model has been introduced in [14] to predict the air-to-ground path loss between AP and ground users based on ray tracing simulation. The authors in [15] considered the modeling of small-scale fading for air-to-ground channels, where both line-of-sight (LoS) and non-LoS (NLoS) channel environments were considered. In [4], the authors discussed the basic networking architecture and major design challenges in UAV-aided hybrid air-terrestrial networks. In [16], the authors investigated the 3D beamforming design for a hybrid air-terrestrial network with a large-scale antenna array and analyzed the effect of AoD imperfection on the system performance.
On the other hand, the WET in terrestrial networks has also been extensively investigated for both indoor and outdoor scenarios [17,18,19,20,21,22,23,24,25,26,27]. In [17,18], the authors investigated the outage performance of the indoor WET system and showed that increasing the variance of the log-normal channel would degrade the system performance. In outdoor scenarios, to combat the path loss due to the long charging distance, a number of works considered the utilization of multi-antenna technologies in the WET system. In particular, the benefits and challenges of combining WET with multi-antenna technologies were discussed in [19,20]. The authors in [21] considered the EE optimization in a massive MIMO system with WET and proposed an iterative algorithm to compute the optimal transmit power and duration of the WET phase. The authors in [22] investigated the throughput optimization problem for a WET-enabled massive MIMO system. In [23], an asymptotically optimal downlink power allocation strategy was proposed to maximize the uplink sum rate in a WET-enabled massive MIMO system with linear beamforming. In [24], the 3D massive MIMO was utilized for WET, where the BS applied linear beamforming for energy broadcasting and the users applied power splitting for information detection and energy harvesting. In [25], the energy and information beamforming design for a full-duplex massive MIMO system was investigated. The authors in [26,27] investigated the combined benefits of WET and cooperative relaying systems with large-scale antenna arrays. Due to practical constraints, [19,20,21,22,23,24,25,26,27] have assumed that the energy harvesters (e.g., sensors) are equipped with a single antenna. Recently, several works began to drop this assumption and consider multiple-antenna sensors [28,29,30]. It was shown that, by equipping more antennas at the sensor, the energy harvesting and achievable rate performances can be improved through coherent processing at the sensor side. However, the increase of antennas also incurs problems such as high circuit energy consumption and hardware complexity, which may be unaffordable for sensors. Therefore, in this paper, we assume a single-antenna sensor, and the general case with multiple-antenna sensors will be considered as future work.

1.4. Organization and Notations

The rest of the paper is organized as follows. Section 2 presents the system model. Section 3 presents the energy and information beamforming design. Section 4 presents the EE optimization scheme. Section 5 presents the simulation results. Section 6 draws the conclusions.
Notations: The symbol j denotes 1 . E ( · ) denotes the expectation. ⊗ denotes the Kronecker product. ( · ) * , ( · ) T and ( · ) H denote the conjugate, transpose and conjugate-transpose of the matrix, respectively. u max ( A ) and λ max ( A ) denote the dominant eigenvector and eigenvalue of matrix A . | | · | | denotes the Euclidean norm.

2. System Model

2.1. Channel Model

Let h l C N x N y × 1 denote the channel vector between AP and sensor l. Using the air-terrestrial 3D MIMO channel model in [15,31], h l can be expressed as:
h l = h l LoS + h l NLoS .
In (1), h l LoS C N x N y × 1 denotes the deterministic LoS channel component and h l NLoS C N x N y × 1 is the random vector characterizing the non-LoS channel component, which are given by:
h l LoS = β l K l K l + 1 b φ l , θ l a φ l , θ l , h l NLoS = β l K l + 1 φ l Δ φ l φ l + Δ φ l θ l Δ θ l θ l + Δ θ l r l φ , θ b φ , θ a φ , θ d φ d θ ,
with:
a φ , θ = 1 , exp j 2 π d y λ cos θ cos φ , , exp j 2 π d y N y 1 λ cos θ cos φ T , b φ , θ = 1 , exp j 2 π d x λ cos θ sin φ , , exp j 2 π d x N x 1 λ cos θ sin φ T ,
where β l and K l denote the large-scale fading and Rician factor, respectively. φ l [ π / 2 , π / 2 ] and θ l ( 0 , π / 2 ] denote the AoDs of sensor l in the horizontal and vertical directions, and Δ φ l and Δ θ l denote the corresponding angular spreads. Since AP is much higher than ground obstacles, there is little scatter around it. In this case, the physical signal propagation paths are mainly caused by the scattering process in the vicinity of sensors. This will result in very narrow angular spreads Δ φ l and Δ θ l [11]. d x and d y denote the antenna spacings along the x axis and y axis, respectively. λ denotes the carrier wavelength, and r l ( θ , φ ) denotes the complex response gain associated with the direction ( θ , φ ) . We assume that r l ( θ , φ ) has zero-mean, i.e., E [ r l ( θ , φ ) ] = 0 , and the response gains for different angles are uncorrelated, i.e.,
E r l * φ , θ r l φ , θ = S l φ , θ δ φ φ δ θ θ ,
where S l φ , θ represents the channel power angle spectrum (PAS), which characterizes the channel power distribution in the angular domain. Define ρ x = d x λ cos θ sin φ and ρ y = d y λ cos θ cos φ . Using a similar procedure as that in [16], the channel correlation matrix can be expressed as:
C l = E h l h l H = β l K l K l + 1 b ρ x , l b H ρ x , l a ρ y , l a H ρ y , l + β l K l + 1 ρ x , l min ρ x , l max ρ y , l min ρ y , l max S l ρ x , ρ y b ρ x b H ρ x a ρ y a H ρ y d ρ x d ρ y = Δ C l LoS + C l NLoS
with:
a ρ y = 1 , exp j 2 π ρ y , , exp j 2 π N y 1 ρ y T , b ρ x = 1 , exp j 2 π ρ x , , exp j 2 π N x 1 ρ x T ,
where ρ x , l = d x λ cos θ l sin φ l and ρ y , l = d y λ cos θ l cos φ l denote the virtual AoDs corresponding to the sensors’ physical AoDs in the horizontal and vertical directions. S l ρ x , ρ y denotes the PAS with respect to the virtual AoDs ρ x and ρ y . The integral boundaries are given by:
ρ x , l max = max θ θ l Δ θ l , θ l + Δ θ l , φ φ l Δ φ l , φ l + Δ φ l d x λ cos θ sin φ , ρ x , l min = min θ θ l Δ θ l , θ l + Δ θ l , φ φ l Δ φ l , φ l + Δ φ l d x λ cos θ sin φ , ρ y , l max = max θ θ l Δ θ l , θ l + Δ θ l , φ φ l Δ φ l , φ l + Δ φ l d y λ cos θ cos φ , ρ y , l min = min θ θ l Δ θ l , θ l + Δ θ l , φ φ l Δ φ l , φ l + Δ φ l d y λ cos θ cos φ .

2.2. Energy Transfer and Information Transmission

We adopt frame-based transmission where the length of one frame is denoted by T. Each frame consists of a WET phase and a WIT phase.
In the WET phase, the AP charges sensors via downlink energy beamforming. The duration of WET phase is τ T with 0 < τ < 1 . According to the law of energy conservation, the harvested energy at sensor l can be expressed as [21,22,23] (As in [21,22,23], we have neglected the non-linearity in the energy harvesting process. This is a good assumption for long-range WET, as shown in [32].):
E l = η τ T j = 1 L p j h l H w E , j 2 = η τ T p l h l H w E , l 2 + η τ T j = 1 , j l L p j h l H w E , j 2 ,
where w E , j denotes the energy beamformer for sensor j. η ( 0 < η < 1 ) denotes the energy conversion efficiency, i.e., the ratio between the harvested energy and received energy. p j denotes the power allocated to the beamformer of sensor j, which satisfies j = 1 L p j = p sum . The first term of the right-hand side indicates the expected energy that can be harvested at sensor l, and the second term indicates the energy leakage from the signals sent to other sensors.
Note that the schemes in [19,21,22,23,24,25,26,27,28,29,30] assume that all harvested energy is used for the power amplifier of the sensor during the WIT phase. Different from the previous works, in this paper, we employ a more practical power consumption model for the sensor. In particular, after the WET phase, a part of the harvested energy is used for necessary processing at the sensor to achieve its main task, and the remaining energy is used for uplink transmission during the WIT phase. A similar model has also been applied in [20]. Let E l p denote the processing energy, in the WIT phase of time period ( 1 τ ) T , the transmit power of sensor l can be expressed as:
P l = E l E l p 1 τ T = η τ 1 τ j = 1 L p j h l H w E , j 2 E l p 1 τ T .
Equation (9) has assumed that the harvested energy E l is greater than the processing energy E l p . Otherwise, P l should be set to zero, and an outage occurs.
To simplify the problem, we assume that the energy leakage, i.e., the second term of (8), contributes little to the total harvested energy. As will be seen later, this assumption is well satisfied under the proposed sensor scheduling scheme. Therefore, the transmit power of sensor l in (9) can be approximated as:
P l η τ 1 τ p l h l H w E , l 2 E l p 1 τ T .
The received signal at AP during the WIT phase is:
y = H Λ 1 / 2 x + n ,
where H = h 1 , h 2 , , h L and Λ = diag P 1 , P 2 , , P L . x = x 1 , x 2 , , x L T , and x l denotes the unit-power transmit signal of sensor l. n denotes the additive white Gaussian noise (AWGN) vector with distribution CN 0 , σ 2 I N x N y . To decode the signal of sensor l, AP combines the received signal by multiplying the information beamformer w D , l , i.e.,
y l = P l w D , l H h l x l + w D , l H j = 1 , j l L P j h j x j + w D , l H n .
For convenience, we normalize w E , l and w D , l as w E , l = w D , l = 1 . The average received SINR of the transmission from sensor l to AP can be expressed (since the proposed scheme does not rely on the instantaneous CSI, we consider average received SINR as the performance metric):
E SIN R l = E P l w D , l H h l h l H w D , l k = 1 , k l L P k w D , l H h k h k H w D , l + σ 2 E P l w D , l H h l h l H w D , l E k = 1 , k l L P k w D , l H h k h k H w D , l + σ 2 .
The approximation in the second line is based on the Mullens inequality [33], which is widely employed in the literature of massive MIMO. The approximation has been proven tight when the number of antennas (i.e., N x and N y ) is large [10].

3. Energy and Information Beamforming

In this section, we consider the energy and information beamforming design with statistical CSI. When large numbers of RF chains are available at AP, the energy and information beamformers are designed jointly to maximize the average received SINR at AP, which we call the statistical max-SINR beamforming. Although good performance is expected, the scheme causes high computational and hardware complexity when the number of AP’s antennas becomes very large. To deal with this problem, we then propose a heuristic strongest-path energy and information beamforming scheme, which requires only virtual AoD information of sensors and can be implemented in the analog-domain with low hardware complexity. Moreover, with strongest-path beamforming, a simple analytical expression for average received SINR at AP, can be obtained. With this property, an efficient parameter optimization scheme can be developed to further improve the system performance, as will be seen in the next section. The analysis of the relation between two beamforming schemes reveals that, with proper sensor scheduling, the strongest-path beamforming is equivalent to the statistical max-SINR beamforming when the number of AP antennas tends to infinity.
In this section, for information beamforming design, we will assume that the harvested energy is enough, and as a result, the transmit power of sensor given by (10) is positive. When this assumption is not satisfied, the information beamforming problem becomes trivial since the received SINR at AP is always zero.

3.1. Statistical Max-SINR Scheme

With only statistical CSI, the beamforming problem is formulated as follows:
max w E , l , w D , l E SINR l , s . t . w E , l = w D , l = 1 .
Directly solving the above problem is difficult due to the lack of analytical expression of average received SINR. Moreover, the energy beamforming designs for different sensors are coupled through the multi-user interference (MUI) term (i.e., the first term on the denominator of (13)), which makes the problem more challenging.
In this subsection, instead of directly solving the average SINR maximization problem, we first propose a statistical signal-to-leakage-plus-noise ratio (SLNR) criterion to obtain a closed-form solution for the energy beamformer. As its name suggests, the idea is inspired by the conventional SLNR criterion based on instantaneous CSI (referred to as instantaneous SLNR), which has been proven near optimal for the downlink MIMO beamforming problem [34,35]. Then, by exploiting the asymptotic property of the channel covariance matrix, the information beamformer is obtained by solving the problem (14) optimally. Note that in the above strategy, w E , l and w D , l are solved jointly since we have not added any assumption to decouple the problem.

3.1.1. Energy Beamforming Design

Similar to the instantaneous SLNR [34,35], the statistical SLNR is defined as follows:
SLNR l = E P l w D , l H h l h l H w D , l E P l k = 1 , k l L w D , k H h l h l H w D , k + σ 2 ,
where the first term on the denominator indicates the total power of interferences in the WIT phase caused by the transmission of sensor l. For convenience, we define G l , k = w D , k H h l h l H w D , k as the combining gain of information beamformer w D , k on the signal of sensor l. Substituting the expression of P l given by (10) into (15), the statistical SLNR can be rewritten as:
SLN R l = E η τ 1 τ p l w E , l H h l h l H w E , l E l p 1 τ T G l , l E η τ 1 τ p l w E , l H h l h l H w E , l E l p 1 τ T k = 1 , k l L G l , k + σ 2 E η τ 1 τ p l w E , l H h l h l H w E , l E l p 1 τ T E G l , l E η τ 1 τ p l w E , l H h l h l H w E , l E l p 1 τ T k = 1 , k l L G l , k + σ 2 = E G l , l w E , l H K l w E , l w E , l H K l k = 1 , k l L E G l , k + σ 2 I N x N y w E , l = Δ SLNR l LB ,
where K l = η τ 1 τ p l C l E l p 1 τ T I N x N y . The second line follows from the inequality E X Y E X E Y = cov X , Y 0 when X and Y are positive.
Based on (16), the energy beamformer is designed to maximize the lower bound of statistical SLNR, i.e.,
max w E , l SLNR l LB , s . t . w E , l = 1 .
It is easy to see that (17) is the generalized Rayleigh quotient problem, which can be solved as:
w E , l = u max K l k = 1 , k l L E G l , k + σ 2 I N x N y 1 K l .
Note that the matrices K l and K l k = 1 , k l L E G l , k + σ 2 I N x N y 1 have the same eigenvectors with C l . Let λ i denote the i-th largest eigenvalue of C l ; the i-th largest eigenvalue of K l k = 1 , k l L E G l , k + σ 2 I N x N y 1 K l can be expressed as:
λ ˙ i = η τ 1 τ p l λ i E l p 1 τ T η τ 1 τ p l λ i E l p 1 τ T k = 1 , k l L E G l , k + σ 2 .
Therefore, (18) can be simplified as:
w E , l = u max C l .
As discussed in [22], the MF energy beamforming aims to maximize the harvested energy at the intended sensor with instantaneous CSI. It is interesting that the energy beamformer (20) under the statistical SLNR criterion gives rise to a similar interpretation in the sense of maximizing the average harvested energy at the intended sensor. Moreover, it is seen that the solution of the energy beamformer is decoupled with the information beamformer. This makes the closed-form solution for w D , l possible.

3.1.2. Information Beamforming Design

By substituting (20) into (14), the information beamforming problem can be expressed as follows:
max w D , l w D , l H E P l h l h l H w D , l w D , l H k = 1 , k l L E P k h k h k H + σ 2 w D , l , s . t . w D , l = 1 .
Again, (21) is in the form of generalized Rayleigh quotient problem, which can be solved as:
w D , l = u max k = 1 , k l L E P k h k h k H + σ 2 I N x N y 1 E P l h l h l H .
Since the transmit power P l is correlated with the channel h l , there is no closed-form expressions for the expectations in (21). Therefore, the information beamforming based on (22) requires numerical evaluation with high computational complexity.
To overcome this challenge, below, we propose a closed-form solution for w D , l based on the asymptotic property of the sensor’s transmit power P l .
Lemma 1.
When the number of AP antennas tends to infinity, i.e., N x , N y , the transmit power of sensor l converges to:
P l η τ 1 τ p l β l K l K l + 1 N x N y E l p 1 τ T .
Proof. 
See Appendix A. □
Inserting (23) into (22), we get a closed-form solution for w D , l as follows:
w D , l = u max k = 1 , k l L η τ 1 τ p k β k K k K k + 1 N x N y E k p 1 τ T C k + σ 2 I N x N y 1 C l .
Even if closed-form expressions are available, the computation of beamformers in (20) and (24) has complexity O N x 3 N y 3 , which becomes challenging when the number of AP antennas grows large. Moreover, to implement the beamforming scheme, the required number of RF chains at AP is equal to N x N y . Since AP is hardware complexity limited, it is very important to reduce the number of required RF chains at AP for energy and information beamforming. This will be considered in the next subsection.

3.2. Strongest-Path Beamforming Scheme

In this subsection, we present a two-step heuristic approach to obtain a low-complexity beamforming scheme. In the first step, we design the energy and information beamformers jointly to maximize the average power of useful signal (i.e., the numerator of (13)), without considering the power of MUI (i.e., the first term on the denominator of (13)). In the second step, we propose an MUI-aware sensor scheduling scheme to mitigate the MUI under the beamforming scheme obtained in the first step.

3.2.1. Average Useful Signal Power Maximization

According to (13), the average power of useful signal can be expressed as:
Q l U = E P l w D , l H h l h l H w D , l .
Directly maximizing Q l U with respect to w E , l and w D , l is still difficult. By using the inequality E X Y E X E Y = cov X , Y 0 for positive X , Y , a lower bound on Q l U can be obtained as:
Q l U E P l E w D , l H h l h l H w D , l = w E , l H K l w E , l w D , l H C l w D , l = Δ Q l U , LB .
Since K l has the same eigenvectors as C l , designing the energy and information beamformers to maximize the lower bound gives rise to the solution as follows:
w E , l = w D , l = u max C l .
By exploiting the asymptotic property of the channel covariance matrix, we can further approximate the energy and information beamformers using the virtual AoD information of the sensor. This is stated in the following theorem.
Theorem 1.
When the number of AP antennas tends to infinity, i.e., N x , N y , the energy and information beamformers converge to:
w E , l = w D , l = 1 N x N y b ρ x , l a ρ y , l ,
and the lower bound of average useful signal power can be expressed as:
Q l U , LB = η τ 1 τ p l β l K l K l + 1 N x N y + β l K l + 1 S l ρ x , l , ρ y , l E l p 1 τ T β l K l K l + 1 N x N y + β l K l + 1 S l ρ x , l , ρ y , l .
Proof. 
This can be readily proven using the asymptotic expressions for the dominant eigenvector and eigenvalue of C l , presented in (A6) of Appendix A. □
From Theorem 1, it is seen that the beamformers are designed to match the LoS path of the channel, i.e., to ensure that the largest beamforming gain is achieved at the LoS path. Moreover, for the commonly-used models, the PAS of NLoS channel S l ρ x , ρ y achieves the maximum at { ρ x , ρ y } = { ρ x , l , ρ y , l } [15,36], i.e., the virtual AoDs corresponding to the sensors’ physical AoDs in horizontal and vertical directions. As a result, the proposed beamformers also match the strongest NLoS path in the angular domain. Therefore, this scheme is named the strongest-path energy and information beamforming. On the other hand, it is seen that both the energy and information beamformers have a constant envelope, which can be realized using phase shifting networks in the analog-domain. The total number of required RF chains at AP can be reduced to L, which is equal to the number of sensors [37].
Another important observation from Lemma 1 is that, if we neglect the processing energy E l p , the average useful signal power decays with the squared path loss. Thus, a low altitude of AP is preferred to improve the efficiencies of WET and WIT of the single sensor. However, with the decrease of altitude, the number of covered sensors by AP is reduced as well, which may degrade the performance of the whole hybrid air-terrestrial network. Therefore, the planning of AP’s altitude is an interesting and important research topic. If the prior of sensor density is available, a raw idea to solve this problem is presented as follows. Note that for the given altitude of AP, the uplink achievable rate region of the sensor can be predicted based on (29) or the analytical SINR expression presented in Section 4. Moreover, the performance metric of the network, e.g., system spectral efficiency (SE), can be estimated using the sensor density information. With these in the hand, the altitude optimization can be formulated as a network performance maximization problem subject to the sensor quality of service (QoS) constraint, e.g., a threshold on the uplink achievable rate.

3.2.2. MUI Mitigation

According to (13) and Lemma 1, the power of MUI can be expressed asymptotically in the large { N x , N y } limit as:
Q l MUI = k = 1 , k l L E P k w D , l H h k h k H w D , l = k = 1 , k l L η τ 1 τ p l β l K l K l + 1 N x N y E l p 1 τ T E w D , l H h k h k H w D , l .
By exploiting the channel covariance matrix (5) and the expression of w D , l given by Theorem 1, Q l MUI can be rewritten as:
Q l MUI = k = 1 , k l L η τ 1 τ p k β k K k K k + 1 N x N y E k p 1 τ T × β k K k + 1 1 N x N y i x , y sin 2 N x π ρ i , l ρ i , k sin 2 π ρ i , l ρ i , k + 1 N x N y × ρ c k , x min ρ c k , x max ρ c k , y min ρ c k , y max S k ρ x , ρ y i x , y sin 2 N x π ρ i , l ρ i sin 2 π ρ i , l ρ i d ρ x d ρ y .
A short derivation of (31) is presented in Appendix B.
Before proposing the MUI-aware sensor scheduling scheme, we first present the following lemma, which determines the scaling behavior of MUI with respect to { N x , N y } .
Lemma 2.
Consider the following two conditions on the virtual AoDs of sensors: (a) ρ x , l min , ρ x , l max ρ x , k min , ρ x , k max = , l k , which indicates that the virtual AoD regions along the x-direction of any two sensors are non-overlapping. (b) ρ y , l min , ρ y , l max ρ y , k min , ρ y , k max = , l k , which indicates that the virtual AoD regions along the y-direction of any two sensors are non-overlapping. In the large { N x , N y } limit,
  • if the virtual AoDs of sensors satisfy only one of Conditions (a) and (b), the interference-to-useful signal ratio scales at most with O N x 2 (if Condition (a) holds) or O N y 2 (if Condition (b) holds).
  • if Conditions (a) and (b) are satisfied simultaneously, the power of MUI scales with O N x 1 N y 1 .
Proof. 
See Appendix C. □
Lemma 2 indicates that: (1) in the low received SNR scenario, the effect of MUI can be efficiently mitigated if the sensors are scheduled to make Condition (a) or Condition (b) satisfied; (2) whereas in the high received SNR scenario, a good sensor scheduling scheme should make Conditions (a) and (b) hold simultaneously.
Based on Lemma 2 and the above discussion, we can build an MUI-aware sensor scheduling scheme as follows.
  • In the first step, we divide the whole region of virtual AoD along the x-direction into B x disjoint blocks, and the length of each block is much larger than max l ρ x , l max ρ x , l min . Similarly, the whole region of virtual AoD along the y-direction is divided into the B y disjoint blocks, and the length of each block is much larger than max l ρ y , l max ρ y , l min , as shown in Figure 2.
  • In the second step, the sensors whose virtual AoDs ρ x , l , ρ y , l lie in the same small rectangular region in Figure 2 are gathered into one group. In this way, we will have at most B x B y sensor groups.
  • In the third step, for the low received SNR scenario, we pick one sensor from each group to serve a particular time-frequency resource. Thus, the maximum number of simultaneously served sensors is equal to B x B y . In the high received SINR scenario, the scheduled sensors are selected in the same way, but further divided into two clusters, as shown in Figure 2, where the sensors from red regions are assigned to Cluster 1 and those from white regions are assigned to Cluster 2. Each cluster is served on different time-frequency resources. Thus, the maximum number of simultaneously served sensors is equal to 1 2 B x B y . To ensure the fairness between all sensors, the remaining sensors in each group can be served on the other time-frequency resources using the same scheduling procedure.
Since in the first step, we have made the length of each block much larger than the spread of virtual AoD of each sensor, i.e., ρ x , l max ρ x , l min and ρ y , l max ρ y , l min , the proposed scheme can make Condition (a) and/or (b) satisfied approximately. In this case, the power of MUI is greatly mitigated. From the first and third steps, B x and B y can be viewed as the parameters that give a tradeoff between the allowed residual MUI and the number of simultaneously served sensors. Thus, considering the constraint in the first step, B x and B y should be designed to maximize some performance metric (e.g., the system SE). In practical application, since the feasible sets B x and B y are discrete and finite, this task can be completed by simple off-line searching algorithms based on the analytical results in Theorem 1 and (31).
Remark 1.
Note that both the strongest-path beamforming and sensor scheduling require the knowledge of virtual AoDs of sensors. By using the class of estimation methods based on discrete Fourier transform with zero padding [38], the virtual AoDs can be estimated at AP from the pilots transmitted by sensors with a certain quantification error.
Remark 2.
If the remaining battery power of a sensor is not enough to transmit the pilot signal, AP cannot obtain its AoD estimation. In this case, this sensor becomes a “dead sensor”, which can no longer be severed. To deal with this problem, the common signal of AP can be exploited. Usually, AP will broadcast periodically some common signals within its coverage region for the purpose of synchronization, access control, etc. The sensor with low battery power can harvest energy from these common signals until it has enough battery power to access the network actively. Some methods of designing an omnidirectionally common signal in a massive MIMO system can be found in [39].

3.3. Relation between Two Beamforming Schemes

According to (20) and (27) and Theorem 1, we can see that the energy beamformer of the statistical max-SINR scheme converges to that of the strongest-path beamforming in the large N x , N y limit. Moreover, if Conditions (a) and/or (b) are satisfied after the MUI-aware sensor scheduling, we can neglect the term incurred by MUI, i.e., k = 1 , k l L η τ 1 τ p k β k K k K k + 1 N x N y E k p 1 τ T C k , in the information beamformer given by (24), and rewrite (24) as:
w D , l = u max C l = N x , N y 1 N x N y b ρ x , l a ρ y , l .
Therefore, we can conclude that, under the MUI-aware sensor scheduling, the strongest-path beamforming is equivalent to the statistical max-SINR beamforming when the number of AP antennas tends to infinity.

4. Energy Efficiency Optimization

In this section, the transmit power, number of active antennas of AP and duration of the WET phase are jointly optimized to maximize the system EE. It is assumed that the low-complexity strongest-path beamforming scheme is employed at AP. Based on the theoretical analysis in Section 3.2, an approximate expression of average received SINR at AP can be obtained as:
E SINR l Q l U , LB Q l MUI + σ 2 ,
where the expressions of Q l U , LB and Q l MUI are given by (29) and (31), respectively.
We assume that the MUI is effectively mitigated after the proposed MUI-aware sensor scheduling scheme, and as a result, the system is noise-limited (if the effect MUI is not negligible, by exploiting the analytical expression in (31), the EE optimization problem can be solved efficiently using the geometric programming based procedure developed in [40]). Thus, by substituting (29) into (33) and neglecting the low-order terms, the average received SINR can be further simplified as:
E SINR l τ N x 2 N y 2 1 τ α l p l N x N y 1 τ γ l ,
where α l = η σ 2 β l K l K l + 1 2 and γ l = E p σ 2 T β l K l K l + 1 .
The EE is defined as the SE divided by the AP’s total energy consumption, that is:
EE = SE τ T l = 1 L p l + T P c ,
where the SE is defined as the sum of all sensors’ uplink achievable rates, that is:
SE = 1 τ l = 1 L log 1 + τ N x 2 N y 2 1 τ α l p l N x N y 1 τ γ l ,
and P c denotes the circuit power consumption of AP. According to [21,41], it is reasonable to assume that the circuit power consumption increases linearly with the number of the AP’s active antennas. Thus, P c can be expressed as:
P c = N ˜ x N ˜ y p ant ,
where N ˜ x and N ˜ y denote the numbers of active antennas along the x axis and y axis, respectively, which satisfy N ˜ x N x and N ˜ y N y . p ant denotes the power consumption introduced by each active antenna.
We consider the EE optimization problem with the per sensor achievable rate constraint, which is formulated as:
max τ , p l l = 1 L , N ˜ x , N ˜ y EE , s . t C 1 : 1 τ log 1 + τ N x 2 N y 2 1 τ α l p l N x N y 1 τ γ l r T , l = 1 , , L , C 2 : l = 1 L p l p max , p l 0 , l = 1 , , L , C 3 : N ˜ x N x , N ˜ y N y , and N ˜ x , N ˜ y N + , C 4 : τ 0 , 1 .
where r T denotes the minimum data rate requirement of each sensor. p max denotes the maximum transmit power constraint of AP. Note that the constraint C 1 implicitly enforces the harvested energy to be greater than the processing energy. Thus, no additional constraint is needed. Due to the tremendous gain of a large-scale antenna array in a massive MIMO system, it is reasonable to assume that the uplink received SINR given by (34) is much greater than one. Thus, at a good operating point, the increase of N x , N y and p l will result in the decrease of EE since the achievable rate grows logarithmically with N x , N y and p l . In this case, the constraint C 1 will satisfy with equality at optimal N x , N y and p l . Therefore, by substituting (35) and (37) into (38) and exploiting the definition of SE, the EE optimization problem can be rewritten as:
min τ , p l l = 1 L N ˜ x , N ˜ y τ l = 1 L p l + N ˜ x N ˜ y p ant , s . t . 1 τ log 1 + τ N x 2 N y 2 1 τ α l p l N x N y 1 τ γ l = r T , l = 1 , , L , C 2 C 4 .
By rearranging the constraint C 1 , we can obtain:
p l = 1 τ τ α l N ˜ x 2 N ˜ y 2 exp r T 1 τ 1 + N ˜ x N ˜ y 1 τ γ l .
With this equality, we can rewrite the problem (39) as:
min τ , N ˜ x , N ˜ y l = 1 L 1 τ α l exp r T 1 τ 1 1 N ˜ x 2 N ˜ y 2 + l = 1 L γ l α l 1 N ˜ x N ˜ y + N ˜ x N ˜ y p ant , s . t . l = 1 L 1 τ τ α l N ˜ x 2 N ˜ y 2 exp r T 1 τ 1 + N ˜ x N ˜ y 1 τ γ l p max , C 3 , C 4 .
With a few algebraic manipulations, we can see that the inequality constraint in (41) gives rise to a lower bound on N ˜ x N ˜ y , that is:
N ˜ x N ˜ y l = 1 L γ l τ α l + l = 1 L γ l τ α l 2 4 p max l = 1 L 1 τ τ α l exp r T 1 τ 1 2 p max = Δ N LB .
Moreover, setting the first-order derivative of the target function with respect to N ˜ x N ˜ y to zero, we can obtain:
2 l = 1 L 1 τ α l exp r T 1 τ 1 N ˜ x 3 N ˜ y 3 l = 1 L γ l α l 1 N ˜ x 2 N ˜ y 2 + p ant = 0 .
Since (43) is a monotonically increasing function of N ˜ x N ˜ y , it has a single solution (denoted as N ˜ x N ˜ y = N ) when N ˜ x N ˜ y > 0 . Therefore, the target function achieves its minimum at N ˜ x N ˜ y = N . Note that N can be simply obtained using the method of bisection. Considering the lower bound in (42), if we discard the integer constraints on N ˜ x and N ˜ y , the optimal N ˜ x and N ˜ y satisfy:
N ˜ x N ˜ y = max N LB , N .
When the right-hand side of (44) is greater than N x N y , the problem is infeasible. As long as the problem is feasible, N ˜ x and N ˜ y can be selected as arbitrary positive integers, which can make (44) satisfied.
After determining the number of active antennas, the optimal transmit power of AP can be derived directly using (40). Finally, the optimal τ can be obtained by one-dimensional search over the interval ( 0 , 1 ) .
From the above solutions, we can obtain two important observations on the design of system parameters.
  • First, for the above EE and widely-investigated SE optimization problems [12], we note that the optimal transmit powers derived have distinct scaling behaviors with respect to the number of the AP’s (active) antennas. According to (40), the optimal transmit power that maximizes the EE reduces approximately with N ˜ x 2 N ˜ y 2 if the processing energy E p is negligible and reduces with N ˜ x N ˜ y if the processing energy is significant. In contrast, in SE optimization, the optimal transmit power is independent of the number of AP antennas [12].
  • In EE optimization, the optimal number of active antennas, i.e., N ˜ x N ˜ y , is a non-increasing function of transmit power constraint p max and the circuit power consumption p ant . In particular, when the circuit power consumption is dominant, (44) reduces to N ˜ x N ˜ y = N LB , which becomes independent of p ant . In this case, by substituting (40) into the constraint C 2 of (38), we can see that the sum transmit power constraint of AP holds with equality. This means that, to control the total circuit power consumption, AP should use its maximum transmit power to reduce the number of active antennas.

5. Simulation Results and Discussion

This section evaluates the performance of the proposed beamforming scheme via MATLAB simulations. It was assumed that there are 100 sensors randomly located in the coverage area of AP. The sensors were grouped based on the MUI-aware scheduling scheme in Section 3.2. For the sake of illustration, the numbers of blocks along the x-direction and y-direction were fixed at B x = B y = 5 . One sensor was picked randomly from each group, and the number of total selected sensors was L = 20 (five sensor groups were empty). The large-scale fading was modeled using the statistical propagation model for air-terrestrial transmission with low-altitude AP, which was proposed in [14]. In particular, the path loss was modeled as the summation of the free space path loss (in dB) and an extra path loss term (in dB). According to Figure 3 [14], it was assumed that the extra path loss term for each sensor varied randomly from 0 dB to 10 dB. The PAS of the channel was modeled as S φ , θ = S h φ S v θ , where S h φ and S v θ denote the PASs in horizontal and vertical directions, respectively. As in [15,31], S h φ and S v θ were modeled using the von Mises distribution and truncated Laplacian distribution, respectively. The simulation parameters are summarized in Table 1.
We first compare the SE performance of proposed beamforming schemes with MF beamforming [10] and DFT beamforming [13] in Figure 3 and Figure 4. Note that the MF beamforming required the instantaneous CSI and full number of RF chains (equal to N x N y ) at AP. The requirement on CSI and the number RF chains for DFT beamforming was the same as the strongest-path beamforming.
Figure 4 simulates the SE performance as a function of the duration of WET phase τ . With the full number of RF chains, it was seen that the proposed statistical max-SINR beamforming achieved a similar performance with MF beamforming at the optimal τ . This makes the statistical max-SINR beamforming attractive, since it did not need the estimation of instantaneous CSI. With the limited number of RF chains, the strongest-path beamforming outperformed the DFT beamforming considerably, since it focused the signal power on the sensor’s direction in a more effective way. When comparing with the MF beamforming, the strongest-path beamforming suffered from an SE loss of 11% due to the lack of instantaneous CSI.
Figure 5 simulates the SE performance for different AP transmit powers, where l = 1 L p l increases from 28 dBm to 48 dBm. The duration of the WET phase was optimized with respect to SE. It is seen that the SE loss of strongest-path beamforming to the widely-used MF beamforming was quite small (about 6%) for large transmit SNR. However, the SE loss to the statistical max-SINR scheme became larger with the increase of transmit power. This was because the effect of residual MUI was dominant in the large SNR region.
Figure 6 shows the effect of sensor’s processing energy E l p on SE performance, where we assumed that the processing energies for all sensors are the same and vary from 10 11 J to 10 8 J , as suggested in [42]. The duration of the WET phase was optimized with respect to SE. As expected, the SEs of all schemes approached zero with the increase of E l p since the energy and time resources left for the WIT phase became less. In this case, AP must increase the transmit power or equip more antennas in order to maintain the system performance. Figure 3 shows the effect of AP’s altitude on the SE performance of proposed beamforming schemes. The duration of the WET phase was optimized to maximize the SE. It is seen that the SE performances of all schemes degraded with the altitude of AP since more path loss was introduced. At last, it is noted from Figure 3 and Figure 4 that the analytical SE based on (33) gave a good approximation to the Monte Carlo result.
Figure 7 shows the EE performance of the strongest-path beamforming as a function of per antenna circuit power consumption p ant . The proposed EE optimization scheme was compared with that in [21] where the maximum number of antennas was used at AP (i.e., N ˜ x = N ˜ y = 25 ). The figure shows that the EE performance was greatly improved by optimizing the number of the AP’s active antennas, especially when the per antenna circuit power consumption p ant was large. In particular, it is seen that the performance gain increased from 1.9 times to 5.2 times when p ant varied between 10 dBm and 30 dBm.
Figure 8 simulates the effect of processing energy of sensor E l p on the proposed EE optimization scheme. It is seen that, for small E l p , the proposed optimization scheme can provide considerable gain. When E l p was greater than 10 9 J, the EE performance under the proposed optimization scheme converged to that of [21]. This is because in this case, AP must utilize the maximum number of antennas in order to meet the achievable rate constraint and processing energy consumption of the sensor. As a result, the same solution was obtained by the two optimization schemes. Figure 9 shows the effect of AP’s altitude on the proposed EE optimization scheme. Similarly, we can see that the two optimization schemes gave rise to the same EE performance for a large altitude of AP.

6. Conclusions

This paper studies the 3D beamforming for an airborne massive MIMO system with WET. When large numbers of RF chains are available at AP, a statistical max-SINR beamforming scheme is proposed to maximize the average received SINR at AP. A heuristic strongest-path beamforming scheme is also proposed when the number of AP RF chains is limited. Under the strongest-path beamforming scheme, the transmit power, number of active antennas of AP and duration of the WET phase are jointly optimized to maximize the system EE. The simulation results show that the statistical max-SINR beamforming scheme can achieve similar SE performance with MF beamforming. The strongest-path beamforming outperforms the DFT beamforming considerably, but suffers from a small SE loss when compared with MF beamforming. Moreover, the proposed EE optimization scheme outperforms the traditional scheme that does not consider the circuit power consumption significantly.

Author Contributions

Conceptualization, Y.W., X.X. Methodology, Y.W., X.X. Validation, K.X., X.X. Funding acquisition, K.X., A.L.

Funding

This work is supported by the National Natural Science Foundation of China (No. 61671472) and Jiangsu Province Natural Science Foundation (BK20160079).

Conflicts of Interest

The authors declare no conflict of interest.

Abbreviations

The following abbreviations are used in this manuscript:
MIMOMultiple-input multiple-output
APAir platform
SINRSignal-to-interference-plus-noise ratio
WETWireless energy transfer
BSBase station
5GFifth generation
EEEnergy efficiency
2DTwo-dimensional
3DThree-dimensional
WITWireless information transmission
LoSLine-of-sight
NLoSNon-LoS
MFMatch filter
RFRadio frequency
CSIChannel state information
AoDAngle of departure
PASPower angle spectrum
AWGNAdditive white Gaussian noise
MUIMulti-user interference
SLNRSignal-to-leakage-plus-noise ratio
SESpectral efficiency
QoSQuality of service

Appendix A. Proof of Lemma 1

To prove Lemma 1, we first consider the asymptotic property for dominant eigenvector and eigenvalue of channel covariance matrix C l .
According to (5) and the equality ( A B ) ( C D ) = ( AC ) ( BD ) , we have
C l LoS = β l K l K l + 1 b ρ x , l a ρ y , l b ρ x , l a ρ y , l H .
From (A1), it is easy to verify that
u max C l LoS = 1 N x N y b ρ x , l a ρ y , l , λ max C l LoS = β l K l K l + 1 N x N y .
Moreover, using the equality ( A B ) ( C D ) = ( AC ) ( BD ) on (5) repeatedly, we can obtain
1 N x N y C l NLoS b ρ x a ρ y = 1 N x N y β l K l + 1 ρ x , l min ρ x , l max ρ y , l min ρ y , l max S l ρ x , ρ y b ρ x a ρ y b H ρ x b ρ x a H ρ y a ρ y d ρ x d ρ y = 1 N x N y β l K l + 1 ρ x , l min ρ x , l max ρ y , l min ρ y , l max S l ρ x , ρ y b ρ x a ρ y i = 0 N x 1 exp j 2 π i ρ x ρ x i = 0 N x 1 exp j 2 π i ρ y ρ y d ρ x d ρ y = 1 N x N y β l K l + 1 ρ x , l min ρ x , l max ρ y , l min ρ y , l max S l ρ x , ρ y b ρ x a ρ y exp j π N x 1 ρ x ρ x exp j π 1 N y ρ y ρ y sin N x π ρ x ρ x sin π ρ x ρ x × sin N y π ρ y ρ y sin π ρ y ρ y d ρ x d ρ y .
According to [43], the function 1 N sin N π x sin π x (this function is called aliased sinc function in [43]) converges to standard sinc function sinc ( N x ) as N . Therefore, using the limit 1 a sinc x a a 0 δ x , we can obtain 1 N sin N π x sin π x N δ x . With the above result, in the large N x , N y limit we can rewrite (A3) as
1 N x N y C l NLoS b ρ x a ρ y = 1 N x N y β l K l + 1 S l ρ x , ρ y b ρ x a ρ y .
Note that in (A4), if ρ x ρ x , l min , ρ x , l max or ρ y ρ y , l min , ρ y , l max , we can simply set S l ρ x , ρ y to zero. Equation (A4) indicates that 1 N x N y b ρ x a ρ y is the eigenvector of C l NLoS , and the corresponding eigenvalue can be expressed as β l K l + 1 S l ρ x , ρ y . For the commonly used PAS models, S l ρ x , ρ y achieves the maximum at { ρ x , ρ y } = { ρ x , l , ρ y , l } [15,36], i.e., the virtual AoDs corresponding to sensors’ physical AoDs in horizontal and vertical directions. Therefore, we can conclude
u max C l NLoS = 1 N x N y b ρ x , l a ρ y , l , λ max C l NLoS = β l K l + 1 S l ρ x , l , ρ y , l .
Combining (A2) and (A5), in the large N x , N y limit, we have
u max C l = 1 N x N y b ρ x , l a ρ y , l , λ max C l = β l K l K l + 1 N x N y + β l K l + 1 S l ρ x , l , ρ y , l .
With the channel model in (1) and (2), the harvest energy at sensor l can be written as
P l = η τ 1 τ p l w E , l H h l h l H w E , l E l p 1 τ T = η τ 1 τ p l w E , l H C l LoS w E , l + β l K l + 1 φ l Δ φ l φ l + Δ φ l θ l Δ θ l θ l + Δ θ l r l φ , θ w E , l H b φ , θ a φ , θ d φ d θ 2 E l p 1 τ T
Substituting (20) and (A6) into (A7), and using a similar procedure as that in (A3), P l (in the large { N x , N y } limit) can be expressed asymptotically as
P l = η τ 1 τ p l β l K l K l + 1 N x N y + β l K l + 1 r l v ρ x , l , ρ y , l 2 E l p 1 τ T ,
where r k v ρ x , k , ρ y , k denotes the complex response gain with respect to the virtual AoDs { ρ x , ρ y } , which can be simply derived by using the formula of integration by substitution. Note that the term β l K l + 1 r l v ρ x , l , ρ y , l 2 becomes negligible in the large { N x , N y } limit since r l v ρ x , l , ρ y , l is independent with { N x , N y } . This completes the proof.

Appendix B. Proof of (31)

According to (5), we have
w D , l H C k w D , l = w D , l H C k LoS w D , l + w D , l H C k NLoS w D , l ,
where w D , l H C k LoS w D , l can be further expanded as
w D , l H C k LoS w D , l = 1 N x N y β k K k K k + 1 b ρ x , l a ρ y , l H b ρ x , k a ρ y , k 2 = 1 N x N y β k K k K k + 1 sin 2 N x π ρ x , l ρ x , k sin 2 π ρ x , l ρ x , k sin 2 N y π ρ y , l ρ y , k sin 2 π ρ y , l ρ y , k .
Similarly, w D , l H C k NLoS w D , l can be expanded as
w D , l H C k NLoS w D , l = 1 N x N y β k K k + 1 ρ c k , x min ρ c k , x max ρ c k , y min ρ c k , y max S k ρ x , ρ y × b ρ x , l a ρ y , l H b ρ x a ρ y 2 d ρ x d ρ y = 1 N x N y β k K k + 1 ρ c k , x min ρ c k , x max ρ c k , y min ρ c k , y max S k ρ x , ρ y i x , y sin 2 N x π ρ i , l ρ i sin 2 π ρ i , l ρ i d ρ y .
Inserting (A9)–(A11) into (30), we obtain (31).

Appendix C. Proof of Lemma 2

We first prove the first part of the lemma. Without loss of generality, we assume that only condition (a) is satisfied. From (31), the power of MUI can be rewritten as
Q l MUI = k = 1 , k l L P k w D , l H C k LoS w D , l + k = 1 , k l L P k w D , l H C k NLoS w D , l = Q l , LoS MUI + Q l , NLoS MUI .
The first and second terms of right-hand side represent the MUIs contributed by the LoS and NLoS channels, respectively. By using the expression of P k in Lemma 1 and (A10), we can obtain (in the large { N x , N y } limit)
Q l , LoS MUI Q l U 1 N x N y k = 1 , k l L P k P l sin 2 N x π ρ x , l ρ x , k N x sin 2 π ρ x , l ρ x , k sin 2 N y π ρ y , l ρ y , k N y sin 2 π ρ y , l ρ y , k .
Note that the function 1 N sin N π x sin π x converges to standard sinc function sinc ( N x ) as N [43]. Thus, when condition (a) is satisfied, i.e., ρ x , l min , ρ x , l max ρ x , k min , ρ x , k max = , l k , we can obtain
sin 2 N x π ρ x , l ρ x , k N x sin 2 π ρ x , l ρ x , k = N x sin 2 N x π ρ x , l ρ x , k N x 2 π 2 ρ x , l ρ x , k 2 1 N x π 2 ρ x , l ρ x , k 2 = O N x 1 ,
where the second step follows from the inequality | sin x | 1 . Moreover, the function 1 N sin N π x sin π x achieves its maximum at point x = 0 , thus, we have
sin 2 N y π ρ y , l ρ y , k N y sin 2 π ρ y , l ρ y , k N y .
Substituting (A14) and (A15) into (A13), we can obtain Q l , LoS MUI Q l U O N x 2 . Using a similar procedure as that in the appendix of [44], we can prove Q l , NLoS MUI Q l U O N x 2 . This completes the proof for the first part of Lemma 2.
When both conditions (a) and (b) are satisfied, the proof is similar with that in appendix of [44]. Thus, it is omitted.

References

  1. Shinohara, N. Power without wires. IEEE Microw. Mag. 2011, 12, S64–S73. [Google Scholar] [CrossRef]
  2. Zhang, R.; Ho, C. MIMO broadcasting for simultaneous wireless information and power transfer. IEEE Trans. Wirel. Commun. 2013, 12, 1989–2001. [Google Scholar] [CrossRef]
  3. Ulukus, S.; Yener, A.; Erkip, E.; Simeone, O.; Zorzi, M.; Grover, P.; Huang, K. Energy harvesting wireless communications: A review of recent advances. IEEE J. Sel. Areas Commun. 2015, 33, 360–381. [Google Scholar] [CrossRef]
  4. Zeng, Y.; Zhang, R.; Lim, T.J. Wireless communications with unmanned aerial vehicles: Opportunities and challenges. IEEE Commun. Mag. 2016, 54, 36–42. [Google Scholar] [CrossRef]
  5. Project LOON. Available online: https://www.google.com/loon/ (accessed on 17 October 2018).
  6. Connecting the World From the Sky. Available online: https://internet.org/projects (accessed on 17 October 2018).
  7. 5G Concept. White Paper, IMT-2020 (5G) Promotion Group, 2015. Available online: http://www.imt-2020.cn/en (accessed on 17 October 2018).
  8. Berioli, M.; Molinaro, A.; Morosi, S.; Scalise, S. Aerospace communications for emergency applications. Proc. IEEE 2011, 99, 1922–1938. [Google Scholar] [CrossRef]
  9. Marzetta, T.L. Noncooperative cellular wireless with unlimited numbers of BS antennas. IEEE Trans. Wirel. Commun. 2010, 9, 3590–3600. [Google Scholar] [CrossRef]
  10. Hoydis, J.; Brink, S.; Debbah, M. Massive MIMO in the UL/DL of cellular networks: How many antennas do we need? IEEE J. Sel. Areas Commun. 2013, 31, 160–171. [Google Scholar] [CrossRef] [Green Version]
  11. Adhikary, A.; Nam, J.; Ahn, J.; Caire, G. Joint spatial division and multiplexing: the large-scale array regime. IEEE Trans. Inf. Theory 2013, 59, 6441–6463. [Google Scholar] [CrossRef]
  12. Zhang, Q.; Jin, S.; Wong, K.; Zhu, H.; Matthaiou, M. Power scaling of uplink massive MIMO systems with arbitrary-rank channel means. IEEE J. Sel. Areas Commun. 2014, 8, 966–981. [Google Scholar] [CrossRef]
  13. Li, X.; Jin, S.; Suraweera, H.; Hou, J.; Gao, X. Statistical 3-D Beamforming for Large-Scale MIMO Downlink Systems Over Rician Fading Channels. IEEE Trans. Commun. 2016, 64, 1529–1543. [Google Scholar] [CrossRef]
  14. Al-Hourani Kandeepan, A.; Jamalipour, A. Modeling air-to-ground path loss for low altitude platforms in urban environments. In Proceedings of the 2014 IEEE Global Communications Conference, Austin, TX, USA, 8–12 December 2014; pp. 2898–2904. [Google Scholar]
  15. Michailidis, E.; Theofilakos, P.; Kanatas, A. Three-dimensional modeling and simulation of MIMO mobile-to-mobile via stratospheric relay fading channels. IEEE Trans. Veh. Technol. 2013, 62, 2014–2030. [Google Scholar] [CrossRef]
  16. Xu, Y.; Xia, X.; Xu, K.; Wang, Y. Three-dimensional massive MIMO for air-to-ground transmission: Location-assisted precoding and impact of AoD uncertainty. IEEE Access 2017, 5, 15582–15596. [Google Scholar] [CrossRef]
  17. Rabie, K.; Salem, A.; Alsusa, E.; Alouini, M. Energy-harvesting in cooperative AF relaying networks over log-normal fading channels. In Proceedings of the 2016 IEEE International Conference on Communications, Kuala Lumpur, Malaysia, 23–27 May 2016; pp. 1–6. [Google Scholar]
  18. Rabie, K.; Adebisi, B.; Alouini, M. Half-duplex and full-duplex AF and DF relaying with energy-harvesting in log-normal fading. IEEE Trans. Green Commun. Netw. 2017, 1, 468–480. [Google Scholar] [CrossRef]
  19. Chen, X.; Zhang, Z.; Chen, H.; Zhang, H. Enhancing wireless information and power transfer by exploiting multi-antenna techniques. IEEE Commun. Mag. 2015, 53, 133–141. [Google Scholar] [CrossRef] [Green Version]
  20. Kashyap, S.; Björnson, E.; Larsson, E. On the Feasibility of Wireless Energy Transfer Using Massive Antenna Arrays. IEEE Trans. Wirel. Commun. 2016, 15, 3466–3480. [Google Scholar] [CrossRef]
  21. Chen, X.; Wang, X.; Chen, X. Energy-efficient optimization for wireless information and power transfer in large-scale MIMO systems employing energy beamforming. IEEE Wirel. Commun. Lett. 2013, 2, 667–670. [Google Scholar] [CrossRef]
  22. Yang, G.; Ho, C.; Zhang, R.; Guan, Y. Throughput optimization for massive MIMO systems powered by wireless energy transfer. IEEE J. Sel. Areas Commun. 2015, 33, 1640–1650. [Google Scholar] [CrossRef]
  23. Wu, X.; Xu, W.; Dong, X.; Zhang, H.; You, X. Asymptotically optimal power allocation for massive MIMO wireless powered communications. IEEE Wirel. Commun. Lett. 2016, 5, 100–103. [Google Scholar] [CrossRef]
  24. Fan, L.; Zhang, H.; Huang, Y.; Yang, L. Exploiting BS antenna tilt for SWIPT in 3-D massive MIMO systems. IEEE Wirel. Commun. Lett. 2017, 6, 100–103. [Google Scholar] [CrossRef]
  25. Xu, K.; Shen, Z.; Xia, X.; Wang, Y.; Zhang, D. Hybrid time-switching and power splitting SWIPT for full-duplex massive MIMO systems: A beam-domain approach. IEEE Trans. Veh. Technol. 2018. [Google Scholar] [CrossRef]
  26. Amarasuriya, G.; Poor, H. Wireless information and power transfer in multi-way relay networks with massive MIMO. In Proceedings of the 2015 IEEE Global Communications Conference, San Diego, CA, USA, 6–10 December 2015; pp. 1–7. [Google Scholar]
  27. Wang, X.; Liu, J.; Zhai, C. Wireless power transfer-based multi-pair two-way relaying with massive antennas. IEEE Trans. Wirel. Commun. 2017, 16, 7672–7684. [Google Scholar] [CrossRef]
  28. Leng, S.; Ng, D.; Zlatanov, N.; Schober, R. Multi-objective resource allocation in full-duplex SWIPT systems. In Proceedings of the 2016 IEEE International Conference on Communications, Kuala Lumpur, Malaysia, 22–27 May 2016; pp. 1–7. [Google Scholar]
  29. Lu, A.; Gao, X.; Zheng, Y.; Xiao, C. Linear precoder design for SWIPT in MIMO broadcasting systems with discrete input signals: Manifold optimization approach. IEEE Trans. Commun. 2017, 65, 2877–2888. [Google Scholar] [CrossRef]
  30. Niu, N.; Guo, D.; Huang, Y.; Zhang, B.; Gao, B. Outage constrained robust energy harvesting maximization for secure MIMO SWIPT systems. IEEE Wirel. Commun. Lett. 2017, 6, 614–617. [Google Scholar] [CrossRef]
  31. Hu, Y.; Hong, Y.; Evans, J. Modelling interference in high altitude platforms with 3D LoS massive MIMO. In Proceedings of the 2016 IEEE International Conference on Communications, Kuala Lumpur, Malaysia, 22–27 May 2016; pp. 1–6. [Google Scholar]
  32. Zeng, Y.; Clerckx, B.; Zhang, R. Communications and signals design for wireless power transmission. IEEE Trans. Commun. 2017, 65, 2264–2290. [Google Scholar] [CrossRef]
  33. Mullen, K. A note on the ratio of two independent random variables. Am. Stat. 1967, 21, 30–31. [Google Scholar] [CrossRef]
  34. Sadek, M.; Tarighat, A.; Sayed, A. A leakage-based precoding scheme for downlind multi-user MIMO channels. IEEE Trans. Wirel. Commun. 2007, 6, 1711–1721. [Google Scholar] [CrossRef]
  35. Tran, T.; Teh, K. Spectral and energy efficiency analysis for SLNR precoding in massive MIMO systems with imperfect CSI. IEEE Trans. Wirel. Commun. 2018, 17, 4017–4027. [Google Scholar] [CrossRef]
  36. 3GPP TR 25.996, Universal Mobile Telecommunications System (UMTS); Spatial Channel Model for Multiple Input Multiple Output (MIMO) Simulations. v.12.0.0. Available online: www.3gpp.org (accessed on 17 October 2018).
  37. Liang, L.; Xu, W.; Dong, X. Low-complexity hybrid precoding in massive multiuser MIMO systems. IEEE Commun. Lett. 2014, 3, 653–656. [Google Scholar] [CrossRef]
  38. Lin, H.; Gao, F.; Jin, S.; Li, G. A new view of multi-user hybrid massive MIMO: Non-orthogonal angle division multiple access. IEEE J. Sel. Areas Commun. 2017, 35, 2268–2280. [Google Scholar] [CrossRef]
  39. Meng, X.; Gao, X.; Xia, X. Omnidirectional precoding based transmission in massive MIMO systems. IEEE Trans. Commun. 2016, 64, 174–186. [Google Scholar] [CrossRef]
  40. Xia, X.; Zhang, D.; Xu, K.; Ma, W.; Xu, Y. Hardware impairments aware transceiver for full-duplex massive MIMO relaying. IEEE Trans. Signal Process. 2015, 63, 6565–6580. [Google Scholar] [CrossRef]
  41. Xu, W.; Liu, J.; Jin, S.; Dong, X. Spectral and energy efficiency of multi-pair massive MIMO relay network with hybrid processing. IEEE Trans. Commun. 2017, 65, 3794–3809. [Google Scholar] [CrossRef]
  42. Popovic´, Z.; Falkenstein, E.; Costinett, D.; Zane, R. Low-power far-field wireless powering for wireless sensors. Proc. IEEE 2013, 101, 1397–1409. [Google Scholar] [CrossRef]
  43. Smith, J. Spectral Audio Signal Processing; W3K Publishing. 2011. Available online: http://books.w3k.org/ (accessed on 17 October 2018).
  44. Wang, Y.; Xia, X.; Xu, K.; Liu, A. Location-assisted precoding for three-dimensional massive MIMO in air-to-ground transmission. In Proceedings of the 2016 IEEE Conference on Computer Communications Workshops, Atlanta, GA, USA, 1–4 May 2017. [Google Scholar]
Figure 1. System model.
Figure 1. System model.
Sensors 18 03540 g001
Figure 2. Illustration of the MUI-aware sensor scheduling scheme.
Figure 2. Illustration of the MUI-aware sensor scheduling scheme.
Sensors 18 03540 g002
Figure 3. The SE performance as a function of AP’s altitude. The number of AP antennas is N x = N y = 25 . The total transmit power of AP is set to l = 1 L p l = 40 dBm. The processing energy of sensor is set to E l p = 10 10 J .
Figure 3. The SE performance as a function of AP’s altitude. The number of AP antennas is N x = N y = 25 . The total transmit power of AP is set to l = 1 L p l = 40 dBm. The processing energy of sensor is set to E l p = 10 10 J .
Sensors 18 03540 g003
Figure 4. The SE performance versus τ . The number of AP antennas is N x = N y = 25 . The total transmit power of AP is set to l = 1 L p l = 40 dBm. The altitude of AP is 100 m. The processing energy of the sensor is set to E l p = 10 10 J .
Figure 4. The SE performance versus τ . The number of AP antennas is N x = N y = 25 . The total transmit power of AP is set to l = 1 L p l = 40 dBm. The altitude of AP is 100 m. The processing energy of the sensor is set to E l p = 10 10 J .
Sensors 18 03540 g004
Figure 5. The SE performance versus AP transmit power. The number of AP antennas is N x = N y = 25 . The altitude of AP is 100 m. The processing energy of sensor is set to E l p = 10 10 J .
Figure 5. The SE performance versus AP transmit power. The number of AP antennas is N x = N y = 25 . The altitude of AP is 100 m. The processing energy of sensor is set to E l p = 10 10 J .
Sensors 18 03540 g005
Figure 6. The SE performance versus processing energy of sensor E l p . The number of AP antennas is N x = N y = 25 . The total transmit power of AP is set to l = 1 L p l = 40 dBm. The altitude of AP is 100 m.
Figure 6. The SE performance versus processing energy of sensor E l p . The number of AP antennas is N x = N y = 25 . The total transmit power of AP is set to l = 1 L p l = 40 dBm. The altitude of AP is 100 m.
Sensors 18 03540 g006
Figure 7. The EE performance versus per antenna circuit power consumption of AP. The maximum number of AP’s antennas is N x = N y = 25 . The altitude of AP is 100 m. The processing energy of sensor is set to E l p = 10 10 J . The maximum transmit power of AP is set to p max = 46 dBm. The data rate requirement of each sensor is r T = 1 nat/s/Hz.
Figure 7. The EE performance versus per antenna circuit power consumption of AP. The maximum number of AP’s antennas is N x = N y = 25 . The altitude of AP is 100 m. The processing energy of sensor is set to E l p = 10 10 J . The maximum transmit power of AP is set to p max = 46 dBm. The data rate requirement of each sensor is r T = 1 nat/s/Hz.
Sensors 18 03540 g007
Figure 8. The EE performance versus processing energy of sensor E l p . The altitude of AP is 100 m. The per antenna circuit power consumption p ant is set to 15 dBm. The maximum transmit power of AP is set to p max = 46 dBm. The data rate requirement of each sensor is r T = 1 nat/s/Hz.
Figure 8. The EE performance versus processing energy of sensor E l p . The altitude of AP is 100 m. The per antenna circuit power consumption p ant is set to 15 dBm. The maximum transmit power of AP is set to p max = 46 dBm. The data rate requirement of each sensor is r T = 1 nat/s/Hz.
Sensors 18 03540 g008
Figure 9. The EE performance versus the altitude of AP. The per antenna circuit power consumption p ant is set to 20 dBm. The maximum transmit power of AP is set to p max = 46 dBm. The data rate requirement of each sensor is r T = 1 nat/s/Hz.
Figure 9. The EE performance versus the altitude of AP. The per antenna circuit power consumption p ant is set to 20 dBm. The maximum transmit power of AP is set to p max = 46 dBm. The data rate requirement of each sensor is r T = 1 nat/s/Hz.
Sensors 18 03540 g009
Table 1. Simulation parameters.
Table 1. Simulation parameters.
ParameterValue
System bandwidth1 MHz
Thermal noise floor−100 dBm
Central frequency1.2 GHz
Rician factor0 dB
The number of AP antennas N x = N y = 25
Angular spread Δ φ l = 5 , Δ θ l = 2.5
Energy conversion efficiency η = 0.6 [42]
Duration of each frame T = 500 symbol times

Share and Cite

MDPI and ACS Style

Wang, Y.; Liu, A.; Xu, K.; Xia, X. Energy and Information Beamforming in Airborne Massive MIMO System for Wireless Powered Communications. Sensors 2018, 18, 3540. https://doi.org/10.3390/s18103540

AMA Style

Wang Y, Liu A, Xu K, Xia X. Energy and Information Beamforming in Airborne Massive MIMO System for Wireless Powered Communications. Sensors. 2018; 18(10):3540. https://doi.org/10.3390/s18103540

Chicago/Turabian Style

Wang, Yurong, Aijun Liu, Kui Xu, and Xiaochen Xia. 2018. "Energy and Information Beamforming in Airborne Massive MIMO System for Wireless Powered Communications" Sensors 18, no. 10: 3540. https://doi.org/10.3390/s18103540

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop