arXiv subjects

Jing Ye

Publications and source records attributed to Jing Ye.

At least 37 records · Page 2Linked to original sources

arXiv2025

The Solar Close Observations and Proximity Experiments (SCOPE) mission

The Solar Close Observations and Proximity Experiments (SCOPE) mission will send a spacecraft into the solar atmosphere at a low altitude of just 5 R_sun from the solar center. It aims to elucidate the mechanisms behind solar eruptions and coronal heating, and to directly measure the coronal magnetic field. The mission will perform in situ measurements of the current sheet between coronal mass ejections and their associated solar flares, and energetic particles produced by either reconnection or fast-mode shocks driven by coronal mass ejections. This will help to resolve the nature of reconnections in current sheets, and energetic particle acceleration regions. To investigate coronal heating, the mission will observe nano-flares on scales smaller than 70 km in the solar corona and regions smaller than 40 km in the photosphere, where magnetohydrodynamic waves originate. To study solar wind acceleration mechanisms, the mission will also track the process of ion charge-state freezing in the solar wind. A key achievement will be the observation of the coronal magnetic field at unprecedented proximity to the solar photosphere. The polar regions will also be observed at close range, and the inner edge of the solar system dust disk may be identified for the first time. This work presents the detailed background, science, and mission concept of SCOPE and discusses how we aim to address the questions mentioned above.

astro-ph.SR↗

arXiv2025

InF-ATPG: Intelligent FFR-Driven ATPG with Advanced Circuit Representation Guided Reinforcement Learning

Automatic test pattern generation (ATPG) is a crucial process in integrated circuit (IC) design and testing, responsible for efficiently generating test patterns. As semiconductor technology progresses, traditional ATPG struggles with long execution times to achieve the expected fault coverage, which impacts the time-to-market of chips. Recent machine learning techniques, like reinforcement learning (RL) and graph neural networks (GNNs), show promise but face issues such as reward delay in RL models and inadequate circuit representation in GNN-based methods. In this paper, we propose InF-ATPG, an intelligent FFR-driven ATPG framework that overcomes these challenges by using advanced circuit representation to guide RL. By partitioning circuits into fanout-free regions (FFRs) and incorporating ATPG-specific features into a novel QGNN architecture, InF-ATPG enhances test pattern generation efficiency. Experimental results show InF-ATPG reduces backtracks by 55.06\% on average compared to traditional methods and 38.31\% compared to the machine learning approach, while also improving fault coverage.

cs.AR↗

arXiv2025

Think with Self-Decoupling and Self-Verification: Automated RTL Design with Backtrack-ToT

Large language models (LLMs) hold promise for automating integrated circuit (IC) engineering using register transfer level (RTL) hardware description languages (HDLs) like Verilog. However, challenges remain in ensuring the quality of Verilog generation. Complex designs often fail in a single generation due to the lack of targeted decoupling strategies, and evaluating the correctness of decoupled sub-tasks remains difficult. While the chain-of-thought (CoT) method is commonly used to improve LLM reasoning, it has been largely ineffective in automating IC design workflows, requiring manual intervention. The key issue is controlling CoT reasoning direction and step granularity, which do not align with expert RTL design knowledge. This paper introduces VeriBToT, a specialized LLM reasoning paradigm for automated Verilog generation. By integrating Top-down and design-for-verification (DFV) approaches, VeriBToT achieves self-decoupling and self-verification of intermediate steps, constructing a Backtrack Tree of Thought with formal operators. Compared to traditional CoT paradigms, our approach enhances Verilog generation while optimizing token costs through flexible modularity, hierarchy, and reusability.

cs.AR↗

arXiv2025

Coronal Mass Ejections Deflected by Newly Emerging Flux: A Combined Analytic and Numerical Study

Newly emerging flux (NEF) has been widely studied as a trigger of solar filament eruptions, but its influence on the subsequent dynamics remains poorly explored. Because NEF typically emerges adjacent to filaments, it imposes magnetic asymmetry that can drive non-radial eruptions and complicate space-weather forecasting. We bridge analytic catastrophe theory with 2D resistive MHD simulations: analytic solutions provide magnetic configurations containing a flux rope at the loss-of-equilibrium point, which are then used as initial conditions for simulations to examine the following dynamics. We find that NEF governs the kinematics of filament eruptions in two ways. First, by reshaping coronal stability, NEF can create or eliminate a higher equilibrium in corona, thereby producing failed eruptions or CMEs. In the transitional situation where a metastable equilibrium appears, the rising filament decelerates and stalls before re-accelerating into a CME, consistent with observed two-step eruptions. Second, by breaking symmetry, NEF deflects eruptions away from the radial direction: depending on its polarity, it acts as a repulsor or an attractor on eruptive filaments, and the deflection magnitude increases with the degree of asymmetry. Our theory yields two characteristic angles that predict the deflection directions of CMEs and failed eruptions, and simulations closely aligns with these predictors. These results highlight the NEF not only as a trigger but also as a key factor that governs both the acceleration and deflection of eruptions during their propagation in the low corona.

