bluuebunny/crossref_metadata_2025 huggingface dataset:
Experimental Research on Reasonable Time Difference of Electronic Detonators Based on MATLAB
Authors: Wang Jing
Published: June 2021

At present, there is relatively little research on the selection of reasonable time difference of digital detonators. When choosing delay time in engineering, it mainly depends on engineering experience and empirical formula, which lacks reasonable scientific basis. In this paper, based on a large number of experimental vibration monitoring data, through numerical simulation, the influence of blasting time difference on peak velocity, main vibration frequency and instantaneous energy of blasting vibration waveform is analyzed in detail, and the best time difference is determined comprehensively.
Research on automatic generation method of trusted test scenarios based on behavior declaration
Authors: Yu Xuejun , Wang Liping
Published: June 2021

In today’s Internet era, the development of application software gradually becomes mature, which makes people’s working mode also change accordingly. Applications, however, the scale is expanding constantly, make the internal structure of software is more complex than before, the application of the environment has become more open, causing the site to be attacked events occurred frequently, makes the credibility problem of software, especially in security, reliability, availability, and so on several aspects. At present, the research on software credibility is mainly based on application demand and software behavior, which are closely related to software credibility. Under this architecture. However, too many researchers focus on whether the application system meets the application requirements, and do not focus on the credibility before the system design. Therefore, this paper mainly takes the behavior statement as the entry point to study whether there are some untrustworthy factors before the system design.
Optimized control design of sliding plug door for high-speed EMU
Authors: Yang Dapeng , Li Yang , Liu Changying
Published: June 2021

With the continuous improvement of people’s requirements for the convenience of going out, high-speed EMUs came into being. As one of the important components of the high-speed EMU, the sliding plug door is located at the junction between the carriage and the carriage, and is one of the important passages for passengers. When the EMU is running at high speed, once the control system fails, it will cause damage to the personal safety and interests of passengers. Therefore, as the speed of the EMU increases, the stability of the electric end door control system of the EMU also needs to be enhanced. First, analyse the motor drive process of the sliding plug door control system, design the sliding plug door control system at the hardware level, and build an experimental platform for analysis and testing. Because the operating environment of high-speed EMUs is very complicated, in order to make the sliding plug door control system work stably for a long time, it is necessary to analyse the overall process of the sliding plug door opening and closing movement in stages, and adopt fuzzy-PID combined control. The algorithm further optimizes the movement process. The control method of the brushless DC motor is digital control, and the rotation speed of the motor is controlled by controlling the duty ratio applied to the motor side. Finally, through experimental testing, it is verified how the fuzzy-PID combined control algorithm can improve the stability of the door opening and closing movement.
Design of analog Filter circuit based on Multisim
Authors: Fu Siyong
Published: June 2021

With the rapid development of electronic technology, the filter circuit has been widely used in various occasions. Therefore, based on the study of various analog filter circuit principles, this paper users the Multisim simulation platform to design the corresponding low-pass and band-pass filters. In order to verify the performance of the filter circuit, the normal signal, noise signal and filter output signal are respectively observed by oscilloscope after noise is introduced, and then the performance is analyzed according to the waveform and parameters. The experimental results show that all the designed filters can achieve good filtering effect.
Blade Structure Design Based on Multi-objective Optimization of Automotive Fan
Authors: Zhong Yinhui , Li Yinong , Li Peiran , Chen Jingchang , Xia Tiequan , Kuang Xiaohong
Published: June 2021

In order to improve the fan noise, the multi-objective optimization algorithm was implemented to optimize the fan blade structure. Firstly, the theoretical model with the noise, flow rate and power of fan as the objectives was established and verified; then, the global sensitivity analysis method based on sobol’ method was used to obtain the contributions of each parameter to the performance objectives of the fan by taking the fan blade angle and chord length as the analysis parameters; finally, the sensitive parameters are selected to obtain the best noise-oriented comprehensive performance of the fan by the genetic algorithm. The result shows that the noise is reduced by 3.1dB, the flow rate is increased by 7.7% and the power is reduced by 7.9% after optimizing fan blade structure, and the overall performance of the fan is significantly improved.
A nets fixing device embedded in a circular floating net cage
Authors: Liu Jinlong , Zhu Lei , Yao Jun , Xiao Yun
Published: June 2021

