arXiv subjects

Shaoshi Yang

Publications and source records attributed to Shaoshi Yang.

At least 19 recordsLinked to original sources

arXiv2026

ChronoSynth: Constraint-Aware Question Synthesis over Temporal Knowledge Graphs

Knowledge graph question generation (KGQG) generates natural-language questions from structured graph evidence and a target answer. When the input graph is temporal, a valid question must also preserve the answer field, time condition, reference event, and temporal order that determine the answer set. Existing KGQG methods and prompting baselines can produce fluent questions that alter these conditions, causing temporal semantic drift. This paper studies temporal KGQG as a constraint-preserving graph-to-question problem and proposes ChronoSynth, a memory-augmented and constraint-aware generation framework. ChronoSynth first constructs a Temporal Intent State to make the intended question semantics explicit. It then retrieves compatible typed question patterns from an indexed pattern memory, adapts them to the input graph, and validates the generated question. Validation feedback guides revisions when a supported inconsistency is detected. Experiments on CRONQUESTIONS and MultiTQ demonstrate state-of-the-art generation performance, with ablations supporting the contributions of its components.

cs.CL↗

arXiv2026

Nonlinear Information Theory: Characterizing Distributional Uncertainty in Communication Models with Sublinear Expectation

A mathematical framework for information-theoretic analysis is established, with a new viewpoint of describing transmitted messages and communication channels by the nonlinear expectation theory, beyond classical probability framework. Based on nonlinear expectation theory, in this paper we define several fundamental concepts, such as nonlinear information entropy, nonlinear joint entropy, and nonlinear mutual information, and establish their basic properties. By using strong law of large numbers under sublinear expectations, we propose a nonlinear source coding theorem, which shows that nonlinear entropy is a sufficient achievability threshold for the achievable coding rate of uncertain-distribution sources under the maximum error probability criterion, and determines a cluster point of the achievable coding rate under the minimum error probability criterion. We also propose a nonlinear channel coding theorem, providing explicit expressions of the upper bound and a cluster point under the maximum and minimum error probability criterion, respectively, for the achievable coding rate of uncertain-distribution channels. Additionally, we propose a nonlinear rate-distortion source coding theorem, proving that the rate-distortion function based on nonlinear mutual information is a cluster point of the lossy compression performance of uncertain-distribution sources under the minimum expected distortion criterion. Finally, we show some examples and simulations to consolidate our theoretic study.

cs.IT↗

arXiv2026

Sea-State-Induced Performance Transition in Maritime Networks: A Roughness-Aware Stochastic Geometry Framework

Analytical studies of maritime wireless networks commonly assume a deterministic smooth sea surface, leaving unclear how realistic ocean conditions reshape network-level reliability. Unlike conventional intuition that sea roughness always deteriorates propagation, this work reveals a non-monotonic sea-state-induced performance transition caused by the competition between interference-null mitigation and coherent reflection loss. This paper develops a physically grounded, sea-state-aware stochastic geometry framework for maritime networks by incorporating sea surface roughness into propagation modeling. Specifically, we derive an effective reflection coefficient based on the classical Rayleigh roughness criterion, where the significant wave height explicitly characterizes the attenuation of the coherent specular reflection component caused by surface roughness. By integrating the proposed channel model into a stochastic geometry framework, we derive tractable expressions for uplink coverage probability under different sea states. Our analysis reveals a non-monotonic impact of sea roughness on network performance under the considered propagation model: moderate roughness can improve reliability-oriented coverage by mitigating destructive interference nulls, whereas stronger roughness attenuates coherent reflected energy and degrades high-SINR performance. Measurement comparisons support the underlying roughness-sensitive reflection mechanism, while rough-sea VHF results are interpreted as wavelength-specific model predictions rather than direct empirical validation.

cs.NI↗

arXiv2026

Proper Sea Surface Roughness Enhances the Performance of Near-Shore Maritime Networks

