Professional Documents
Culture Documents
Integration of Engery
Integration of Engery
fully edited. Content may change prior to final publication. Citation information: DOI 10.1109/LCOMM.2020.2982151, IEEE
Communications Letters
Abstract—To jointly address the critical issues of the sixth- (BS). Especially in 6G cellular IoT, AirComp can combine
generation (6G) cellular internet of things (IoT), i.e., energy with multiple-input and multiple-output (MIMO) techniques to
supply, data aggregation, and information transmission, we spatially multiplex multi-function computation and to decrease
design a framework integrating energy, computation and commu-
nication (ECC). Firstly, the base station (BS) charges massive IoT the computation errors by using spatial beamforming [4], [5].
devices simultaneously via wireless power transfer (WPT) in the On the other hand, for communication, traditional orthog-
downlink. Then, IoT devices with the harvested energy carry out onal multiple access (OMA) schemes cannot support massive
the computation task and the communication task in the uplink access due to limited radio spectrum. In this case, non-
over the same spectrum. To improve the overall performance of orthogonal multiple access (NOMA) is applied into cellular
ECC, we propose a joint beamforming design algorithm for the
BS and the IoT devices. Finally, simulation results validate the IoT to realize seamless access of a massive number of de-
effectiveness of the proposed algorithm in 6G cellular IoT. vices [6]. However, massive NOMA incurs severe co-channel
interference degrading the quality of communication signals
Index Terms—6G, cellular IoT, integrating ECC, beamforming.
[7]. To this end, spatial beamforming is usually exploited
to combat co-channel interference as well as to improve the
I. I NTRODUCTION system performance [8], [9]. In particular, since the BS of 6G
cellular IoT will be equipped with a large-scale antenna array,
Driven by high demands in various applications, internet of
there are ultra-high spatial degrees of freedom to mitigate co-
things (IoT) is developing at an unprecedented pace [1]. A new
channel interference [10].
forecast from International Data Corporation (IDC) predicts In order to realize accurate computation and efficient com-
that by 2025, there will be 41.6 billion connected IoT devices, munication simultaneously, IoT devices should have enough
generating 79.4 zettabytes of data [2]. Hence, it is necessary to energy. However, energy supply for massive IoT is not a trivial
design the sixth-generation (6G) cellular IoT network to meet task. Due to the high human cost and the environmental strain,
the higher demands and expectations, such as wider coverage, frequent battery replacement for massive IoT is prohibitive.
higher capacities, and ubiquitous connectivity, etc. Hence, it is appealing to adopt the wireless power transfer
In order to support real-time processing of mass data from
(WPT) technique to realize one-to-many charging by exploit-
terminal devices, 6G cellular IoT has to provide accurate com-
ing the open nature of the wireless broadcast channel [11]. To
putation and efficient communication for a massive number of
improve the efficiency of WPT over fading channels, energy
devices, which are considered as two elementary tasks of 6G
beamforming has been introduced in [12].
cellular IoT. However, it is not trivial to carry out the two tasks In fact, energy supply, data aggregation, and information
with limited wireless resources. For computation, the conven- transmission are not separated. They compete the same wire-
tional way of transmit-then-compute is not suitable for massive less resources for performance enhancement. To improve the
data aggregation in 6G cellular IoT, due to the ultra-high overall performance with limited wireless resources, this letter
latency and the low spectrum efficiency. To tackle this issue, a designs a framework integrating energy, computation, and
promising solution called over-the-air computation (AirComp) communication (ECC) for 6G cellular IoT. The contributions
has been proposed in [3], c.f. Fig. 1, which can directly of this letter are two-fold:
compute the target functions involving a summation structure
1) We put forward a comprehensive design framework for
over wireless multiple-access channels (MACs). Specifically,
the integration of ECC, including energy supply by
AirComp decomposes the structure of the targeted function,
WPT in the downlink, and computation by AirComp
and then utilizes the superposition property of wireless MACs
and communication by NOMA in the uplink.
to obtain the sum result of pre-processing data by concurrent
2) We analyze the impacts of transmit and receive beam-
transmission. Finally, the targeted function result can be ob-
forming on the system performance, and propose an
tained by post-processing the received signal at the base station
algorithm to minimize the computation distortion while
This work is supported by the National Natural Science Foundation ensuring the communication quality via power allocation
of China under Grant 61871344, 61725104 and 61922071, the Zhejiang and beamforming design.
Provincial Natural Science Foundation of China under Grant LR20F010002,
the National Science and Technology Major Project of China under Grant The rest of this letter is organized as follows: Section II
2018ZX03001017-002, and the National Key R&D Program of China under gives a concise introduction of a 6G cellular IoT network
Grant 2018YFB1801104. (Corresponding author: Xiaoming Chen). integrating ECC. Section III focuses on the algorithm design
Qiao Qi, Xiaoming Chen (chen_xiaoming@zju.edu.cn), Caijun
Zhong and Zhaoyang Zhang are with the College of Information Science to improve the overall performance. Section IV presents sim-
and Electronic Engineering, Zhejiang University, Hangzhou 310027, China. ulation results to validate the effectiveness of the proposed
1089-7798 (c) 2020 IEEE. Personal use is permitted, but republication/redistribution requires IEEE permission. See http://www.ieee.org/publications_standards/publications/rights/index.html for more information.
Authorized licensed use limited to: University of Canberra. Downloaded on April 29,2020 at 00:12:17 UTC from IEEE Xplore. Restrictions apply.
This article has been accepted for publication in a future issue of this journal, but has not been fully edited. Content may change prior to final publication. Citation information: DOI 10.1109/LCOMM.2020.2982151, IEEE
Communications Letters
瀃瀂瀊濸瀅澳濵濸濴濶瀂瀁
澶濇
濶瀂瀀瀀瀈瀁濼濶濴瀇濼瀂瀁澳瀅濸濶濸濼瀉濸瀅瀆
濶瀂瀀瀃瀈瀇濴瀇濼瀂瀁澳瀅濸濶濸濼瀉濸瀅
濧
濗瀂瀊瀁濿濼瀁濾 濨瀃濿濼瀁濾
濘瀁濸瀅濺瀌澳瀆瀈瀃瀃濿瀌 濗濴瀇濴澳瀇瀅濴瀁瀆瀀濼瀆瀆濼瀂瀁 瀖
濧濂濅 濧濂濅
濶瀂瀀瀀瀈瀁濼濶濴瀇濼瀂瀁澳瀆濼濺瀁濴濿瀆
濶瀂瀀
濶瀂瀀瀃瀈瀇濴瀇濼瀂瀁澳瀆濼濺瀁濴濿瀆
Fig. 3. The system block diagram of uplink signal transmission for the
proposed model.
澽濣濈澔濘濙濪濝濗濙濧
In the second half of the time slot, IoT UEs conduct two where Wk ∈ CM ×L and vk,j ∈ CM ×1 denote the transmit
fundamental task with the harvested energy in the uplink, beams for the computation signal and the communication
1089-7798 (c) 2020 IEEE. Personal use is permitted, but republication/redistribution requires IEEE permission. See http://www.ieee.org/publications_standards/publications/rights/index.html for more information.
Authorized licensed use limited to: University of Canberra. Downloaded on April 29,2020 at 00:12:17 UTC from IEEE Xplore. Restrictions apply.
This article has been accepted for publication in a future issue of this journal, but has not been fully edited. Content may change prior to final publication. Citation information: DOI 10.1109/LCOMM.2020.2982151, IEEE
Communications Letters
signal, respectively. Note that the transmit power of each IoT As seen from (8) and (10), the system performance depends
UE comes from the harvested energy in the downlink, namely on the transmit beams Wk and vk,j at the IoT UEs, and
receive beams Z and uk,j at the BS. Moreover, the transmit
2
∑
J
2 Ek
∥Wk ∥F + ∥vk,j ∥ ≤ , ∀k, j. (4) power of IoT UEs depends on the energy beam sent by the
j=1
T /2 BS. Thus, it makes sense to jointly design transmit and receive
beamforming of ECC for enhancing the overall performance
Therefore, the received signal at the BS is given by
of 6G cellular IoT.
∑
K
y = Hk xk + n III. D ESIGN OF 6G C ELLULAR I OT I NTEGRATING ECC
k=1
In this section, we design an algorithm to realize an ef-
∑K ∑
K ∑
J
′ fective integration of ECC in 6G cellular IoT. Although the
= Hk Wk sk + Hk vk,j sk,j +n, (5)
communication signal and the computation signal are sent
k=1 k=1 j=1
| {z } | {z } over the same RF carrier, they have different performance
computation signal communication signal metrics. For communication, each IoT UE’s communication
where n is the additive white Gaussian noise (AWGN) vector signal should be separated from the mixed signal at the BS.
with the variance σn2 . Firstly, we discuss the processing of the Thus, the communication signal should have a high received
computation signals. Due to the one-to-one mapping between quality, namely SINR. For computation, multiple IoT UEs’
∑
K signals are fused at the BS. Thus, the computation result
s = sk and q = [q1 , q2 , ..., qL ]T in (2), we take an
k=1
should have a low MSE. In general, the integration of ECC is a
accurate s at the BS as the targeted function signal. To multiple-objective optimization problem. Here, we formulate it
minimize the distortion of the targeted function signal caused as the minimization of MSE for computation while satisfying
by channel fading, interference, and noise, it is desired to the SINR requirement of communication with the harvested
perform receive beamforming at the BS. Thus, the received energy:
signal for computation at the BS is given by
min MSE (Wk , vk,j , Z) (11a)
Wk ,vk,j ,
∑K ∑K ∑J
′ f ,uk,j ,Z
ŝ = ZH Hk Wk sk + ZH Hk vk,j sk,j + n ,
s.t. Γk,j ≥ γk,j , (11b)
k=1 k=1 j=1
(6) 2
∑ J
2 2
∥Wk ∥F + ∥vk,j ∥ ≤ ϑk HH
k f , (11c)
where Z ∈ CN ×L is a receive beam for computation results
j=1
at the BS. As a rule, the distortion of AirComp at the BS is 2
measured by the mean square error (MSE) between s and ŝ, ∥f ∥ ≤ Pmax , (11d)
which is defined as where γk,j is the required minimum SINR of the jth com-
{ ( )}
H munication signal at the kth UE, and Pmax is the maximum
MSE (ŝ, s) =E tr (ŝ − s) (ŝ − s) . (7)
transmit power budget at the BS for the energy beam. Since
Substituting (6) into (7), the computation distortion can be problem (11) is non-convex with the existence of the coupled
expressed as the following MSE function of receive and variables, it is quite difficult to obtain the optimal solution
transmit beams: in polynomial time. To this end, we adopt an alternating
∑K
2 2
optimization (AO) algorithm to find a sub-optimal solution
MSE (Z, Wk , vk,j ) = ZH Hk Wk − I F + σn2 ∥Z∥F by dividing the original problem into two subproblems, one
k=1 for the optimization of receive beams, and the other for
∑K ∑J
2 the optimization of transmit beams. The AO algorithm can
+ ZH Hk vk,j . (8) approach a stationary point in the iterations, which is the
k=1 j=1 sub-optimal solution of the original problem. Now, we first
Secondly, we discuss the processing of the communication consider the subproblem for the optimization of receive beams,
signals. The received signal for communication at the BS can i.e., {Z, uk,j }. To balance computational complexity and sys-
be expressed as tem performance, we employ the minimum mean square error
(MMSE) receivers, which are given by
∑
K ∑
J
′
yk,j = uH H′ ′
( )−1 K
k,j Hk vk,j sk,j + uk,j Hi vi,m si,m ∑K ∑
2 H
i=1,i̸=k m=1,m̸=j Z = σn I + Hk Ξk Hk Hk Wk , (12)
∑
K k=1 k=1
+ uH Hi Wi si + uH
k,j n, (9) and
k,j
( )−1
i=1 ∑
K
1089-7798 (c) 2020 IEEE. Personal use is permitted, but republication/redistribution requires IEEE permission. See http://www.ieee.org/publications_standards/publications/rights/index.html for more information.
Authorized licensed use limited to: University of Canberra. Downloaded on April 29,2020 at 00:12:17 UTC from IEEE Xplore. Restrictions apply.
This article has been accepted for publication in a future issue of this journal, but has not been fully edited. Content may change prior to final publication. Citation information: DOI 10.1109/LCOMM.2020.2982151, IEEE
Communications Letters
2
uH
k,j Hk vk,j
Γk,j = . (10)
∑
K ∑
J 2 ∑
K 2
2
uH
k,j Hi vi,m + uH
k,j Hi Wi + σn2 ∥uk,j ∥
i=1,i̸=k m=1,m̸=j i=1
transmit beams {Wk vk,j , f } with the given MMSE receivers Hence, we can recover the unique transmit communication
∗
{Z, uk,j } in (12) and (13). To address the non-convexity of beams vk,j and energy beam f ∗ of the original problem (11)
H
constraints (11b) and (11c), we introduce Vk,j = vk,j vk,j and via eigenvalue decomposition (EVD). By alternately optimiz-
H ing the two subproblems, we develop an iterative algorithm
F = ff . Thus, the SINR constraint (11b) can be transformed
as which always converges to a stationary point as the objective
value decreases in the iterations. In summary, the design of 6G
1 ( H ) ∑K
2
uk,j Hk Vk,j HH u
k k,j ≥ uH
k,j Hi Wi + cellular IoT integrating ECC for minimizing the computation
γk,j i=1 error can be described as Algorithm 1.
∑
K ∑
J
( H ) 2
i uk,j + σn ∥uk,j ∥ .(14)
uk,j Hi Vi,m HH 2
Algorithm 1 : Design of 6G Cellular IoT integrating ECC for
i=1,i̸=k m=1,m̸=j the Computation Error Minimization.
2,γ
Accordingly, the power constraints of transmit beams (11c) Input: N, K, M, L, J, σn k,j , Pmax , ∀k, j
Output: Wk , vk,j , Z, uk,j , f , ∀k, j
and (11d) can be rewritten as 1: Initialize W
k
(0)
,v
(0)
k,j
∀k, j, iteration index t = 1;
2:
∑
repeat
2
J
( ) 3: compute Z(t) by (12) with W
(t−1)
and v
(t−1)
;
∥Wk ∥F + tr (Vk,j ) ≤ ϑk tr HH
k FHk , (15) 4: compute u
(t)
by (13) with W
k
(t−1)
and v
k,j
(t−1)
;
k,j k k,j
j=1 (t) (t) (t)
5: obtain {W ,V , F(t) } by solving problem (17) via CVX with {Z(t) , u };
k k,j k,j
(t)
6: obtain v and f (t) via EVD;
and k,j
7: update t = t + 1;
tr (F) ≤ Pmax , (16) 8: until convergence
1089-7798 (c) 2020 IEEE. Personal use is permitted, but republication/redistribution requires IEEE permission. See http://www.ieee.org/publications_standards/publications/rights/index.html for more information.
Authorized licensed use limited to: University of Canberra. Downloaded on April 29,2020 at 00:12:17 UTC from IEEE Xplore. Restrictions apply.
This article has been accepted for publication in a future issue of this journal, but has not been fully edited. Content may change prior to final publication. Citation information: DOI 10.1109/LCOMM.2020.2982151, IEEE
Communications Letters
10-3
5
0.07 0.15
SNR=0 dB 4.5
SNR=10 dB
0.5
0 0.1 0.15 0.2 0.25 0.3 0.35 0.4 0.45 0.5
0
0 2 4 6 8 10 12 14 16 18 20 0 2.5 5 7.5 10 12.5 15 17.5 20 Required Minimum SINR (dB)
0
Iteration index SNR (dB)
Fig. 5. Convergence behavior of the proposed Fig. 6. Normalized computation error versus S- Fig. 7. Normalized computation error versus
Algorithm 1. required minimum SINR (dB) for different num-
NR (dB) for four beamforming design schemes.
bers of BS antennas.
SNR = 10 log10 (Pmax /σn2 ) to denote the transmit signal- the computation error while ensuring the SINR requirements
to-noise ratio (SNR) (in dB). Unless otherwise stated, the of communication signals. It was revealed that the proposed
simulation parameters are set in Table II. algorithm was able to effectively integrate ECC and achieved
First, we present the convergence behaviors of the proposed the best performance over baseline algorithms.
Algorithm 1 with different SNRs in Fig. 5. It is found
that Algorithm 1 has a quick convergence at higher SNR, R EFERENCES
but needs more iterations at lower SNR. More importantly, [1] M. R. Palattella, M. Dohler, A. Grieco, G. Rizzo, J. Torsner, T. Engel,
Algorithm 1 always converges with no more than 10 iterations and L. Ladid, “Internet of things in the 5G era: Enablers, architecture,
under different SNRs, which implies that the computational and business models,” IEEE J. Sel. Areas Commun., vol. 34, no. 3, pp.
510-527, Mar. 2016.
complexity is tolerable for practical implementation. [2] IDC, “Worldwide global datasphere IoT device and data forecast, 2019-
Next, we show the performance comparison among Algo- 2023,”(IDC ♯US45066919), May 2019.
rithm 1 and three baseline beamforming design schemes in [3] L. Chen, N. Zhao, Y. Chen, F. R. Yu, and G. Wei, “Over-the-air com-
putation for IoT networks: Computing multiple functions with antenna
Fig. 6, i.e., a fixed MMSE scheme whose receivers are only arrays,” IEEE Internet of Things J., vol. 5, no. 6, pp. 5296-5306, Dec.
related to the channels, a zero-forcing beamforming (ZFBF) 2018.
scheme whose transmitters are designed based on the zero- [4] G. Zhu and K. Huang, “MIMO over-the-air computation for high-mobility
multi-modal sensing,” IEEE Internet of Things J., vol. 6, no. 4, pp. 6089-
forcing principle, and an uniform-forcing beamforming (UF- 6103, Aug. 2019.
BF) scheme based on the AO algorithm with uniform-forcing [5] X. Li, G. Zhu, Y. Gong, and K. Huang, “Wirelessly powered data
transmitters and MMSE receivers. As the SNR increases, the aggregation for IoT via over-the-air function computation: beamforming
and power vontrol,” IEEE Trans. Wireless Commun., vol. 18, no. 7, pp.
computation error decreases for these four schemes. It is 3437-3452, Jul. 2019.
seen that the ZFBF scheme performs worse than the fixed [6] X. Chen, Massive Access for Cellular Internet of Things Theory and
MMSE scheme in the low SNR region, but has a performance Technique, Germany: Springer Press, 2019.
[7] M. Shirvanimoghaddam, M. Dohler, and S. J. Johnson, “Massive non-
advantage in the high SNR region. UFBF scheme is far ahead orthogonal multiple access for cellular IoT: Potentials and limitations,”
of these two algorithms in the whole SNR region, but is always IEEE Commun. Mag., vol. 55, no. 9, pp. 55-61, Sep. 2017.
behind the proposed Algorithm 1, especially for the low and [8] R. Jia, X. Chen, C. Zhong, D. W. K. Ng, H. Lin, and Z. Zhang, “Design of
non-orthogonal beamspace multiple access for cellular internet-of-things,”
medium regions. This is because Algorithm 1 jointly optimizes IEEE J. Sel. Topics Signal Process., vol. 13, no. 3, pp. 538-552, Mar.
the receive and transmit beamforming adaptively to channel 2019.
conditions and system parameters. [9] Q. Qi and X. Chen, “Wireless powered massive access for cellular internet
of things with imperfect SIC and non-linear EH,” IEEE Internet of Things
Finally, Fig. 7 illustrates the influences of the required J., vol. 6, no. 2, pp. 3110-3120, Apr. 2019.
minimum SINR γ0 and the number of BS antennas N on the [10] X. Chen, Z. Zhang, C. Zhong, and D. W. K. Ng, “Exploiting multiple-
performance of Algorithm 1 with SNR = 10 dB. It is seen that antenna techniques for non-orthogonal multiple access,” IEEE J. Sel.
Areas Commun., vol. 35, no. 10, pp. 2207-2220, Oct. 2017.
the normalized computation error increases with the increment [11] X. Chen, Z. Zhang, H-H. Chen, and H. Zhang, “Enhancing wireless
of the required minimum SINR, since more power is used to information and power transfer by exploiting multi-antenna techniques,”
enhance the quality of the communication signals, resulting IEEE Commun. Mag., vol. 53, no. 4, pp. 133-141, Apr. 2015.
[12] Q. Qi, X. Chen, L. Lei, C. Zhong, and Z. Zhang, “Outage-constrained
in less power consumed to reduce the computation distortion. robust design for sustainable B5G cellular internet of things,” IEEE Trans.
Besides, the computation error decreases as the number of BS Wireless Commun., vol. 18, no. 12, pp. 5780-5790, Dec. 2019.
antennas increases. This is because more array gains can be [13] M. Grant and S. Boyd, CVX: Matlab Software for Disciplined Convex
Programming, [Online]: http://cvxr.com/cvx, Sep. 2013.
obtained to improve the overall performance. [14] A. Ben-Tal and A. Nemirovski, “Lectures on modern convex opti-
mization: Analysis, algorithms, and engineering applications,” MPS-SIAM
V. C ONCLUSION Series on Optimization. Philadelphia, PA, USA: SIAM, 2001.
[15] M. Hata, “Empirical formula for propagation loss in land mobile radio
This letter has designed a comprehensive framework for 6G services,” IEEE Trans. Veh. Technol., vol. 29, no. 3, pp. 317-325, Aug.
cellular IoT integrating ECC. For realizing accurate computa- 1980.
tion and efficient communication with the harvested energy at
a massive number of IoT UEs, a joint beamforming design
algorithm was proposed from the perspective of minimizing
1089-7798 (c) 2020 IEEE. Personal use is permitted, but republication/redistribution requires IEEE permission. See http://www.ieee.org/publications_standards/publications/rights/index.html for more information.
Authorized licensed use limited to: University of Canberra. Downloaded on April 29,2020 at 00:12:17 UTC from IEEE Xplore. Restrictions apply.