Permanent magnet synchronous generator design solution for large directdrive wind turbines: Thermal behavior of the LC DD-PMSG

Wind is one of the most compelling forms of indirect solar energy. Available now, the conversion of wind power into electricity is and will continue to be an important element of energy self-sufficiency planning. This paper is one in a series intended to report on the development of a new type of generator for wind energy; a compact, high-power, direct-drive permanent magnet synchronous generator (DD-PMSG) that uses direct liquid cooling (LC) of the stator windings to manage Joule heating losses. The main param-eters of the subject LC DD-PMSG are 8 MW, 3.3 kV, and 11 Hz. The stator winding is cooled directly by deionized water, which flows through the continuous hollow conductor of each stator tooth-coil winding. The design of the machine is to a large degree subordinate to the use of these solid-copper tooth-coils. Both steady-state and timedependent temperature distributions for LC DD-PMSG were examined with calculations based on a lumpedparameter thermal model, which makes it possible to account for uneven heat loss distribution in the stator conductors and the conductor cooling system. Transient calculations reveal the copper winding temperature distribution for an example duty cycle during variable-speed wind turbine operation. The cooling performance of the liquid cooled tooth-coil design was predicted via finite element analysis. An instrumented cooling loop featuring a pair of LC tooth-coils embedded in a lamination stack was built and laboratory tested to verify the analytical model. Predicted and measured results were in agreement, confirming the predicted satisfactory operation of the LC DD-PMSG cooling technology approach as a whole.

Heat-transfer improvements in an axial-flux permanent-magnet synchronous machine

Axial-flux machines tend to have cooling difficulties since it is difficult to arrange continuous heat path between the stator stack and the frame. One important reason for this is that no shrink fitting of the stator is possible in an axial-flux machine. Using of liquid-cooled end shields does not alone solve this issue. Cooling of the rotor and the end windings may also be difficult at least in case of two-stator-single-rotor construction where air circulation in the rotor and in the end-winding areas may be difficult to arrange. If the rotor has significant losses air circulation via the rotor and behind the stator yokes should be arranged which, again, weakens the stator cooling. In this paper we study a novel way of using copper bars as extra heat transfer paths between the stator teeth and liquid cooling pools in the end shields. After this the end windings still suffer of low thermal conductivity and means for improving this by high-heat-conductance material was also studied. The design principle of each cooling system is presented in details. Thermal models based on Computational Fluid Dynamics (CFD) are used to analyse the temperature distribution in the machine. Measurement results are provided from different versions of the machine. The results show that significant improvements in the cooling can be gained by these steps.

Computing Generators of Free Modules over Orders in Group Algebras

Let E be a number field and G be a finite group. Let A be any O_E-order of full rank in the group algebra E[G] and X be a (left) A-lattice. We give a necessary and sufficient condition for X to be free of given rank d over A. In the case that the Wedderburn decomposition E[G] \cong \oplus_xM_x is explicitly computable and each M_x is in fact a matrix ring over a field, this leads to an algorithm that either gives elements \alpha_1,...,\alpha_d \in X such that X = A\alpha_1 \oplus ... \oplusA\alpha_d or determines that no such elements exist. Let L/K be a finite Galois extension of number fields with Galois group G such that E is a subfield of K and put d = [K : E]. The algorithm can be applied to certain Galois modules that arise naturally in this situation. For example, one can take X to be O_L, the ring of algebraic integers of L, and A to be the associated order A(E[G];O_L) \subseteq E[G]. The application of the algorithm to this special situation is implemented in Magma under certain extra hypotheses when K = E = \IQ.

Formal Multilevel Hierarchical Verification of Synchronous MOS Circuits