A nets fixing device embedded in a circular floating net cage is presented in this paper, it consists of arc metal rods, wire ropes and sleeves. The arc metal rod is a circular arc metal rod with a connecting plate at both ends and a shroud ring at the inner side of the middle. Multiple arc metal rods can be fixedly connected to form a ring shape; During assembly, each arc metal rod is assembled into a circular ring. A wire rope is bound on each ring of a circular arc metal rod, and then the wire rope is pulled to sink the circular arc metal rod into the water inside the cage. Then, in the depth range of the nets, the interval and alternating sleeves of the wire ropes are inserted into the casing pipe and the circular arc metal bars, and the wire ropes are straightened and bound to the cage frame, thus forming the nets fixing device. The proposed device has simple structure, light weight, less material, high strength, and low overall price, which can effectively reduce the volume loss rate of nets, and is convenient for installation and removal.
Design and calibration of intake model for electric supercharged gasoline engine
Authors: Li Yuandong , Du Yongbo , Yang Chuan , Chen Bin , Li Lin , Zhang Li
Published: June 2021

The electric supercharger can significantly increase the transient intake air charge of the engine, thus increasing the power output of the engine under heavy load conditions. However, the traditional in-cylinder intake air charge calculation model has heavy calibration workload and low portability, and is not suitable for the intake air charge calculation of the electric supercharged gasoline engine. In order to reduce the difficulty of in-cylinder intake air calibration and improve the accuracy of intake air estimation, based on an electric supercharged gasoline engine, this paper simplifies the actual intake process into valve overlap period and free intake period, and proposes an in-cylinder intake air charge estimation model with intake pressure sensor as the main load sensor based on the mean value engine model. Three unknown coefficients, i.e., residual exhaust gas correction coefficient ɑ1, heat transfer coefficient ɑ2 between manifold and fresh gas, and effective flow area ɑ3 in valve overlap period, are calibrated by using the simulation data of the numerical model of electric supercharged gasoline engine. Compared with the numerical simulation results, the air intake model established in this paper can accurately estimate the actual in-cylinder air intake of electric supercharged gasoline engine under the external characteristic condition, and the calculation error is within 5%, which can provide theoretical reference for the in-cylinder air intake estimation of electric supercharged gasoline engine
Risk Analysis and Accident Causes of Mobile Phone Charger
Authors: He Fengping
Published: June 2021

All kinds of mobile phone chargers in the actual use process, due to poor quality products or improper use will cause safety accidents, causing great harm, so this paper has great practical significance to study the use risk and accident causes of mobile phone chargers. First of all, through the failure of insulating materials between conductive parts of mobile phone charger, the use of substandard artificial plug-ins in the production of components, the use of waste circuit boards or circuit board aging, and the unqualified quality of high-frequency transformer, the use risk and reasons of inferior products are analyzed. Secondly, the risks and causes of improper use of mobile phone chargers are analyzed by analyzing the factors such as alternate mixing of different specifications of mobile phone chargers, using mobile phone while charging, and long-term plugging in the socket. Finally, three typical cases of accidents caused by the breakdown of the insulation between the conductive parts of the mobile phone charger, the excessive current at the output end, and the defects of the material are analyzed, which provides better technical support for better eliminating the hidden dangers of the mobile phone charger.
Research on Process Optimization and Unified System Content in Big Data Network Information Sharing Environment
Authors: Gu Quangen , Li Lingyao
Published: June 2021

In the context of big data and data sharing, companies are strengthening internal control to enable companies to develop healthily and sustainably. Business process planning is the key to the success or failure of internal control. This article takes S Group as an example to discuss the optimization of its expense reimbursement business planning, which has certain reference value for enterprise expense reimbursement business control.
Genetic Algorithm Based Method for Signal Channel Allocation of Mobile Base Station Optimization
Authors: Yan Yida
Published: June 2021

Signal frequency band allocation is a crucial task in mobile communication. In realistic, the frequency resources that can be used to realize communication are relatively scarce. There are signal frequency interference problems between adjacent base stations. Existing frequency band resource allocation method try to find the best allocation program by visiting every node to search local optimal allocation program for each station. However, existing method is computationally complex. In this paper, we propose a global optimization model and solving the problem based on genetic algorithm. Finally, we test on an example to demonstrate the effectiveness the proposed method.
Research on Dynamic Reconfigurable Convolutional Neural Network Accelerator
Authors: Deng Bao , Lv Hao
Published: June 2021

The hardware implementation of convolutional neural network has the problem of resource limitation, which can be solved by the design of convolutional neural network accelerator based on FPGA dynamic reconstruction. The whole parallel strategy and architecture of CNN accelerator are designed, and the functional modules of CNN are designed based on pipeline. The dynamic reconstruction technology is used to redesign the convolutional neural network accelerator, and the dynamic reconstruction region and division are established; BPI flash is selected to store the configuration file, and the configuration file is read internally to dynamically configure the dynamic reconstruction area. Finally, for lenet. 5 handwriting recognition, compared with the corresponding static design, the use of slice LUTS, slice registers and DSP resources of the accelerator based on dynamic reconstruction design is reduced by 46%, 25% and 68% respectively. Compared with the implementation based on software platform. The system execution time is greatly reduced. However, due to the bandwidth limitation of the internal configuration port, the reconfiguration configuration time prolongs the execution time of the whole convolutional network.
A simple 24-second timer design for basketball games
Authors: Yu Jing
Published: June 2021

