Scheduling dynamic dataflow graphs with model checking

With the shift towards many-core computer architectures, dataflow programming has been proposed as one potential solution for producing software that scales to a varying number of processor cores. Programming for parallel architectures is considered difficult as the current popular programming languages are inherently sequential and introducing parallelism is typically up to the programmer. Dataflow, however, is inherently parallel, describing an application as a directed graph, where nodes represent calculations and edges represent a data dependency in form of a queue. These queues are the only allowed communication between the nodes, making the dependencies between the nodes explicit and thereby also the parallelism. Once a node have the su cient inputs available, the node can, independently of any other node, perform calculations, consume inputs, and produce outputs. Data ow models have existed for several decades and have become popular for describing signal processing applications as the graph representation is a very natural representation within this eld. Digital lters are typically described with boxes and arrows also in textbooks. Data ow is also becoming more interesting in other domains, and in principle, any application working on an information stream ts the dataflow paradigm. Such applications are, among others, network protocols, cryptography, and multimedia applications. As an example, the MPEG group standardized a dataflow language called RVC-CAL to be use within reconfigurable video coding. Describing a video coder as a data ow network instead of with conventional programming languages, makes the coder more readable as it describes how the video dataflows through the different coding tools. While dataflow provides an intuitive representation for many applications, it also introduces some new problems that need to be solved in order for data ow to be more widely used. The explicit parallelism of a dataflow program is descriptive and enables an improved utilization of available processing units, however, the independent nodes also implies that some kind of scheduling is required. The need for efficient scheduling becomes even more evident when the number of nodes is larger than the number of processing units and several nodes are running concurrently on one processor core. There exist several data ow models of computation, with different trade-offs between expressiveness and analyzability. These vary from rather restricted but statically schedulable, with minimal scheduling overhead, to dynamic where each ring requires a ring rule to evaluated. The model used in this work, namely RVC-CAL, is a very expressive language, and in the general case it requires dynamic scheduling, however, the strong encapsulation of dataflow nodes enables analysis and the scheduling overhead can be reduced by using quasi-static, or piecewise static, scheduling techniques. The scheduling problem is concerned with nding the few scheduling decisions that must be run-time, while most decisions are pre-calculated. The result is then an, as small as possible, set of static schedules that are dynamically scheduled. To identify these dynamic decisions and to find the concrete schedules, this thesis shows how quasi-static scheduling can be represented as a model checking problem. This involves identifying the relevant information to generate a minimal but complete model to be used for model checking. The model must describe everything that may affect scheduling of the application while omitting everything else in order to avoid state space explosion. This kind of simplification is necessary to make the state space analysis feasible. For the model checker to nd the actual schedules, a set of scheduling strategies are de ned which are able to produce quasi-static schedulers for a wide range of applications. The results of this work show that actor composition with quasi-static scheduling can be used to transform data ow programs to t many different computer architecture with different type and number of cores. This in turn, enables dataflow to provide a more platform independent representation as one application can be fitted to a specific processor architecture without changing the actual program representation. Instead, the program representation is in the context of design space exploration optimized by the development tools to fit the target platform. This work focuses on representing the dataflow scheduling problem as a model checking problem and is implemented as part of a compiler infrastructure. The thesis also presents experimental results as evidence of the usefulness of the approach.

Lasivillatehtaan energiatehokkuus

Diplomityön tavoitteena oli tuottaa toimenpidesuunnitelma energiatehokkuuden parantamiseksi sekä tilannekatsaus tehtaan energiankäytöstä Saint-Gobain Raken-nustuotteet Oy:n Hyvinkään lasivillatehtaalla. Diplomityön ensisijaiseksi tutki-mustavoitteeksi asetettiin energiankäytön tehostamisen tutkiminen sekä energian-käytön analysointi ja jatkotoimenpidesuunnitelman laatiminen. Diplomityössä osoitettiin että lämmöntalteenotolla poistoilmasta voidaan saavut-taa 2000 MWh lämpöenergiansäästö. Yhteensä hyödynnettävää lämpöenergiaa selvitettiin syntyvän vuodessa 10 600 MWh. WCM- konseptilla, eli tuotannonte-hostamisohjelmalla pyritään energiankäytön systemaattiseen pienentämiseen. Täs-sä diplomityössä on esitetty energiankäytön tehostamisratkaisuja sekä energiate-hokkuuden liittämistä WCM- konseptiin. Diplomityön tuloksia voidaan hyödyntää järjestelmällisen energiatehokkuuden parantamisohjelman kehittämisessä sekä konkreettisten energiansäästötoimenpiteiden toteuttamisessa.

