THE ROLE OF CULTURAL AWARENESS IN BUILDING CHINESE HEALTH FOOD BRANDS Using Netnography in Searching Cultural Arguments to Be Used for Marketing Health Foods in China

Despite the complexity of the Chinese culture consumer product businesses should apply them in building brands for Chinese markets. There are reasons to believe that cultural values and attitudes affect the buying behavior of Chinese consumers. Companies that wish to create brands in China should therefore be aware of the prevailing cultural values and consumer attitudes. This thesis will examine which values and attitudes mostly affect Chinese consumers of health food products. The study will be done by conducting a netnography. Because netnography is actually a collection methods rather than a single method, other auxiliary methods will also be applied. These methods are emotion, language and sentiment analysis (ELS analysis). Emotion analysis will be conducted because cultural values are mostly built on emotional basis. Sentiment analysis will assist in recognizing the key factors that help to locate values and attitudes. Because the netnography will be conducted in Chinese web forums by a non-native researcher, linguistic aspects should also be analyzed in parallel with emotions and sentiment analysis. The study shows that the Chinese consumers of health food products put much importance on functional, analytical and collectivistic attitudes as well as social and psychological values. Of all the twelve cultural values defined, the role of family rose above all. Also perseverance, frugality, guanxi and harmony were highly presented. The attitudes were found by recognizing certain attitude factors. Of all the factors, health foods’ functional benefits and aesthetic content together with consumers’ value consciousness surpassed other factors. Besides these results that can be applied by foreign health food companies willing to enter Chinese consumer markets, also academia can benefit this new approach for conducting ethnographies online.

Diet, microbes and gut immune responses in the pathogenesis of experimental type 1 diabetes

Type 1diabetes (T1D) is an autoimmune disease, which is influenced by a variety of environmental factors including diet and microbes. These factors affect the homeostasis and the immune system of the gut. This thesis explored the altered regulation of the immune system and the development of diabetes in non-obese diabetic (NOD) mice. Inflammation in the entire intestine of diabetes-prone NOD mice was studied using a novel ex-vivo imaging system of reactive oxygen and nitrogen species (RONS), in relation to two feeding regimens. In parallel, gut barrier integrity and intestinal T-cell activation were assessed. Extra-intestinal manifestations of inflammation and decreased barrier integrity were sought for by studying peritoneal leukocytes. In addition, the role of pectin and xylan as dietary factors involved in diabetes development in NOD mice was explored. NOD mice showed expression of RONS especially in the distal small intestine, which coincided with T-cell activation and increased permeability to macromolecules. The introduction of a casein hydrolysate (hydrolysed milk protein) diet reduced these phenomena, altered the gut microbiota and reduced the incidence of T1D. Extra-intestinally, macrophages appeared in large numbers in the peritoneum of NOD mice after weaning. Peritoneal macrophages (PM) expressed high levels of interleukin-1 receptor associated kinase M (IRAK-M), which was indicative of exposure to ligands of toll-like receptor 4 (TLR-4) such as bacterial lipopolysaccharide (LPS). Intraperitoneal LPS injections activated T cells in the pancreatic lymph nodes (PaLN) and thus, therefore potentially could activate islet-specific T cells. Addition of pectin and xylan to an otherwise diabetes-retarding semisynthetic diet affected microbial colonization of newly-weaned NOD mice, disturbed gut homeostasis and promoted diabetes development. These results help us to understand how diet and microbiota impact the regulation of the gut immune system in a way that might promote T1D in NOD mice.

Converter-flux-based current control of voltage source PWM rectifiers - analysis and implementation

