arXiv Science⌕ Search

arXiv subjects

Hongyu Zhang

Publications and source records attributed to Hongyu Zhang.

211 records · Page 12Linked to original sources

Feasibility study of TPC detector at high luminosity $Z$ pole on the circular collider

With the development of the circular collider, it is necessary to make accurate physics experimental measurements of particle properties at higher luminosity $Z$ pole. Micro-pattern gaseous detectors (MPGDs), which contain Gaseous Electron Multiplier (GEM) and Micro-mesh gaseous structures (Micromegas), have excellent potential for development as the readout devices of the time projection chamber (TPC) tracker detector. To meet the updated physics requirements of the high luminosity $Z$ from the preliminary concept design report (preCDR) to concept design report (CDR) at the circular electron positron collider (CEPC), In this paper, the space charge distortion of the TPC detector is simulated with the CEPC beam structure. Using the multi-physics simulation software package, the distribution of ion estimated by Geant4 is used as the input for the differential equation, and the relationship between the ion density distribution and electric field in the detector chamber is simulated. These simulation results show that the maximum deviation for Higgs $\mathcal{O}$(25 $μ$m) meets the performance requirements in CEPC TPC detector at the high luminosity $Z$ pole, while it is still a considerable challenge for $Z$ pole, with the maximum deviation $\mathcal{O}$($>100~μ$m). According to the previous developments, the cascaded structure of GEM and Micromegas detector has been measured. The new considerations of the detector's requirements were given, the gain needs to be reached to about 2000 with IBF$\times$Gain under 0.1, and IBF means the ions back flow ratio of the detector. The pixel TPC is a potential option to replace the traditional MPGDs with the low gain, low occupancy, and outstanding pattern recognition. Finally, some update parameters and experiments results were compared.

physics.ins-det↗

Confused Modulo Projection based Somewhat Homomorphic Encryption -- Cryptosystem, Library and Applications on Secure Smart Cities

With the development of cloud computing, the storage and processing of massive visual media data has gradually transferred to the cloud server. For example, if the intelligent video monitoring system cannot process a large amount of data locally, the data will be uploaded to the cloud. Therefore, how to process data in the cloud without exposing the original data has become an important research topic. We propose a single-server version of somewhat homomorphic encryption cryptosystem based on confused modulo projection theorem named CMP-SWHE, which allows the server to complete blind data processing without \emph{seeing} the effective information of user data. On the client side, the original data is encrypted by amplification, randomization, and setting confusing redundancy. Operating on the encrypted data on the server side is equivalent to operating on the original data. As an extension, we designed and implemented a blind computing scheme of accelerated version based on batch processing technology to improve efficiency. To make this algorithm easy to use, we also designed and implemented an efficient general blind computing library based on CMP-SWHE. We have applied this library to foreground extraction, optical flow tracking and object detection with satisfactory results, which are helpful for building smart cities. We also discuss how to extend the algorithm to deep learning applications. Compared with other homomorphic encryption cryptosystems and libraries, the results show that our method has obvious advantages in computing efficiency. Although our algorithm has some tiny errors ($10^{-6}$) when the data is too large, it is very efficient and practical, especially suitable for blind image and video processing.

cs.CR↗

Language Modelling for Source Code with Transformer-XL

It has been found that software, like natural language texts, exhibits "naturalness", which can be captured by statistical language models. In recent years, neural language models have been proposed to represent the naturalness of software through deep learning. In this paper, we conduct an experimental evaluation of state-of-the-art neural language models for source code, including RNN-based models and Transformer-XL based models. Through experiments on a large-scale Python code corpus, we find that the Transformer-XL model outperforms RNN-based models (including LSTM and GRU models) in capturing the naturalness of software, with far less computational cost.

cs.LG↗

Is Attention All What You Need? -- An Empirical Investigation on Convolution-Based Active Memory and Self-Attention