Accurate performance analysis for near-shore maritime wireless communication is essential for ensuring robust and reliable operations. However, existing analytical models often rely on oversimplified propagation assumptions, such as a perfectly smooth sea surface, which fail to capture the full dynamics of the maritime channel. In this paper, we develop a physically grounded analytical framework using stochastic geometry that bridges this gap. The spatial distribution of vessels is modeled as a non-homogeneous Poisson point process to reflect realistic near-port densities. We replace the idealized smooth-sea assumption by deriving a novel reflection coefficient from the classical Rayleigh criterion, which explicitly links the path loss to the significant wave height. Integrating this roughness-aware channel model into the stochastic geometry framework, we derive new analytical expressions for the uplink coverage probability and average ergodic rate, providing the first tractable characterization of aggregate interference under such dynamic conditions. The analysis reveals a sea-state-dependent reliability--capacity trade-off: roughness-induced attenuation of the coherent specular reflection can suppress destructive-interference nulls and improve reliability-oriented coverage, while reducing high-SINR and average-rate performance. Available measurements support the underlying roughness-sensitive reflection mechanism, but direct VHF validation under rough sea conditions remains unavailable; the corresponding rough-sea results are therefore interpreted as model-based predictions. A cross-frequency ablation further confirms the wavelength dependence of the roughness effect and shows that the reflection coefficient must be evaluated for the operating frequency.

cs.NI↗

arXiv2026

Revisiting Shannon's Source Coding Theorem with Distributional Uncertainty under the Nonlinear Expectation Theory

In classical information theory, a source is modeled by a single, precisely known probability distribution. However, in the increasingly complex communication networks full of unanticipated, nonstationary, and heterogeneous random events, the assumption of precise and well-defined probability distributions to describe random variables appears somewhat idealized. Therefore, it is important to characterize the uncertainty of distributions of source messages, subject to relaxing the assumption of deterministic probability models for analyzing information sources in information theory. Based on the nonlinear expectation theory, a novel axiomatical system that extends classical probability theory, this paper investigates the information sources whose distributions themselves are uncertain, and refers to them as uncertain-distribution sources. We generalize the fundamental concept information entropy to nonlinear information entropy, which describes the measurement of the amount of information contained in a uncertain-distribution source. By using the strong law of large numbers under sublinear expectation, we establish a nonlinear source coding theorem, which not only shows that the nonlinear information entropy is the upper bound for the infimum of achievable coding rate of uncertain-distribution sources under the maximum error probability criterion, but also determines a cluster point of the coding rate of uncertain-distribution sources under the minimum error probability criterion. Our findings reveal that the introduction of nonlinear expectation theory allows for a more comprehensive understanding of information sources.

cs.IT↗

arXiv2025

6G Channel Modeling: Requirement, Measurement, Methodology and Simulator

Sixth-generation (6G) mobile communications have attracted substantial attention in the global research community of information and communication technologies (ICTs). 6G systems are expected to support not only extended 5G usage scenarios but also new usage scenarios, such as integrated sensing and communication (ISAC), integrated artificial intelligence (AI) and communication, and communication and ubiquitous connectivity. To achieve this goal, channel characteristics must be comprehensively studied and properly exploited to promote the design, standardization, and optimization of 6G systems. In this paper, we first summarize the requirements and challenges in 6G channel research. Our focus is on channels for six promising technologies enabling 6G, including ISAC, extremely large-scale MIMO (XL-MIMO), mid-band and terahertz (THz) technologies, reconfigurable intelligent surfaces (RISs), and space-air-ground integrated networks (SAGINs). A survey of the progress in 6G channel research regarding the above six promising technologies is presented in terms of the latest measurement campaigns, new characteristics, modeling methods, and research prospects. To support testing, optimization and evaluation, existing 6G channel simulators are summarized. Then, BUPTCMCCCMG-IMT2030 is introduced as an example of a simulator that was developed on the basis of the ITU/3GPP 3D geometry-based stochastic model (GBSM) methodology. We also address open issues covering standardization activities, AI-enabled methods, and system performance analysis in the context of 6G channel research. This paper offers in-depth, hands-on insights into the best practices of channel measurements, modeling, and simulations for the evaluation of 6G technologies, the development of 6G standards, and the implementation and optimization of 6G systems.

