A novel approach of data race detection based on CNN-BiLSTM hybrid neural network

Neural Computing and Applications - Existing data race detection approaches based on deep learning are suffering from the problems of unique feature extraction and low accuracy. To this end, this...     

Simulation analysis and experimental verification of coal suction characteristics of the new railway tunnel fallen coal dust collection device北大核心CSCD

Due to air turbulence, large areas of coal will fall when the special coal-transportation trains pass the tunnel exits and entrances. Aiming at the problems of low efficiency and high cost of manual cleaning for long distance coal cleaning in the tunnel, a new railway tunnel fallen coal dust collection device which was composed of a main conveying coal feeding pipe and multiple branch pipes of coal suction was designed. It was used to clean the small particles and lightweight railway tunnel fallen coal. Firstly, the gas-solid two-phase flow model based on the Euler-Lagrange approach for the design of the main conveying coal feeding pipe was established in the coal conveying pipelines. Secondly, the effect of the coal particles' incident angle and multiple branch pipe spacing on the main coal conveying pipe flow field, which was based on Fluent finite element simulation software, was studied. What was more, the optimal angle of incidence and the optimal value of the number of branch coal suction pipe, which was installed on the main conveying pipe, were analyzed. Finally, the finite element simulation was verified by field test. Simulation and experimental results showed that it was more conducive to the railway tunnel fallen coal transportation when coal particles' incident angle was less than 45° and the branch pipe spacing was in the vicinity of 750 mm. For that when incident angle was less than 45°, the main conveying coal pipe pressure-drop became weaker and particle flow could obtain large horizontal transport velocity. And when the branch pipe spacing was in the vicinity of 750 mm, the horizontal transport velocity had a smaller fluctuation range and the transportation of coal was larger than that of the other groups. The research results are of great significance to improve the structure of the main conveying coal pipe, increase the efficiency of tunnel coal conveying and optimize the railway tunnel coal dust collection device.     

Erratum to: High-purity helical carbon nanotubes by trace-waterassisted chemical vapor deposition: Large-scale synthesis and growth mechanism

Nano Research - The first author, Fanbin Meng, and the second author, Ying Wang, contributed equally to this work was unfortunately forgotten to write on the first pages of the main text and the...     

0.618法最优确定盘状摆动凸轮机构的最小基圆半径

在满足机构许用压力角条件下,采用０．６１８法最优确定盘状摆动凸轮机械的最小基圆半径。     

Ultrafast measurement of transient electroosmotic flow in microfluidics

We present a non-intrusive molecular dye based method, i.e., laser-induced fluorescence photobleaching anemometer (LIFPA), to significantly increase temporal resolution (TR) for velocity measurement of fast transient electrokinetic flows. To our knowledge, the TR has been for the first time achieved to 5–10 μs, about 100 times better than that published from state-of-the-art micro particle image velocimetry (μPIV), which is currently the most widely used velocimetry in the microfluidics community. The new method provides us with new opportunities to study experimentally the fundamental phenomena of unsteady electrokinetics (EK) and to validate relevant theoretical models. One application of the new method is demonstrated by measuring the rise time of DC electroosmotic flows (EOFs) in a microcapillary of 10 μm in diameter.     

Visual comparability of 3D regular sampling and reconstruction

The Body-Centered Cubic (BCC) and Face-Centered Cubic (FCC) lattices have been analytically shown to be more efficient sampling lattices than the traditional Cartesian Cubic (CC) lattice, but there has been no estimate of their visual comparability. Two perceptual studies (each with N = 12 participants) compared the visual quality of images rendered from BCC and FCC lattices to images rendered from the CC lattice. Images were generated from two signals: the commonly used Marschner-Lobb synthetic function and a computed tomography scan of a fish tail. Observers found that BCC and FCC could produce images of comparable visual quality to CC, using 30-35 percent fewer samples. For the images used in our studies, the L(2) error metric shows high correlation with the judgement of human observers. Using the L(2) metric as a proxy, the results of the experiments appear to extend across a wide range of images and parameter choices.     

Side-effect localization for lazy, purely functional languages via aspects

Many side-effecting programming activities, such as profiling and tracing, can be formulated as crosscutting concerns and be framed as side-effecting aspects in the aspect-oriented programming paradigm. The benefit gained from this separation of concerns is particularly evident in purely functional programming, as adding such aspects using techniques such as monadification will generally lead to crosscutting changes. This paper presents an approach to provide side-effecting aspects for lazy purely functional languages in a user transparent fashion. We propose a simple yet direct state manipulation construct for developing side-effecting aspects and devise a systematic monadification scheme to translate the woven code to monadic style purely functional code. Furthermore, we present a static and dynamic semantics of the aspect programs and reason about the correctness of our monadification scheme with respect to them.     

A novel digital filter structure with minimum roundoff noise

In this paper, a novel structure is derived for efficient implementation of digital filters as well as minimizing the finite word length (FWL) errors. Such a structure is actually an improved version of that reported previously. The performance of this new structure and the famous normalized lattice structure are analyzed by deriving the corresponding expression for the roundoff noise gain. Design examples are presented to illustrate the behavior of the proposed structure and to compare it with some existing ones. It is shown that the proposed structure outperforms the others in terms of minimizing roundoff noise as well as implementation efficiency.