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

Junqing Chen

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

ResearcherUnclaimed source record
Machine Learningmath-phmath.APmath.MPmath.NANumerical AnalysisLogic in Computer Science

Catalog footprint

What is connected

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

7 published item(s)

preprint2022arXiv

BI-GreenNet: Learning Green's functions by boundary integral network

Green's function plays a significant role in both theoretical analysis and numerical computing of partial differential equations (PDEs). However, in most cases, Green's function is difficult to compute. The troubles arise in the following three folds. Firstly, compared with the original PDE, the dimension of Green's function is doubled, making it impossible to be handled by traditional mesh-based methods. Secondly, Green's function usually contains singularities which increase the difficulty to get a good approximation. Lastly, the computational domain may be very complex or even unbounded. To override these problems, we leverage the fundamental solution, boundary integral method and neural networks to develop a new method for computing Green's function with high accuracy in this paper. We focus on Green's function of Poisson and Helmholtz equations in bounded domains, unbounded domains. We also consider Poisson equation and Helmholtz domains with interfaces. Extensive numerical experiments illustrate the efficiency and the accuracy of our method for solving Green's function. In addition, we also use the Green's function calculated by our method to solve a class of PDE, and also obtain high-precision solutions, which shows the good generalization ability of our method on solving PDEs.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

M2N: Mesh Movement Networks for PDE Solvers

Mainstream numerical Partial Differential Equation (PDE) solvers require discretizing the physical domain using a mesh. Mesh movement methods aim to improve the accuracy of the numerical solution by increasing mesh resolution where the solution is not well-resolved, whilst reducing unnecessary resolution elsewhere. However, mesh movement methods, such as the Monge-Ampere method, require the solution of auxiliary equations, which can be extremely expensive especially when the mesh is adapted frequently. In this paper, we propose to our best knowledge the first learning-based end-to-end mesh movement framework for PDE solvers. Key requirements of learning-based mesh movement methods are alleviating mesh tangling, boundary consistency, and generalization to mesh with different resolutions. To achieve these goals, we introduce the neural spline model and the graph attention network (GAT) into our models respectively. While the Neural-Spline based model provides more flexibility for large deformation, the GAT based model can handle domains with more complicated shapes and is better at performing delicate local deformation. We validate our methods on stationary and time-dependent, linear and non-linear equations, as well as regularly and irregularly shaped domains. Compared to the traditional Monge-Ampere method, our approach can greatly accelerate the mesh adaptation process, whilst achieving comparable numerical error reduction.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Detection and classification from electromagnetic induction data

In this paper we introduce an efficient algorithm for identifying conductive objects using induction data derived from eddy currents. Our method consists of first extracting geometric features from the induction data and then matching them to precomputed data for known objects from a given dictionary. The matching step relies on fundamental properties of conductive polarization tensors and new invariants introduced in this paper. A new shape identification scheme is introduced and studied. We test it numerically in the presence of measurement noise. Stability and resolution capabilities of the proposed identification algorithm are quantified in numerical simulations.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Reverse Time Migration for Extended Obstacles: Acoustic Waves

We consider the resolution of the single frequency reverse time migration (RTM) method for extended targets without the assumption of the validation of geometric optics approximation. The resolution analysis, which applies in both penetrable and non-penetrable obstacles with sound soft or impedance boundary condition on the boundary of the obstacle, implies that the imaginary part of the cross-correlation imaging functional is always positive and thus may have better stability properties. Numerical experiments are included to illustrate the powerful imaging quality and to confirm our resolution results.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Reverse Time Migration for Extended Obstacles: Electromagnetic Waves

We propose a new single frequency reverse time migration (RTM) algorithm for imaging extended targets using electromagnetic waves. The imaging functional is defined as the imaginary part of the cross-correlation of the Green function for Helmholtz equation and the back-propagated electromagnetic field. The resolution of our RTM method for both penetrable and non-penetrable extended targets is studied by virtue of Helmholtz-Kirchhoff identity for the time-harmonic Maxwell equation. The analysis implies that our imaging functional is always positive and thus may have better stability properties. Numerical examples are provided to demonstrate the powerful imaging quality and confirm our theoretical results.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Target Detection and Characterization from Electromagnetic Induction Data

The goal of this paper is to contribute to the field of nondestructive testing by eddy currents. We provide a mathematical analysis and a numerical framework for simulating the imaging of arbitrarily shaped small volume conductive inclusions from electromagnetic induction data. We derive, with proof, a small-volume expansion of the eddy current data measured away from the conductive inclusion. The formula involves two polarization tensors: one associated with the magnetic contrast and the second with the conductivity of the inclusion. Based on this new formula, we design a location search algorithm. We include in this paper a discussion on data sampling, noise reduction, and on probability of detection. We provide numerical examples that support our findings.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

A Calculus of Consistent Component-based Software Updates

It is important to enable reasoning about the meaning and possible effects of updates to ensure that the updated system operates correctly. A formal, mathematical model of dynamic update should be developed, in order to understand by both users and implementors of update technology what design choices can be considered. In this paper, we define a formal calculus $updateπ$, a variant extension of higher-order $π$ calculus, to model dynamic updates of component-based software, which is language and technology independent. The calculus focuses on following main concepts: proper granularity of update, timing of dynamic update, state transformation between versions, update failure check and recovery. We describe a series of rule on safe component updates to model some general processes of dynamic update and discuss its reduction semantics coincides with a labelled transition system semantics that illustrate the expressive power of these calculi.

0 citations0 reviewsNo code linkedOpen access