arXiv subjects

Li Li

Publications and source records attributed to Li Li.

At least 523 records · Page 29Linked to original sources

arXiv2021

Effects of resonant magnetic perturbations on neutral beam heating in a tokamak

Effects of resonant magnetic perturbations (RMPs) on tangential neutral beam heating in the EAST tokamak are studied numerically. RMPs with linear resistive magnetohydrodynamics response are used in the modeling. A variety of representing configurations of RMP coil currents are examined and their effects on the NBI heating efficiency are compared, in order to find a parameter window where deleterious effects of RMPs on NBI heating efficiency are minimized. It is found that the internal redistribution of fast ions by RMPs induces local accumulation of fast ions, resulting in higher local fast ion pressure than the case without RMPs. It is also found that the toroidal phasing of the RMP with respect to the fast ion source has slight effects on the steady-state radial profile of fast ions. The dependence of fast ion loss fraction on the RMP up-down phase difference shows similar behavior as the dependence of the radial width of chaotic magnetic field on the phase difference. A statistical method of identifying resonances between RMPs and lost fast ions is proposed and the results indicate that some resonances between RMPs and lost passing particles may be of non-integer fractional order, rather than the usual integer order.

physics.plasm-ph↗

arXiv2021

Quantized Primal-Dual Algorithms for Network Optimization with Linear Convergence

This paper studies the network optimization problem about which a group of agents cooperates to minimize a global function under practical constraints of finite bandwidth communication. Particularly, we propose an adaptive encoding-decoding scheme to handle the constrained communication between agents. Based on this scheme, the continuous-time quantized distributed primal-dual (QDPD) algorithm is developed for network optimization problems. We prove that our algorithms can exactly track an optimal solution to the corresponding convex global cost function at a linear convergence rate. Furthermore, we obtain the relation between communication bandwidth and the convergence rate of QDPD algorithms. Finally, an exponential regression example is given to illustrate our results.

math.OC↗

arXiv2021

Beep: Fine-grained Fix Localization by Learning to Predict Buggy Code Elements

Software Fault Localization refers to the activity of finding code elements (e.g., statements) that are related to a software failure. The state-of-the-art fault localization techniques, however, produce coarse-grained results that can deter manual debugging or mislead automated repair tools. In this work, we focus specifically on the fine-grained identification of code elements (i.e., tokens) that must be changed to fix a buggy program: we refer to it as fix localization. This paper introduces a neural network architecture (named Beep) that builds on AST paths to predict the buggy code element as well as the change action that must be applied to repair a program. Leveraging massive data of bugs and patches within the CoCoNut dataset, we trained a model that was (1) effective in localizing the buggy tokens with the Mean First Rank significantly higher than a statistics based baseline and a machine learning-based baseline, and (2) effective in predicting the repair operators (with the associated buggy code elements) with a Recall@1= 30-45% and the Mean First Rank=7-12 (evaluated by CoCoNut, ManySStuBs4J, and Defects4J datasets). To showcase how fine-grained fix localization can help program repair, we employ it in two repair pipelines where we use either a code completion engine to predict the correct token or a set of heuristics to search for the suitable donor code. A key strength of accurate fix localization for program repair is that it reduces the chance of patch overfitting, a challenge in generate-and-validate automated program repair: both two repair pipelines achieve a correctness ratio of 100%, i.e., all generated patches are found to be correct. Moreover, accurate fix localization helps enhance the efficiency of program repair.

cs.SE↗

arXiv2021

Distributed Nash Equilibrium Seeking under Quantization Communication

This paper investigates Nash equilibrium (NE) seeking problems for noncooperative games over multi-players networks with finite bandwidth communication. A distributed quantized algorithm is presented, which consists of local gradient play, distributed decision estimating, and adaptive quantization. Exponential convergence of the algorithm is established, and a relationship between the convergence rate and the bandwidth is quantitatively analyzed. Finally, a simulation of an energy consumption game is presented to validate the proposed results.

cs.DC↗

arXiv2021

Pressure-stabilized Planar N4-ring and Bonding Properties in Manganese Nitrides