eess.SP↗

arXiv2025

High-Speed Ultra-Energy-Efficient Memristor-Based Massive MIMO SIC Detector Circuit with Hybrid Analog-Digital Computing Architecture

The emerging memristor crossbar array based computing circuits exhibit computing speeds and energy efficiency far surpassing those of traditional digital processors. This type of circuits can complete high-dimensional matrix operations in an extremely short time through analog computing, making it naturally applicable to linear detection and maximum likelihood detection in massive multiple-input multiple-output (MIMO) systems. However, the challenge of employing memristor crossbar arrays to efficiently implement other nonlinear detection algorithms, such as the successive interference cancellation (SIC) algorithm, remains unresolved. In this paper we propose a memristor-based circuit design for massive MIMO SIC detector. The proposed circuit comprises several judiciously designed analog matrix computing modules and hybrid analog-digital slicers, which enables the proposed circuit to perform the SIC algorithm with a hybrid analog-digital computing architecture. We show that the computing speed and the computational energy-efficiency of the proposed detector circuit are 43 times faster and 110 times higher, respectively, than those of a traditional 8-core digital signal processor (DSP), and also advantageous over the benchmark high-performance field programmable gate array (FPGA) and graphics processing unit (GPU).

eess.SP↗

arXiv2025

Modeling and Performance Analysis of IoT-over-LEO Satellite Systems under Realistic Operational Constraints: A Stochastic Geometry Approach

Current theoretical studies on IoT-over-LEO satellite systems often rely on unrealistic assumptions, such as infinite terrestrial areas and omnidirectional satellite coverage, leaving significant gaps in theoretical analysis for more realistic operational constraints. These constraints involve finite terrestrial area, limited satellite coverage, Earth curvature effect, integral uplink and downlink analysis, and link-dependent interference. To address these gaps, this paper proposes a novel stochastic geometry based model to rigorously analyze the performance of IoT-over-LEO satellite systems. By adopting a binomial point process (BPP) instead of the conventional Poisson point process (PPP), our model accurately characterizes the geographical distribution of a fixed number of IoT devices in a finite terrestrial region. This modeling framework enables the derivation of distance distribution functions for both the links from the terrestrial IoT devices to the satellites (T-S) and from the satellites to the Earth station (S-ES), while also accounting for limited satellite coverage and Earth curvature effects. To realistically represent channel conditions, the Nakagami fading model is employed for the T-S links to characterize diverse small-scale fading environments, while the shadowed-Rician fading model is used for the S-ES links to capture the combined effects of shadowing and dominant line-of-sight paths. Furthermore, the analysis incorporates uplink and downlink interference, ensuring a comprehensive evaluation of system performance. The accuracy and effectiveness of our theoretical framework are validated through extensive Monte Carlo simulations. These results provide insights into key performance metrics, such as coverage probability and average ergodic rate, for both individual links and the overall system.

cs.NI↗

arXiv2025

Cross-Link Interference Mitigation With Over-the-Air Pilot Forwarding for Dynamic TDD

Dynamic time-division duplex (D-TDD) aided mobile communication systems bear the potential to achieve significantly higher spectral efficiency than traditional static TDD based systems. However, strong cross-link interference (CLI) may be caused by different transmission directions between adjacent cells in D-TDD systems, thus degrading the performance. Most existing CLI mitigation schemes require sharing certain information among base stations (BSs) via backhaul links. This strategy is usually expensive and suffers high latency. Alternatively, we propose a pilot information sharing scheme based on over-the-air forwarding of the downlink pilot of the interfering BS to the interfered BS via a wireless terminal, along with a dedicated CLI channel estimation method. Simulation results demonstrate that thanks to the proposed pilot information sharing scheme the classic interference rejection combining (IRC) receiver achieves a signal detection performance highly comparable to that of the IRC detector with perfect pilot information, necessitating no information sharing among BSs via backhaul links. Furthermore, the proposed CLI channel estimation scheme reduces the impact of errors introduced by pilot forwarding, thereby improving the performance of both CLI channel estimation and signal detection.

