nils-herrmann/clean_scirepeval huggingface dataset:
A Hierarchical Reliability Model of Service-Based Software System

Service-Oriented Architecture (SOA) introduces a new paradigm where data, service, and the service composition logic are decoupled in an open environment. Software systems are built and evolved online by dynamic discovering and binding to the open services accessible through standard protocols. It requires new reliability modeling techniques to facilitate the analysis of dynamic collaborations and to be adaptable to the changes of service composition and system configuration at runtime. The paper proposes a hierarchical reliability model, in which the system reliability is calculated according to the layered superimposition of the reliabilities of data, services, fault-tolerant mechanism and service composition logic. At the basic-service layer, the service reliability is considered in the context of data reliability and service pools with backup alternatives. At the composition layer, a DTMC (Discrete Time Markov Chain) model is created for analyzing system reliability based on the reliability of the constituent services and their execution rate which are decided by the composite control structure and the operation scenarios. The DTMC state transition diagram can be automatically generated by analyzing and transforming the layered superimposition of the application following the transformation rules. The hierarchical modeling framework enables change adaptation at various levels. In addition, the models can be continuously learned and dynamically adjusted by profiling on the runtime monitoring log files.
A Fuzzy Ontology Generation Framework and Its Application to Subjective Credit Reporting Management

In this paper, we construct a fuzzy ontology model and propose using a fuzzy matching rule base to promote a fuzzy ontology generation frame which supports rough concept descriptions on intrinsic semantic level. To consider the rule base and express the fuzziness, the formal analysis of concept vector is developed for the generation of fuzzy ontology that can deal with uncertain information. The proposed fuzzy semantic extension technique taking advantage of the fuzzy matching rules consists of the following steps: vectorization of fuzzy concept, establishment of basic concept pair, and synthesis of semantic information. The formal descriptions of fuzzy approximations of concepts and valid fuzzy semantic reasoning can be obtained through semantic matching of concepts. As such, applying the provided frame to subjective credit reporting management, the SCRM ontology model will potentially improve the fuzzy concepts reasoning and effectively facilitate the semantic expansion. It is, especially, suitable for acquiring acceptable degree of subjects through the intelligent reasoning of trust relationship.
Communication-Based Train Control System Performance Optimization Using Deep Reinforcement Learning

Communication-based train control (CBTC) systems are automated train control systems based on continuous and bidirectional train-ground communications. CBTC is the direction of future train control systems. Complex channel condition and frequent handoff can severely affect urban rail CBTC train-ground communication performance, and consequently affect CBTC operation efficiency. Current research regarding CBTC does not consider the impact of train-ground communications on train control performance. This paper studies the joint optimization of communication and control in CBTC systems. With the objective to minimize the optimal operation profile tracking error and energy consumption, linear quadratic cost is defined as the control performance measure. In order to ensure train operation safety, the optimization model puts constraints on train control actions related to safety. Moreover, based on the stochastic channel characteristics and the real-time train position information, handoff decision and train control policy are jointly optimized using deep reinforcement learning. Extensive simulation results based on real-field channel measurements illustrate that the proposed optimization method can significantly improve the train control performance in CBTC systems, and CBTC systems need to sacrifice part of performance to ensure system safety.
A Chu Spaces Semantics of BPEL-Like Fault Handling

We use Chu spaces and an algebra of them to give a denotational semantics of a subset of BPEL. The emphasis is on the scope-based fault handling mechanism. We propose BPEL-F as an abstraction of the subset of BPEL including typical control flow and fault handling. Chu spaces form the main semantic domain. We study the influence of fault handling to the algebraic operators of Chu spaces. and present modified versions of the sequence and concurrence operators. The trigger operator is designed to model the scope-based fault handling. We present valuation functions mapping BPEL-F constructs to Chu spaces.
Data-driven fuzzy modeling for nonlinear dynamic system

In this paper, A new method for dynamic learning of Takagi-Sugeno (T-S) model based on input-output data is presented. It is based on a novel learning algorithm that recursively updates T-S model structure and parameters by combining supervised and unsupervised learning. The rule-base and parameters of the T-S model continually evolve by adding new rules with more summarization power and by modifying existing rules and parameters. To reduce the complexity of fuzzy models while keeping good model accuracy, orthogonal least squares (OLS) method algorithm is used to remove redundant fuzzy rules, at the sametime the consequent parameters of the T-S model are identified and optimized. The approach has been successfully applied to T-S models of non-linear dynamical system modeling.
Open-Loop Control of Creep and Vibration in Dielectric Elastomer Actuators With Phenomenological Models

