Gamification as a means for employee motivation, personal engagement and behavioral outcomes: a gamification system developers’ perspective

A major challenge faced by companies today is the engagement gap at the workplace and how to motivate employees to engage in less intrinsically motivating work activities that are valuable for the organization. The objective of this study is to investigate gamification as a means for employee motivation and personal engagement that result in behavioral outcomes from the gamification developers’ perspective. Theories of work motivation and engagement are viewed in relation to gamification. The empirical part conducts a qualitative multiple-case study. The data is analyzed with the CAQDAS NVivo. The empirical findings suggest that gamification can enhance employee motivation, but careful consideration of extrinsic motivators is necessary to avoid their detrimental effect on intrinsic motivation. Employee self-determination is built through internalization of gamified system’s goals reaching autonomous motivation to engage in the target behavior. Employee engagement is built by fulfilling the psychological conditions of meaningfulness, safety and availability. The results suggest that gamification can build employee motivation and engagement leading to behavior change if designed with the business objectives in mind. Moreover, the gamified system needs to be renewed to address the changes in the business environment and reflect them in the employee behavior.

Rigorous development of safety-critical systems

Nowadays, computer-based systems tend to become more complex and control increasingly critical functions affecting different areas of human activities. Failures of such systems might result in loss of human lives as well as significant damage to the environment. Therefore, their safety needs to be ensured. However, the development of safety-critical systems is not a trivial exercise. Hence, to preclude design faults and guarantee the desired behaviour, different industrial standards prescribe the use of rigorous techniques for development and verification of such systems. The more critical the system is, the more rigorous approach should be undertaken. To ensure safety of a critical computer-based system, satisfaction of the safety requirements imposed on this system should be demonstrated. This task involves a number of activities. In particular, a set of the safety requirements is usually derived by conducting various safety analysis techniques. Strong assurance that the system satisfies the safety requirements can be provided by formal methods, i.e., mathematically-based techniques. At the same time, the evidence that the system under consideration meets the imposed safety requirements might be demonstrated by constructing safety cases. However, the overall safety assurance process of critical computerbased systems remains insufficiently defined due to the following reasons. Firstly, there are semantic differences between safety requirements and formal models. Informally represented safety requirements should be translated into the underlying formal language to enable further veri cation. Secondly, the development of formal models of complex systems can be labour-intensive and time consuming. Thirdly, there are only a few well-defined methods for integration of formal verification results into safety cases. This thesis proposes an integrated approach to the rigorous development and verification of safety-critical systems that (1) facilitates elicitation of safety requirements and their incorporation into formal models, (2) simplifies formal modelling and verification by proposing specification and refinement patterns, and (3) assists in the construction of safety cases from the artefacts generated by formal reasoning. Our chosen formal framework is Event-B. It allows us to tackle the complexity of safety-critical systems as well as to structure safety requirements by applying abstraction and stepwise refinement. The Rodin platform, a tool supporting Event-B, assists in automatic model transformations and proof-based verification of the desired system properties. The proposed approach has been validated by several case studies from different application domains.

Airbus 340 -lentokoneen C-huoltotelakoiden layout-suunnitelma

Tässä insinöörityössä tehtiin layout-suunnitelmat C-huoltotelakoista Airbus 340 -lentokoneiden huoltoa varten ja selvitettiin samojen huoltotelakoiden käyttömahdollisuutta myös muiden konetyyppien huolloissa. Insinöörityön toimeksiantajana toimi Finnairin tekniikan lentokonekorjaamo, jonka käyttöön huoltotelakat suunniteltiin. Työ aloitettiin perehtymällä Airbus 340 -lentokoneen mittoihin ja C-huoltotarpeisiin. Seuraavaksi käytiin läpi erilaisia huoltotelakkavaihtoehtoja ja niiden aiheuttamia kustannuksia pitkällä ajanjaksolla. Huoltotelakoiden soveltuvuutta tarkasteltiin eri lentokonetyypien käyttöön. Huoltotelakoiden suunnittelussa huomioitiin myös niiden varastointivaatimukset. Lisäksi työssä käytiin läpi viranomaisten turvallisuusvaatimukset sekä lentokonehuoltotoiminnan erityisvaatimukset huoltotelakoille. Työn tuloksena syntyneitä investointilaskelmia ja layout-suunnitelmia käytetään hyödyksi valittaessa kustannuksiltaan ja käyttövaatimuksiltaan parhaiten Airbus 340 -lentokoneiden C-huoltovaatimuksia vastaava huoltotelakkavaihtoehto. Huoltotelakoiden layout-suunnitelmat on tehty työntekijöiden näkökulmat huomioiden, jotta työnteko olisi tehokasta ja ergonomista.

Folklore Fellows' summer school 1995 : personal recollections

by Isabel, Baiba, Lillis, Maria, and Ermis

Folklore Fellows' summer school 1995 : personal recollections

by Isabel, Baiba, Lillis, Maria, and Ermis

The biotechnology of lactic acid bacteria with emphasis on applications in food safety and human health

Selostus: Terveyttä ja ruoan turvallisuutta edistävät maitohappobakteerien biotekniset sovellukset

"Det är ständiga bekymmer man har med anhöriga" : ambivalens gentemot äldres barn bland personal i kommunal äldreomsorg

Abstrakti: "Sukulaisten kanssa on loputtomasti ongelmia": hoitohenkilökunnan ambivalenssi vanhusten aikuisten lasten suhteen

