Simuloinnin hyödyntäminen kotihoidon kehittämisessä

Ikääntyvien ihmisten kasvava määrä tulevina vuosikymmeninä kuormittaa kaupunkien kotihoitoa enenemässä määrin. Kaupunkien rajalliset resurssit ovat jo nyt koetuksella, eikä nykyiseen tilanteeseen ole nähtävissä huomattavaa parannusta tulevina vuosina. Kotihoidon henkilöstön määrää ei pystytä kasvattamaan riittävästi suhteessa kasvavien asiakasvirtojen kanssa, jotta korkea palvelun laatu voitaisiin taata myös tulevaisuudessa. Lahden kaupungin kotihoito pyrkii etsimään teknisiä ratkaisuja kotihoidon haasteisiin muun muassa kotihoidon töiden jakamiseen kehitetyllä optimointialgoritmilla sekä simuloinnilla. Tämä diplomityö käsittelee toimintatutkimuksen avulla simuloinnin tuomia hyötyjä sekä rajoitteita Lahden kotihoidon näkökulmasta. Launeen alueen kotihoidon haasteita käydään läpi neljässä eri työpajassa. Työssä esitetään Quest-simulointiohjelmiston ominaisuuksia, sekä Launeen alueen simulointimallin luomista aina suunnittelusta verifiointiin. Työn tuottama lisäarvo kotihoidon kehittämisessä tulee ilmi neljässä eri vaihtoehtoajossa kotihoitajien asiakkaalta toiselle kulkemien matkojen ja matkoihin käytettyjen aikojen mittaamisessa.

Kaksisuuntaisen DC/DC-hakkurin virtasäätö polttokennosovelluksessa

Ilmastonmuutos ja fossiilisten polttoaineiden ehtyminen ovat edesauttaneet uusiutuvien energialähteiden tutkimusta huomattavasti. Lisäksi alati kasvava sähköenergian tarve lisää hajautetun sähköntuotannon ja vaihtoehtoisten energialähteiden kiinnostavuutta. Yleisimpiä hajautetun sähköntuotannon energialähteitä ovat tuulivoima, aurinkovoima ja uutena tulokkaana polttokennot. Polttokennon kytkeminen sähköverkkoon vaatii tehoelektroniikkaa, ja yleensä yksinkertaisessa polttokennosovelluksessa polttokenno kytketään galvaanisesti erottavan yksisuuntaisen DC/DC-hakkurin ja vaihtosuuntaajan kanssa sarjaan. Polttokennon rinnalla voidaan käyttää akkua tasaamaan polttokennon syöttämää jännitettä, jolloin akun ja polttokennon väliin tarvitaan kaksisuuntainen DC/DC-hakkuri, joka pystyy siirtämään energiaa molempiin suuntiin. Tässä diplomityössä on esitetty kaksisuuntaisen DC/DC-hakkurin tilayhtälökeskiarvoistusmenetelmään perustuva malli sekä mallin perusteella toteutettu virtasäätö. Tutkittava hakkuritopologia on kokosilta-tyyppinen boost-hakkuri, ja säätömenetelmä keskiarvovirtasäätö. Työn tuloksena syntyi tilayhtälömalli kaksisuuntaiselle FB boost -hakkurille sekä sen tulokelan virran säätämiseen soveltuva säädin. Säädin toimii normaalitilanteissa hyvin, mutta erikoistilanteissa, kuten hakkurin tulojännitteen äkillisessä muutostilanteessa, vaadittaisiin tehokkaampi säädin, jolla saavutettaisiin nopeampi nousuaika ilman ylitystä ja oskillointia.

Cellular responses to stress and kinase signaling activation : apoptosis and differentiation

