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.

Impedanssisovituksen tarkkailu jännitevälipiirillisessä taajuusmuuttajakäytössä

Invertterikäyttöjen pitkissä kuormakaapeleissa jännitteen aaltomuodossa on havaittavissa ylijännitteitä. Ylijännitteet johtuvat invertterikäytön käyttämien kytkinten ohjaamisesta pulssinleveysmodulaatiolla, niiden nopeista kytkeytymisistä ja itse järjestelmästä. Ylijännitteet ovat haitallisia järjestelmässä, joten niitä pyritään estämään esim. suodattamalla. Yksi käytännön sovellus sähkökoneen suotimena on RC-suodin. RC-suotimen toimintakyvyn aleneminen on kuitenkin oletettavaa, joten sähkökone altistuu tällöin ylijännitteille. Mittaamalla RC-suotimen kuntoa voidaan valvoa generaattorin kokemia ylijännitteitä. Työssä tarkastellaan järjestelmän häiriöitä ja ylijännitteitä, RC-suodinta sekä suotimen vajaatoimintatiloja, ja kehitetään mittaus tarkkailemaan vajaatoimintaa.

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.

Kestomagneettigeneraattorin lämmönsiirron mallinnus tuulivoimakäytössä

Pyörivien sähkökoneiden suunnittelussa terminen suunnittelu on yhtä tärkeää kuin sähköinen ja mekaaninen suunnittelukin. Tässä diplomityössä tarkoituksena on kehittää ilmajäähdytteisten kestomagneettigeneraattorien laskentaan soveltuva lämmönsiirtymismalli, jolla staattorin lämpötilajakauma voitaisiin selvittää. Kehitetty lämmönsiirtymismalli perustuu kolmiulotteiseen äärellisen erotuksen (finite difference) menetelmään. Malli ottaa huomioon lämmönjohtumisen staattorin aktiiviosissa ja konvektion jäähdytysilmavirtaan. Mallissa on myös yksinkertainen painehäviölaskenta jäähdytysjärjestelmän komponenttien mitoittamista varten. Laskentamallilla lasketaan esimerkkitapauksena 4,3 MW:n kestomagneettigeneraattorin jäähdytystä eri toimintapisteissä. Tuloksia verrataan CFD-mallinnuksen antamiin tuloksiin sekä kokeellisten mittausten antamiin tuloksiin.

Web-käyttöliittymän ajonaikainen parametripohjainen luominen

Työssä tutkitaan eri tekniikoita, joilla web-käyttöliittymä voidaan toteuttaa. Tutkituista tekniikoista valitaan työn tavoitteisiin ja rajoitteisiin parhaiten soveltuvat tekniikat, joita käytetään hyväksi luotaessa varsinainen käyttöliittymäkerros olemassa olevalle web-sovellukselle. Varsinaiset käyttöliittymät luodaan automaattisesti työn aikana toteutettavalla käyttöliittymägeneraattorilla, joka käyttää hyväkseen käyttöliittymiä kuvaavia XML-kuvaustiedostoja. Tekniikoista parhaiten tarpeisiimme soveltui AJAX-lähestymistapa, joka mahdollistaa sivun osittaisen päivittämisen ja täten työpöytäsovellusmaisemman käytettävyyden nopeamman sivun päivityksen vuoksi. Käyttöliittymägeneraattorin käyttämät kuvaustiedostot puolestaan mahdollistavat käyttöliittymäkontrollien valmiin mallintamisen yleisessä kontrollikuvaustiedostossa sekä niiden helpon muokkaamisen ja sijoittelun sivu-kohtaisesti. Lisäksi käyttöliittymäkerros sisältää monipuoliset käyttöliittymäkontrollit.

Reaktoreiden termisen tehon laskennan epävarmuuksien kartoitus

Diplomityössä selvitettiin Fortum Power and Heat Oy:n Loviisan VVER-440 painevesireaktorilaitosten termisen tehon laskentaan liittyviä epävarmuuksia. Laitoksen turvallisuusteknisissä käyttöehdoissa (TTKE) määrätään reaktorin suurimmaksi sallituksi lämpötehoksi 1500 MW. Tähän perustuen haluttiin selvittää nykyiseen RT1 laskentaan liittyvät epävarmuudet tarkastamalla nykyinen laskenta ja siinä käytetyt termohydrauliset laskentasovitteet. Työn alussa selostetaan lyhyesti Loviisan voimalaitoksen toimintaperiaate, jonka jälkeen esitellään laskentaan osallistuvat prosessimittaukset ja niihin liittyvät epävarmuustekijät. Mittauksille määritettiin epävarmuudet käyttäen hyödyksi komponenttivalmistajien tietoja sekä laitoksen kalibrointitodistuksia ja näiden lisäksi laskettiin standardin mukainen virhe virtauslaipoille. Edellä mainittujen virheiden perusteella voitiin laskea tehon epävarmuudet yksittäiselle höyrystimelle, josta edelleen varianssien summamenetelmällä saatiin reaktorin termiselle teholle 0,78 %:n epävarmuus 95 % luottamustasolla. Laskettua tehon epävarmuutta verrattiin Monte Carlo -menetelmällä suoritettuun tarkistuslaskentaan, jolla termisen tehon epävarmuudeksi saatiin 0,53 %, luottamustason ollessa 95 %. Työssä tarkasteltiin keskiarvotuksen vaikutusta mittausdataan. Näissä tarkasteluissa havaittiin pinnansäädöstä aiheutuva reaktoritehon huojunta, joka oli työn merkittävin havainto.

