New line-interactive UPS system with DSP-based active power-line conditioning

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.---- Copyright IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE

The symmetry of large N=4 holography

For the proposed duality relating a family of N=4 superconformal coset models to a certain supersymmetric higher spin theory on AdS_3, the asymptotic symmetry algebra of the bulk description is determined. It is shown that, depending on the choice of the boundary charges, one may obtain either the linear or the non-linear superconformal algebra on the boundary. We compare the non-linear version of the asymptotic symmetry algebra with the non-linear coset algebra and find non-trivial agreement in the 't Hooft limit, thus giving strong support for the proposed duality. As a by-product of our analysis we also show that the W_infinity symmetry of the coset theory is broken under the exactly marginal perturbation that preserves the N=4 superconformal algebra.Comment: 26 page

Soil analyses and evaluations at the impact dynamics research facility for two full-scale aircraft crash tests

The aircraft structural crash behavior and occupant survivability for aircraft crashes on a soil surface was studied. The results of placement, compaction, and maintenance of two soil test beds are presented. The crators formed by the aircraft after each test are described

Modelling and simulation on the tool wear in nanometric cutting

Tool wear is a significant factor affecting the machined surface quality. In this paper, a Molecular Dynamics (MD) simulation approach is proposed to model the wear of the diamond tool in nanometric cutting. It includes the effects of the cutting heat on the workpiece property. MD simulation is carried out to simulate the nanometric cutting of a single crystal silicon plate with the diamond tip of an Atomic Force Microscope (AFM). The wear mechanism is investigated by the calculation of the temperature, the stress in the diamond tip, and the analysis of the relationship between the temperature and sublimation energy of the diamond atoms and silicon atoms. Microstrength is used to characterize the wear resistance of the diamond tool. The machining trials on an AFM are performed to validate the results of the MD simulation. The results of MD simulation and AFM experiments all show that the thermo-chemical wear is the basic wear mechanism of the diamond cutting tool

Least Generalizations and Greatest Specializations of Sets of Clauses

The main operations in Inductive Logic Programming (ILP) are generalization and specialization, which only make sense in a generality order. In ILP, the three most important generality orders are subsumption, implication and implication relative to background knowledge. The two languages used most often are languages of clauses and languages of only Horn clauses. This gives a total of six different ordered languages. In this paper, we give a systematic treatment of the existence or non-existence of least generalizations and greatest specializations of finite sets of clauses in each of these six ordered sets. We survey results already obtained by others and also contribute some answers of our own. Our main new results are, firstly, the existence of a computable least generalization under implication of every finite set of clauses containing at least one non-tautologous function-free clause (among other, not necessarily function-free clauses). Secondly, we show that such a least generalization need not exist under relative implication, not even if both the set that is to be generalized and the background knowledge are function-free. Thirdly, we give a complete discussion of existence and non-existence of greatest specializations in each of the six ordered languages.Comment: See http://www.jair.org/ for any accompanying file