无线供能边缘计算网络中系统计算能效最大化资源分配方案
2020-11-03施丽琴叶迎晖卢光跃
施丽琴,叶迎晖,卢光跃
(西安邮电大学陕西省信息通信网络及安全重点实验室,陕西 西安,710121)
1 引言
实现泛在智能需要部署大量的传感节点来感知周围信息并对所感知的信息进行及时处理,以提供智能服务[1-2]。然而,部署大量的传感设备将会面临以下两大技术难点。
1) 传感节点能量受限。一方面,实际通信网络中部署的传感节点大都携带容量较小的电池,不断地参与数据处理将会快速耗尽传感节点自身携带的电能[2]。另一方面,传感节点大都无规律地部署在通信网络中,通过人为更换电池或利用有线充电的方式将会大幅增加部署成本[3]。为此,如何解决传感节点能量受限的问题是大规模传感节点部署的关键技术难点之一。
2) 传感节点计算能力受限。由于生产成本的约束,传感节点只能装配计算能力较弱的处理器。在这一约束下,传感节点可能无法及时处理所收集到的数据并提供智能服务[4]。为此,如何保障传感节点在有限时间内处理完所需处理的数据是实现智能服务的关键技术难点之一。
近年来,得益于无线能量传输技术的发展及网络部署密集化的趋势,学者们先后提出无线供能通信网络[3,5]和边缘计算[4,6-7]来解决传感节点能量受限和计算能力受限这两大难点。无线供能通信网络的本质是在传感节点附近部署专用能量站,并让专用能量站通过无线能量传输技术为传感节点实时地按需提供能量,并利用所收集到的能量将自身信息传输至信息接收点,因此,无线供能通信网络设计的核心在于能量和时隙的联合分配。边缘计算技术的主要特征为通信与计算的融合[8-9],其核心在于允许传感节点采用无线通信技术将部分或全部需要处理的数据卸载到附近拥有较强处理能力的边缘服务器(如基站、网关等)进行计算,从而缩短数据处理时间。因此,边缘计算的研究重点在于设计合理的通信与计算资源联合分配方案,即计算卸载方案,来确定传感节点卸载多少数据到边缘服务器。目前,已有大量的工作研究了无线供能通信网络[10-12]和边缘计算网络[13-15]。例如,文献[10]研究了多天线无线供能通信网络中用户总能效最大化的资源分配方案;文献[11]研究了无线供能的无线传感网络中系统能效最大化的资源分配方案;文献[12]研究了带有共道干扰的无线供能通信网络中最佳发射功率及能量收集时间的联合设计来最大化系统能量效率;文献[13]建立了一个多目标优化问题来最小化边缘用户的能量消耗及任务处理时延,并提出一个迭代算法来达到能量消耗与处理时延之间的最佳均衡;文献[14]针对边缘计算网络提出了一种系统计算能效最大化的资源分配方案;文献[15]从博弈论的角度研究了边缘计算网络中最佳卸载方案设计。但上述文献均无法同时解决能量受限和计算能力受限这两大难点。为此,文献[16]将上述2 种技术结合,提出了无线供能边缘计算网络来解决以上两大难点。
文献[16]针对单个传感节点的无线供能边缘计算网络,设计了最优的二元制计算卸载方案(二元制计算卸载方案指的是传感节点要么把所有的数据卸载至边缘服务器,要么不卸载任何数据至边缘服务器,此时所有的数据将由传感节点独自计算完成)来最大化成功计算概率。随后文献[17-18]将文献[16]考虑的单节点场景拓展到存在多个传感节点的无线供能边缘计算网络,并建立了一个加权计算任务比特数之和最大化的混合整数非凸优化问题。文献[17]利用凸优化理论知识提出一种次优迭代算法来求解所建立的优化问题,而文献[18]则利用深度学习理论来获取能量分配和计算卸载策略的参数。在文献[17-18]中,如果多个传感节点需要将自身所需要计算的数据全部卸载至边缘服务器,则采用时分复用方式给多个传感节点分配数据卸载的时间,从而使每个传感节点数据卸载所占用的资源是正交的。由于非正交多址接入(NOMA,nonorthogonal multiple access)技术的传输性能优于正交多址接入(OMA,orthogonal multiple access)技术,文献[19]研究了基于NOMA 的无线供能边缘计算网络并证明了采用NOMA 上传数据能够提高网络性能。
假设传感节点需要处理的数据能够被任意分解,学者们提出用部分计算卸载方案来替代二元制计算卸载方案,并在无线供能边缘计算网络中研究了联合能量和部分计算卸载的资源分配方案[20-22]。与二元制计算卸载方案不同,部分计算卸载方案允许传感节点传输部分数据至边缘服务器,因此其灵活性和所能完成的计算性能(如在规定时间内能够成功计算的任务比特数)远高于二元制计算卸载方案。文献[20]考虑了无人机辅助的无线供能边缘计算网络,并设计了一种低复杂度的迭代算法来最大化加权计算任务比特数。考虑边缘服务器的耗能是网络部署的重要指标之一,文献[21-22]致力于设计满足计算任务比特数约束条件的最小化边缘服务器能量消耗的资源分配方案。以上工作[20-22]的优化目标均不能很好地权衡计算比特数和能量消耗这2 个指标,为此文献[23-28]提出了一种新的性能指标——计算能效,并将其定义为计算比特数与能量消耗的比值。针对无线供能的全双工边缘计算网络,文献[23]提出了一种联合计算卸载与通信资源分配方案来最大化边缘用户(本文中边缘用户也称为传感节点)间最小计算能效。针对2 个用户的无线供能边缘计算网络,文献[24]研究了边缘用户间最小计算能效最大化的资源分配方案。将两用户拓展到多用户。文献[25]设计了最佳资源分配方案来最大化所有边缘用户的计算能效。文献[26]研究了一种边缘用户间最小计算能效最大化,以确保用户间的公平性。随后文献[27]将文献[26]的研究拓展到基于NOMA 的无线供能边缘计算网络中,并研究了该网络最大最小边缘用户计算能效。文献[28]在文献[26-27]的基础上,依次阐述了无线供能边缘计算网络在二元制计算卸载方案与部分计算卸载方案指导下的最大最小资源优化方案。
以上关于计算能效的研究[23-28]主要集中在最大最小边缘用户计算能效和最大化所有边缘用户计算能效的资源分配方案,均未从系统的角度出发研究无线供能边缘计算网络的计算能效。同时,以上的研究都是基于一个理想的假设,即边缘服务器的计算能力是无限的,而忽视了边缘服务器的计算能耗与资源分配。因此,为了更好地贴合实际通信场景,本文考虑边缘服务器的计算能力是有限的,并将边缘服务器的计算能耗、计算频率、时间分配等纳入考虑,研究了无线供能边缘计算网络的系统计算能效最大化资源分配方案。本文的主要贡献如下。
1) 从系统的角度研究了无线供能边缘计算网络中计算能效最大化资源分配方案。需要指出的是,相比于最大化边缘用户计算能效,本文建立的系统计算能效最大化优化问题不仅需要优化每个边缘用户的计算频率、计算时间、发射功率及卸载时间,还需要优化边缘服务器的计算频率、时间及专用能量站的发射功率。
2) 为了求解所建立的非凸分式规划问题,本文基于广义分式规划理论提出一种迭代算法来得到最优的资源分配方案。此外,借助于凸优化理论,本文推导了部分最优解的闭合表达式,并在此基础上分析得到系统计算能效最大时的网络特性。
3) 在无线供能边缘计算网络环境下进行了仿真实验。仿真结果验证了所提迭代算法的快速收敛性。与其他方案进行比较,本文所提资源分配方案能够取得更高的系统计算能效。
2 系统模型
考虑一个无线供能边缘计算网络,如图1 所示。该网络包含一个提供计算服务的边缘服务器,一个提供能量服务的专用能量站,以及K个能量受限的边缘用户。假设所有设备都配备了单根天线且每个边缘用户都配备了一个容量有限的可充电电池。边缘服务器和专用能量站为K个能量受限的边缘用户分别提供计算服务与能量服务,而K个边缘用户则利用收集到的能量(本文假设每个边缘用户进行本地计算或任务卸载的能耗应小于或等于该用户所收集到的能量)将需要计算的部分任务卸载到边缘服务器和进行本地计算。假设所有的计算任务均可任意分解[26-28]。根据文献[26,28],假设每个用户能同时收集能量和进行本地计算,但不能同时进行上行卸载任务和进行能量收集。因此,每个用户在整个传输时隙都可以进行本地计算,而能量收集、任务卸载、边缘服务器计算任务比特数及边缘服务器给边缘用户广播计算结果将整个传输时隙T划分为4 个阶段。在能量收集阶段,专用能量站通过无线能量传输的方式为所有的边缘用户供能;在任务卸载阶段,为了避免多个用户上行传输之间的干扰,假设所有用户利用收集的能量根据时分复用的方式进行上行任务卸载;在任务计算阶段,边缘服务器将计算所有接收到的任务并将得到的结果在下行传输阶段广播给所有边缘用户。根据文献[26-28],本文忽略了下行传输阶段的传输时间,因此,整个传输过程主要包括3 个主要阶段,即能量收集阶段、任务卸载阶段和任务计算阶段。
图1 无线功能边缘计算网络系统模型
令P0和τ0分别表示专用能量站在能量收集阶段的发射功率和能量传输时间,gk表示专用能量站与第k个边缘用户之间的信道增益,k=1,2,…,K。第k个边缘用户在能量收集阶段收集的总能量为
其中,η为能量转换效率。
令τk表示第k个边缘用户进行上行卸载任务的时间,则第k个边缘用户上行卸载的比特数为
其中,W表示系统带宽,hk表示边缘服务器与第k个边缘用户之间的信道增益,pk表示第k个边缘用户的发射功率,σ2表示噪声功率。
因此,边缘服务器在任务卸载阶段末所接收到的总比特数为
在任务计算阶段,边缘服务器开始计算接收的数据。与现有的部分研究工作[23,25-28]不同,本文考虑边缘服务器的计算能力是有限的。令fm表示边缘服务器计算时的工作频率,τc表示边缘服务器的工作时间。在任务计算阶段,边缘服务器能计算的最大任务比特数为
其中,Ccpu表示计算一个比特所需要的CPU 时钟周期数。需要指出的是,边缘服务器最终计算的有效比特数不仅与Rm有关,还与用户卸载的总比特数Ro有关,即=min(Rm,Ro)。根据文献[17],边缘服务器上处理器的功率损耗可以建模为,单位为Joule/s,其中,εm表示边缘服务器的有效电容系数,单位为Joule/(s·Hz3)。相应地,边缘服务器在任务计算阶段的能量消耗为。
令tk和fk分别表示第k个边缘用户执行本地计算的时间和频率,则第k个边缘用户的本地计算比特数和能量消耗分别为
其中,εk表示第k个边缘用户的有效电容系数。
3 系统计算能效最大化资源分配方案
3.1 优化问题建立
本节通过联合优化专用能量站及边缘用户的发射功率、能量收集时间、边缘用户的卸载时间、边缘服务器的计算时间和频率及边缘用户进行本地计算的计算时间和频率来最大化所考虑系统的计算能效。需要指出的是,文献[23-28]中所涉及的边缘用户计算能效仅考虑了边缘用户的能量消耗,而本文研究的系统计算能效不仅需要考虑边缘用户的能耗,而且还需要考虑边缘服务器及专用能量站的能耗。因此本文所考虑的优化问题将更加复杂且难以求解。在本文中,系统计算能效为系统总计算比特数与系统总能耗的比值。根据式(3)和式(5)可得,本文系统的总计算比特数为
相应地,本文系统的总能耗为
其中,Psc和pc,k分别表示专用能量站及第k个边缘用户的电路损耗,ξ1≥ 0,ξ2≥ 0及ξ3≥ 0分别表示专用能量站、边缘计算服务器及传感器能耗的加权因子。因此,本文系统的计算能效为
在此基础上,本文系统的计算能效最大化的优化问题如下所示。
其中,Lmin表示本文系统需要计算的最小任务比特数,Pmax表示专用能量站的最大发射功率,fmax和分别表示边缘服务器和第k个边缘用户的最大计算频率。
在式(11)~式(17)中,式(11)保障了所有边缘用户卸载的任务都能在给定的时间内得以计算;式(12)约束了所有边缘用户计算的比特数不能小于给定的最小值;式(13)保障了每个边缘用户消耗的能量不能大于其收集到的能量;式(14)为专用能量站的最大发射功率约束;式(15)为边缘服务器及第k个边缘用户最大计算频率约束。
式(10)~式(17)所示的优化问题是一个高度非凸的分式规划问题,具体原因有以下2 个方面。一方面,系统计算能效qs呈现出高度非凸的分式形式;另一方面,多个变量之间存在耦合关系(如fk和tk耦合、pk和τk耦合),这使部分约束条件也是非凸的,如式(12)和式(13)。下节将主要阐述如何将式(10)~式(17)所示的优化问题转化为凸问题,并提出一种低复杂度的迭代算法来获得最优解。
3.2 问题转化与求解
为了处理式(10)~式(17)所示优化问题中分式形式的目标函数qs,本文首先借助广义分式规划理论[29]将其转化为目标函数为减式的优化问题,然后通过求解转化后的优化问题来得到原优化问题的最优解。具体而言,令q*表示式(10)~式(17)所示优化问题的最大能效值,,表示该优化问题的最优解。根据广义分式规划理论可以得到[29],要取得式(10)~式(17)所示优化问题的最优解就必须使式(18)成立,即
基于式(18)及文献[29],本文提出了一种迭代算法来求解式(10)~式(17)所示的优化问题,该算法的具体步骤如算法1 所示。从算法1 中可知,本文需要在给定q的情况下,求解出式(19)的最优解,其表示为。在此基础上,计算该最优解对应的系统计算能效值,即。令ε表示算法最大容忍误差。当终止条件成立时,得到的最优解就是式(10)~式(17)所示优化问题的最优解,算法的迭代终止;否则,需要更新q的值为q+,然后重复以上的步骤直到迭代终止。
算法1计算能效最大化资源分配方法
因此,求解式(10)~式(17)所示优化问题的核心在于求解式(19)。相比于式(10)~式(17)所示的优化问题,式(19)的目标函数更简单且不存在分式形式。然而式(19)仍然是一个非凸的优化问题,这归因于多个变量之间的耦合关系。接下来,本文将具体阐述如何求解式(19)。首先,引入一个松弛变量λ来替代Rtotal中的min 函数,则式(19)转化为
引理1式(24)~式(33)所示的优化问题是一个凸问题。
证明过程见附录1。
根据引理1,本文直接利用凸优化方法来获得式(24)~式(33)所示优化问题的最优解,结合算法1可以获得式(10)~式(17)所示优化问题的最优解。
下面分析算法1 的复杂度。假设使用内点法来获得式(24)~式(33)所示优化问题的最优解且算法1 的迭代次数为Nu。根据文献[30-31]可以得到,算法1 的计算复杂度为,其中,m1表示式(24)~式(33)所示优化问题中不等式约束条件的个数。尽管可以通过算法1 来获得系统计算能效最大化的资源分配方案,但这种方式无法得知最优资源分配方案中参数的特征,因此下文利用凸优化理论来分析最优解的取值特征。
3.3 最优解分析
引理2针对无线供能边缘计算网络,当获得式(10)~式(17)所示优化问题的最优解时,所有边缘用户卸载的任务比特数刚好被边缘服务器计算,即
其中,带“*”符号表示式(10)~式(17)所示优化问题中优化变量的最优解。
证明过程见附录2。
讨论1根据引理2 可知,一旦无线供能边缘计算网络取得最大的系统计算能效,所有边缘用户卸载的任务比特数必须刚好被边缘服务器计算。也就是说,边缘服务器不能计算所有接收的任务的情况是不存在的。
4 仿真分析
图2 展示了不同Lmin下本文所提算法的收敛性。由图2 中可以看出,本文所提算法能在有限的迭代次数(如3 次)内达到收敛状态,这显示了本文所提算法的计算是有效的。
图2 本文所提算法的收敛性
图3 描绘了不同方案下平均系统计算能效随系统最小计算任务Lmin变化的情况。为了彰显本文所提方案的优越性,将本文所提方案与其他4种方案进行比较。用于比较的4 种方案分别为本地计算方案、全部卸载方案、二元制计算卸载方案和计算比特数最大化方案。本地计算方案中每个边缘用户仅执行本地计算而不进行任务卸载。全部卸载方案中所有的边缘用户都将任务卸载到边缘服务器上而不进行本地计算。二元制计算卸载方案中所有的边缘用户要么在本地计算所有的任务,要么将所有的任务都卸载到边缘服务器上进行计算。值得注意的是,本文所提方案、本地计算方案、全部卸载方案及二元制计算卸载方案都致力于最大化系统计算能效,而计算比特数最大化方案则以最大化系统计算比特数为优化目标。另外,以上5 种方案都在相同的约束条件下优化得到且5 种方案下的结果都为100 个信道的平均结果。由图3 可以看出,所有方案下的平均系统计算能效都随着Lmin的增大而呈现出下降的趋势,原因有以下两点。一方面,随着Lmin的增大,本文所提方案、本地计算方案与全部卸载方案的能耗也不断增加且增长的速度高于计算比特数的增长速度,从而导致计算能效的降低;另一方面,对于较大的Lmin,信道状态不好时系统计算能效因不能满足式(12)而被设为0,从而导致平均系统计算能效的降低。通过比较也可以看出,与其他4 种方案相比,本文所提方案能够取得更高的系统计算能效。另外,二元制计算卸载方案总是优于本地计算方案和全部卸载方案,原因有以下两方面。一方面,本地计算方案与全部卸载方案可视作本文所提方案和二元制计算卸载方案的2 个特例,因而不能优于本文所提方案和二元制计算卸载方案。比如,令式(10)~式(17)所示的优化问题中优化变量τk=0、pk=0、τc=0、fm=0,然后进行优化可得到本地计算方案;令式(10)~式(17)所示的优化问题中优化变量fk=0、tk=0,然后进行优化可得到全部卸载方案。另一方面,比起二元制计算卸载方案,本文所提方案能更好地利用资源来最大化系统计算能效。另外,计算比特数最大化方案并非以计算能效最大化为目标来分配资源的。
图3 平均系统计算能效随系统最小计算任务变化的情况
图4 描绘了不同方案下平均计算能效随边缘用户数K变化的情况。所有边缘用户与专用能量站、边缘服务器之间的距离设置如下:d01=4.5 m,d02=5 m,d03=4.8 m,d04=4 m,d05=3.5 m,d06=3 m,d07=3.8 m,H1=120,H2=110,H3=100,H4=90,H5=80,H6=70 及H7=50。由图4 可以看出,随着K的增加,所有方案下的平均系统计算能效都随之增大。这是由于随着K的增加,信道状态更好的用户能分配到更多的资源,从而提升系统计算能效。通过比较也可以发现,就系统计算能效而言,本文所提方案优于其他方案。
图4 平均系统计算能效随边缘用户数变化的情况
图5 不同加权因子比值下平均系统计算能效及计算比特数所占比例的变化情况
5 结束语
从系统的角度出发,本文研究了无线供能边缘计算网络中计算能效最大化资源分配方案。考虑边缘服务器有限的计算能力,本文建立了一个系统计算能效最大化的多维资源优化问题,并提出一种迭代算法来得到最优解,然后推导了部分最优解的闭合表达式并在此基础上分析了最优解情况。仿真结果验证了所提迭代算法的有效性及所提资源分配方法所能完成的系统计算能效远高于其他同类资源分配方法。
附录1 引理1 的证明
从式(24)~式(33)可以看出,目标函数式(24)为线性函数,式(26)~式(29)、式(31)及式(33)所示的约束条件也为线性约束。若式(25)、式(30)及式(32)所示的约束条件为凸约束,则式(24)~式(33)所示的优化问题为一个凸问题。对于式(25)和式(30),只要函数为关于变量x和y的联合凸函数,则式(25)和式(30)所示的约束条件都为凸约束。为了验证函数f1(x,y)的凹凸性,本文对该函数关于变量x和y的二阶偏导和混合偏导进行了计算,即
由于式(43)中的黑塞矩阵一阶行列式大于0,二阶行列式等于0,因此黑塞矩阵为半正定矩阵,式(25)和式(30)所示的约束条件均是凸约束。对于式(32),只要函数f2(x,y)=为关于变量x和y的联合凹函数,则式(32)所示的约束条件为凸约束。同样地,本文计算出函数f2(x,y)关于变量x和y的二阶偏导和混合偏导,为
由于式(44)中的一阶行列式小于0,二阶行列式等于0,因此黑塞矩阵为半负定矩阵,式(32)所示的约束条件也是凸约束。由此可知,式(24)~式(33)所示的优化问题是一个凸问题。
附录2 引理2 的证明