bluuebunny/crossref_metadata_2025_split huggingface dataset:
Equivalences in Variables Refinement for Differential Semi-algebraic Hybrid Systems
Authors: Liu Bai , Wang Yitong , Nie Liming 
Published: January 2022

Abstract
Differential semi-algebra hybrid system is a new formalized hybrid system model; it is widely used in engineering technology. In this paper we proposed differential semi-algebraic event structure as the system model, and then build the variables refinement theory of differential semi-algebraic hybrid system. Based on the various equivalence relationship, we researched the keeping equivalence after variables refinement.
Analysis of COVID-19 Based on SEQR Dynamic Model in Xiaogan City, Hubei Province
Authors: Shen Jiayu , Zhang Jiehao , Wen Yongxian 
Published: January 2022

Abstract
In this study, we established a SEQR model for the spread of COVID-19. The impact of city lockdown measures and other factors on the spread of the epidemic was discussed in this paper through dynamic analysis and numerical simulation of the model. The research results showed that the input ratio of the exposed population should be controlled to at least 0.001 if the government wanted to effectively control the epidemic. Closing the city was the most effective way. The exposed population of COVID-19 in Xiaogan City was hoping to be cleared on February 29 under strict control. The closed city could be released around March 28. But at the same time, we should pay attention to prevent the virus from entering it again. The peak number of existing patients would reduce by about 1,400 if city lockdown measures were taken in Xiaogan City four days in advance.
Soliton Solutions of Kaup-Kupershimdt Equation Using HPTM
Authors: Chen Tiejun 
Published: January 2022

Abstract
In this paper, we employ the idea of homotopy perturbation transform method(HPTM), which is a combination of Laplace transformation and homotopy perturbation method(HPM) for solving nonlinear ordinary and partial differential equations. The equations are Laplace transformed and nonlinear terms are represented by He’s polynomials. The solutions are obtained in the series form which converges at fast rate with easily computable terms. Comparison of standard perturbation method shows that HPTM is appropriate even for system without any small/large parameters and therefore it can be applied more extensively than traditional perturbation techniques. HPTM is used to obtain soliton solution of Kaup-kupershimdt(KK) equation, which is modified form of fifth order KdV equation. Numerical results are presented in tabular form to show the accuracy, efficiency and reliability of this method.
Incentive and Game of Information Sharing Based on Blockchain Technology
Authors: Xin Yuhong , Ran Cheng , Liu Dehui 
Published: January 2022

Abstract
With the development of the information age, the efficiency of information resource sharing has not been fully released, and the willingness of participants to share information needs to be improved. It is of great significance to promote the willingness of participants to share information and increase the value of information utilization. Aiming at the problem of low information sharing rate of participants, this paper constructs an evolutionary game model between information sharing and non-sharing participants under the blockchain technology platform and introduces the critical value corresponding to the initial proportion of participants under the condition of a stable strategy as a trigger Conditions, dynamic adjustment of incentive coefficients to maintain a stable strategy of information sharing, simulation with MATLAB. Research shows that the use of blockchain smart contract technology to dynamically adjust the evolutionary stability strategy is shown as: When the initial proportion of participants is lower than the critical value, the incentive parameters are transformed into shared incentive benefits to motivate the participants to actively participate in information sharing; when it is higher than the critical value, the incentive parameters are transformed into sharing costs and dynamically adjusted to reach the initial participants. The proportion is maximized, which provides a strategy for participants to choose information-sharing strategies.
Underwater Sonar Image Segmentation by a Novel Joint Level Set Model
Authors: Wang Yue , Zhou Kefa , Tian Wei , Chen Zhe , Yang Dewei 
Published: January 2022

Abstract
This paper proposes a novel joint level set model for underwater sonar image segmentation. Combining features in points and regions in our novel joint level set (LS), it can achieve excellent performance for underwater sonar image segmentation. Regional information guides the model to locate the object of interest, whereas the point information accurately delineates contours. In addition, the unified Markov random field (UMRF) is taken to measure the neighboring relation between points and regions, which can overcome the problems of the high speckle noise, strong bias and low resolution of underwater sonar images. Our novel model can segment underwater sonar images into three partitions, such as the objects of interest, shadow and backgrounds. In contrast to current segmentation methods, outstanding results are demonstrated by our model. Moreover, another advantage of our model lies in its high efficiency.
Mechanical Analysis of Structural Damage Detection Device for Cylinder Tower
Authors: Wang Zhiyuan , Sun Changle , Wang Jian , Zhao Kang , Liu Tingrui 
Published: January 2022

