BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Xiaoyu Song

Xiaoyu Song appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
cond-mat.mtrl-sciArtificial Intelligencemath.NANumerical AnalysisComputer Visioncond-mat.mes-hallDistributed, Parallel, and Cluster Computingeess.IVHardware ArchitectureLogic in Computer ScienceMachine Learningmath.OCphysics.flu-dynphysics.geo-phquant-phSoftware Engineering

Catalog footprint

What is connected

13works
16topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

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

13 published item(s)

preprint2023arXiv

Computational multiphase micro-periporomechanics for dynamic shear banding and fracturing of unsaturated porous media

Dynamic shearing banding and fracturing in unsaturated porous media is a significant problem in engineering and science. This article proposes a multiphase micro-periporomechanics (uPPM) paradigm for modeling dynamic shear banding and fracturing in unsaturated porous media. Periporomechanics (PPM) is a nonlocal reformulation of classical poromechanics to model continuous and discontinuous deformation/fracture and fluid flow in porous media through a single framework. In PPM, a multiphase porous material is postulated as a collection of a finite number of mixed material points. The length scale in PPM that dictates the nonlocal interaction between material points is a mathematical object that lacks a direct physical meaning. As a novelty, in the coupled uPPM, a microstructure-based material length scale is incorporated by considering micro-rotations of the solid skeleton following the Cosserat continuum theory for solids. As a new contribution, we reformulate the second-order work for detecting material instability and the energy-based crack criterion and J-integral for modeling fracturing in the uPPM paradigm. The stabilized Cosserat PPM correspondence principle that mitigates the multiphase zero-energy mode instability is augmented to include unsaturated fluid flow. We have numerically implemented the novel uPPM paradigm through a dual-way fractional-step algorithm in time and a hybrid Lagrangian-Eulerian meshfree method in space. Numerical examples are presented to demonstrate the robustness and efficacy of the proposed uPPM paradigm for modeling shear banding and fracturing in unsaturated porous media.

0 citations0 reviewsNo code linkedOpen access
preprint2023arXiv

Towards Exascale Computation for Turbomachinery Flows

A state-of-the-art large eddy simulation code has been developed to solve compressible flows in turbomachinery. The code has been engineered with a high degree of scalability, enabling it to effectively leverage the many-core architecture of the new Sunway system. A consistent performance of 115.8 DP-PFLOPs has been achieved on a high-pressure turbine cascade consisting of over 1.69 billion mesh elements and 865 billion Degree of Freedoms (DOFs). By leveraging a high-order unstructured solver and its portability to large heterogeneous parallel systems, we have progressed towards solving the grand challenge problem outlined by NASA, which involves a time-dependent simulation of a complete engine, incorporating all the aerodynamic and heat transfer components.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

A Class of Magnetic Topological Material Candidates with Hypervalent Bi Chains

The link between crystal and electronic structure is crucial for understanding structure-property relations in solid-state chemistry. In particular, it has been instrumental in understanding topological materials, where electrons behave differently than they would in conventional solids. Herein, we identify 1D Bi chains as a structural motif of interest for topological materials. We focus on Sm$_3$ZrBi$_5$, a new quasi-one-dimensional (1D) compound in the Ln$_3$MPn$_5$ (Ln = lanthanide; M = metal; Pn = pnictide) family that crystallizes in the P$6_{3}$/mcm space group. Density functional theory calculations indicate a complex, topologically non-trivial electronic structure that changes significantly in the presence of spin-orbit coupling. Magnetic measurements show a quasi-1D antiferromagnetic structure with two magnetic transitions at 11.7 and 10.7 K that are invariant to applied field up to 9 T, indicating magnetically frustrated spins. Heat capacity, electrical, and thermal transport measurements support this claim and suggest complex scattering behavior in Sm$_3$ZrBi$_5$. This work highlights 1D chains as an unexplored structural motif for identifying topological materials, as well as the potential for rich physical phenomena in the Ln$_3$MPn$_5$ family.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Automatic Block-wise Pruning with Auxiliary Gating Structures for Deep Convolutional Neural Networks

Convolutional neural networks are prevailing in deep learning tasks. However, they suffer from massive cost issues when working on mobile devices. Network pruning is an effective method of model compression to handle such problems. This paper presents a novel structured network pruning method with auxiliary gating structures which assigns importance marks to blocks in backbone network as a criterion when pruning. Block-wise pruning is then realized by proposed voting strategy, which is different from prevailing methods who prune a model in small granularity like channel-wise. We further develop a three-stage training scheduling for the proposed architecture incorporating knowledge distillation for better performance. Our experiments demonstrate that our method can achieve state-of-the-arts compression performance for the classification tasks. In addition, our approach can integrate synergistically with other pruning methods by providing pretrained models, thus achieving a better performance than the unpruned model with over 93\% FLOPs reduced.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

