BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Source author record

Yuxing Deng

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record
math.DGDistributed, Parallel, and Cluster Computingeess.SYLogic in Computer ScienceSystems and Control

Catalog footprint

Research overview

8works
5topics
4close collaborators

Actions

Is this your work?

Log in to claim
Open graphBrowse papers

Published work

8 publications

preprint2022arXiv

Autonomous Smart Grid Fault Detection

Smart grid plays a crucial role for the smart society and the upcoming carbon neutral society. Achieving autonomous smart grid fault detection is critical for smart grid system state awareness, maintenance and operation. This paper focuses on fault monitoring in smart grid and discusses the inherent technical challenges and solutions. In particular, we first present the basic principles of smart grid fault detection. Then, we explain the new requirements for autonomous smart grid fault detection, the technical challenges and their possible solutions. A case study is introduced, as a preliminary study for autonomous smart grid fault detection. In addition, we highlight relevant directions for future research.

Open access
preprint2022arXiv

Four-Dimensional Steady Gradient Ricci Solitons with 33-Cylindrical Tangent Flows at Infinity

In this paper we consider 44-dimensional steady soliton singularity models, i.e., complete steady gradient Ricci solitons that arise as the rescaled limit of a finite time singular solution of the Ricci flow on a closed 44-manifold. In particular, we study the geometry at infinity of such Ricci solitons under the assumption that their tangent flow at infinity is the product of R\mathbb{R} with a 33-dimensional spherical space form. We also classify the tangent flows at infinity of 44-dimensional steady soliton singularity models in general.

Open access
preprint2022arXiv

On Four-dimensional Steady gradient Ricci solitons that dimension reduce

In this paper, we will study the asymptotic geometry of 4-dimensional steady gradient Ricci solitons under the condition that they dimension reduce to 33-manifolds. We will show that such 4-dimensional steady gradient Ricci solitons either dimension reduce to a spherical space form S3/Γ\mathbb{S}^3/Γ or weakly dimension reduce to the 33-dimensional Bryant soliton. We also show that 4-dimensional steady gradient Ricci soliton singularity models with nonnegative Ricci curvature outside a compact set either are Ricci-flat ALE 44-manifolds or dimension reduce to 33-dimensional manifolds. As an application, we prove that any steady gradient Kähler-Ricci soliton singularity models on complex surfaces with nonnegative Ricci curvature outside a compact set must be hyperkähler ALE Ricc-flat 44-manifolds.

Open access
preprint2016arXiv

3d steady Gradient Ricci Solitons with linear curvature decay

In this note, we prove that a 3-dimensional steady Ricci soliton is rotationally symmetric if its scalar curvature R(x)R(x) satisfies C0−1ρ(x)≤R(x)≤C0ρ(x)\frac{C_0^{-1}}{ρ(x)}\le R(x)\le \frac{C_0}{ρ(x)} for some constant C0>0C_0>0, where ρ(x)ρ(x) denotes the distance from a fixed point x0x_0. Our result doesn't assume that the soliton is κκ-noncollapsed.

Open access
preprint2016arXiv

Steady Ricci solitons with horizontally εε-pinched Ricci curvature

In this paper, we prove that any κκ-noncollapsed gradient steady Ricci soliton with nonnegative curvature operator and horizontally εε-pinched Ricci curvature must be rotationally symmetric. As an application, we show that any κκ-noncollapsed gradient steady Ricci soliton (Mn,g,f)(M^n, g,f) with nonnegative curvature operator must be rotationally symmetric if it admits a unique equilibrium point and its scalar curvature R(x)R(x) satisfies lim⁡r(x)→∞R(x)f(x)=C0sup⁡x∈MR(x)\lim_{r(x)\rightarrow\infty}R(x)f(x)=C_0\sup_{x\in M}R(x) with C0>n−22C_0>\frac{n-2}{2}.

Open access
preprint2013arXiv

Complete non-compact gradient Ricci solitons with nonnegative Ricci curvature

In this paper, we give a delay estimate of scalar curvature for a complete non-compact expanding (or steady) gradient Ricci soliton with nonnegative Ricci curvature. As an application, we prove that any complete non-compact expanding (or steady) gradient Kähler-Ricci solitons with positively pinched Ricci curvature should be Ricci flat. The result answers a question in case of Kähler-Ricci solitons proposed by Chow, Lu and Ni in a book.

Open access
preprint2012arXiv

Characterisations of Testing Preorders for a Finite Probabilistic pi-Calculus

We consider two characterisations of the may and must testing preorders for a probabilistic extension of the finite pi-calculus: one based on notions of probabilistic weak simulations, and the other on a probabilistic extension of a fragment of Milner-Parrow-Walker modal logic for the pi-calculus. We base our notions of simulations on the similar concepts used in previous work for probabilistic CSP. However, unlike the case with CSP (or other non-value-passing calculi), there are several possible definitions of simulation for the probabilistic pi-calculus, which arise from different ways of scoping the name quantification. We show that in order to capture the testing preorders, one needs to use the "earliest" simulation relation (in analogy to the notion of early (bi)simulation in the non-probabilistic case). The key ideas in both characterisations are the notion of a "characteristic formula" of a probabilistic process, and the notion of a "characteristic test" for a formula. As in an earlier work on testing equivalence for the pi-calculus by Boreale and De Nicola, we extend the language of the ππ-calculus with a mismatch operator, without which the formulation of a characteristic test will not be possible.

Open access

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.