astro-ph.SR↗

arXiv2025

QFP Waves Driven by the Tuning-Fork Effect during Magnetic Reconnecion

Through three-dimensional MHD simulations, we have uncovered a kind of fast coronal wave originating from both ends of a current sheet (CS) during a solar eruption. These waves are observed to appear near the top and bottom ends of the reconnection-related CS. The simulations demonstrate the presence of termination shock regions above the two ends of the CS. As the reconnection outflows escape from the vertical CS and encounter these termination shocks, they undergo partial reflection, redirecting towards the CS terminal fork walls. The identified waves propagate rapidly at a speed of approximately 1400 km/s with a period of just 2 s. Concurrently, the time-evolution of intensity within a small region of the CS terminal fork structures, exhibits a similar oscillation period of 2 s. All these evidence supports the notion that these QFP (Quasi-periodic Fast-Propagating) waves were excited by tuning fork effects within the CS system. Essentially, the rapid reconnection outflows are reflected by the terminal shocks, striking the fork walls at the CS ends. Moreover, parts of the oscillations along the tuning fork handle are transformed into thermal energy, accumulating in the CS center and elevating the temperature. This is the first time to report such QFP waves resulting from tuning fork effects within the CS during a solar eruption. These waves are anticipated to manifest closely following the propagation of CMEs and adjacent to the related post-flare loops in observations, with partial confirmation in current observations.

astro-ph.SR↗

arXiv2025

Faver: Boosting LLM-based RTL Generation with Function Abstracted Verifiable Middleware

LLM-based RTL generation is an interesting research direction, as it holds the potential to liberate the least automated stage in the current chip design. However, due to the substantial semantic gap between high-level specifications and RTL, coupled with limited training data, existing models struggle with generation accuracy. Drawing on human experience, design with verification helps improving accuracy. However, as the RTL testbench data are even more scarce, it is not friendly for LLMs. Although LLMs excel at higher-level languages like Python/C, they have a huge semantic gap from RTL. When implementing the same functionality, Python/C code and hardware code differ significantly in the spatiotemporal granularity, requiring the LLM not only to consider high-level functional semantics but also to ensure the low-level details align with the circuit code. It is not an easy task. In this paper, we propose a function abstracted verifiable middleware (Faver) that streamlines RTL verification in LLM-based workflows. By mixing LLM-friendly code structures with a rule-based template, Faver decouples the details of circuit verification, allowing the LLM to focus on the functionality itself. In our experiments on the SFT model and open-source models, Faver improved the model's generation accuracy by up to 14%.

cs.SE↗

arXiv2025

AMF-MedIT: An Efficient Align-Modulation-Fusion Framework for Medical Image-Tabular Data

Multimodal medical analysis combining image and tabular data has gained increasing attention. However, effective fusion remains challenging due to cross-modal discrepancies in feature dimensions and modality contributions, as well as the noise from high-dimensional tabular inputs. To address these problems, we present AMF-MedIT, an efficient Align-Modulation-Fusion framework for medical image and tabular data integration, particularly under data-scarce conditions. Built upon a self-supervised learning strategy, we introduce the Adaptive Modulation and Fusion (AMF) module, a novel, streamlined fusion paradigm that harmonizes dimension discrepancies and dynamically balances modality contributions. It integrates prior knowledge to guide the allocation of modality contributions in the fusion and employs feature masks together with magnitude and leakage losses to adjust the dimensionality and magnitude of unimodal features. Additionally, we develop FT-Mamba, a powerful tabular encoder leveraging a selective mechanism to handle noisy medical tabular data efficiently. Extensive experiments, including simulations of clinical noise, demonstrate that AMF-MedIT achieves superior accuracy, robustness, and data efficiency across multimodal classification tasks. Interpretability analyses further reveal how FT-Mamba shapes multimodal pretraining and enhances the image encoder's attention, highlighting the practical value of our framework for reliable and efficient clinical artificial intelligence applications.

cs.CV↗

arXiv2025

RIROS: A Parallel RTL Fault SImulation FRamework with TwO-Dimensional Parallelism and Unified Schedule