Solar Twins and Solar Analogues in Galactic Surveys.

The Sun is a crucial benchmark for how we see the universe. Especially when it comes to the visible range of the spectrum, stars are commonly compared to the Sun, as it is the most thoroughly studied star. In this work I have focussed on two aspects of the Sun and how it is used in modern astronomy. Firstly, I try to answer the question on how similar to the Sun another star can be. Given the limits of observations, we call a solar twin a star that has the same observed parameters as the Sun within its errors. These stars can be used as stand-in suns when doing observations, as normal night-time telescopes are not built to be pointed at the Sun. There have been many searches for these twins and every one of them provided not only information on how close to the Sun another star can be, but also helped us to understand the Sun itself. In my work I have selected _ 300 stars that are both photometrically and spectroscopically close to the Sun and found 22 solar twins, of which 17 were previously unknown and can therefore help the emerging picture on solar twins. In my second research project I have used my full sample of 300 solar analogue stars to check the temperature and metallicity scale of stellar catalogue calibrations. My photometric sample was originally drawn from the Geneva-Copenhagen-Survey (Nordström et al. 2004; Holmberg et al. 2007, 2009) for which two alternative calibrations exist, i.e. GCS-III (Holmberg et al. 2009) and C11 (Casagrande et al. 2011). I used very high resolution spectra of solar analogues, and a new approach to test the two calibrations. I found a zero–point shift of order of +75 K and +0.10 dex in effective temperature and metallicity, respectively, in the GCS-III and therefore favour the C11 calibration, which found similar offsets. I then performed a spectroscopic analysis of the stars to derive effective temperatures and metallicities, and tested that they are well centred around the solar values.

Context-specific independence in graphical models

The theme of this thesis is context-speci c independence in graphical models. Considering a system of stochastic variables it is often the case that the variables are dependent of each other. This can, for instance, be seen by measuring the covariance between a pair of variables. Using graphical models, it is possible to visualize the dependence structure found in a set of stochastic variables. Using ordinary graphical models, such as Markov networks, Bayesian networks, and Gaussian graphical models, the type of dependencies that can be modeled is limited to marginal and conditional (in)dependencies. The models introduced in this thesis enable the graphical representation of context-speci c independencies, i.e. conditional independencies that hold only in a subset of the outcome space of the conditioning variables. In the articles included in this thesis, we introduce several types of graphical models that can represent context-speci c independencies. Models for both discrete variables and continuous variables are considered. A wide range of properties are examined for the introduced models, including identi ability, robustness, scoring, and optimization. In one article, a predictive classi er which utilizes context-speci c independence models is introduced. This classi er clearly demonstrates the potential bene ts of the introduced models. The purpose of the material included in the thesis prior to the articles is to provide the basic theory needed to understand the articles.

Trans-sialidase delivered as a naked DNA vaccine elicits an immunological response similar to a Trypanosoma cruzi infection

Trypanosoma cruzi, the protozoan parasite that causes Chagas' disease, does not synthesize sialic acid, but expresses a trans-sialidase (TS) that catalyzes the transfer of sialic acid from host glycoconjugates to the parasite surface. Here, we review studies that characterize the immune response to the catalytic domain of the enzyme in humans during Chagas' disease or in mice following immunization with the TS gene. In both cases, there are antibodies that strongly inhibit the enzymatic activity and generation of interferon-g-producing T cells.

Suursaaren valtausoperaation valmistelut tammi-maaliskuussa 1942

