papers

Publications (22)

cs.PL2014

A Well-Founded Semantics for FOL-Programs

Yi Bi, Jia-Huai You, Zhiyong Feng

An FOL-program consists of a background theory in a decidable fragment of first-order logic and a collection of rules possibly containing first-order formulas. The formalism stems…

astro-ph.SR2024

Two-sided Loop Solar Jet Driven by the Eruption of a Small Filament in a Big Filament Channel

Jiayan Yang, Hechao Chen, Junchao Hong +2

Similar to the cases of anemone jets, two-sided loop solar jets could also be produced by either flux emergence from the solar interior or small scale filament eruptions. Using the…

astro-ph.SR2026

Observational Evidence for Counter-helicity Magnetic Reconnection in a Solar Eruption

Jinrui Chang, Yi Bi, Bo Yang +3

The paper presents multiwavelength observations and magnetic field modeling of an M7.0 solar flare, showing that reconnection between a low‑lying positive‑helicity core field and a…

#magnetic reconnection#solar eruptions#magnetic helicity#coronal magnetic fields
astro-ph.SR2025

Sympathetic Eruption of Two Filaments and Associated Solar Coronal Jet

Jiayan Yang, Leping Li, Huadong Chen +4

Combining the high-quality observations from the {\it Solar Dynamics Observatory} (SDO), the Global Oscillation Network Group (GONG), and the Chinese H Solar Explorer (CHASE),…

astro-ph.SR2020

Dynamics of descending knots in a solar prominence and their possible contributions to the heating of the local corona

Yi Bi, Bo Yang, Tng Li +2

The knots in solar prominences are often observed to fall with nearly constant velocity, but the associated physical mechanism is currently not well understood. In this letter, we…

astro-ph.SR2025

Moving Plasma Structures and Possible Driving Mechanisms of Solar Microflares Observed with High-Resolution Coronal Imaging

Qingmei Wang, Yi Bi, Hongfei Liang +2

Solar microflares are ubiquitous in the solar corona, yet their driving mechanisms remain a subject of ongoing debate. Using high-resolution coronal observations from the Solar Orb…