In recent years, basketball has been very popular among students, based on the knowledge learned in the course, this paper designed a “basketball game 24 seconds timer design”, which can be completed: display 24 seconds countdown; system set external operation switch, control the timer direct zero, start and pause/continuous function. When the counter is decreasing in 24 seconds, the timing interval is 1 second; when the timer decreases to zero, the digital display shows zero and an audible and visual alarm signal is issued. The whole circuit is designed with the help of the theoretical knowledge related to digital circuits and the simulation of the circuit is completed using Proteus software to obtain the expected results.
The Algorithm of Comprehensive Support Degree for Sensor Array Based on Spectrum Consistency
Authors: Liu Yalei , Gu Xiaohui
Published: June 2021

Aiming at the problem of data fusion deviation caused by the uncertainty of observation information in the multi-sensor data fusion algorithm, this paper proposes an array comprehensive support algorithm based on the spectrum consistency of the observation information. Starting from the probability distribution function of the array observation model, the algorithm introduces a multi-sensor consistent data fusion method. Aiming at the empirical selection of data fusion thresholds, the algorithm discusses the consistency processing method of the symmetric distance function, and comprehensively considers the multi-sensor delay estimation, A comprehensive support degree algorithm for spectrum consistency is proposed. The hardware-in-the-loop simulation test of the quaternary acoustic array verifies that the proposed algorithm not only reduces the observation noise caused by the uncertainty data fusion deviation, but also realizes the effectiveness of the estimation of the multi-sensor observation signal under the condition of unknown prior signal.
Research and Design of Wearable Intelligent Umbrella to Help People in Rainy Days
Authors: Lu Yuliang
Published: June 2021

Because the people with upper limb disability will encounter travel problems in rainy days, researchers designed and made wearable intelligent umbrellas, so as to improve the rain-shield efficiency of the disabled when traveling in rainy days. People with upper limb disabilities will suffer from poor balance and low rain-shield efficiency when holding umbrellas with one hand. This umbrella can be used as a backpack for people with upper limb disabilities. When traveling in rainy days, the umbrella will automatically adjust the orientation of the umbrella surface according to the wind speed sensor on the other side of the backpack to improve the rain-shield efficiency. The design of umbrella is based on physical experiments, and the conclusion of rain-shield efficiency is also drawn from experiments, which ensures the strong scientific nature of the research. At present, the conclusion of the experiment verifies that umbrellas can be used in daily life and can run normally under turning, walking, turning and other actions. This study can improve the travel convenience of disabled people and improve their social identity.
Floating Garbage Collector Based on OpenMV
Authors: Yao Chengkai
Published: June 2021

Due to the high cost of human labor for maintenance, garbages in rivers often do not receive immediate cleaning, resulting in severe water pollution. Those floating garbages simultaneously strip the aesthetic of rivers and threaten the local marine ecosystem. Thence, we developed an unmanned vessel based on Arduino’s platform, capable of auto-collecting garbage. The vessel includes two modes: the human operational mode allows individuals to manipulate the vessel and to collect garbages through Bluetooth connection; the auto-collecting mode is based on OpenMV’s video processing function, enabling vessels to detect garbages nearby and transport the garbages into the vessel’s interior through a rotating caterpillar track. At the end of this project, the vessel remains large rooms for improvements, such as increasing the efficiency and effectiveness of garbage collection and garbage detection. The vessel is suitable in small size rivers or ponds were artificial cleaning faces obstacles.
Research on CFRP inner wall roughness during vibration drilling of CFRP/Ti based on acoustic emission
Authors: Nie Peng , Ma Yao , Liu Siyao
Published: June 2021

Aiming at the quality problem of the CFRP inner wall in the CFRP/Ti laminated material assisted vibration drilling technology, the acoustic emission (AE) signals of different processing parameters during drilling are collected. Analyze the relationship between the characteristics of the acoustic emission signals and the roughness of the CFRP inner wall under different processing parameters and different number of holes. The test results and analysis show that other parameters are kept unchanged during the test process, only one parameter is changed. When the amplitude and spindle speed increase, the AERMS value increases while the CFRP inner wall roughness decreases. When the feed rate increases, the AERMS value and CFRP inner wall roughness increase simultaneously. The energy ratio of the wavelet packet of the AE signals is also closely related to the roughness of the CFRP inner wall. Therefore, in the actual machining process, the CFRP inner wall roughness can be monitored by monitoring the AE signals to improve the processing efficiency.
Processing method of acceleration signal with zero drift
Authors: Shi Yonglei , Fang Liqing , Li Rongxiang , Guo Deqing , Zhang Sa , Tang Qiongjie
Published: June 2021

