arXiv subjects

Li Lei

Publications and source records attributed to Li Lei.

33 records · Page 2Linked to original sources

arXiv2019

Hardware/Software Co-monitoring

Hardware/Software (HW/SW) interfaces, mostly implemented as devices and device drivers, are pervasive in various computer systems. Nowadays HW/SW interfaces typically undergo intensive testing and validation before release, but they are still unreliable and insecure when deployed together with computer systems to end users. Escaped logic bugs, hardware transient failures, and malicious exploits are prevalent in HW/SW interactions, making the entire system vulnerable and unstable. We present HW/SW co-monitoring, a runtime co-verification approach to detecting failures and malicious exploits in device/driver interactions. Our approach utilizes a formal device model (FDM), a transaction-level model derived from the device specification, to shadow the real device execution. Based on the co-execution of the device and FDM, HW/SW co-monitoring carries out two-tier runtime checking: (1) device checking checks if the device behaviors conform to the FDM behaviors; (2) property checking detects invalid driver commands issued to the device by verifying system properties against driver/device interactions. We have applied HW/SW co-monitoring to five widely-used devices and their Linux drivers, discovering 9 real bugs and vulnerabilities while introducing modest runtime overhead. The results demonstrate the major potential of HW/SW co-monitoring in improving system reliability and security.

cs.SE↗

arXiv2019

Polarization Symmetry Breaking in Nitrogen under High Pressure

An order parameter with broken polarization symmetry is proposed for the pressure-induced molecular dissociation transitions in nitrogen. The experimental dissociative transition pressure dependence of the calculated order parameter is well described by a power law of the form P=kq2. Our results unveil the important role of symmetry breaking in nitrogen under high pressure and further demonstrate a path from dense molecular fluid to fully polymeric phases by breaking local polarization reversal symmetry.

cond-mat.mtrl-sci↗

arXiv2018

A new gap for complete hypersurfaces with constant mean curvature in space forms

Let $M$ be an $n$-dimensional closed hypersurface with constant mean curvature and constant scalar curvature in an unit sphere. Denote by $H$ and $S$ the mean curvature and the squared length of the second fundamental form respectively. We prove that if $S > α(n, H)$, where $n\geq 4$ and $H\neq 0$, then $S > α(n, H) + B_n\frac{n H^2}{n - 1}$. Here \[ α(n, H) = n + \frac{n^3}{2 (n - 1)} H^2 - \frac{n (n - 2)}{2 (n - 1)}\sqrt{n^2 H^4 + 4 (n - 1) H^2}, \] $B_n=\frac{1}{5}$ for $4\leq n \leq 20$, and $B_n=\frac{49}{250}$ for $n>20$. Moreover, we obtain a gap theorem for complete hypersurfaces with constant mean curvature and constant scalar curvature in space forms.

math.DG↗

arXiv2018

Bond relaxation, electronic and magnetic behavior of 2D metals structures Y on Li(110) surface

We investigated the bond, electronic and magnetic behavior of adsorption Yttrium atoms on Lithium (110) surface using a combination of Bond-order-length-strength(BOLS) correlation and density-functional theory(DFT). We found that adsorption Y atoms on Li(110) surfaces form two-dimensional (2D) geometric structures of hexagon, nonagon, solid hexagonal, quadrangle and triangle. The consistent with the magnetic moment are 6.66μB, 5.54μB, 0.28μB, 1.04μB, 2.81μB, respectively. In addition, this work could pave the way for design new 2D metals electronic and magnetic properties.

cond-mat.mtrl-sci↗

arXiv2018

Electronic structure and bond relaxation at Na/Ta(110) interfaces and 1D-chain and 2D-ring Ta metal structures on Na(110)

We investigated the mechanism of Na/Ta(110) and Ta/Na(110) interfaces using a combination of bond band barrier (BBB) and zone selective electron spectroscopy (ZES) correlation. We found that 7/9 ML and 8/9 ML Ta metal on a Na(110) surface form one dimensional (1D) chain and two dimensional (2D) ring structures, respectively. Moreover, we show that on Na(110), the Ta-induced Na(110) surface binding energy (BE) shifts are dominated by quantum entrapment. On the contrary, on a Ta(110) surface, the Na-induced Ta(110) surface BE shifts are dominated by polarization. Thus, the BBB and ZES strategy could potentially be used for designing 1D and 2D metals with desired structures and properties.