Stressignaler avkänns många gånger av membranbundna proteiner som översätter signalerna till kemisk modifiering av molekyler, ofta proteinkinaser Dessa kinaser överför de avkodade budskapen till specifika transkriptionsfaktorer genom en kaskad av sekventiella fosforyleringshändelser, transkriptionsfaktorerna aktiverar i sin tur de gener som behövs för att reagera på stressen. En av de mest kända måltavlorna för stressignaler är transkriptionsfaktor AP-1 familjemedlemen c-Jun. I denna studie har jag identifierat den nukleolära proteinet AATF som en ny regulator av c-Jun-medierad transkriptionsaktivitet. Jag visar att stresstimuli inducerar omlokalisering av AATF vilket i sin tur leder till aktivering av c-Jun. Den AATF-medierad ökningen av c-Jun-aktiviteten leder till en betydande ökning av programmerad celldöd. Parallellt har jag vidarekarakteriserat Cdk5/p35 signaleringskomplexet som tidigare har identifierats i vårt laboratorium som en viktig faktor för myoblastdifferentiering. Jag identifierade den atypiska PKCξ som en uppströms regulator av Cdk5/p35-komplexet och visar att klyvning och aktivering av Cdk5 regulatorn p35 är av fysiologisk betydelse för differentieringsprocessen och beroende av PKCξ aktivitet. Jag visar att vid induktion av differentiering fosforylerar PKCξ p35 vilket leder till calpain-medierad klyvning av p35 och därmed ökning av Cdk5-aktiviteten. Denna avhandling ökar förståelsen för de regulatoriska mekanismer som styr c-Jun-transkriptionsaktiviteten och c-Jun beroende apoptos genom att identifiera AATF som en viktig faktor. Dessutom ger detta arbete nya insikter om funktionen av Cdk5/p35-komplexet under myoblastdifferentiering och identifierar PKCξ som en uppströms regulator av Cdk5 aktivitet och myoblast differentiering.

Enseigner l'interculturel dans le supérieur: quels discours et approches d'un concept ambigu à l'heure de l'internationalisation? Le cas de la Finlande

L‘interculturel est un concept souvent partagé mais rarement défini dans la recherche alors que ses compréhensions, interprétations et applications sont variées, ce qui mène à des malentendus et des positionnements épistémologiques et méthodologiques ambigus. En parallèle, de nombreuses critiques et propositions de réorientations de la notion voient le jour. Nous entendons faire le point sur la notion et son intégration potentielle dans l‘enseignement de la communication interculturelle (ECI). Notre étude se base sur l‘analyse de six groupes focalisés d‘enseignants (-chercheurs) impliqués dans l‘enseignement de l‘interculturel du niveau supérieur en Finlande, pays du nord de l‘Europe. Nous avons recours aux paradigmes postmodernes et aux sciences du langage (analyse du discours inspirée d‘auteurs français, et plus particulièrement de l‘école française de la deuxième génération (les théories de l‘énonciation (Kerbrat-Orecchioni, 2002 ; Marnette, 2005) et une approche du dialogisme inspirée par Bakhtine (1977))). Ces méthodes permettent de mettre en avant la complexité identitaire en posant l‘hétérogénéité du discours comme principe, c‘est-à-dire qu‘elles considèrent que tout discours inclut la « voix » de l‘autre. Repérer la présence de ces voix dans les discours des enseignants/chercheurs nous a permis de démontrer comment celles-ci participaient à la construction de leur identité pendant l‘interaction. Nous avons pu observer comment les relations entre ces interactions verbales donnaient lieu à des instabilités (contradictions, omissions), dont l‘étude nous a aidée à déduire leur(s) façon(s) de concevoir l‘interculturel. Les discours analysés révèlent a) que la définition de l‘interculturel est partagée sans être perçue de la même manière et b) que les différentes représentations du concept peuvent varier dans le discours d‘un même enseignant, mettant en évidences des contradictions qui posent problème s‘il s‘agit de communiquer un savoir-être aux apprenants. Nous nous sommes efforcée de trouver la place d‘un interculturel renouvelé parmi ces discours et de dissocier l‘image de l‘éducation interculturelle qui est promue en Finlande de ce qui est proposé en réalité : les changements actuels semblent avoir un minimum d‘impact sur la façon dont les enseignants traitent l‘interculturel. Nous nous demandons alors comment l‘Etat finlandais peut promouvoir un enseignement interculturel cohérent sans proposer aux enseignants/chercheurs une formation qui leur permettrait de reconnaitre les diverses diversités impliquées par l‘interculturel. Mots clés : Communication interculturelle, diversité, culture, enseignement supérieur finlandais.

Infant Colic Crying and Gastrointestinal Tract – Causes, Consequences and Cure