Pulsewidth-modulated (PWM) rectifier technology is increasingly used in industrial applications like variable-speed motor drives, since it offers several desired features such as sinusoidal input currents, controllable power factor, bidirectional power flow and high quality DC output voltage. To achieve these features,however, an effective control system with fast and accurate current and DC voltage responses is required. From various control strategies proposed to meet these control objectives, in most cases the commonly known principle of the synchronous-frame current vector control along with some space-vector PWM scheme have been applied. Recently, however, new control approaches analogous to the well-established direct torque control (DTC) method for electrical machines have also emerged to implement a high-performance PWM rectifier. In this thesis the concepts of classical synchronous-frame current control and DTC-based PWM rectifier control are combined and a new converter-flux-based current control (CFCC) scheme is introduced. To achieve sufficient dynamic performance and to ensure a stable operation, the proposed control system is thoroughly analysed and simple rules for the controller design are suggested. Special attention is paid to the estimationof the converter flux, which is the key element of converter-flux-based control. Discrete-time implementation is also discussed. Line-voltage-sensorless reactive reactive power control methods for the L- and LCL-type line filters are presented. For the L-filter an open-loop control law for the d-axis current referenceis proposed. In the case of the LCL-filter the combined open-loop control and feedback control is proposed. The influence of the erroneous filter parameter estimates on the accuracy of the developed control schemes is also discussed. A newzero vector selection rule for suppressing the zero-sequence current in parallel-connected PWM rectifiers is proposed. With this method a truly standalone and independent control of the converter units is allowed and traditional transformer isolation and synchronised-control-based solutions are avoided. The implementation requires only one additional current sensor. The proposed schemes are evaluated by the simulations and laboratory experiments. A satisfactory performance and good agreement between the theory and practice are demonstrated.

Ilmatorjuntaohjuksen laukaisualustan vaaitusjärjestelmän kehittäminen

Työn tavoitteena oli vaaitusjärjestelmän kehittäminen ITO 2005 Asrad-R –ohjusjärjestelmän laukaisualustalle. Järjestelmäkontin jokaiseen kulmaan suunniteltiin nostojalat, joita voitiin kääntää sekä nostaa ja laskea hydraulisesti. Järjestelmään kuului myös hydraulikäyttöinen asetaso, jonka ylä- ja ala-asennoilla oli erillinen lukitus. Tärkein vaadittu toiminto oli järjestelmäkontin vaaitus maan vetovoiman suhteen epätasaisella alustalla sekä maastossa että kuorma-auton päällä. Lisäksi tarvittiin nostojalkojen nostoliikkeelle toiminto, jolla konttia nostetaan ja lasketaan siten, että se säilyttää lähtökulmansa. Kaikkia nostojalkojen sylintereitä oli mahdollista käyttää myös yksittäin. Järjestelmällä oli kovat ympäristövaatimukset, koska se oli suunniteltu sotalaitteeksi rauhan ja kriisin aikaista toimintaa varten. Riittävät vapausasteet järjestelmän toimimiseksi ajoneuvon apurungon päällä saatiin nostojalkojen rotaatioliikkeen joustosta ja tassujen liukumisesta poikittain apurungon kiinnikkeissä. Maastossa nostojalat olivat täysin jäykkiä ja liukuminen tapahtui tassujen ja maalevyjen välillä. Hydraulijärjestelmässä käytettiin on/off-magneettiventtiilejä, koska liikkeet olivat hitaita ja vaadittuun tarkkuuteen ja nopeuteen päästiin helposti. Keskeisiä suunnittelun lähtökohtia olivat rakenteiden keveys, järjestelmän yksinkertaisuus, hinta ja toimintavarmuus. Yksinkertaisella ja edullisella järjestelmällä saatiin aikaan hyvin toimiva ratkaisu.

Tuning Performance of Multi-threaded programs