Suursaaren merkitys merisodan käynnille Suomenlahdella oli kiistämätön. Saaren merkitys laivaston- ja ilmapuolustuksen tukikohtana oli huomattu Neuvostoliiton sodanjohdossa ja täs-tä johtuen Suursaari joutui neuvottelujen kohteeksi 1930-luvulla. Neuvostoliitolla olisi ollut mahdollisuus sulkea Suomenlahti hallitsemalla Suursaaren, Tytärsaaren, Lavansaaren ja Vi-ron rannikko niille sijoitetulla rannikkotykistöillä. Toisen maailmansodan aikana Neuvostolii-ton sodanjohto havaitsi tehneensä virheen luopuessaan Suursaaresta ja näin ollen päätti vallata sen takaisin. Aamulla 2. tammikuuta1942 neuvostoliittolaiset nousivat Suursaaressa maihin ja ajoivat riittämättömät suomalaisjoukot pois saaresta ilman suuria taisteluja. Eversti Pekka Enkaisen johtama 2. rannikkoprikaati sai tehtäväkseen vallata Suursaaren takai-sin. Valmistelut operaatiota varten aloitettiin välittömästi saaren menettämisen jälkeen. Maa-liskuun puolivälissä päämaja käski kenraali Aaro Pajaria ottamaan operaation johtovastuun ja muodostamaan samalla valtausoperaatiota varten taisteluosasto Pajarin. Tutkimuksen tarkoituksena on selvittää kuinka suomalaisjoukot toteuttivat Suursaaren val-tausoperaatioon liittyvät valmistelut alkuvuodesta 1942. Tutkimustehtävällä selvitetään kuin-ka operaation kannalta olennaiset toimet toteutettiin ennen hyökkäyksen alkamista 27. maa-liskuuta vuonna 1942. Toteutettuja valmisteluja verrataan osittain aikalaisiin oppaisiin ja esi-miesten antamiin käskyihin ja ohjeisiin. Tutkimus on asiakirjatutkimus ja tutkimusmenetelmänä on kvalitatiivinen sisältöanalyysi. Suurin osa tutkimuksen lähteistä on suomalaisia arkistolähteitä. Tärkeimpiä alkuperäislähteitä ovat Kansallisarkiston arkistolähteet. Hyödyllisimpiä näistä arkistolähteistä ovat Suursaaren sotatoimia koskevat taisteluosasto Pajarin asiakirjat, 2. rannikkoprikaatin sotapäiväkirjat ja muut asiakirjat ja lentolaivue 6:n sotapäiväkirjat liitteineen. Tutkimuksessa selvisi, että valmistelujen aikana kaikki toimet oli järjestelmällisesti ja tarkasti suunniteltuja sekä kontrolloituja. Toimintaa kehitettiin koko valmistelujen ajan havaittujen puutteiden tai ongelmien perusteella. Tutkituista aihekokonaisuuksista tiedustelu, koulutus, huolto ja tukitoimet liittyivät koko valmistelujen ajan kiinteästi toisiinsa. Tiedustelupartioiden ja ilmatiedustelun toiminta kehittyi koko ajan enemmän tietoa antavaksi. Huolto-organisaation vahvuutta kasvatettiin samassa suhteessa operaation joukkojen vahvuuden kanssa. Huoltojoukkojen vahvuus oli olosuhteisiin ja operaation vaativuuteen nähden osittain riittämätön. Tarkalla suunnittelulla ja kaikkien joukkojen tuella huolto-organisaatio onnistui toteuttamaan sille käsketyt tehtävät. Koulutus toteutettiin siten, että koulutusolosuhteet ja ai-heet olivat mahdollisimman samankaltaisia kuin mitä operaatio tulisi olemaan. Koulutuksessa painotettiin niitä asioita, jotka olivat joukoille uusia. Tukitoimissa painopisteenä oli joukkojen siirtojen toteutus ja huollon tukeminen.

Urheilukoulussa palvelleiden varusmiesten fyysinen kunto ja antropometriset ominaisuudet vuosina 1979–2010

