nils-herrmann/clean_scirepeval huggingface dataset:
Cooper: Expedite Batch Data Dissemination in Computer Clusters with Coded Gossips

Data transfers happen frequently in server clusters for software and application deployment, and in parallel computing clusters to transmit intermediate results in batches among servers between computation stages. This paper presents Cooper, an optimized prototype system to speedup multi-batch data transfers among a cluster of servers, leveraging a theoretically proven optimal algorithm called “coded permutation gossip,” which employs a simple random topology control scheme to best utilize bandwidth and decentralized random linear network coding to maximize the useful information transmitted. On a process-level coding-transfer pipeline, we investigate the best block division, batch division and inter-batch scheduling strategies to minimize the broadcast finish time in a realistic setting. For batch-based transfers, we propose a scheduling algorithm with low overhead that overlaps the transfers of consecutive batches and temporarily prioritizes later batches, to further reduce the broadcast finish time. We describe an asynchronous and distributed implementation of Cooper and have deployed it on Amazon EC2 for evaluation. Based on results from real experiments, we show that Cooper can almost double the speed of data transfers in computing clusters, as compared to state-of-the-art content distribution tools like BitTorrent, at a low CPU overhead.
A Blockchain Based Truthful Incentive Mechanism for Distributed P2P Applications

In distributed peer-to-peer (P2P) applications, peers self-organize and cooperate to effectively complete certain tasks such as forwarding files, delivering messages, or uploading data. Nevertheless, users are selfish in nature and they may refuse to cooperate due to their concerns on energy and bandwidth consumption. Thus each user should receive a satisfying reward to compensate its resource consumption for cooperation. However, suitable incentive mechanisms that can meet the diverse requirements of users in dynamic and distributed P2P environments are still missing. On the other hand, we observe that Blockchain is a decentralized secure digital ledger of economic transactions that can be programmed to record not just financial transactions and Blockchain-based cryptocurrencies get more and more market capitalization. Therefore in this paper, we propose a Blockchain based truthful incentive mechanism for distributed P2P applications that applies a cryptocurrency such as Bitcoin to incentivize users for cooperation. In this mechanism, users who help with a successful delivery get rewarded. As users and miners in the Blockchain P2P system may exhibit selfish actions or collude with each other, we propose a secure validation method and a pricing strategy, and integrate them into our incentive mechanism. Through a game theoretical analysis and evaluation study, we demonstrate the effectiveness and security strength of our proposed incentive mechanism.
A common capacitor multi-phase LLC resonant converter

In this paper, a new common capacitor current sharing method is proposed for multi-phase LLC resonant converter. Automatic current sharing is achieved by using a common resonant capacitor for all the LLC resonant stages, by connecting the resonant capacitors in each phase in parallel. The proposed method can automatically share the load current without any additional circuits and control strategy. The current sharing performance of the proposed common capacitor current sharing method is analyzed under Fundamental Harmonic Analysis (FHA) assumption. A 600W two-phase LLC converter prototype based on the proposed method is built to verify the feasibility. Excellent current sharing performance (6.5% current sharing error at a wide load range) has been achieved.
A high-level semantics extraction model for stored videos

Digital video databases have become more pervasive, and finding video clips in video databases is quickly becoming a major bottleneck. Indexing and annotation can help video systems retrieve appropriate video clips fast. Currently, these techniques are based on computation on image low-level features and manual annotation, whose low success ratio and retrieval speed limit the applications of video databases. In this paper, we consider the semantic interpretation of the the contents as a form of annotation for video clips. We give a self-adaptive high-level description model for application-oriented semantics extraction, which annotates and retrieves video clips flexibly and automatically.
A modified equivalent circuit based electro-thermal model for integrated POL power modules

This paper presents an improved thermal equivalent circuit model which provides an accurate thermal and loss estimation for integrated power modules. Thermal analysis is a critical issue for power electronic systems, it estimates the thermal performance of power devices and enables a flexible converter design. Unlike the conventional thermal models, the modified analytical thermal model takes the temperature dependency of loss into account and achieves a more realistic electro-thermal prediction. The thermal and loss analysis is the interaction of temperature and loss thus its accuracy is significantly improved. Finite element analysis (FEA) and experiment were performed to validate the modified thermal equivalent circuit model and the estimation shows a good agreement with the verifications.
A New Evaluation Method Based on Variable Range of Triangular Fuzzy Number

There is a certain extent of the fuzzy measure with the value of samples and standards in evaluation. Based on the theories of the triangular fuzzy number (TFN) and the variable range fuzzy set, the model for fuzzy approaching degree of triangular fuzzy numbers is established. Then a new evaluation method based on variable range of triangular fuzzy number is proposed in this paper. After analysis of examples, it is shown that this method can further enhance the credibility of the evaluation.
A high efficiency current source driver with negative gate voltage for buck voltage regulators

