arXiv subjects

Peng Shi

Publications and source records attributed to Peng Shi.

At least 55 records · Page 3Linked to original sources

arXiv2025

Energy Transition Domain and Its Application in Constructing Gravity-Assist Escape Trajectories

This Note proposes the concept and theory of energy transition domain (ETD) defined by the mechanical energy of spacecraft in the Earth-Moon planar circular restricted three-body problem (PCR3BP) inspired by the pioneering work from Ano{è} et al. (2024) on the ETD defined by the two-body energy with respect to the secordary body in the PCR3BP. An effective construction method of gravity-assist escape trajectories is then proposed. Firstly, the concept of the ETD defined by the mechanical energy is presented, and its dependency on the Jacobi energy is analyzed. This dependency may provide prior knowledge about selecting the range of the Jacobi energy in the construction of escape trajectories. Then, gravity-assist escape trajectories departing from the 167 km low Earth orbit and 36000 km geosynchronous Earth orbit are constructed based on the ETD. The initial states are selected in the sphere of influence of the Moon, and the trajectories are searched from the forward and backward integration. Finally, the obtained solutions are presented and analyzed.

astro-ph.EP↗

arXiv2025

Distributed Optimal Coverage Control in Multi-agent Systems: Known and Unknown Environments

This paper introduces a novel approach to solve the coverage optimization problem in multi-agent systems. The proposed technique offers an optimal solution with a lower cost with respect to conventional Voronoi-based techniques by effectively handling the issue of agents remaining stationary in regions void of information using a ranking function. The proposed approach leverages a novel cost function for optimizing the agents coverage and the cost function eventually aligns with the conventional Voronoi-based cost function. Theoretical analyses are conducted to assure the asymptotic convergence of agents towards the optimal configuration. A distinguishing feature of this approach lies in its departure from the reliance on geometric methods that are characteristic of Voronoi-based approaches; hence can be implemented more simply. Remarkably, the technique is adaptive and applicable to various environments with both known and unknown information distributions. Lastly, the efficacy of the proposed method is demonstrated through simulations, and the obtained results are compared with those of Voronoi-based algorithms.

eess.SY↗

arXiv2025

Families of Transfers from circular low Earth orbit to Distant Prograde Orbit around the Moon

Distant prograde orbits around the Moon exhibit remarkable potential for practical applications such as cislunar surveillance activities and low-energy transfers due to their instability. Previous works on transfers from circular low Earth orbit to distant prograde orbits mainly focused on construction methods based on dynamical structures, lacking a comprehensive analysis of the solution space of this transfer scenario. This paper investigates the solution space and identifies families of transfers from a 167 km circular low Earth orbit to a 1:1 distant prograde orbit. In particular, grid search and trajectory continuation are performed to construct these transfer trajectories. Initial guesses of the transfers are selected in the 1:1 distant prograde orbit through a backward propagation strategy and are then corrected to satisfy specified constraints. Based on the obtained solutions, a linear predictor is derived to predict more feasible solutions and a predictor-corrector continuation method is used to extend the solution space. Twelve transfer families are identified, most of which are new or previously underexplored. The distributions of construction parameters and transfer characteristics of these twelve families are analyzed and discussed, showing which families are applicable to which types of specific practical missions. Comparison between the obtained solution and solution developed by previous works is further performed to imply the effects of the selection of dynamical model on transfer construction.

astro-ph.EP↗

arXiv2025

Metis-RISE: RL Incentivizes and SFT Enhances Multimodal Reasoning Model Learning

