首页 > 最新文献

IEEE Journal on Selected Areas in Communications最新文献

英文 中文
Joint Device Selection and Power Control for Wireless Federated Learning 无线联邦学习的联合设备选择和功率控制
IF 16.4 1区 计算机科学 Q1 ENGINEERING, ELECTRICAL & ELECTRONIC Pub Date : 2022-05-19 DOI: 10.48550/arXiv.2205.09306
Weihua Guo, Ran Li, Chuan Huang, Xiaoqi Qin, Kaiming Shen, Wei Zhang
This paper studies the joint device selection and power control scheme for wireless federated learning (FL), considering both the downlink and uplink communications between the parameter server (PS) and the terminal devices. In each round of model training, the PS first broadcasts the global model to the terminal devices in an analog fashion, and then the terminal devices perform local training and upload the updated model parameters to the PS via over-the-air computation (AirComp). First, we propose an AirComp-based adaptive reweighing scheme for the aggregation of local updated models, where the model aggregation weights are directly determined by the uplink transmit power values of the selected devices and which enables the joint learning and communication optimization simply by the device selection and power control. Furthermore, we provide a convergence analysis for the proposed wireless FL algorithm and the upper bound on the expected optimality gap between the expected and optimal global loss values is derived. With instantaneous channel state information (CSI), we formulate the optimality gap minimization problems under both the individual and sum uplink transmit power constraints, respectively, which are shown to be solved by the semidefinite programming (SDR) technique. Numerical results reveal that our proposed wireless FL algorithm achieves close to the best performance by using the ideal FedAvg scheme with error-free model exchange and full device participation.
本文研究了无线联合学习(FL)的联合设备选择和功率控制方案,同时考虑了参数服务器(PS)和终端设备之间的下行链路和上行链路通信。在每一轮模型训练中,PS首先以模拟方式向终端设备广播全局模型,然后终端设备执行本地训练,并通过空中计算(AirComp)将更新的模型参数上传到PS。首先,我们提出了一种用于本地更新模型聚合的基于AirComp的自适应重加权方案,其中模型聚合权重由所选设备的上行链路发射功率值直接确定,并且仅通过设备选择和功率控制就能够实现联合学习和通信优化。此外,我们对所提出的无线FL算法进行了收敛性分析,并导出了预期和最优全局损耗值之间的预期最优性差距的上界。利用瞬时信道状态信息(CSI),我们分别在单个和总上行链路发射功率约束下提出了最优性间隙最小化问题,这些问题可以通过半定规划(SDR)技术来解决。数值结果表明,我们提出的无线FL算法通过使用具有无错误模型交换和全设备参与的理想FedAvg方案实现了接近最佳的性能。
{"title":"Joint Device Selection and Power Control for Wireless Federated Learning","authors":"Weihua Guo, Ran Li, Chuan Huang, Xiaoqi Qin, Kaiming Shen, Wei Zhang","doi":"10.48550/arXiv.2205.09306","DOIUrl":"https://doi.org/10.48550/arXiv.2205.09306","url":null,"abstract":"This paper studies the joint device selection and power control scheme for wireless federated learning (FL), considering both the downlink and uplink communications between the parameter server (PS) and the terminal devices. In each round of model training, the PS first broadcasts the global model to the terminal devices in an analog fashion, and then the terminal devices perform local training and upload the updated model parameters to the PS via over-the-air computation (AirComp). First, we propose an AirComp-based adaptive reweighing scheme for the aggregation of local updated models, where the model aggregation weights are directly determined by the uplink transmit power values of the selected devices and which enables the joint learning and communication optimization simply by the device selection and power control. Furthermore, we provide a convergence analysis for the proposed wireless FL algorithm and the upper bound on the expected optimality gap between the expected and optimal global loss values is derived. With instantaneous channel state information (CSI), we formulate the optimality gap minimization problems under both the individual and sum uplink transmit power constraints, respectively, which are shown to be solved by the semidefinite programming (SDR) technique. Numerical results reveal that our proposed wireless FL algorithm achieves close to the best performance by using the ideal FedAvg scheme with error-free model exchange and full device participation.","PeriodicalId":13243,"journal":{"name":"IEEE Journal on Selected Areas in Communications","volume":"40 1","pages":"2395-2410"},"PeriodicalIF":16.4,"publicationDate":"2022-05-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42679325","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 22
X-ray Spectrometry in the Era of Aberration-Corrected Electron Optical Beam Lines. X 射线光谱学在畸变校正电子光学光束线时代的应用。
IF 2.8 1区 计算机科学 Q1 ENGINEERING, ELECTRICAL & ELECTRONIC Pub Date : 2022-05-10 DOI: 10.1017/S143192762200068X
Nestor J Zaluzec

Aberration correction in the analytical transmission electron microscope is most closely associated with improvements in high-resolution imaging. In this paper, the combination of that technology with new system designs, which optimize both electron optics and x-ray detection, is shown to provide more than a tenfold increase in performance over the last 25 years.

分析透射电子显微镜的像差校正技术与高分辨率成像技术的改进密切相关。在本文中,该技术与优化电子光学和 X 射线检测的新系统设计相结合,证明在过去 25 年中性能提高了十倍以上。
{"title":"X-ray Spectrometry in the Era of Aberration-Corrected Electron Optical Beam Lines.","authors":"Nestor J Zaluzec","doi":"10.1017/S143192762200068X","DOIUrl":"10.1017/S143192762200068X","url":null,"abstract":"<p><p>Aberration correction in the analytical transmission electron microscope is most closely associated with improvements in high-resolution imaging. In this paper, the combination of that technology with new system designs, which optimize both electron optics and x-ray detection, is shown to provide more than a tenfold increase in performance over the last 25 years.</p>","PeriodicalId":13243,"journal":{"name":"IEEE Journal on Selected Areas in Communications","volume":"29 1","pages":"1-7"},"PeriodicalIF":2.8,"publicationDate":"2022-05-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84366183","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Quantitative Strain and Topography Mapping of 2D Materials Using Nanobeam Electron Diffraction. 利用纳米束电子衍射绘制二维材料的定量应变和形貌图
IF 2.8 1区 计算机科学 Q1 ENGINEERING, ELECTRICAL & ELECTRONIC Pub Date : 2022-04-01 DOI: 10.1017/S1431927622000502
Julian Sickel, Marcel Asbach, Christoph Gammer, Rudolf Bratschitsch, Helmut Kohl

It is known that 2D materials can exhibit a nonflat topography, which gives rise to an inherent strain. Since local curvature and strain influence mechanical, optical, and electrical properties, but are often difficult to distinguish from each other, a robust measurement technique is needed. In this study, a novel method is introduced, which is capable of obtaining quantitative strain and topography information of 2D materials with nanometer resolution. Relying on scanning nanobeam electron diffraction (NBED), it is possible to disentangle strain from the local sample slope. Using the positions of the diffraction spots of a specimen at two different tilts to reconstruct the locations and orientations of the reciprocal lattice rods, the local strain and slope can be simultaneously retrieved. We demonstrate the differences to strain measurements from a single NBED map in theory, simulation, and experiment. MoS2 monolayers with different shapes are used as simulation test structures. The slope and height information are recovered, as well as tensile and angular strain which have an absolute difference of less than 0.2% and 0.2° from the theoretical values. An experimental proof of concept using a freely suspended WSe2 monolayer together with a discussion of the accuracy of the method is provided.

众所周知,二维材料会呈现非平面形貌,从而产生固有应变。由于局部曲率和应变会影响机械、光学和电学特性,但往往难以相互区分,因此需要一种稳健的测量技术。本研究介绍了一种新方法,它能以纳米分辨率获取二维材料的定量应变和形貌信息。依靠扫描纳米束电子衍射(NBED),可以将应变与局部样品斜率分离开来。利用试样在两个不同倾斜度下的衍射点位置来重建倒易点阵杆的位置和方向,就能同时获得局部应变和斜率。我们展示了理论、模拟和实验中单一 NBED 图与应变测量的不同之处。我们使用不同形状的 MoS2 单层作为模拟测试结构。斜率和高度信息得以恢复,拉伸和角度应变与理论值的绝对差异也小于 0.2% 和 0.2°。实验证明了使用自由悬浮 WSe2 单层的概念,并讨论了该方法的准确性。
{"title":"Quantitative Strain and Topography Mapping of 2D Materials Using Nanobeam Electron Diffraction.","authors":"Julian Sickel, Marcel Asbach, Christoph Gammer, Rudolf Bratschitsch, Helmut Kohl","doi":"10.1017/S1431927622000502","DOIUrl":"10.1017/S1431927622000502","url":null,"abstract":"<p><p>It is known that 2D materials can exhibit a nonflat topography, which gives rise to an inherent strain. Since local curvature and strain influence mechanical, optical, and electrical properties, but are often difficult to distinguish from each other, a robust measurement technique is needed. In this study, a novel method is introduced, which is capable of obtaining quantitative strain and topography information of 2D materials with nanometer resolution. Relying on scanning nanobeam electron diffraction (NBED), it is possible to disentangle strain from the local sample slope. Using the positions of the diffraction spots of a specimen at two different tilts to reconstruct the locations and orientations of the reciprocal lattice rods, the local strain and slope can be simultaneously retrieved. We demonstrate the differences to strain measurements from a single NBED map in theory, simulation, and experiment. MoS2 monolayers with different shapes are used as simulation test structures. The slope and height information are recovered, as well as tensile and angular strain which have an absolute difference of less than 0.2% and 0.2° from the theoretical values. An experimental proof of concept using a freely suspended WSe2 monolayer together with a discussion of the accuracy of the method is provided.</p>","PeriodicalId":13243,"journal":{"name":"IEEE Journal on Selected Areas in Communications","volume":"31 1","pages":"1-15"},"PeriodicalIF":2.8,"publicationDate":"2022-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84370043","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Plumbagin is a NF-κB-inducing kinase inhibitor with dual anabolic and antiresorptive effects that prevents menopausal-related osteoporosis in mice. Plumbagin 是一种 NF-κB 诱导激酶抑制剂,具有合成代谢和抗骨质疏松的双重作用,可预防小鼠更年期相关骨质疏松症。
1区 计算机科学 Q1 ENGINEERING, ELECTRICAL & ELECTRONIC Pub Date : 2022-04-01 Epub Date: 2022-02-27 DOI: 10.1016/j.jbc.2022.101767
Gengyang Shen, Xin Liu, Wei Lei, Rong Duan, Zhenqiang Yao

Osteoporosis is caused by enhanced bone resorption and relatively reduced bone formation. There is an unmet need to develop new agents with both antiresorptive and anabolic effects to treat osteoporosis, although drugs with either effect alone are available. A small molecular compound, plumbagin, was reported to inhibit receptor activator of nuclear factor kappa-B ligand-induced osteoclast (OC) differentiation by inhibiting IκBα phosphorylation-mediated canonical NF-κB activation. However, the key transcriptional factor RelA/p65 in canonical NF-κB pathway functions to promote OC precursor survival but not terminal OC differentiation. Here, we found that plumbagin inhibited the activity of NF-κB inducing kinase, the key molecule that controls noncanonical NF-κB signaling, in an ATP/ADP-based kinase assay. Consistent with this, plumbagin inhibited processing of NF-κB2 p100 to p52 in the progenitor cells of both OCs and osteoblasts (OBs). Interestingly, plumbagin not only inhibited OC but also stimulated OB differentiation in vitro. Importantly, plumbagin prevented trabecular bone loss in ovariectomized mice. This was associated with decreased OC surfaces on trabecular surface and increased parameters of OBs, including OB surface on trabecular surface, bone formation rate, and level of serum osteocalcin, compared to vehicle-treated mice. In summary, we conclude that plumbagin is a NF-κB-inducing kinase inhibitor with dual anabolic and antiresorptive effects on bone and could represent a new class of agent for the prevention and treatment of osteoporosis.

骨质疏松症是由骨吸收增加和骨形成相对减少引起的。尽管目前已有单独具有抗骨质吸收作用和合成代谢作用的药物,但开发具有抗骨质吸收作用和合成代谢作用的新药物来治疗骨质疏松症的需求仍未得到满足。据报道,一种小分子化合物 Plumbagin 可通过抑制 IκBα 磷酸化介导的典型 NF-κB 激活,从而抑制受体激活剂核因子卡巴-B 配体诱导的破骨细胞(OC)分化。然而,典型 NF-κB 通路中的关键转录因子 RelA/p65 可促进 OC 前体的存活,但不能促进 OC 的终末分化。在这里,我们发现在基于ATP/ADP的激酶试验中,Plumbagin抑制了NF-κB诱导激酶的活性,而NF-κB诱导激酶是控制非规范NF-κB信号传导的关键分子。与此相一致的是,在OCs和成骨细胞(OBs)的祖细胞中,plumbagin抑制了NF-κB2 p100到p52的加工。有趣的是,Plumbagin 不仅能抑制 OC,还能刺激体外 OB 分化。重要的是,Plumbagin 能防止卵巢切除小鼠的骨小梁流失。与用药物治疗的小鼠相比,这与小梁表面的 OC 表面减少和 OB 的参数(包括小梁表面的 OB 表面、骨形成率和血清骨钙素水平)增加有关。综上所述,我们得出结论:Plumbagin 是一种 NF-κB 诱导激酶抑制剂,对骨具有合成代谢和抗骨质吸收的双重作用,可能是预防和治疗骨质疏松症的一类新药物。
{"title":"Plumbagin is a NF-κB-inducing kinase inhibitor with dual anabolic and antiresorptive effects that prevents menopausal-related osteoporosis in mice.","authors":"Gengyang Shen, Xin Liu, Wei Lei, Rong Duan, Zhenqiang Yao","doi":"10.1016/j.jbc.2022.101767","DOIUrl":"10.1016/j.jbc.2022.101767","url":null,"abstract":"<p><p>Osteoporosis is caused by enhanced bone resorption and relatively reduced bone formation. There is an unmet need to develop new agents with both antiresorptive and anabolic effects to treat osteoporosis, although drugs with either effect alone are available. A small molecular compound, plumbagin, was reported to inhibit receptor activator of nuclear factor kappa-B ligand-induced osteoclast (OC) differentiation by inhibiting IκBα phosphorylation-mediated canonical NF-κB activation. However, the key transcriptional factor RelA/p65 in canonical NF-κB pathway functions to promote OC precursor survival but not terminal OC differentiation. Here, we found that plumbagin inhibited the activity of NF-κB inducing kinase, the key molecule that controls noncanonical NF-κB signaling, in an ATP/ADP-based kinase assay. Consistent with this, plumbagin inhibited processing of NF-κB2 p100 to p52 in the progenitor cells of both OCs and osteoblasts (OBs). Interestingly, plumbagin not only inhibited OC but also stimulated OB differentiation in vitro. Importantly, plumbagin prevented trabecular bone loss in ovariectomized mice. This was associated with decreased OC surfaces on trabecular surface and increased parameters of OBs, including OB surface on trabecular surface, bone formation rate, and level of serum osteocalcin, compared to vehicle-treated mice. In summary, we conclude that plumbagin is a NF-κB-inducing kinase inhibitor with dual anabolic and antiresorptive effects on bone and could represent a new class of agent for the prevention and treatment of osteoporosis.</p>","PeriodicalId":13243,"journal":{"name":"IEEE Journal on Selected Areas in Communications","volume":"25 1","pages":"101767"},"PeriodicalIF":0.0,"publicationDate":"2022-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC8958545/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84355444","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
Hybrid Active and Passive Sensing for SLAM in Wireless Communication Systems 无线通信系统中SLAM的混合主动和被动传感
IF 16.4 1区 计算机科学 Q1 ENGINEERING, ELECTRICAL & ELECTRONIC Pub Date : 2022-03-19 DOI: 10.1109/JSAC.2022.3156630.
Jie Yang, Chao-Kai Wen, Shi Jin
Integrating sensing functions into future mobile equipment has become an important trend. Realizing different types of sensing and achieving mutual enhancement under the existing communication hardware architecture is a crucial challenge in realizing the deep integration of sensing and communication. In the 5G New Radio context, active sensing can be performed through uplink beam sweeping on the user equipment (UE) side to observe the surrounding environment. In addition, the UE can perform passive sensing through downlink channel estimation to measure the multipath component (MPC) information. This study is the first to develop a hybrid simultaneous localization and mapping (SLAM) mechanism that combines active and passive sensing, in which mutual enhancement between the two sensing modes is realized in communication systems. Specifically, we first establish a common feature associated with the reflective surface to bridge active and passive sensing, thus enabling information fusion. Based on the common feature, we can attain physical anchor initialization through MPC with the assistance of active sensing. Then, we extend the classic probabilistic data association SLAM mechanism to achieve UE localization and continuously refine the physical anchor and target reflections through the subsequent passive sensing. Numerical results show that the proposed hybrid active and passive sensing-based SLAM mechanism can work successfully in tricky scenarios without any prior information on the floor plan, anchors, or agents. Moreover, the proposed algorithm demonstrates significant performance gains compared with active or passive sensing only mechanisms.
将传感功能集成到未来的移动设备中已成为一个重要趋势。在现有的通信硬件架构下实现不同类型的传感并实现相互增强是实现传感与通信深度集成的关键挑战。在5G新无线电环境中,可以通过用户设备(UE)侧的上行链路波束扫描来执行主动感测,以观察周围环境。此外,UE可以通过下行链路信道估计来执行被动感测,以测量多径分量(MPC)信息。本研究首次开发了一种结合主动和被动传感的混合同时定位和映射(SLAM)机制,在通信系统中实现了两种传感模式之间的相互增强。具体来说,我们首先建立了一个与反射表面相关的共同特征,以桥接主动和被动传感,从而实现信息融合。基于这一共同特征,我们可以在主动传感的辅助下,通过MPC实现物理锚点初始化。然后,我们扩展了经典的概率数据关联SLAM机制,以实现UE定位,并通过后续的被动感知不断细化物理锚和目标反射。数值结果表明,所提出的基于主动和被动传感的混合SLAM机制可以在没有任何关于平面图、锚或代理的先验信息的情况下成功地在棘手的场景中工作。此外,与仅主动或被动传感机制相比,所提出的算法表现出显著的性能增益。
{"title":"Hybrid Active and Passive Sensing for SLAM in Wireless Communication Systems","authors":"Jie Yang, Chao-Kai Wen, Shi Jin","doi":"10.1109/JSAC.2022.3156630.","DOIUrl":"https://doi.org/10.1109/JSAC.2022.3156630.","url":null,"abstract":"Integrating sensing functions into future mobile equipment has become an important trend. Realizing different types of sensing and achieving mutual enhancement under the existing communication hardware architecture is a crucial challenge in realizing the deep integration of sensing and communication. In the 5G New Radio context, active sensing can be performed through uplink beam sweeping on the user equipment (UE) side to observe the surrounding environment. In addition, the UE can perform passive sensing through downlink channel estimation to measure the multipath component (MPC) information. This study is the first to develop a hybrid simultaneous localization and mapping (SLAM) mechanism that combines active and passive sensing, in which mutual enhancement between the two sensing modes is realized in communication systems. Specifically, we first establish a common feature associated with the reflective surface to bridge active and passive sensing, thus enabling information fusion. Based on the common feature, we can attain physical anchor initialization through MPC with the assistance of active sensing. Then, we extend the classic probabilistic data association SLAM mechanism to achieve UE localization and continuously refine the physical anchor and target reflections through the subsequent passive sensing. Numerical results show that the proposed hybrid active and passive sensing-based SLAM mechanism can work successfully in tricky scenarios without any prior information on the floor plan, anchors, or agents. Moreover, the proposed algorithm demonstrates significant performance gains compared with active or passive sensing only mechanisms.","PeriodicalId":13243,"journal":{"name":"IEEE Journal on Selected Areas in Communications","volume":"40 1","pages":"2146-2163"},"PeriodicalIF":16.4,"publicationDate":"2022-03-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41957084","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 20
3-D Deployment of UAV Swarm for Massive MIMO Communications 大规模MIMO通信中无人机群的三维部署
IF 16.4 1区 计算机科学 Q1 ENGINEERING, ELECTRICAL & ELECTRONIC Pub Date : 2020-09-21 DOI: 10.1145/3411043.3412502
Ning Gao, Xiao Li, Shi Jin, M. Matthaiou
We consider the uplink transmission between a multi-antenna ground station and an unmanned aerial vehicle (UAV) swarm. The UAVs are assumed as intelligent agents, which can explore their optimal three dimensional (3-D) deployment to maximize the channel capacity of the multiple input multiple output (MIMO) system. Specifically, considering the limitations of each UAV in accessing the global information of the network, we focus on a decentralized control strategy by noting that each UAV in the swarm can only utilize the local information to achieve the optimal 3-D deployment. In this case, the optimization problem can be divided into several optimization sub-problems with respect to the rank function. Due to the non-convex nature of the rank function and the fact that the optimization sub-problems are coupled, the original problem is NP-hard and, thus, cannot be solved with standard convex optimization solvers. Interestingly, we can relax the constraint condition of each sub-problem and solve the optimization problem by a formulated UAVs channel capacity maximization game. We analyze such game according to the designed reward function and the potential function. Then, we discuss the existence of the pure Nash equilibrium in the game. To achieve the best Nash equilibrium of the MIMO system, we develop a decentralized learning algorithm, namely decentralized UAVs channel capacity learning. The details of the algorithm are provided, and then, the convergence, the effectiveness and the computational complexity are analyzed, respectively. Moreover, we give some insightful remarks based on the proofs and the theoretical analysis. Also, extensive simulations illustrate that the developed learning algorithm can achieve a high MIMO channel capacity by optimizing the 3-D UAV swarm deployment with the local information.
研究了多天线地面站与无人机群之间的上行传输问题。将无人机作为智能体,探索其最佳三维(3-D)部署,以最大化多输入多输出(MIMO)系统的信道容量。具体来说,考虑到每架无人机获取网络全局信息的局限性,我们关注一种分散的控制策略,注意到群中的每架无人机只能利用局部信息来实现最优的三维部署。在这种情况下,优化问题可以根据秩函数分为几个优化子问题。由于秩函数的非凸性质和优化子问题是耦合的,原始问题是np困难的,因此不能用标准的凸优化解来求解。有趣的是,我们可以放宽每个子问题的约束条件,并通过制定的无人机信道容量最大化博弈来解决优化问题。我们根据所设计的奖励函数和势函数来分析这种博弈。然后,讨论了博弈中纯纳什均衡的存在性。为了实现MIMO系统的最佳纳什均衡,我们开发了一种分散学习算法,即分散无人机信道容量学习。给出了算法的细节,并分别分析了算法的收敛性、有效性和计算复杂度。在此基础上,结合实证和理论分析,提出了一些有见地的看法。大量的仿真结果表明,该学习算法可以利用局部信息优化三维无人机群部署,从而获得较高的MIMO信道容量。
{"title":"3-D Deployment of UAV Swarm for Massive MIMO Communications","authors":"Ning Gao, Xiao Li, Shi Jin, M. Matthaiou","doi":"10.1145/3411043.3412502","DOIUrl":"https://doi.org/10.1145/3411043.3412502","url":null,"abstract":"We consider the uplink transmission between a multi-antenna ground station and an unmanned aerial vehicle (UAV) swarm. The UAVs are assumed as intelligent agents, which can explore their optimal three dimensional (3-D) deployment to maximize the channel capacity of the multiple input multiple output (MIMO) system. Specifically, considering the limitations of each UAV in accessing the global information of the network, we focus on a decentralized control strategy by noting that each UAV in the swarm can only utilize the local information to achieve the optimal 3-D deployment. In this case, the optimization problem can be divided into several optimization sub-problems with respect to the rank function. Due to the non-convex nature of the rank function and the fact that the optimization sub-problems are coupled, the original problem is NP-hard and, thus, cannot be solved with standard convex optimization solvers. Interestingly, we can relax the constraint condition of each sub-problem and solve the optimization problem by a formulated UAVs channel capacity maximization game. We analyze such game according to the designed reward function and the potential function. Then, we discuss the existence of the pure Nash equilibrium in the game. To achieve the best Nash equilibrium of the MIMO system, we develop a decentralized learning algorithm, namely decentralized UAVs channel capacity learning. The details of the algorithm are provided, and then, the convergence, the effectiveness and the computational complexity are analyzed, respectively. Moreover, we give some insightful remarks based on the proofs and the theoretical analysis. Also, extensive simulations illustrate that the developed learning algorithm can achieve a high MIMO channel capacity by optimizing the 3-D UAV swarm deployment with the local information.","PeriodicalId":13243,"journal":{"name":"IEEE Journal on Selected Areas in Communications","volume":"38 1","pages":"3022-3034"},"PeriodicalIF":16.4,"publicationDate":"2020-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90121613","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 14
Dynamic Traffic Management for SD-WAN Inter-Cloud Communication SD-WAN云间通信的动态流量管理
IF 16.4 1区 计算机科学 Q1 ENGINEERING, ELECTRICAL & ELECTRONIC Pub Date : 2020-07-01 DOI: 10.1109/JSAC.2020.2986957
Z. Duliński, R. Stankiewicz, Grzegorz Rzym, Piotr Wydrych
This article introduces the concept, implementation and evaluation of Dynamic Traffic Management (DTM). This management mechanism minimizes traffic transfer costs on inter-domain links. It works for volume and $95^{th}$ percentile tariffs. DTM reacts dynamically to traffic changes on inter-domain links shifting some part of traffic (manageable traffic) from one link to another. The management mechanism works in a distributed way. It requires cooperation between operators, namely Internet Service Providers (ISPs), receiving and generating traffic. Communication between ISPs is realized by SDN controllers (inter-domain SDN). DTM has been applied to inter-cloud communication for Data Centers (DCs) located in different ISP domains. Moreover, it is cloud-agnostic, i.e., DTM does not engage Cloud Service Providers (CSPs) into management procedures. Evaluation performed in the testbed shows that DTM is capable of decreasing ISP costs of transit traffic up to 29%.
本文介绍了动态交通管理(DTM)的概念、实现和评价。这种管理机制最大限度地降低了域间链路上的流量传输成本。它适用于批量和百分之95美元的关税。DTM对域间链路上的流量变化做出动态反应,将部分流量(可管理流量)从一个链路转移到另一个链路。管理机制以分布式方式工作。它需要运营商,即互联网服务提供商之间的合作,接收和产生流量。ISP之间的通信通过SDN控制器(域间SDN)来实现。DTM已被应用于位于不同ISP域的数据中心(DC)的云间通信。此外,它与云无关,即DTM不让云服务提供商(CSP)参与管理程序。在试验台上进行的评估表明,DTM能够将过境交通的ISP成本降低29%。
{"title":"Dynamic Traffic Management for SD-WAN Inter-Cloud Communication","authors":"Z. Duliński, R. Stankiewicz, Grzegorz Rzym, Piotr Wydrych","doi":"10.1109/JSAC.2020.2986957","DOIUrl":"https://doi.org/10.1109/JSAC.2020.2986957","url":null,"abstract":"This article introduces the concept, implementation and evaluation of Dynamic Traffic Management (DTM). This management mechanism minimizes traffic transfer costs on inter-domain links. It works for volume and $95^{th}$ percentile tariffs. DTM reacts dynamically to traffic changes on inter-domain links shifting some part of traffic (manageable traffic) from one link to another. The management mechanism works in a distributed way. It requires cooperation between operators, namely Internet Service Providers (ISPs), receiving and generating traffic. Communication between ISPs is realized by SDN controllers (inter-domain SDN). DTM has been applied to inter-cloud communication for Data Centers (DCs) located in different ISP domains. Moreover, it is cloud-agnostic, i.e., DTM does not engage Cloud Service Providers (CSPs) into management procedures. Evaluation performed in the testbed shows that DTM is capable of decreasing ISP costs of transit traffic up to 29%.","PeriodicalId":13243,"journal":{"name":"IEEE Journal on Selected Areas in Communications","volume":"38 1","pages":"1335-1351"},"PeriodicalIF":16.4,"publicationDate":"2020-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1109/JSAC.2020.2986957","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"42842918","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 27
Atomic Predicates-Based Data Plane Properties Verification in Software Defined Networking Using Spark Spark在软件定义网络中基于原子谓词的数据平面属性验证
IF 16.4 1区 计算机科学 Q1 ENGINEERING, ELECTRICAL & ELECTRONIC Pub Date : 2020-07-01 DOI: 10.1109/JSAC.2020.2986956
Yicong Zhang, Jie Li, S. Kimura, Wei Zhao, Sajal K. Das
Software-Defined Networking (SDN) is an innovational network architecture which gives network administrators the ability to directly control the whole network by programming on a centralized controller. Due to network complexity, networks are unlikely to be bug-free. The ability to verify data plane properties will make network management easier for network administrators in SDN. In this paper, we present a novel atomic predicates based data plane properties verification method for SDN using Spark which is a big data processing framework. First, we verify packet reachability which is a fundamental data plane property. Then, we verify other data plane properties such as loop-freedom and nonexistence of black holes. In addition, the proposed method can detect a security threat existing in SDN called firewall bypass threat with packet reachability verification. By adopting atomic predicates, we achieve less computational and storage overhead. We implement the methods and study the performance. The results of experiments show that we can efficiently and accurately detect loops, black holes and firewall bypass threats.
软件定义网络(SDN)是一种创新的网络架构,它使网络管理员能够通过在集中控制器上编程来直接控制整个网络。由于网络的复杂性,网络不太可能是无漏洞的。验证数据平面属性的能力将使SDN中的网络管理员更容易进行网络管理。本文利用Spark这一大数据处理框架,提出了一种新的基于原子谓词的SDN数据平面属性验证方法。首先,我们验证了分组可达性,这是数据平面的一个基本性质。然后,我们验证了其他数据平面性质,如环路自由度和不存在黑洞。此外,该方法可以通过数据包可达性验证来检测SDN中存在的安全威胁,称为防火墙旁路威胁。通过采用原子谓词,我们可以减少计算和存储开销。我们实施这些方法并研究其性能。实验结果表明,我们可以有效、准确地检测环路、黑洞和防火墙旁路威胁。
{"title":"Atomic Predicates-Based Data Plane Properties Verification in Software Defined Networking Using Spark","authors":"Yicong Zhang, Jie Li, S. Kimura, Wei Zhao, Sajal K. Das","doi":"10.1109/JSAC.2020.2986956","DOIUrl":"https://doi.org/10.1109/JSAC.2020.2986956","url":null,"abstract":"Software-Defined Networking (SDN) is an innovational network architecture which gives network administrators the ability to directly control the whole network by programming on a centralized controller. Due to network complexity, networks are unlikely to be bug-free. The ability to verify data plane properties will make network management easier for network administrators in SDN. In this paper, we present a novel atomic predicates based data plane properties verification method for SDN using Spark which is a big data processing framework. First, we verify packet reachability which is a fundamental data plane property. Then, we verify other data plane properties such as loop-freedom and nonexistence of black holes. In addition, the proposed method can detect a security threat existing in SDN called firewall bypass threat with packet reachability verification. By adopting atomic predicates, we achieve less computational and storage overhead. We implement the methods and study the performance. The results of experiments show that we can efficiently and accurately detect loops, black holes and firewall bypass threats.","PeriodicalId":13243,"journal":{"name":"IEEE Journal on Selected Areas in Communications","volume":"38 1","pages":"1308-1321"},"PeriodicalIF":16.4,"publicationDate":"2020-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1109/JSAC.2020.2986956","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"43421078","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
P4Consist: Toward Consistent P4 SDNs P4组成:朝向一致的P4 sdn
IF 16.4 1区 计算机科学 Q1 ENGINEERING, ELECTRICAL & ELECTRONIC Pub Date : 2020-07-01 DOI: 10.1109/JSAC.2020.2999653
Apoorv Shukla, Seifeddine Fathalli, T. Zinner, A. Hecker, S. Schmid
The prevailing wisdom is that a software-defined network (SDN) operates under the premise that the logically centralized control plane has an accurate representation of the actual data plane state. Unfortunately, bugs, misconfigurations, faults or attacks can introduce inconsistencies between the network control and the data plane that can undermine the correct operation at runtime. Through our experiments, we realize that P4 SDNs are no exception, and are prone to similar problems. With the aim to verify the control-data plane inconsistency, we present the design and implementation of P4Consist, a system to detect the inconsistency between control and data plane in P4 SDNs. P4Consist generates active probe-based traffic continuously or periodically as an input to the P4 SDNs to check whether the actual behavior on the data plane corresponds to the expected control plane behavior. In P4Consist, the control plane and the data plane generate independent reports which are later, compared to verify the control-data plane consistency. The previous works in the field of monitoring and verification mostly aim to test the P4 programs through static analysis and thus, are insufficient to verify the network consistency at runtime. Experiments with our prototype implementation of P4Consist are promising and show that P4Consist can verify the control-data plane consistency in the complex datacenter 4-ary fat-tree (20 switches) and multipath grid (4, 9 and 16 switches) topologies with 60k rules per switch within a minimum time of 4 minutes. At the same time, P4Consist scales to multiple source-destination pairs to detect control-data plane inconsistency.
普遍的观点是,软件定义网络(SDN)在逻辑集中的控制平面具有实际数据平面状态的准确表示的前提下运行。不幸的是,错误、错误配置、故障或攻击可能会在网络控制和数据平面之间引入不一致,从而破坏运行时的正确操作。通过我们的实验,我们意识到P4 SDN也不例外,并且容易出现类似的问题。为了验证控制数据平面的不一致性,我们提出了P4Consist的设计和实现,这是一个检测P4SDN中控制和数据平面之间不一致性的系统。P4Consist连续或周期性地生成基于主动探测的业务作为P4 SDN的输入,以检查数据平面上的实际行为是否对应于预期的控制平面行为。在P4Consist中,控制平面和数据平面生成独立的报告,稍后进行比较以验证控制数据平面的一致性。以前在监控和验证领域的工作大多旨在通过静态分析来测试P4程序,因此不足以在运行时验证网络的一致性。用我们的原型P4Consist实现的实验是有希望的,并且表明P4Consist可以在4分钟的最短时间内验证复杂数据中心四元胖树(20个交换机)和多路径网格(4、9和16个交换机)拓扑中的控制数据平面一致性,每个交换机有60k个规则。同时,P4Consist扩展到多个源-目的地对,以检测控制数据平面的不一致性。
{"title":"P4Consist: Toward Consistent P4 SDNs","authors":"Apoorv Shukla, Seifeddine Fathalli, T. Zinner, A. Hecker, S. Schmid","doi":"10.1109/JSAC.2020.2999653","DOIUrl":"https://doi.org/10.1109/JSAC.2020.2999653","url":null,"abstract":"The prevailing wisdom is that a software-defined network (SDN) operates under the premise that the logically centralized control plane has an accurate representation of the actual data plane state. Unfortunately, bugs, misconfigurations, faults or attacks can introduce inconsistencies between the network control and the data plane that can undermine the correct operation at runtime. Through our experiments, we realize that P4 SDNs are no exception, and are prone to similar problems. With the aim to verify the control-data plane inconsistency, we present the design and implementation of P4Consist, a system to detect the inconsistency between control and data plane in P4 SDNs. P4Consist generates active probe-based traffic continuously or periodically as an input to the P4 SDNs to check whether the actual behavior on the data plane corresponds to the expected control plane behavior. In P4Consist, the control plane and the data plane generate independent reports which are later, compared to verify the control-data plane consistency. The previous works in the field of monitoring and verification mostly aim to test the P4 programs through static analysis and thus, are insufficient to verify the network consistency at runtime. Experiments with our prototype implementation of P4Consist are promising and show that P4Consist can verify the control-data plane consistency in the complex datacenter 4-ary fat-tree (20 switches) and multipath grid (4, 9 and 16 switches) topologies with 60k rules per switch within a minimum time of 4 minutes. At the same time, P4Consist scales to multiple source-destination pairs to detect control-data plane inconsistency.","PeriodicalId":13243,"journal":{"name":"IEEE Journal on Selected Areas in Communications","volume":"38 1","pages":"1293-1307"},"PeriodicalIF":16.4,"publicationDate":"2020-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1109/JSAC.2020.2999653","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44994499","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 23
Table of contents 目录表
IF 16.4 1区 计算机科学 Q1 ENGINEERING, ELECTRICAL & ELECTRONIC Pub Date : 2020-07-01 DOI: 10.1109/jsac.2020.2999118
{"title":"Table of contents","authors":"","doi":"10.1109/jsac.2020.2999118","DOIUrl":"https://doi.org/10.1109/jsac.2020.2999118","url":null,"abstract":"","PeriodicalId":13243,"journal":{"name":"IEEE Journal on Selected Areas in Communications","volume":" ","pages":""},"PeriodicalIF":16.4,"publicationDate":"2020-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1109/jsac.2020.2999118","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45218695","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
期刊
IEEE Journal on Selected Areas in Communications
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1