Despite over 50 years of investigation, the precise cause of infant colic crying remains unresolved and the long-term consequences unrevealed, and an effective treatment is lacking. Indeed, a more profound understanding of the complex nature of infants’ excessive crying is needed. The purpose of this series of studies was to investigate the association between gut microbiota composition and infant crying, to evaluate the impact of colic crying on children’s later health and to study the possibilities of treating and preventing excessive crying with pro- and prebiotics. The material comprised three on-going, prospective randomized controlled trials of the probiotic Lactobacillus rhamnosus GG (ATCC 53103, LGG) or a mixture of prebiotics administered in early infancy. The study populations consisted of term infants (n=89), preterm infants (n=94) and term colic infants (n=30). Early crying was found to be inversely associated with the number of Bifidobacterium and Lactobacillus. Furthermore, at the age of 13 years functional gastrointestinal disorders (FGID) were manifested more frequently among children with previous colic crying than in those without. In preterm infants pro- and prebiotic supplementation during the first months of life reduced the frequency of excessive crying when compared to placebo. In parallel, probiotic LGG in tandem with a cow’s milk elimination diet and behavioral counseling reduced the daily crying amount among term colic infants when compared to placebo. In conclusion, the composition of the gut microbiota is associated with infant crying and colic, and probiotic LGG might provide a safe and effective treatment or preventive option to alleviate excessive crying in early infancy in term and preterm infants. Furthermore, early colic crying might be associated with the later development of FGID.

Competence foresight: linking the identification of HR competences and competence management alignment with business strategy

The objective of this study was to increase understanding of the link between the identification of required HR competences and competence management alignment with business strategy in a Finnish, global company employing over 8,000 people and about 100 HR professionals. This aim was approached by analyzing the data collected in focus group interviews using a grounded theory method and in parallel reviewing the literature of strategic human resource management, competence-based strategic management, strategy and foresight. The literature on competence management in different contexts dismisses in-depth discussions on the foresight process and individuals are often forgotten in strategic frameworks. However, corporate foresight helps in the detection of emerging opportunities for innovations and in the implementation of strategy. The empirical findings indicate a lack of strategic leadership and an alignment with HR and business. Accordingly, the most important HR competence areas identified were the need for increasing business understanding and enabling change. As a result, the study provided a holistic model for competence foresight, which introduces HR professionals as strategic change agents in the role of organizational futurists at the heart of the company: facilitating competence foresight and competence development on individual as well as organizational levels, resulting in an agile organization with increased business understanding, sensitive sensors and adaptive actions to enable change.

Formal modelling for digital media distribution

Human beings have always strived to preserve their memories and spread their ideas. In the beginning this was always done through human interpretations, such as telling stories and creating sculptures. Later, technological progress made it possible to create a recording of a phenomenon; first as an analogue recording onto a physical object, and later digitally, as a sequence of bits to be interpreted by a computer. By the end of the 20th century technological advances had made it feasible to distribute media content over a computer network instead of on physical objects, thus enabling the concept of digital media distribution. Many digital media distribution systems already exist, and their continued, and in many cases increasing, usage is an indicator for the high interest in their future enhancements and enriching. By looking at these digital media distribution systems, we have identified three main areas of possible improvement: network structure and coordination, transport of content over the network, and the encoding used for the content. In this thesis, our aim is to show that improvements in performance, efficiency and availability can be done in conjunction with improvements in software quality and reliability through the use of formal methods: mathematical approaches to reasoning about software so that we can prove its correctness, together with the desirable properties. We envision a complete media distribution system based on a distributed architecture, such as peer-to-peer networking, in which different parts of the system have been formally modelled and verified. Starting with the network itself, we show how it can be formally constructed and modularised in the Event-B formalism, such that we can separate the modelling of one node from the modelling of the network itself. We also show how the piece selection algorithm in the BitTorrent peer-to-peer transfer protocol can be adapted for on-demand media streaming, and how this can be modelled in Event-B. Furthermore, we show how modelling one peer in Event-B can give results similar to simulating an entire network of peers. Going further, we introduce a formal specification language for content transfer algorithms, and show that having such a language can make these algorithms easier to understand. We also show how generating Event-B code from this language can result in less complexity compared to creating the models from written specifications. We also consider the decoding part of a media distribution system by showing how video decoding can be done in parallel. This is based on formally defined dependencies between frames and blocks in a video sequence; we have shown that also this step can be performed in a way that is mathematically proven correct. Our modelling and proving in this thesis is, in its majority, tool-based. This provides a demonstration of the advance of formal methods as well as their increased reliability, and thus, advocates for their more wide-spread usage in the future.