首页 > 最新文献

Electronics最新文献

英文 中文
Towards 6G Satellite–Terrestrial Networks: Analysis of Air Mobility Operations 迈向 6G 卫星-地面网络:空中机动行动分析
Pub Date : 2024-07-19 DOI: 10.3390/electronics13142855
Krishnakanth Mohanta, Saba Al-Rubaye
This paper presents an analytical exploration of sixth-generation (6G) satellite–terrestrial integrated networks, focusing specifically on their applications within air mobility operations, such as those involving unmanned aerial vehicles (UAVs). As the integration of satellite and terrestrial networks promises to revolutionize mobile communication by extending coverage and enhancing connectivity, this study delves into two critical aspects: link budget analysis and handover and mobility analysis for UAVs. The link budget analysis assesses the communication requirements necessary to ensure robust and consistent connectivity between satellites and UAVs, accounting for factors such as path loss, antenna gains, and power transmission. Meanwhile, the handover and mobility analysis investigates the challenges and solutions associated with UAVs transitioning between different network nodes and layers in a dynamic aerial environment. This paper utilizes theoretical models and simulations to provide insights into the design and optimization of these networks, aiming to enhance the reliability and efficiency of UAV operations in the context of the emerging 6G landscape. The findings propose not only technological advancements in network architecture but also practical guidelines for the deployment of UAVs in complex environments, marking a significant step toward the realization of a fully integrated, satellite-terrestrial ecosystem.
本文对第六代(6G)卫星-地面集成网络进行了分析探索,特别关注其在空中移动业务中的应用,如涉及无人机(UAV)的业务。由于卫星与地面网络的集成有望通过扩大覆盖范围和增强连接性来彻底改变移动通信,因此本研究深入探讨了两个关键方面:链路预算分析和无人机的切换与移动性分析。链路预算分析评估了确保卫星与无人机之间稳健一致的连接所需的通信要求,并考虑了路径损耗、天线增益和功率传输等因素。同时,切换和移动性分析研究了无人机在动态空中环境中不同网络节点和层之间切换所面临的挑战和解决方案。本文利用理论模型和模拟来深入分析这些网络的设计和优化,旨在提高无人机在新兴 6G 环境下运行的可靠性和效率。研究结果不仅提出了网络架构的技术进步,还提出了在复杂环境中部署无人机的实用指南,标志着向实现完全集成的卫星-地面生态系统迈出了重要一步。
{"title":"Towards 6G Satellite–Terrestrial Networks: Analysis of Air Mobility Operations","authors":"Krishnakanth Mohanta, Saba Al-Rubaye","doi":"10.3390/electronics13142855","DOIUrl":"https://doi.org/10.3390/electronics13142855","url":null,"abstract":"This paper presents an analytical exploration of sixth-generation (6G) satellite–terrestrial integrated networks, focusing specifically on their applications within air mobility operations, such as those involving unmanned aerial vehicles (UAVs). As the integration of satellite and terrestrial networks promises to revolutionize mobile communication by extending coverage and enhancing connectivity, this study delves into two critical aspects: link budget analysis and handover and mobility analysis for UAVs. The link budget analysis assesses the communication requirements necessary to ensure robust and consistent connectivity between satellites and UAVs, accounting for factors such as path loss, antenna gains, and power transmission. Meanwhile, the handover and mobility analysis investigates the challenges and solutions associated with UAVs transitioning between different network nodes and layers in a dynamic aerial environment. This paper utilizes theoretical models and simulations to provide insights into the design and optimization of these networks, aiming to enhance the reliability and efficiency of UAV operations in the context of the emerging 6G landscape. The findings propose not only technological advancements in network architecture but also practical guidelines for the deployment of UAVs in complex environments, marking a significant step toward the realization of a fully integrated, satellite-terrestrial ecosystem.","PeriodicalId":504598,"journal":{"name":"Electronics","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141823730","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A Modern Approach to Securing Critical Infrastructure in Energy Transmission Networks: Integration of Cryptographic Mechanisms and Biometric Data 确保能源传输网络关键基础设施安全的现代方法:密码机制与生物识别数据的整合
Pub Date : 2024-07-19 DOI: 10.3390/electronics13142849
A. Manowska, Martin Boroš, Muhammad Waqar Hassan, A. Bluszcz, K. Tobór-Osadnik
Energy security is a crucial issue for political, environmental, and economic reasons. This article presents a modern approach to securing critical infrastructure in energy transmission networks, which are managed by advanced IT systems. This paper focuses on the integration of cryptographic mechanisms with biometric data, providing an additional layer of protection against cyber threats. The discussed solutions enable the protection of management systems in energy transmission networks, enhancing their resilience to cyberattacks. The use of the command-line interface (CLI) in combination with biometrics allows for precise execution of security tasks such as network monitoring, firewall management, and automation of security tasks. This makes these systems more reliable and secure, which is essential for the stability of energy systems.
出于政治、环境和经济原因,能源安全是一个至关重要的问题。本文介绍了一种保护能源传输网络关键基础设施安全的现代方法,该网络由先进的 IT 系统管理。本文的重点是将密码机制与生物识别数据相结合,为防范网络威胁提供额外的保护。所讨论的解决方案能够保护能源传输网络中的管理系统,增强其抵御网络攻击的能力。将命令行界面(CLI)与生物识别技术相结合,可精确执行网络监控、防火墙管理和安全任务自动化等安全任务。这使得这些系统更加可靠和安全,对能源系统的稳定性至关重要。
{"title":"A Modern Approach to Securing Critical Infrastructure in Energy Transmission Networks: Integration of Cryptographic Mechanisms and Biometric Data","authors":"A. Manowska, Martin Boroš, Muhammad Waqar Hassan, A. Bluszcz, K. Tobór-Osadnik","doi":"10.3390/electronics13142849","DOIUrl":"https://doi.org/10.3390/electronics13142849","url":null,"abstract":"Energy security is a crucial issue for political, environmental, and economic reasons. This article presents a modern approach to securing critical infrastructure in energy transmission networks, which are managed by advanced IT systems. This paper focuses on the integration of cryptographic mechanisms with biometric data, providing an additional layer of protection against cyber threats. The discussed solutions enable the protection of management systems in energy transmission networks, enhancing their resilience to cyberattacks. The use of the command-line interface (CLI) in combination with biometrics allows for precise execution of security tasks such as network monitoring, firewall management, and automation of security tasks. This makes these systems more reliable and secure, which is essential for the stability of energy systems.","PeriodicalId":504598,"journal":{"name":"Electronics","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141823878","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Multi-Beam Sonar Target Segmentation Algorithm Based on BS-Unet 基于 BS-Unet 的多波束声纳目标分割算法
Pub Date : 2024-07-19 DOI: 10.3390/electronics13142841
Wennuo Zhang, Xuewu Zhang, Yu Zhang, Pengyuan Zeng, Ruikai Wei, Junsong Xu, Yang Chen
Multi-beam sonar imaging detection technology is increasingly becoming the mainstream technology in fields such as hydraulic safety inspection and underwater target detection due to its ability to generate clearer images under low-visibility conditions. However, during the multi-beam sonar detection process, issues such as low image resolution and blurred imaging edges lead to decreased target segmentation accuracy. Traditional filtering methods for echo signals cannot effectively solve these problems. To address these challenges, this paper introduces, for the first time, a multi-beam sonar dataset against the background of simulated crack detection for dam safety. This dataset included simulated cracks detected by multi-beam sonar from various angles. The width of the cracks ranged from 3 cm to 9 cm, and the length ranged from 0.2 m to 1.5 m. In addition, this paper proposes a BS-UNet semantic segmentation algorithm. The Swin-UNet model incorporates a dual-layer routing attention mechanism to enhance the accuracy of sonar image detail segmentation. Furthermore, an online convolutional reparameterization structure was added to the output end of the model to improve the model’s capability to represent image features. Comparisons of the BS-UNet model with commonly used semantic segmentation models on the multi-beam sonar dataset consistently demonstrated the BS-UNet model’s superior performance, as it improved semantic segmentation evaluation metrics such as Precision and IoU by around 0.03 compared to the Swin-UNet model. In conclusion, BS-UNet can effectively be applied in multi-beam sonar image segmentation tasks.
多波束声纳成像检测技术由于能够在低能见度条件下生成更清晰的图像,正日益成为液压安全检测和水下目标检测等领域的主流技术。然而,在多波束声纳探测过程中,图像分辨率低和成像边缘模糊等问题会导致目标分割精度降低。传统的回波信号滤波方法无法有效解决这些问题。为了应对这些挑战,本文首次以大坝安全的模拟裂缝检测为背景,介绍了多波束声纳数据集。该数据集包括多波束声纳从不同角度探测到的模拟裂缝。此外,本文还提出了一种 BS-UNet 语义分割算法。Swin-UNet 模型采用了双层路由关注机制,以提高声纳图像细节分割的准确性。此外,还在模型的输出端添加了在线卷积重参数化结构,以提高模型表示图像特征的能力。在多波束声纳数据集上,BS-UNet 模型与常用的语义分割模型进行了比较,结果一致表明 BS-UNet 模型性能优越,与 Swin-UNet 模型相比,BS-UNet 模型在精度和 IoU 等语义分割评价指标上提高了约 0.03。总之,BS-UNet 可以有效地应用于多波束声纳图像分割任务。
{"title":"Multi-Beam Sonar Target Segmentation Algorithm Based on BS-Unet","authors":"Wennuo Zhang, Xuewu Zhang, Yu Zhang, Pengyuan Zeng, Ruikai Wei, Junsong Xu, Yang Chen","doi":"10.3390/electronics13142841","DOIUrl":"https://doi.org/10.3390/electronics13142841","url":null,"abstract":"Multi-beam sonar imaging detection technology is increasingly becoming the mainstream technology in fields such as hydraulic safety inspection and underwater target detection due to its ability to generate clearer images under low-visibility conditions. However, during the multi-beam sonar detection process, issues such as low image resolution and blurred imaging edges lead to decreased target segmentation accuracy. Traditional filtering methods for echo signals cannot effectively solve these problems. To address these challenges, this paper introduces, for the first time, a multi-beam sonar dataset against the background of simulated crack detection for dam safety. This dataset included simulated cracks detected by multi-beam sonar from various angles. The width of the cracks ranged from 3 cm to 9 cm, and the length ranged from 0.2 m to 1.5 m. In addition, this paper proposes a BS-UNet semantic segmentation algorithm. The Swin-UNet model incorporates a dual-layer routing attention mechanism to enhance the accuracy of sonar image detail segmentation. Furthermore, an online convolutional reparameterization structure was added to the output end of the model to improve the model’s capability to represent image features. Comparisons of the BS-UNet model with commonly used semantic segmentation models on the multi-beam sonar dataset consistently demonstrated the BS-UNet model’s superior performance, as it improved semantic segmentation evaluation metrics such as Precision and IoU by around 0.03 compared to the Swin-UNet model. In conclusion, BS-UNet can effectively be applied in multi-beam sonar image segmentation tasks.","PeriodicalId":504598,"journal":{"name":"Electronics","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141822342","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
NSGA-III-Based Production Scheduling Optimization Algorithm for Pressure Sensor Calibration Workshop 基于 NSGA-III 的压力传感器校准车间生产调度优化算法
Pub Date : 2024-07-19 DOI: 10.3390/electronics13142844
Ying Zou, Zuguo Chen, Shangyang Zhu, Yingcong Li
Although the NSGA-III algorithm is able to find the global optimal solution and has a good effect on the workshop scheduling optimization, the limitations in population diversity, convergence ability and local optimal solutions make it not applicable to certain situations. Thus, an improved NSGA-III workshop scheduling optimization algorithm is proposed in this work. It aims to address these limitations of the NSGA-III algorithm in processing workshop scheduling optimization. To solve the problem of individual elimination in the traditional NSGA-III algorithm, chaotic mapping is introduced in the improved NSGA-III algorithm to generate new offspring individuals and add the selected winning individuals to the offspring population as the parent population for the next iteration. The proposed algorithm was applied to a pressure sensor calibration workshop. A comparison with the traditional NSGA-III algorithm was conducted through a simulation analysis. The results show that the proposed algorithm can obtain a better convergence performance, improve the optimization ability and avoid falling into local optimal solutions.
虽然 NSGA-III 算法能够找到全局最优解,对车间调度优化有很好的效果,但由于种群多样性、收敛能力和局部最优解等方面的限制,使其不适用于某些情况。因此,本文提出了一种改进的 NSGA-III 车间调度优化算法。它旨在解决 NSGA-III 算法在处理车间调度优化中的这些局限性。为解决传统 NSGA-III 算法中的个体淘汰问题,改进后的 NSGA-III 算法引入了混沌映射,生成新的子代个体,并将选出的优胜个体加入子代群体作为下一次迭代的父代群体。所提出的算法被应用于压力传感器校准研讨会。通过仿真分析与传统的 NSGA-III 算法进行了比较。结果表明,所提出的算法可以获得更好的收敛性能,提高优化能力,避免陷入局部最优解。
{"title":"NSGA-III-Based Production Scheduling Optimization Algorithm for Pressure Sensor Calibration Workshop","authors":"Ying Zou, Zuguo Chen, Shangyang Zhu, Yingcong Li","doi":"10.3390/electronics13142844","DOIUrl":"https://doi.org/10.3390/electronics13142844","url":null,"abstract":"Although the NSGA-III algorithm is able to find the global optimal solution and has a good effect on the workshop scheduling optimization, the limitations in population diversity, convergence ability and local optimal solutions make it not applicable to certain situations. Thus, an improved NSGA-III workshop scheduling optimization algorithm is proposed in this work. It aims to address these limitations of the NSGA-III algorithm in processing workshop scheduling optimization. To solve the problem of individual elimination in the traditional NSGA-III algorithm, chaotic mapping is introduced in the improved NSGA-III algorithm to generate new offspring individuals and add the selected winning individuals to the offspring population as the parent population for the next iteration. The proposed algorithm was applied to a pressure sensor calibration workshop. A comparison with the traditional NSGA-III algorithm was conducted through a simulation analysis. The results show that the proposed algorithm can obtain a better convergence performance, improve the optimization ability and avoid falling into local optimal solutions.","PeriodicalId":504598,"journal":{"name":"Electronics","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141822347","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
RAN: Infrared and Visible Image Fusion Network Based on Residual Attention Decomposition RAN:基于残留注意力分解的红外与可见光图像融合网络
Pub Date : 2024-07-19 DOI: 10.3390/electronics13142856
Jia Yu, Gehao Lu, Jie Zhang
Infrared image and visible image fusion (IVIF) is a research direction that is currently attracting much attention in the field of image processing. The main goal is to obtain a fused image by reasonably fusing infrared images and visible images, while retaining the advantageous features of each source image. The research in this field aims to improve image quality, enhance target recognition ability, and broaden the application areas of image processing. To advance research in this area, we propose a breakthrough image fusion method based on the Residual Attention Network (RAN). By applying this innovative network to the task of image fusion, the mechanism of the residual attention network can better capture critical background and detail information in the images, significantly improving the quality and effectiveness of image fusion. Experimental results on public domain datasets show that our method performs excellently on multiple key metrics. For example, compared to existing methods, our method improves the standard deviation (SD) by 35.26%, spatial frequency (SF) by 109.85%, average gradient (AG) by 96.93%, and structural similarity (SSIM) by 23.47%. These significant improvements validate the superiority of our proposed residual attention network in the task of image fusion and open up new possibilities for enhancing the performance and adaptability of fusion networks.
红外图像与可见光图像融合(IVIF)是目前图像处理领域备受关注的一个研究方向。其主要目标是通过合理融合红外图像和可见光图像,获得融合图像,同时保留各源图像的优势特征。该领域的研究旨在提高图像质量,增强目标识别能力,拓宽图像处理的应用领域。为了推进这一领域的研究,我们提出了一种基于残留注意力网络(RAN)的突破性图像融合方法。通过将这一创新网络应用于图像融合任务,残留注意力网络的机制可以更好地捕捉图像中关键的背景和细节信息,从而显著提高图像融合的质量和效果。在公共领域数据集上的实验结果表明,我们的方法在多个关键指标上表现出色。例如,与现有方法相比,我们的方法将标准偏差(SD)提高了 35.26%,空间频率(SF)提高了 109.85%,平均梯度(AG)提高了 96.93%,结构相似度(SSIM)提高了 23.47%。这些重大改进验证了我们提出的剩余注意力网络在图像融合任务中的优越性,并为提高融合网络的性能和适应性开辟了新的可能性。
{"title":"RAN: Infrared and Visible Image Fusion Network Based on Residual Attention Decomposition","authors":"Jia Yu, Gehao Lu, Jie Zhang","doi":"10.3390/electronics13142856","DOIUrl":"https://doi.org/10.3390/electronics13142856","url":null,"abstract":"Infrared image and visible image fusion (IVIF) is a research direction that is currently attracting much attention in the field of image processing. The main goal is to obtain a fused image by reasonably fusing infrared images and visible images, while retaining the advantageous features of each source image. The research in this field aims to improve image quality, enhance target recognition ability, and broaden the application areas of image processing. To advance research in this area, we propose a breakthrough image fusion method based on the Residual Attention Network (RAN). By applying this innovative network to the task of image fusion, the mechanism of the residual attention network can better capture critical background and detail information in the images, significantly improving the quality and effectiveness of image fusion. Experimental results on public domain datasets show that our method performs excellently on multiple key metrics. For example, compared to existing methods, our method improves the standard deviation (SD) by 35.26%, spatial frequency (SF) by 109.85%, average gradient (AG) by 96.93%, and structural similarity (SSIM) by 23.47%. These significant improvements validate the superiority of our proposed residual attention network in the task of image fusion and open up new possibilities for enhancing the performance and adaptability of fusion networks.","PeriodicalId":504598,"journal":{"name":"Electronics","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141821388","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Optimizing Artificial Neural Networks to Minimize Arithmetic Errors in Stochastic Computing Implementations 优化人工神经网络,使随机计算实施中的算术误差最小化
Pub Date : 2024-07-19 DOI: 10.3390/electronics13142846
Christiam F. Frasser, Alejandro Morán, V. Canals, Joan Font, E. Isern, M. Roca, Josep L. Rosselló
Deploying modern neural networks on resource-constrained edge devices necessitates a series of optimizations to ready them for production. These optimizations typically involve pruning, quantization, and fixed-point conversion to compress the model size and enhance energy efficiency. While these optimizations are generally adequate for most edge devices, there exists potential for further improving the energy efficiency by leveraging special-purpose hardware and unconventional computing paradigms. In this study, we explore stochastic computing neural networks and their impact on quantization and overall performance concerning weight distributions. When arithmetic operations such as addition and multiplication are executed by stochastic computing hardware, the arithmetic error may significantly increase, leading to a diminished overall accuracy. To bridge the accuracy gap between a fixed-point model and its stochastic computing implementation, we propose a novel approximate arithmetic-aware training method. We validate the efficacy of our approach by implementing the LeNet-5 convolutional neural network on an FPGA. Our experimental results reveal a negligible accuracy degradation of merely 0.01% compared with the floating-point counterpart, while achieving a substantial 27× speedup and 33× enhancement in energy efficiency compared with other FPGA implementations. Additionally, the proposed method enhances the likelihood of selecting optimal LFSR seeds for stochastic computing systems.
要在资源受限的边缘设备上部署现代神经网络,就必须进行一系列优化,以便为生产做好准备。这些优化通常涉及剪枝、量化和定点转换,以压缩模型大小并提高能效。虽然这些优化通常足以满足大多数边缘设备的需求,但利用专用硬件和非传统计算模式进一步提高能效的潜力仍然存在。在本研究中,我们探讨了随机计算神经网络及其对量化和权重分布整体性能的影响。当随机计算硬件执行加法和乘法等算术运算时,算术误差可能会显著增加,从而导致整体精度降低。为了缩小定点模型与其随机计算实现之间的精度差距,我们提出了一种新颖的近似算术感知训练方法。我们通过在 FPGA 上实现 LeNet-5 卷积神经网络来验证我们方法的有效性。我们的实验结果表明,与浮点对应算法相比,精度降低了 0.01%,可以忽略不计;与其他 FPGA 实现方法相比,速度提高了 27 倍,能效提高了 33 倍。此外,所提出的方法还提高了为随机计算系统选择最佳 LFSR 种子的可能性。
{"title":"Optimizing Artificial Neural Networks to Minimize Arithmetic Errors in Stochastic Computing Implementations","authors":"Christiam F. Frasser, Alejandro Morán, V. Canals, Joan Font, E. Isern, M. Roca, Josep L. Rosselló","doi":"10.3390/electronics13142846","DOIUrl":"https://doi.org/10.3390/electronics13142846","url":null,"abstract":"Deploying modern neural networks on resource-constrained edge devices necessitates a series of optimizations to ready them for production. These optimizations typically involve pruning, quantization, and fixed-point conversion to compress the model size and enhance energy efficiency. While these optimizations are generally adequate for most edge devices, there exists potential for further improving the energy efficiency by leveraging special-purpose hardware and unconventional computing paradigms. In this study, we explore stochastic computing neural networks and their impact on quantization and overall performance concerning weight distributions. When arithmetic operations such as addition and multiplication are executed by stochastic computing hardware, the arithmetic error may significantly increase, leading to a diminished overall accuracy. To bridge the accuracy gap between a fixed-point model and its stochastic computing implementation, we propose a novel approximate arithmetic-aware training method. We validate the efficacy of our approach by implementing the LeNet-5 convolutional neural network on an FPGA. Our experimental results reveal a negligible accuracy degradation of merely 0.01% compared with the floating-point counterpart, while achieving a substantial 27× speedup and 33× enhancement in energy efficiency compared with other FPGA implementations. Additionally, the proposed method enhances the likelihood of selecting optimal LFSR seeds for stochastic computing systems.","PeriodicalId":504598,"journal":{"name":"Electronics","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141822453","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
MSCFS-RP: A Colored-Petri-Net-Based Analysis Model for Master–Slave Cloud File Systems with Replication Pipelining MSCFS-RP:基于彩色彼得里网的带复制管道的主从云文件系统分析模型
Pub Date : 2024-07-19 DOI: 10.3390/electronics13142852
Wenbo Zhou
As a typical information system, a cloud file system enables the storage, retrieval, and management of data on remote servers or server clusters. The reliable design of such systems is critical to ensure the security of data and availability of services. However, designing correct-by-construction systems is challenging due to the complexity of and concurrency inherent in cloud file systems. Further, existing works on cloud file system analysis often focus on specific systems or lack formal modeling and verification, leading to potential design flaws and security vulnerabilities. To address these issues, we propose MSCFS-RP, which is a formal analysis model based on colored Petri nets. Leveraging the strengths of colored Petri nets in representing diverse information types with colored tokens and defining explicit rules for concurrent interactions, our model captures the writing and reading processes of clients, meta servers, and clusters. With strong formalism and support for verification using CPN Tools, we rigorously evaluate key properties such as replication consistency under various scenarios. The results demonstrate that MSCFS-RP satisfies these properties, validating its effectiveness and trustworthiness in managing information within cloud storage systems.
作为一种典型的信息系统,云文件系统可以在远程服务器或服务器集群上存储、检索和管理数据。此类系统的可靠设计对于确保数据的安全性和服务的可用性至关重要。然而,由于云文件系统固有的复杂性和并发性,按构造设计正确的系统具有挑战性。此外,现有的云文件系统分析工作通常侧重于特定系统,或缺乏正式建模和验证,从而导致潜在的设计缺陷和安全漏洞。为了解决这些问题,我们提出了 MSCFS-RP,这是一种基于彩色 Petri 网的形式化分析模型。利用彩色 Petri 网在用彩色标记表示不同信息类型和为并发交互定义明确规则方面的优势,我们的模型捕获了客户端、元服务器和集群的写入和读取过程。有了强大的形式主义和 CPN 工具的验证支持,我们对各种情况下的复制一致性等关键属性进行了严格评估。结果表明,MSCFS-RP 满足这些属性,验证了其在云存储系统中管理信息的有效性和可信度。
{"title":"MSCFS-RP: A Colored-Petri-Net-Based Analysis Model for Master–Slave Cloud File Systems with Replication Pipelining","authors":"Wenbo Zhou","doi":"10.3390/electronics13142852","DOIUrl":"https://doi.org/10.3390/electronics13142852","url":null,"abstract":"As a typical information system, a cloud file system enables the storage, retrieval, and management of data on remote servers or server clusters. The reliable design of such systems is critical to ensure the security of data and availability of services. However, designing correct-by-construction systems is challenging due to the complexity of and concurrency inherent in cloud file systems. Further, existing works on cloud file system analysis often focus on specific systems or lack formal modeling and verification, leading to potential design flaws and security vulnerabilities. To address these issues, we propose MSCFS-RP, which is a formal analysis model based on colored Petri nets. Leveraging the strengths of colored Petri nets in representing diverse information types with colored tokens and defining explicit rules for concurrent interactions, our model captures the writing and reading processes of clients, meta servers, and clusters. With strong formalism and support for verification using CPN Tools, we rigorously evaluate key properties such as replication consistency under various scenarios. The results demonstrate that MSCFS-RP satisfies these properties, validating its effectiveness and trustworthiness in managing information within cloud storage systems.","PeriodicalId":504598,"journal":{"name":"Electronics","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141822724","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Design of a Tunnel Anchor Monitoring System Based on Long Short-Term Memory–Autoregressive Integrated Moving Average Prediction 基于长短期记忆-自回归综合移动平均预测的隧道锚杆监测系统设计
Pub Date : 2024-07-19 DOI: 10.3390/electronics13142840
Junyan Qi, Yuhao Che, Lei Wang, Ruifu Yuan
Considering the shortcomings of the current monitoring system for tunnel anchor support systems, a tunnel anchor monitoring system based on LSTM-ARIMA prediction is proposed in this paper to prevent the deformation and collapse accidents that may occur in the underground mine tunnels during the backfilling process, which combines the Internet of Things and a neural network deep learning algorithm to achieve the real-time monitoring and prediction of the tunnel anchor pressure. To improve the prediction accuracy, a time series analysis algorithm is used in the prediction model of this system. In particular, an LSTM-ARIMA model is constructed to predict the tunnel anchor pressure by combining the Long Short-Term Memory (LSTM) model and the Autoregressive Integrated Moving Average (ARIMA) model. And a dynamic weighted combination method is designed based on model prediction confidence to acquire the optimal weight coefficients. This combined model enables the monitoring system to predict the anchor pressure more accurately, thereby preventing possible tunnel deformation and collapse accidents in advance. Finally, the overall system is verified using the anchor pressure dataset obtained from the 21,404 section of the Hulusu Coal Mine transportation tunnel in real-world engineering, whose results show that the pressure value predicted using the combined model is basically the same as the actual value on site, and the system has high real-time performance and stability, proving the effectiveness and reliability of the system.
考虑到目前隧道锚杆支护系统监测系统存在的不足,本文提出了一种基于 LSTM-ARIMA 预测的隧道锚杆监测系统,以防止矿山井下隧道在回填过程中可能发生的变形和坍塌事故,该系统结合物联网和神经网络深度学习算法,实现了对隧道锚杆压力的实时监测和预测。为了提高预测精度,该系统的预测模型采用了时间序列分析算法。其中,通过将长短期记忆(LSTM)模型和自回归综合移动平均(ARIMA)模型相结合,构建了一个 LSTM-ARIMA 模型来预测隧道锚杆压力。并设计了一种基于模型预测置信度的动态加权组合方法,以获得最佳加权系数。该组合模型可使监测系统更准确地预测锚杆压力,从而提前预防可能发生的隧道变形和坍塌事故。最后,在实际工程中利用葫芦素煤矿运输巷道 21404 断面获得的锚杆压力数据集对整个系统进行了验证,结果表明利用组合模型预测的压力值与现场实际值基本一致,系统具有较高的实时性和稳定性,证明了系统的有效性和可靠性。
{"title":"Design of a Tunnel Anchor Monitoring System Based on Long Short-Term Memory–Autoregressive Integrated Moving Average Prediction","authors":"Junyan Qi, Yuhao Che, Lei Wang, Ruifu Yuan","doi":"10.3390/electronics13142840","DOIUrl":"https://doi.org/10.3390/electronics13142840","url":null,"abstract":"Considering the shortcomings of the current monitoring system for tunnel anchor support systems, a tunnel anchor monitoring system based on LSTM-ARIMA prediction is proposed in this paper to prevent the deformation and collapse accidents that may occur in the underground mine tunnels during the backfilling process, which combines the Internet of Things and a neural network deep learning algorithm to achieve the real-time monitoring and prediction of the tunnel anchor pressure. To improve the prediction accuracy, a time series analysis algorithm is used in the prediction model of this system. In particular, an LSTM-ARIMA model is constructed to predict the tunnel anchor pressure by combining the Long Short-Term Memory (LSTM) model and the Autoregressive Integrated Moving Average (ARIMA) model. And a dynamic weighted combination method is designed based on model prediction confidence to acquire the optimal weight coefficients. This combined model enables the monitoring system to predict the anchor pressure more accurately, thereby preventing possible tunnel deformation and collapse accidents in advance. Finally, the overall system is verified using the anchor pressure dataset obtained from the 21,404 section of the Hulusu Coal Mine transportation tunnel in real-world engineering, whose results show that the pressure value predicted using the combined model is basically the same as the actual value on site, and the system has high real-time performance and stability, proving the effectiveness and reliability of the system.","PeriodicalId":504598,"journal":{"name":"Electronics","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141823813","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Disturbance-Rejection Passivity-Based Control for Inverters of Micropower Sources 基于干扰抑制的微功率源逆变器无源控制
Pub Date : 2024-07-19 DOI: 10.3390/electronics13142851
Chao Luo, Liang Tu, Haiqing Cai, Haohan Gu, Jiawei Chen, G. Jia, Xinke Zhu
Inverters are important interfaces between micropower sources and consuming loads. However, the varying inductors and capacitors, modeling errors, measurement errors, and external disturbances would lead to degradation of the inverters’ performances when conventional linear control is adopted, causing instability problems. To address it, a disturbance-rejection passivity-based nonlinear control strategy is proposed for the inverters of micropower sources. The proposed method innovatively introduces an extended high-gain state observer into the passivity-based controller to achieve online observation and elimination of complex influencing factors such as external disturbances, time-varying parameter uncertainties, and modeling errors, thus ensuring the global stability of the inverter under various disturbances. The design details on the passivity-based controller and the extended high-gain state observer are elaborated. The effectiveness and feasibility of the proposed control strategy are verified by the experiments performed by a 15 kVA inverter designed in the lab. The results show that the proposed control is able to ensure the inverter’s stable operation under the following conditions: constant power load, the filter inductance and capacitance reduce up to 33% and 96%, and the input voltage varies more than 22%.
逆变器是微电源和消费负载之间的重要接口。然而,在采用传统线性控制时,电感器和电容器的变化、建模误差、测量误差以及外部干扰都会导致逆变器性能下降,造成不稳定问题。为此,针对微功率源逆变器提出了一种基于干扰抑制被动性的非线性控制策略。该方法创新性地在基于被动性的控制器中引入了扩展的高增益状态观测器,实现了对外部干扰、时变参数不确定性和建模误差等复杂影响因素的在线观测和消除,从而保证了逆变器在各种干扰下的全局稳定性。详细阐述了基于被动性的控制器和扩展的高增益状态观测器的设计细节。在实验室设计的 15 kVA 逆变器上进行的实验验证了所提控制策略的有效性和可行性。结果表明,所提出的控制能确保逆变器在以下条件下稳定运行:恒定功率负载、滤波器电感和电容分别降低 33% 和 96%、输入电压变化超过 22%。
{"title":"Disturbance-Rejection Passivity-Based Control for Inverters of Micropower Sources","authors":"Chao Luo, Liang Tu, Haiqing Cai, Haohan Gu, Jiawei Chen, G. Jia, Xinke Zhu","doi":"10.3390/electronics13142851","DOIUrl":"https://doi.org/10.3390/electronics13142851","url":null,"abstract":"Inverters are important interfaces between micropower sources and consuming loads. However, the varying inductors and capacitors, modeling errors, measurement errors, and external disturbances would lead to degradation of the inverters’ performances when conventional linear control is adopted, causing instability problems. To address it, a disturbance-rejection passivity-based nonlinear control strategy is proposed for the inverters of micropower sources. The proposed method innovatively introduces an extended high-gain state observer into the passivity-based controller to achieve online observation and elimination of complex influencing factors such as external disturbances, time-varying parameter uncertainties, and modeling errors, thus ensuring the global stability of the inverter under various disturbances. The design details on the passivity-based controller and the extended high-gain state observer are elaborated. The effectiveness and feasibility of the proposed control strategy are verified by the experiments performed by a 15 kVA inverter designed in the lab. The results show that the proposed control is able to ensure the inverter’s stable operation under the following conditions: constant power load, the filter inductance and capacitance reduce up to 33% and 96%, and the input voltage varies more than 22%.","PeriodicalId":504598,"journal":{"name":"Electronics","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141821246","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Enhancing Scalability of C-V2X and DSRC Vehicular Communication Protocols with LoRa 2.4 GHz in the Scenario of Urban Traffic Systems 利用 LoRa 2.4 GHz 增强 C-V2X 和 DSRC 车载通信协议在城市交通系统场景中的可扩展性
Pub Date : 2024-07-19 DOI: 10.3390/electronics13142845
Eduard Zadobrischi, Ștefan Havriliuc
In the realm of Intelligent Transportation Systems (ITS), vehicular communication technologies such as Dedicated Short-Range Communications (DSRC), Cellular Vehicle-to-Everything (C-V2X), and LoRa 2.4 GHz play crucial roles in enhancing road safety, reducing traffic congestion, and improving transport efficiency. This article explores the integration of these communication protocols within smart intersections, emphasizing their capabilities and synergies. DSRC, based on IEEE 802.11p, provides reliable short-range communication with data rates up to 27 Mbps and latencies below 50 ms, ideal for real-time safety applications. C-V2X leverages LTE and 5G networks, offering broader coverage up to 10 km and supporting data rates up to 100 Mbps, with latencies as low as 20 ms in direct communication mode (PC5). LoRa 2.4 GHz, known for its long-range (up to 15 km in rural areas, 1–2 km in urban settings) and low-power characteristics, offers data rates between 0.3 and 37.5 kbps, suitable for non-critical data exchange and infrastructure monitoring. The study evaluates the performance and interoperability of these technologies in urban environments, focusing on data latency, transmission reliability, and scalability. Experimental results from simulated and real-world scenarios show that DSRC maintains reliable communication within 1 km with minimal interference. C-V2X demonstrates superior scalability and coverage, maintaining robust communication over several kilometers in high-density urban settings. LoRa 2.4 GHz exhibits excellent penetration through urban obstacles, maintaining connectivity and efficient data transmission with packet error rates below 10%.
在智能交通系统(ITS)领域,专用短程通信(DSRC)、蜂窝式车对物(C-V2X)和 LoRa 2.4 GHz 等车辆通信技术在加强道路安全、减少交通拥堵和提高运输效率方面发挥着至关重要的作用。本文探讨了这些通信协议在智能交叉路口中的集成,强调了它们的功能和协同作用。DSRC 基于 IEEE 802.11p,可提供可靠的短距离通信,数据传输速率高达 27 Mbps,延迟时间低于 50 ms,是实时安全应用的理想选择。C-V2X 利用 LTE 和 5G 网络,覆盖范围更广,可达 10 公里,支持高达 100 Mbps 的数据传输速率,在直接通信模式 (PC5) 下延迟时间低至 20 毫秒。LoRa 2.4 GHz 以其长距离(在农村地区可达 15 公里,在城市环境中为 1-2 公里)和低功耗特性而著称,可提供 0.3 至 37.5 kbps 的数据传输速率,适用于非关键数据交换和基础设施监控。研究评估了这些技术在城市环境中的性能和互操作性,重点关注数据延迟、传输可靠性和可扩展性。模拟和实际场景的实验结果表明,DSRC 可在 1 公里范围内保持可靠的通信,干扰极小。C-V2X 展示了卓越的可扩展性和覆盖范围,可在高密度城市环境中保持数公里的稳健通信。LoRa 2.4 GHz 在穿越城市障碍物方面表现出色,可保持连接性和高效数据传输,数据包错误率低于 10%。
{"title":"Enhancing Scalability of C-V2X and DSRC Vehicular Communication Protocols with LoRa 2.4 GHz in the Scenario of Urban Traffic Systems","authors":"Eduard Zadobrischi, Ștefan Havriliuc","doi":"10.3390/electronics13142845","DOIUrl":"https://doi.org/10.3390/electronics13142845","url":null,"abstract":"In the realm of Intelligent Transportation Systems (ITS), vehicular communication technologies such as Dedicated Short-Range Communications (DSRC), Cellular Vehicle-to-Everything (C-V2X), and LoRa 2.4 GHz play crucial roles in enhancing road safety, reducing traffic congestion, and improving transport efficiency. This article explores the integration of these communication protocols within smart intersections, emphasizing their capabilities and synergies. DSRC, based on IEEE 802.11p, provides reliable short-range communication with data rates up to 27 Mbps and latencies below 50 ms, ideal for real-time safety applications. C-V2X leverages LTE and 5G networks, offering broader coverage up to 10 km and supporting data rates up to 100 Mbps, with latencies as low as 20 ms in direct communication mode (PC5). LoRa 2.4 GHz, known for its long-range (up to 15 km in rural areas, 1–2 km in urban settings) and low-power characteristics, offers data rates between 0.3 and 37.5 kbps, suitable for non-critical data exchange and infrastructure monitoring. The study evaluates the performance and interoperability of these technologies in urban environments, focusing on data latency, transmission reliability, and scalability. Experimental results from simulated and real-world scenarios show that DSRC maintains reliable communication within 1 km with minimal interference. C-V2X demonstrates superior scalability and coverage, maintaining robust communication over several kilometers in high-density urban settings. LoRa 2.4 GHz exhibits excellent penetration through urban obstacles, maintaining connectivity and efficient data transmission with packet error rates below 10%.","PeriodicalId":504598,"journal":{"name":"Electronics","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141821413","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
期刊
Electronics
全部 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