Researcher profile

Xi Deng

Xi Deng contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
6works
0followers
6topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

6 published item(s)

preprint2022arXiv

A Comprehensive Evaluation of Android ICC Resolution Techniques

Inter-component communication (ICC) is a widely used mechanism in mobile apps, which enables message-based control flow transferring and data passing between Android components. Effective ICC resolution requires precisely identifying entry points, analyzing data values of ICC fields, modeling related framework APIs, etc. Due to various control-flow- and data-flow-related characteristics involved and the lack of oracles for real-world apps, the comprehensive evaluation of ICC resolution techniques is challenging. To fill this gap, we collect multiple-type benchmark suites with 4,104 apps, covering hand-made apps, open-source, and commercial ones. Considering their differences, various evaluation metrics, e.g., number count, graph structure, and reliable oracle based metrics, are adopted on-demand. As the oracle for real-world apps is unavailable, we design a dynamic analysis approach to extract the real ICC links triggered during GUI exploration. By auditing the code implementations, we carefully check the extracted ICCs and confirm 1,680 ones to form a reliable oracle set, in which each ICC is labeled with 25 code characteristic tags. The evaluation performed on six state-of-the-art ICC resolution tools shows that 1) the completeness of static ICC resolution results on real-world apps is not satisfactory, as up to 38%-85% ICCs are missed by tools; 2) many wrongly reported ICCs are sent from or received by only a few components and the graph structure information can help the identification; 3) the efficiency of fundamental tools, like ICC resolution ones, should be optimized in both engineering and research aspects. By investigating both the missed and wrongly reported ICCs, we discuss the strengths of different tools for users and summarize eight common FN/FP patterns in ICC resolution for tool developers.

preprint2022arXiv

A data management system for machine learning research of tokamak

In recent years, machine learning (ML) research methods have received increasing attention in the tokamak community. The conventional database (i.e., MDSplus for tokamak) of experimental data has been designed for small group consumption and is mainly aimed at simultaneous visualization of a small amount of data. The ML data access patterns fundamentally differ from traditional data access patterns. The typical MDSplus database is increasingly showing its limitations. We developed a new data management system suitable for tokamak machine learning research based on Experimental Advanced Superconducting Tokamak (EAST) data. The data management system is based on MongoDB and Hierarchical Data Format version 5 (HDF5). Currently, the entire data management has more than 3000 channels of data. The system can provide highly reliable concurrent access. The system includes error correction, MDSplus original data conversion, and high-performance sequence data output. Further, some valuable functions are implemented to accelerate ML model training of fusion, such as bucketing generator, the concatenating buffer, and distributed sequence generation. This data management system is more suitable for fusion machine learning model R\&D than MDSplus, but it can not replace the MDSplus database. The MDSplus database is still the backend for EAST tokamak data acquisition and storage.

preprint2022arXiv

High-Uniformity Calculation Method of Four-Coil Configuration in Large-Caliber Magnetic Field Immunity Testing System

Power electronic equipment regulated by the International Thermonuclear Experimental Reactor (ITER) organization must pass the relevant steady-state magnetic field immunity test. The main body of magnetic field immunity test is magnetic field generator coil. Through mathematical derivation in this paper, the magnetic field calculation formulas of four-coil configuration under ideal and actual models are obtained. The traditional method of magnetic field performance calculation is compared with the general formula method under the ideal model. A global parameter optimization method based on Lagrange Multiplier by KKT conditions is proposed to obtain the coil parameters of high-uniformity magnetic field. The magnetic field distribution in the uniform zone is revealed by the finite element method. The model analysis is proved to be correct and effective by experimental results. The research of this paper provides a practical scheme for the coil design with high magnetic field and high-quality uniformity.

preprint2022arXiv

The Preliminary design of DC Magnet Power Supply System for ITER Static Magnetic Field Test facility

ITER (International Thermonuclear Experimental Reactor) static magnetic field (SMF) test facility requires a DC power supply with low voltage, high current, and high stability. Due to the limitation ofswitching loss, there is a contradiction between the output current capability and the output ripple. Large output current usually leads to low switching frequency, and low switching frequency will generate a large number of harmonics. To solve the problems, a topology based on the interleaving parallel buck converter is used and tested in this paper. Moreover, the topology is realized with only a small number of switching metal-oxide-semiconductor field effect transistors (MOSFETs). This article introduces the system design scheme and control method in detail. The analysis of harmonic and simulation are carried out. The validity of proposed scheme and control strategy were confirmed by experiments, the power supply system can supply large current of 15kA and has ability of low ripple.

preprint2020arXiv

A new paradigm of dissipation-controllable, multi-scale resolving schemes for compressible flows

The scale-resolving simulation of high speed compressible flow through direct numerical simulation (DNS) or large eddy simulation (LES) requires shock-capturing schemes to be more accurate for resolving broadband turbulence and robust for capturing strong shock waves. In this work, we develop a new paradigm of dissipation-controllable, shock capturing scheme to resolve multi-scale flow structures in high speed compressible flow. This novel paradigm of shock-capturing scheme is named as PnTm-BVD-CD. The proposed PnTm-BVD-CD scheme has following desirable properties. First, it can capture large-scale discontinuous structures such as strong shock waves without obvious non-physical oscillations while resolving sharp contact, material interface and shear layer. Secondly, the numerical dissipation property of PnTm-BVD-CD can be effectively controlled between n+1 order upwind-biased scheme and non-dissipative n+2 order central scheme through a simple tunable parameter $λ$. Thirdly, with $λ=0.5$ the scheme can recover to n+2 order non-dissipative central interpolation for smooth solution over all wavenumber, which is preferable for solving small-scale structures in DNS as well as resolvable-scale in explicit LES. Finally, the under-resolved small-scale can be solved with dissipation controllable algorithm through so-called implicit LES (ILES) approach.

preprint2020arXiv

Discontinuity-resolving shock-capturing schemes on unstructured grids

Solving compressible flows containing discontinuities remains a major challenge for numerical methods especially on unstructured grids. Thus in this work, we make contributions to shock capturing schemes on unstructured grids with aim of resolving discontinuities with low numerical dissipation. Different from conventional shock capturing schemes which only use polynomials as interpolation functions on unstructured grids, the proposed scheme employs the linear polynomial as well as non-polynomial as reconstruction candidates. For linear polynomial, the second order MUSCL scheme with the MLP (Multi-dimensional Limiting Process) slope limiter is adopted. The multi-dimensional THINC (Tangent of Hyperbola for INterface Capturing) function with quadratic surface representation and Gaussian quadrature, so-called THINC/QQ, is used as the non-polynomial reconstruction candidate. With these reconstruction candidates, a multi-stage boundary variation diminishing (BVD) algorithm which aims to minimize numerical dissipation is designed on unstructured grids to select the final reconstruction function. The resulted shock capturing scheme is named as MUSCL-THINC/QQ-BVD. The performance of the proposed scheme is demonstrated through solving compressible single-phase and multi-phase problems where the discontinuity is the typical flow structure. The numerical results show that the proposed scheme is capable of capturing sharp discontinuous profiles without numerical oscillations as well as resolving vortices associated with Kelvin-Helmholtz instabilities along shear layers and material interfaces. In comparison with schemes only replying on high order polynomials, the proposed scheme shows significant improvement of resolution across discontinuities. Thus, this work provides an accurate and robust shock-capturing scheme to resolve discontinuities in compressible flows.