An economical and effective method to measure displacement is to integrate the acceleration signal. Because of the zero drift in the acceleration sensor, there will be a trend term in the process of acceleration secondary integration, which will cause some errors in displacement measurement. In this paper, several methods of acceleration signal processing with zero drift are given, and the advantages and disadvantages of these methods as well as the applicable occasions are analysed, which have important reference value for selecting reasonable methods in dealing with engineering problems.
Research on the Kinematic Compatibility of Position Solution of a Four-DOFs Mechanical Structure Mechanism
Authors: Li Jianfeng , Cao Qiang , Dong Mingjie
Published: June 2021

Upper extremity rehabilitation exoskeletons are the key devices for stroke patients with movement function disorders. Based on the configuration synthesis and optimum principles of 4-DOFs upper limb exoskeleton mechanisms, an exoskeleton mechanism compatible with upper limb were presented. When the exoskeleton was worn to the upper extremity, a kinematic chain with two closed loops was formed. Moreover, the kinematic equations of the chain were established and a position solution method was addressed. Based on the presented position solution, the kinematic characteristics during eating movement were investigate. The conclusion suggested that the exoskeleton was applied to the upper extremity rehabilitation and can be applied as main structural design parameters for the presented exoskeleton.
The Construction and Research of Control System and Accounting Informatization by Visualization Mode
Authors: Lv Yanrong , Li Jia , Chen Lulu , Li Xin
Published: June 2021

This article raises the issue of enterprise cost and project management control, analyzes the cost and expense project management and control model, and proposes the definition of daily business documents and cost types involved in the cost and expense project management and control model. In the cost and expense project management and control model, the following concepts are proposed: target cost, budgeted cost, actual cost, contract split cost, non-contract split cost, pending split cost, dynamic cost, design and cost expense project management Control related daily business processing documents, that is, contract documents, non-contract documents, cost documents to be incurred, and payment documents, and decompose to generate corresponding contract split costs, non-contract split costs, pending split costs, and corresponding The payment plan can be compared with the real-time monitoring of the target cost and budget cost through the dynamic cost (the sum of contract splitting cost, non-contract splitting cost, and pending splitting cost) and the real-time monitoring of the payment time, payment amount and payment plan Realize the management and control of cost items. At the same time, the paper puts forward the basic idea of the design of the cost and expense project management and control system, analyzes the flow of the cost and expense project management and control system, and demonstrates the operating effect of the cost and expense project management and control system.
Research on the Influence of Non-Conductor on the Weight Function of Electromagnetic Flowmeter
Authors: Li Xuejing , Sun Lijun
Published: June 2021

The demand for multiphase flow measurement is widespread in petrochemical and other fields. Due to its small size, easy maintenance, and no moving parts, electromagnetic flowmeters are widely used in single fluid measurement. With the increasing application of traditional electromagnetic flowmeters in petrochemical and other fields, the problems of traditional electromagnetic flowmeters in multiphase flow measurement applications have been discovered. How to optimize the structure of the electromagnetic flowmeter and how to improve the measurement accuracy has become a new research focus. On the basis of a large number of literature studies, this research is based on the finite element method, and systematically studies the influence of multiphase flow on the weight function of electromagnetic flowmeters. Firstly, modeling the existence of non-conductive objects in the electromagnetic flowmeter. Secondly, analyze the weight function characteristics of the non-conductive objects on the electromagnetic flowmeter from two angles of different radii and different positions. The conclusions of this study can provide a certain reference basis for the electromagnetic flowmeter in the measurement of multiphase flow.
Study on Environmental Performance Evaluation Model of Coal Mine Using Balanced Scorecard and Ubiquitous Computing
Authors: Gao Xizhen , He Xiao
Published: June 2021

Based on the analysis of the current situation of environmental performance evaluation of coal enterprises in China, this paper uses the Balanced Scorecard as the basic framework to comprehensively evaluate environmental performance from the dimensions of environmental finance, internal environmental management, stakeholders and learning and growth. Set up a number of indicators in each dimension, use AHP to determine the weights of indicators at all levels, and test the rationality of index weights through consistency, and establish a comprehensive environmental performance evaluation system.
A Real-time Vehicle Detection Method for Unmanned Driving
Authors: Wei Lai , Zhou Bo , Liu Bin
Published: June 2021

