Formal Power Analysis of Systems-on-Chip

The design methods and languages targeted to modern System-on-Chip designs are facing tremendous pressure of the ever-increasing complexity, power, and speed requirements. To estimate any of these three metrics, there is a trade-off between accuracy and abstraction level of detail in which a system under design is analyzed. The more detailed the description, the more accurate the simulation will be, but, on the other hand, the more time consuming it will be. Moreover, a designer wants to make decisions as early as possible in the design flow to avoid costly design backtracking. To answer the challenges posed upon System-on-chip designs, this thesis introduces a formal, power aware framework, its development methods, and methods to constraint and analyze power consumption of the system under design. This thesis discusses on power analysis of synchronous and asynchronous systems not forgetting the communication aspects of these systems. The presented framework is built upon the Timed Action System formalism, which offer an environment to analyze and constraint the functional and temporal behavior of the system at high abstraction level. Furthermore, due to the complexity of System-on-Chip designs, the possibility to abstract unnecessary implementation details at higher abstraction levels is an essential part of the introduced design framework. With the encapsulation and abstraction techniques incorporated with the procedure based communication allows a designer to use the presented power aware framework in modeling these large scale systems. The introduced techniques also enable one to subdivide the development of communication and computation into own tasks. This property is taken into account in the power analysis part as well. Furthermore, the presented framework is developed in a way that it can be used throughout the design project. In other words, a designer is able to model and analyze systems from an abstract specification down to an implementable specification.

Concentrated Winding Multiphase Permanent Magnet Machine Design and Electromagnetic Properties – Case Axial Flux Machine

Concentrated winding permanent magnet machines and their electromagnetic properties are studied in this doctoral thesis. The thesis includes a number of main tasks related to the application of permanent magnets in concentrated winding open slot machines. Suitable analytical methods are required for the first design calculations of a new machine. Concentrated winding machines differ from conventional integral slot winding machines in such a way that adapted analytical calculation methods are needed. A simple analytical model for calculating the concentrated winding axial flux machines is provided. The next three main design tasks are discussed in more detail in the thesis. The magnetic length of the rotor surface magnet machines is studied, and it is shown that the traditional methods have to be modified also in this respect. An important topic in this study has been to evaluate and minimize the rotor permanent magnet Joule losses by using segmented magnets in the calculations and experiments. Determination of the magnetizing and leakage inductances for a concentrated winding machine and the torque production capability of concentrated winding machines with different pole pair numbers are studied, and the results are compared with the corresponding properties of integral slot winding machines. The thesis introduces a new practical permanent magnet motor type for industrial use. The special features of the machine are based on the option of using concentrated winding open slot constructions of permanent magnet synchronous machines in the normal speed ranges of industrial motors, for instance up to 3000 min-1, without excessive rotor losses. By applying the analytical equations and methods introduced in the thesis, a 37 kW 2400 min-1 12-slot 10-pole axial flux machine with rotor-surfacemounted magnets is designed. The performance of the designed motor is determined by experimental measurements and finite element calculations.

Engineering of Business Critical Web Applications

Research focus of this thesis is to explore options for building systems for business critical web applications. Business criticality here includes requirements for data protection and system availability. The focus is on open source software. Goals are to identify robust technologies and engineering practices to implement such systems. Research methods include experiments made with sample systems built around chosen software packages that represent certain technologies. The main research focused on finding a good method for database data replication, a key functionality for high-availability, database-driven web applications. Research included also finding engineering best practices from books written by administrators of high traffic web applications. Experiment with database replication showed, that block level synchronous replication offered by DRBD replication software offered considerably more robust data protection and high-availability functionality compared to leading open source database product MySQL, and its built-in asynchronous replication. For master-master database setups, block level replication is more recommended way to build high-availability into the system. Based on thesis research, building high-availability web applications is possible using a combination of open source software and engineering best practices for data protection, availability planning and scaling.