MD modeling of cracks in clay at the nanoscale

Cracks in clay are significant in geotechnical and geoenvironmental engineering (e.g., embankment erosion and stability of landfill cover systems). This article studies the mechanism of nucleation and growth of cracks in clay at the nanoscale through full-scale molecular dynamics simulations. The clay adopted is pyrophyllite, and the force field is CLAYFF. The crack formation in a pyrophyllite clay layer is evaluated under uniaxial tension and simple shear. The numerical results show that cracks in the nanoscale pyrophyllite clay layer are brittle and strain-rate dependent. Small strain rate results in low ultimate tensile/shear strength. As strain rate increases, clay crack shifts from a single-crack pattern to a multiple-crack one. The cracking mechanism is investigated from bond breakage analysis at the atomic scale. It is found that the first bond breakage occurs in the silicon-surface oxygen bond. As a crack propagates, the relative percentage of broken silicon-surface oxygen bonds is the smallest compared to other types of metal-oxygen interactions, demonstrating that the atomic interaction between silicon and surface oxygen atoms is the strongest. To understand the propagation of cracks, we also study the stress intensity factor and energy release rate of pyrophyllite and their size dependence at the atomic scale.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Multi-scale reconstruction of undersampled spectral-spatial OCT data for coronary imaging using deep learning

Coronary artery disease (CAD) is a cardiovascular condition with high morbidity and mortality. Intravascular optical coherence tomography (IVOCT) has been considered as an optimal imagining system for the diagnosis and treatment of CAD. Constrained by Nyquist theorem, dense sampling in IVOCT attains high resolving power to delineate cellular structures/ features. There is a trade-off between high spatial resolution and fast scanning rate for coronary imaging. In this paper, we propose a viable spectral-spatial acquisition method that down-scales the sampling process in both spectral and spatial domain while maintaining high quality in image reconstruction. The down-scaling schedule boosts data acquisition speed without any hardware modifications. Additionally, we propose a unified multi-scale reconstruction framework, namely Multiscale- Spectral-Spatial-Magnification Network (MSSMN), to resolve highly down-scaled (compressed) OCT images with flexible magnification factors. We incorporate the proposed methods into Spectral Domain OCT (SD-OCT) imaging of human coronary samples with clinical features such as stent and calcified lesions. Our experimental results demonstrate that spectral-spatial downscaled data can be better reconstructed than data that is downscaled solely in either spectral or spatial domain. Moreover, we observe better reconstruction performance using MSSMN than using existing reconstruction methods. Our acquisition method and multi-scale reconstruction framework, in combination, may allow faster SD-OCT inspection with high resolution during coronary intervention.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Synthesis of an aqueous, air-stable, superconducting 1T'-WS$_2$ monolayer-ink

Liquid-phase chemical exfoliation is ideal to achieve industry scale production of two-dimensional (2D) materials for a wide range of application such as printable electronics, catalysis and energy storage. However, many impactful 2D materials with potentials in quantum technologies can only be studied in lab settings due to their air-sensitivity, and loss of physical performance after chemical processing. Here, we report a simple chemical exfoliation method to create a stable, aqueous, surfactant-free, superconducting ink containing phase-pure 1T'-WS$_2$ monolayers that are isotructural to the air-sensitive topological insulator 1T'-WTe$_2$. We demonstrate that thin films can be cast on both hard and flexible substrates. The printed film is metallic at room temperature and superconducting below 7.3 K, shows strong anisotropic unconventional superconducting behavior with an in-plane and out-of-plane upper critical magnetic field of 30.1 T and 5.3 T, has a critical current of 44 mA, and is stable at ambient conditions for at least 30 days. Our results show that chemical processing can provide an engineering solution, which makes non-trivial 2D materials that used to be only studied in laboratories commercially accessible.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Computational multiphase periporomechanics for unguided cracking in unsaturated porous media

In this article we formulate and implement a computational multiphase periporomechanics model for unguided fracturing in unsaturated porous media. The same governing equation for the solid phase applies on and off cracks. Crack formation in this framework is autonomous, requiring no prior estimates of crack topology. As a new contribution, an energy-based criterion for arbitrary crack formation is formulated using the peridynamic effective force state for unsaturated porous media. Unsaturated fluid flow in the fracture space is modeled in a simplified way in line with the nonlocal formulation of unsaturated fluid flow in bulk. The formulated unsaturated fracturing periporomechanics is numerically implemented through a fractional step algorithm in time and a two-phase mixed meshless method in space. The two-stage operator split converts the coupled periporomechanics problem into an undrained deformation and fracture problem and an unsaturated fluid flow in the deformed skeleton configuration. Numerical simulations of in-plane open and shear cracking are conducted to validate the accuracy and robustness of the fracturing unsaturated periporomechanics model. Then numerical examples of wing cracking and non-planar cracking in unsaturated soil specimens are presented to demonstrate the efficacy of the proposed multiphase periporomechanics model for unguided cracking in unsaturated porous media.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