Manganese nitrides should be with amazing properties and promised application, because manganese atom is particular for its magnetism, valence states, high electron density, etc., and N atoms in compounds form different substructures. It is hard to good synthesize manganese nitride crystals with all established means, therefore, theoretical studies are highly welcome. In this study, we systematically examined the stoichiometric phases spaces of Mn-N compounds from 0 to 100 GPa based on ab initio calculations, and constructed the high pressure magnetic phase diagram. Remarkably, N-rich MnN4 with a planar N4 ring was discovered for the first time in the pressure range from 40 to 100 GPa. The electronic structures reveal that the N4 ring is driven by the sp2 hybridization of nitrogen atoms. This phase with Tc=1.6 K and high bulk modulus B =381 GPa, which make it potentially interesting as a hard superconductive material. Moreover, the phase transition sequence for the MnN compound is summarized renewedly, the semi-conducting NM-zb phase (5 GPa) first transforms to metallic AFM-NiAs (40 GPa), which further transforms to the more stable metallic FM-rs phase. The mechanical properties show that covalent interaction has a great effect on N-rich structures' hardness and hardly effect on Mn-rich structures in Mn-N compounds.

cond-mat.mtrl-sci↗

arXiv2021

iWave3D: End-to-end Brain Image Compression with Trainable 3-D Wavelet Transform

With the rapid development of whole brain imaging technology, a large number of brain images have been produced, which puts forward a great demand for efficient brain image compression methods. At present, the most commonly used compression methods are all based on 3-D wavelet transform, such as JP3D. However, traditional 3-D wavelet transforms are designed manually with certain assumptions on the signal, but brain images are not as ideal as assumed. What's more, they are not directly optimized for compression task. In order to solve these problems, we propose a trainable 3-D wavelet transform based on the lifting scheme, in which the predict and update steps are replaced by 3-D convolutional neural networks. Then the proposed transform is embedded into an end-to-end compression scheme called iWave3D, which is trained with a large amount of brain images to directly minimize the rate-distortion loss. Experimental results demonstrate that our method outperforms JP3D significantly by 2.012 dB in terms of average BD-PSNR.

eess.IV↗

arXiv2021

Towards Emotion-Aware User Simulator for Task-Oriented Dialogue

The performance of a task-completion dialogue agent usually affects the user experience: when the conversation system yields an unreasonable response, users may feel dissatisfied. Besides, early termination often occurs in disappointing conversations. However, existing off-the-shelf user simulators generally assume an ideal and cooperative user, which is somewhat different from a real user, and inevitably lead to a sub-optimal dialogue policy. In this paper, we propose an emotion-aware user simulation framework for task-oriented dialogue, which is based on the OCC emotion model to update user emotions and drive user actions, to generate simulated behaviors that more similar to real users. We present a linear implementation (The source code will be released soon.) that is easy to understand and extend, and evaluate it on two domain-specific datasets. The experimental results show that the emotional simulation results of our proposed framework conform to common sense and have good versatility for different domains. Meanwhile, our framework provides us with another perspective to understand the improvement process of the dialogue policy model based on reinforcement learning.

cs.HC↗

arXiv2021

Does Domain Change the Opinion of Individuals on Human Values? A Preliminary Investigation on eHealth Apps End-users

The elicitation of end-users' human values - such as freedom, honesty, transparency, etc. - is important in the development of software systems. We carried out two preliminary Q-studies to understand (a) the general human value opinion types of eHealth applications (apps) end-users (b) the eHealth domain human value opinion types of eHealth apps end-users (c) whether there are differences between the general and eHealth domain opinion types. Our early results show three value opinion types using generic value instruments: (1) fun-loving, success-driven and independent end-user, (2) security-conscious, socially-concerned, and success-driven end-user, and (3) benevolent, success-driven, and conformist end-user Our results also show two value opinion types using domain-specific value instruments: (1) security-conscious, reputable, and honest end-user, and (2) success-driven, reputable and pain-avoiding end-user. Given these results, consideration should be given to domain context in the design and application of values elicitation instruments.

cs.SE↗

arXiv2021

How Secondary School Girls Perceive Computational Thinking Practices through Collaborative Programming with the Micro:bit

Computational Thinking (CT) has been investigated from different perspectives. This research aims to investigate how secondary school girls perceive CT practices -- the problem-solving practices that students apply while they are engaged in programming -- when using the micro:bit device in a collaborative setting. This study also explores the collaborative programming process of secondary school girls with the micro:bit device. We conducted mixed-methods research with 203 secondary school girls (in the state of Victoria, Australia) and 31 mentors attending a girls-only CT program (OzGirlsCT program). The girls were grouped into 52 teams and collaboratively developed computational solutions around realistic, important problems to them and their communities. We distributed two surveys (with 193 responses each) to the girls. Further, we surveyed the mentors (with 31 responses) who monitored the girls, and collected their observation reports on their teams. Our study indicates that the girls found "debugging" the most difficult type of CT practice to apply, while collaborative practices of CT were the easiest. We found that prior coding experience significantly reduced the difficulty level of only one CT practice - "debugging". Our study also identified six challenges the girls faced and six best practices they adopted when working on their computational solutions.

