The sustainability of low-power mobile sensors is severely challenged by their limited battery capacity, and while simultaneous wireless information and power transfer (SWIPT) is a promising solution, its efficiency suffers dramatically under the uncertainty inherent to mobile three-dimensional (3D) aerial-to-ground environments. This work addresses the critical need for robust and efficient SWIPT under dynamic uncertainty by proposing a novel sensing-assisted SWIPT framework based on a unique hybrid learning algorithm. Our approach first formulates a two-layer optimization problem that rigorously couples a sensing layer, characterized by the Posterior Cram´er-Rao Bound (PCRB), with a SWIPT resource allocation layer. For the sensing layer, the core novelty is a learning-based Kalman Filtering (KF) estimator that merges the interpretative stability of model-based filtering with the adaptive power of neural networks to learn complex, nonlinear mobility patterns. We then prove that minimizing the estimator’s unsupervised loss is mathematically equivalent to minimizing the PCRB, ensuring convergence to optimal sensing without ground-truth supervision. This high-fidelity state information drives a decision-making learning model that adaptively optimizes beamforming, transmit power, and power splitting for the SWIPT resource allocation layer, forming a closed-loop hybrid learning system that continuously reinforces sensing and SWIPT performance. Extensive simulations demonstrate that our framework significantly outperforms benchmark methods in sensing accuracy, communication rate, and energy harvesting, validating its effectiveness in dynamic mobile environments.

Integrated sensing and communication (ISAC) is emerging as a key enabler for vehicle-to-everything (V2X) systems. However, designing efficient beamforming schemes for ISAC signals to achieve accurate sensing and enhance communication performance in the dynamic and uncertain environments of V2X networks presents significant challenges. While artificial intelligence technologies offer promising solutions, the energy-intensive nature of neural networks imposes substantial burdens on communication infrastructures. To address these challenges, this work proposes an energy-efficient and intelligent ISAC system for V2X networks. Specifically, we first leverage a Markov Decision Process framework to model the dynamic and uncertain nature of V2X networks. This framework allows the roadside unit to develop beamforming schemes relying solely on its current sensing information, eliminating the need for numerous pilot signals and extensive CSI acquisition. We then introduce an advanced deep reinforcement learning (DRL) algorithm, enabling the joint optimization of beamforming and power allocation to guarantee both communication rate and sensing accuracy in dynamic and uncertain V2X scenario. To alleviate the energy demands of neural networks, we integrate spiking neural networks (SNNs) into the DRL algorithm. The event-driven, sparse spike-based processing of SNNs significantly improves energy efficiency while maintaining strong performance. Extensive simulation results validate the effectiveness of the proposed scheme with lower energy consumption, superior communication performance, and improved sensing accuracy.

This work proposes an energy-efficient, learning-based beamforming scheme for integrated sensing and communication (ISAC)-enabled V2X networks. Specifically, we first model the dynamic and uncertain nature of V2X environments as a Markov Decision Process. This formulation allows the roadside unit to generate beamforming decisions based solely on current sensing information, thereby eliminating the need for frequent pilot transmissions and extensive channel state information acquisition. We then develop a deep reinforcement learning (DRL) algorithm to jointly optimize beamforming and power allocation, ensuring both communication throughput and sensing accuracy in highly dynamic scenario. To address the high energy demands of conventional learning-based schemes, we embed spiking neural networks (SNNs) into the DRL framework. Leveraging their event-driven and sparsely activated architecture, SNNs significantly enhance energy efficiency while maintaining robust performance. Simulation results confirm that the proposed method achieves substantial energy savings and superior communication performance, demonstrating its potential to support green and sustainable connectivity in future V2X systems.

As more users seek generative AI (GAI) models to enhance work efficiency, GAI and Model-as-a-Service will drive transformative changes and upgrades across all industries. However, when users utilize GAI models provided by the service provider, they cannot be certain that the model’s quality matches the provider’s claims. Considering the need to protect intellectual property, the service provider will not disclose model details for user verification. To this end, we take the Internet of Vehicles as research background, proposing a zero knowledge model proof architecture based on UAVs. We also introduce a multiagent reinforcement learning algorithm to optimize the verification process. In specific, we first propose a verification scheme for the key operations of generative adversarial networks based on noninteractive zero knowledge proof. The zero knowledge proof architecture ensures that model parameters cannot be stolen during the verification process. After that, we propose an Age of Verification (AoV) metric to ensure the timeliness and freshness of zero knowledge proof. We also construct a tradeoff optimization problem between the energy consumption of UAV as a verifier and the AoV of edge servers as service providers, and transform the problem based on Lyapunov optimization theory. Following that, we propose an enhanced multiagent proximal policy optimization algorithm to enable the collaborative verification of edge servers by multiple UAVs. The algorithm simulation results demonstrate that the reward value of our proposed algorithm is over 10% higher than that of the standard algorithm, with a faster and more stable overall convergence speed. Additionally, the zero knowledge proof performance test results indicate that the verification delay in our proposed architecture is less than 500 ms during the verification phase, meeting practical requirements.

