arXiv subjects

Ying Jiang

Publications and source records attributed to Ying Jiang.

At least 73 records · Page 4Linked to original sources

arXiv2019

A Fiber Optoacoustic Emitter with Maximized Conversion Efficiency and Controlled Ultrasound Frequency for Biomedical Applications

Focused ultrasound has attracted great attention in minimally invasive therapy, gene delivery, brain stimulation, etc. Frequency below 1 MHz has been identified preferable for high-efficacy drug delivery, gene transfection and neurostimulation due to minimized tissue heating and cell fragmentation. However, the poor spatial resolution of several millimeters and the large device diameter of ~25 mm of current sub-MHz ultrasound technology severely hinders its further applications for effective, precise, safe and wearable biomedical studies and clinical use. To address this issue, we report the development of a novel fiber-based optoacoustic emitter (FOE). The FOE, a new miniaturized ultrasound source, is composed of an optical diffusion coating layer and an expansion coating layer at an optical fiber distal end with a diameter of approximately 500 microns. Taking advantage of the fiber size and diffusive nanoparticles introduced, the ultrasound generated by the FOEs showed a spatial confinement of sub-millimeter. The optoacoustic conversion efficiency was maximized through choosing absorbing nanomaterials and thermal expansion matrix. Controllable frequencies in the range of 0.083 MHz to 5.500 MHz were achieved through using the diffusion layer as a damping material or modifying the nano-composition in the expansion layer. This sub-MHz frequency controllability allows FOEs to be used as a localized ultrasound source for precise cell modulation. We demonstrated optoacoustic cell membrane sonoporation with a localization of sub-millimeter and negligible heat deposition, implicating its broad biomedical applications, including region-specific drug delivery, gene transfection as well as localized neuron stimulation.

physics.med-ph↗

arXiv2019

Dynamics of Taylor Rising

We study the dynamics of liquid climbing in a narrow and tilting corner, inspired by recent work on liquid transportation on the peristome surface of Nepenthes alata. Considering the balance of gravity, interfacial tension and viscous force, we derive a partial differential equation for the meniscus profile, and numerically study the behavior of the solution for various tilting angle $β$. We show that the liquid height $h(t)$ at time $t$ satisfy the same scaling law found for vertical corner, i.e., $h(t) \propto t^{1/3}$ for large $t$, but the coefficient depends on the tilting angle $β$. The coefficient can be calculated approximately by Onsager principle, and the result agrees well with that obtained by numerical calculation. Our model can be applied for a weakly curved corner and may provide guidance to the design of biomimetic surfaces for liquid transportation.

cond-mat.soft↗

arXiv2018

Directional freezing of binary colloidal suspensions: A model for size fractionation of graphene oxide

The performance of graphene oxide(GO)-based materials strongly depends on the lateral size and size distribution of GO nanosheets. Various methods are employed to prepare GO nanosheets with a narrow size distribution. One of the promising method was proposed recently by directionally freezing of a GO aqueous dispersion at a controlled growth rate of the freezing front. We develop a theoretic model of binary colloids suspension, incorporating both the moving freezing boundary and the preferential adsorption of colloidal particles to the ice phase. We numerically solve the coupled diffusion equations and present state diagrams of size fractionation. Selective trapping of colloids according to their size can be achieved by a suitable choice of the experimental parameters, such as the adsorption rates and the freezing speed.

cond-mat.soft↗

arXiv2018

Towards the growth of single-crystal boron nitride monolayer on Cu

Atom-layered hexagonal boron nitride (hBN), with excellent stability, flat surface and large bandgap, has been reported to be the best 2D insulator to open up the great possibilities for exciting potential applications in electronics, optoelectronics and photovoltaics. The ability to grow high-quality large single crystals of hBN is at the heart for those applications, but the size of single-crystal 2D BN is less than a millimetre till now. Here, we report the first epitaxial growth of a 10*10 cm2 single-crystal hBN monolayer on a low symmetry Cu(110) "vicinal surface". The growth kinetics, unidirectional alignment and seamless stitching of hBN domains are unambiguously illustrated using centimetre- to the atomic-scale characterization techniques. The findings in this work are expected to significantly boost the massive applications of 2D materials-based devices, and also pave the way for the epitaxial growth of broad non-centrosymmetric 2D materials.

