Source author record

Yi Zhen

Yi Zhen 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

12works
14topics
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

12 published item(s)

preprint2024arXiv

CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations

In the domain of large-scale software development, the demands for dynamic and multifaceted static code analysis exceed the capabilities of traditional tools. To bridge this gap, we present CodeFuse-Query, a system that redefines static code analysis through the fusion of Domain Optimized System Design and Logic Oriented Computation Design. CodeFuse-Query reimagines code analysis as a data computation task, support scanning over 10 billion lines of code daily and more than 300 different tasks. It optimizes resource utilization, prioritizes data reusability, applies incremental code extraction, and introduces tasks types specially for Code Change, underscoring its domain-optimized design. The system's logic-oriented facet employs Datalog, utilizing a unique two-tiered schema, COREF, to convert source code into data facts. Through Godel, a distinctive language, CodeFuse-Query enables formulation of complex tasks as logical expressions, harnessing Datalog's declarative prowess. This paper provides empirical evidence of CodeFuse-Query's transformative approach, demonstrating its robustness, scalability, and efficiency. We also highlight its real-world impact and diverse applications, emphasizing its potential to reshape the landscape of static code analysis in the context of large-scale software development.Furthermore, in the spirit of collaboration and advancing the field, our project is open-sourced and the repository is available for public access

preprint2022arXiv

Enhanced brain structure-function tethering in transmodal cortex revealed by high-frequency eigenmodes

The brain's structural connectome supports signal propagation between neuronal elements, shaping diverse coactivation patterns that can be captured as functional connectivity. While the link between structure and function remains an ongoing challenge, the prevailing hypothesis is that the structure-function relationship may itself be gradually decoupled along a macroscale functional gradient spanning unimodal to transmodal regions. However, this hypothesis is strongly constrained by the underlying models which may neglect requisite signaling mechanisms. Here, we transform the structural connectome into a set of orthogonal eigenmodes governing frequency-specific diffusion patterns and show that regional structure-function relationships vary markedly under different signaling mechanisms. Specifically, low-frequency eigenmodes, which are considered sufficient to capture the essence of the functional network, contribute little to functional connectivity reconstruction in transmodal regions, resulting in structure-function decoupling along the unimodal-transmodal gradient. In contrast, high-frequency eigenmodes, which are usually on the periphery of attention due to their association with noisy and random dynamical patterns, contribute significantly to functional connectivity prediction in transmodal regions, inducing gradually convergent structure-function relationships from unimodal to transmodal regions. Although the information in high-frequency eigenmodes is weak and scattered, it effectively enhances the structure-function correspondence by 35% in unimodal regions and 56% in transmodal regions. Altogether, our findings suggest that the structure-function divergence in transmodal areas may not be an intrinsic property of brain organization, but can be narrowed through multiplexed and regionally specialized signaling mechanisms.

preprint2022arXiv

TokenPatronus: A Decentralized NFT Anti-theft Mechanism

The emergence of metaverse brings tremendous evolution to Non-Fungible Tokens (NFTs), which could certify the ownership the unique digital asset in the cyber world. The NFT market has garnered unprecedented attention from investors and created billions of dollars in transaction volume. Meanwhile, securing NFT is still a challenging issue. Recently, numerous incidents of NFT theft have been reported, leading to incalculable losses for holders. We propose a decentralized NFT anti-theft mechanism called TokenPatronus, which supports the general ERC-721 standard and provide the holders with strong property protection. TokenPatronus contains pre-event protection, in-event interruption, and post-event replevin enhancements for the complete NFTs transactions stages. Four modules are designed to make up the decentralized anti-theft mechanism, including the decentralized access control (DAC), the decentralized risk management (DRM), the decentralized arbitration system (DAS) and the ERC-721G standard smart contract. TokenPatronus is performing on the Turtlecase NFT project of Ethereum and will support more blockchains in the future.

preprint2015arXiv

Dynamic scaling theory of the forced translocation of a semi-flexible polymer through a nanopore

We present a theoretical description of the dynamics of a semi-flexible polymer being pulled through a nanopore by an external force acting at the pore. Our theory is based on the tensile blob picture of Pincus in which the front of the tensile force propagates through the backbone of the polymer, as suggested by Sakaue and recently applied to study a completely flexible polymer with self-avoidance, by Dubbledam et al. For a semi-flexible polymer with a persistence length P , its statistics is self-avoiding for a very long chain. As the local force increases, the blob size starts to decrease. At the blob size P/a^2 , where a is the size of a monomer, the statistics becomes that of an ideal chain. As the blob size further decreases to below the persistence length P, the statistics is that of a rigid rod. We argue that semi-flexible polymer in translocation should include the three regions: a self-avoiding region, an ideal chain region and a rigid rod region, under uneven tension propagation, instead of a uniform scaling picture as in the case of a completely flexible polymer. In various regimes under the effect of weak, intermediate and strong driving forces we derive equations from which we can calculate the translocation time of the polymer. The translocation exponent is given by α=1+μ, where μis an effective exponent for the end-to-end distance of the semi-flexible polymer, having a value between 1/2 and 3/5, depending on the total contour length of the polymer. Our results are of relevance for forced translocation of biological polymers such as DNA through a nanopore.

preprint2015arXiv

Extension, Torque and Supercoiling in Single, Stretched and Twisted DNA Molecules