In this paper a novel current source driver (CSD) for power MOSFETs is proposed. The proposed CSD alleviates the gate current diversion problem of the CSDs in previous work by clamping the gate voltage to a negative value. Therefore, the proposed driver is able to turn off the MOSFET much faster with a higher effective gate current. The idea presented in this paper can also be extended to other CSDs to improve the efficiency further at high output currents. The experimental results verify the benefits of the proposed CSD. For buck converter with 12V input at 1MHz, the proposed driver improves the efficiency from 80.5% using the previous CSD to 82.5% (an improvement of 2%) at 1.2V/30A, and at 1.3V/30A output, from 82.5% to 83.9% (an improvement of 1.4%).
A novel digital capacitor charge balance control algorithm with a practical extreme voltage detector

Dc-dc Buck converter has a major application for powering integrated circuit under stringent regulation, nowadays. In this paper, a practical digital control algorithm is presented to achieve the optimal response for dc-dc Buck converters without relying on the knowledge of the passive component value (inductance and capacitance). This algorithm introduces the curve fitting analysis for deriving the formulas to optimize the response under different transients from input voltage and load current. An opportunity is also provided for adaptive voltage positioning (AVP) technique under load transients without significant modifications on the original algorithm. Furthermore, an operational amplifier (OPAMP) based peak/valley voltage detector is introduced in place of using a fast or asynchronous ADC, upon which an improved performance and design simplicity can be expected on the entire digital control system. The estimation error of the proposed scheme is simulated and illustrated to provide a design guideline. Finally, simulation and experimental results are provided to validate the proposed schemes.
Co-existed unipolar and bipolar resistive switching effect of HfOx-based RRAM

Both unipolar and bipolar resistive switching behaviors are demonstrated and investigated in the TaTiN/HfOx/Pt structured RRAM devices. A physical model based on the recombination among the electron-depleted oxygen vacancies (VO2+) and the oxygen ions (O2-) released from the TaTiN electrode is proposed to clarify the co-existed bipolar and unipolar resistive switching effect. In the proposed physical model, Joule heating controlled O2- decomposition and electric-field controlled O2- drift dominate the unipolar and bipolar resistive switching behaviors, respectively.
Constraint-Based NURBS Surfaces Manipulation

This paper presents a method for applying systems of constraints at a series of points on a NURBS surface and describes an efficient technique for the interactive application. By applying systems of constraints and minimizing the changes of control net in least-square sense, geometric features (such as position, partial derivative and normal vector) at a series of selected points on a NURBS surface are modified. We also discuss shape manipulation in three special cases and the numerical examples show that this method can realize miscellaneous modification effects.
A dynamic load scheduling algorithm for Web servers

As used increasingly the embedded objects and the database searching tasks in Web pages, there is larger difference among the loads of different server in a cluster system, it becomes more difficult for a heterogeneous Web server cluster to achieve high performance. In this paper, we present a dynamic algorithm on load scheduling, namely multiplicative decrease in critical area. For each of the servers in the cluster, the algorithm can more accurately evaluate the current load state by using the equivalent load-alternant and can more efficiently restrain the occurring of the reject service phenomenon by using a special MDC operator. Besides, we apply a method of random distributing base-probability to assign each request to an appropriate server in terms of their weight. All the parameters that will be used in our algorithm could be acquired by test. We also provide improved approximation results of our algorithm for the case where documents are consisted of relatively many embedded objects or database searches and lots of requests are arrived at the dispatcher synchronously.
Design of GeSn-Based Heterojunction-Enhanced N-Channel Tunneling FET With Improved Subthreshold Swing and ON-State Current

We design a heterojunction-enhanced n-channel tunneling FET (HE-NTFET) employing a Ge<sub>1-x</sub>Sn<sub>x</sub>/Ge<sub>1-y</sub>Sn<sub>y</sub> (x > y) heterojunction located in the channel region with a distance of L<sub>T-H</sub> from the source-channel tunneling junction. We investigate the impact of L<sub>T-H</sub> on the performance of HE-NTFETs by simulation. HE-NTFETs achieve a positive shift of VONSET, a steeper subthreshold swing (SS), and an enhanced ION compared with homo-NTFETs, which is attributed to the modulating effect of heterojunction on band-to-band tunneling (BTBT). At a supply voltage of 0.3 V, 304% ION enhancement is demonstrated in the Ge<sub>0.92</sub>Sn<sub>0.08</sub>/Ge<sub>0.94</sub>Sn<sub>0.06</sub> HE-NTFET with a 4 nm L<sub>T-H</sub> over Ge0.92Sn0.08 homo-NTFET due to the steeper average SS. The impact of Sn composition on the performance of HE-NTFETs is also studied. As we increase the difference in Sn composition x - y across the heterojunction, ION and SS of HE-NTFETs are improved due to the increase in band offsets at the Ge<sub>1-x</sub>Sn<sub>x</sub>/Ge<sub>1-y</sub>Sn<sub>y</sub> interface, which leads to the enhanced modulating effect of heterojunction on BTBT.
A New Fuzzy MADM Algorithm Based on Subjective and Objective Integrated Weights