I have designed and implemented a system for the multilevel verification of synchronous MOS VLSI circuits. The system, called Silica Pithecus, accepts the schematic of an MOS circuit and a specification of the circuit's intended digital behavior. Silica Pithecus determines if the circuit meets its specification. If the circuit fails to meet its specification Silica Pithecus returns to the designer the reason for the failure. Unlike earlier verifiers which modelled primitives (e.g., transistors) as unidirectional digital devices, Silica Pithecus models primitives more realistically. Transistors are modelled as bidirectional devices of varying resistances, and nodes are modelled as capacitors. Silica Pithecus operates hierarchically, interactively, and incrementally. Major contributions of this research include a formal understanding of the relationship between different behavioral descriptions (e.g., signal, boolean, and arithmetic descriptions) of the same device, and a formalization of the relationship between the structure, behavior, and context of device. Given these formal structures my methods find sufficient conditions on the inputs of circuits which guarantee the correct operation of the circuit in the desired descriptive domain. These methods are algorithmic and complete. They also handle complex phenomena such as races and charge sharing. Informal notions such as races and hazards are shown to be derivable from the correctness conditions used by my methods.

Lower Bounds for Achieving Synchronous Early Stopping Consensus with Orderly Crash Failures

In this paper, we discuss the consensus problem for synchronous distributed systems with orderly crash failures. For a synchronous distributed system of n processes with up to t crash failures and f failures actually occur, first, we present a bivalency argument proof to solve the open problem of proving the lower bound, min (t + 1, f + 2) rounds, for early-stopping synchronous consensus with orderly crash failures, where t < n - 1. Then, we extend the system model with orderly crash failures to a new model in which a process is allowed to send multiple messages to the same destination process in a round and the failing processes still respect the order specified by the protocol in sending messages. For this new model, we present a uniform consensus protocol, in which all non-faulty processes always decide and stop immediately by the end of f + 1 rounds. We prove that the lower bound of early stopping protocols for both consensus and uniform consensus are f + 1 rounds under the new model, and our proposed protocol is optimal.

Learning generators : NLP and learning styles in english text books. 'Generadores de aprendizaje : PNL y estilos de aprendizaje en libros de texto de ingl??s'

Resumen basado en el de la publicaci??n

Evaluating the performance of external fault ridethrough solutions used in wind farms with fixed speed induction generators when facing unbalanced faults

Na sequência da integração da energia eólica em larga escala foram estabelecidos códigos de rede pelos vários operadores de sistema, exigindo que os parques eólicos permaneçam em serviço durante e após a ocorrência de defeitos na rede a montante. Nos parques eólicos equipados com sistemas de velocidade constante este requisito pode ser assegurado pela instalação, no ponto de interligação à rede, de equipamento de compensação dinâmica de potência reactiva, controlado como fonte de tensão, sendo as funções de controlo baseadas em medidas efectuadas no ponto de interligação relativamente às componentes directas da tensão e da corrente. Como a adopção deste tipo de soluções externas é adequada ao funcionamento do sistema em regime equilibrado, este artigo foca a avaliação do desempenho da solução no caso da ocorrência de defeitos assimétricos. Os resultados obtidos através das simulações dinâmicas evidenciam o aparecimento de sobre tensões nas fases não afectadas pelo defeito que poderão colocar o parque eólico fora de serviço.

The role of sketches in supporting near-synchronous remote communication in computer supported collaborative design

This paper presents recent research into the functions and value of sketch outputs during computer supported collaborative design. Sketches made primarily exploiting whiteboard technology are shown to support subjects engaged in remote collaborative design, particularly when constructed in ‘nearsynchronous’ communication. The authors define near-synchronous communication and speculate that it is compatible with the reflective and iterative nature of design activity. There appears to be significant similarities between the making of sketches in near-synchronous remote collaborative design and those made on paper in more traditional face-to-face settings With the current increase in the use of computer supported collaborative working (CSCW) in undergraduate and postgraduate design education it is proposed that sketches and sketching can make important contributions to design learning in this context

Instance generators and test suites for the multiobjective quadratic assignment problem

We describe, and make publicly available, two problem instance generators for a multiobjective version of the well-known quadratic assignment problem (QAP). The generators allow a number of instance parameters to be set, including those controlling epistasis and inter-objective correlations. Based on these generators, several initial test suites are provided and described. For each test instance we measure some global properties and, for the smallest ones, make some initial observations of the Pareto optimal sets/fronts. Our purpose in providing these tools is to facilitate the ongoing study of problem structure in multiobjective (combinatorial) optimization, and its effects on search landscape and algorithm performance.