Recent advancements in large language models (LLMs) have witnessed a surge in the development of advanced reasoning paradigms, which are now being integrated into multimodal large language models (MLLMs). However, existing approaches often fall short: methods solely employing reinforcement learning (RL) can struggle with sample inefficiency and activating entirely absent reasoning capabilities, while conventional pipelines that initiate with a cold-start supervised fine-tuning (SFT) phase before RL may restrict the model's exploratory capacity and face suboptimal convergence. In this work, we introduce \textbf{Metis-RISE} (\textbf{R}L \textbf{I}ncentivizes and \textbf{S}FT \textbf{E}nhances) for multimodal reasoning model learning. Unlike conventional approaches, Metis-RISE distinctively omits an initial SFT stage, beginning instead with an RL phase (e.g., using a Group Relative Policy Optimization variant) to incentivize and activate the model's latent reasoning capacity. Subsequently, the targeted SFT stage addresses two key challenges identified during RL: (1) \textit{inefficient trajectory sampling} for tasks where the model possesses but inconsistently applies correct reasoning, which we tackle using self-distilled reasoning trajectories from the RL model itself; and (2) \textit{fundamental capability absence}, which we address by injecting expert-augmented knowledge for prompts where the model entirely fails. This strategic application of RL for incentivization followed by SFT for enhancement forms the core of Metis-RISE, leading to two versions of our MLLMs (7B and 72B parameters). Evaluations on the OpenCompass Multimodal Reasoning Leaderboard demonstrate that both models achieve state-of-the-art performance among similar-sized models, with the 72B version ranking fourth overall. Please refer to our project page for open-source information.

cs.AI↗

arXiv2025

Learning event-triggered controllers for linear parameter-varying systems from data

Nonlinear dynamical behaviours in engineering applications can be approximated by linear-parameter varying (LPV) representations, but obtaining precise model knowledge to develop a control algorithm is difficult in practice. In this paper, we develop the data-driven control strategies for event-triggered LPV systems with stability verifications. First, we provide the theoretical analysis of $θ$-persistence of excitation for LPV systems, which leads to the feasible data-based representations. Then, in terms of the available perturbed data, we derive the stability certificates for event-triggered LPV systems with the aid of Petersen's lemma in the sense of robust control, resulting in the computationally tractable semidefinite programmings, the feasible solutions of which yields the optimal gain schedulings. Besides, we generalize the data-driven eventtriggered LPV control methods to the scenario of reference trajectory tracking, and discuss the robust tracking stability accordingly. Finally, we verify the effectiveness of our theoretical derivations by numerical simulations.

eess.SY↗

arXiv2025

HRScene: How Far Are VLMs from Effective High-Resolution Image Understanding?

High-resolution image (HRI) understanding aims to process images with a large number of pixels, such as pathological images and agricultural aerial images, both of which can exceed 1 million pixels. Vision Large Language Models (VLMs) can allegedly handle HRIs, however, there is a lack of a comprehensive benchmark for VLMs to evaluate HRI understanding. To address this gap, we introduce HRScene, a novel unified benchmark for HRI understanding with rich scenes. HRScene incorporates 25 real-world datasets and 2 synthetic diagnostic datasets with resolutions ranging from 1,024 $\times$ 1,024 to 35,503 $\times$ 26,627. HRScene is collected and re-annotated by 10 graduate-level annotators, covering 25 scenarios, ranging from microscopic to radiology images, street views, long-range pictures, and telescope images. It includes HRIs of real-world objects, scanned documents, and composite multi-image. The two diagnostic evaluation datasets are synthesized by combining the target image with the gold answer and distracting images in different orders, assessing how well models utilize regions in HRI. We conduct extensive experiments involving 28 VLMs, including Gemini 2.0 Flash and GPT-4o. Experiments on HRScene show that current VLMs achieve an average accuracy of around 50% on real-world tasks, revealing significant gaps in HRI understanding. Results on synthetic datasets reveal that VLMs struggle to effectively utilize HRI regions, showing significant Regional Divergence and lost-in-middle, shedding light on future research.

cs.CL↗

arXiv2025

Design and Continuation of Nonlinear Teardrop Hovering Formation along the Near Rectilinear Halo Orbit