Hybrid du/dt-filter in frequency converter applications

The aim of the thesis is to investigate the hybrid LC filter behavior in modern power drives; to analyze the influence of such a du/dt filter on the control system stability. With the implementation of the inverter output RLC filter the motor control becomes more complicated. And during the design process the influence of the filter on the motor should be considered and the filter RLC parameters should be constrained.

Electric propulsion system in a modern sports car

In this thesis an electric propulsion system is designed on a device level using Cadence ORCAD. The vehicle belongs to the Helsinki Metropolia University of Applied Sci-ences and it is to compete in the Automotive X-Prize competition held in the USA. In this thesis the electric propulsion system and related electric safety measures are designed. Also electro-magnetic compatibility and interferences present in the system are examined by examining the birth mechanisms and transmission paths of interference. Per device effects of interference and solutions to minimize them were examined and proposed. Suitability of permanent magnet synchronous machines for passenger vehicle use was examined by examining the torque production capability of the motor and the torque requirements of the vehicle. Also a short overview of history of electric vehicles is given.

Kestomagneettitahtikoneen emulointi digitaalisella signaaliprosessorilla

Sähkökäytön suunnittelussa säätöä voidaan testata useassa tapauksessa reaaliaikasimulaattorilla todellisen laitteiston sijaan. Monet reaaliaikasimulaatioiden perustana käytetyt algoritmit soveltuvat täysinohjatulle invertterisillalle. Eräissä sovelluksissa halutaan kuitenkin käyttää puoliksiohjattua siltaa. Puoliksiohjattulla sillalla mallin kausaalisuus voi kääntyä, mitä perinteiset reaaliaikasimulaattorit eivät pysty simuloimaan Tässä työssä oli tavoitteena kehittää reaaliaikasimulaattori puoliksiohjatulle kestomagneettitahtikonekäytölle. Emulaattoriin mallinnettiin todellisen käytön kestomagneettitahtikone ja invertterisilta. Simulaattori toteutettiin digitaaliselle signaaliprosessorille (DSP) ja mittauksiin liittyvät oheislaitteet mallinnettiin FPGA-piirille. Emulaattoriin liitettiin erillinen säätäjä, jota käytettiin myös todellisen sähkökäytön säätämiseen. Emulaattorilla ja todellisella käytöllä tehtyjä mittauksia verrattiin ja emuloimalla saadut tulokset vastasivat melko hyvin todellisesta käytöstä mitattuja.

SMB-laitteiston suunnittelu hydrometallurgisiin sovelluksiin

Työn tarkoituksena oli suunnitella, ohjelmoida ja koekäyttää SMB-laitteisto (Simulated Moving Bed) hydrometallurgisiin erotuksiin. Simuloitu liikkuvapeti saadaan aikaan vaihtamalla sisään- ja ulostuloporttien paikkaa nestevirran suuntaan. Tällöin aikaansaadaan kiintoaineen vastavirtaus minkä johdosta erotustehokkuus kasvaa. Komponenttien retentiotaipumuseroista johtuen komponentit liikkuvat eri nopeuksilla kolonnijärjestelmässä. Enemmän pidättäytyvät komponentit liikkuvat nestevirtaa vastaan ja vähemmän pidättäytyvät komponentit nestevirran mukana. Hydrometallurgiassa vastavirtauksen käyttöä ei ole tieteellisissä julkaisuissa käsitelty laajalti ja saatavilla oleva informaatio onkin kaupallisten yritysten tuottamaa. Hydrometallurgiassa vastavirtausta käyttävissä ioninvaihtolaitteistoissa hyödynnetään irrallisia regenerointivyöhykkeitä. Venttiilijärjestelmän osalta päädyttiin ratkaisuun jossa käytetään yhtä kiertoventtiiliä kullekin virralle, minkä lisäksi kolonnien väleillä käytetään solenoidiventtiiliä. Tämä järjestelmä mahdollistaa yleisimpien SMB-menetelmien käytön mukaan lukien irralliset vyöhykkeet. Laitteiston ohjauksesta vastaa LabVIEW 2010:llä ohjelmoitu ohjelmisto, joka sisältää kaikkien tarvittavien laitteiden ohjausrutiinit. Se mahdollistaa venttiilien synkroniset ja epäsynkroniset vaihdot. Laitteiston puhdistusta varten on ohjelmistoon rakennettu oma rutiini venttiilejä varten. Pumppujen osalta ohjelmisto mahdollistaa vakiovirtauksen sekä lineaaristen ja porrasmuotoisten gradienttien käytön. Ongelmatilanteita varten ohjelmisto valvoo pumppujen ja venttiilien toimintaa ja pysäyttää laitteiston tarvittaessa. Koekäytön avulla pystyttiin todentamaan laitteiston toimivuus.

