The air-gap of electrical machines may become non-uniform due to low accuracy of the manufacturing machinery, in assembling processes, or by aging. Detection and monitoring of this phenomenon is very important and of interest. There are several methods to model non-uniform air-gaps and to detect them by monitoring systems. One of the most widely used methods is by the analysis of the line curre...

1. Abstract In the real world, structural systems may show nonlinear dynamic behavior. Linear static response structural optimization has been developed quite well by using linear static response analysis. Finite element analysis regarding the nonlinearities or dynamic effects has also been developed very well. However, conventional optimization methods considering the nonlinearities or dynamic...

In recent papers [1-3], we have discussed matter symmetries of non-static spherically symmetric spacetimes, static plane symmetric spacetimes and cylindrically symmetric static spacetimes. These have been classified for both cases when the energy-momentum tensor is non-degenerate and also when it is degenerate. Here we add up some consequences and the missing references about the Ricci tensor. ...

We study non-deterministic oracles for training non-projective beam search parsers with swap transitions. We map out the spurious ambiguities of the transition system and present two non-deterministic oracles as well as a static oracle that minimizes the number of swaps. An evaluation on 10 treebanks reveals that the difference between static and non-deterministic oracles is generally insignifi...

In this paper, we present a SRAM-PCM hybrid cache design, along with a cache replacement policy, named dead fast block (DFB) to manage the hybrid cache. This design aims to leverage the best features of both SRAM and PCM devices. Compared to a PCM-only cache, the hybrid cache with DFB policy provides superior results on all relevant evaluation metrics, viz. cache lifetime, performance and energ...

An outburst of the X-ray transient source XTE J1806–246 (2S1803–245) was observed by the Rossi X-ray Timing Explorer from April-July 1998. Strong quasi-periodical oscillations (QPO) with a central peak frequency around 9 Hz was detected in one observation of the series performed by the PCA/RXTE experiment. The X-ray flux from the source during the observation with QPO was maximal. The energy sp...

A may-happen-in-parallel (MHP) analysis infers the sets of pairs of program points that may execute in parallel along a program’s execution. This is an essential piece of information to detect data races, and also to infer more complex properties of concurrent programs, e.g., deadlock freeness, termination and resource consumption analyses can greatly benefit from the MHP relations to increase ...

This paper introduces a static multi-level memory cell that was conceived to store state variables in neuromorphic onchip learning applications. It consists of a capacitance that holds a voltage and an array of ‘fusing’ amplifiers that are connected as followers. These followers drive their output towards the voltage level of the input like normal followers, but only if the difference between i...

Interpretation-based Verification of Non-functional Requirements Agostino Cortesi and Francesco Logozzo ? 1 Università Ca’ Foscari di Venezia, I-30170 Venezia (Italy) [email protected] 2 École Polytechnique, F-91128 Palaiseau cedex (France) [email protected] Abstract. The paper investigates a formal approach to the verification of non functional software requirements, e.g. p...