Diplomityö tarkastelee säikeistettyä ohjelmointia rinnakkaisohjelmoinnin ylemmällä hierarkiatasolla tarkastellen erityisesti hypersäikeistysteknologiaa. Työssä tarkastellaan hypersäikeistyksen hyviä ja huonoja puolia sekä sen vaikutuksia rinnakkaisalgoritmeihin. Työn tavoitteena oli ymmärtää Intel Pentium 4 prosessorin hypersäikeistyksen toteutus ja mahdollistaa sen hyödyntäminen, missä se tuo suorituskyvyllistä etua. Työssä kerättiin ja analysoitiin suorituskykytietoa ajamalla suuri joukko suorituskykytestejä eri olosuhteissa (muistin käsittely, kääntäjän asetukset, ympäristömuuttujat...). Työssä tarkasteltiin kahdentyyppisiä algoritmeja: matriisioperaatioita ja lajittelua. Näissä sovelluksissa on säännöllinen muistinkäyttökuvio, mikä on kaksiteräinen miekka. Se on etu aritmeettis-loogisissa prosessoinnissa, mutta toisaalta huonontaa muistin suorituskykyä. Syynä siihen on nykyaikaisten prosessorien erittäin hyvä raaka suorituskyky säännöllistä dataa käsiteltäessä, mutta muistiarkkitehtuuria rajoittaa välimuistien koko ja useat puskurit. Kun ongelman koko ylittää tietyn rajan, todellinen suorituskyky voi pudota murto-osaan huippusuorituskyvystä.

Suurnopeuskompressorin tekninen markkinoilletuonti

Diplomityössä tarkastellaan suurnopeuskompressorin kehityspolkua suurnopeusteknologian lähtökohdista prototyypiksi ja edelleen teolliseksi tuotteeksi. Työssä tarkastelun kohteena on sähköteholtaan 20….250 kW oleva, suurnopeussähkökoneella ja öljyttömillä magneettilaakereilla varustettu keskipainekompressori. Tyypillisesti kompressorin painesuhde on 1,2 … 2,4. Ko. kompressorin käyttökohteina on tarkasteltu mm. pienen kunnallisen jätevedenpuhdistamon käsittelyaltaiden ilmastusta, suuren kaupungin vastaavan puhdistuslaitoksen ilmastuskäyttöä ja teollista käyttöä lasivillatehtaan ns. linkokompressorina. Suurnopeuskompressori soveltuu hyvin rinnankytkentään ns. ryhmäohjaimen avulla, jolloin rinnan voi olla kytkettynä jopa 16 kompressoria, joiden päällä oloa optimoidaan säätöteknisesti niin, että koko laitos on kuin yksi kompressori. Työssä tarkastellaan myös kompressorin em. sovellutuksista yli kahdeksan vuoden ajalta kaupallista kohteista saatuja käyttökokemuksia. Pääsäätöisesti voi sanoa, että jokaisessa uudessa sovellutuksessa ilmenee uusia reunaehtoja ja järjestelmäkohtaisia vaatimuksia, jotka täytyy huomioida kompressorin säädössä ja ominaisparametreissa.

Multi-sensor Simultaneous Localization and Mapping

Simultaneous localization and mapping(SLAM) is a very important problem in mobile robotics. Many solutions have been proposed by different scientists during the last two decades, nevertheless few studies have considered the use of multiple sensors simultane¬ously. The solution is on combining several data sources with the aid of an Extended Kalman Filter (EKF). Two approaches are proposed. The first one is to use the ordinary EKF SLAM algorithm for each data source separately in parallel and then at the end of each step, fuse the results into one solution. Another proposed approach is the use of multiple data sources simultaneously in a single filter. The comparison of the computational com¬plexity of the two methods is also presented. The first method is almost four times faster than the second one.

Voimalaitos- ja jätevesitutkimus