Real-time object detection is the core technology in the perception of unmanned driving. In this paper, a real-time object detection method based on YOLOv4 for unmanned driving is proposed. In the practice of unmanned driving, the illumination and large-scale change effect the visual perception of unmanned vehicles. To overcome the influence of different illumination and scale change in real scenes, we enhance the scale, illumination and other aspects of the images in the training set and the test set, and fuse with the original data. The training set and the test set in this paper use the actual road driving images taken by road traffic monitor. By these ways, more competitive vehicle automatic detection results than the original yolov4 model has been achieved.
Multi-index Evaluation of Health Care System and Its Effect Prediction
Authors: Fan Yue , Zhang Yunhan , Luo Yun
Published: June 2021

Health care systems are crucial to people’s lives, so we established a quantitative model of multi-index health care assessment system to evaluate health care systems of different countries objectively. Firstly, we adopted the entropy weight method to calculate the weight of each indicator and built a linear function to derive the scoring results of the system in each country. Secondly, we used the incomplete induction method for the secondary screening of indicators, and the weight of selected seven indicators are: 0.16 0.11 0.13 0.14 0.19 0.15 0.12. Thirdly, we compared different countries’ health care systems. Compared to the America’s health care system, Japan had a better one, while China had a poorer one, and the scores of them are: 71.23 77.87 38.96. Finally, we proposed two suggestions to U.S. and predicted its improvement effects by BP neural network. Given the ease of implementation, cost and other issues, the latter is considered more appropriate.
Simulation analysis of reflective performance of marking glass beads
Authors: Leng Zhengwei , Wang Luwan , He Huayang , Wang Rui
Published: June 2021

Road traffic markings are made of glass beads embedded in paint. To analyze the effects of glass-bead radius, embedment depth, correlated color temperature of light sources, and incident angle on the reflective performance of glass beads, a numerical model is established using the geometric optics method, effective light conditions are analyzed, calculation methods for optical power devised, and non-standard planes of incident light calculated. Calculations were also carried out. Results show that the retroreflective properties of glass beads are positively correlated with the correlated color temperature of the light source and radius of the beads. The glass-bead radii, embedment depths, and incident angles have little effect on their reflective performance. Moreover, the correlated color temperature of the light source is an important factor affecting the accuracy of measuring glass-bead reflective performance. When using retro reflectometers, standard retro reflectance-measuring devices for retro reflectance measurement, and other equipment to evaluate the reflective performance of road traffic markings, the correlated color temperature of the light source of the equipment should be as close as possible to 2856 K.
Construction of Shelf-Life Prediction Model for Golden Delicious Apple Based on Electronic Nose
Authors: Xi Pushun , Zhu Danshi , Shen Yusi , Ren Xiaojun , Zhang Yueyi
Published: June 2021

The Golden Delicious apple shelf-life prediction model based on electronic nose was built by partial least squares regressions (PLSR). Sensory quality, such as, weight loss, texture, color changes and electronic nose were studied. The correlation between the electronic nose sensors and the sensory quality of Golden Delicious apples were analyzed to select the appropriate sensors for the construction of the shelf-life model. The results of the shelf-life prediction model on Golden Delicious apples building by PLSR showed that R2 of training set was 0.86, RMSEC was 3.94. The R2 of prediction set reached to 0.98, and the model was relatively accurate.
Research on the Theory of Navigation Pilot Sharing Mechanism and Network Sharing Platform Construction
Authors: Wang Wenfang , Luo Liangsheng , Ren Dawei
Published: June 2021

Sharing of general aviation pilots is beneficial to the growth of pilots. It is beneficial to achieve the balance between supply and demand of general aviation pilots and reduce the cost to a certain extent. It is beneficial to improve the flight safety level of general aviation enterprises. With the continuous deepening of the reform of “distribution suit”, there are fewer and fewer policy constraints on navigation development, which creates a favorable policy environment for navigation to “fly”. However, under the background of loose policies, China’s navigation development still faces many challenges, among which the high transaction cost of navigation industry is an important reason restricting navigation development. Among them, the cost of pilots accounts for the vast majority of the labor cost.
Management forecast based on big data fusion DEA and RBF algorithm
Authors: Zhu Yan
Published: June 2021

with the rapid development of information technology, how to use big data for effective analysis has become the focus of various industries. Big data will inevitably bring data noise and data redundancy. The traditional big data preprocessing methods do not take into account the functional relationship between variables, and the commonly used big data modeling tools can not effectively model big data with complex nonlinear relationships. This paper puts forward a prediction method combining DEA and RBF, uses DEA to preprocess big data to select the effective date, then uses RBF to model the data, and compares the prediction accuracy with the original environmental management fund data without pre-processing. The results show that the DEA-RBF method has higher prediction efficiency and better prediction accuracy.
Research on Digital Resource System Construction of Smart Library Based on Computer Network and Artificial Intelligence
Authors: Wang Chunyu , Sha Zhengyu , Jia Lin
Published: June 2021