Abstract
Wind turbines suffer from severe weather and complex environment for a long time, so wind turbine towers can cause structural damage. As an important part of wind turbine, tower damage detection is particularly important. In this study, a structural damage detection device for cylinder tower is introduced and its mechanical analysis is carried out. Due to the special structure design of the device, it has the characteristics of comprehensive detection, accuracy and efficiency.
Fault Diagnosis Method of Rotating Machinery Based on CEEMDAN-LSTM Model
Authors: Wang Peng , Zhou Yiren , Zhang Lan 
Published: January 2022

Abstract
To overcome the shortcomings of traditional feature extraction methods that rely on prior knowledge and expert experience in the field and the problems of shallow machine learning in fault diagnosis, such as inability to extract deep features, low accuracy of model recognition and poor generalization ability, a fault diagnosis method based on complete ensemble empirical mode decomposition with adaptive noise and long short-term memory (CEEMDAN-LSTM) model is proposed. Firstly, the original signal is decomposed by complete ensemble empirical mode decomposition with adaptive noise (CEEMDAN); secondly, the temporal features of selected component signals are extracted by long short-term memory (LSTM); thirdly the temporal features of each component are concatenated into feature vectors according to the order of high and low frequencies; finally, the feature vectors are input into the softmax layer to get the fault classification category. The results of gear box fault diagnosis test show that the model can effectively identify the fault location. Compared with empirical mode decomposition and support vector machine (EMD-SVM) model and LSTM model, CEEMDAN-LSTM model can obtain the highest fault identification accuracy.
Measurement and Analysis Method of Light Intensity Distribution for Street Lamps
Authors: Du Wei , Cheng HaoJie , Wang Lin , Feng DiGuan , Wang XiaoKe 
Published: January 2022

Abstract
In order to evaluate the actual illumination effect of high-pressure sodium lamp on the road, a high-pressure sodium lamp illuminance test system is developed in this paper. In the testing of sodium lamp illumination, light intensity distribution is the most important evaluation index. It is also one of the most difficult physical parameters to test due to its large amount of data and high accuracy requirements. This thesis investigates a fast and high-precision testing method for light intensity distribution of high-pressure sodium lamps, so as to improve the measurement of sodium lighting. The system performs light intensity distribution testing in the laboratory, studies the test method of light intensity illuminance distribution of high-pressure sodium lamps, uses Matlab to optically model high-pressure sodium lamps, uses various methods to model the data obtained from the experiments, and analyzes the resulting illuminance data, the system is able to quickly test and evaluate the illuminance of high-pressure sodium lamps after installation.
Optimization Algorithm Design of Laser Marking Contour Extraction and Graphics Hatching Based on Image Processing Technology
Authors: Luo Haoyang , Luo Jun , Li Ruimin , Yu Meiqi 
Published: January 2022

Abstract
On the premise of solving the problem in a specific situation, this paper aims at the laser marking machine for the design and optimization of the outline extraction of the two-dimensional composite curve figure and the figure hatching scheme. The scanning line algorithm based on computer graphics and the polygon hatching are based on the algorithm theory. Based on the foundation, an improved polygon scan line algorithm model is established, and the contour extraction and graphic shadows of two-dimensional polygons are realized by MATLAB programming. The simulation results show that our algorithm model can meet our requirements well, and at the same time has a certain improvement effect. At the same time, compared with traditional two-dimensional polygon scanning and hatching algorithms, our algorithm model has strong analysis and processing capabilities and strong applicability. Compared with traditional two-dimensional polygon scanning and shading algorithms, model analysis can still run stably in a high refresh rate environment. We hope to further optimize the algorithm in the later stage, so that it can be better used in related engineering fields.
Solving Smallest Enclosing Circle Problem by Wading across Stream Algorithm
Authors: Gao Shang , Pan Hao 
Published: January 2022

Abstract
The feature of the smallest enclosing circle problem is analysed. According to idea of wading across the stream by feeling the way, a kind of fast efficient wading across stream optimization algorithm is put forward. For solving smallest enclosing circle problem, the improved wading across stream algorithm shrink the search space gradually. It is proved that wading across stream algorithm is a simple and effective algorithm.
Application of Improved Ant Colony Algorithm in Aerobat Structure Optimization
Authors: Jun Deng Jian , Tao Zhang Cheng , Wang Ning 
Published: January 2022

Abstract
This paper analysis the characteristics of two kinds of ant colony algorithm, some kind of aircraft structure dynamic optimization design model is established, based on the analysis of the model, two kinds of ant colony algorithm are combined with optimization calculation method respectively, the two kinds of ant colony algorithm is studied in the aircraft structure optimization design, the calculation results indicate that improved ant colony algorithm is scientific and feasible, it can effectively solve the optimization problems of aerobat and other structures.
Research on RCS Calculation for the Jet System of the Engine
Authors: Jiang Bingkun , Xu Liangfa 
Published: January 2022