A new subjective and objective integrated approach is put forward that may be used to determine attribute weights in fuzzy multiple attribute decision making (FMADM) problems in this paper. This approach of determining weights retains the merits of both subjective and objective approaches. It can determine integrated weights of attribute by solving fuzzy entropy mathematical models automatically, and at the same time this approach take into consideration the decision maker's subjective preferences by using fuzzy AHP method. Finally, an example is used to illustrate the proposed approach.
A Logic-Based Approach to Web Services Composition and Verification

Services composition is a challenging research issue which comprises services composition and verification. Existing solutions focus on either composition or verification. In this paper, we propose such a complete solution using Temporal Logic of Actions (TLA). Firstly we model web services as automata, and use TLA to describe it; then generate composition proposals in a generic conceptual service set and verify it with TLC (a model checker of TLA). Given services composition proposals, we use signature and specification matching to select the proper services from service communities. The approach uses the idea of divide&conquer, which separates selecting services from the procedure of services composition. The experimental results demonstrate our approach is more effective than existing methods.
Coff: Contact-Duration-Aware Cellular Traffic Offloading Over Delay Tolerant Networks

In recent years, the capacity of cellular networks has hardly kept pace with the dramatic explosion of cellular traffic from emerging mobile applications. To address this issue, a number of studies have been proposed to offload the cellular traffic using delay-tolerant networks (DTNs) opportunistically formed by mobile devices. These off-loading schemes rely on the assumption of small-size content, which can be entirely transmitted over a single DTN contact. However, such an assumption, which was probably valid in the past, can no longer hold with the increasing popularity of large-size multimedia contents in the future. In this paper, we propose a novel contact-duration-aware offloading scheme called Coff, which consists of several designs that are specially tailored for DTNs. First, we use content fragmentation to utilize short contacts. Second, we adopt network coding to achieve a near-optimum dissemination. Finally, we design a greedy load allocation (GLA) algorithm to achieve no less than (1 - 1/e) of the optimum. Extensive simulations on both synthetic and real-world traces show that Coff is more efficient than the baselines, which extend from state-of-art DTN-based offloading schemes with content fragmentation and network coding.
A Service-Oriented CRM For SMEs Based on the Enterprise Level Customer

a traditional CRM stores all information about its customers in a database and uses this data to coordinate sales, marketing, and customer service. Obviously, this exclusive data is not enough and has less credibility for today's business transactions. As the internet grows very fast, we can obtain more information from the internet. In this paper, we propose a novel scheme that enables the exclusive data of the small and medium enterprises (SMEs) and the internet data to be seamlessly integrated in our CRM. We formulate three dimensions for our customer which will be described in details. It is worth mentioning that the customer here is on enterprise level, which means that one customer stands for one company. Using this scheme and SaaS model, we make the prototype of the new CRM, and we take 1,000 customers which are the real data to this experiment. The results show that the novel CRM provides us much important information from the internet and it reduces much time for the investigation of the customer. In this paper, we propose a novel scheme that enables the exclusive data of SMEs and three dimensions data from the internet to be seamlessly integrated in our new CRM. And our new CRM based on SaaS model can provide the information of three dimensions which is critical to the owner. Besides, it reduces much time for the owner to obtain information from internet.
A novel bipolar series Ripple compensation method for single-stage high-power LED driver

It has been well documented that series compensation (SC) configuration can significantly reduce the total output capacitance of LED driver without sacrificing the power factor (PF), thus enabling the use of long-life film capacitors. Most importantly, SC provides the advantages over the parallel compensation (PC) methods in that it reduces the voltage stresses of the auxiliary stage components and thus can provide a higher efficiency, which is especially desirable for highpower LED drivers. However, with conventional series compensation, the auxiliary stage requires an auxiliary winding from the main stage. This increases the cost as well as the complexity of the circuit design. In this paper, a novel Full- Bridge Ripple Compensation Converter (FB RCC) using floating capacitor is proposed. By innovatively controlling the power flow of this auxiliary circuit, the auxiliary winding can be eliminated, thus making the input side of the auxiliary circuit floating and rendering a more cost effective and more flexible solution for both isolated and non-isolated LED driver applications. The new ripple compensation method retains the outstanding ripplecancellation ability and high efficiency of the original SC method, and has been demonstrated in a 100W, 150V-0.7A experimental prototype.
Analysis of thermal stresses caused by hydration heat and temperature of the mass beam