cond-mat.mtrl-sci↗

arXiv2018

A machine-learning solver for modified diffusion equations

A feed-forward neural network has a remarkable property which allows the network itself to be a universal approximator for any functions.Here we present a universal, machine-learning based solver for multi-variable partial differential equations. The algorithm approximates the target functions by neural networks and adjusts the network parameters to approach the desirable solutions.The idea can be easily adopted for dealing with multi-variable, coupled integrodifferential equations, such as those in the self-consistent field theory for predicting polymer microphase-separated structures.

cond-mat.dis-nn↗

arXiv2017

Direct evidences of pentagonal silicon chains and magic clusters

Pentagon is one of the most beautiful geometric structures in nature, but it is rarely seen simply because five-fold symmetry is mathematically forbidden in a 2D or 3D periodic lattices. Fortunately, pentagon as a structural element is allowed in 1D or 0D systems, since translational symmetry is not necessary there. However, in these systems pentagons only compose a small portion of the structure. So far, 1D or 0D systems consisting of purely pentagons are still rare. Here, combing high resolution non-contact atomic force microscopy and tip-enhanced Raman spectroscopy, we have directly visualized the pentagon-ring structure in self-assembled Si nanoribbons and magic clusters on Ag(110) substrate. Moreover, chemical fingerprint of Si pentagon was detected in individual Si nanoribbon and clusters by tip-enhanced Raman spectroscopy. This work demonstrates that Si pentagon can be an important element in building silicon nanostructures, which may find potential applications in future nanoelectronics based on silicon.

cond-mat.mes-hall↗

arXiv2017

SCTL: Towards Combining Model Checking and Proof Checking

Model checking and automated theorem proving are two pillars of formal methods. This paper investigates model checking from an automated theorem proving perspective, aiming at combining the expressiveness of automated theorem proving and the complete automaticity of model checking. The focus of this paper is on the verification of temporal logic properties of Kripke models. The main contributions of this paper are: first the definition of an extended computation tree logic that allows polyadic predicate symbols, then a proof system for this logic, taking Kripke models as parameters, then, the design of a proof-search algorithm for this calculus and a new automated theorem prover to implement it. The verification process is completely automatic, and produces either a counterexample when the property does not hold, or a certificate when it does. The experimental result compares well to existing state-of-the-art tools on some benchmarks, including an application to air traffic control and the design choices that lead to this efficiency are discussed.

cs.LO↗

arXiv2017

Structure Formation in Soft Matter Solutions Induced by Solvent Evaporation

Solvent evaporation in soft matter solutions (solutions of colloidal particles, polymers and their mixtures) is an important process in material making and in printing and coating industries. The solvent evaporation process determines the structure of the materials, and strongly affects their performance. Solvent evaporation involves many physico-chemical processes: flow, diffusion, crystallization, gelation, glass transition, etc., and is quite complex. In this article, we report recent progresses in this important process, with a special focus on theoretical and simulation studies.

cond-mat.soft↗

arXiv2017

Ultrafast Epitaxial Growth of Metre-Sized Single-Crystal Graphene on Industrial Cu Foil