Design of marine generators for alternative diesel-electric power systems

This study compares different electric propulsion systems. Results of the analysis of all the advantages and disadvantages of the different propulsion systems are given. This thesis estimates possibilities to apply different diesel-electric propulsion concepts for different vessel types. Small and medium size vessel’s power ranges are studied. The optimal delivery system is chosen. This choice is made on the base of detailed study of the concepts, electrical equipment market and comparison of mass, volume and efficiency parameters. In this thesis three marine generators are designed. They are: salient pole synchronous generator and two permanent magnet synchronous generators. Their electrical, dimensional, cost and efficiency parameters are compared. To understand all the benefits diagrams with these parameters are prepared. Possible benefits and money savings are estimated. As the result the advantages, disadvantages and boundary conditions for the permanent magnet synchronous generator application in marine electric-power systems are found out.

Laakerivirrat kestomagneettitahtikoneissa

Diplomityössä on esitelty ja tutkittu laakerivirtailmiötä sähkökoneissa. Työn pääpaino on suurissa kestomagneettitahtikoneissa, joissa niin sanotut kiertävät laakerivirrat ovat dominoivia. Työssä on lisäksi tarkasteltu staattorin segmentoinnin aiheuttamia matalataajuisia kiertovirtoja. Laakerivirran ja akselijännitteen ehkäisyyn on esitetty sekä testattu mahdollisia ratkaisuja.

Field Weakening, Parameters and Operation Range of the Permanent Magnet Traction Motors

The main focus of this thesis is to define the field weakening point of permanent magnet synchronous machine with embedded magnets in traction applications. Along with the thesis a modelling program is made to help the designer to define the field weakening point in practical applications. The thesis utilizes the equations based on the current angle. These equations can be derived from the vector diagram of permanent magnet synchronous machine. The design parameters of the machine are: The maximum rotational speed, saliency ratio, maximum induced voltage and characteristic current. The main result of the thesis is finding out the rated rotational speed, from which the field weakening starts. The action of the machine is estimated at a wide speed range and the changes of machine parameters are examined.

Design Aspects of Megawatt-Range Direct-Driven Permanent MagnetWind Generators