Painevesilaitosten höyrystinkonstruktioiden vertailu

Tässä kirjallisuustyössä tutustutaan kolmeen kaupallisissa painevesilaitoksissa käytettyyn höyrystinkonstruktioon: U-putkipystyhöyrystimeen, U-putkivaakahöyrystimeen ja läpivirtaushöyrystimeen. Työssä tutustutaan näiden ratkaisujen erityispiirteisiin ja vertaillaan niitä keskenään.

Tool-supported invariant-based programming

The development of correct programs is a core problem in computer science. Although formal verification methods for establishing correctness with mathematical rigor are available, programmers often find these difficult to put into practice. One hurdle is deriving the loop invariants and proving that the code maintains them. So called correct-by-construction methods aim to alleviate this issue by integrating verification into the programming workflow. Invariant-based programming is a practical correct-by-construction method in which the programmer first establishes the invariant structure, and then incrementally extends the program in steps of adding code and proving after each addition that the code is consistent with the invariants. In this way, the program is kept internally consistent throughout its development, and the construction of the correctness arguments (proofs) becomes an integral part of the programming workflow. A characteristic of the approach is that programs are described as invariant diagrams, a graphical notation similar to the state charts familiar to programmers. Invariant-based programming is a new method that has not been evaluated in large scale studies yet. The most important prerequisite for feasibility on a larger scale is a high degree of automation. The goal of the Socos project has been to build tools to assist the construction and verification of programs using the method. This thesis describes the implementation and evaluation of a prototype tool in the context of the Socos project. The tool supports the drawing of the diagrams, automatic derivation and discharging of verification conditions, and interactive proofs. It is used to develop programs that are correct by construction. The tool consists of a diagrammatic environment connected to a verification condition generator and an existing state-of-the-art theorem prover. Its core is a semantics for translating diagrams into verification conditions, which are sent to the underlying theorem prover. We describe a concrete method for 1) deriving sufficient conditions for total correctness of an invariant diagram; 2) sending the conditions to the theorem prover for simplification; and 3) reporting the results of the simplification to the programmer in a way that is consistent with the invariantbased programming workflow and that allows errors in the program specification to be efficiently detected. The tool uses an efficient automatic proof strategy to prove as many conditions as possible automatically and lets the remaining conditions be proved interactively. The tool is based on the verification system PVS and i uses the SMT (Satisfiability Modulo Theories) solver Yices as a catch-all decision procedure. Conditions that were not discharged automatically may be proved interactively using the PVS proof assistant. The programming workflow is very similar to the process by which a mathematical theory is developed inside a computer supported theorem prover environment such as PVS. The programmer reduces a large verification problem with the aid of the tool into a set of smaller problems (lemmas), and he can substantially improve the degree of proof automation by developing specialized background theories and proof strategies to support the specification and verification of a specific class of programs. We demonstrate this workflow by describing in detail the construction of a verified sorting algorithm. Tool-supported verification often has little to no presence in computer science (CS) curricula. Furthermore, program verification is frequently introduced as an advanced and purely theoretical topic that is not connected to the workflow taught in the early and practically oriented programming courses. Our hypothesis is that verification could be introduced early in the CS education, and that verification tools could be used in the classroom to support the teaching of formal methods. A prototype of Socos has been used in a course at Åbo Akademi University targeted at first and second year undergraduate students. We evaluate the use of Socos in the course as part of a case study carried out in 2007.

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.

Laitosmittaukset turbiinilaitoksen suorituskyvyn seurantaan ydinvoimalaitoksen vuosihuoltojen yhteydessä