A foundation of the modern technology that uses single-crystal silicon has been the growth of high-quality single-crystal Si ingots with diameters up to 12 inches or larger. For many applications of graphene, large-area high-quality (ideally of single-crystal) material will be enabling. Since the first growth on copper foil a decade ago, inch-sized single-crystal graphene has been achieved. We present here the growth, in 20 minutes, of a graphene film of 5 x 50 cm2 dimension with > 99% ultra-highly oriented grains. This growth was achieved by: (i) synthesis of sub-metre-sized single-crystal Cu(111) foil as substrate; (ii) epitaxial growth of graphene islands on the Cu(111) surface; (iii) seamless merging of such graphene islands into a graphene film with high single crystallinity and (iv) the ultrafast growth of graphene film. These achievements were realized by a temperature-driven annealing technique to produce single-crystal Cu(111) from industrial polycrystalline Cu foil and the marvellous effects of a continuous oxygen supply from an adjacent oxide. The as-synthesized graphene film, with very few misoriented grains (if any), has a mobility up to ~ 23,000 cm2V-1s-1 at 4 K and room temperature sheet resistance of ~ 230 ohm/square. It is very likely that this approach can be scaled up to achieve exceptionally large and high-quality graphene films with single crystallinity, and thus realize various industrial-level applications at a low cost.

cond-mat.mtrl-sci↗

arXiv2017

Modeling and Reasoning About Wireless Networks: A Graph-based Calculus Approach

We propose a graph-based process calculus for modeling and reasoning about wireless networks with local broadcasts. Graphs are used at syntactical level to describe the topological structures of networks. This calculus is equipped with a reduction semantics and a labelled transition semantics. The former is used to define weak barbed congruence. The latter is used to define a parameterized weak bisimulation emphasizing locations and local broadcasts. We prove that weak bisimilarity implies weak barbed congruence. The potential applications are illustrated by some examples and two case studies.

cs.LO↗

arXiv2017

Submolecular-resolution non-invasive imaging of interfacial water with atomic force microscopy

Scanning probe microscopy (SPM) has been extensively applied to probe interfacial water in many interdisciplinary fields but the disturbance of the probes on the hydrogen-bonding structure of water has remained an intractable problem. Here we report submolecular-resolution imaging of the water clusters on a NaCl(001) surface within the nearly non-invasive region by a qPlus-based noncontact atomic force microscopy. Comparison with theoretical simulations reveals that the key lies in probing the weak high-order electrostatic force between the quadrupole-like CO-terminated tip and the polar water molecules at large tip-water distances. This interaction allows the imaging and structural determination of the weakly bonded water clusters and even of their metastable states without inducing any disturbance. This work may open up new possibility of studying the intrinsic structure and electrostatics of ice or water on bulk insulating surfaces, ion hydration and biological water with atomic precision.

physics.chem-ph↗

arXiv2017

VMDV: A 3D Visualization Tool for Modeling, Demonstration, and Verification

The output of an automated theorem prover is usually presented by using a text format, they are often too heavy to be understood. In model checking setting, it would be helpful if one can observe the structure of models and the verification procedures. A 3D visualization tool (\textsf{VMDV}) is proposed in this paper to address these problems. The facility of \vmdv is illustrated by applying it to a proof systems.

cs.LO↗

arXiv2017

Cross-interaction drives stratification in drying film of binary colloidal mixtures

When a liquid film of colloidal solution consisting of particles of different sizes is dried on a substrate, the colloids often stratify, where smaller colloids are laid upon larger colloids. This phenomenon is counter intuitive because larger colloids which have smaller diffusion constant are expected to remain near the surface during the drying process, leaving the layer of larger colloids on top of smaller colloids. Here we show that the phenomenon is caused by the interaction between the colloids, and can be explained by the diffusion model which accounts for the interaction between the colloids. By studying the evolution equation both numerically and analytically, we derive the condition at which the stratified structures are obtained.

cond-mat.soft↗

arXiv2016

Ginzburg-Landau effective action approach to disordered Bose-Hubbard Model

We study the phase transition from Mott insulator (MI) to Bose glass (BG) of a disordered Bose-Hubbard model within the framework of Ginzburg-Landau effective action approach. By treating MI as unperturbed ground state and performing a systematic expansion with respect to tunneling matrix element, we extend such a field-theoretic method into the disordered lattice Bose systems. To the lowest order, a second order phase transition is confirmed to happen here and the corresponding phase boundary equation coincides with the previous mean-field approximation result. Keeping all the terms second order in hopping parameter, we obtain the beyond mean-field results of MI-BG phase boundary of 2D and 3D disordered Bose-Hubbard models. Our analytic predictions are in agreement with recent semianalytic results.

