Source author record

Hai Yu

Hai Yu appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

11works
8topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

11 published item(s)

preprint2021arXiv

Hero: On the Chaos When PATH Meets Modules

Ever since its first release in 2009, the Go programming language (Golang) has been well received by software communities. A major reason for its success is the powerful support of library-based development, where a Golang project can be conveniently built on top of other projects by referencing them as libraries. As Golang evolves, it recommends the use of a new library-referencing mode to overcome the limitations of the original one. While these two library modes are incompatible, both are supported by the Golang ecosystem. The heterogeneous use of library-referencing modes across Golang projects has caused numerous dependency management (DM) issues, incurring reference inconsistencies and even build failures. Motivated by the problem, we conducted an empirical study to characterize the DM issues, understand their root causes, and examine their fixing solutions. Based on our findings, we developed \textsc{Hero}, an automated technique to detect DM issues and suggest proper fixing solutions. We applied \textsc{Hero} to 19,000 popular Golang projects. The results showed that \textsc{Hero} achieved a high detection rate of 98.5\% on a DM issue benchmark and found 2,422 new DM issues in 2,356 popular Golang projects. We reported 280 issues, among which 181 (64.6\%) issues have been confirmed, and 160 of them (88.4\%) have been fixed or are under fixing. Almost all the fixes have adopted our fixing suggestions.

preprint2021arXiv

Lensing rates of gravitational wave signals displaying beat patterns detectable by DECIGO and B-DECIGO

The coherent nature of gravitational wave emanating from a compact binary system makes it possible to detect some interference patterns in two (or more) signals registered simultaneously by the detector. Gravitational lensing effect can be used to bend trajectories of gravitational waves, which might reach the detector at the same time. Once this happens, a beat pattern may form, and can be used to obtain the luminosity distance of the source, the lens mass, and cosmological parameters such as the Hubble constant. Crucial question is how many such kind of events could be detected. In this work, we study this issue for the future space-borne detectors: DECIGO and its downscale version, B-DECIGO. It is found out that there can be a few tens to a few hundreds of lensed gravitational wave events with the beat pattern observed by DECIGO and B-DECIGO per year, depending on the evolution scenario leading to the formation of double compact objects. In particular, black hole-black hole binaries are dominating population of lensed sources in which beat patterns may reveal. However, DECIGO could also register a considerable amount of lensed signals from binary neutron stars, which might be accompanied by electromagnetic counterparts. Our results suggest that, in the future, lensed gravitational wave signal with the beat pattern could play an important role in cosmology and astrophysics.

preprint2020arXiv

A New Method to Measure Hubble Parameter $H(z)$ using Fast Radio Bursts

The Hubble parameter $H(z)$ is directly related to the expansion of our Universe. It can be used to study dark energy and constrain cosmology models. In this paper, we propose that $H(z)$ can be measured using fast radio bursts (FRBs) with redshift measurements. We use dispersion measures contributed by the intergalactic medium, which is related to $H(z)$, to measure Hubble parameter. We find that 500 mocked FRBs with dispersion measures and redshift information can accurately measure Hubble parameters using Monte Carlo simulation. The maximum deviation of $H(z)$ from standard $Λ$CDM model is about 6\% at redshift $z= 2.4$. We also test our method using Monte Carlo simulation. Kolmogorov-Smirnov (K-S) test is used to check the simulation. The $p$-value of K-S test is 0.23, which confirms internal consistency of the simulation. In future, more localizations of FRBs make it as an attractive cosmological probe.

preprint2020arXiv

Dispersion measures of fast radio burst host galaxies derived from IllustrisTNG simulation

We calculate the dispersion measures (DMs) contributed by host galaxies of fast radio bursts (FRBs). Based on a few host galaxy observations, a large sample of galaxy with similar properties to observed ones has been selected from the IllustrisTNG simulation. They are used to compute the distributions of host galaxy DMs for repeating and non-repeating FRBs. For repeating FRBs, we infer the DM$ _{\mathrm{host}} $ for FRBs like FRB 121102 and FRB 180916 by assuming that the burst sites are tracing the star formation rates in host galaxies. The median DM$_{\mathrm{host}}$ are $35 (1+z)^{1.08}$ and $96(1+z)^{0.83}$ pc cm$^{-3}$ for FRBs like FRB 121102 and FRB 180916, respectively. In another case, the median of DM$_{\mathrm{host}}$ is about $30 - 70$ pc cm$^{-3}$ for non-repeating FRBs in the redshift range $z=0.1-1.5$, assuming that the burst sites are the locations of binary neutron star mergers. In this case, the evolution of the median DM$_{\mathrm{host}}$ can be calculated by $33(1+z)^{0.84}$ pc cm$^{-3}$. The distributions of DM$_{\mathrm{host}}$ of repeating and non-repeating FRBs can be well fitted with the log-normal function. Our results can be used to infer redshifts of non-localized FRBs.

