arXiv subjects

Chen Shi

Publications and source records attributed to Chen Shi.

79 records · Page 5Linked to original sources

arXiv2018

EviHunter: Identifying Digital Evidence in the Permanent Storage of Android Devices via Static Analysis

Crimes, both physical and cyber, increasingly involve smartphones due to their ubiquity. Therefore, digital evidence on smartphones plays an increasingly important role in crime investigations. Digital evidence could reside in the memory and permanent storage of a smartphone. While we have witnessed significant progresses on memory forensics recently, identifying evidence in the permanent storage is still an underdeveloped research area. Most existing studies on permanent-storage forensics rely on manual analysis or keyword-based scanning of the permanent storage. Manual analysis is costly, while keyword matching often misses the evidentiary data that do not have interesting keywords. In this work, we develop a tool called EviHunter to automatically identify evidentiary data in the permanent storage of an Android device. There could be thousands of files on the permanent storage of a smartphone. A basic question a forensic investigator often faces is which files could store evidentiary data. EviHunter aims to answer this question. Our intuition is that the evidentiary data were produced by apps; and an app's code has rich information about the types of data the app may write to a permanent storage and the files the data are written to. Therefore, EviHunter first pre-computes an App Evidence Database (AED) via static analysis of a large number of apps. The AED includes the types of evidentiary data and files that store them for each app. Then, EviHunter matches the files on a smartphone's permanent storage against the AED to identify the files that could store evidentiary data. We evaluate EviHunter on benchmark apps and 8,690 real-world apps. Our results show that EviHunter can precisely identify both the types of evidentiary data and the files that store them.

cs.CR↗

arXiv2018

Marginal Stability of Sweet-Parker Type Current Sheets at Low Lundquist Numbers

Magnetohydrodynamic simulations have shown that a non-unique critical Lundquist number $S_c$ exists, hovering around $S_c \sim 10^4$, above which threshold Sweet-Parker type stationary reconnecting configurations become unstable to a fast tearing mode dominated by plasmoid generation. It is known that the flow along the sheet plays a stabilizing role, though a satisfactory explanation of the non-universality and variable critical Lundquist numbers observed is still lacking. Here we discuss this question using 2D linear MHD simulations and linear stability analyses of Sweet-Parker type current sheets in the presence of background stationary inflows and outflows at low Lundquist numbers ($S\le 10^4$). Simulations show that the inhomogeneous outflow stabilizes the current sheet by stretching the growing magnetic islands and at the same time evacuating the magnetic islands out of the current sheet. This limits the time during which fluctuations which begin at any given wave-length can remain unstable, rendering the instability non-exponential. We find that the linear theory based on the expanding-wavelength assumption works well for $S$ larger than $\sim 1000$. However we also find that the inflow and location of the initial perturbation also affect the stability threshold.

physics.plasm-ph↗

arXiv2016

Strain effect engineered in α-Al2O3/monolayer MoS2 interface by first principle calculations

With the advances in low dimensional transition metal dichalcolgenides (TMDCs) based metal oxide semiconductor field effect transistor (MOSFET), the interface between semiconductors and dielectrics has received considerable attention due to its dramatic effects on the morphology and charge transport of semiconductors. In this study, first principle calculations were utilized to investigate the strain effect induced by the interface between Al2O3 (0001) and monolayer MoS2. The results indicate that Al2O3 in 1.3nm thickness can apply the strain of 0.3% on MoS2 monolayer. The strain effect monotonically increases with the larger thickness of the dielectric layer. Also, the study on temperature effect indicates the monotonic lattice expansion induced by the higher temperature. Our study proposes that the dielectric engineering can be an effective tool for strain effect in the nanotechnology.

physics.comp-ph↗

arXiv2016

Study on the power scaling and mode instability property in an all-fiber narrow-linewidth tapered fiber amplifier

We develop a high-power narrow-linewidth fiber amplifier based on a tapered Yb-doped fiber. In the experiment, the narrow end of the tapered fiber is used as the input port of both pump source and signal light to form a robust all-fiber configuration. The stimulated Brillouin scattering (SBS) is effectively suppressed owing to its gradually increased mode area as well as continuously changed Brillouin frequency shift dependent on the core diameter. As a result, an output power of 260 W without SBS and mode instability (MI) is obtained, with a slope efficiency of 71.3 % and a narrow linewidth of ~2GHz. However, the MI rather than SBS is observed when output power reaches 260 W. The features of MI are experimentally studied in detail. It is pointed out that, the MI seems the primary and durative limitation factor of the tapered fiber amplifier for high-power narrow-linewidth output, although it has advantage to reduce other nonlinear effect. To the best of our knowledge, this is the first detailed experimental study on MI in a tapered fiber. At last, some worthwhile discussion about the optimization of the tapered fiber and the whole system for both SBS and MI suppression is conducted based on the present and previous results.

physics.optics↗

arXiv2016

Dirac Fermions induced in strained zigzag phosphorus nanotubes and the applications in field effect transistors

In this work, Dirac fermions have been obtained and engineered in one-dimensional (1D) zigzag phosphorus nanotubes (ZPNTs). We have performed a comprehensive first-principle computational study of the electronic properties of ZPNTs with various diameters. The results indicate that as the lattice parameter (Lc) along axial direction increases, ZPNTs undergo transitions from metal to semimetal and semimetal to semiconductor, whereas Dirac fermions appear at Lc ranging from 3.90Å to 4.10Å. In particular, a field effect transistor (FET) based on a 12-ZPNT (with 12 unit cells in transverse direction) exhibits semiconductor behaviors with efficient gate-effect modulation at Lc= 4.60Å. However, only weak gate modulation is demonstrated when the nanotube becomes semimetal at Lc= 4.10Å. This study indicates that ZPNTs are profoundly appealing in applications in the strain sensors. Our findings pave the way for development of high-performance strain-engineered electronics based on Dirac Fermions in 1D materials.

cond-mat.mes-hall↗

arXiv2015

Local commensurability graphs of solvable groups

The commensurability index between two subgroups $A, B$ of a group $G$ is $[A : A \cap B] [B : A\cap B]$. This gives a notion of distance amongst finite-index subgroups of $G$, which is encoded in the p-local commensurability graphs of $G$. We show that for any metabelian group, any component of the $p$-local commensurabilty graph of $G$ has diameter bounded above by 4. However, no universal upper bound on diameters of components exists for the class of finite solvable groups. In the appendix we give a complete classification of components for upper triangular matrix groups in $\text{GL}(2, \mathbb{F}_q)$.

math.GR↗

arXiv2009

A Dynamic Programming Implemented 2x2 non-cooperative Game Theory Model for ESS Analysis

Game Theory has been frequently applied in biological research since 1970s. While the key idea of Game Theory is Nash Equilibrium, it is critical to understand and figure out the payoff matrix in order to calculate Nash Equilibrium. In this paper we present a dynamic programming implemented method to compute 2x2 non-cooperative finite resource allocation game's payoff matrix. We assume in one population there exists two types of individuals, aggressive and non-aggressive and each individual has equal and finite resource. The strength of individual could be described by a function of resource consumption in discrete development stages. Each individual undergoes logistic growth hence we divide the development into three stages: initialization, quasilinear growth and termination. We first discuss the theoretical frame of how to dynamic programming to calculate payoff matrix then give three numerical examples representing three different types of aggressive individuals and calculate the payoff matrix for each of them respectively. Based on the numerical payoff matrix we further investigate the evolutionary stable strategies (ESS) of the games.

q-bio.PE↗