This short communication is devoted to the design and continuation of a teardrop hovering formation along the Near Rectilinear Halo orbit and provides further insights into future on-orbit services in the cislunar space. First, we extend the concept of the teardrop hovering formation to scenarios along the Near Rectilinear Halo orbit in the Earth-Moon circular restricted three-body problem. Then, we develop two methods for designing these formations based on the nonlinear model for relative motion. The first method addresses the design of the teardrop hovering formations with relatively short revisit distances, while the second method continues hovering trajectories from short to longer revisit distances. In particular, new continuation method is developed to meet the design requirements of this new scenario. Simulation results verify the effectiveness of the proposed methods, and a near-natural teardrop hovering formation is achieved by considering the dynamical properties near the NRHO. Comparisons between design results obtained using linear and nonlinear models further strengthen the necessity of using the nonlinear model.

math.OC↗

arXiv2025

Analytical Strategies and Winning Conditions for Elliptic-Orbit Target-Attacker-Defender Game

This paper proposes an analytical framework for the orbital Target-Attacker-Defender game with a non-maneuvering target along elliptic orbits. Focusing on the linear quadratic game, we derive an analytical solution to the matrix Riccati equation, which yields analytical Nash-equilibrium strategies for the game. Based on the analytical strategies, we derive the analytical form of the necessary and sufficient winning conditions for the attacker. The simulation results show good consistency between the analytical and numerical methods, exhibiting 0.004$\%$ relative error in the cost function. The analytical method achieves over 99.9$\%$ reduction in CPU time compared to the conventional numerical method, strengthening the advantage of developing the analytical strategies. Furthermore, we verify the proposed winning conditions and investigate the effects of eccentricity on the game outcomes. Our analysis reveals that for games with hovering initial states, the initial position of the defender should be constrained inside a mathematically definable set to ensure that the attacker wins the game. This constrained set further permits geometric interpretation through our proposed method. This work establishes the analytical framework for orbital Target-Attacker-Defender games, providing fundamental insights into the solution analysis of the game.

math.OC↗

arXiv2025

Neutron particle transport 3D method of characteristic Multi GPU platform Parallel Computing

Three-dimensional neutron transport calculations using the Method of Characteristics (MOC) are highly regarded for their exceptional computational efficiency, precision, and stability. Nevertheless, when dealing with extensive-scale computations, the computational demands are substantial, leading to prolonged computation times. To address this challenge while considering GPU memory limitations, this study transplants the real-time generation and characteristic line computation techniques onto the GPU platform. Empirical evidence emphasizes that the GPU-optimized approach maintains a heightened level of precision in computation results and produces a significant acceleration effect. Furthermore, to fully harness the computational capabilities of GPUs, a dual approach involving characteristic line preloading and load balancing mechanisms is adopted, further enhancing computational efficiency. The resulting increase in computational efficiency, compared to traditional methods, reaches an impressive 300 to 400-fold improvement.

cs.DC↗

arXiv2024

Analytical Pursuit-Evasion Game Strategy in Arbitrary Keplerian Reference Orbits

This paper develops an analytical strategy for solving the linear quadratic pursuit-evasion game in arbitrary Keplerian reference orbits. The motion of the pursuer and evader is described using the controlled Tschauner-Hempel equations, and the optimal game strategies of the pursuer and evader are presented by the solution of the differential Riccati equation.The analytical solution of the differential Riccati equation is presented for elliptic, parabolic, and hyperbolic reference orbits, thereby enabling an analytical pursuit-evasion game strategy. Then, the procedure to solve the pursuit-evasion game using this analytical strategy is proposed. Simulations of pursuit-evasion game in elliptic, parabolic, and hyperbolic reference orbits validate the effectiveness of the developed analytical strategy. Results indicates that the analytical strategy saves the CPU time by more than 99.8$\%$ compared to the numerical one, highlighting the efficiency of the developed strategy. The developed analytical strategy is also applicable to pursuit-evasion game scenarios considering orbital disturbances. Compared to the conventional strategy, which succeed in only two out of six test scenarios, the developed strategy achieves success in all six cases, particularly demonstrating its effectiveness in high-eccentricity cases.

math.OC↗

arXiv2024

Spintwistronics: Photonic bilayer topological lattices tuning extreme spin-orbit interactions