We reinvestigate the model originally studied by Neukirch and Marko that describes the extension, torque and supercoiling in single, stretched and twisted DNA molecules, which consists of a mixture of extended and supercoiled state, using now a more accurate form of the free energy for the untwisted but stretched DNA. The original model uses an approximate form of this free energy and the agreement with experiment is only qualitative. We find that this more accurate free energy significantly improves the results, bring them into quantitative agreement with experiment, throughout the entire force regime. This is rather surprising, considering that the theory is completely parameter-free.

preprint2015arXiv

Observation of Negative Magnetoresistance and nontrivial $π$ Berrys phase in 3D Weyl semi-metal NbAs

We report the electric transport properties of NbAs, which is a Weyl semimetal candidate proposed by recent theoretical calculations and confirmed by recent angle-resolved photoemission spectroscopy (ARPES) data. We detected the long-anticipated negative magneto-resistance generated by the chiral anomaly in NbAs. Clear Shubnikov de Haas (SdH) oscillations have been detected starting from very weak magnetic field. Analysis of the SdH peaks gives the Berry phase accumulated along the cyclotron orbits to be $π$, indicating the existence of Weyl points.

preprint2014arXiv

Worm-Like-Chain Model of Forced Desorption of a Polymer Adsorbed on an Attractive Wall

Forced desorption of a semiflexible polymer chain on a solid substrate is theoretically investigated. The pulling force versus displacement is studied for different adsorption energy and persistence length P. It is found that the relationships between pulling force and cantilever displacement show a series of characteristic force spikes at different persistence length P. These force spikes becomes more pronounced but the average magnitude of this force decrease as P grows. Our results are of relevance to forced desorption of DNA on an attractive wall in single-molecule pulling experiments.

preprint2011arXiv

Discrete Persistent Chain Model for Protein Binding on DNA

We describe and solve a discrete persistent chain model of protein binding on DNA, involving an extra sigma_i s at a site i of the DNA. This variable takes the value 1 or 0 depending on whether the site is occupied by a protein or not. In addition, if the site is occupied by a protein, there is an extra energy cost epsilon. For small force, we obtain analytic expressions for the force-extension curve and the fraction of bound protein on the DNA.For higher forces, the model can be solved numerically to obtain force extension curves and the average fraction of bound proteins as a function of applied force. Our model can be used to analyze experimental force extension curves of protein binding on DNA, and hence deduce the number of bound proteins in the case of non-specific binding.

preprint2011arXiv

Force Induced Unzipping of DNA with Long Range Correlated Noise

We derive and solve a Fokker-Planck equation for the stationary distribution of the free energy, in a model of unzipping of double-stranded DNA under external force. The autocorrelation function of the random DNA sequence can be a general form, including long range correlations. In the case of Orstein-Uhlenbeck noise, characterized by a finite correlation length, our result reduces to the exact result of Allahverdyan et al, with the average number of unzipped base pairs going as <X>~1/f^2 in the white noise limit, where f is the deviation from the critical force. In the case of long range correlated noise, where the integrated autocorrelation is divergent, we find that <X> is finite at f=0, with its value decreasing as the correlations become longer range. This shows that long range correlations actually stabilize the DNA sequence against unzipping. Our result is also in agreement with the findings of Allahverdyan et al, obtained using numerical generation of the long range correlated noise.

preprint2010arXiv

Stretching self-interacting, partially directed, flexible and semi-flexible polymers by an external force

We study the model of a partially directed flexible or semi-flexible homopolymer on a square lattice, subject to an externally applied force, in a direction either parallel to, or perpendicular to the preferred direction. The polymer is self-interacting and can therefore undergo a collapse transition. We show that this model can be solved and we obtain the force-temperature phase diagrams which, for the case of flexible polymers, agree with that of Brak et al obtained using a different method. At sufficiently low temperatures, the polymer conformation changes from compact to coil state as the force is increased beyond a critical value. This transition is second or first order for the completely flexible or semi-flexible polymer, respectively.

preprint2009arXiv

Adsorption of Externally Stretched Two-Dimensional Flexible and Semi-flexible Polymers near an Attractive Wall

We study analytically a model of a two dimensional, partially directed, flexible or semiflexible polymer, attached to an attractive wall which is perpendicular to the preferred direction. In addition, the polymer is stretched by an externally applied force. We find that the wall has a dramatic effect on the polymer. For wall attraction smaller than the non-sequential nearest neighbor attraction, the fraction of monomers at the wall is zero and the model is the same as that of a polymer without a wall. However, for greater than, the fraction of monomers at the wall undergoes a first order transition from unity at low temperature and small force, to zero at higher temperatures and forces. We present phase diagram for this transition. Our results are confirmed by Monte-Carlo simulations.

preprint2003arXiv

Rapid Adiabatic Passage from an Atomic to a Molecular Condensate

We examine collective magnetoassociation of a Bose-Einstein condensate (BEC), focusing on rapid adiabatic passage from atoms to molecules induced by a sweep of the magnetic field across a wide (>~ 10 G) Feshbach resonance in 85Rb. This problem raises an interest because strong magnetoassociation is expected to favor the creation of molecular-dissociated atom pairs over the formation of molecular BEC [Javanainen and Mackie, Phys. Rev. Lett. 88, 090403 (2002)]. Nevertheless, the conversion to atom pairs is found to depend on the direction of the sweep, so that a system initially above threshold (open dissociation channel) may in fact give near-complete conversion to molecules.