Dielectric elastomer actuators (DEAs) have shown great potentials for biomimetic soft robots. The inherent viscoelastic nonlinearities (such as creep and hysteresis) and the vibration dynamics of the DEAs may limit their motion accuracy in practical applications. However, few control efforts are made to handle these problems. In this paper, we propose a feedforward control approach for creep and vibration compensation of a dielectric elastomer actuator. To this end, a relative creep model of the DEA is first established, and a creep compensator based on the relative creep model is designed to eliminate the creep. Then, a vibration compensator based on a zero vibration input-shaping (ZVIS) technique is developed to suppress the vibrational dynamics of the creep-compensated DEA. The experimental results with the proposed control approach demonstrate that the creep of the DEA is reduced from 20% to less than 7%, and the overshoot of initially about 38.72% is almost completely removed.
Magnetic Field Measurement for Synchrotron Dipole Magnets of Heavy-Ion Therapy Facility in Lanzhou

Magnetic field measurement system is an indispensable part of Heavy-Ion Therapy Facility in Lanzhou (HITFiL). The Hall probe mapping system and long coil integral measure system are developed for dipole magnets measurement. The main parameters and the structure of the systems are described. Magnetic field calculations and the design of the synchrotron dipole magnets are also presented in brief. The main measurement results of magnetic field are shown in the article which includes excitation curve, transverse field homogeneity, effective length and integral field homogeneity. The test results prove that the measurement system is fully competent for the demand of HITFiL project, and ensure the smooth operations of subsequent measurement.
Blind Estimation of Convolutional Interleaver Parameters

Interleaving, an important technique in digital wireless communications systems, is commonly used to improve robustness against burst errors because it provides a form of time diversity. The unitive mathematical model of the convolutional interleaver was presented for the first time and the blind estimation of convolutional interleaving parameters has been investigated using the linearity of the linear block code based on Gauss-Jordan elimination algorithm in this paper. It is easy to find out the parameters of convolutional interleaver when the proposed algorithm is extended to interleaved nonbinary codes sequence. The proposed algorithm uses only the intercepted interleaved stream to analyse a portion of the parity check linearity, and also requires less number of intercepted data bits and less calculated amount compared to previous approaches.
Economic effect of separation between cash flow rights and controlling rights of ultimate shareholders—Evidence from private-listed companies in China

Based on ultimate shareholder's views, five hypotheses were proposed. Using method of least squares, regression models were set up. Data of this research comes from private listed companies in Shanghai stock markets from 2004–2008. The paper examines the effects of ultimate shareholder's controlling rights, cash flow rights and the separation between them on corporate performance and capital structure. The paper aims to give some suggestions on interests protection of minority shareholders in China. Results show that: (1) Controlling rights are negatively related to corporate performance, and cash flow rights are positively related to it. The performance decreases with the separation degree of the two rights. (2) Controlling rights and cash flow rights are negatively related to the size of debt financing.
Fabrication and Characteristic Tests of a Novel Low-Resistance Joint Structure for YBCO Coated-Conductors

Joints play an important role in the application of YBaCuO-coated conductors. Given the limited length and various requirements of tapes, large numbers of joints are needed in some applications. Therefore, developing stable joints between tapes and achieving low joint resistance has become an important issue for the application of YBCO tapes. In this paper, we propose a novel superconducting joint production process and fabricate these joints with a lamination machine. A few meters or more than 10 m of joint overlapping length can be achieved, and the joint resistance can be as low as 2.25 nΩ when the overlapping length reaches 8 m. A series of experiments has been carried out to explore the joint resistance changing law, with overlap length increases, and the joint characteristics. The results show that joint resistance is inversely proportional to the overlap length. Although long bridge joints cost more, they have an incomparable advantage in that the joint resistance is distributed over the bridge joint, which allows for more stable operation and less liquid nitrogen boiloff. After joint lamination processing, the burnout current rises from 276 to 523 A. Critical current and joint resistance are not affected by the overcurrent before the joint burns out.
Projection based advanced motion model for cubic mapping for 360-degree video

This paper proposes a novel advanced motion model to handle the irregular motion for the cubic map projection of 360-degree video. Since the irregular motion is mainly caused by the projection from the sphere to the cube map, we first try to project the pixels in both the current picture and reference picture from unfolding cube back to the sphere. Then through utilizing the characteristic that most of the motions in the sphere are uniform, we can derive the relationship between the motion vectors of various pixels in the unfold cube. The proposed advanced motion model is implemented in the High Efficiency Video Coding reference software. Experimental results demonstrate that quite obvious performance improvement can be achieved for the sequences with obvious motions.
SECTCS: towards improving VSM and Naive Bayesian classifier