The key to a Transformer model is the self-attention mechanism, which allows the model to analyze an entire sequence in a computationally efficient manner. Recent work has suggested the possibility that general attention mechanisms used by RNNs could be replaced by active-memory mechanisms. In this work, we evaluate whether various active-memory mechanisms could replace self-attention in a Transformer. Our experiments suggest that active-memory alone achieves comparable results to the self-attention mechanism for language modelling, but optimal results are mostly achieved by using both active-memory and self-attention mechanisms together. We also note that, for some specific algorithmic tasks, active-memory mechanisms alone outperform both self-attention and a combination of the two.

cs.LG↗

Half-metallicity in honeycomb-kagome-lattice Mg3C2 monolayer with carrier doping

To obtain high-performance spintronic devices with high integration density, two-dimensional (2D) half-metallic materials are eagerly pursued all along. Here, we propose a stable 2D material with a honeycomb-kagome lattice, i.e., the Mg3C2 monolayer, based on first-principles calculations. This monolayer is an anti-ferromagnetic (AFM) semiconductor at its ground state. We further demonstrate that a transition from AFM semiconductor to ferromagnetic half-metal in this 2D material can be induced by carrier (electron or hole) doping. This magnetic transition can be understood by the Stoner criterion. In addition, the half-metallicity arises from the 2pz orbitals of the carbon (C) atoms for the electron-doped system, but from the C 2px and 2py orbitals for the case of hole doping. Our findings highlight a new promising material with controllable magnetic and electronic properties toward 2D spintronic applications.

cond-mat.mtrl-sci↗

C$_4$N$_3$H monolayer: A novel two-dimensional organic Dirac material with high Fermi velocity

Searching for two-dimensional (2D) organic Dirac materials, which have more adaptable practical applications in comparing with inorganic ones, is of great significance and has been ongoing. However, only two kinds of these materials with low Fermi velocity have been discovered so far. Herein, we report the design of an organic monolayer with C$_4$N$_3$H stoichiometry which possesses fascinating structure and good stability in its free-standing state. More importantly, we demonstrate that this monolayer is a semimetal with anisotropic Dirac cones and very high Fermi velocity. This Fermi velocity is roughly one order of magnitude larger than that in 2D organic Dirac materials ever reported, and is comparable to that in graphene. The Dirac states in this monolayer arise from the extended $π$-electron conjugation system formed by the overlapping 2\emph{p}$_z$ orbitals of carbon and nitrogen atoms. Our finding opens a door for searching more 2D organic Dirac materials with high Fermi velocity.

cond-mat.mtrl-sci↗

Deep API Learning

Developers often wonder how to implement a certain functionality (e.g., how to parse XML files) using APIs. Obtaining an API usage sequence based on an API-related natural language query is very helpful in this regard. Given a query, existing approaches utilize information retrieval models to search for matching API sequences. These approaches treat queries and APIs as bag-of-words (i.e., keyword matching or word-to-word alignment) and lack a deep understanding of the semantics of the query. We propose DeepAPI, a deep learning based approach to generate API usage sequences for a given natural language query. Instead of a bags-of-words assumption, it learns the sequence of words in a query and the sequence of associated APIs. DeepAPI adapts a neural language model named RNN Encoder-Decoder. It encodes a word sequence (user query) into a fixed-length context vector, and generates an API sequence based on the context vector. We also augment the RNN Encoder-Decoder by considering the importance of individual APIs. We empirically evaluate our approach with more than 7 million annotated code snippets collected from GitHub. The results show that our approach generates largely accurate API sequences and outperforms the related approaches.

cs.SE↗

DeepAM: Migrate APIs with Multi-modal Sequence to Sequence Learning

Computer programs written in one language are often required to be ported to other languages to support multiple devices and environments. When programs use language specific APIs (Application Programming Interfaces), it is very challenging to migrate these APIs to the corresponding APIs written in other languages. Existing approaches mine API mappings from projects that have corresponding versions in two languages. They rely on the sparse availability of bilingual projects, thus producing a limited number of API mappings. In this paper, we propose an intelligent system called DeepAM for automatically mining API mappings from a large-scale code corpus without bilingual projects. The key component of DeepAM is based on the multimodal sequence to sequence learning architecture that aims to learn joint semantic representations of bilingual API sequences from big source code data. Experimental results indicate that DeepAM significantly increases the accuracy of API mappings as well as the number of API mappings, when compared with the state-of-the-art approaches.

