Now showing items 1-5 of 5
Robust speed control for a variable speed wind turbine
(ICIC International, 2012-11)
Modern wind turbines are designed in order to work in variable speed opera-tions. To perform this task, these turbines are provided with adjustable speed generators, like the double feed induction generator (DFIG). One of ...
Virtual Reconstruction of the Ancient State of a Ruined Church
(Springer Berlin Heidelberg, 2012-11)
[EN] Three dimensional virtual models can represent both the existing and the already destroyed architectural heritage. This project deals with the 3D reconstruction and representation of the church of San Prudencio's ...
Beyond Q-Resolution and Prenex Form: a Proof System for Quantified Constraint Satisfaction
(Technische Universität Braunschweig, Institute of Theoretical Computer Science, 2014)
We consider the quanti fied constraint satisfaction problem (QCSP) which is to decide, given a structure and a first-order sentence (not assumed here to be in prenex form) built from conjunction and quanti fication, whether ...
An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction
(Logical Methods in Computer Science c/o Institut f. Theoretische Informatik, Technische Universität Braunschweig, 2013-03-29)
We prove an algebraic preservation theorem for positive Horn definability in aleph-zero categorical structures. In particular, we define and study a construction which we call the periodic power of a structure, and define ...
Sliding mode position control for real-time control of induction motors
(ICIC International, 2013-07)
A sliding mode position control for high-performance real-time applications of induction motors in developed in this work. The design also incorporates a simple flux estimator in order to avoid the flux sensors. Then, the ...