cond-mat.quant-gas↗

arXiv2016

Bogoliubov approach to superfluid-Bose glass phase transition of a disordered Bose-Hubbard Model in weakly interacting regime

We investigate the disorder effect on coherent fraction and the quantum phase transition of ultracold dilute Bose gases trapped in disordered optical lattices. Within the framework of Bogoliubov theory, an analytical expression for the particle density is derived and the dependence of coherent fraction on disorder strength as well as on lattice depth is discussed. In weak disorder regime, we find a decreased sensitivity of coherent fraction to disorder with the increase of on-site interaction strength. For strong disorder, the quantum phase boundary between superfluid phase and Bose glass phase in the disordered Bose-Hubbard system in weak interaction regime is discussed qualitatively. The obtained phase diagram is in agreement with the empirical square-root law. The dependence of the corresponding critical value of the disorder strength on optical lattice depth is presented as well, and may serve as a reference object for possible experimental investigation.

cond-mat.quant-gas↗

arXiv2016

Logistic growth of skyrmions in 3D chiral magnets

The process of topological phase transition in a chiral magnetic material from skyrmion lattice phase to helical phase has been investigated numerically and experimentally, yet the analytical expression of the evolution of skyrmion number and emergent magnetic monopole charge during the process is still waiting to be explored. In this letter, by utilizing the topological current theory, we show that the change of skyrmion number of a layer in the system is equal to the net monopole charges that flows through the layer. Based on this relation, with the help of statistical argument, we derive the analytical expressions of the skyrmion number and the monopole charge as functions of the external magnetic field. We find that the evolution of the skyrmion number is exactly the logistic growth function, and the evolution of the monopole charge is proportional to the derivative of the skyrmion number of the system. our analytical results are in good agreement with the numerical simulations in \cite{2013SCIENCE}. The goodness of data fitting goes up to 99.94\%.

cond-mat.mes-hall↗

arXiv2016

A Fully Abstract Semantics for Value-passing CCS for Trees

This paper provides a fully abstract semantics for value-passing CCS for trees (VCCTS). The operational semantics is given both in terms of a reduction semantics and in terms of a labelled transition semantics. The labelled transition semantics is non-sequential, allowing more than one action occurring simultaneously. We develop the theory of behavioral equivalence by introducing both weak barbed congruence and weak bisimilarity. In particular, we show that weak barbed congruence coincides with weak bisimilarity on image-finite processes. This is the first such result for a concurrent model with tree structures. Distributed systems can be naturally modeled by means of this graph-based system, and some examples are given to illustrate this.

cs.LO↗

arXiv2016

Modelling and Analysis of Network Security - an Algebraic Approach

Game theory has been applied to investigate network security. But different security scenarios were often modeled via different types of games and analyzed in an ad-hoc manner. In this paper, we propose an algebraic approach for modeling and analyzing uniformly several types of network security games. This approach is based on a probabilistic extension of the value-passing Calculus of Communicating Systems (CCS) which is regarded as a Generative model for Probabilistic Value-passing CCS (PVCCSG for short). Our approach gives a uniform framework, called PVCCSG based security model, for the security scenarios modeled via perfect and complete or incomplete information games. We present then a uniform algorithm for computing the Nash equilibria strategies of a network security game on its PVCCSG based security model. The algorithm first generates a transition system for each of the PVCCSG based security models, then simplifies this transition system through graph-theoretic abstraction and bisimulation minimization. Then, a backward induction method, which is only applicable to finite tree models, can be used to compute all the Nash equilibria strategies of the (possibly infinite) security games. This algorithm is implemented and can also be tuned smoothly for computing its social optimal strategies. The effectiveness and efficiency of this approach are further demonstrated with four detailed case studies from the field of network security.

cs.CR↗