cs.SE↗

arXiv2021

End-to-End Image Compression with Probabilistic Decoding

Lossy image compression is a many-to-one process, thus one bitstream corresponds to multiple possible original images, especially at low bit rates. However, this nature was seldom considered in previous studies on image compression, which usually chose one possible image as reconstruction, e.g. the one with the maximal a posteriori probability. We propose a learned image compression framework to natively support probabilistic decoding. The compressed bitstream is decoded into a series of parameters that instantiate a pre-chosen distribution; then the distribution is used by the decoder to sample and reconstruct images. The decoder may adopt different sampling strategies and produce diverse reconstructions, among which some have higher signal fidelity and some others have better visual quality. The proposed framework is dependent on a revertible neural network-based transform to convert pixels into coefficients that obey the pre-chosen distribution as much as possible. Our code and models will be made publicly available.

eess.IV↗

arXiv2021

What's inside a hairy black hole in massive gravity?

In the context of massive gravity theories, we study holographic flows driven by a relevant scalar operator and interpolating between a UV 3-dimensional CFT and a trans-IR Kasner universe. For a large class of scalar potentials, the Cauchy horizon never forms in presence of a non-trivial scalar hair, although, in absence of it, the black hole solution has an inner horizon due to the finite graviton mass. We show that the instability of the Cauchy horizon triggered by the scalar field is associated to a rapid collapse of the Einstein-Rosen bridge. The corresponding flows run smoothly through the event horizon and at late times end in a spacelike singularity at which the asymptotic geometry takes a general Kasner form dominated by the scalar hair kinetic term. Interestingly, we discover deviations from the simple Kasner universe whenever the potential terms become larger than the kinetic one. Finally, we study the effects of the scalar deformation and the graviton mass on the Kasner singularity exponents and show the relationship between the Kasner exponents and the entanglement and butterfly velocities probing the black hole dynamics. Differently from the holographic superconductor case, we can prove explicitly that Josephson oscillations in the interior of the BH are absent.

hep-th↗

arXiv2021

Multiuser Full-Duplex Two-Way Communications via Intelligent Reflecting Surface

Low-cost passive intelligent reflecting surfaces (IRSs) have recently been envisioned as a revolutionary technology capable of reconfiguring the wireless propagation environment through carefully tuning reflection elements. This paper proposes deploying an IRS to cover the dead zone of cellular multiuser full-duplex (FD) two-way communication links while suppressing user-side self-interference (SI) and co-channel interference (CI). Based on information exchanged by the base station (BS) and all users, this approach can potentially double the spectral efficiency. To ensure network fairness, we jointly optimize the precoding matrix of the BS and the reflection coefficients of the IRS to maximize the weighted minimum rate (WMR) of all users, subject to maximum transmit power and unit-modulus constraints. We reformulate this non-convex problem and decouple it into two subproblems. Then the optimization variables in the equivalent problem are alternately optimized by adopting the block coordinate descent (BCD) algorithm. In order to further reduce the computational complexity, we propose the minorization-maximization (MM) algorithm for optimizing the precoding matrix and the reflection coefficient vector by defining minorizing functions in the surrogate problems. Finally, simulation results confirm the convergence and efficiency of our proposed algorithm, and validate the advantages of introducing IRS to improve coverage in blind areas.

eess.SP↗

arXiv2021

Implementation of a 46-node quantum metropolitan area network

Quantum key distribution (QKD) enables secure key exchanges between two remote users. The ultimate goal of secure communication is to establish a global quantum network. The existing field tests suggest that quantum networks are feasible. To achieve a practical quantum network, we need to overcome several challenges, including realising versatile topologies for large scales, simple network maintenance, extendable configuration, and robustness to node failures. To this end, we present a field operation of a quantum metropolitan-area network with 46 nodes and show that all these challenges can be overcome with cutting-edge quantum technologies. In particular, we realise different topological structures and continuously run the network for 31 months, by employing standard equipment for network maintenance with an extendable configuration. We realise QKD pairing and key management with a sophisticated key control center. In this implementation, the final keys have been used for secure communication such as real-time voice telephone, text messaging, and file transmission with one-time pad encryption, which can support 11 pairs of users to make audio calls simultaneously. Combined with inter-city quantum backbone and ground-satellite links, our metropolitan implementation paves the way toward a global quantum network.

quant-ph↗

arXiv2021

SynCoBERT: Syntax-Guided Multi-Modal Contrastive Pre-Training for Code Representation

