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

Yuxing Deng

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

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

Catalog footprint

What is connected

8works
5topics
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

8 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

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

In this paper we consider $4$-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 $4$-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 $\mathbb{R}$ with a $3$-dimensional spherical space form. We also classify the tangent flows at infinity of $4$-dimensional steady soliton singularity models in general.

0 citations0 reviewsNo code linkedOpen 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 $3$-manifolds. We will show that such 4-dimensional steady gradient Ricci solitons either dimension reduce to a spherical space form $\mathbb{S}^3/Γ$ or weakly dimension reduce to the $3$-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 $4$-manifolds or dimension reduce to $3$-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 $4$-manifolds.

0 citations0 reviewsNo code linkedOpen 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 $(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)$ satisfies $\lim_{r(x)\rightarrow\infty}R(x)f(x)=C_0\sup_{x\in M}R(x)$ with $C_0>\frac{n-2}{2}$.

0 citations0 reviewsNo code linkedOpen 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.

0 citations0 reviewsNo code linkedOpen 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.

0 citations0 reviewsNo code linkedOpen access