With the rapid development of safety-critical applications such as autonomous driving and embodied intelligence, the functional safety of the corresponding electronic chips becomes more critical. Ensuring chip functional safety requires performing a large number of time-consuming RTL fault simulations during the design phase, significantly increasing the verification cycle. To meet time-to-market demands while ensuring thorough chip verification, parallel acceleration of RTL fault simulation is necessary. Due to the dynamic nature of fault propagation paths and varying fault propagation capabilities, task loads in RTL fault simulation are highly imbalanced, making traditional singledimension parallel methods, such as structural-level parallelism, ineffective. Through an analysis of fault propagation paths and task loads, we identify two types of tasks in RTL fault simulation: tasks that are few in number but high in load, and tasks that are numerous but low in load. Based on this insight, we propose a two-dimensional parallel approach that combines structurallevel and fault-level parallelism to minimize bubbles in RTL fault simulation. Structural-level parallelism combining with workstealing mechanism is used to handle the numerous low-load tasks, while fault-level parallelism is applied to split the high-load tasks. Besides, we deviate from the traditional serial execution model of computation and global synchronization in RTL simulation by proposing a unified computation/global synchronization scheduling approach, which further eliminates bubbles. Finally, we implemented a parallel RTL fault simulation framework, RIROS. Experimental results show a performance improvement of 7.0 times and 11.0 times compared to the state-of-the-art RTL fault simulation and a commercial tool.

cs.AR↗

arXiv2025

Cardiac-CLIP: A Vision-Language Foundation Model for 3D Cardiac CT Images

Foundation models have demonstrated remarkable potential in medical domain. However, their application to complex cardiovascular diagnostics remains underexplored. In this paper, we present Cardiac-CLIP, a multi-modal foundation model designed for 3D cardiac CT images. Cardiac-CLIP is developed through a two-stage pre-training strategy. The first stage employs a 3D masked autoencoder (MAE) to perform self-supervised representation learning from large-scale unlabeled volumetric data, enabling the visual encoder to capture rich anatomical and contextual features. In the second stage, contrastive learning is introduced to align visual and textual representations, facilitating cross-modal understanding. To support the pre-training, we collect 16641 real clinical CT scans, supplemented by 114k publicly available data. Meanwhile, we standardize free-text radiology reports into unified templates and construct the pathology vectors according to diagnostic attributes, based on which the soft-label matrix is generated to supervise the contrastive learning process. On the other hand, to comprehensively evaluate the effectiveness of Cardiac-CLIP, we collect 6,722 real-clinical data from 12 independent institutions, along with the open-source data to construct the evaluation dataset. Specifically, Cardiac-CLIP is comprehensively evaluated across multiple tasks, including cardiovascular abnormality classification, information retrieval and clinical analysis. Experimental results demonstrate that Cardiac-CLIP achieves state-of-the-art performance across various downstream tasks in both internal and external data. Particularly, Cardiac-CLIP exhibits great effectiveness in supporting complex clinical tasks such as the prospective prediction of acute coronary syndrome, which is notoriously difficult in real-world scenarios.

eess.IV↗

arXiv2025

Weil polynomials of abelian varieties over finite fields

In this paper, we investigate Weil polynomials and their relationship with isogeny classes of abelian varieties over finite fields. We give a necessary condition for a degree 12 polynomial with integer coefficients to be a Weil polynomial. Moreover, we provide explicit criteria that determine when a Weil polynomial of degree 14 occurs as the characteristic polynomial of a Frobenius endomorphism acting on an abelian variety.

math.NT↗

arXiv2025

The effect of plasma-$β$ on the heating mechanisms during magnetic reconnection in partially ionized low solar atmosphere

We performed numerical simulations of magnetic reconnection with different strength of magnetic fields from the solar photosphere to the upper chromosphere. The main emphasis is to identify dominant mechanisms for heating plasmas in the reconnection region under different plasma-$β$ conditions in the partially ionized low solar atmosphere. The numerical results show that more plasmoids are generated in a lower $β$ reconnection event. The frequent coalescence of these plasmoids leads to a significant enhancement of turbulence and compression heating, which becomes the dominant mechanism for heating plasma in a lower plasma-$β$ reconnection process. The average power density of the compression heating (Q$_{comp}$) decreases with increasing initial plasma-$β$ as a power function: Q$_{comp} \sim β_{0}^{-a}$, where the value $a$ is $1.9$ in the photosphere and decreases to about 1.29 in the upper chromosphere. In the photosphere and lower chromosphere, the joule heating contributed by electron-neutral collisions Q$_{en}=η_{en} J^2$ eventually dominates over the compression heating when the initial plasma-$β$ is larger than the critical value $β_{0-critical} = 8$. In the upper chromosphere, the ambipolar diffusion heating and the viscous heating will become equally important as the compression heating when the initial plasma-$β$ is larger than the critical value $β_{0-critical} = 0.5$. These results indicate that the compression heating caused by turbulent reconnection mediated with plasmoids is likely the major heating mechanism for the small-scale reconnection events with stronger magnetic fields such as active region EBs and UV bursts. However, the heating caused by the partial ionization effects can not be ignored for those reconnection events with weaker magnetic fields such as quiet Sun EBs and cold surges.

