arXiv subjects

M. Xie

Publications and source records attributed to M. Xie.

5 recordsLinked to original sources

arXiv2024

Follow-up timing of 12 pulsars discovered in Commensal Radio Astronomy FAST Survey

We present phase-connected timing ephemerides, polarization pulse profiles and Faraday rotation measurements of 12 pulsars discovered by the Five-hundred-meter Aperture Spherical radio Telescope (FAST) in the Commensal Radio Astronomy FAST Survey (CRAFTS). The observational data for each pulsar span at least one year. Among them, PSR J1840+2843 shows subpulse drifting, and five pulsars are detected to exhibit pulse nulling phenomena. PSR J0640$-$0139 and PSR J2031$-$1254 are isolated MSPs with stable spin-down rates ($\dot{P}$) of $4.8981(6) \times $10$^{-20}$\,s\,s$^{-1}$ and $6.01(2) \times $10$^{-21}$\,s\,s$^{-1}$, respectively. Additionally, one pulsar (PSR J1602$-$0611) is in a neutron star - white dwarf binary system with 18.23-d orbit and a companion of $\leq$ 0.65M$_{\odot}$. PSR J1602$-$0611 has a spin period, companion mass, and orbital eccentricity that are consistent with the theoretical expectations for MSP - Helium white dwarf (He - WD) systems. Therefore, we believe it might be an MSP-He WD binary system. The locations of PSRs J1751$-$0542 and J1840+2843 on the $P-\dot{P}$ diagram are beyond the traditional death line. This indicates that FAST has discovered some low $\dot{E}$ pulsars, contributing new samples for testing pulsar radiation theories. We estimated the distances of these 12 pulsars based on NE2001 and YMW16 electron density models, and our work enhances the dataset for investigating the electron density model of the Galaxy.

astro-ph.HE↗

arXiv2023

Using Program Knowledge Graph to Uncover Software Vulnerabilities

In an increasingly interconnected and data-driven world, the importance of robust security measures cannot be overstated. A knowledge graph constructed with information extracted from the system along with the desired security behavior can be utilized to identify complex security vulnerabilities hidden underneath the systems. Unfortunately, existing security knowledge graphs are constructed from coarse-grained information extracted from publicly available vulnerability reports, which are not equipped to check actual security violations in real-world system implementations. In this poster, we present a novel approach of using Program Knowledge Graph that is embedded with fine-grained execution information of the systems (e.g., callgraph, data-flow, etc.) along with information extracted from the public vulnerability and weakness datasets (e.g., CVE and CWE). We further demonstrate that our custom security knowledge graph can be checked against the standard queries generated by LLM, providing a powerful way to identify security vulnerabilities and weaknesses in critical systems.

cs.CR↗

arXiv2022

Arecibo and FAST Timing Follow-up of twelve Millisecond Pulsars Discovered in Commensal Radio Astronomy FAST Survey

We report the phase-connected timing ephemeris, polarization pulse profiles, Faraday rotation measurements, and Rotating-Vector-Model (RVM) fitting results of twelve millisecond pulsars (MSPs) discovered with the Five-hundred-meter Aperture Spherical radio Telescope (FAST) in the Commensal radio Astronomy FAST survey (CRAFTS). The timing campaigns were carried out with FAST and Arecibo over three years. Eleven of the twelve pulsars are in neutron star - white dwarf binary systems, with orbital periods between 2.4 and 100 d. Ten of them have spin periods, companion masses, and orbital eccentricities that are consistent with the theoretical expectations for MSP - Helium white dwarf (He WD) systems. The last binary pulsar (PSR J1912$-$0952) has a significantly smaller spin frequency and a smaller companion mass, the latter could be caused by a low orbital inclination for the system. Its orbital period of 29 days is well within the range of orbital periods where some MSP - He WD systems have shown anomalous eccentricities, however, the eccentricity of PSR J1912$-$0952 is typical of what one finds for the remaining MSP - He WD systems.

astro-ph.HE↗

arXiv2021

Non-iterative Optimization Algorithm for Active Distribution Grids Considering Uncertainty of Feeder Parameters

To cope with fast-fluctuating distributed energy resources (DERs) and uncontrolled loads, this paper formulates a time-varying optimization problem for distribution grids with DERs and develops a novel non-iterative algorithm to track the optimal solutions. Different from existing methods, the proposed approach does not require iterations during the sampling interval. It only needs to perform a single one-step calculation at each interval to obtain the evolution of the optimal trajectory, which demonstrates fast calculation and online-tracking capability with an asymptotically vanishing error. Specifically, the designed approach contains two terms: a prediction term tracking the change in the optimal solution based on the time-varying nature of system power, and a correction term pushing the solution toward the optimum based on Newton's method. Moreover, the proposed algorithm can be applied in the absence of an accurate network model by leveraging voltage measurements to identify the true voltage sensitivity parameters. Simulations for an illustrative distribution network are provided to validate the approach.

eess.SY↗

arXiv2019

The role of kinetic inductance on the performance of YBCO SQUID magnetometers

Inductance is a key parameter when optimizing the performance of superconducting quantum interference device (SQUID) magnetometers made from the high temperature superconductor YBa$_2$Cu$_3$O$_{7-x}$ (YBCO) because lower SQUID inductance $L$ leads to lower flux noise, but also weaker coupling to the pickup loop. In order to optimize the SQUID design, we combine inductance simulations and measurements to extract the different inductance contributions, and measure the dependence of the transfer function $V_Φ$ and flux noise $S_Φ^{1/2}$ on $L$. A comparison between two samples shows that the kinetic inductance contribution varies strongly with film quality, hence making inductance measurements a crucial part of the SQUID characterization. Thanks to the improved estimation of the kinetic inductance contribution, previously found discrepancies between theoretical estimates and measured values of $V_Φ$ and $S_Φ^{1/2}$ could to a large extent be avoided. We then use the measurements and improved theoretical estimations to optimize the SQUID geometry and reach a noise level of $S_B^{1/2}$ = 44 fT/$\sqrt{\textrm{Hz}}$ for the best SQUID magnetometer with a 8.6 mm $\times$ 9.2 mm directly coupled pickup loop. Lastly, we demonstrate a method for reliable one-time sensor calibration that is constant in a temperature range of several kelvin despite the presence of temperature dependent coupling contributions, such as the kinetic inductance. The found variability of the kinetic inductance contribution has implications not only for the design of YBCO SQUID magnetometers, but for all narrow linewidth SQUID-based devices operated close to their critical temperature.

physics.ins-det↗