Novel level-identifying circuit for flash multilevel memories

This paper presents a high-speed, small-area circuit specifically designed to identify the levels in the read out operation of a flash multilevel memory. The circuit is based on the analog computation of the Euclidean distance between the current read out from a memory cell and the reference currents that represent the different logic levels. An experimental version of the circuit has been integrated in a standard double-metal 0.7-μm CMOS process with a die area of only 140×100 μm². Operating under a 5-V power supply, this circuit identifies the read-out current of a memory cell, and associates it with the appropriate logic level in 9 ns     

Compensable power for electrical systems in nonsinusoidalconditions

Power definitions are extended to electrical circuits where both loads and supply are harmonic generators and where a series source impedance is considered to provide a realistic representation of electrical power systems. A method is proposed whereby distortion is compensated and power-factor corrected by means of reactance one-ports inserted in series and parallel into the electrical circuit. The approach is applied to single-phase circuits     

Robust output feedback learning control for induction motor servo drives

This paper addresses the output feedback tracking control problem for induction motor servo drives with mechanical uncertainties: rotor angle, rotor speed and stator currents are assumed to be available for feedback. A robust adaptive learning control is designed under the assumption that the reference profile for the rotor angle is periodic with known period: it ‘learns’ the periodic disturbance signal by identifying the Fourier coefficients of any truncated approximation; ??₂ and ??_∞ transient performances are guaranteed in the ‘learning phase’. It is shown that, for any motor initial condition belonging to an arbitrary given compact set, by properly setting the control parameters: (i) the rotor position and flux modulus tracking errors exponentially converge to residual sets, which may be arbitrarily reduced by increasing the number of terms in the truncated Fourier series; (ii) when the unknown periodic disturbance can be represented by a finite Fourier series, the rotor position and flux modulus tracking errors exponentially converge to zero. As in field oriented‐control, the control algorithm generates references for the magnetizing flux component and for the torque component of the stator current leading to significant simplifications for current‐fed motors. Copyright © 2008 John Wiley & Sons, Ltd.     

Modelling Calculi with Name Mobility using Graphs with Equivalences

In the theory of graph rewriting, the use of coalescing rules, i.e., of rules which besides deleting and generating graph items, can coalesce some parts of the graph, turns out to be quite useful for modelling purposes, but, at the same time, problematic for the development of a satisfactory partial order concurrent semantics for rewrites. Rewriting over graphs with equivalences, i.e., (typed hyper)-graphs equipped with an equivalence over nodes provides a technically convenient replacement of graph rewriting with coalescing rules, for which a truly concurrent semantics can be easily defined. The expressivity of such a formalism is tested in a setting where coalescing rules typically play a basic role: the encoding of calculi with name passing as graph rewriting systems. Specifically, we show how the (monadic fragment) of the solo calculus, one of the dialect of those calculi whose distinctive feature is name fusion, can be encoded as a rewriting system over graph with equivalences.     

The updating technique for the solution of a sequence of linear equations

In this paper we will present and analyze an algorithm for solving a sequence of linear equations of the form \(\left( {A + \lambda _i B} \right)x = b,i = 1,2,...,r,\) wherex, b∈R ⁿ , andA, B aren x n real dense and large matrices. Two matrix factorizations are suggested that will allow efficient updating by changing λ _i . They are recommended ifB is singular or ill-conditioned. The implementation cost is evaluated and numerical results are included to present the performance of the two factorizations and in the solution of the above sequence of equations.     

Effect of supply voltage frequency on testing of insulation system

This paper deals with the effect of supply frequency on partial discharge phenomena. Results of measurements performed on artificial and practical test objects are compared with computer simulations based on physical models. This comparative analysis points out and explains the differences in partial discharge phenomena observed in tests performed at different frequencies (from 0.1 to 300 Hz). The consequences associated to the use of different supply frequencies in practical applications are, eventually, outlined.     

Electrical, microstructural, physical and chemical characterization of HV XLPE cable peelings for an electrical aging diagnostic data base

The aim of the European project "ARTEMIS" is to develop a diagnostic system for assessing aging in power cable insulation. Its first task was to make a thorough characterisation of the cable insulation before aging. This is intended to provide a background against which any changes introduced by thermo-electric aging can be identified. The aging markers derived from this initial characterisation will be considered both as diagnostic indicators in their own right, and also to develop an aging model for predictive purposes, if and when possible. This stage of the ARTEMIS programme is now complete and we will present an analysis of the results, and show how they may be correlated with the concepts proposed in aging theories.