preprint2020arXiv

Strong lensing as a giant telescope to localize the host galaxy of gravitational wave event

Standard siren cosmology of gravitational wave (GW) merger events relies on the identification of host galaxies and their redshifts. But this can be highly challenging due to numerous candidates of galaxies in the GW localization area. We point out that the number of candidates can be reduced by orders of magnitude for strongly lensed GW events, due to extra observational constraints. For the next-generation GW detectors like Einstein Telescope (ET), we estimate that this number is usually significantly less than one, as long as the GW localization uncertainty is better than $\sim 10\, \rm deg^2$. This implies that the unique identification of the host galaxy of lensed GW event detected by ET and Cosmic Explorer (CE) is possible. This provides us a promising opportunity to measure the redshift of the GW event and facilitate the standard siren cosmology. We also discuss its potential applications in understanding the evolution process and environment of the GW event.

preprint2020arXiv

Will Dependency Conflicts Affect My Program's Semantics?

Java projects are often built on top of various third-party libraries. If multiple versions of a library exist on the classpath, JVM will only load one version and shadow the others, which we refer to as dependency conflicts. This would give rise to semantic conflict (SC) issues, if the library APIs referenced by a project have identical method signatures but inconsistent semantics across the loaded and shadowed versions of libraries. SC issues are difficult for developers to diagnose in practice, since understanding them typically requires domain knowledge. Although adapting the existing test generation technique for dependency conflict issues, Riddle, to detect SC issues is feasible, its effectiveness is greatly compromised. This is mainly because Riddle randomly generates test inputs, while the SC issues typically require specific arguments in the tests to be exposed. To address that, we conducted an empirical study of 75 real SC issues to understand the characteristics of such specific arguments in the test cases that can capture the SC issues. Inspired by our empirical findings, we propose an automated testing technique Sensor, which synthesizes test cases using ingredients from the project under test to trigger inconsistent behaviors of the APIs with the same signatures in conflicting library versions. Our evaluation results show that \textsc{Sensor} is effective and useful: it achieved a $Precision$ of 0.803 and a $Recall$ of 0.760 on open-source projects and a $Precision$ of 0.821 on industrial projects; it detected 150 semantic conflict issues in 29 projects, 81.8\% of which had been confirmed as real bugs.

preprint2019arXiv

Gaussian Processes, Median Statistics, Milky Way Rotation Curves

We use the Iocco et al. (2015) compilation of 2,780 circular velocity measurements to analyze the Milky Way rotation curve. We find that the error bars for individual measurements are non-gaussian, and hence instead derive median statistics binned central circular velocity values and error bars from these data. We use these median statistics central values and error bars to fit the data to simple, few parameter, rotation curve functions. These simple functions are unable to adequately capture the significant small scale spatial structure in these data and so provide poor fits. We introduce and use the Gaussian Processes (GP) method to capture this small scale structure and use it to derive Milky Way rotation curves from the binned median statistics circular velocity data. The GP method rotation curves have significant small-scale spatial structure superimposed on a broad rise to galactocentric radius $R\approx7$ kpc and a decline at larger $R$. We use the GP method median statistics rotation curve to measure the Oort $A$ and $B$ constants and other characteristic rotation curve quantities. We study correlations in the residual circular velocities (relative to the GP method rotation curve). Along with other evidence for azimuthal asymmetry of the Milky Way circular rotation velocity field, we find that larger residual circular velocities seem to favor parts of spiral arms.

preprint2016arXiv

Comprehensive study of the X-ray flares from gamma-ray bursts observed by Swift

X-ray flares are generally supposed to be produced by the later central engine activities, and may share the similar physical origin with prompt emission of gamma-ray bursts (GRBs). In this paper, we have analyzed all significant X-ray flares from the GRBs observed by {\em Swift} from April 2005 to March 2015. The catalog contains 468 bright X-ray flares, including 200 flares with redshifts. We obtain the fitting results of X-ray flares, such as start time, peak time, duration, peak flux, fluence, peak luminosity, and mean luminosity. The peak luminosity decreases with peak time, following a power-law behavior $L_p \propto T_{peak,z}^{-1.27}$. The flare duration increases with peak time. The 0.3-10 keV isotropic energy of X-ray flares distribution is a lognormal peaked at $10^{51.2}$ erg. We also study the frequency distributions of flare parameters, including energies, durations, peak fluxes, rise times, decay times and waiting times. Power-law distributions of energies, durations, peak fluxes, and waiting times are found in GRB X-ray flares and solar flares. These distributions could be well explained by a fractal-diffusive, self-organized criticality model. Some theoretical models basing on magnetic reconnection have been proposed to explain X-ray flares. Our result shows that the relativistic jets of GRBs may be Poynting-flux dominated.