eess.SP↗

arXiv2025

Betweenness Centrality Based Dynamic Source Routing for Flying Ad Hoc Networks in Marching Formation

Designing high-performance routing protocols for flying ad hoc networks (FANETs) is challenging due to the diversity of applications and the dynamics of network topology. The existing general-purpose routing protocols for ad hoc networks often oversimplify mobility patterns and disregard the unequal importance of nodes, resulting in suboptimal routing decisions that are unsuitable for task-oriented FANETs. To break the bottleneck, in this paper we propose a betweenness centrality based dynamic source routing (BC-DSR) protocol for a flying ad hoc network (FANET) in marching formation. Firstly, we introduce a Gauss-Markov group (GMG) mobility model based on the leader-follower pattern, which accurately captures the temporal and spatial correlations of node movements in the realistic marching formation. Besides, we exploit the concept of BC defined in graph theory to measure the structural unequal importance of relay nodes, i.e., to determine link weights, in the particular marching formation topology. The path of least cost is calculated relying on a weighted directed graph constructed. The ns-3 based simulation results demonstrate that our BCDSR protocol achieves higher packet-delivery ratio and lower average end-to-end latency and routing overhead ratio than representative benchmark protocols used in FANETs, while maintaining a reasonably small network jitter.

cs.NI↗

arXiv2024

Outage Probability Analysis of Uplink Heterogeneous Non-terrestrial Networks: A Novel Stochastic Geometry Model

In harsh environments such as mountainous terrain, dense vegetation areas, or urban landscapes, a single type of unmanned aerial vehicles (UAVs) may encounter challenges like flight restrictions, difficulty in task execution, or increased risk. Therefore, employing multiple types of UAVs, along with satellite assistance, to collaborate becomes essential in such scenarios. In this context, we present a stochastic geometry based approach for modeling the heterogeneous non-terrestrial networks (NTNs) by using the classical binomial point process and introducing a novel point process, called Mat{é}rn hard-core cluster process (MHCCP). Our MHCCP possesses both the exclusivity and the clustering properties, thus it can better model the aircraft group composed of multiple clusters. Then, we derive closed-form expressions of the outage probability (OP) for the uplink (aerial-to-satellite) of heterogeneous NTNs. Unlike existing studies, our analysis relies on a more advanced system configuration, where the integration of beamforming and frequency division multiple access, and the shadowed-Rician (SR) fading model for interference power, are considered. The accuracy of our theoretical derivation is confirmed by Monte Carlo simulations. Our research offers fundamental insights into the system-level performance optimization of NTNs.

cs.NI↗

arXiv2024

Amplifier-Enhanced Memristive Massive MIMO Linear Detector Circuit: An Ultra-Energy-Efficient and Robust-to-Conductance-Error Design

The emerging analog matrix computing technology based on memristive crossbar array (MCA) constitutes a revolutionary new computational paradigm applicable to a wide range of domains. Despite the proven applicability of MCA for massive multiple-input multiple-output (MIMO) detection, existing schemes do not take into account the unique characteristics of massive MIMO channel matrix. This oversight makes their computational accuracy highly sensitive to conductance errors of memristive devices, which is unacceptable for massive MIMO receivers. In this paper, we propose an MCA-based circuit design for massive MIMO zero forcing and minimum mean-square error detectors. Unlike the existing MCA-based detectors, we decompose the channel matrix into the product of small-scale and large-scale fading coefficient matrices, thus employing an MCA-based matrix computing module and amplifier circuits to process the two matrices separately. We present two conductance mapping schemes which are crucial but have been overlooked in all prior studies on MCA-based detector circuits. The proposed detector circuit exhibits significantly superior performance to the conventional MCA-based detector circuit, while only incurring negligible additional power consumption. Our proposed detector circuit maintains its advantage in energy efficiency over traditional digital approach by tens to hundreds of times.

