Git-versiohallinnan matemaattiset perusteet

Työssä esitetään Git-versiohallintajärjestelmään liittyviä tietorakenteita ja toimintoja matemaattisesta näkökulmasta. Kuvaillaan Gitin käyttämä tietojen tallennustapa ja annetaan yleiskuva Gitin tärkeimmistä toiminnoista. Erityisen tarkasti Gitin toiminnoista esitetään pakkausmenetelmä, tiedostojen erojen vertailu ja pakettitiedostoissa käytettävä deltapakkaus. Deflate-pakkausmenetelmästä tutustutaan sen käyttämään Huffman-koodaukseen, LZ77- koodaukseen ja koodauskaavioiden pakkaukseen. Lisäksi määritellään deflate-pakatun tietovirran rakenne. Esitetään tiedostojen erojen vertailun matemaattinen määritelmä sekä näytetään miten tähän liittyvä pisimmän yhteisen alijonon hakeva algoritmi voidaan toteuttaa erilaisilla menetelmillä, joiden aikakompleksisuudet poikkeavat merkittävästi toisistaan. Kuvaillaan Gitin pakettitiedoston rakenne ja sen muodostamisen algoritmeja. Lisäksi annetaan matemaattinen määritelmä siinä käytetylle deltapakkaukselle ja esitetään deltapakkauksen algoritmi ja siinä käytetty Rabinin sormenjälki. Esitettävissä algoritmeissa esiintyy muutamia perusmenetelmiä kuten dynaaminen ohjelmointi, ahnas algoritmi sekä hajota ja hallitse -menetelmä.

PWR PACTEL -koelaitteiston ylätilan mallinnusvaihtoehtojen tarkastelu APROS-ohjelmistolla

Diplomityössä selvitetään PWR PACTEL -koelaitteiston APROS-mallin ylätilan toimi¬vuut¬ta ja tutkitaan tapoja parantaa mallin simulointitarkkuutta. Työssä on esitelty PWR PACTEL -koelaitteiston sekä APROS-simulointiohjelman pääpiirteet ja tutustuttu simu¬loin¬ti¬ohjelmien kelpoistukseen. Simulointiosiossa tarkastellaan yksinkertaisen ja muokatun ylätilamallin toimivuutta ver¬taa¬mal¬la simulointia koelaitteistolla tehtyjen kokeiden mittaustuloksiin. Lisäksi tutkitaan nel¬¬jää tapaa parantaa ylätilamallin toimivuutta: virtausvastusten säätö, lämpöhäviöiden sä䬬tö, rakenteelliset muutokset ja laskentakorrelaatioiden vaihtaminen. Simulointituloksia ver¬¬ra¬¬taan kahteen koelaitteistolla suoritettuun kokeeseen, joista toinen on tasapainotilankoe ja toinen dynaamisen tilan koe. Työssä havaittiin, että nykyisin käytössä olevaa mallia on kehitetty jo varsin paljon, ver¬rat¬tu¬na ns. yksinkertaiseen malliin. Testatuilla parannusvaihtoehdoilla saatiin hieman paran¬net¬tua ylätilan lämpötilojen simulointia tasapainotilassa. Dynaamisen tilan osalta havaittiin pien¬tä parannusta mallin toiminnassa ylätilamallin rakennemuutosten jälkeen. Tulosten poh¬jalta arvioitiin, että mallia on mahdollista kehittää muuttamalla ylätilamallin raken¬net¬ta.

HTR-PROTEUS-reaktorin mallintaminen