Direct-driven permanent magnet synchronous generator is one of the most promising topologies for megawatt-range wind power applications. The rotational speed of the direct-driven generator is very low compared with the traditional electrical machines. The low rotational speed requires high torque to produce megawatt-range power. The special features of the direct-driven generators caused by the low speed and high torque are discussed in this doctoral thesis. Low speed and high torque set high demands on the torque quality. The cogging torque and the load torque ripple must be as low as possible to prevent mechanical failures. In this doctoral thesis, various methods to improve the torque quality are compared with each other. The rotor surface shaping, magnet skew, magnet shaping, and the asymmetrical placement of magnets and stator slots are studied not only by means of torque quality, but also the effects on the electromagnetic performance and manufacturability of the machine are discussed. The heat transfer of the direct-driven generator must be designed to handle the copper losses of the stator winding carrying high current density and to keep the temperature of the magnets low enough. The cooling system of the direct-driven generator applying the doubly radial air cooling with numerous radial cooling ducts was modeled with a lumped-parameter-based thermal network. The performance of the cooling system was discussed during the steady and transient states. The effect of the number and width of radial cooling ducts was explored. The large number of radial cooling ducts drastically increases the impact of the stack end area effects, because the stator stack consists of numerous substacks. The effects of the radial cooling ducts on the effective axial length of the machine were studied by analyzing the crosssection of the machine in the axial direction. The method to compensate the magnet end area leakage was considered. The effect of the cooling ducts and the stack end area effects on the no-load voltages and inductances of the machine were explored by using numerical analysis tools based on the three-dimensional finite element method. The electrical efficiency of the permanent magnet machine with different control methods was estimated analytically over the whole speed and torque range. The electrical efficiencies achieved with the most common control methods were compared with each other. The stator voltage increase caused by the armature reaction was analyzed. The effect of inductance saturation as a function of load current was implemented to the analytical efficiency calculation.

Building object-oriented software with the D-Bus messaging system

Object-oriented programming is a widely adopted paradigm for desktop software development. This paradigm partitions software into separate entities, objects, which consist of data and related procedures used to modify and inspect it. The paradigm has evolved during the last few decades to emphasize decoupling between object implementations, via means such as explicit interface inheritance and event-based implicit invocation. Inter-process communication (IPC) technologies allow applications to interact with each other. This enables making software distributed across multiple processes, resulting in a modular architecture with benefits in resource sharing, robustness, code reuse and security. The support for object-oriented programming concepts varies between IPC systems. This thesis is focused on the D-Bus system, which has recently gained a lot of users, but is still scantily researched. D-Bus has support for asynchronous remote procedure calls with return values and a content-based publish/subscribe event delivery mechanism. In this thesis, several patterns for method invocation in D-Bus and similar systems are compared. The patterns that simulate synchronous local calls are shown to be dangerous. Later, we present a state-caching proxy construct, which avoids the complexity of properly asynchronous calls for object inspection. The proxy and certain supplementary constructs are presented conceptually as generic object-oriented design patterns. The e ect of these patterns on non-functional qualities of software, such as complexity, performance and power consumption, is reasoned about based on the properties of the D-Bus system. The use of the patterns reduces complexity, but maintains the other qualities at a good level. Finally, we present currently existing means of specifying D-Bus object interfaces for the purposes of code and documentation generation. The interface description language used by the Telepathy modular IM/VoIP framework is found to be an useful extension of the basic D-Bus introspection format.

Project Master Document adaption in order fulfillment process

This thesis discusses adaption of new project management tool at ABB Oy Motors and Generators business unit, Synchronous Machines profit centre. Thesis studies project modeling in general and buries in the Gate Model used at ABB Synchronous Machines. It is essential to understand Gate Model because this new project management tool, called Project Master Document, is created on the base of the existing project model. Thesis also analyzes goals and structure of Project Master Document in order to ease implementation of this new tool. Project Master Document aims to improved customer order fulfillment by clearing order handover interface. Office process, especially responsibilities and target dates, become also clearer after Master Document implementation. The document is built to be frame for whole order fulfillment process including check points for each gate of project model and updated memos from all project meetings. Furthermore, project progress will be clearly stated by status markings and visualized with colors.

Exploration and Design of Power-Efficient Networked Many-Core Systems