Tässä työssä tutkittiin Stora Enso Oyj:n Heinolan Flutingtehtaan voimalaitos- ja jätevesien seuranta-analyysimenetelmien kehittämistä. Käytössä olevia menetelmiä vertailtiin vaihtoehtoisiin uusiin menetelmiin, jotka perustuvat erotustekniikoihin ja automaatioon. Flutingtehtaalla nykyisin käytössä olevat analyysimenetelmät perustuvat suurelta osin standardimäärityksiin, joissa käytetään pääasiassa titrausta. Määritykset vievät paljon aikaa, koska titraukset toteutetaan manuaalisesti. Titrausten päätepisteet tulkitaan esim. indikaattorin värinmuutoksella ja saostamalla, joten määritysten tarkkuus vaihtelee. Kokeellisessa osassa Flutingtehtaan puhtaista voimalaitosvesistä yhdistetty sekoitenäyte analysoitiin kahdella ionikromatografilla, liekkiatomiabsorptiospektrometrillä ja kapillaarielektroforeesilla. Yksittäisiä näytteitä ei tutkittu. Lisäksi vesilaboratoriossa määritettävistä jätevesistä yhdistettiin sekoitenäyte, joka analysoitiin kapillaarielektroforeesilla. Samat sekoitenäytteet analysoitiin myös nykyisillä menetelmillä tehtaan vesilaboratoriossa. Tulokset osoittivat, että kokeellisessa osassa tutkitut menetelmät soveltuvat sekoitenäytteen perusteella hyvin vesilaboratoriossa käytössä oleviin kuukausianalyyseihin. Automaattisella näytteensyötöllä varustettuna kaikki kolme kokeellisessa osassa tutkittua menetelmää ovat yksikertaisia käyttää ja ne nopeuttavat analyysejä. Päivittäisiä titrausanalyysejä voidaan tehostaa ja nopeuttaa automaation avulla. Erotustekniikoilla esimerkiksi typpi voidaan määrittää kokonaistyppenä, mutta myös komponentteinaan eli ammoniakkina, nitraattina ja nitriittinä. Lisäksi samalla erotuksella voidaan määrittää useita alkali- ja maa-alkalimetalleja sekä raskas-metalleja toistomittauksilla. Menetelmän käyttöalue on laajempi erotustekniikoilla kuin perinteisillä liuoskemian mittauksilla. Erotustekniikoilla tunnistetaan helposti määritysten oikeellisuus detektointimahdollisuuksien monipuolisuuden vuoksi.

Laatukustannusten sisäisen raportoinnin kehittäminen Metso Rautpohjan paperi- ja kartonkikonetehtaassa

Tässä diplomityössä on tarkasteltu Metso Rautpohjan laatukustannustiedon sisäisiä raportointitarpeita ja -mahdollisuuksia päätöksenteon tueksi. Tehty tarkastelu liittyy aiemmin Rautpohjassa luotuun laaduttomuuden kustannusten kirjaus- ja seurantajärjestelmään, jonka avulla kyseisiä kustannuksia on organisaatiossa eritelty muista kustannuksista Baan-tietojärjestelmää käyttäen. Tämän työn tavoitteena oli löytää tapaustutkimuksen keinoin laaduttomuuden kustannuksiin liittyviä sisäisiä tietotarpeita, joihin voitaisiin löytää ratkaisuja Data Warehouse (DW) -tietovarastointi- ja raportointitekniikkaa sekä olemassa olevaa laaduttomuuden kustannustietomassaa 2008 hyödyntäen. Tutkimusta varten Rautpohjan organisaatiosta valittiin kullekin toiminnolle niitä edustavat vastuuhenkilöt, joita haastattelemalla pyrittiin selvittämään sisäisiä tietotarpeita laaduttomuuden kustannuksiin liittyen. Työn tuloksena jokaiselle tutkimukseen osallistuneelle toiminnolle luotiin vähintään yksi raporttipohja, jonka avulla niille voidaan jatkossa tuottaa tarvittavaa, kohdennettua laaduttomuuden kustannustietoa omaan toimintaan liittyen. Laaduttomuuden kustannusten rinnalla tässä työssä tutkittiin myös mahdollisia kehitystarpeita Rautpohjan ympäristökustannuksien seurantaan liittyen. Suuremmassa mittakaavassa tällä työllä on pyritty tukemaan laaduttomuuden kustannusten minimointia paitsi Rautpohjassa, mutta myös Metson linjaorganisaatiossa yleisesti. Raportoinnin perimmäisenä tarkoituksena oli mahdollistaa laaduttomuuden kustannusten taustalla olevien syiden ja tapahtumien analysointi, ja sitä kautta edesauttaa laaduttomuuden kustannusten minimoimiseen tähtäävää kehitystyötä. Metso Rautpohjassa toimiviksi havaittuja laaduttomuuden kustannusten seurantaan ja analysointiin käytettyjä menetelmiä voidaan haluttaessa soveltaa myös muissa Metso-yksiköissä.