Urheilukoulu on nuorten huippu-urheilijoiden valtakunnallinen valmennuskeskus, joka toimii ikäluokkiensa parhaimpien urheilijoiden varusmiespalveluspaikkana. Urheilukoulussa palve-luksessa olevat saavat sotilaskoulutuksena tiedustelukoulutuksen. Erikoisjoukkojen, kuten tiedustelijoiden maksimaalisen hapenottokyvyn suoritusvaatimus on 55–60 ml·kg-1·min-1, joka tarkoittaa 12-minuutin juoksutestissä yli 3000 metrin tulosta. On tutkittu, että suomalais-ten nuorten miesten 2000-luvun fyysinen kunto on heikompi ja paino suurempi kuin aikai-sempina vuosikymmeninä. Trendi on samanlainen ympäri maailmaa. Samanaikaisesti useas-sa urheilulajissa huippu-urheilijoiden fyysinen koko on keskimäärin suurempi kuin aikai-semmin. Tämän tutkimuksen tarkoituksena oli selvittää Urheilukoulussa palvelleiden nuorten miesten fyysinen kunto ja antropometria sekä niiden eroavaisuudet vuosien 1979–2010 väli-senä aikana. Tutkimusaineistona käytettiin varusmiespalveluksen alussa suoritettujen 12-minuutin juoksu-testien sekä paino- ja pituusmittausten tuloksia vuosilta 1979–2010 ja lihaskuntotestien (kä-sinkohonta, etunojapunnerrus, vatsalihakset, selkälihakset, vauhditon pituus) tuloksia vuosil-ta 1996–2010. Tutkimuksessa käytettiin yhteensä 2766 miehen tuloksia, joiden keski-ikä oli 19.6 ±1.0 vuotta. Tuloksia käsitellään kaikkien palveluksessa olleiden osalta sekä lajeittain (hiihto, kestävyysjuoksu, jalkapallo, jääkiekko, koripallo, lentopallo, aita- ja pikajuoksulajit sekä yleisurheilun heitto- ja hyppylajit). Tutkimuksen mukaan Urheilukoulussa vuosina 1979–2010 palvelleiden varusmiesten 12-minuutin juoksutestin keskiarvo oli 3060 ±339 m, keskipituus 181.7 ±7.6 cm, keskipaino 76.6 ±11.3 kg ja painoindeksin keskiarvo 23.2 ±2.6 kg/m2. Lihaskuntotestissä vuosien 1996–2010 keskiarvot olivat käsinkohonnassa 13 ±6 toistoa, etunojapunnerruksessa 46 ±13 toistoa, vatsalihastestissä 53 ±10 toistoa, selkälihastestissä 80 ±15 toistoa ja vauhdittomassa pituu-dessa 252 ±21 cm. Fyysinen kunto ja antropometriset ominaisuudet eroavat lajeittain. Urheilukoulussa vuosina 2000–2010 palvelleiden varusmiesten 12-minuutin juoksutestin keskiarvo (3016 ±329 m) oli 230 m pienempi kuin vuosina 1979–1989 (p<0.001) ja 109 m pienempi kuin vuosina 1990–1999 (p<0.001) palvelleilla. Lisäksi 12-minuutin juoksutestissä yli 3000 metrin juoksijoiden osuus vuosina 1979–1989 oli 79 %, 63 % vuosina 1990–1999 ja 53 % vuosina 2000–2010. Lajeittain tarkasteltuna 12-minuutin juoksutestin vuosien 2000–2010 keskiarvot (hiihto 3479 ±189 m, suunnistus 3457 ±140 m, jalkapallo 3106 ±146 m) olivat hiihtäjillä 95 m (p<0.05), suunnistajilla 73 m (p<0.05) ja jalkapalloilijoilla 113 m (p<0.001) pienemmät kuin vuosina 1990–1999. Lihaskuntotestissä kaikkien Urheilukoulussa vuosien 2006–2010 aikana palvelleiden käsinkohonnan keskiarvo (12 ±6 toistoa) oli 1 toiston pienempi (p<0.001) ja selkälihastestin keskiarvo (78 ±16 toistoa) 3 toistoa pienempi (p<0.05) kuin vuosina 1996–2000. Sen sijaan vuosien 2006–2010 vauhdittoman pituuden keskiarvo (253 ±21 cm) oli 3 cm suurempi verrattuna vuosien 1996–2000 keskiarvoon (p<0.05). Suun-nistajien käsinkohonnan (p<0.05), etunojapunnerruksen (p<0.05) ja vatsalihastestin (p<0.05) keskiarvot olivat vuosina 2006–2010 pienemmät kuin vuosina 1996–2000. Jalkapalloilijoi-den käsinkohonnan (p<0.05) sekä aita- ja pikajuoksulajien selkälihastestin (p<0.001) kes-kiarvot olivat vuosina 2006–2010 pienemmät ja jääkiekkoilijoiden etunojapunnerruksen (p<0.05) sekä vatsalihastestin (p<0.05) keskiarvot suuremmat kuin vuosina 1996–2000. Kaikkien Urheilukoulussa vuosina 2000–2010 palvelleiden keskipaino (78.3 ±11.5 kg) oli 4.0 kg suurempi kuin vuosina 1979–1989 (p<0.001) ja 3.2 kg suurempi kuin vuosina 1990–1999 (p<0.001). Lajeittain tarkasteltuna palloilulajien sekä teho- ja nopeuslajien keskipainot olivat vuosina 2000–2010 suuremmat kuin vuosina 1979–1989. Vuosien 2000–2010 keski-painot (jalkapallo 77.2 ±7.8 kg, jääkiekko 86.2 ±7.6 kg, hyppylajit 76.9 ±6.7 kg) olivat jalka-palloilijoilla 4.4 kg (p<0.05), jääkiekkoilijoilla 4.9 kg (p<0.001) ja hyppylajien urheilijoilla 5.4 kg (p<0.05) suuremmat kuin vuosien 1990–1999 keskiarvot. Urheilukoulussa vuosina 2000–2010 palvelleiden miesten aerobinen kestävyys oli keskimäärin heikompi ja keskipaino suurempi kuin aikaisempina vuosikymmeninä palvelleilla. Lisäksi alavartalon räjähtävä voima oli vuosina 2006–2010 keskimäärin parempi kuin vuosina 1996–2000 ja 2001–2005. Tässä tutkimuksessa käytössä olleiden tulosten rajallisuus erityisesti vuosilta 1979–1995 ja eri urheilulajien urheilijoiden määrien sekä niiden keskinäisten osuuksien muuttuminen vaikuttavat osiltaan kaikkien Urheilukoulussa palvelleiden tuloksiin. Tuloksiin vaikuttavat myös eri lajien vuosien 2000–2010 heikompi aerobinen kestävyys (hiihto, suunnistus, jalkapallo) sekä suurempi keskipaino (palloilulajit, nopeus- ja teholajit). Suuremman keskipainon taustalla on mahdollisesti lihasmassan ja voiman merkitysten korostuminen. Keskipaino onkin suurempi kuin muilla suomalaisilla nuorilla miehillä. Tästä huolimatta useiden urheilulajien painojen ja painoindeksien keskiar-vot ovat kuitenkin pääsääntöisesti pienemmät kuin vastaavien lajien kansainvälisillä huippu-urheilijoilla. Tämä mahdollisesti osoittaa edelleen lihasmassan ja voiman tarvetta erityisesti hiihdossa, palloilulajeissa sekä teho- ja nopeuslajeissa. Urheilukoulussa palvelleiden aerobinen kestävyys ja lihaskunto ovat huomattavasti paremmat kuin normaaliväestöllä. Täs-tä huolimatta vuosina 2000–2010 palvelleista vain 53 % on maksimaalisen hapenottokyvyn perusteella sijoituskelpoisia sodan ajan tiedustelutehtäviin. Tämän perusteella Urheilukoulus-sa palvelevien varusmiesten sodan ajan sijoituksia tulisikin tarkistaa.