astro-ph.SR↗

arXiv2025

From Generic Empathy to Personalized Emotional Support: A Self-Evolution Framework for User Preference Alignment

Effective emotional support hinges on understanding users' emotions and needs to provide meaningful comfort during multi-turn interactions. Large Language Models (LLMs) show great potential for expressing empathy; however, they often deliver generic and one-size-fits-all responses that fail to address users' specific needs. To tackle this issue, we propose a self-evolution framework designed to help LLMs improve their responses to better align with users' implicit preferences concerning user profiles (personalities), emotional states, and specific situations. Our framework consists of two distinct phases: \textit{(1)} \textit{Emotional Support Experience Acquisition}, where LLMs are fine-tuned on limited emotional support conversation data to provide basic support, and \textit{(2)} \textit{Self-Improvement for Personalized Emotional Support}, where LLMs leverage self-reflection and self-refinement to generate personalized responses. Through iterative direct preference optimization between the pre- and post-refined responses, our model generates responses that reflect a better understanding of the user's implicit preferences. Extensive experiments and evaluations demonstrate that our method significantly enhances the model's performance in emotional support, reducing unhelpful responses and minimizing discrepancies between user preferences and model outputs.

cs.CL↗

arXiv2025

Extend IVerilog to Support Batch RTL Fault Simulation

The advancement of functional safety has made RTL-level fault simulation increasingly important to achieve iterative efficiency in the early stages of design and to ensure compliance with functional safety standards. In this paper, we extend IVerilog to support batch RTL fault simulation and integrate the event-driven algorithm and the concurrent fault simulation algorithm. Comparative experiments with a state-of-the-art commercial simulator and an open-source RTL fault simulator demonstrate that our simulator achieves a performance improvement of 2.2$\times$ and 3.4$\times$, respectively.

cs.AR↗

arXiv2025

Thermal properties of zero sound in asymmetric nuclear matter

The zero-sound modes at finite temperature are investigated with the relativistic random phase approximation to signal the uncertainty of the equation of state (EOS) of asymmetric nuclear matter. It is observed that in typically selected stiff and soft relativistic mean-field (RMF) models, zero-sound modes arise at low temperature, whereas increasing the temperature gradually breaks the zero sound in soft models, with a smaller density range compared to stiff models. At high density, the presence or absence of zero sound turns out to be correspondingly the character of the stiff or soft RMF EOS. More strikingly, we find by analyzing the dispersion relation and sound velocity that at finite temperature the zero-sound modes in RMF models with the stiff EOS undergo a thermal bifurcation, resulting in the transform of zero sound into the first sound at some momentum $Q>T$. The thermally bifurcated sound branch in the stiff models and the zero-sound branch in the soft models are both highly sensitive to the slope of the symmetry energy, providing promising signals for the pending high-density symmetry energies. In addition, it is found that there exists a nonlinear dispersion relation for both the stiff and soft models that supports the zero sound in the relatively lower density region.

nucl-th↗

arXiv2025

ERASER: Efficient RTL FAult Simulation Framework with Trimmed Execution Redundancy

As intelligent computing devices increasingly integrate into human life, ensuring the functional safety of the corresponding electronic chips becomes more critical. A key metric for functional safety is achieving a sufficient fault coverage. To meet this requirement, extensive time-consuming fault simulation of the RTL code is necessary during the chip design phase.The main overhead in RTL fault simulation comes from simulating behavioral nodes (always blocks). Due to the limited fault propagation capacity, fault simulation results often match the good simulation results for many behavioral nodes. A key strategy for accelerating RTL fault simulation is the identification and elimination of redundant simulations. Existing methods detect redundant executions by examining whether the fault inputs to each RTL node are consistent with the good inputs. However, we observe that this input comparison mechanism overlooks a significant amount of implicit redundant execution: although the fault inputs differ from the good inputs, the node's execution results remain unchanged. Our experiments reveal that this overlooked redundant execution constitutes nearly half of the total execution overhead of behavioral nodes, becoming a significant bottleneck in current RTL fault simulation. The underlying reason for this overlooked redundancy is that, in these cases, the true execution paths within the behavioral nodes are not affected by the changes in input values. In this work, we propose a behavior-level redundancy detection algorithm that focuses on the true execution paths. Building on the elimination of redundant executions, we further developed an efficient RTL fault simulation framework, Eraser.Experimental results show that compared to commercial tools, under the same fault coverage, our framework achieves a 3.9 $\times$ improvement in simulation performance on average.