Työssä kehitettiin höyryvoimalaitosprosessin tilan seurantaan laitosmittausrutiini, jolla tarkastellaan erityisesti turbiinilaitoksen suorituskykyä ennen ja jälkeen vuosihuoltojen. Laitosmittaukset on kehitetty Teollisuuden Voima Oyj:n Olkiluodon ydinvoimalaitosyksikköjen OL1 ja OL2 tarpeisiin. Mittauksilla saadaan tietoa vuosihuollon kokonaisvaikutuksista prosessiin eli muuttuiko mikään vuosihuollon aikana ja mitkä syyt johtivat muutokseen. Lisäksi säännöllisillä mittauksilla tavoitellaan pitkän aikavälin referenssitietoa prosessin tilasta. Esimerkkimittaukset tehtiin kevään 2008 vuosihuolloissa, R108 ja R208. Työssä on esitetty mittausten suorittaminen, tulosten laskenta ja tarkastelu sekä raportointi. Luotu mittausrutiini pohjautuu höyryturbiinien ja lämmönsiirtimien vastaanottokokeita käsitteleviin standardeihin sekä laitosten viimeisimpiin prosessimuutosten yhteydessä toteutettuihin suorituskykymittauksiin. Laitosmittauksista tehtiin vastaanottokokeita kevyemmät ja yksinkertaisemmat mittaustapahtumat, joilla saadaan kuitenkin riittävän luotettavaa tietoa. Tunnuslukuja, joita ei käytettävissä olevien mittatietojen avulla saatu suoraan selville tai laskettua massa- ja energiataseilla, määritettiin stationaarisen tilan mallinnusohjelmalla TEMPO:lla. Esimerkkimittaukset sujuivat hyvin ja saadut tulokset antoivat kaivattua lisätietoa vuosihuollon vaikutuksesta prosessiin. Generaattorin bruttoteho aleni OL1:llä ja pysyi ennallaan OL2:lla. OL1:n tehon aleneminen selittyi syöttöveden virtausmäärän vähenemisellä, johon vaikutti virtausmittalaitteen lähettimen vaihto. OL2:lla ei havaittu turbiiniprosessissa muutoksia, mutta lauhduttimien suorituskyky parani. Lauhduttimien suorituskyvyn paraneminen ilmeni asteisuuksien pienentymisenä, johon vaikuttivat puhdistaminen ja ilmavuotojen väheneminen.

Comparison and Evaluation of Eddy Current Sensors

In the work eddy current sensors are described and evaluated. Theoretical part includes physical basics of the eddy currents, overview of available commercial products and technologies. Industrial sensors operation was assessed based on several working modes. Apart from this, the model was created in Matlab Simulink with Xilinx Blockset and then translated into a Xilinx ISE Design Suite compatible project. The performance of the resulting implementation was compared to the existing implementation in the Xilinx Spartan 3 FPGA board with the custom made sensor. Additionally, an introduction to FPGAs and VHDL is presented.

Lämmöntalteenottokattilan lämpötekninen mitoitus

Kandidaatintyön tavoitteena oli laatia mitoitussovellus KPA Unicon Oy:lle, jolla voidaan arvioida lämmöntalteenottokattilasta saatavaa tehoa sekä tarvittavaa lämmönsiirtopinta-alaa. Mitoitussovellus laadittiin yksipaineisen kattilan mitoitusta varten ja sitä on tarkoitus hyödyntää yrityksen tarjousvaiheen projekteissa. Laskentasovelluksen laatimista varten tässä kandidaatintyössä käsitellään kaasuturbiinin jälkeistä lämmöntalteenottokattilaa ja sen mitoittamista. Erityisesti huomiota kiinnitetään yleisiin suunnitteluperiaatteisiin ja lämpötekniseen mitoittamiseen. Työssä esitetään tyypillisiä suunnitteluarvoja, rakenteita sekä laskentamenetelmiä, joiden avulla lämmöntalteenottokattila voidaan mitoittaa.

Kestomagneettikoneen roottorin väsymisanalyysi

Työn tavoitteena oli luoda työkalu kestomagneettikoneiden roottoreiden väsymisen analysointia varten. Työkalu toteutettiin siten, että siihen voidaan liittää oikeasta koneesta mitattu kuormitusdata, sekä tarvittavat materiaalitiedot. Kuormitusdata muunnetaan työkalussa jännityshistoriaksi käyttämällä elementtimenetelmän avulla laskettavaa skaalauskerrointa. Kestoiän laskemiseen analyysityökalu käyttää jännitykseen perustuvaa menetelmää sekä rainflowmenetelmää ja Palmgren-Minerin kumulatiivista vauriosääntöä. Lisäksi työkalu tekee tutkittavalle tapaukselle Smithin väsymislujuuspiirroksen. Edellä mainittujen menetelmien lisäksi työn teoriaosassa esiteltiin väsymisanalyysimenetelmistä myös paikalliseen venymään perustuva menetelmä sekä murtumismekaniikka. Nämä menetelmät jäivät monimutkaisuutensa vuoksi toteuttamatta työkalussa. Väsymisanalyysityökalulla laskettiin kestoiät kahdelle esimerkkitapaukselle. Kummassakin tapauksessa saatiin tulokseksi ääretön kestoikä, mutta aksiaalivuokoneen roottorin dynaaminen varmuus oli pieni. Vaikka tulokset vaikuttavat järkeviltä, ne olisi vielä hyvä verifioida esimerkiksi kaupallisen ohjelmiston avulla täyden varmuuden saamiseksi.