Abstract
In order to improve the stealth ability of the jet system of the engine, RCS calculation had been achieved through three steps, which were preprocess, core calculation and reprocessing. Some engine set as reference, the RCS of tail jet pipes with difference shapes had been calculated. The results show that the plug type tail pipe can advance stealth capability of the jet system. The numerical examples indicated the RCS calculation could play notable function in stealth design and promotion of engines.
Variable Screening Optimization Algorithm for Mahalanobis-Taguchi System
Authors: Peng Xiaohong , Zheng Rui , Liu Jiufu 
Published: January 2022

Abstract
This paper proposes a Mahalanobis-Taguchi system variable screening optimization method based on binary quantum behavior particle swarm.The main procedures and methods are as follows, Firstly, the Mahalanobis distance value is calculated by the Gram-Schmidt orthogonalization method.We build the multi-objective mixed planning model. The binary quantum behavior particle swarm optimization algorithm is used to solve the optimal combination. A new prediction system based on Mahalanobis-Taguchi metric is established, and the task of accurate discrimination is accomplished.
HISAT2 Parallelization Method Based on Spark Cluster
Authors: Guo Jiannan , Gao Jing , Liu Zhenyu 
Published: January 2022

AbstractSequence alignment is one of the most important components in the Bioinformatics research field. It is of great significance to discover the functional structure and genetic information of nucleic acids and protein. With the rapid development and gradual maturity of high-throughput sequencing technology, the scale of gene data which have been discovered by that is going to increasingly large. Due to the gene sequence alignment calculation has high complexity and the sequencing gene data has large scale, the process of comparison computing will cause a plenty waste of computing time. HISAT2 is the one of most popular sequence comparison software. HISAT2 has better sensitivity and accuracy than other software, at the same time, the speed of process also has highly improved. According to those reasons, this passage implements the HISAT2 parallelization method based on Apache Spark cluster. Through the comparison experiment between single and cluster machine, the parallelization computing speed of HISAT2 parallelization method based on Spark cluster has increased obviously to 3.69 times, with the high rate of accuracy meanwhile.
Outlier Detection of Leaf Images Based on One-Class Support of Vector Machine
Authors: Yin Ming , Wang Liwei 
Published: January 2022

Abstract
In this paper, a novel approach was proposed to use the One Class Support Vector Machine (OCSVM). The growth status of fruit tree’s leaves reflects the health level of the plant. Using computer system to detect the abnormal condition of plant leaves will help producers take measures to maintain the health of plants. We focus on the outlier leaf images which are obviously different from with the health leaf. A modified One Class Support Vector Machine is presented as a very efficient method to detect the outlier data from massive data of the leaves image dataset. The results show it worked with the test dataset and with very good performance.
Machining Error Compensation Method for Thin Plate Parts Based on In-machine Measurement
Authors: Li Yuebo , Wang Aimin 
Published: January 2022

Abstract
Aiming at the problem of datum drift and dimension error compensation of machine tool in the machining process of plate parts.This paper presents a machining error compensation method for plate parts based on in-machine measurement.The parts are measured in situ in the clamping state by machine measuring equipment;The key features were reconstructed based on the measurement results, and the parts were divided into four quadrant regions, and the scaling errors of knife points in different quadrants were compensated according to different directions.Then, the reconstructed key feature model is discretized into point cloud data model.Based on binary tree and improved iterative nearest point algorithm, the margin optimization and datum correction rotation matrix and translation vector are obtained.The accuracy and quality of the machine tool are improved by adjusting the rotation matrix and translational vector according to the procedure of compensating the error of scaling.
Design of high precision angle measuring instrument based on Kalman filter
Authors: Guo Qing , Wang Xingjian , Xu Cuifeng 
Published: January 2022

Abstract
Angle parameters are common parameters in production and life. The main process is converting the inclination signal into other signals for measurement. In order to overcome the problems of low-cost, long-term, and high-precision angle detection that traditional angle measurement systems cannot solve, a high-precision, low-cost, and small-size angle measurement system is designed. The high-precision angle sensor signal used in this paper is based on MEMS angle sensor. The angle sensor has the characteristics of extremely low temperature dependence, low noise and high resolution. In terms of hardware, various methods are used on the circuit board to eliminate noise during signal transmission. These methods are used to improve the accuracy of the angle measurement system. The Kalman filter algorithm is used to filter out noise to reduce the influence of noise on high-precision angle signals in terms of software. Experiments on the system show that the accuracy of the angle measurement system reaches 0.0014°, which achieve the goal of system design, can solve the problem of long-term, high-precision angle measurement, and completes the system design.
Rotating Electromagnetic Actuator with Magnetic Fluid
Authors: Jin Sheng , Wang Xudong 
Published: January 2022