Maailmassa on tarve entistä turvallisemmille ja taloudellisemmille ydinreaktoreille. Neljännen sukupolven reaktorikonseptit ovat aiempia turvallisempia ja luotettavampia, niissä on tehokkaampi polttoaineresurssien käyttö ja ydinjätettä syntyy vähemmän. Lisäksi ne ovat taloudellisesti kilpailukykyisempiä ja niissä on erinomainen proliferaation vastustuskyky. Kuulakekoreaktorikonsepti on toinen korkealämpötilaisten kaasujäähdytteisten reaktoreiden (HTGR, High Temperature Reactor) päätyypeistä ja jäähdytteen lämpötilan noustessa reaktorissa riittävän korkealle, sitä voidaan pitää myös erittäin korkean lämpötilan reaktorina (VHTR, Very High Temperature Reactor), joka on neljännen sukupolven reaktorikonsepti. Tässä kandidaatintyössä käsitellään 90-luvulla Sveitsissä sijainnutta kuulakekoreaktori-tyyppistä koereaktoria HTR-PROTEUS (tai LEU-HTR-PROTEUS), jolla tutkittiin ennen kaikkea matalaväkevöidyn (LEU, Low Enriched Uranium) uraanipolttoaineen käyttöä kuulakekoreaktorissa. Lisäksi erityisenä mielenkiinnon kohteena oli veden joutuminen reaktoriin onnettomuustilanteessa. Työn tarkoituksena on mallintaa reaktorisysteemi ja laskea kasvutekijät viidelle eri reaktorikonfiguraatiolle. Reaktorin mallinnus ja laskenta suoritetaan Monte Carlo -menetelmää käyttävällä Serpent-laskentakoodilla. Saatuja tuloksia verrataan muissa lähteissä eri laskentakoodeilla esitettyihin tuloksiin.

Kotitalouksien sähkön pientuotanto

Työssä tarkastellaan sähkön pientuotantoa, siitä syntyviä kustannuksia ja onko kyseistä sähköä kannattavaa myydä jakeluverkkoon. Kasvavan sähköntarpeen ja ympäristökysy-mysten takia uusiutuvien energialähteiden käyttö on kasvavassa suosiossa sähköntuotan-nossa. Työssä keskitytään tuuli- ja aurinkosähköön, sillä ne ovat helpoimmin toteutettavissa olevia sähkön pientuotanto muotoja kotitalouksille. Työssä perehdytään pintapuolisesti älykkään sähköverkon toimintaan, sillä älykäs sähköverkko on avainasemassa hajautetun tuotannon mahdollistamisessa. Tämän lisäksi tarkastellaan voimassa olevia houkuttimia, joilla saadaan kuluttajat kiinnostumaan uusiutuvien energiamuotojen käytöstä sähköntuo-tannossa. Empiirisessä osiossa kuvaillaan Suomen ja Saksan tuuli- ja aurinko-olosuhteita. Tässä työssä tarkastellaan Suomen osalta Etelä-Suomea ja Saksan osalta Etelä-Saksaa. Sähköntuottajien kannalta lasketaan tuuli- ja aurinkosähköstä aiheutuvat kustannukset, kuten investointi- ja vuosikustannukset. Tämän jälkeen tarkastellaan saatuja tuloksia ja vertaillaan Suomen ja Saksan välistä tilannetta. Suomen syöttötariffijärjestelmä on vasta otettu käyttöön, toisin kuin Saksassa, jossa on yli 20 vuoden ajan ollut jo kyseinen järjestelmä käytössä. Tämä näkyy Saksan energian tuo-tannossa, sillä Saksa on yksi johtavimpia tuuli- ja aurinkosähköntuottajamaita. Tariffijär-jestelmän myötä Suomessa hajautettu sähkön tuotanto tulee lähitulevaisuudessa kasvamaan, mikä vaatii nykyisen jakeluverkon uudistamista.

Utilization of Particle Image velocimetry in PPOOLEX condensation experiments

Particle Image Velocimetry, PIV, is an optical measuring technique to obtain velocity information of a flow in interest. With PIV it is possible to achieve two or three dimensional velocity vector fields from a measurement area instead of a single point in a flow. Measured flow can be either in liquid or in gas form. PIV is nowadays widely applied to flow field studies. The need for PIV is to obtain validation data for Computational Fluid Dynamics calculation programs that has been used to model blow down experiments in PPOOLEX test facility in the Lappeenranta University of Technology. In this thesis PIV and its theoretical background are presented. All the subsystems that can be considered to be part of a PIV system are presented as well with detail. Emphasis is also put to the mathematics behind the image evaluation. The work also included selection and successful testing of a PIV system, as well as the planning of the installation to the PPOOLEX facility. Already in the preliminary testing PIV was found to be good addition to the measuring equipment for Nuclear Safety Research Unit of LUT. The installation to PPOOLEX facility was successful even though there were many restrictions considering it. All parts of the PIV system worked and they were found out to be appropriate for the planned use. Results and observations presented in this thesis are a good background to further PIV use.

Jokke Häsän ja Johanna Rämön kirja Johdatus abstraktiin algebraan keskustelee ja motivoi

Kirjallisuusarvostelu