Kaupunkialueella toimivan sähkönjakeluverkkoyhtiön siirtohinnoittelun kehittäminen

Sähkönjakeluverkkoyhtiöllä on sähkön siirtopalveluun alueellinen monopoli. Siirtohinnoittelun reunaehdot tulevat sähkömarkkinalaista ja hintojen kohtuullisuutta valvoo ja sääntelee Energiamarkkinavirasto. Tässä työssä selvitetään Turku Energia Sähköverkot Oy:lle kustannusvastaavat aiheuttamisperiaatteen mukaiset siirtohinnat. Samalla muodostetaan yleis-, yö- ja kausituotteiden perusmaksuihin asiakkaan liittymispisteen pääsulakkeen kokoon perustuva porrastus. Sulakeporrastuksen käyttöönotolla pystytään kehittämään siirtohinnoittelun kustannusvastaavuutta ja noudattamaan aiheuttamisperiaatteen mukaista hinnoittelupolitiikkaa entistä paremmin. Työssä tutkitaan siirtohinnoittelun kehitysnäkymiä myös pidemmällä tähtäimellä. Älykkäiden sähköverkkojen kehittyminen ja erityisesti etäluettavien mittareiden käyttöönotto tulevat luomaan kehitysmahdollisuuksia siirtohinnoitteluun tulevaisuudessa. Laitteista saatavia tarkkoja sähkönkulutus- ja tehotietoja voidaan käyttää kustannusvastaavuuslaskennan taustalla. Jotta verkon käyttö olisi sen mitoitukseen nähden mahdollisimman tehokasta, tulisi kuorman jakautua mahdollisimman tasaisesti ajan suhteen. Verkossa esiintyviä kulutushuippuja pystytään tulevaisuudessa mahdollisesti tasoittamaan esimerkiksi kuorman ohjauksen avulla, jonka tehokeinona voidaan käyttää siirtohinnoittelua. Siirtohinnoilla voidaan mahdollisesti vaikuttaa myös esimerkiksi kulutuksen ja tuotannon ajoittamiseen sekä kannusta asiakkaita loistehon kompensointiin. Siirtotuotteiden täytyy myös kehittyä asiakkaiden tarpeiden kehittymisen rinnalla ja esimerkiksi sähkön laadun tuotteistaminen voi olla eräs keino vastaamaan tiukentuneisiin vaatimuksiin.

Reading Development During Elementary School Years. Evidence from Eye Movements

The present dissertation examined reading development during elementary school years by means of eye movement tracking. Three different but related issues in this field were assessed. First of all, the development of parafoveal processing skills in reading was investigated. Second, it was assessed whether and to what extent sublexical units such as syllables and morphemes are used in processing Finnish words and whether the use of these sublexical units changes as a function of reading proficiency. Finally, the developmental trend in the speed of visual information extraction during reading was examined. With regard to parafoveal processing skills, it was shown that 2nd graders extract letter identity information approx. 5 characters to the right of fixation, 4th graders approx. 7 characters to the right of fixation, and 6th graders and adults approx. 9 characters to the right of fixation. Furthermore, it was shown that all age groups extract more parafoveal information within compound words than across adjectivenoun pairs of similar length. In compounds, parafoveal word information can be extracted in parallel with foveal word information, if the compound in question is of high frequency. With regard to the use of sublexical units in Finnish word processing, it was shown that less proficient 2nd graders use both syllables and morphemes in the course of lexical access. More proficient 2nd graders as well as older readers seem to process words more holistically. Finally, it was shown that 60 ms is enough for 4th graders and adults to extract visual information from both 4-letter and 8-letter words, whereas 2nd graders clearly needed more than 60 ms to extract all information from 8- letter words for processing to proceed smoothly. The present dissertation demonstrates that Finnish 2nd graders develop their reading skills rapidly and are already at an adult level in some aspects of reading. This is not to say that there are no differences between less proficient (e.g., 2nd graders) and more proficient readers (e.g., adults) but in some respects it seems that the visual system used in extracting information from the text is matured by the 2nd grade. Furthermore, the present dissertation demonstrates that the allocation of attention in reading depends much on textual properties such as word frequency and whether words are spatially unified (as in compounds) or not. This flexibility of the attentional system naturally needs to be captured in word processing models. Finally, individual differences within age groups are quite substantial but it seems that by the end of the 2nd grade practically all Finnish children have reached a reasonable level of reading proficiency.