The building of the SPF animal research centre in Taichang, Jiangshu is reinforced concrete frame structure. The longest beam of the building is 83 meters and the sizes of the beam sections are very large. The beams we called are mass beams. When we design the building construction, we need to think about the influence of the temperature because of the mass concrete. In this paper, using the finite element method, Analyses the heat distributions of the mass beam made by hydration heat and temperature, calculates the thermal stress caused by the heat. To find the influence of the sizes of the beam section, we design four beam subassemblies with different sections, analyze and compare the differences of their heat distributions in each beam and the thermal stress in the same place. This paper aimed to find the distributions of the cracks in the mass concrete beams and to provide the theory evidences on reinforced concrete design.
A Resonant Gate Drive Circuit with Reduced MOSFET Switching and Gate Losses

In this paper, a new resonant gate drive circuit is proposed for power MOSFETs. The proposed circuit achieves quick turn on and turn off transition times to reduce switching loss and conduction loss in power MOSFETS. In addition, it can recover a portion of the CV2 gate energy normally dissipated in a conventional driver. The circuit consists of four control switches and a small resonant inductance. The current through the resonant inductance is discontinuous in order to minimize circulating current conduction loss. Experimental results are presented for the proposed driver operating in a boost converter at 1 MHz. At 5 V gate drive, 4% efficiency improvement is achieved. At 12 V gate drive, 6.5% efficiency improvement is achieved
A Method for Mobile Path Prediction Based on Data Mining

The paper points out problems in some existing themes,and puts forward a new method for predicting the mobile path based on pattern mining and matching, called PMM.The paper compares the performance of the PMM with Order-k Markov predictors using a trace of the mobility patterns of 1,200 users on real Wi-Fi wireless network.And the result shows that this method can achieve a relatively perfect predicting effect, performs better than Order-2 Markov predictor which has almost the best performance. Also an incremental mining is implemented based on this method and better performance is achieved.
A Passive-Impedance-Matching Technology to Achieve Automatic Current Sharing for a Multiphase Resonant Converter

A passive-impedance-matching (PIM) technology is proposed to achieve automatic current sharing for multiphase resonant converters through matching the input impedance of each phase. The series inductors (or series capacitors) of each phase are connected in parallel to achieve a couple of virtual resistors including positive and negative resistors and variably series inductors (or capacitors). A virtual positive (or negative) resistor increases (or decreases) the input impedance of the respective phase, and the variably series inductors can also compensate the component tolerance such that the impedance of each phase is matched. The current-sharing performance of the common-inductor two-phase LLC resonant converter (as one example) is evaluated under the first-harmonic-approximation assumption. The virtual positive and negative resistors and variably virtual inductors are calculated. The proposed method can share the primary resonant current and the load current for all phases without any additional circuit and control strategy. The PIM technology is extended to other resonant converter topologies, including common-inductor or common-capacitor series-resonant converter, LCC, CLL resonant converter, etc. A 600-W 12-V common-inductor two-phase LLC resonant converter prototype is built to verify the feasibility and demonstrate advantages of PIM technology.
An Efficient and Effective Localization Method for Networked Disjoint Top-View Cameras

Disjoint top-view networked cameras are among the most commonly utilized networks in many applications. One of the open questions for these cameras' study is the computation of extrinsic parameters (positions and orientations), named extrinsic calibration or localization of cameras. Current approaches either rely on strict assumptions of the object motion for accurate results or fail to provide results of high accuracy without the requirement of the object motion. To address these shortcomings, we present a location-constrained maximum a posteriori (LMAP) approach by applying known locations in the surveillance area, some of which would be passed by the object opportunistically. The LMAP approach formulates the problem as a joint inference of the extrinsic parameters and object trajectory based on the cameras' observations and the known locations. In addition, a new task-oriented evaluation metric, named MABR (the Maximum value of All image points' Back-projected localization errors' L2 norms Relative to the area of field of view), is presented to assess the quality of the calibration results in an indoor object tracking context. Finally, results herein demonstrate the superior performance of the proposed method over the state-of-the-art algorithm based on the presented MABR and classical evaluation metric in simulations and real experiments.
AC-DC quasi-single-stage converters

Ac-dc power conversion can either be done with two separate converter stages or with a single converter stage. Two-stage ac-dc converters, however, can be costly and complex and the performance of single-stage converters is compromised due to a reduced number of components. Several researchers have therefore proposed adding some sort of auxiliary circuit consisting of a second switch and some passive elements to single-stage converters to improve their performance. Although these quasi-single-stage (QSS) converters may have two converters, they are not two-stage converters as they do not have two separate and independently controlled converters that are always operating to convert power from one form to another. In the paper, the operation of ac-dc single-stage converters is first reviewed and their characteristics are noted. The operation of several QSS converters, including one proposed by the authors, is then discussed, and the paper concludes by presenting experimental results that confirm the feasibility of the proposed converter.