eess.SP↗

arXiv2024

Distributed Cooperative Positioning in Dense Wireless Networks: A Neural Network Enhanced Fast Convergent Parametric Message Passing Method

Parametric message passing (MP) is a promising technique that provides reliable marginal probability distributions for distributed cooperative positioning (DCP) based on factor graphs (FG), while maintaining minimal computational complexity. However, conventional parametric MP-based DCP methods may fail to converge in dense wireless networks due to numerous short loops on FG. Additionally, the use of inappropriate message approximation techniques can lead to increased sensitivity to initial values and significantly slower convergence rates. To address the challenging DCP problem modeled by a loopy FG, we propose an effective graph neural network enhanced fast convergent parametric MP (GNN--FCPMP) method. We first employ Chebyshev polynomials to approximate the nonlinear terms present in the FG-based spatio-temporal messages. This technique facilitates the derivation of globally precise, closed-form representations for each message transmitted across the FG. Then, the parametric representations of spatial messages are meticulously refined through data-driven graph neural networks (GNNs). Conclusively, by performing inference on the FG, we derive more accurate closed-form expressions for the a posteriori distributions of node positions. Numerical results substantiate the capability of GNN--FCPMP to significantly enhance positioning accuracy within wireless networks characterized by high-density loops and ensure rapid convergence.

eess.SP↗

arXiv2024

In-Memory Massive MIMO Linear Detector Circuit with Extremely High Energy Efficiency and Strong Memristive Conductance Deviation Robustness

The memristive crossbar array (MCA) has been successfully applied to accelerate matrix computations of signal detection in massive multiple-input multiple-output (MIMO) systems. However, the unique property of massive MIMO channel matrix makes the detection performance of existing MCA-based detectors sensitive to conductance deviations of memristive devices, and the conductance deviations are difficult to be avoided. In this paper, we propose an MCA-based detector circuit, which is robust to conductance deviations, to compute massive MIMO zero forcing and minimum mean-square error algorithms. The proposed detector circuit comprises an MCA-based matrix computing module, utilized for processing the small-scale fading coefficient matrix, and amplifier circuits based on operational amplifiers (OAs), utilized for processing the large-scale fading coefficient matrix. We investigate the impacts of the open-loop gain of OAs, conductance mapping scheme, and conductance deviation level on detection performance and demonstrate the performance superiority of the proposed detector circuit over the conventional MCA-based detector circuit. The energy efficiency of the proposed detector circuit surpasses that of a traditional digital processor by several tens to several hundreds of times.

eess.SP↗

arXiv2024

Optimizing Fingerprint-Spectrum-Based Synchronization in Integrated Sensing and Communications

Asynchronous radio transceivers often lead to significant range and velocity ambiguity, posing challenges for precise positioning and velocity estimation in passive-sensing perceptive mobile networks (PMNs). To address this issue, carrier frequency offset (CFO) and time offset (TO) synchronization algorithms have been studied in the literature. However, their performance can be significantly affected by the specific choice of the utilized window functions. Hence, we set out to find superior window functions capable of improving the performance of CFO and TO estimation algorithms. We first derive a near-optimal window, and the theoretical synchronization mean square error (MSE) when utilizing this window. However, since this window is not practically achievable, we then develop a practical window selection criterion and test a special window generated by the super-resolution algorithm. Numerical simulation has verified our analysis.

eess.SP↗

arXiv2024

Clutter Suppression, Time-Frequency Synchronization, and Sensing Parameter Association in Asynchronous Perceptive Vehicular Networks