Experimental thermal hydraulic studies on the enhancement of safety of LWRs

The safe use of nuclear power plants (NPPs) requires a deep understanding of the functioning of physical processes and systems involved. Studies on thermal hydraulics have been carried out in various separate effects and integral test facilities at Lappeenranta University of Technology (LUT) either to ensure the functioning of safety systems of light water reactors (LWR) or to produce validation data for the computer codes used in safety analyses of NPPs. Several examples of safety studies on thermal hydraulics of the nuclear power plants are discussed. Studies are related to the physical phenomena existing in different processes in NPPs, such as rewetting of the fuel rods, emergency core cooling (ECC), natural circulation, small break loss-of-coolant accidents (SBLOCA), non-condensable gas release and transport, and passive safety systems. Studies on both VVER and advanced light water reactor (ALWR) systems are included. The set of cases include separate effects tests for understanding and modeling a single physical phenomenon, separate effects tests to study the behavior of a NPP component or a single system, and integral tests to study the behavior of the whole system. In the studies following steps can be found, not necessarily in the same study. Experimental studies as such have provided solutions to existing design problems. Experimental data have been created to validate a single model in a computer code. Validated models are used in various transient analyses of scaled facilities or NPPs. Integral test data are used to validate the computer codes as whole, to see how the implemented models work together in a code. In the final stage test results from the facilities are transferred to the NPP scale using computer codes. Some of the experiments have confirmed the expected behavior of the system or procedure to be studied; in some experiments there have been certain unexpected phenomena that have caused changes to the original design to avoid the recognized problems. This is the main motivation for experimental studies on thermal hydraulics of the NPP safety systems. Naturally the behavior of the new system designs have to be checked with experiments, but also the existing designs, if they are applied in the conditions that differ from what they were originally designed for. New procedures for existing reactors and new safety related systems have been developed for new nuclear power plant concepts. New experiments have been continuously needed.

Validation Studies of Thermal-hydraulic Code for Safety Analysis of Nuclear Power Plants

This thesis gives an overview of the validation process for thermal hydraulic system codes and it presents in more detail the assessment and validation of the French code CATHARE for VVER calculations. Three assessment cases are presented: loop seal clearing, core reflooding and flow in a horizontal steam generator. The experience gained during these assessment and validation calculations has been used to analyze the behavior of the horizontal steam generator and the natural circulation in the geometry of the Loviisa nuclear power plant. The cases presented are not exhaustive, but they give a good overview of the work performed by the personnel of Lappeenranta University of Technology (LUT). Large part of the work has been performed in co-operation with the CATHARE-team in Grenoble, France. The design of a Russian type pressurized water reactor, VVER, differs from that of a Western-type PWR. Most of thermal-hydraulic system codes are validated only for the Western-type PWRs. Thus, the codes should be assessed and validated also for VVER design in order to establish any weaknesses in the models. This information is needed before codes can be used for the safety analysis. Theresults of the assessment and validation calculations presented here show that the CATHARE code can be used also for the thermal-hydraulic safety studies for VVER type plants. However, some areas have been indicated which need to be reassessed after further experimental data become available. These areas are mostly connected to the horizontal stem generators, like condensation and phase separation in primary side tubes. The work presented in this thesis covers a large numberof the phenomena included in the CSNI code validation matrices for small and intermediate leaks and for transients. Also some of the phenomena included in the matrix for large break LOCAs are covered. The matrices for code validation for VVER applications should be used when future experimental programs are planned for code validation.

Materiaalien läpimenoajan lyhennyskeinot tulologistiikan osalta

Diplomityön tavoitteena oli löytää keinoja ja toimintamalleja materiaalien läpimenoajan lyhentämiseen lähinnä ostonimikkeiden osalta. Taustalla on konsernin tavoitteet, lisäksi tavoitteena on vähentää ulkoistetun varastoinnin tarvetta. Ensin selvitettiin nykytilanne nimikeanalyysien ja työntekijöiden haastattelujen avulla. Läpimenoaikaan vaikuttavat taustatekijät esiteltiin. Seuraavaksi tutkittiin konsernin varastonkierron analysointiin tarkoitetun ohjelmiston käyttöönotto- ja hyödyntämismahdollisuuksia. Lisäksi muodostettiin laskentamalleja varmuusvarastojen ja eräkokojen tason optimointiin. Lopulta muodostettiin toimintamalli logistiikan tehostamiseksi, johon liittyy ehdotukset eri henkilöiden toimista logistiikan tehostamiseksi. Erillisenä tarkastelukohteena oli varastossa seisovien nimikkeiden hävittämisrutiinin kehittäminen. Läpimenoaikojen lyhentämisessä on runsaasti potentiaalia kun tärkeiden nimikkeiden varmuusvarastoihin ja eräkokoihin kiinnitetään huomiota. Tärkeää on yhteistyö oston ja tuotannon ja toisaalta toimittajien kanssa. Tietoteknisten apuvälineiden kehittäminen parantaisi toimintaedellytyksiä, mutta suurimpiin ongelmakohtiin voidaan puuttua myös nykyisillä välineillä. Toiminta kannattaa aloittaa erillisistä kohteista joiden lähtökohtana on havaitut ongelmat. Koulutus ja asennemuokkaus on keskeisellä sijalla alkuvaiheessa, lisäksi jokaisen asianosaisen tulisi asettaa henkilökohtaiset tavoitteet.