Based on the study of a text classification technique, we propose a new text classification method which improves the Vector Space Model and Naive Bayesian classifier by using a weight adjustment measure, implement an experimental text classification system SECTCS (Smart English and Chinese Text Classification System), and make a comparison between various text classification approaches by using SECTCS. Compared with many commercial text classification systems, the behavior of SECTCS is excellent. We introduce its framework, function and running environment, give our experimental results, and discuss a few important technical issues involved in the system to get some valuable conclusions. We also describe how to improve the Vector Space Model and Naive Bayesian classifier in detail.
Reliability Analysis of Yarn Tension Control System Based on FTA in Jacquard Loom

Aimed at the problem of high failure rate in the tension control system of traditional circular knitting machine, this paper proposes and develops a kind of embedded yarn tension control system. Systematically study the causes of different failures in yarn tension control system and analysis the influencing reliability factors of real-time control system by FTA (Fault Tree Analysis) method, built system fault tree with qualitative analysis and quantitative analysis, work out the minimal cut set of system and estimate the occurrence probability of the top event. Figure out specific improvement measure and provide reference to enhance the system reliability. The improved tension control system is running steadily in the experiments, and analyzes the result turns to be beneficial to improve the reliability.
Optimization of resource allocation for the downlink of multiuser MISO-OFDM systems

In this paper, we investigate the optimization problem of resource allocation in downlink of multiuser MISO-OFDM system. Multiple users with different BER and minimum transmission rate requirements are considered. We propose a novel heuristic allocation algorithm (HAA) of radio resource, which minimizes the total transmit power of the base station while meeting individual users'QoS requirements. The proposed algorithm combines antenna selection, subcarrier, bit and power allocation together, pre-estimating number of subcarriers assigned to each user and number of bits loaded for each subcarrier to reduce search number, reducing about 8 dB average bit SNR comparing with fixed allocation algorithm (FAA), and acquiring asymptotic average bit SNR of optimal allocation algorithm (OAA) with much lower complexity.
A Kind of Energy Aware Routing Algorithm Based on HyperCube for ZigBee Network

This paper proposes a new a kind of energy routing algorithm based on hypercube for wireless sensor network. Each ZigBee node is assigned to one or more binary addresses. And addresses of adjacent nodes have the characteristics of hypercube. In such case, the hypercube routing algorithm for generalized hypercube is brought into the routing of wireless sensor network. The design idea of the proposed algorithm has been presented in this paper. And we have also used NS-2 for our simulation and proved the correctness benefits of the algorithm through analyzing the simulation results.
A Survey on MAC Protocols for Opportunistic Spectrum Access in Cognitive Radio Networks

Opportunistic spectrum access (OSA) allows unlicensed users to share licensed spectrum in space and time with no or little interference to primary users, which bring new research challenges in MAC design. In this paper, we firstly introduce the differences between the conventional multi-channel MAC protocols and the MAC protocols for OSA as well as the requirements for OSA MAC protocols, and then analyze and compare the several MAC protocols proposed so far in the literature. At last we give the characters of these protocols.
A habitable space for supporting creative collaboration

The complexity and the increasing scale of design projects require stakeholders from different disciplines to collaborate together. This paper addresses the challenge of bridging communication gaps raised during collaborative design activities, with a meta-design socio-technical approach — namely, design for participation and creative collaboration — leading to an evolutionary process. Based experience derived from a Software Shaping Workshop (SSW), we propose a novel hive mind space (HMS). This model introduces a boundary zone, serving as a communication channel allowing Communities of Practice (CoPs) to create and exchange knowledge. Thus, as opposed to being excluded from the design process, the CoPs can actively participate in the design activity and perform their tasks collaboratively and creatively. We describe the structure of the hive mind space and propose a possible way to implement it into a case study example — the Valchiavenna Museum.
Design on the Simulation Platform for Mobility Management in LEO Satellite Network Based on OPNET

Mobility management is one of the key technologies in low earth orbit(LEO) satellite network. In this paper, an OPNET based simulation platform of mobility management for LEO satellite network is proposed to take advantage of OPNET in the simulation of satellite network. The performance simulation of mobility management on the platform is actualized. The location update rates of different schemes and different handoff rates are gained. This simulation platform provides a foundation for improving the performance of mobility management for LEO satellite constellation system.
Research on Image Information Hiding Method Based on (T,N) Threshold

The image information hiding method based on (T, N) threshold hides a smaller image file or other special hidden digital files into the n images which are larger ones. It achieves the purpose of information hiding using the image information redundancy of human. We must get more than T carrier images at least which have loaded the information of the hidden image if we want to restore the information. The T is the threshold. The image information hiding method based on (T, N) threshold has a greater enhancement than traditional method in fault tolerance and safety. In this paper, the concept of pixel item which contains T bytes or T pixels has been proposed. Pixel item is used as the basic unit of information processing, and reduces the computational greatly.
Triple-band dielectric resonator bandpass filters

