Recently, lattice theory has been widely used for integer ambiguity resolution in the Global Navigation Satellite System (GNSS). When using to deal with ambiguity, we need reduce correlation between bases ensure efficiency of solution. Lattice reduction is divided into scale and basis vector exchange. The no direct impact on subsequent search efficiency, while exchange directly impacts efficien...

In this paper, a novel algorithm with rotating coordinate system is proposed to improve the total harmonic distortion (THD) of PWM rectifiers. Aiming at solving disadvantages poor dynamic response, unstable switching frequency, and large calculation burden in some current control methods, method employs active reactive separately while modifying error. The verified through single-phase rectifie...

High peak-to-average power ratio (PAPR) of the transmit signal is a major drawback of multicarrier (MC) transmission such as orthogonal frequency division multiplexing (OFDM) system. This paper presents a novel Reed-Solomon (RS) codes based MC transmission scheme for reduction of PAPR called RS Turbo coded OFDM system. The reduction of PAPR of OFDM signal is obtained through a proper selection ...

The high order of a two-input-two-output activated sludge system is reduced using Gawronski and Juang’s frequency limited reduction technique. The manipulated variables are the concentration of nitrate and dissolved oxygen (DO). A reduced fourth order system is obtained within the frequency band of 0.7 rad/s to 1.0 rad/s. The reduced system is compared with a fourth order activated sludge proce...

We present a semantical proof of existence of normal forms for system F including -equality. A reduction-free normalisation function can be obtained from this. The proof uses the method of glueing (a variant of) the term model along the global sections functor, carried out in the internal language of a category of presheaves. As a by-product we obtain an semantical explanation of higherorder ab...

Reinhard Rauscher University of Hamburg Department of Computer Science [email protected] Manfred Koegst Fraunhofer-Institut f ur Integrierte Schaltungen EAS Dresden [email protected] Abstract The design ow in the development of microcontrolled devices deals with a large number of design decisions which subsequently in uence the realization costs. Some of these decisions ar...