NEMD modeling of nanoscale hydrodynamics of clay-water system at elevated temperature

The engineering problems involving clay under non-isothermal conditions (e.g., geothermal energy harvest, landfill cover system, and nuclear waste disposal) are multiscale and multiphysics by nature. The nanoscale hydrodynamics of clay at elevated temperature is essential in developing a physics-based multiscale model for clay under non-isothermal conditions. The nonequilibrium molecular dynamics (NEMD) is a useful tool to study the nanoscale hydrodyndamics of clay. This article presents an NEMD modeling of hydrodynamics of clay nanopores at elevated temperatures. Water flow confined in pyrophyllite and montmorillonite clay nanopores is investigated. The nonequilibrium state is maintained by uniformly exerting an external force on each water molecule. The NEMD simulations have provided a molecular-scale perspective of temperature effect on clay-water density, water flow velocity, shear viscosity, clay-water slip length, hydraulic conductivity, and clay-water friction coefficient. The numerical results have shown a strong temperature dependence of fluid flow velocity, shear viscosity, clay-water slip length, and hydraulic conductivity at the nanoscale. We have validated the applicability of cubic law in determining hydraulic conductivity at the nanopore scale under at elevated temperature. It is found from our numerical results that slip clay-water boundary condition is an essential factor in properly determining nanoscale fluid flow velocity. By numerical examples, we also study the impact of nanopore size and clay layer thickness on the hydrodynamics of the clay-water system.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Machine-learning based three-qubit gate for realization of a Toffoli gate with cQED-based transmon systems

We use machine learning techniques to design a 50 ns three-qubit flux-tunable controlled-controlled-phase gate with fidelity of >99.99% for nearest-neighbor coupled transmons in circuit quantum electrodynamics architectures. We explain our gate design procedure where we enforce realistic constraints, and analyze the new gate's robustness under decoherence, distortion, and random noise. Our controlled-controlled-phase gate in combination with two single-qubit gates realizes a Toffoli gate which is widely used in quantum circuits, logic synthesis, quantum error correction, and quantum games.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems

A barrier certificate is an inductive invariant function which can be used for the safety verification of a hybrid system. Safety verification based on barrier certificate has the benefit of avoiding explicit computation of the exact reachable set which is usually intractable for nonlinear hybrid systems. In this paper, we propose a new barrier certificate condition, called Exponential Condition, for the safety verification of semi-algebraic hybrid systems. The most important benefit of Exponential Condition is that it has a lower conservativeness than the existing convex condition and meanwhile it possesses the property of convexity. On the one hand, a less conservative barrier certificate forms a tighter over-approximation for the reachable set and hence is able to verify critical safety properties. On the other hand, the property of convexity guarantees its solvability by semidefinite programming method. Some examples are presented to illustrate the effectiveness and practicality of our method.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

Exact Synthesis of 3-Qubit Quantum Circuits from Non-Binary Quantum Gates Using Multiple-Valued Logic and Group Theory

We propose an approach to optimally synthesize quantum circuits from non-permutative quantum gates such as Controlled-Square-Root-of-Not (i.e. Controlled-V). Our approach reduces the synthesis problem to multiple-valued optimization and uses group theory. We devise a novel technique that transforms the quantum logic synthesis problem from a multi-valued constrained optimization problem to a group permutation problem. The transformation enables us to utilize group theory to exploit the properties of the synthesis problem. Assuming a cost of one for each two-qubit gate, we found all reversible circuits with quantum costs of 4, 5, 6, etc, and give another algorithm to realize these reversible circuits with quantum gates.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

Improving the Process-Variation Tolerance of Digital Circuits Using Gate Sizing and Statistical Techniques

A new approach for enhancing the process-variation tolerance of digital circuits is described. We extend recent advances in statistical timing analysis into an optimization framework. Our objective is to reduce the performance variance of a technology-mapped circuit where delays across elements are represented by random variables which capture the manufacturing variations. We introduce the notion of statistical critical paths, which account for both means and variances of performance variation. An optimization engine is used to size gates with a goal of reducing the timing variance along the statistical critical paths. We apply a pair of nested statistical analysis methods deploying a slower more accurate approach for tracking statistical critical paths and a fast engine for evaluation of gate size assignments. We derive a new approximation for the max operation on random variables which is deployed for the faster inner engine. Circuit optimization is carried out using a gain-based algorithm that terminates when constraints are satisfied or no further improvements can be made. We show optimization results that demonstrate an average of 72% reduction in performance variation at the expense of average 20% increase in design area.

0 citations0 reviewsNo code linkedOpen access