nils-herrmann/clean_scirepeval huggingface dataset:
Framework based universal simulation for satellite project

An integrated simulation system is proposed in the paper, which considers the universal runtime platform environment, the resource management mechanism, and the aerospace oriented model software framework. The platform is compatible with the HLA protocol and support both synchronous and asynchronous modes for data interaction. The simulation execution is established on the specifically formulated scenarios, which provides flexibilities in customizing the organization of the simulation system. The resource framework is designed by combining the characteristics of both aerospace engineering and software engineering, and the modeling objects are expanded from the entities of satellites, sub-systems and equipments, to the non-entity relationships of the system components. With the developed model database and management software, the simulation can be applied either in the visible and non-programming way, or in a secondary development way with reusability. Therefore, the proposed system is user-friendly to engineers with various disciplinary backgrounds.
Image semantic quality assessment for compression of car-plate images

We explore image semantic quality assessment (ISQA) for compression of images that are utilized for automatic image analyses, such as recognition and detection, rather than for human viewing. For such analyses purposes, we argue that the quality of compressed images should be evaluated from its preserved semantic-related features, instead of its pixel-wise fidelity (e.g. PSNR) or visual quality (e.g. SSIM). In this paper, we make an empirical study of an ISQA approach based on SIFT features extracted from both original and compressed car-plate images, and we formulate an optimization problem to find the operating point of an image compression system for car-plate recognition. Experimental results show that our proposed ISQA measure is significantly better than PSNR and SSIM in predicting the recognizability of compressed car-plate images. Accordingly, using our ISQA measure during compression leads to more than 50% bit-rate saving compared to using PSNR or SSIM.
Distributed Customer Tagmeme Evaluation Model Based on the Multi-Attributes Tree Bayesian Network

In this paper, a distributed customer tagmeme evaluation model based on the multi-attributes tree Bayesian network was proposed to solve a distributed customer tagmeme evaluation problem. First, using mobile agents which could visit distributed data-sets, the multi-attributes tree and the Bayesian network were built. Then, all the distributed data-sets were trained by Bayesian network structure learning and parameter learning. By this way, the tagmeme of test samples could be evaluated. Comparing with the traditional customer tagmeme evaluation models, the experiment result showed that the distributed customer tagmeme evaluation model could solve the problems of heavy burden, large storage costs and inefficiency during Bayesian network learning. And this model showed higher forecast precision and better practicability.
Facilitating Image Search With a Scalable and Compact Semantic Mapping

This paper introduces a novel approach to facilitating image search based on a compact semantic embedding. A novel method is developed to explicitly map concepts and image contents into a unified latent semantic space for the representation of semantic concept prototypes. Then, a linear embedding matrix is learned that maps images into the semantic space, such that each image is closer to its relevant concept prototype than other prototypes. In our approach, the semantic concepts equated with query keywords and the images mapped into the vicinity of the prototype are retrieved by our scheme. In addition, a computationally efficient method is introduced to incorporate new semantic concept prototypes into the semantic space by updating the embedding matrix. This novelty improves the scalability of the method and allows it to be applied to dynamic image repositories. Therefore, the proposed approach not only narrows semantic gap but also supports an efficient image search process. We have carried out extensive experiments on various cross-modality image search tasks over three widely-used benchmark image datasets. Results demonstrate the superior effectiveness, efficiency, and scalability of our proposed approach.
AFS Structures and Concept Lattices

Formal concept analysis has been discussed for decades, some new concept structures are formulated and studied. In order to cope with the data and fuzzy objects, AFS theory was proposed by Xiaodong Liu ( 1998, Fuzzy Sets and Systems, vol.95, 1998). In this paper, first we define the product, semi-product and direct sum of AFS algebra. Then we prove that the product, semi-product and direct sum in concept lattice are only the special cases of the ones in AFS algebra. Thus we pave the theoretical ways to discuss the concept lattices with AFS theory
Pseudo-sequence-based light field image compression

We propose a pseudo-sequence-based scheme for light field image compression. In our scheme, the raw image captured by a light field camera is decomposed into multiple views according to the lenslet array of that camera. These views constitute a pseudo sequence like video, and the redundancy between views is exploited by a video encoder. The specific coding order of views, prediction structure, and rate allocation have been investigated for encoding the pseudo sequence. Experimental results show the superior performance of our scheme, which achieves as high as 6.6 dB gain compared with directly encoding the raw image by the legacy JPEG.
Study of thrust force and torque in drilling carbon fibre reinforced plastics(CFRP) using twist drill brazed diamond