This paper presents a novel triple-band bandpass filter using dielectric loaded resonators that support three operating modes. The proposed design employs dielectric resonators shaped in a way to have independent control of the resonant frequencies of the three modes and to facilitate interresonator coupling. The proposed triple-band dielectric filter offers high Q and is miniature in size in comparison to previously reported multi-band filter designs. To demonstrate the proposed concept a 3rd order C-band triple-band dielectric filter is designed, manufactured, and measured. To the best of authors' knowledge, this is the first triple-band filter realized with dielectric resonators.
Characteristics Comparison Between HTS Air Core and Partial Core Transformers

This paper presents the characteristics comparison between an HTS air-core transformer (ACT) and an HTS partial-core transformer (PCT) by experiment and simulation. Two types of transformers were fabricated and tested in liquid nitrogen at 77 K. Fundamental characteristics were obtained by no-load, load, and short-circuit tests. The parameters of the equivalent circuits of the two transformers were also obtained. A field-circuit finite-element method was proposed to analyze the electrical characteristics. In addition, the experimental results were compared with the numerically calculated ones. The results show that the measured critical currents of the transformer with and without the iron core are nearly the same. The measured exciting current and percent voltage regulation of the PCT is smaller than that of the ACT. The PCT has a better short-circuit current limiting function. The numerical results show that the uneven degree of circulating current of ACT is larger than that of the PCT. The loss characteristic was also discussed in this paper.
Content-Aware Distortion-Fair Video Streaming in Networks

Internet is experiencing an explosive growth of video traffic. Given the limited network bandwidth resources, how to provide Internet users with good video playback quality is a key problem. For video clips competing bandwidth, we propose an approach of content-aware distortion-fair (CAF) video delivery scheme, which is assumed to be aware of the characteristics of video frames and ensures max-min distortion fair sharing among video flows. Different from bandwidth fair sharing, CAF targets video playback quality fairness for the reason that users care about video quality rather than bandwidth. The proposed CAF approach does not need an analytical rate-distortion function which is difficult to estimate, but instead, it uses the explicit distortion of every frame which is induced by frame drop. Our CAF approach is fast and practical with content-aware cooperation. Experimental results show that the proposed approach yields better quality of service when the network is congested compared with the approach not rate-distortion optimized, and it makes competing video clips help each other to get fair playback quality.
Concept Design of a Superconducting Impulse Transformer Using YBCO Tapes

Impulse transformers are widely used in high-frequency signal transportation, high voltage, and current impulse generation. Nowadays, with the increase of the design capacity, disadvantages of impulse transformers using normal electrical materials become more obvious. In order to solve this problem, superconducting tapes are investigated into the design and fabrication of impulse transformers. First, this paper presents the design and performance test of a normal air-core impulse transformer. The design process of this transformer is carried out by theoretical calculation and circuit-field coupled method. Then, performance tests of this transformer under both room temperature and liquid nitrogen temperature are carried out, to verify the validity of this design method, as well as explore the influence of the system parameters. Finally, on the basis of this, the concept design of a 5-kA superconducting impulse transformer is presented, and the performance of the superconducting transformer is obtained by the numerical methods.
Protocol analysis and simulation of inter-satellite communication for formation flying systems

IEEE 802.11 protocol is widely used in Wireless Local Area Networks (WLAN) for its high data transmission rates. The formation flying satellite system has a short inter-satellite distance, which is similar to WLAN. It may be a good choice to apply IEEE 802.11 protocol in inter-satellite communication to increase throughput. However inter-satellite distance is longer than what desired by WLAN, so IEEE 802.11 protocols should be modified to be used in formation flying satellite systems. In this paper, two methods of medium access control for IEEE 802.11b protocol are analyzed firstly, which are Distributed Coordination Function (DCF) and Point Coordination Function (PCF), and then the protocol is modified to be used in the formation flying satellite systems. Finally, we analyze the performance of the modified protocol through simulations.
Rate-distortion optimal video summarization: a dynamic programming solution

The need for video summarization originates primarily from a viewing time constraint. A shorter version of the original video sequence is desirable in a number of applications. Clearly, a shorter version is also necessary in applications where storage, communication bandwidth and/or power are limited. Our work is based on a temporal rate-distortion optimization formulation for optimal summary generation. New metrics for video summary distortion are introduced. Optimal algorithms based on dynamic programming are presented along with the results from heuristic algorithms that can produce near optimal results in real time.