With the development of science and technology, artificial intelligence has become one of the main driving forces for the development of modern society, and has also injected new vitality into the future development of libraries. Based on the high efficiency and scientific of artificial intelligence technology, the technology has been widely used in intelligent search and reasoning, machine learning and human imitation. In the “internet plus” era, the information service carried out by libraries has changed to a new intelligent information service mode. With the support of new technologies, the intelligent library has gradually become a new form of library development, showing the characteristics of digitalization, networking, intelligence and mobility. Artificial intelligence technology has changed the management mode, management content and service mechanism of libraries, and promoted the transformation of traditional libraries towards smart libraries. This paper first expounds the basic concepts of artificial intelligence and smart library, then analyses the constituent elements of smart library, and finally focuses on the construction method of digital resource system of smart library.
Research on OPNET energy simulation application in wireless sensor network
Authors: Qin Yu
Published: June 2021

Considering the problem of not providing energy model in OPNET, a modeling method in WSN is presented. First the modeling process of energy model and the way of its realization are analyzed. Then by introducing RM battery model with higher precision in describing the battery discharge, the energy model in OPNET is established. The results of simulation shows that the modeling method is valid and a better estimation of node lifetime can be achieved using RM model.
Research on Application of Convolutional Neural Network Algorithm
Authors: Ye Ling , Yin Peng
Published: June 2021

This paper proposes a method based on deep learning to improve the efficiency of children’s English learning. Firstly, the migration method is used to improve the accuracy of Resnet18 model. Then the accuracy of the model was further improved by adding channel attention mechanism. Finally, the model fine-tuning method is used to reduce the computational load of the model, so as to facilitate the transplantation to embedded devices and improve the efficiency of the classification model. By comparing with the classical classification model, it is found that the classification model proposed in this paper has higher accuracy and fewer parameters, so it is suitable for transplantation into the English teaching of children.
Non-functionality analysis and verification based on Aspect-Z
Authors: Qu Can , Chen Haihua , Zhang Xuhui , Zhang Lichen
Published: June 2021

The non-functional requirements of the software system usually cross the whole system, and the object-oriented software development method can lead to the entanglement and dispersion of the code. ASECT-Z proposed a formal method for non-functional requirements, it is the formal specification for the extension of Z language. The language based on set theory and mathematical logic, with strict logic, and the formal specification of reasoning. In this paper, we describe a library management system based on Aspect-Z, and then give a formal proof of the formal specification for formal verification.
Prediction of rice yield based on LSTM long short term memory network
Authors: Mo Haoming , Zhang Ying , Liu Yifei , Zheng Yanzi
Published: June 2021

The prediction of rice yield is of great significance for improving rice yield and preventing disasters. At present, there is no exact and effective solution to the problem of rice yield prediction, and there are many factors affecting the rice yield, which may lead to large errors in the prediction results. Based on the rice yield data of 81 counties in Guangxi Province of China for three years, a long short time memory network (LSTM) model was established and used to predict rice yield under the influence of meteorological factors. The results show that the performance of the recurrent neural network with LSTM structure is better than that of the standard recurrent neural network, which solves the problems of gradient dispersion and gradient explosion of RNN model, and enables the model to learn long-term laws. At the same time, the traditional machine learning model is established to compare with LSTM model. The neural network model can better mine the information hidden in the data and make full use of the rules in the data. Combined with meteorological factors, the test shows that LSTM model has higher prediction accuracy. It provides a reference for rice yield prediction.
Synchronization for VHF Data Exchange System
Authors: Rong Shijie , Li Huiyuan , Xiang Qian , Zhang Zhe , Yin Huihui
Published: June 2021

In wireless communications, rapid acquisition of synchronization parameters is essential. Very High Frequency (VHF) Data Exchange System (VDES), a new maritime communication system developed on the basis of traditional Automatic Identification System (AIS), uses time division multiple access (TDMA) and belongs to burst communication. Therefore, synchronization is the top priority of VDES research. VDES includes the terrestrial part and satellite part, named as VDE-TER and VDE-SAT, and the two parts have different channel conditions. This paper studies synchronization algorithms for VDE-TER and VDE-SAT respectively on the basis of different channel conditions and focuses on the derivation, the theoretic analysis and performance simulation of the algorithms.
Research on the Application of Factor Analysis Model
Authors: Liu Tingting
Published: June 2021