With the development of intelligent transportation systems (ITSs), digital twin (DT) technology is becoming increasingly widespread in the application of connected automated vehicles (CAVs) to enhance driving safety. However, when DT systems are used for driving safety decisions through virtual control of reality and virtual reflection of reality, decision errors may occur, which can be fatal for the driving safety of CAVs. The main reasons are attributed to three aspects: 1) the accuracy; 2) the communication delay; and 3) the safety control of the DT system. In this article, we study to improve the accuracy and safety of the DT system decisions with communication delay. First, we considered powertrain factors to construct a high-precision and high-fidelity DT system. We use the Goodness-of-Fit Functions (GoFs) and Measure-of-Performances (MoPs) to fit the vehicle’s model and carry out error measurements in the DT system. Second, we analyze the stability of the DT system using plant stability and string stability under time delay. The effective range of time delay ensures the accuracy and stability of the DT system, and provides a safety constraint for the design of the CAV’s controller. Finally, we propose a DT-assisted robust safety-critical traffic control (RSTC) strategy based on the control barrier functions (CBFs). This strategy ensures the driving safety of CAVs with preceding and following vehicles while maintaining traffic stability. The theoretical analysis and experimental results present that the proposed scheme can effectively avoid conflicts and crash risks to ensure driving safety.

Blockchain has been considered as a critical solution to handle the privacy and security concerns for data sharing in vehicular networks. However, deploying vehicular blockchain onboard vehicles is constrained by the sophisticated communication environments of vehicular networks, the restricted resources of vehicles, and self-interested property of vehicles. In this paper, a Cellular Vehicle-to-Everything (C-V2X) based vehicular blockchain sharding framework is presented in vehicular edge computing. To motivate vehicles to assist in validating block data in vehicular shard, a contract-based incentive mechanism is presented to efficiently solve the joint moral hazard and adverse selection problem. Considering packet sensing ratio, half-duplex effect, and successful sensing probability, a dual PC5/Uu interface based block consensus delay model is formulated during the consensus process. To achieve two objectives of capability-discrimination and effort-motivation, we aim at enhancing the saved delay utility of blockchain service requester (BSR) while ensuring complex conditions of vehicles. Simulation outcomes demonstrate that the proposed mechanism successfully fulfills capability-discrimination and effort-motivation, and offers a 52% and 7% increase in BSR’s utility compared to the linear pricing scheme and uniform scheme, respectively.

Vehicle trajectory prediction (VTP) is important for ensuring safe decision-making and planning in Internet of Vehicles (IoV). In complex traffic scenarios, accurate and reliable trajectory prediction requires comprehensive understanding of the interaction behaviors among vehicles. However, existing methods fail to effectively capture vehicle interaction features and fully explore their potential dependencies, limiting improvements in prediction accuracy. To this end, we propose a social attention network fused multipatch temporal–variable dependency (SAN-FTVD) model to tackle the above problems. In specific, we first design a variable token embedding module (VTEM) to extract the motion state information of vehicles, which independently embeds each variable of vehicle historical data into a variable token. After that, we propose a physical informed vehicle interaction encoder (PI-VIE) to capture vehicle interaction features over continuous time. The encoder is combined with physical priors to encode vehicle interaction features based on the correlations between the variable tokens. Following that, a temporal–variable dependency fusion module (TVDFM) is proposed to extract and fuse the multipatch temporal and variable dependencies, fully exploring potential dependencies in vehicle interaction features. Numerical results demonstrate that compared with the state-of-the-art model, the proposed model reduces the average prediction root mean square error over 5-s time range by 8% and 7% on two public data sets with 75% less inference cost. Furthermore, extensive ablation experiments validate the effectiveness of the above modules in the model.

Stem diameter distribution is a crucial forest inventory variable in operational forest management. Compared to ground based forest mensuration (e.g., diameter at breast height (DBH)), airborne laser scanning (ALS) offers a cost effective alternative for modelling forest inventory variables. The objective of this study is to determine the impact of the size and number of sample plots on modelling diameter distributions in an unevenaged tolerant hardwood forest using discrete return ALS data. With the size of the sample plots ranging from 0.04 to 0.25 ha, DBH distributions were divided into six structural classes, estimated by two categories of non-parametric methods: k-nearest neighbor (k-NN) imputation and the random forest (RF). Sensitivity analysis demonstrated that the size of sample plots has a stronger impact on model performance than the number of plots. In addition, RF was found to be the most accurate model, regardless of the size and number of sample plots.

New versions of existing large-scale web services such as Passport.com© have to go through rigorous performance evaluations in order to ensure a high degree of availability. Performance testing (such as benchmarking, scalability, and capacity tests) of large-scale stateful systems in managed test environments has many different challenges, mainly related to the reproducibility of production conditions in live data centers. One of these challenges is creating a dataset in a test environment that mimics the actual dataset in production. Other challenges involve the characterization of load patterns in production based on log analysis and proper load simulation via reutilization of data from the existing dataset. The intent of this paper is to describe practical approaches to address some of the aforementioned challenges through the use of various novel techniques. For example, this paper discusses data sanitization, which is the alteration of large datasets in a controlled manner to obfuscate sensitive information, preserving data integrity, relationships, and data equivalence classes. This paper also provides techniques for load pattern characterization via the application of Markov Chains to custom and generic logs, as well as general guidelines for the development of cache-based load simulation tools tailored for the performance evaluation of stateful systems.