You are on page 1of 5

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

Integration of Energy, Computation and


Communication in 6G Cellular Internet of Things
Qiao Qi, Xiaoming Chen, Caijun Zhong, and Zhaoyang Zhang

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

namely computation and communication. In particular, the


signals from the IoT devices have two functions, one for
data aggregation based on multiple devices’ signals, and the
other for information transmission based on individual device’s
signal. Thus, the former signal is called as computation signal,
and the latter signal is defined as communication signal. As
shown in Fig. 3, each IoT UE first performs beamforming on
Fig. 1. Comparison of conventional computation and AirComp. the computation signals and the communication signals to be
transmitted respectively, then superimposes the two kinds of
signals in the baseband processing unit, and finally sends the
algorithm. Finally, Section V concludes this letter. superposition coded signal to the BS over the uplink channel
Notations: We use bold upper (lower) letters to denote with the same radio frequency (RF) front end. On the one
matrices (column vectors), (·)H to denote conjugate transpose, hand, enabled by AirComp, the BS obtains the computation
∥·∥F to denote Frobenius norm of a matrix, ∥·∥ to denote L2 - result directly via concurrent data transmission, and then
norm of a vector, E{·} to denote expectation, tr(·) to denote utilizes a computation receiver to recover the targeted function
trace of a matrix, Rank(·) to denote rank of a matrix, Cm×n signal. On the other hand, the BS decodes the communication
to denote the set of m-by-n dimensional complex matrix. signals of each UE through communication receivers.
II. S YSTEM M ODEL

瀃瀂瀊濸瀅澳濵濸濴濶瀂瀁
澶濇
濶瀂瀀瀀瀈瀁濼濶濴瀇濼瀂瀁澳瀅濸濶濸濼瀉濸瀅瀆
濶瀂瀀瀃瀈瀇濴瀇濼瀂瀁澳瀅濸濶濸濼瀉濸瀅


濗瀂瀊瀁濿濼瀁濾 濨瀃濿濼瀁濾
濘瀁濸瀅濺瀌澳瀆瀈瀃瀃濿瀌 濗濴瀇濴澳瀇瀅濴瀁瀆瀀濼瀆瀆濼瀂瀁 瀖
濧濂濅 濧濂濅

濶瀂瀀瀀瀈瀁濼濶濴瀇濼瀂瀁澳瀆濼濺瀁濴濿瀆
濶瀂瀀
濶瀂瀀瀃瀈瀇濴瀇濼瀂瀁澳瀆濼濺瀁濴濿瀆
Fig. 3. The system block diagram of uplink signal transmission for the
proposed model.
澽濣濈澔濘濙濪濝濗濙濧

Without loss of generality, it is assumed that the kth UE


records data of L heterogeneous parameters to be computed
and J heterogeneous parameters to be communicated, which
T
Fig. 2. A framework of 6G cellular IoT network integrating ECC. generate a computation symbol vector dk = [dk,1 , · · · , dk,L ]

[ ′ ′
] T
and a communication symbol vector sk = sk,1 , · · · , sk,J ,
Let us consider a sustainable 6G cellular IoT network as ′
shown in Fig. 2, where a BS equipped with N antennas where dk,l and sk,j are the measured values of the lth
communicates with K multi-modal IoT user equipments (UEs) computation parameter and the jth communication parameter
equipped with M antennas each. It is operated in time division at the kth UE, respectively. Note that for computation, the BS
duplex (TDD) mode. During the first half of a time slot, the engages itself in computing lth targeted function via AirComp
BS acts as a power beacon to charge IoT UEs by energy as below
beamforming. The harvested energy at the kth UE can be (K )

expressed as ql = fl gk,l (dk,l ) , l = 1, ..., L, (2)
T 2
Ek = ϑk HH k f , (1) k=1
2
where ql is the ideal computation output, gk,l (·) and fl (·)
where Hk ∈ CN ×M denotes the MIMO channel matrix from represent the pre-processing function at the kth IoT UEs
the kth UE to the BS, which remains constant in a time slot, and the post-processing function at the BS, respectively (see
but independently fades over time slots. T denotes the duration Tab. I for examples). Let sk = [gk,1 (dk,1 ) , . . . , gk,L (dk,L )]
T
of a time slot, ϑk denotes the energy conversion efficiency, and denote the pre-processed computation signal at the kth UE.
f ∈ CN ×1 denotes the energy beam transmitted by the BS. For ease of analysis and without loss of generality, we assume
TABLE I the computation signals and the communication { signals } are
S OME EXAMPLES OF TARGETED FUNCTIONS Gaussian distributed
{ ′ ′ } with unit norm, i.e., E s k s H
k = I
Functions Pre-processing Post-processing Targeted function and E sk,j sk,jH
= 1. Thus, the kth UE constructs the
∑K
Arithmetic Mean gk = d k f = 1/K q = 1 k=1 dk
Weighted Sum gk = η k d k f = 1 q =
K
∑ K ηk dk
superposition coded transmit signal xk as follows
(∏ k=1 )1/K
K
Geometric Mean gk = ln(dk )
β
f = exp(·) q =
∑K
k=1 dk
βk