physics.comp-ph↗

arXiv2017

A new pinching theorem for complete self-shrinkers and its generalization

In this paper, we firstly verify that if $M$ is a complete self-shrinker with polynomial volume growth in $\mathbb{R}^{n+1}$, and if the squared norm of the second fundamental form of $M$ satisfies $0\leq|A|^2-1\leq\frac{1}{18}$, then $|A|^2\equiv1$ and $M$ is a round sphere or a cylinder. More generally, let $M$ be a complete $λ$-hypersurface with polynomial volume growth in $\mathbb{R}^{n+1}$ with $λ\neq0$. Then we prove that there exists an positive constant $γ$, such that if $|λ|\leqγ$ and the squared norm of the second fundamental form of $M$ satisfies $0\leq|A|^2-β_λ\leq\frac{1}{18}$, then $|A|^2\equiv β_λ$, $λ>0$ and $M$ is a cylinder. Here $β_λ=\frac{1}{2}(2+λ^2+|λ|\sqrt{λ^2+4})$.

math.DG↗

arXiv2017

On Chern's conjecture for minimal hypersurfaces in spheres

Using a new estimate for the Peng-Terng invariant and the multiple-parameter method, we verify a rigidity theorem on the stronger version of Chern Conjecture for minimal hypersurfaces in spheres. More precisely, we prove that if $M$ is a compact minimal hypersurface in $\mathbb{S}^{n+1}$ whose squared length of the second fundamental form satisfies $0\leq S-n\leq\frac{n}{18}$, then $S\equiv n$ and $M$ is a Clifford torus.

math.DG↗

arXiv2016

Mean curvature flow of arbitrary codimension in complex projective spaces

In this paper, we investigate the mean curvature flow of submanifolds of arbitrary codimension in $\mathbb{C}\mathbb{P}^m$. We prove that if the initial submanifold satisfies a pinching condition, then the mean curvature flow converges to a round point in finite time, or converges to a totally geodesic submanifold as $t \rightarrow \infty$. Consequently, we obtain a new differentiable sphere theorem for submanifolds in $\mathbb{C}\mathbb{P}^m$. Our work improves the convergence theorem for mean curvature flow due to Pipoli and Sinestrari {\cite{PiSi2015}}.

math.DG↗

arXiv2016

OpenRISC System-on-Chip Design Emulation

Recently the hardware emulation technique has emerged as a promising approach to accelerating hardware verification/debugging process. To fully evaluate the powerfulness of the emulation approach and demonstrate its potential impact, we propose to emulate a system-on-chip (SoC) design using Mentor Graphics Veloce emulation platform. This article presents our project setup and the results we have achieved. The results are encouraging. ORPSoC emulation with Veloce has more than ten times faster than hardware simulation. Our experimental results demonstrate that Mentor Graphics Veloce has major advantages in emulation, verification, and debugging of complicated real hardware designs, especially in the context of SoC complexity. Through our three major tasks, we will demonstrate that (1) Veloce can successfully emulate large-scale SoC designs; (2) it has much better performance comparing to the state-of-the-art simulation tools; (3) it can significantly accelerate the process of hardware verification and debugging while maintaining full signal visibility.

cs.AR↗

arXiv2015

A New Version of Huisken's Convergence Theorem for Mean Curvature Flow in Spheres

We prove that if the initial hypersurface of the mean curvature flow in spheres satisfies a sharp pinching condition, then the solution of the flow converges to a round point or a totally geodesic sphere. Our result improves the famous convergence theorem due to Huisken [9]. Moreover, we prove a convergence theorem under the weakly pinching condition. In particular, we obtain a classification theorem for weakly pinched hypersurfaces. It should be emphasized that our pinching condition implies that the Ricci curvature of the initial hypersurface is positive, but does not imply positivity of the sectional curvature.

math.DG↗

arXiv2015

