Beihang University

About: Beihang University is a education organization based out in Beijing, China. It is known for research contribution in the topics: Control theory & Microstructure. The organization has 67002 authors who have published 73507 publications receiving 975691 citations. The organization is also known as: Beijing University of Aeronautics and Astronautics.

GraphCodeBERT: Pre-training Code Representations with Data Flow

Abstract: Pre-trained models for programming language have achieved dramatic empirical improvements on a variety of code-related tasks such as code search, code completion, code summarization, etc. However, existing pre-trained models regard a code snippet as a sequence of tokens, while ignoring the inherent structure of code, which provides crucial code semantics and would enhance the code understanding process. We present GraphCodeBERT, a pre-trained model for programming language that considers the inherent structure of code. Instead of taking syntactic-level structure of code like abstract syntax tree (AST), we use data flow in the pre-training stage, which is a semantic-level structure of code that encodes the relation of "where-the-value-comes-from" between variables. Such a semantic-level structure is neat and does not bring an unnecessarily deep hierarchy of AST, the property of which makes the model more efficient. We develop GraphCodeBERT based on Transformer. In addition to using the task of masked language modeling, we introduce two structure-aware pre-training tasks. One is to predict code structure edges, and the other is to align representations between source code and code structure. We implement the model in an efficient way with a graph-guided masked attention function to incorporate the code structure. We evaluate our model on four tasks, including code search, clone detection, code translation, and code refinement. Results show that code structure and newly introduced pre-training tasks can improve GraphCodeBERT and achieves state-of-the-art performance on the four downstream tasks. We further show that the model prefers structure-level attentions over token-level attentions in the task of code search.

Wannier90 as a community code: new features and applications

Abstract: Wannier90 is an open-source computer program for calculating maximally-localised Wannier functions (MLWFs) from a set of Bloch states. It is interfaced to many widely used electronic-structure codes thanks to its independence from the basis sets representing these Bloch states. In the past few years the development of Wannier90 has transitioned to a community-driven model; this has resulted in a number of new developments that have been recently released in Wannier90 v3.0. In this article we describe these new functionalities, that include the implementation of new features for wannierisation and disentanglement (symmetry-adapted Wannier functions, selectively-localised Wannier functions, selected columns of the density matrix) and the ability to calculate new properties (shift currents and Berry-curvature dipole, and a new interface to many-body perturbation theory); performance improvements, including parallelisation of the core code; enhancements in functionality (support for spinor-valued Wannier functions, more accurate methods to interpolate quantities in the Brillouin zone); improved usability (improved plotting routines, integration with high-throughput automation frameworks), as well as the implementation of modern software engineering practices (unit testing, continuous integration, and automatic source-code documentation). These new features, capabilities, and code development model aim to further sustain and expand the community uptake and range of applicability, that nowadays spans complex and accurate dielectric, electronic, magnetic, optical, topological and transport properties of materials.

Biodegradation and Mineralization of Polystyrene by Plastic-Eating Mealworms: Part 1. Chemical and Physical Characterization and Isotopic Tests

Abstract: Polystyrene (PS) is generally considered to be durable and resistant to biodegradation. Mealworms (the larvae of Tenebrio molitor Linnaeus) from different sources chew and eat Styrofoam, a common PS product. The Styrofoam was efficiently degraded in the larval gut within a retention time of less than 24 h. Fed with Styrofoam as the sole diet, the larvae lived as well as those fed with a normal diet (bran) over a period of 1 month. The analysis of fecula egested from Styrofoam-feeding larvae, using gel permeation chromatography (GPC), solid-state (13)C cross-polarization/magic angle spinning nuclear magnetic resonance (CP/MAS NMR) spectroscopy, and thermogravimetric Fourier transform infrared (TG-FTIR) spectroscopy, substantiated that cleavage/depolymerization of long-chain PS molecules and the formation of depolymerized metabolites occurred in the larval gut. Within a 16 day test period, 47.7% of the ingested Styrofoam carbon was converted into CO2 and the residue (ca. 49.2%) was egested as fecula with a limited fraction incorporated into biomass (ca. 0.5%). Tests with α (13)C- or β (13)C-labeled PS confirmed that the (13)C-labeled PS was mineralized to (13)CO2 and incorporated into lipids. The discovery of the rapid biodegradation of PS in the larval gut reveals a new fate for plastic waste in the environment.

Adaptive Robust Control of DC Motors With Extended State Observer

Abstract: Structured and unstructured uncertainties always exist in physical servo systems and degrade their tracking accuracy. In this paper, a practical method named adaptive robust control with extended state observer (ESO) is synthesized for high-accuracy motion control of a dc motor. The proposed controller accounts for not only the structured uncertainties (i.e., parametric uncertainties) but also the unstructured uncertainties (i.e., nonlinear friction, external disturbances, and/or unmodeled dynamics). Adaptive control for the structured uncertainty and ESO for the unstructured uncertainty are designed for compensating them respectively and integrated together via a feedforward cancellation technique. The global robustness of the controller is guaranteed by a feedback robust law. Furthermore, the controller theoretically guarantees a prescribed tracking performance in the presence of various uncertainties, which is very important for high-accuracy control of motion systems. Extensive comparative experimental results are obtained to verify the high-performance nature of the proposed control strategy.