This article uses a factor analysis model to conduct an empirical analysis using data analysis. The data comes from a questionnaire survey. The subjects of the survey are college students in Guangxi, China. The research topic is the dual “3+1” training model for compound talents. Based on the SPSS analysis that KMO=0.812 and spherical Bartlett=0.000, the contribution rates of the extracted 8 common factor variances are: H =13.487%, H2 =8.535%, H3 =8.303%, H4 =6.152%, Hs =5.814%, H6 =5.622%, H7 =4.925%, H8 =4.870%, the above data results indicate: government support and social support, school publicity, government and university implementation efforts, student satisfaction with the training model, students’ willingness for future development, etc. The Factor Analysis Model provides reference and enriches the theoretical basis.
An improved genetic algorithm for solving flexible job shop
Authors: Yang Ruifeng
Published: June 2021

According to the characteristics of flexible job shop scheduling (FJPS), a mathematical model was established to minimize the maximum completion time, and an improved genetic algorithm was proposed to solve the problem. A variety of heuristic methods are used to improve the quality of the initial solution. The parallel double-chain encoding is designed and the optimal insertion method is proposed to improve the quality of the solution. Two crossover methods, namely IPOX crossover and multi-point crossover, are adopted to inherit the excellent genes from the parent generation and balance the global development ability of the algorithm. In different coding layers, a variety of variation methods were used to maintain the diversity of the population. The local development ability of the algorithm is enhanced by variable neighborhood search. Finally, by solving the Brandimarte standard example and comparing with other algorithms, the feasibility and effectiveness of the proposed algorithm are verified.
Research on The Optimal Solution of Lagrangian Multiplier Function Method in Nonlinear Programming
Authors: Jin Xue
Published: June 2021

For the general nonlinear constrained optimization model, this article will propose a new nonlinear Lagrange function, discuss the properties of the function at the KKT point, and prove that under appropriate conditions, the iterative point generated by the dual algorithm based on the function The column is locally convergent, and then an error estimate of the solution related to the penalty parameter is given. This provides a new way to solve nonlinear constrained optimization problems.
Research on optimal Modeling of Food system based on data potential Distribution Mining and quantitative Analysis
Authors: Chen Yanqian , Qu Hongtu , Kong Chunming
Published: June 2021

The current world food system gives priority to efficiency and profitability, creating some environmental and inequality problems in the world. In order to re-optimize our food system, we have developed a food system model to adjust the efficiency, profitability, fairness and sustainability of the food system. First of all, we describe the positive and negative effects of food systems optimized for fairness and sustainability, respectively. We have established the index system, and on the basis of the existing data, we use the grey prediction and fitting method to obtain the future data of each index. After that, we divide the previous 12 indicators into benefit category and cost category, and use entropy method to get the weight of indicators that affect benefit and cost each year. We use the “scale factor” method to quantify indicators that are difficult to measure, build models to calculate cost and benefit priorities for changing the world food system, and chart changes that benefit cost ratios in different years.
An Efficient Algorithm for Frequency Estimation of Sinusoid Signal Based on Improved Quinn
Authors: Liu Yibing , Xu Zhongfu , Zhou Hanbing , Zhao Yang
Published: June 2021

To balance the performance and complexity for frequency estimation of sinusoid wave using DFT-based methods, an efficient estimation algorithm based on improved Quinn is proposed. The amplitude and phase information are used to interpolate which ensures the accuracy of the frequency shift direction. A method of piecewise frequency shift is performed, and it has the characteristics of higher precision and lower computational costs. Simulation results show that the judgment of direction factor is more correct using Quinn, the Root Mean Square Error (RMSE) of this method is closer to Cramer-Rao Lower Bound (CRLB) under the conditions of different frequencies and SNRs comparing with Quinn and other improved algorithms, and it can attain remarkable decrease of computational cost which facilitates the algorithm implementation.
The two-layer SRU Neural Network Based Analysis of Time Series
Authors: Han Junjun , Zhu Xiaoqing
Published: June 2021

The traditional measurement model cannot meet the processing requirements of non-linear and high-noise time series data. A two-layer simple recurrent unit (DSRU) prediction model based on BPSO and SO-PMI sentiment analysis algorithm is proposed. First, the model uses the SO-PMI algorithm to calculate the stock market sentiment tendency measurement index. Then the BPSO algorithm is used to extract the characteristics of stock technical indicators with greater stock price correlation. Finally, the DSRU network model is used to predict the stock price. Taking Shanghai Pudong Development Bank stock as an example, the results show that the model has a significant improvement in prediction accuracy, reaching 65.84%, with an average absolute error of 0.0541, which proves the superiority and effectiveness of the method.
Research on SQL Server Bulk Operation Mechanism
Authors: Li Aiwu
Published: June 2021

This paper illustrates the meaning of different database recovery modes, represented by the select into command, and verifies the differences in the redo data produced by bulk operations in different database recovery modes with a detailed experimental procedure.
System Composition and Optimization of Small Soccer Robot
Authors: Du Jinhua , Li Shuang , Wang Hang , Sun Zhaoming , Du Gang
Published: June 2021