Twistronics, the manipulation of Moiré superlattices via the twisting of two layers of two-dimensional (2D) materials to control diverse and nontrivial properties, has recently revolutionized the condensed matter and materials physics. Here, we introduce the principles of twistronics to spin photonics, coining this emerging field spintwistronics. In spintwistronics, instead of 2D materials, the two layers consist of photonic topological spin lattices on a surface plasmonic polariton (SPP) platform. Each 2D SPP wave supports the construction of topological lattices formed by photonic spins with stable skyrmion topology governed by rotational symmetry. By introducing spintwistronics into plasmonics, we demonstrate theoretically and experimentally that two layers of photonic spin lattices can produce Moiré spin superlattices at specific magic angles. These superlattices, modulated periodically by the quantum number of total angular momentum, exhibit novel properties-including new quasiparticle topologies, multiple fractal patterns, extremely slow-light control, and more-that cannot be achieved in conventional plasmonic systems. As a result, they open up multiple degrees of freedom for practical applications in quantum information, optical data storage and chiral light-matter interactions.

physics.optics↗

arXiv2024

Generalized Skyrmions

Skyrmions are important topologically non-trivial fields characteristic of models spanning scales from the microscopic to the cosmological. However, the Skyrmion number can only be defined for fields with specific boundary conditions, limiting its use in broader contexts. Here, we address this issue through a generalized notion of the Skyrmion derived from the De Rham cohomology of compactly supported forms. This allows for the definition of an entirely new $\coprod_{i=1}^\infty \mathbb{Z}^i$-valued topological number that assigns a tuple of integers $(a_1, \ldots, a_k)\in \mathbb{Z}^k$ to a field instead of a single number, with no restrictions to its boundary. The notion of the generalized Skyrmion presented in this paper is completely abstract and can be applied to vector fields in any discipline, not unlike index theory within dynamical systems. To demonstrate the power of our new formalism, we focus on the propagation of optical polarization fields and show that our newly defined generalized Skyrmion number significantly increases the dimension of data that can be stored within the field while also demonstrating strong robustness. Our work represents a fundamental paradigm shift away from the study of fields with natural topological character to engineered fields that can be artificially embedded with topological structures.

physics.optics↗

arXiv2024

You Only Read Once (YORO): Learning to Internalize Database Knowledge for Text-to-SQL

While significant progress has been made on the text-to-SQL task, recent solutions repeatedly encode the same database schema for every question, resulting in unnecessary high inference cost and often overlooking crucial database knowledge. To address these issues, we propose You Only Read Once (YORO), a novel paradigm that directly internalizes database knowledge into the parametric knowledge of a text-to-SQL model during training and eliminates the need for schema encoding during inference. YORO significantly reduces the input token length by 66%-98%. Despite its shorter inputs, our empirical results demonstrate YORO's competitive performances with traditional systems on three benchmarks as well as its significant outperformance on large databases. Furthermore, YORO excels in handling questions with challenging value retrievals such as abbreviation.

cs.CL↗

arXiv2024

Nonlinear Cooperative Output Regulation with Input Delay Compensation

This paper investigates the cooperative output regulation (COR) of nonlinear multi-agent systems (MASs) with long input delay based on periodic event-triggered mechanism. Compared with other mechanisms, periodic event-triggered control can automatically guarantee a Zeno-free behavior and avoid the continuous monitoring of triggered conditions. First, a new periodic event-triggered distributed observer, which is based on the fully asynchronous communication data, is proposed to estimate the leader information. Second, a new distributed predictor feedback control method is proposed for the considered nonlinear MASs with input delay. By coordinate transformation, the MASs are mapped into new coupled ODE-PDE target systems with some disturbance-like terms. Then, we show that the COR problem is solvable. At last, to further save the communication resource, a periodic event-triggered mechanism is considered in the sensor-to-controller transmission in every agent. A new periodic event-triggered filter is proposed to deal with the periodic event-triggered feedback data. The MASs with input delay are mapped into coupled ODE-PDE target systems with sampled data information. Then, Lyapunov-Krasovskii functions are constructed to demonstrate the exponential stability of the MASs. Simulations verify the validity of the proposed results.