Abstract
Abstract:The performance of traditional electromagnetic actuator is limited by the high magnetoresistance of working air gap. Moreover, the working air gap decreases with the movement process, and the output of the actuator fluctuates greatly. In engineering, the driving force is generally improved by optimizing the structure or increasing the current, combined with the control method to reduce the fluctuation. In this paper, magnetic fluid is used to replace the air in the original working air gap, so as to improve the efficiency of magnetic circuit. While increasing the output, it also improves the output stability of the actuator. On the basis of establishing the mathematical model of the electromagnetic actuator, the response time is obtained through the dynamic equation. After adding the magnetic fluid, the driving force of the electromagnetic actuator increases greatly and the response time decreases.
Research on Modeling Technology of Aircraft Hydraulic System Based on AMESim
Authors: Yan Tanbao , Li Peng , Niu Wei 
Published: January 2022

Abstract
With the development of electro-hydraulic integration technology, the control accuracy, complexity and dynamic response characteristics of aircraft hydraulic system actions have become a hot topic in the field of hydraulics. The traditional hydraulic system design method mainly uses the designer’s knowledge and experience to construct a dynamic system with real components, and then tests on the system, this method is more difficult to adjust parameters. Therefore, taking the hydraulic system of an aircraft as an example, the simulation model of each component of the system is established by using modeling and simulation technology and graphical modeling method, so as to provide support for aircraft fault diagnosis and prediction.
Hardware Design of Online Monitoring Device for the High-voltage Vacuum Circuit Breaker
Authors: Yang Ze , Zhong Jianwei , Li Zhenwei , Wu Jianjun , Li Jiajun 
Published: January 2022

Abstract
In order to monitor the mechanical structure status of high-voltage vacuum circuit breakers in real time and diagnose faults online, a hardware design scheme of an online monitoring device for 10kV vacuum circuit breakers is proposed in this paper. From the perspective of practical application, this design scheme fully considers the practical working conditions of the monitoring device. The device not only monitors the mechanical vibration of the circuit breaker, the rotation stroke of the spindle and the position signal of the mechanical switch, but also monitors both the voltage and current of the opening (closing) coil, the energy storage motor and the closing lock coil. In this paper, in order to adapt the monitoring device to the actual application conditions, a modular design is adopted, the isolation and protection performance of the ports is strengthened and the integration degree of the device is increased.
A new online secondary path modeling method with white noise amplitude adjustment for excavator cab
Authors: Long Hongyue , Zhao Hongqiang , Liu Qiang 
Published: January 2022

Abstract
This article describes a new active noise control system to reduce the noise in the excavator cab. The noise in the excavator cab is mainly low-frequency noise. A digital signal processor (DSP) is selected to control the microphone and speaker for active noise control. In the traditional online secondary path modeling method, the amplitude of the white noise is fixed, and the amplitude of the white noise is still large after the modeling is completed, which will affect the reference microphone. In response to the above problems, I made improvements in the traditional algorithm and added a white noise amplitude adjustment module. After the iterative algorithm of the identification filter converges, the amplitude of the white noise is reduced. In addition, when the secondary path is disturbed, the amplitude of the white noise is increased in order to remodel the secondary path. That is to say, the white noise amplitude adjustment is based on the first-order forward difference of the square value of the error signal every 50 times. What’s more, the iterative algorithm of the control filter and the identification filter adopts the idea of variable step size, which can speed up the convergence of the algorithm. Finally, the feasibility of the algorithm is verified through matlab simulation and experiment. In the simulation, it can achieve a noise reduction of about 11dB. In the experiment, a noise reduction of 5dB can be achieved, and a noise reduction of 9dB can be achieved at the frequency with the largest noise amplitude. In a word, the proposed algorithm is superior to traditional online secondary path modeling algorithm.
Researches regarding the animal fats use at a truck diesel engine
Authors: Nicolici A , Pana C , Negurescu N , Cernat A , Lazaroiu G , Mihaescu L , Nutu C 
Published: January 2022

Abstract
The paper objectives answer to European Commission requires which decided for transport sector a 90% reduction of pollutants emissions till the year 2050. Alternative fuels like animal fats can represent a viable solution for diesel engines due to their good combustion properties, pollution reduction, and the possibility of raw state use in blends with diesel fuel or as biodiesel. A D2156 truck diesel engine is fueled with preheated raw animal fats, blend with diesel fuel in 5% and 10%. At the 55% engine load and 1450 rpm engine speed, for 10% animal fats-diesel fuel blend, the pollutant emissions levels decrease with 21% for NOx, with 50% for HC, with 66% for CO, with 30% for smoke due to the decrease of carbon content and increase of oxygen content. The CO2 emission level decrease by 14%. An important novelty aspect is a good correlation between engine running regime, diesel fuel, and animal fats cyclic dose, pollutants emissions level and exhaust gases temperature. The use of animal fats is a good opportunity to improve the environmental protection from pollutants emissions and greenhouse gases for diesel engines. The use of raw animal fats does not require significant changes to the diesel engine design.