Kaksivaiheisen lämmöntalteenottoprosessin soveltuvuus poistoilmanvaihtoiseen kerrostaloon

Diplomityön tavoitteena oli tarkastella perinteistä poistoilmanvaihtoa käyttävän kerrostalon lämmöntalteenottoa menetelmällä, joka yhdistää poistoilmalämpöpumpun ja maalämpöpumpun toiminnat. Nostamalla maalämpöpumpulle tulevan veden lämpötilaa saadaan nostettua järjestelmän COP-arvoa, jolla on suuri merkitys laitteen energiateknisen toiminnan kannalta. Laskelmat tehtiin Suomen rakennusmääräyskokoelman ohjeiden mukaisesti käyttämällä MX6- energiaohjelmaa sekä simuloimalla kylmäprosessia. Tulokset yhdistettiin taulukkolaskentaohjelmassa, ja näin saatiin teoreettinen säästölaskelma, joka perustuu arvioituun kuukausittaiseen energian keskikulutukseen, ts. taseeseen. Työssä todettiin, että poistoilmalämpöpumppu saattaisi kuluttaa poistoilman lämmöntalteenotossa liikaa sähköä, työssä tarkoitetulla tavalla. Kulutus olisi enemmän kuin maalämpöpumpun COP-arvon parantamisella saatava rahallinen hyöty. Koneellisen poistoilman välittämän energian tehokas käyttö on kuitenkin yksi mahdollisuus säästää maalämpöreikien poraamisessa, jos kerrostalossa harkittaisiin kokonaan maalämpöön siirtymistä.