cs.AR↗

arXiv2024

Components and anisotropy of 3D QFP waves during the early solar eruption

The propagation of disturbances in the solar atmosphere is inherently three dimensional (3D), yet comprehensive studies on the spatial structure and dynamics of 3D wavefronts are scarce. Here we conduct high resolution 3D numerical simulations to investigate filament eruptions, focusing particularly on the 3D structure and genesis of EUV waves. Our results demonstrate that the EUV wavefront forms a dome like configuration subdivided into three distinct zones. The foremost zone, preceding the flux rope, consists of fast-mode shock waves that heat the adjacent plasma. Adjacent to either side of the flux rope, the second zone contains expansion waves that cool the nearby plasma. The third zone, at the juncture of the first two, exhibits minimal disturbances. This anisotropic structure of the wavefront stems from the configuration and dynamics of the flux rope, which acts as a 3D piston during eruptions :compressing the plasma ahead to generate fast mode shocks and evacuating the plasma behind to induce expansion waves. This dynamic results in the observed anisotropic wavefront.Additionally, with synthetic EUV images from simulation data, the EUV waves are observable in Atmospheric Imaging Assembly 193 and 211 angstrom, which are identified as the fast mode shocks. The detection of EUV waves varies with the observational perspective: the face on view reveals EUV waves from the lower to the higher corona, whereas an edge on view uncovers these waves only in the higher corona.

astro-ph.SR↗

arXiv2024

SweetieChat: A Strategy-Enhanced Role-playing Framework for Diverse Scenarios Handling Emotional Support Agent

Large Language Models (LLMs) have demonstrated promising potential in providing empathetic support during interactions. However, their responses often become verbose or overly formulaic, failing to adequately address the diverse emotional support needs of real-world scenarios. To tackle this challenge, we propose an innovative strategy-enhanced role-playing framework, designed to simulate authentic emotional support conversations. Specifically, our approach unfolds in two steps: (1) Strategy-Enhanced Role-Playing Interactions, which involve three pivotal roles -- Seeker, Strategy Counselor, and Supporter -- engaging in diverse scenarios to emulate real-world interactions and promote a broader range of dialogues; and (2) Emotional Support Agent Training, achieved through fine-tuning LLMs using our specially constructed dataset. Within this framework, we develop the \textbf{ServeForEmo} dataset, comprising an extensive collection of 3.7K+ multi-turn dialogues and 62.8K+ utterances. We further present \textbf{SweetieChat}, an emotional support agent capable of handling diverse open-domain scenarios. Extensive experiments and human evaluations confirm the framework's effectiveness in enhancing emotional support, highlighting its unique ability to provide more nuanced and tailored assistance.

cs.CL↗

arXiv2024

Theoretical Studies on the Evolution of Solar Filaments in Response to New Emerging Flux

New emerging flux (NEF) has long been considered a mechanism for solar eruptions, but detailed process remains an open question. In this work, we explore how NEF drives a coronal magnetic configuration to erupt. This configuration is created by two magnetic sources of strengths $M$ and $S$ embedded in the photosphere, one electric-current-carrying flux rope (FR) floating in the corona, and an electric current induced on the photospheric surface by the FR. The source $M$ is fixed accounting for the initial background field, and $S$ changes playing the role of NEF. We introduce the channel function $C$ to forecast the overall evolutionary behavior of the configuration. Location, polarity, and strength of NEF governs the evolutionary behavior of FR before eruption. In the case of $|S/M|<1$ with reconnection occur between new and old fields, the configuration in equilibrium evolves to the critical state, invoking the catastrophe. In this case, if polarities of the new and old fields are opposite, reconnection occurs as NEF is close to FR; and if polarities are the same, reconnection happens as NEF appears far from FR. With different combinations of the relative polarity and the location, the evolutionary behavior of the system gets complex, and the catastrophe may not occur. If $|S/M|>1$ and the two fields have opposite polarity, the catastrophe always takes place; but if the polarities are the same, catastrophe occurs only as NEF is located far from FR; otherwise, the evolution ends up either with failed eruption or without catastrophe at all.

astro-ph.SR↗