eess.SY↗

arXiv2024

RAGChecker: A Fine-grained Framework for Diagnosing Retrieval-Augmented Generation

Despite Retrieval-Augmented Generation (RAG) showing promising capability in leveraging external knowledge, a comprehensive evaluation of RAG systems is still challenging due to the modular nature of RAG, evaluation of long-form responses and reliability of measurements. In this paper, we propose a fine-grained evaluation framework, RAGChecker, that incorporates a suite of diagnostic metrics for both the retrieval and generation modules. Meta evaluation verifies that RAGChecker has significantly better correlations with human judgments than other evaluation metrics. Using RAGChecker, we evaluate 8 RAG systems and conduct an in-depth analysis of their performance, revealing insightful patterns and trade-offs in the design choices of RAG architectures. The metrics of RAGChecker can guide researchers and practitioners in developing more effective RAG systems. This work has been open sourced at https://github.com/amazon-science/RAGChecker.

cs.CL↗

arXiv2024

Fluid dynamics described from new dynamic hypothesis

In order to address the difficulties of classical fluid kinematics in describing vorticity and the paradox of linear correlation between viscous force and vorticity in the Navier-Stokes equations, the study examines the inherent relationship between momentum conservation and energy conservation and rederives the fundamental equations of fluid flow from new dynamic hypothesis. The study reveals that momentum conservation and mechanical energy conservation are the same concept termed in different descriptions. The material derivative of velocity is to depict the acceleration of fluid particles in Eulerian perspective. In the study, it is assumed that fluids only obey the theorem of momentum, which describes the translational motion of fluids. The centroid of fluid elements can undergo translational motion under a curl force field. In the hypothesis, the symmetry of stress tensor is determined by the properties of stress field rather than the conservation of moment of momentum for fluid elements. The stress tensor is symmetric when stress field is a curl free field, and the stress tensor is asymmetric when stress field is a curl field. New dynamic equilibrium equations for fluids and the constitutive relationship for Newtonian fluid are proposed under the hypothesis. The Navier-Stokes equations are obtained. The new model of fluid dynamics does not require Stokes hypothesis. It is obtained that vorticity reflects the magnitude distribution of shear flow in flow field.

physics.class-ph↗

arXiv2024

Effect of mismatch on Doppler backscattering in MAST and MAST-U plasmas

The Doppler backscattering (DBS) diagnostic, also referred to as Doppler reflectometry, measures turbulent density fluctuations of intermediate length scales. However, when the beam's wavevector is not properly aligned perpendicular to the magnetic field, the backscattered power is attenuated. In previous work, we used beam tracing and reciprocity to derive this mismatch attenuation quantitatively. In this paper, we applied our model, in the small but finite mismatch limit, to a several new cases. We compared our predictions with multiple O-mode channels for the first time. We then identified a $\sim 3^{\circ}$ error in the MAST Q-band's quasioptics, showing that our model is useful for commissioning DBS diagnostics. For both O- and X-mode, we compared experimental data with our model's predictions at multiple times during the shots, unlike our previous work, where only a single time was analysed. Finally, we analysed other contributions to the backscattered signal, evaluating how much they affect our measurements of mismatch attenuation, giving comparisons with data from both MAST and MAST-U. This paper's detailed study systematically validates and demonstrates the usefulness of our model for quantitatively interpreting DBS data from spherical tokamaks.

physics.plasm-ph↗

arXiv2024

On the derivation of the equilibrium equations in terms of displacement

The study shows that errors exist in the derivation of equilibrium equations in terms of displacement. It is discovered that when the equilibrium equations in terms of displacement are derived, the variation of the differential order of displacement may cause the variation of the stress state in an elastomer. For plane stress problems, the Lame-Navier equations are not equivalent to the equilibrium equations described with stress. By submitting the displacement field of the well-known issue of a rectangular beam purely bent into the Lame-Navier equations, the conclusion is confirmed. It is also revealed that the velocity of longitudinal wave in an elastomer is affected by its thickness.

cond-mat.soft↗