Naisjohtajat – miksi heitä ei ole ja mitä siitä? - miesjohtajien ja ei-johtavassa asemassa olevien naisten näkemyksiä case-yritys x:ssä

Joidenkin tutkimusten mukaan naisten vähäinen määrä johdossa voi olla uhka organisaatiolle. Lasikattoilmiöllä tarkoitetaan naisten urakehityksen katkeamista tietylle tasolle ylimmän johdon alapuolelle ikään kuin naisten ja tuon ylimmän tason välissä olisi lasinen, näkymätön katto, sukupuolistereotypioiden muodostama este. Yksi yleinen lasikaton selitysten kolmijako on henkilökohtaiset, organisatoriset ja yhteiskunnalliset tekijät. (Lämsä & Hautala 2004, 252). Hoyt (2007, 270-278) tekee kolmijaon seuraavasti: inhimillinen pääoma, sukupuolierot ja ennakkoluulot. Yritys X:n keskijohdossa työskentelee yksi nainen, ylimmässä johdossa ei yhtäkään. Tutkimuksessa halu-taan selvittää miesjohtajien ja ei-johtavassa asemassa olevien naisten käsitystä siitä, onko yritys x:ssä lasi-kattoa, miksi naisjohtajia on niin vähän ja "mitä siitä" ts. onko mitään ongelmaa olemassakaan. Tässä tutkimuksessa pohditaan diskurssianalyysin keinoin, miten yritys X:ssä puhutaan naisjohtajuusaiheesta, millai-seksi sukupuolen merkitys työelämässä määritellään ja mitä ajatellaan naisten kykenevyydestä johtajiksi. Naturalisoiva diskurssi oli vahva niin miesjohtajien ja ei-johtavassa asemassa olevien naisten puheessa. Sen lisäksi hahmotellaan familistista, empiiristä, humanistista ja historiallista diskurssia naisjohtajuuspuheesta. Diskurssien yhteenkietominen hegemonisoimisstrategiana kuvaa tapaa, jolla palasia muista diskursseista käytetään tukemaan tiettyä toista diskurssia (Jokinen et al. 1993c, 95) Miesjohtajien puheessa naisten keskeiset, ominaisuudet - liiallinen tarkkuus ja huolellisuus yhdistettynä epävarmuuteen - ovat ongelmallisia johtajanuran kannalta. Jos näistä johtajuuden kannalta negatiivisista ominaisuuksista ei jostain syystä kuitenkaan muodostuisi uralla etenemisen estettä, äitiys ja perheellisyys "luonnollisesti" tekee tämän. Aiheet myös kietoutuvat yhteen: äitiys ja vastuu perheestä lisäävät naisten huolellisuutta, tarkkuutta ja epävarmuutta entisestään. Lisäksi äitiyslomat ja työhön käytettävissä oleva aika ja puut-tuva halu käyttää elämästä iso osa uranluomiseen ovat johtajaksi etenemisen esteitä. Miesjohtajien mukaan tämä on jossain määrin ongelma, kun heterogeenisyyttä johtamiseen kuitenkin tarvittaisiin, mutta loppujen lopuksi kuitenkin melko epäkiinnostava ja pieni ongelma; ongelma ei miesten mielestä johdu miesten tai yhteiskunnallisista asenteista, vaan naisista itsestään ja he tarvitsevat uralla edetäkseen tukea, rohkaisua ja henkilöstöpankkeja, joita miesjohtajat voivat tuottaa. Johtaminen ylipäänsä ei ole miesjohtajien mielestä hirveän kiinnostavaa. Jos naiset (kaikesta edellä sanotusta huolimatta) etenevät yritysten johtoon, eivät he tule siellä toimeen keskenään. Kaiken kaikkiaan koko naisjohtajuusaihe ei ole kovin kiinnostava ja naisjohtajuuden vähäisyyden (mahdollisen) ongelman ratkaisee aika uuden, tasa-arvoisemman sukupolven myötä. Naishaastateltujen näkökulmasta sen sijaan naisilla on pyrkyä johtotehtäviin - joskaan ei samassa määrin kuin miehillä. Naishaastateltujen mukaan miehet suosivat toisiaan työelämässä ja naiset kohtaavat asenteita, joita vastaan joutuvat taistelemaan ja tästä syystä johtajien joukossa on niin vähän naisia. Historialliset tekijät pitävät asenteita yllä. Perheellisyys on naisille suurempi uraeste kuin miehille, "luonnollisesti". Naishaastateltujen mielestä naisten vähäisyys johdossa on merkittävä ongelma, koska naisilla on erityislaatuisia ominaisuuksia, joista olisi hyötyä tehtävässä. Naishaastateltujen puheessa miesten ominaisuuksia vastaavasti vähäteltiin. Naisjohtajien vähäisyyden ongelmalle ei naishaastateltujen mielestä kuitenkaan ole tehtävissä paljonkaan: miesten ja yhteiskunnan asenteiden pitäisi muuttua, mutta keinoja tähän ei esitetä, sen sijaan naisten itsensä pitäisi vain "yrittää vielä kovemmin".