An Optimal Convergence Theorem for Mean Curvature Flow of Arbitrary Codimension in Hyperbolic Spaces

In this paper, we prove that if the initial submanifold $M_0$ of dimension $n(\ge6)$ satisfies an optimal pinching condition, then the mean curvature flow of arbitrary codimension in hyperbolic spaces converges to a round point in finite time. In particular, we obtain the optimal differentiable sphere theorem for submanifolds in hyperbolic spaces. It should be emphasized that our pinching condition implies that the Ricci curvature of the initial submanifold is positive, but does not imply positivity of the sectional curvature of $M_0$.

math.DG↗

arXiv2013

A Fast local Reconstruction algorithm by selective backprojection for Low-Dose in Dental Computed Tomography

High radiation dose in computed tomography (CT) scans increases the lifetime risk of cancer, which become a major clinical concern. The backprojection-filtration (BPF) algorithm could reduce radiation dose by reconstructing images from truncated data in a short scan. In dental CT, it could reduce radiation dose for the teeth by using the projection acquired in a short scan, and could avoid irradiation to other part by using truncated projection. However, the limit of integration for backprojection varies per PI-line, resulting in low calculation efficiency and poor parallel performance. Recently, a tent BPF (T-BPF) has been proposed to improve calculation efficiency by rearranging projection. However, the memory-consuming data rebinning process is included. Accordingly, the chose-BPF (C-BPF) algorithm is proposed in this paper. In this algorithm, the derivative of projection is backprojected to the points whose x coordinate is less than that of the source focal spot to obtain the differentiated backprojection (DBP). The finite Hilbert inverse is then applied to each PI-line segment. C-BPF avoids the influence of the variable limit of integration by selective backprojection without additional time cost or memory cost. The simulation experiment and the real experiment demonstrated the higher reconstruction efficiency of C-BPF.

physics.med-ph↗

arXiv2012

Polycrystalline γ-boron: As hard as polycrystalline cubic boron nitride

The Vickers hardness of polycrystalline γ-B was measured using a diamond indentation method. The elastic properties of polycrystalline γ-B (B=213.9 GPa, G=227.2 GPa, and E=503.3 GPa) were determined using ultrasonic measurement at ambient condition. Under the loading force up to 20 N, our test gave an average Vickers hardness in the asymptotic-hardness region of 30.3 GPa. The average fracture toughness was measured as 4.1MPa m1/2. Additionally, We also measured the hardness and elastic properties of polycrystalline β-B and PcBN for comparison. The hardness and elastic properties for polycrystalline γ-B was found to be very close to that of PcBN. Our results suggest that the polycrystalline γ-B could be a superhard polycrystalline material for industrial applications.

cond-mat.mtrl-sci↗

arXiv2011

Phase relations in boron at pressure up to 18 GPa and temperature up to 2200 °C

The phase relations in boron have been investigated at high pressure and high temperature using a multianvil apparatus, and the quenched sample has been analyzed by x-ray diffraction, Raman spectra and transmission electron microscopy. We demonstrate that γ-B28 can be synthesized over a wide P-T range, and T-B50 is obtained at higher temperatures and similar pressures. The phase boundary of the β-B106, γ-B28 and T-B50 is determined at pressures between 7 and 18 GPa and the temperatures of 500-2200 °C. The results suggest that T-B50 might be an intermediate phase-metastable, formed for kinetic reasons (Ostwald rule) on the way from β-B106 to T-192 and γ-B28 to T-192.

cond-mat.mtrl-sci↗

arXiv2009

A systematic study on the binding energy of $Λ$ hypernuclei

In this paper, we calculated the binding energy per baryon of the $Λ$ hypernuclei systemically, using the relativistic mean field theory (RMF) in a statistic frame. Some resemble properties are found among most of the hypernuclei found in experiments. The data show that a $Λ$ hypernucleus will be more stable, if it is composed of a $Λ$ hyperon adding to a stable normal nuclear core, or a $Λ$ hyperon replacing a neutron in a stable normal nuclear core. According to our calculations, existences of some new $Λ$ hypernuclei are predicted under the frame of RMF.

nucl-th↗