Multiprocessing is a promising solution to meet the requirements of near future applications. To get full benefit from parallel processing, a manycore system needs efficient, on-chip communication architecture. Networkon- Chip (NoC) is a general purpose communication concept that offers highthroughput, reduced power consumption, and keeps complexity in check by a regular composition of basic building blocks. This thesis presents power efficient communication approaches for networked many-core systems. We address a range of issues being important for designing power-efficient manycore systems at two different levels: the network-level and the router-level. From the network-level point of view, exploiting state-of-the-art concepts such as Globally Asynchronous Locally Synchronous (GALS), Voltage/ Frequency Island (VFI), and 3D Networks-on-Chip approaches may be a solution to the excessive power consumption demanded by today’s and future many-core systems. To this end, a low-cost 3D NoC architecture, based on high-speed GALS-based vertical channels, is proposed to mitigate high peak temperatures, power densities, and area footprints of vertical interconnects in 3D ICs. To further exploit the beneficial feature of a negligible inter-layer distance of 3D ICs, we propose a novel hybridization scheme for inter-layer communication. In addition, an efficient adaptive routing algorithm is presented which enables congestion-aware and reliable communication for the hybridized NoC architecture. An integrated monitoring and management platform on top of this architecture is also developed in order to implement more scalable power optimization techniques. From the router-level perspective, four design styles for implementing power-efficient reconfigurable interfaces in VFI-based NoC systems are proposed. To enhance the utilization of virtual channel buffers and to manage their power consumption, a partial virtual channel sharing method for NoC routers is devised and implemented. Extensive experiments with synthetic and real benchmarks show significant power savings and mitigated hotspots with similar performance compared to latest NoC architectures. The thesis concludes that careful codesigned elements from different network levels enable considerable power savings for many-core systems.

Suurnopeus-turbokoneroottoreiden termodynaaminen ja mekaaninen mallinnus sekä rakenneanalyysi

Tässä väitöskirjassa tarkastellaan suurnopeustekniikan eri sovelluksissa ilmeneviä roottoreihin liittyviä rakenteellisia vaatimuksia ja haasteita. Tässä yhteydessä suurnopeustekniikalla tarkoitetaan järjestelyä, jossa sähkökone (moottori, generaattori) ja toimilaite (turbiini, kompressori, puhallin) on kytketty ilman vaihdetta suoraan mekaanisesti yhteen ja jossa yhteisen roottorin pyörimisnopeus on selvästi suurempi kuin 50/60 hertsin verkosta syötetyn kaksinapaisen vaihtovirtasähkökoneen tahtinopeus. Tyypillistä suurnopeuskoneen roottorille on suuri tehotiheys ja suuri mekaaninen kuormitus. Siksi esimerkiksi sähkökoneen jäähdytys on entistä haasteellisempaa kasvavien rautahäviöiden ja pienempien lämmönsiirtopinta-alojen vuoksi. Tämän työn tavoitteet voidaan jakaa kolmeen osaan:  Yhdistetyn sähkö- ja turbokoneen roottorin mekaanisen rakenteen tarkastelu, jonka tavoitteena on pienentää lämmönkehitystä ja tehostaa kriittisten kohtien jäähdytystä. Tähän liittyy sähkömagneettisten häviöiden keskittäminen jäähdytyksen kannalta edullisiin kohtiin  Yhdistetyn sähkö- ja turbokoneen roottorin mekaanisen rakenteen tarkastelu kriittisten ominaistaajuuksien kannalta  Yhdistetyn sähkö- ja turbokoneen roottorin mekaanisen rakenteen analysointi lujuustekniseltä kannalta. Tähän liittyvät mm. erilaiset ahdistussovitteet ja niiden säilyminen korkeilla pyörimisnopeuksilla sekä niiden roottoria jäykistävä vaikutus ja lämmön johtuminen kyseisissä liitospinnoissa. Tämän työn tieteellinen uutuusarvo on nimenomaan yhdistetyn sähkö- ja turbokoneen roottorin rakenteen analysointi ottamalla samanaikaisesti huomioon kaikki edellä mainitut näkökohdat: jäähtyminen erityisen kuumissa kohdissa, sähköisten häviöiden alentaminen ja niiden jakautuman huomioon ottaminen, roottorin jäykkyyden maksimointi, lujuusrasitusten hallinta ja rakenteen mekaaninen stabiliteetti sekä lämpöteknisten ylimenovastusten tarkastelu.