Kartonkipakkauskoneen dynaaminen kireydenhallinta

Työssä tutkitaan PI-säätimen käyttöä dynaamisessa kireydensäädössä ilman varsinaista kireyden takaisinkytkentää. Kireyttä säädetään epäsuorasti käyttämällä takaisinkytkentätietona kahden telan välistä paikkaeroa. Kireyssäädin toteutetaan nopeussäätimen rinnalle. Rinnakkaisrakenteella pyritään kireyden muutoksiin nopeasti reagoivaan säätöratkaisuun. Rakenne toteutetaan osaksi taajuusmuuttajan säätöketjua. Työssä esitetään telasysteemin simulointimalli, jonka toimivuus varmistetaan käytännön mittauksin. Lisäksi työssä arvioidaan kireyssäädön toimintaa dynaamisessa kireydensäädössä simulointien ja testilaitteistolla suoritettavien mittausten perusteella.

Kaarihitsauksen suojakaasun tunnistus ja virtauksen mittaus ultraäänellä

Kaasukaarihitsauksessa suojakaasuna käytetään yleensä argonin ja hiilidioksidin tai argonin ja heliumin seoksia. Suojakaasu vaikuttaa useisiin hitsausominaisuuksiin, jotka puolestaan vaikuttavat hitsauksen laatuun ja tuottavuuteen. Automaattisella suojakaasun tunnistuksella ja virtausmäärän mittauksella voitaisiin tehdä hitsauksesta paitsi käyttäjän kannalta yksinkertaisempaa, myös laadukkaampaa. Työn tavoite on löytää mahdollisimman edullinen ja kuitenkin mahdollisimman tarkasti kaasuseoksia tunnistava menetelmä, jota voitaisiin hyödyntää MIG/MAG-hitsauskoneeseen sisäänrakennettuna. Selvä etu on, jos menetelmällä voidaan mitata myös kaasun virtausmäärä. Äänennopeus kaasumaisessa väliaineessa on aineen atomi- ja molekyylirakenteesta ja lämpötilasta riippuva ominaisuus, joka voidaan mitata melko edullisesti. Äänennopeuden määritys perustuu ääniaallon kulkuajan mittaamiseen tunnetun pituisella matkalla. Kaasun virtausnopeus on laskettavissa myötä- ja vastavirtaan mitattujen kulkuaikojen erotuksen avulla. Rakennettu mittauslaitteisto koostuu kahdesta ultraäänimuuntimesta, joiden halkaisija on 10 mm ja jotka toimivat sekä lähettimenä että vastaanottimena. Muuntimet ovat 140 mm:n etäisyydellä toisistaan virtauskanavassa, jossa suojakaasu virtaa yhdensuuntaisesti äänen kanssa. Virtauskanava on putki, jossa on käytetty elastisia materiaaleja, jotta ääniaaltojen eteneminen kanavan runkoa pitkin minimoituisi. Kehitetty algoritmi etsii kahden lähetetyn 40 kHz:n taajuisen kanttiaaltopulssin aiheuttaman vasteen perusteella ääniaallon saapumisajanhetken. Useiden mittausten, tulosten lajittelun ja suodatuksen jälkeen tuntemattomalle kaasulle lasketaan lämpötilakompensoitu vertailuluku. Tuntematon kaasu tunnistetaan vertailemalla lukua tunnettujen kaasuseosten mitattuihin vertailulukuihin. Laitteisto tunnistaa seokset, joissa heliumin osuus argonissa on enintään 50 %. Hiilidioksidia sisältävät argonin seokset puolestaan tunnistetaan puhtaaseen hiilidioksidiin asti jopa kahden prosenttiyksikön tarkkuudella. Kaasun tilavuusvirtausmittauksen tarkkuus on noin 1,0 l/min.