preprint2015arXiv

A Multi-Scale Spatiotemporal Perspective of Connected and Automated Vehicles: Applications and Wireless Networking

Wireless communication is a basis of the vision of connected and automated vehicles (CAVs). Given the heterogeneity of both wireless communication technologies and CAV applications, one question that is critical to technology road-mapping and policy making is which communication technology is more suitable for a specific CAV application. Focusing on the technical aspect of this question, we present a multi-scale spatiotemporal perspective of wireless communication technologies as well as canonical CAV applications in active safety, fuel economy and emission control, vehicle automation, and vehicular infotainment. Our analysis shows that CAV applications in the regime of small spatiotemporal scale communication requirements are best supported by V2V communications, applications in the regime of large spatiotemporal scale communication requirements are better supported by cellular communications, and applications in the regime of small spatial scale but medium-to-large temporal scale can be supported by both V2V and cellular communications and provide the opportunity of leveraging heterogeneous communication resources.

preprint2015arXiv

The Age-Redshift Relationship of Old Passive Galaxies

We use 32 age measurements of passively evolving galaxies as a function of redshift to test and compare the standard model ($Λ$CDM) with the $R_{\rm h}=ct$ Universe. We show that the latter fits the data with a reduced $χ^2_{\rm dof}=0.435$ for a Hubble constant $H_{0}= 67.2_{-4.0}^{+4.5}$ km $\rm s^{-1}$ $\rm Mpc^{-1}$. By comparison, the optimal flat $Λ$CDM model, with two free parameters (including $Ω_{\rm m}=0.12_{-0.11}^{+0.54}$ and $H_{0}=94.3_{-35.8}^{+32.7}$ km $\rm s^{-1}$ $\rm Mpc^{-1}$), fits the age-\emph{z} data with a reduced $χ^2_{\rm dof}=0.428$. Based solely on their $χ^2_{\rm dof}$ values, both models appear to account for the data very well, though the optimized $Λ$CDM parameters are only marginally consistent with those of the concordance model ($Ω_{\rm m}=0.27$ and $H_{0}= 70$ km $\rm s^{-1}$ $\rm Mpc^{-1}$). Fitting the age-$z$ data with the latter results in a reduced $χ^2_{\rm dof}=0.523$. However, because of the different number of free parameters in these models, selection tools, such as the Akaike, Kullback and Bayes Information Criteria, favour $R_{\rm h}=ct$ over $Λ$CDM with a likelihood of $\sim 66.5\%-80.5\%$ versus $\sim 19.5\%-33.5\%$. These results are suggestive, though not yet compelling, given the current limited galaxy age-$z$ sample. We carry out Monte Carlo simulations based on these current age measurements to estimate how large the sample would have to be in order to rule out either model at a $\sim 99.7\%$ confidence level. We find that if the real cosmology is $Λ$CDM, a sample of $\sim 45$ galaxy ages would be sufficient to rule out $R_{\rm h}=ct$ at this level of accuracy, while $\sim 350$ galaxy ages would be required to rule out $Λ$CDM if the real Universe were instead $R_{\rm h}=ct$.

preprint2010arXiv

Stability of epsilon-Kernels

Given a set P of n points in |R^d, an eps-kernel K subset P approximates the directional width of P in every direction within a relative (1-eps) factor. In this paper we study the stability of eps-kernels under dynamic insertion and deletion of points to P and by changing the approximation factor eps. In the first case, we say an algorithm for dynamically maintaining a eps-kernel is stable if at most O(1) points change in K as one point is inserted or deleted from P. We describe an algorithm to maintain an eps-kernel of size O(1/eps^{(d-1)/2}) in O(1/eps^{(d-1)/2} + log n) time per update. Not only does our algorithm maintain a stable eps-kernel, its update time is faster than any known algorithm that maintains an eps-kernel of size O(1/eps^{(d-1)/2}). Next, we show that if there is an eps-kernel of P of size k, which may be dramatically less than O(1/eps^{(d-1)/2}), then there is an (eps/2)-kernel of P of size O(min {1/eps^{(d-1)/2}, k^{floor(d/2)} log^{d-2} (1/eps)}). Moreover, there exists a point set P in |R^d and a parameter eps > 0 such that if every eps-kernel of P has size at least k, then any (eps/2)-kernel of P has size Omega(k^{floor(d/2)}).