In view of the present intelligent and practicability of the small soccer robot system is still at the lower level, to improve and optimize the small soccer robot system performance, from the visual model to optimize the design of the decision system physical error control three perspective, based on the visual subsystem, decision-making subsystem and physical subsystems through the research of the three subsystems respectively through the model establishment and design improvement strategy is put forward, and USES the SOM simulation software to verify the simulation experiment and data results show that based on visual decision-making and physical three subsystems of the modified method is helpful to improve the overall performance of soccer robot system and intelligent level.
Research on System of Data Mining Technology Based on Computer
Authors: Zhu Yuan , Chen Jingjie
Published: June 2021

The existing implicit feedback collaborative algorithm directly uses sparse binary social trust information to assist recommendation, which has serious data sparse problems and does not have the influence of deep integration of social trust information. In response to the above problems, the paper proposes an algorithm that uses a denoising autoencoder to deeply integrate user implicit feedback data and social information. At the same time, a cloud computing-based social trust information data mining system architecture is constructed, and its modules are described. This framework is conducive to solving the problems of high data complexity and large amount of data encountered in current data mining, and can significantly improve the performance of data mining.
Simulation analysis of mechanical properties of composite materials
Authors: Su Jintao , Lou Jianping , Jiang Xiaolu
Published: June 2021

Based on the technical study of a composite vertical tail, the mechanical properties of honeycomb sandwich structure at the leading edge of the composite were studied fundamental computational analysis. The stress calculation and modal analysis of sandwich beam/plate structure are carried out by using engineering algorithm and two finite element modeling methods. The comparative analysis of the results shows that the two modeling methods can effectively simulate the mechanical properties of composite sandwich structure. In the actual analysis of complex structures, a simple 2D shell element modeling method can be used for preliminary simulation analysis.
Research on Industrial Upgrading and Technology Spillovers by Mathematical Model and Calculation Analysis
Authors: Li Zhiyuan , Li Zhenzhen , Gao Renhao , Li Jia
Published: June 2021

In the context of global economic integration, the economic links between countries are getting closer and closer, and international direct investment is an important link to connect the economies of various countries. In recent years, with the rapid development of China’s economy and the further improvement of the level of opening to the outside world, China’s IFDI (foreign direct investment) and OFDI (outbound direct investment) have developed rapidly. At the same time, the contradiction of China’s industrial structure has gradually emerged, and it is urgent to promote economic intensive development and industrial structure upgrade. Based on this research background, the thesis puts IFDI, OFDI and China ’s industrial structure upgrade into the same theoretical analysis framework, and explores the mechanism of two-way FDI to promote industrial structure upgrade from the perspective of technology spillover; Panel data of several provinces (municipalities), through the construction of simultaneous equation models, empirical analysis of the impact of two-way FDI technology spillovers on the optimization and upgrading of China’s industrial structure.
Influencing Factors Study on Green Development Using Principal Component Analysis and Factor Analysis
Authors: Sun Yihong , Gao Han , Yuan Xuemei
Published: June 2021

The rapid economic development and high incidence of crises in emerging economies make them play an increasingly important role in the transmission of global financial risks. As a new trend in the development of the financial industry, the development of green finance also indicates the direction of the future development of the financial industry. Faced with the increasingly concerned environmental issues, it is necessary for emerging economies, mainly represented by developing countries, to learn from the experience of developed countries in this field. In this paper, principal component analysis (PCA) and factor analysis (FPM) are applied to study the factors influencing financial fragility of emerging economies at different stages of development, and then the degree of fragility is analyzed and compared. The empirical results show that there are differences in the influencing factors of financial fragility in emerging economies at different stages of development. For middle- and low-income economies, credit security, social stability and the development of capital market are the priorities they should consider at present. For the Middle- and high-income economies, we should be alert to the malignant changes in a certain indicator. For high-income economies, macroeconomic stability is the focus of their financial security. The research results provide a basis for the emerging economies to reduce economic vulnerability according to local conditions, which is of great significance to avoid the outbreak of global financial crisis.
Study of Multiple Linear Regression on the Technology Upgrading of Sichuan Province by Mathematical Statistics and Computational Science
Authors: Zou Xiaowei , Liu Xinyan , Liu Jiyu , Lu Shaozhuo
Published: June 2021

China’s economy has entered a new normal, and the industrial structure must be upgraded in order to realize the transformation of economic growth kinetic energy. Sichuan Province, as the economic leader in western China, needs to accelerate the optimization of its industrial structure. Therefore, this paper makes an empirical analysis of the factors that affect the upgrading of Sichuan’s industrial structure, and puts forward countermeasures and suggestions to promote the optimization of Sichuan’s industrial structure.