Index & judex syncretismorum 8

Invokaatio: In nomine Jesu!

Anmärckningar samlade under en resa til China

Invokaatio: J.J.N.

A morphometric study of the lumbar spinous process in the Chinese population

Our goal was to analyze the anatomical parameters of the lumbar spine spinous process for an interspinous stabilization device designed for the Chinese population and to offer an anatomical basis for its clinical application. The posterior lumbar spines (T12-S1) of 52 adult cadavers were used for measuring the following: distance between two adjacent spinous processes (DB), distance across two adjacent spinous processes (DA), thickness of the central spinous processes (TC), thickness of the superior margin of the spinous processes (TS), thickness of the inferior margin of the spinous processes (TI), and height of the spinous processes (H). Variance and correlation analyses were conducted for these data, and the data met the normal distribution and homogeneity of variance. DB decreased gradually from L1-2 to L5-S1. DA increased from T12-L1 to L2-3 and then decreased from L2-3 to L4-5. The largest H in males was noted at L3 (25.45±5.96 mm), whereas for females the largest H was noted at L4 (18.71±4.50 mm). Usually, TS of the adjacent spinous process was lower than TI. Based on the anatomical parameters of the lumbar spinous processes obtained in this study, an “H”-shaped coronal plane (posterior view) was proposed as an interspinous stabilization device for the Chinese population. This study reports morphometric data of the lumbar spinous processes in the Chinese population, which provides an anatomical basis for future clinical applications.

Luonnonkiertovirtauksen kääntyminen pystyhöyrystimen lämmönvaihtoputkissa

Diplomityössä tutkitaan virtauksen kääntymistä Lappeenrannan teknillisen yliopiston PWR PACTEL –koelaitteiston pystyhöyrystimen lämmönvaihtoputkissa käyttäen APROS–prosessisimulointiohjelmaa. Työn teoriaosassa esitellään pystyhöyrystimillä varustettuja koelaitteistoja, erityisesti PWR PACTEL ja sen höyrystin. Lisäksi esitellään virtauksen kääntymisestä tehtyjä havaintoja ja käsitellään kääntymistä teoreettisesta näkökulmasta. Simulointiosan alussa esitellään työssä käytetty APROS –prosessisimulointiohjelma, sekä sen avulla höyrystimestä luodut mallit. Työssä on tutkittu virtauksen käännöstapahtumaa simuloimalla useita eri transienttitilanteita pienillä primäärimassavirroilla. Simulaatiotapauksissa havaittiin virtauksen kääntyvän höyrystimen eripituisissa lämmönvaihtoputkissa, tilanteesta riippuen pääosin lyhimmissä tai toisiksi lyhimmissä lämmönvaihtoputkissa. Transienttien eri vaiheiden, ts. primäärimassavirran muutos- ja tasaantumisvaiheiden pituuden havaittiin vaikuttavan siihen, minkä pituisissa putkissa kääntyminen tapahtuu ja missä järjestyksessä.