J

gk = η k d k
Polynomial
k
f = 1

q = k=1 ϑk dk
√ ∑K x k = W k sk + vk,j sk,j , (3)
Euclidean Norm gk = d 2k f = (·) q = d2
k=1 k
j=1

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

where uk,j ∈ CN ×1 denotes the receive beamforming vector uk,j = σn2 I + Hk Ξk HH


k Hk vk,j , (13)

k=1
for the communication signal sk,j at the BS. As a consequence,
the received signal-to-interference-plus-noise ratio (SINR) at ∑
J
respectively, where Ξk = Wk WkH + H
vk,j vk,j . Next,
the communication receiver can be expressed as (10) at the j=1
top of the next page. we deal with the other subproblem for the optimization of

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

respectively. Then, the subproblem can be reformulated as the


following semi-definite programming (SDP) problem: Complexity analysis: It is seen from Algorithm 1 that
the main computational complexity comes from step 5, i.e.,

K
2 solving problem (17). Since problem (17) only contains
min ZH Hk Wk − I F
Wk ,Vk,j ,F linear matrix inequality (LMI) and second-order cone (SOC)
k=1
constraints, it can be solved by a standard interior-point
∑K ∑
J
( )
+ tr ZH Hk Vk,j HH method (IPM) [14]. Specifically, there are 2 LMI constraints
k Z (17a)
k=1 j=1
of size N , KJ LMI constraints of size M , and K(J + 1)
s.t. (14), (15), (16), SOC constraints of size M . Thus, for a given precision
ε > 0, the per-iteration
√ complexity of solving problem
Vk,j ≽ 0, ∀k, j, (17b) (17)
[ 3 by IPM is (2( + M ) ) + K) · ln (1/ε) · n ·]
KJ + 2 (N
F ≽ 0, (17c) 2N + KJM 3 + n 2N 2 + KJM 2 + (J + 1) KM 2 + n2 ,
hhhh where the decision variable n is on the order of O(KM 2 ).
rank(Vk,jh
)= hh1, ∀k, j, (17d)
hhhh
rank(F) =h
h 1. (17e)
IV. S IMULATION R ESULTS
Since problem (17) dropping rank-one constraints (17d) and
(17e) is a convex problem, it can be effectively solved by
TABLE II
some optimization tools, such as CVX [13]. For the obtained S IMULATION PARAMETERS

solution {Vk,j , F∗ } to problem (17), we have the following
theorem. Parameters
Number of BS antennas
Values
N = 64

Theorem 1: The optimal solution {Vk,j , F∗ } of
( problem
)
IoT UEs
Energy conversion efficiency
K = 32, M = 2, L = 1, J = 1
ϑk = ϑ0 = 0.5
∗ Cell radius R = 500 m
(17) always satisfies rank-one constraints Rank Vk,j = Minimum required SINR threshold γk,j = γ0 = 0.1 dB

1, ∀k, j and rank(F ) = 1. Noise power σn2 = −50 dBm

Proof: Due to the space limitation, we give a brief proof


thought here. First, we construct the lagrangian function of In this section, we provide several simulation results to
problem (17). Then, we reveal the structure of the optimal validate the effectiveness of the proposed algorithm. Without

solution {Vk,j , F∗ } by exploiting the Slaters condition and the loss of generality, it is assumed that all IoT UEs are ran-
Karush-Kuhn-Tucher (KKT) conditions. Finally, according to domly distributed in a cell with a radius R. The pass loss
the listed KKT conditions, we deduce the rank-one relationship is modeled as PLdB = 128.1 + 37.6 log10 (d) [15], where
by some rank inequalities. The detailed derivation process can d (km) is the distance between the BS and the IoT UE.
be referred to [9]. For ease of analysis, we take the normalized computation
error MSE/K as the AirComp performance metric, and use

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

Normalized Computation Error


0.06
SNR=20 dB 0.12 4

Normalized Computation Error


Normalized Computation Error
N=48
3.5 N=64
0.05
N=80
0.09 3
0.04
ZFBF 2.5
0.03 Fixed-MMSE
0.06 UFBF 2
Algorithm 1
0.02 1.5
0.03
1
0.01

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.

You might also like