arXiv subjects

Huanyao Sun

Publications and source records attributed to Huanyao Sun.

3 recordsLinked to original sources

arXiv2024

Realization of cold atom gyroscope in space

High-precision gyroscopes in space are essential for fundamental physics research and navigation. Due to its potential high precision, the cold atom gyroscope is expected to be the next generation of gyroscopes in space. Here, we report the first realization of a cold atom gyroscope, which was demonstrated by the atom interferometer installed in the China Space Station (CSS) as a payload. By compensating for CSS's high dynamic rotation rate using a built-in piezoelectric mirror, spatial interference fringes in the interferometer are successfully obtained. Then, the optimized ratio of the Raman laser's angles is derived, the coefficients of the piezoelectric mirror are self-calibrated in orbit, and various systemic effects are corrected. We achieve a rotation measurement resolution of 50*10^-6 rad/s for a single shot and 17*10^-6 rad/s for an average number of 32. The measured rotation is (-1142+/-29)*10^-6 rad/s and is compatible with that recorded by the classical gyroscope of the CSS. This study paves the way for developing high-precision cold atom gyroscopes in space.

physics.atom-ph↗

arXiv2023

The space cold atom interferometer for testing the equivalence principle in the China Space Station

The precision of the weak equivalence principle (WEP) test using atom interferometers (AIs) is expected to be extremely high in microgravity environment. The microgravity scientific laboratory cabinet (MSLC) in the China Space Station (CSS) can provide a higher-level microgravity than the CSS itself, which provides a good experimental environment for scientific experiments that require high microgravity. We designed and realized a payload of a dual-species cold rubidium atom interferometer. The payload is highly integrated and has a size of 460 mm * 330 mm * 260 mm. It will be installed in the MSLC to carry out high-precision WEP test experiment. In this article, we introduce the constraints and guidelines of the payload design, the compositions and functions of the scientific payload, the expected test precision in space, and some results of the ground test experiments

physics.atom-ph↗

arXiv2017

Diversified Top-k Partial MaxSAT Solving

We introduce a diversified top-k partial MaxSAT problem, a combination of partial MaxSAT problem and enumeration problem. Given a partial MaxSAT formula F and a positive integer k, the diversified top-k partial MaxSAT is to find k maximal solutions for F such that the k maximal solutions satisfy the maximum number of soft clauses of F. This problem can be widely used in many applications including community detection, sensor place, motif discovery, and combinatorial testing. We prove the problem is NP-hard and propose an approach for solving the problem. The concrete idea of the approach is to design an encoding EE which reduces diversified top-k partial MaxSAT problem into partial MaxSAT problem, and then solve the resulting problem with state-of-art solvers. In addition, we present an algorithm MEMKC exactly solving the diversified top-k partial MaxSAT. Through several experiments we show that our approach can be successfully applied to the interesting problem.

cs.AI↗