The Composites are difficult machining materials which widely used in aerospace industry due to their excellent mechanical properties. Tool wear and delamination are considered the major concern in manufacture the parts and assembly. The thrust force and torque affect the tool life and delamination mostly. This paper investigated the drilling force and torque of carbon fibred composite with carbide drilling tools brazed diamond. The experiments were carried out under air cooling cutting conditions and the regulation of the drilling force influenced by the feed rate and cutting speed was obtained. The exponential formula of drilling force and torque were obtained through regression analysis method.
Research of Indoor Airship Control System Based on AP10

this paper analyzes the principle and characteristics of the AP10 system, and then presents a solution of controlling indoor airship.AP10 is a kind of autopilot which is proved to be highly stable through market being used on UAV. After restructuring AP10, using the integrated navigation guidance method in it and UWB positioning technique it can be used for indoor airship .The test proved to achieve good results. This program makes up the lack of indoor airship control technique, but also shorten the development cycle.
Study on force control for fatigue testing machine based on iterative learning control

In this thesis, a new control algorithm iterative learning control (ILC) is applied in the force load control for fatigue testing machine due to non-linearity and unmodeled character of electro-hydraulic servo system and repeatability of fatigue testing machine. A model is established to describe electro-hydraulic servo force control system. According to the model, a controller based on ILC is designed and simulated. By the results of simulation, the effectiveness of ILC is verified.
Study on the sequence of steps in the QR code image preprocessing

Noise is inevitable in QR code image's capturing. QR code image preprocessing process by means of graying, filtering and binarization is adopted to discern QR code image. In this article, first of all, the method of binarization before filtering is applied in the QR code image preprocessing. Then median filtering algorithm which is suitable for binary image is applied. According to the result of experiment, this method is better than traditional method in effect and speed.
Surveillance video coding with vehicle library

Inter prediction in video coding is very efficient to remove temporal redundancy. However, due to the limitation of short-term references, inter prediction can work only within a very short time interval. In surveillance videos, we observe that there are always similar vehicles passing through one static camera, but the time intervals of similar vehicles are usually several seconds to minutes, exceeding the time interval that short-term references can handle. To solve this problem, we propose to build a vehicle library, and to put high-quality copies of the similar vehicles into the vehicle library. During encoding, vehicles are detected from the current frame, and for each vehicle we can retrieve similar vehicles from the vehicle library, and take the retrieved vehicle picture as additional references for inter prediction. Preliminary experimental results show that the proposed vehicle library based method achieves as high as 10.1% bit-rate saving for surveillance video coding, compared to HEVC anchor.
Research on Experiment and Engineering Application of High-Performance Asphalt Mixtures

Experimental study on composition design of asphalt mixtures was conducted based on the study of asphalt material test. Gradation composition design of high-performance asphalt mixtures was posed in this paper. Further more, fatigue properties of high-performance asphalt mixtures were researched using simulates heavy traffic with high stress ratio. It is shown that fatigue regulation under heavy traffic is consistent with that under general load.
Research and application of the image search algorithm based on LIRE

In this paper, the content-based image retrieval was firstly introduced, then analyzed the structure of the open source image retrieval system LIRE framework. Based on these, this paper put forward an image retrieval results sequencing algorithm, which was based on the mean square difference. And through improving the LIRE system framework, we realized an image retrieval system, and analyzed the application scenarios and commercial value. The retrieval system framework was based on the improvement of the mean square difference sequencing algorithm, which improved the correlation and accuracy of the retrieval results about LIRE, and had good usability and expansibility.
Capacitor monitoring for modular multilevel converters

The modular multilevel converter (MMC) is attractive for medium-or high-power applications because of the advantages of its high modularity, availability, and high power quality. Reliability is one of the most important challenges for the MMC consisting of a large number of submodules (SMs). The capacitor monitoring in each SM of the MMC is an important issue, which would affect the performance of the MMC. This paper proposed an effective monitoring method for the capacitance in each SM of the MMC. The proposed method reveals the relationship between the arm average capacitance and the capacitance in each SM of the arm, which can be used for capacitance estimation with a simple algorithm. The simulation studies with the professional tool PSCAD/EMTDC are conducted with the proposed method. The study results show the effectiveness of the proposed method.
Ethnic Features extraction and recognition of human faces

Ethnic Facial Feature is one of the most important face features. We create a face database of ethnic groups and extract facial features by using face recognition technology. In the feature extraction method, we adapt the algebra and geometry features from face database. In algebra features, LDA algorithm extracting the algebraic features of human face images is used. The paper also constructs a new face template to extract the geometric features and locates the points of face templates by using Gabor Wavelet. KNN and C5.0 Classifiers are used to learn the train dataset. The result indicates that the average recognition accuracy rates of Tibetan, Uighur and Zhuang ethnic groups can reach 79% by algebraic features and 90.95% by geometry features.
The base of finite EI algebra

