619,065 research outputs found
Quench characteristics of a Cu-Stabilized 2G HTS conductor
No full textThe prospect of medium/high field superconducting magnets using 2G HTS tapes is approaching to reality with continued enhancement in the performance of these conductors. Direct measurements of 1d adiabatic quench initiation and propagation of a Cu-stabilized 2G conductor have been carried out with spatial-temporal recording of temperature and voltage following the deposition of various local heat pulses to the conductor at different temperatures between 40K and 64K carrying different transport currents. It was found that the stabilizer-free 2G tape maintains the unique characteristics previously measured in non-stabilized tape of increasing MPZ with transport current and higher quench energy at lower temperatures. The minimum quench energy, minimum propagation zone (MPZ) length are determined as a function of temperature and transport current. The change in MPZ size is investigated with measured temperature dependent E-J characteristics. The results add more detail to help understand the unique characteristics of increasing MPZ with transport current and lower temperatures
Aerodynamic Instability of Cable-Stayed Bridges Considering the Initial Deformed Shape Due to Dead Loads
No full textEvolutionary computation in dynamic and uncertain environments
Full text linkThis book can be accessed from the link below - Copyright @ 2007 Springer-Verla
Intersystem soft handover for converged DVB-H and UMTS networks
Full text linkDigital video broadcasting for handhelds (DVB-H) is the standard for broadcasting Internet Protocol (IP) data services to mobile portable devices. To provide interactive services for DVB-H, the Universal Mobile Telecommunications System (UMTS) can be used as a terrestrial interaction channel for the unidirectional DVB-H network. The converged DVB-H and UMTS network can be used to address the congestion problems due to the limited multimedia channel accesses of the UMTS network. In the converged network, intersystem soft handover between DVB-H and UMTS is needed for an optimum radio resource allocation, which reduces network operation cost while providing the required quality of service. This paper deals with the intersystem soft handover between DVB-H and UMTS in such a converged network. The converged network structure is presented. A novel soft handover scheme is proposed and evaluated. After considering the network operation cost, the performance tradeoff between the network quality of service and the network operation cost for the intersystem soft handover in the converged network is modeled using a stochastic tree and analyzed using a numerical simulation. The results show that the proposed algorithm is feasible and has the potential to be used for implementation in the real environment
Geometric Nonlinear Analysis of Cable Structures with a Two-Node Cable Element by Generalized Displacement Control Method
No full textWind-Induced Aerostatic Instability of Cable-Supported Bridges by a Two-Stage Geometric Nonlinear Analysis
No full textAbstraction Refinement Guided by a Learnt Probabilistic Model
Full text linkThe core challenge in designing an effective static program analysis is to find a good program abstraction -- one that retains only details relevant to a given query. In this paper, we present a new approach for automatically finding such an abstraction. Our approach uses a pessimistic strategy, which can optionally use guidance from a probabilistic model. Our approach applies to parametric static analyses implemented in Datalog, and is based on counterexample-guided abstraction refinement. For each untried abstraction, our probabilistic model provides a probability of success, while the size of the abstraction provides an estimate of its cost in terms of analysis time. Combining these two metrics, probability and cost, our refinement algorithm picks an optimal abstraction. Our probabilistic model is a variant of the Erdos-Renyi random graph model, and it is tunable by what we call hyperparameters. We present a method to learn good values for these hyperparameters, by observing past runs of the analysis on an existing codebase. We evaluate our approach on an object sensitive pointer analysis for Java programs, with two client analyses (PolySite and Downcast)
Vertical Accelerations of Simple Beams due to Successive Loads Traveling at Resonant Speeds
No full text- …