Thinking Outside the Box: Enhancing Science Teaching by Combining (Instead of Contrasting) Laboratory and Simulation Activities

The focus of the present work was on 10- to 12-year-old elementary school students’ conceptual learning outcomes in science in two specific inquiry-learning environments, laboratory and simulation. The main aim was to examine if it would be more beneficial to combine than contrast simulation and laboratory activities in science teaching. It was argued that the status quo where laboratories and simulations are seen as alternative or competing methods in science teaching is hardly an optimal solution to promote students’ learning and understanding in various science domains. It was hypothesized that it would make more sense and be more productive to combine laboratories and simulations. Several explanations and examples were provided to back up the hypothesis. In order to test whether learning with the combination of laboratory and simulation activities can result in better conceptual understanding in science than learning with laboratory or simulation activities alone, two experiments were conducted in the domain of electricity. In these experiments students constructed and studied electrical circuits in three different learning environments: laboratory (real circuits), simulation (virtual circuits), and simulation-laboratory combination (real and virtual circuits were used simultaneously). In order to measure and compare how these environments affected students’ conceptual understanding of circuits, a subject knowledge assessment questionnaire was administered before and after the experimentation. The results of the experiments were presented in four empirical studies. Three of the studies focused on learning outcomes between the conditions and one on learning processes. Study I analyzed learning outcomes from experiment I. The aim of the study was to investigate if it would be more beneficial to combine simulation and laboratory activities than to use them separately in teaching the concepts of simple electricity. Matched-trios were created based on the pre-test results of 66 elementary school students and divided randomly into a laboratory (real circuits), simulation (virtual circuits) and simulation-laboratory combination (real and virtual circuits simultaneously) conditions. In each condition students had 90 minutes to construct and study various circuits. The results showed that studying electrical circuits in the simulation–laboratory combination environment improved students’ conceptual understanding more than studying circuits in simulation and laboratory environments alone. Although there were no statistical differences between simulation and laboratory environments, the learning effect was more pronounced in the simulation condition where the students made clear progress during the intervention, whereas in the laboratory condition students’ conceptual understanding remained at an elementary level after the intervention. Study II analyzed learning outcomes from experiment II. The aim of the study was to investigate if and how learning outcomes in simulation and simulation-laboratory combination environments are mediated by implicit (only procedural guidance) and explicit (more structure and guidance for the discovery process) instruction in the context of simple DC circuits. Matched-quartets were created based on the pre-test results of 50 elementary school students and divided randomly into a simulation implicit (SI), simulation explicit (SE), combination implicit (CI) and combination explicit (CE) conditions. The results showed that when the students were working with the simulation alone, they were able to gain significantly greater amount of subject knowledge when they received metacognitive support (explicit instruction; SE) for the discovery process than when they received only procedural guidance (implicit instruction: SI). However, this additional scaffolding was not enough to reach the level of the students in the combination environment (CI and CE). A surprising finding in Study II was that instructional support had a different effect in the combination environment than in the simulation environment. In the combination environment explicit instruction (CE) did not seem to elicit much additional gain for students’ understanding of electric circuits compared to implicit instruction (CI). Instead, explicit instruction slowed down the inquiry process substantially in the combination environment. Study III analyzed from video data learning processes of those 50 students that participated in experiment II (cf. Study II above). The focus was on three specific learning processes: cognitive conflicts, self-explanations, and analogical encodings. The aim of the study was to find out possible explanations for the success of the combination condition in Experiments I and II. The video data provided clear evidence about the benefits of studying with the real and virtual circuits simultaneously (the combination conditions). Mostly the representations complemented each other, that is, one representation helped students to interpret and understand the outcomes they received from the other representation. However, there were also instances in which analogical encoding took place, that is, situations in which the slightly discrepant results between the representations ‘forced’ students to focus on those features that could be generalised across the two representations. No statistical differences were found in the amount of experienced cognitive conflicts and self-explanations between simulation and combination conditions, though in self-explanations there was a nascent trend in favour of the combination. There was also a clear tendency suggesting that explicit guidance increased the amount of self-explanations. Overall, the amount of cognitive conflicts and self-explanations was very low. The aim of the Study IV was twofold: the main aim was to provide an aggregated overview of the learning outcomes of experiments I and II; the secondary aim was to explore the relationship between the learning environments and students’ prior domain knowledge (low and high) in the experiments. Aggregated results of experiments I & II showed that on average, 91% of the students in the combination environment scored above the average of the laboratory environment, and 76% of them scored also above the average of the simulation environment. Seventy percent of the students in the simulation environment scored above the average of the laboratory environment. The results further showed that overall students seemed to benefit from combining simulations and laboratories regardless of their level of prior knowledge, that is, students with either low or high prior knowledge who studied circuits in the combination environment outperformed their counterparts who studied in the laboratory or simulation environment alone. The effect seemed to be slightly bigger among the students with low prior knowledge. However, more detailed inspection of the results showed that there were considerable differences between the experiments regarding how students with low and high prior knowledge benefitted from the combination: in Experiment I, especially students with low prior knowledge benefitted from the combination as compared to those students that used only the simulation, whereas in Experiment II, only students with high prior knowledge seemed to benefit from the combination relative to the simulation group. Regarding the differences between simulation and laboratory groups, the benefits of using a simulation seemed to be slightly higher among students with high prior knowledge. The results of the four empirical studies support the hypothesis concerning the benefits of using simulation along with laboratory activities to promote students’ conceptual understanding of electricity. It can be concluded that when teaching students about electricity, the students can gain better understanding when they have an opportunity to use the simulation and the real circuits in parallel than if they have only the real circuits or only a computer simulation available, even when the use of the simulation is supported with the explicit instruction. The outcomes of the empirical studies can be considered as the first unambiguous evidence on the (additional) benefits of combining laboratory and simulation activities in science education as compared to learning with laboratories and simulations alone.