In many fuzzy systems, the membership functions of fuzzy concepts are obtained by the expert's experiences. Different persons may have different membership functions for the same fuzzy concept. And the current algorithms for determining membership functions are not universal. AFS (axiomatic fuzzy sets) theory, which is a new approach, can improve this defection. AFS theory can be used to study the natural language and the law of human thinking and also can be easily operated by computers. In AFS theory, the mathematical structures of fuzzy concepts have been studied by the EI algebra, a molecular lattice defined by Wang Guojun (1992), and AFS structures which are super-graph. It is proved that any fuzzy concept on the finite universe of discourse is the EI representations of some simple concepts. In this paper, the authors define the base of the EI algebra and EI independence and apply them to study the algebraic structures of the EI algebra. The authors also give some propositions about the base for some EI algebra. All these can be applied in structure analysis of concepts. The base of sub algebra of EI algebra can simplify the EI algebra representations of human concepts and improve the intelligent capability of computer. At the same time, it has potential applications in fuzzy clustering analysis and data mining. At last the authors demonstrate how to use the elements of EI algebra to study the natural language by a real world example.
Blood Flow Velocity Estimation from Ultrasound Speckle Tracking Using Chirp Signals

Ultrasound speckle tracking has been used to estimate the blood flow velocity, because this method can overcome the major limitation of the Doppler method: angle dependence and aliasing. The speckle tracking is based on the brightness of image pixels which always bring difficulty for dark flow areas due to the low reflectivity of blood cells. Therefore, the conventional speckle tracking method is sensitive to signal-to-noise ratio (SNR) of flow and its performance will be significantly deteriorated from existing ultrasound system noise. In this paper, we present a fast sum-absolute-difference (SAD) based speckle tracking method by using chirp signals instead of the conventional broadband signals to increase the flow SNR and investigate the detected errors for flow velocity estimation. Simulation results show that our method can improve the velocity estimation by 12% compared with basic broadband speckle tracking methods.
Research on the Chuandong natural gas field produced water reinjection process simulation

The reinjecting of produced water into stratum is becoming a major process to treat produced water. However, the studies of deep confined aquifer pollution concerning produced water reinjection are rare, since the hydrological and geological conditions of deep confined aquifer are complex. Also, the water quality of deep confined aquifer does not receive enough attention. However, the studies of deep confined aquifer pollution concerning produced water reinjection are rare, since the hydrological and geological conditions of deep confined aquifer are complex. Also, the water quality of deep confined aquifer does not receive enough attention. This study provides valuable data for deep confined aquifer pollution protection of the Chuandong natural gas field and other projects.
A multi-unit cascading type high-voltage power amplifier for driving piezoelectric actuators

In order to improve the dynamic characteristics, load capacity and bandwidth of the power amplifier which is used to driving piezoelectric actuators, a novel high-voltage power amplifier based on multi-unit floating cascade topology is developed by using multiple independent high-precision power amplifier units cascade. To improve the stability, an effective dual-channel feedback compensation strategy is developed. Experimental results show that the output voltage amplitude is 0–1000V, the maximum output power is 1KVA, the large signal bandwidth is over 1KHz/0.3uF, and the static ripple is 100mV. It can satisfy the system requirements of low ripple, high accuracy, large bandwidth, short response time and excellent load capacity.
Restoring a δ-pulse train by spectral fitting

The problem of restoring a delta -pulse train h(t) from its bandpass filtered and noise-corrupted version is considered. A spectral fitting approach is described which fits terms of the form rho /sub k/e exp(-j omega tau k) to the estimated spectrum of h(t). This fitting problem can be efficiently solved using the FFT algorithm. The error in the estimated pulse positions is discussed by analyzing the fluctuation of the peak position of the cross correlation function. Computer simulation results are presented which indicate the validity of these calculations and analyses.
A pattern language model for framework development

Pattern language has long been paid attention for its intrinsic characters such as its domain-orientation, problem-orientation and solution-orientation. Much of domain knowledge has been captured in well established pattern language. This paper, based on an investigation and study on patterns and relation between them, proposes a pattern relation model, to formalize the semantic structure of a pattern language. We also utilize this model to facilitate the development of a framework, to show a concrete example of this useful model.
Decision Support System for Drinking Water Safety in Rural Area in Ya'an of China