Code representation learning, which aims to encode the semantics of source code into distributed vectors, plays an important role in recent deep-learning-based models for code intelligence. Recently, many pre-trained language models for source code (e.g., CuBERT and CodeBERT) have been proposed to model the context of code and serve as a basis for downstream code intelligence tasks such as code search, code clone detection, and program translation. Current approaches typically consider the source code as a plain sequence of tokens, or inject the structure information (e.g., AST and data-flow) into the sequential model pre-training. To further explore the properties of programming languages, this paper proposes SynCoBERT, a syntax-guided multi-modal contrastive pre-training approach for better code representations. Specially, we design two novel pre-training objectives originating from the symbolic and syntactic properties of source code, i.e., Identifier Prediction (IP) and AST Edge Prediction (TEP), which are designed to predict identifiers, and edges between two nodes of AST, respectively. Meanwhile, to exploit the complementary information in semantically equivalent modalities (i.e., code, comment, AST) of the code, we propose a multi-modal contrastive learning strategy to maximize the mutual information among different modalities. Extensive experiments on four downstream tasks related to code intelligence show that SynCoBERT advances the state-of-the-art with the same pre-training corpus and model size.

cs.CL↗

arXiv2021

On inverse problems arising in fractional elasticity

We first formulate an inverse problem for a linear fractional Lamé system. We determine the Lamé parameters from exterior partial measurements of the Dirichlet-to-Neumann map. We further study an inverse obstacle problem as well as an inverse problem for a nonlinear fractional Lamé system. Our arguments are based on the unique continuation property for the fractional operator as well as the associated Runge approximation property.

math.AP↗

arXiv2021

CyGIL: A Cyber Gym for Training Autonomous Agents over Emulated Network Systems

Given the success of reinforcement learning (RL) in various domains, it is promising to explore the application of its methods to the development of intelligent and autonomous cyber agents. Enabling this development requires a representative RL training environment. To that end, this work presents CyGIL: an experimental testbed of an emulated RL training environment for network cyber operations. CyGIL uses a stateless environment architecture and incorporates the MITRE ATT&CK framework to establish a high fidelity training environment, while presenting a sufficiently abstracted interface to enable RL training. Its comprehensive action space and flexible game design allow the agent training to focus on particular advanced persistent threat (APT) profiles, and to incorporate a broad range of potential threats and vulnerabilities. By striking a balance between fidelity and simplicity, it aims to leverage state of the art RL algorithms for application to real-world cyber defence.

cs.CR↗

arXiv2021

On Faster Convergence of Scaled Sign Gradient Descent

Communication has been seen as a significant bottleneck in industrial applications over large-scale networks. To alleviate the communication burden, sign-based optimization algorithms have gained popularity recently in both industrial and academic communities, which is shown to be closely related to adaptive gradient methods, such as Adam. Along this line, this paper investigates faster convergence for a variant of sign-based gradient descent, called scaled signGD, in three cases: 1) the objective function is strongly convex; 2) the objective function is nonconvex but satisfies the Polyak-Lojasiewicz (PL) inequality; 3) the gradient is stochastic, called scaled signGD in this case. For the first two cases, it can be shown that the scaled signGD converges at a linear rate. For case 3), the algorithm is shown to converge linearly to a neighborhood of the optimal value when a constant learning rate is employed, and the algorithm converges at a rate of $O(1/k)$ when using a diminishing learning rate, where $k$ is the iteration number. The results are also extended to the distributed setting by majority vote in a parameter-server framework. Finally, numerical experiments on logistic regression are performed to corroborate the theoretical findings.

math.OC↗

arXiv2021

Adaptive Label Smoothing To Regularize Large-Scale Graph Training

Graph neural networks (GNNs), which learn the node representations by recursively aggregating information from its neighbors, have become a predominant computational tool in many domains. To handle large-scale graphs, most of the existing methods partition the input graph into multiple sub-graphs (e.g., through node clustering) and apply batch training to save memory cost. However, such batch training will lead to label bias within each batch, and then result in over-confidence in model predictions. Since the connected nodes with positively related labels tend to be assigned together, the traditional cross-entropy minimization process will attend on the predictions of biased classes in the batch, and may intensify the overfitting issue. To overcome the label bias problem, we propose the adaptive label smoothing (ALS) method to replace the one-hot hard labels with smoothed ones, which learns to allocate label confidences from the biased classes to the others. Specifically, ALS propagates node labels to aggregate the neighborhood label distribution in a pre-processing step, and then updates the optimal smoothed labels online to adapt to specific graph structure. Experiments on the real-world datasets demonstrate that ALS can be generally applied to the main scalable learning frameworks to calibrate the biased labels and improve generalization performances.

cs.LG↗