Significant challenges remain for realizing precise positioning and velocity estimation in perceptive vehicular networks (PVN) enabled by the emerging integrated sensing and communication technology. First, complicated wireless propagation environment generates undesired clutter, which degrades the vehicular sensing performance and increases the computational complexity. Second, in practical PVN, multiple types of parameters individually estimated are not well associated with specific vehicles, which may cause error propagation in multiple-vehicle positioning. Third, radio transceivers in a PVN are naturally asynchronous, which causes strong range and velocity ambiguity. To overcome these challenges, 1) we introduce a moving target indication based joint clutter suppression and sensing algorithm, and analyze its clutter-suppression performance and the Cramer-Rao lower bound of the paired range-velocity estimation upon using the proposed clutter suppression algorithm; 2) we design algorithms for associating individual direction-of-arrival estimates with the paired range-velocity estimates based on "domain transformation"; 3) we propose the first viable carrier frequency offset (CFO) and time offset (TO) estimation algorithm that supports passive vehicular sensing in non-line-of-sight environments. This algorithm treats the delay-Doppler spectrum of the signals reflected by static objects as an environment-specific "fingerprint spectrum", which is shown to exhibit a circular shift property upon changing the CFO and/or TO. Then, the CFO and TO are efficiently estimated by acquiring the number of circular shifts, and we also analyse the mean squared error performance of the proposed time-frequency synchronization algorithm. Simulation results demonstrate the performance advantages of our algorithms under diverse configurations, while corroborating the theoretical analysis.

eess.SP↗

arXiv2024

Windowing Optimization for Fingerprint-Spectrum-Based Passive Sensing in Perceptive Mobile Networks

Perceptive mobile networks (PMN) have been widely recognized as a pivotal pillar for the sixth generation (6G) mobile communication systems. However, the asynchronicity between transmitters and receivers results in velocity and range ambiguity, which seriously degrades the sensing performance. To mitigate the ambiguity, carrier frequency offset (CFO) and time offset (TO) synchronizations have been studied in the literature. However, their performance can be significantly affected by the specific choice of the window functions harnessed. Hence, we set out to find superior window functions capable of improving the performance of CFO and TO estimation algorithms. We firstly derive a near-optimal window, and the theoretical synchronization mean square error (MSE) when utilizing this window. However, since this window is not practically achievable, we then test a practical "window function" by utilizing the multiple signal classification (MUSIC) algorithm, which may lead to excellent synchronization performance.

eess.SP↗

arXiv2024

Stochastic Geometry Based Modelling and Analysis of Uplink Cooperative Satellite-Aerial-Terrestrial Networks for Nomadic Communications with Weak Satellite Coverage

Cooperative satellite-aerial-terrestrial networks (CSATNs), where unmanned aerial vehicles (UAVs) are utilized as nomadic aerial relays (A), are highly valuable for many important applications, such as post-disaster urban reconstruction. In this scenario, direct communication between terrestrial terminals (T) and satellites (S) is often unavailable due to poor propagation conditions for satellite signals, and users tend to congregate in regions of finite size. There is a current dearth in the open literature regarding the uplink performance analysis of CSATN operating under the above constraints, and the few contributions on the uplink model terrestrial terminals by a Poisson point process (PPP) relying on the unrealistic assumption of an infinite area. This paper aims to fill the above research gap. First, we propose a stochastic geometry based innovative model to characterize the impact of the finite-size distribution region of terrestrial terminals in the CSATN by jointly using a binomial point process (BPP) and a type-II Mat{é}rn hard-core point process (MHCPP). Then, we analyze the relationship between the spatial distribution of the coverage areas of aerial nodes and the finite-size distribution region of terrestrial terminals, thereby deriving the distance distribution of the T-A links. Furthermore, we consider the stochastic nature of the spatial distributions of terrestrial terminals and UAVs, and conduct a thorough analysis of the coverage probability and average ergodic rate of the T-A links under Nakagami fading and the A-S links under shadowed-Rician fading. Finally, the accuracy of our theoretical derivations are confirmed by Monte Carlo simulations. Our research offers fundamental insights into the system-level performance optimization for the realistic CSATNs involving nomadic aerial relays and terrestrial terminals confined in a finite-size region.

cs.NI↗