arXiv subjects

Zhihong Yang

Publications and source records attributed to Zhihong Yang.

5 recordsLinked to original sources

arXiv2026

Lithium and sodium decorated PHE-graphene for high capacity hydrogen storage: A DFT and GCMC study

Porous nanocarbon materials are seen as potential excellent materials for hydrogen storage due to their high surface area, excellent cycling stability and favorable kinetics. This study employs Density Functional Theory (DFT) simulations to investigate key property of Li$^-$ and Na$^-$ modified PHE-graphene, including structural stability, electronic properties, and hydrogen storage capabilities. The results show that when each Li atom adsorbs six hydrogen molecules, the material reaches the maximum hydrogen adsorption gravimetric density of 15.20 wt%. Additionally, through Grand Canonical Monte Carlo (GCMC) simulations, we obtained the hydrogen weight ratios and adsorption enthalpy curves for Li- and Na-modified PHE under varying temperature and pressure conditions. These findings indicate that both Li- and Na-modified PHE-graphene are exceptional candidates for hydrogen storage materials, particularly in mobile applications.

cond-mat.mtrl-sci↗

arXiv2024

Synthesizing Invariants for Polynomial Programs by Semidefinite Programming

Constraint-solving-based program invariant synthesis takes a parametric invariant template and encodes the (inductive) invariant conditions into constraints. The problem of characterizing the set of all valid parameter assignments is referred to as the strong invariant synthesis problem, while the problem of finding a concrete valid parameter assignment is called the weak invariant synthesis problem. For both problems, the challenge lies in solving or reducing the encoded constraints, which are generally non-convex and lack efficient solvers. Consequently, existing works either rely on heuristic optimization techniques (such as bilinear matrix inequalities) or resort to general-purpose solvers (such as quantifier elimination), leading to a trade-off between completeness and efficiency. In this paper, we propose two novel algorithms for synthesizing invariants of polynomial programs using semidefinite programming (SDP): (1) The Cluster algorithm targets the strong invariant synthesis problem for polynomial invariant templates. Leveraging robust optimization techniques, it solves a series of SDP relaxations and yields a sequence of increasingly precise under-approximations of the set of valid parameter assignments. We prove the algorithm's soundness, convergence, and weak completeness under a specific robustness assumption on templates. Moreover, the outputs can simplify the weak invariant synthesis problem. (2) The Mask algorithm addresses the weak invariant synthesis problem in scenarios where the aforementioned robustness assumption does not hold, rendering the Cluster algorithm ineffective. It identifies a specific subclass of invariant templates, termed masked templates, involving parameterized polynomial equalities and known inequalities. By applying variable substitution, the algorithm transforms constraints into an equivalent form amenable to SDP relaxations.

cs.PL↗

arXiv2022

Near ultraviolet photonic integrated lasers based on silicon nitride

Low phase noise lasers based on the combination of III-V semiconductors and silicon photonics are well established in the near-infrared spectral regime. Recent advances in the development of low-loss silicon nitride-based photonic integrated resonators have allowed to outperform bulk external diode and fiber lasers in both phase noise and frequency agility in the 1550 nm-telecommunication window. Here, we demonstrate for the first time a hybrid integrated laser composed of a gallium nitride (GaN) based laser diode and a silicon nitride photonic chip-based microresonator operating at record low wavelengths as low as 410 nm in the near-ultraviolet wavelength region suitable for addressing atomic transitions of atoms and ions used in atomic clocks, quantum computing, or for underwater LiDAR. Using self-injection locking to a high Q (0.4 $\times$ 10$^6$) photonic integrated microresonator we observe a phase noise reduction of the Fabry-Pérot laser at 461 nm by a factor greater than 100$\times$, limited by the device quality factor and back-reflection.

physics.optics↗

arXiv2021

Spectral Roll-off Points Variations: Exploring Useful Information in Feature Maps by Its Variations

Useful information (UI) is an elusive concept in neural networks. A quantitative measurement of UI is absent, despite the variations of UI can be recognized by prior knowledge. The communication bandwidth of feature maps decreases after downscaling operations, but UI flows smoothly after training due to lower Nyquist frequency. Inspired by the low-Nyqusit-frequency nature of UI, we propose the use of spectral roll-off points (SROPs) to estimate UI on variations. The computation of an SROP is extended from a 1-D signal to a 2-D image by the required rotation invariance in image classification tasks. SROP statistics across feature maps are implemented as layer-wise useful information estimates. We design sanity checks to explore SROP variations when UI variations are produced by variations in model input, model architecture and training stages. The variations of SROP is synchronizes with UI variations in various randomized and sufficiently trained model structures. Therefore, SROP variations is an accurate and convenient sign of UI variations, which promotes the explainability of data representations with respect to frequency-domain knowledge.

cs.CV↗

arXiv2020

TSA-inspired micro tomosythesis scanner for rapid scouting of histopathology samples

In pathology protocols, each tissue block can generate a large number of sections making it impractical to analyze every section. X-ray microscopy that provides a rapid survey of intact tissue blocks can help pinpoint the relevant structures in 3D space for subsequent analysis, and thus reduce workload and enable further automation downstream. Unlike dedicated virtual histology studies by traditional micro computed tomography (CT), routine scout imaging is constrained by a time window of minutes and minimal sample handling to avoid interfering with the pathology protocols. Traditional micro CT was not able to meet the requirements due to lengthy study times or sample alteration by the introduction of x-ray contrast agents. A form of x-ray tomosynthesis used in security screening was found to be efficient for rapid microscopy of unstained samples. When compared to a commercial micro CT scanner, it provided a 10-fold increase in imaging speed and a 4.8-fold increase in contrast-to-noise ratio. We report the results from a variety of human and animal tissue samples, where it served as an integral step of pathology protocols. In cases of vascular disease, it provided quantitative measurements of calcification in intact samples, which were difficult to obtain by standard pathology procedures. The prospect of continuous and automated screening of many samples in an assembly-line approach is discussed.

physics.med-ph↗