Scheduling of guarded command based models

Formal methods provide a means of reasoning about computer programs in order to prove correctness criteria. One subtype of formal methods is based on the weakest precondition predicate transformer semantics and uses guarded commands as the basic modelling construct. Examples of such formalisms are Action Systems and Event-B. Guarded commands can intuitively be understood as actions that may be triggered when an associated guard condition holds. Guarded commands whose guards hold are nondeterministically chosen for execution, but no further control flow is present by default. Such a modelling approach is convenient for proving correctness, and the Refinement Calculus allows for a stepwise development method. It also has a parallel interpretation facilitating development of concurrent software, and it is suitable for describing event-driven scenarios. However, for many application areas, the execution paradigm traditionally used comprises more explicit control flow, which constitutes an obstacle for using the above mentioned formal methods. In this thesis, we study how guarded command based modelling approaches can be conveniently and efficiently scheduled in different scenarios. We first focus on the modelling of trust for transactions in a social networking setting. Due to the event-based nature of the scenario, the use of guarded commands turns out to be relatively straightforward. We continue by studying modelling of concurrent software, with particular focus on compute-intensive scenarios. We go from theoretical considerations to the feasibility of implementation by evaluating the performance and scalability of executing a case study model in parallel using automatic scheduling performed by a dedicated scheduler. Finally, we propose a more explicit and non-centralised approach in which the flow of each task is controlled by a schedule of its own. The schedules are expressed in a dedicated scheduling language, and patterns assist the developer in proving correctness of the scheduled model with respect to the original one.