In consideration of the drinking water safety in rural areas in the western mountainous regions of Sichuan Province, the author adopts the module technique to integrate the GIS with the specialized application function to develop a drinking water safety spatial analysis system. The system provides the Ya'an's seven counties with each kind of function the daily management of drinking water safety need, such as the spatial data, sketch picture and the information collecting, storing, saving, managing, analyzing, evaluating, converting, inspecting, outputting and renewing, etc; the system still can carry on information inquiry, analysis and decision functions on the wanted area, and provides technical measures of river protection of the area. The system can be used for the protection of water resource, provides the management section of technical personnel with the foundation platform of the daily data processing as well as the government officials the assistance decision tool. It has the instructional significance to solve the problem of rural water supply and reasonable development of Dadu River, Qingyi River basin water resources, and the protection and instaurations of the ecosystem. Compared with the same kind of methods are found, the paper had the outstanding results in the study on drinking water safety in rural areas.
A Novel Image Compression Algorithm Using Ridgelet Transformation with Modified EBCOT

JPEG2000 is the image compression standard which includes three core techniques: wavelet lifting scheme and EBCOT and MQ arithmetic coder. The EBCOT algorithm uses a Wavelet transform to generate the subband samples, which are quantized and coded. Normal Wavelet transforms fail to represent such functions effectively while Ridge functions are effective in representing functions that have discontinuities along straight lines. If the coefficients obtained from Ridgelet transform of the image with more discontinuities along straight lines have to be subject to quantization and coding process with EBCOT, the existing structure of the EBCOT should be modified to suit with the output of the Finite Ridgelet Transform (FRIT). In this paper, an effective image coding technique is proposed. The technique, which involves transforming the image into another domain with Ridgelet function and then quantizing and coding the coefficients with modified EBCOT, is similar to JPEG2000. A modified EBCOT algorithm for FRIT coefficients has been also proposed in this paper. Experimental results show the combination of modified EBCOT with FRIT which is used to code novel images such as images with straight lines and galaxy images significantly outperforms the combination of EBCOT with Wavelet Transform in novel image coding in terms of PSNR.
Diagnosis of partial discharge in GIS based on UHF sensing technique

A gas-insulated substation (GIS) test model was set up and a GIS partial discharge (PD) online detection system by a UHF sensing technique was developed. Investigation was made on the diagnosis of PDs in GIS. Testing with different insulation defects in GIS and comparing between the waveforms of the UHF measurement, the features of the different PDs were investigated, and the PD form recognition was performed. Based on the results of the UHF PD measurement and the conventional PD measurement, the PD quantities of the defects in GIS were estimated.
A loosely synchronized gossip-based algorithm for aggregate information computation

Many P2P applications necessitate statistics aggregate computation of certain information among all individual peers. In contrast to methods of constructing aggregation tree, centralized computing and flooding, gossip-based mechanism has the advantages of good robustness and moderate communication and computing costs. Most algorithms of this type perform aggregate computation recursively on successive time slots called rounds. They require rounds to be globally synchronous on all the nodes, which complicates the algorithm realization. To eliminate the requirement for global round synchronization, we propose a loosely synchronized algorithm to compute global statistic average based on random event triggering mechanism, and prove that the convergence time is O(logN)tau. We then propose a robust method to estimate the number of peers in the network based on this algorithm. Finally, a framework is proposed to generalize the computation of SUM, AVG, MAX, MIN, and CNT(N).
A novel global sliding mode control strategy for attitude control of reusable launch vehicles in the reentry phase

The attitude control for reusable launch vehicles (RLV) is responsible for the robust operation to avoid the major deterioration from uncertainties of parameters and external disturbances in the reentry phase. Targeting for these practical issues with the study of the feedback-linearized RLV rotational equations of motion, two global sliding mode control (SMC) strategies are proposed with modified PID-type sliding surfaces. Firstly, this paper begins with a SMC method, which is applied with a modified fixed-gain PID-type sliding surface so that it achieves a global sliding mode and guarantees the global robustness of the controlled system. Furthermore, in order to rationally deal with the contradictory relationship between faster response and smaller overshoot, an improved SMC method is derived with modified variable-gain PID-type sliding surface. Finally, the effectiveness of the proposed strategies is verified by the theoretical analysis and simulation results are presented for the attitude control problem of X-33 RLV in the reentry phase.
New Method of Live Line Measuring the Impedance Parameters of Transmission Lines

Based on GPS technology, a new algebra equation method (AEM) of live line measuring the parameters of transmission lines with mutual inductance is proposed. The mathematical model of the new method is explained in detail. The hardware structure of the live line measuring system based on GPS is given. Digital simulation results are shown. Finally, an example of live line measuring six 500-kV transmission lines with mutual inductances in North-East China power grid is given. Comparison of results between AEM and an increment equation method (IEM) is also shown. The field measurement results prove that the new method can meet the need of live line measurement of transmission lines' inductance parameters.