FXFanjiang Xu

Fanjiang Xu

*This is an algorithmically generated author record based on publicly available information.

Current Organizations / Institutes

The organizations/institutes from the scholar's latest article

Previous Organizations / Institutes

The organizations / institutes from the scholar's other articles in the past ten years


Fanjiang Xu has a total of 115 co-authors. Here are the top co-authors by number of shared publications:


Latest Publications

  • Open Access

    D3ER: Supporting Multi-Modal Recommendation via Disentangle and Distillation-based Dynamic Ensemble

    by Bingnan Wang, Yi Li, Xiongxin Tang, Fanjiang Xu, Jiangmeng Li

  • Open Access

    MARS 2.0: A Toolchain for Designing Safety-Critical Cyber-Physical Systems

    by Xiong Xu, Shuling Wang, Bohua Zhan, Binghao Mu, Xiangyu Jin, Guanhua Lin, Xing Li, Fanjiang Xu, Bin Gu, Mengfei Yang, et al.

    This paper presents MARS 2.0, an integrated toolchain for the model-driven design of safety-critical Cyber-Physical Systems (CPSs). MARS 2.0 supports an end-to-end workflow spanning unified modeling, formal verification, and trusted code generation. Building on its predecessor, MARS 2.0 introduces three key enhancements: (1) a co-modeling framework that combines AADL (for system architecture) and Simulink/Stateflow (for functional and physical behaviors)—denoted \(\textsf {AADL}\!\oplus \!\textsf {S/S} \) ; (2) provers based on Hybrid Hoare Logic (HHL) for verifying formal models; and (3) correct-by-construction code generation from verified models. In MARS 2.0, users first construct an \(\textsf {AADL}\!\oplus \!\textsf {S/S} \) model to capture the system’s architecture, control logic, and continuous dynamics in a unified framework. This model is then automatically translated into Hybrid Communicating Sequential Processes (HCSP), a formal modeling language for hybrid systems. The resulting HCSP program can be (1) simulated for rapid validation, and (2) formally verified using the HHLProver suite. Finally, once verified, the HCSP model is compiled into executable ANSI-C or SystemC code. Critically, both the “ \(\textsf {AADL}\!\oplus \!\textsf {S/S} \) to HCSP” translation and the “HCSP to ANSI-C/SystemC” code generation are backed by formal proofs of semantic preservation. By bridging industrial modeling notations with formal methods, MARS 2.0 makes rigorous CPS development accessible to engineers.

  • Self-evolving Agentic Image Restoration via Deliberate Planning and Intuitive Execution

    by Shuang Cui, Fan Ji, Guanglong Sun, Yufei Guo, Xiongxin Tang, Jiangmeng Li, Fanjiang Xu


  • Open Access

    Numerical Demonstration of High-Energy Dissipative Soliton Resonance in a Net-Normal-Dispersion Er3+: ZBLAN Fiber Laser at 2.8 µm

    by Jing Li, Fanjiang Xu, Si Chen, Shudan Tan, Lei Duan, Xiongxin Tang

    High-energy, ultrafast pulse generation from mid-infrared (MIR) fiber lasers is often limited by pulse splitting caused by excessive nonlinear phase accumulation, especially in anomalous-dispersion cavities. Dissipative soliton resonance (DSR) offers a route to energy scaling by accommodating additional gain through temporal pulse broadening under peak-power clamping. Here, we numerically demonstrate DSR operation in a net-normal-dispersion Er3+: ZBLAN mode-locked fiber laser at 2.8 µm, using an As2S3 fiber for dispersion and nonlinear management. Systematic parameter sweeps show that the gain saturation energy primarily governs pulse-energy scaling, whereas the output-coupling ratio controls peak-power extraction and the operation regime. The spectral filter bandwidth and saturable absorber parameters define the stability window and mediate transitions among dissipative solitons, DSR pulses, noise-like pulses, multi-pulse states, and unstable operation. After coordinated cavity optimization, a stable rectangular DSR pulse with a maximum energy of 408.52 nJ is obtained under a 55 nm filter bandwidth, relaxing the narrow-filtering requirement reported in previous MIR DSR designs. A high-peak-power DSR state with 3112.1 W peak power and 316.58 nJ energy is also achieved at a 95% output-coupling ratio. By tuning the As2S3 fiber length, DSR dynamics are also accessed near the zero-dispersion boundary and in the anomalous-dispersion regime, where spike-on-pedestal temporal profiles and dual-peak spectra emerge. This work advances the understanding of MIR DSR dynamics and offers design guidance for compact, high-energy ultrafast sources at 2.8 µm.

  • Open Access

    Exact Moment Estimation of Stochastic Differential Dynamics

    by Shenghua Feng, Jie An, Naijun Zhan, Fanjiang Xu

    Moment estimation for stochastic differential equations (SDEs) is fundamental to the formal reasoning and verification of stochastic dynamical systems, yet remains challenging and is rarely available in closed form. In this paper, we study time-homogeneous SDEs with polynomial drift and diffusion, and investigate when their moments can be computed exactly. We formalize the notion of moment-solvable SDEs and propose a generic symbolic procedure that, for a given monomial, attempts to construct a finite-dimensional linear ordinary differential equation (ODE) system governing its moment, thereby enabling exact computation. We introduce a syntactic class of pro-solvable SDEs, characterized by a block-triangular structure, and prove that all polynomial moments of any pro-solvable SDE admit such finite ODE representations. This class strictly generalizes linear SDEs and includes many nonlinear models. Experimental results demonstrate the effectiveness of our approach.

  • Open Access

    Enhancing Large Language Models for Time-Series Forecasting via Vector-Injected In-Context Learning

    by Jianqi Zhang, Jingyao Wang, Wenwen Qiang, Fanjiang Xu, Changwen Zheng

    The World Wide Web needs reliable predictive capabilities to respond to changes in user behavior and usage patterns. Time series forecasting (TSF) is a key means to achieve this goal. In recent years, the large language models (LLMs) for TSF (LLM4TSF) have achieved good performance. However, there is a significant difference between pretraining corpora and time series data, making it hard to guarantee forecasting quality when directly applying LLMs to TSF; fine-tuning LLMs can mitigate this issue, but often incurs substantial computational overhead. Thus, LLM4TSF faces a dual challenge of prediction performance and compute overhead. To address this, we aim to explore a method for improving the forecasting performance of LLM4TSF while freezing all LLM parameters to reduce computational overhead. Inspired by in-context learning (ICL), we propose LVICL. LVICL uses our vector-injected ICL to inject example information into a frozen LLM, eliciting its in-context learning ability and thereby enhancing its performance on the example-related task (i.e., TSF). Specifically, we first use the LLM together with a learnable context vector adapter to extract a context vector from multiple examples adaptively. This vector contains compressed, example-related information. Subsequently, during the forward pass, we inject this vector into every layer of the LLM to improve forecasting performance. Compared with conventional ICL that adds examples into the prompt, our vector-injected ICL does not increase prompt length; moreover, adaptively deriving a context vector from examples suppresses components harmful to forecasting, thereby improving model performance. Extensive experiments demonstrate the effectiveness of our approach.


  • Towards continual low-light image enhancement through causal inference

    by Fan Ji, Hao Li, Jiangmeng Li, Xiongxin Tang, Fanjiang Xu


  • Efficient Decomposition Identification of Deterministic Finite Automata from Examples

    by Junjie Meng, Jie An, Yong Li, Andrea Turrini, Fanjiang Xu, Naijun Zhan, Miaomiao Zhang

  • All-in-One Image Restoration via Causal-Deconfounding Wavelet-Disentangled Prompt Network

    by Bingnan Wang, Bin Qin, Jiangmeng Li, Fanjiang Xu, Fuchun Sun, Hui Xiong

    Image restoration represents a promising approach for addressing the inherent defects of image content distortion. Standard image restoration approaches suffer from high storage cost and the requirement towards the known degradation pattern, including type and degree, which can barely be satisfied in dynamic practical scenarios. In contrast, all-in-one image restoration (AiOIR) eliminates multiple degradations within a unified model to circumvent the aforementioned issues. However, according to our causal analysis, we disclose that two significant defects still exacerbate the effectiveness and generalization of AiOIR models: 1) the spurious correlation between non-degradation semantic features and degradation patterns; 2) the biased estimation of degradation patterns. To obtain the true causation between degraded images and restored images, we propose Causal-deconfounding Wavelet-disentangled Prompt Network (CWP-Net) to perform effective AiOIR. CWP-Net introduces two modules for decoupling, i.e., wavelet attention module of encoder and wavelet attention module of decoder. These modules explicitly disentangle the degradation and semantic features to tackle the issue of spurious correlation. To address the issue stemming from the biased estimation of degradation patterns, CWP-Net leverages a wavelet prompt block to generate the alternative variable for causal deconfounding. Extensive experiments on two all-in-one settings prove the effectiveness and superior performance of our proposed CWP-Net over the state-of-the-art AiOIR methods.