cs.SE↗

Neural Programming by Example

Programming by Example (PBE) targets at automatically inferring a computer program for accomplishing a certain task from sample input and output. In this paper, we propose a deep neural networks (DNN) based PBE model called Neural Programming by Example (NPBE), which can learn from input-output strings and induce programs that solve the string manipulation problems. Our NPBE model has four neural network based components: a string encoder, an input-output analyzer, a program generator, and a symbol selector. We demonstrate the effectiveness of NPBE by training it end-to-end to solve some common string manipulation problems in spreadsheet systems. The results show that our model can induce string manipulation programs effectively. Our work is one step towards teaching DNN to generate computer programs.

cs.AI↗

Discrete Fresnel Transform and Its Circular Convolution

Discrete trigonometric transformations, such as the discrete Fourier and cosine/sine transforms, are important in a variety of applications due to their useful properties. For example, one well-known property is the convolution theorem for Fourier transform. In this letter, we derive a discrete Fresnel transform (DFnT) from the infinitely periodic optical gratings, as a linear trigonometric transform. Compared to the previous formulations of DFnT, the DFnT in this letter has no degeneracy, which hinders its mathematic applications, due to destructive interferences. The circular convolution property of the DFnT is studied for the first time. It is proved that the DFnT of a circular convolution of two sequences equals either one circularly convolving with the DFnT of the other. As circular convolution is a fundamental process in discrete systems, the DFnT not only gives the coefficients of the Talbot image, but can also be useful for optical and digital signal processing and numerical evaluation of the Fresnel transform.

cs.IT↗

Locating Crashing Faults based on Crash Stack Traces

Software crashes due to its increasing complexity. Once a crash happens, a crash report could be sent to software developers for investigation upon user permission. Because of the large number of crash reports and limited information, debugging for crashes is often a tedious and labor-intensive task. In this paper, we propose a statistical fault localization framework to help developers locate functions that contain crashing faults. We generate the execution traces for the failing traces based on the crash stack, and the passing traces from normal executions. We form program spectra by combining generated passing and failing trace, and then apply statistical fault localization techniques such as Ochiai to locate the crashing faults. We also propose two heuristics to improve the fault localization performance. We evaluate our approach using the real-world Firefox crash report data. The results show that the performance of our method is promising. Our approach permits developers to locate 63.9% crashing faults by examining only 5% Firefox 3.6 functions in the spectra.

cs.SE↗

The Distribution of Program Sizes and Its Implications: An Eclipse Case Study

A large software system is often composed of many inter-related programs of different sizes. Using the public Eclipse dataset, we replicate our previous study on the distribution of program sizes. Our results confirm that the program sizes follow the lognormal distribution. We also investigate the implications of the program size distribution on size estimation and quality predication. We find that the nature of size distribution can be used to estimate the size of a large Java system. We also find that a small percentage of largest programs account for a large percentage of defects, and the number of defects across programs follows the Weibull distribution when the programs are ranked by their sizes. Our results show that the distribution of program sizes is an important property for understanding large and complex software systems.

cs.SE↗

Orientation-dependent stability and quantum-confinement effects of silicon carbide nanowires

The energetic stability and electronic properties of hydrogenated silicon carbide nanowires (SiCNWs) with zinc blende (3C) and wurtzite (2H) structures are investigated using first-principles calculations within density functional theory and generalized gradient approximation. The [111]-orientated 3C-SiCNWs are energetically more stable than other kinds of NWs with similar size. All the NWs have direct band gaps except the 3C-SiCNWs orientating along [112] direction. The band gaps of these NWs decrease with the increase of wire size, due to the quantum-confinement effects. The direct-band-gap features can be kept for the 3C-SiCNWs orientating along [111] direction with diameters up to 2.8 nm. The superior stability and electronic structures of the [111]-orientated 3C-SiCNWs are in good agreement with the experimental results.

cond-mat.mtrl-sci↗