Hankintojen kehittäminen ostoerien optimoinnilla

Tutkimuksen tavoitteena on selvittää ostoerien optimoinnilla mahdollisesti saavutettavia kustannussäästöjä ja muita etuja. Talla tarkoitetaan käytännössä yrityksen hankintojen tilausrytmin tiivistämisen mahdollisuuden läpikäymistä. Tutkimuksen empiirisen analyysin tärkein tavoite on selvittää soveltuisiko uusi ostotilausmalli case-yritykselle ja kuinka se vaikuttaisi kustannuksiin. Tutkielman teoriarungossa käsitellään aluksi logistiikan tämän päivän roolia yrityksen arvoketjussa ja logististen toimintojen tehokkuuden mittausta. Teoria osuuden pääpaino on kuitenkin toiminnoissa, joilla hankintoja voidaan kehittää. Naista rajoitutaan varastoinnin kehittämiseen ostoerien optimoinnilla. Empiirisessä osassa käytetään Vaasan & Vaasan Oy:n kustannustiedoista tätä tutkimusta varten muodostettuja raportteja ja muita numeerisia kustannustietoja, joita analysoidaan ostoerien optimointimallin avulla. Tutkimus on kvantitatiivinen analyysi tästä aineistosta. Logistiikan tehokkuus vaikuttaa merkittävästi yrityksen toiminnan tuloksiin, koska hankinnat sitovat merkittävän osan yrityksen pääomasta ja ovat yrityksen suurimpia kulueriä. Teoriassa osoitetaan, että logistiikkaa ja hankintoja kehittämällä ostoerien optimoinnin avulla voidaan vaikuttaa yrityksen toiminnan tehokkuuteen. Empiirisen osan tulosten perusteella ostojen muuttamisella jaksottaiseksi tilaukseksi on vaikutusta toiminnan tehokkuuteen ja sitoutuneisiin pääomiin. Uuden mallin avulla hankintoja sekä logistiikkaa voidaan kehittää lisää, hankintaprosesseja saadaan yksinkertaistettua, voidaan kehittää ostokuljetuksia ja malli tukee yrityksen hankintojen kehittämisen tavoitteita seuraavalle vuodelle.

Teollisuusvaihteen kokoonpanoprosessin laadun parantaminen

Paperikoneen telalle integroitujen mekaanisten käyttölaitteiden valmistuksen siirtoprojektin yhteydessä on raportoitu huomattavan paljon valmistuksen aikaisia poikkeamia. Poikkeamien juurisyyn hahmottamiseksi tehtiin kvantitatiivinen analyysi raportoiduista poikkeamista ja kvalitatiivinen analyysi kokoonpanon nykytilasta. Kokoonpanotyöstä suuri osa on tällä hetkellä arvoa jalostamatonta työtä. Tutkimuksessa havaittiin valmistusprosessissa kaikkia kokoonpanon poikkeamien perustyyppejä ja näitä poikkeamia olivat aiheuttaneet kaikki mahdolliset aiheuttajat. Etenkin hankittavien osien laatua tulisi käsitellä poikkeamien aiheuttamien kokonaiskustannusten kautta. Kokoonpanon tarvitsema tieto on olemassa täsmällisessä muodossa, mutta sen luoksepäästävyys on huono. Prosessin kuvauksella, hiljaisen tiedon kirjaamisella ja täsmällisen tiedon julkistamisella voidaan parantaa tuotannon laatua tuotetuntemuksen parantuessa. Käyttökohteen tunteminen parantaa vaatimusten ymmärtämistä. Tutkimuksessa havaittujen poikkeamien analysoinnin perusteella erityistä huomiota tulisi kiinnittää tarkastusvaiheiden olemassa oloon, sijoitukseen ja niiden laatuun. Suuri osa poikkeamista oli edennyt kokoonpanoon jonkin tarkastusvaiheen läpi. Tarkastusvaiheiden laatutason tulee parantua, jotta moninkertaisesta tarkastuksesta voidaan luopua.

Eurooppalainen näkökulma suomalaiseen kulttuurijohtamiseen ja suomalaiseen yhteiskuntaan sopeutuminen

Tässä tutkielmassa korostuu Euroopan sisäinen kulttuurillinen erilaisuus ja sen vaatimukset Suomessa toimiville monikansallisille organisaatioille. Eurooppalaista johtamista on tutkittu jo vuosikymmenten ajan, mutta erityisesti suomalaisesta, Suomessa työskentelevien eurooppalaisten näkökulmasta ei vastaavaa tutkimusta tiettävästi ole aiemmin tehty. Tutkimuksen tavoitteena on selvittää suomalaisen kulttuurin ja johtajuuden arvoeroja muiden Euroopan Unionin maiden kansalaisten näkökulmasta. Pohjois-Euroopan maista tutkimuksessa on mukana edustajia Ruotsista, Tanskasta ja Hollannista. Keski-Euroopan maista edustusta löytyy Saksasta ja Itävallasta, kun Etelä-Eurooppaa edustavat ranskalaiset ja italialaiset henkilöt. Itäisestä Euroopasta mukana on latvialaisia henkilöitä ja anglo-Euroopasta britannialaisia. Tutkimus kartoittaa tutkimukseen mukaan otettujen maiden yhteisö- ja johtamiskulttuurillisia törmäyskohtia suomalaisen kulttuurin kanssa, jotta Suomessa toimivat monikansalliset työyhteisöt löytäisivät yhä parempia strategioita eurooppalaisen ihmispääoman, eurooppalaisten työntekijöiden ja näiden osaamisen, johtamiseksi ja monikansallisen yhteisön toimivuuden ymmärtämiseksi ja parantamiseksi. Näitä törmäyskohtia tarkastellaan empiirisesti Hofsteden (1984) kulttuuridimensioiden, Housen ym. (1999) GLOBE-tutkimuksen ja Koopmanin ym. (1999) johtajuusulottuvuuksien avulla. Tutkimusaineisto koostuu Internet-pohjaisesta kyselystä, joka suoritettiin keväällä 2010. Siihen osallistui 75 Suomessa työskentelevää Euroopan Unionin kansalaista. Analysointimenetelmänä tutkimuksessa käytetään klusterointia, keskiarvoistuksia, Kruskall Wallisin testiä ja sisällönanalyysiä tukemaan määrällisen analyysin tuloksia ja tuomaan esiin siitä poikkeavia havaintoja. Tutkimuksen ytimessä on johtamiskulttuurilliset erot, joista tehdään laajempaa analyysiä edellä mainituin keinoin. Yhteisökulttuurillisia eroja havainnoidaan tutkimuskyselyyn perustuvien väittämien perusteella tehtyjen histogrammien avulla. Tutkimuksen tulokset osoittavat, että maantieteellinen, uskonnollinen tai poliittinen läheisyys eivät määritä kulttuurillista läheisyyttä tai johda kulttuurilliseen sopeutumiseen. Poliittinen raja kahden naapurin välillä saattaa johtaa saman asian kokemiseen kahdella täysin eri tavalla. Lisäksi tuloksista käy ilmi, että yhteisökulttuurilliset ja johtamiskulttuurilliset arvot eivät välttämättä kulje käsikkäin Suomessa työskentelevien eurooppalaisten näkökulmasta. Yleisinä kulttuurillisina kipukohtina tutkimuksessa nousee esiin suomalaisen kulttuurin sosiaalisuuden ja kommunikaation puutteellisuus, toisaalta suomalaiseen kulttuuriin sopeutumista helpottaa suomalainen rehellisyys ja suoruus. Johtamiskulttuurillisina haasteina eurooppalaiset kokevat suomalaisen tyyppijohtajan kyvyttömyyden riskien ottamiseen ja kannustusmenetelmien puutteet. Tämän lisäksi tutkimuksessa tulee ilmi useita tiettyihin kansallisuuksiin liittyviä törmäyskohtia. Tutkimus on nähtävä tämän hetken kuvauksena. Kulttuuritutkimus sisältää monia tekijöitä, jotka ovat jatkuvassa muutoksessa ja lisäksi hyvin subjektiivisia. Kulttuurijohtajuus merkitsee kuitenkin nyt ja tulevaisuudessa kykyä olla innovatiivinen, joustava ja herkkä sosiaalisille merkityksille.

Kielikylpydidaktiikkaa kehittämässä : 3-6-vuotiaiden kielikylpylasten kielellinen kehitys ja kielikylpydidaktiikan kehittäminen päiväkodissa

The goal of this study is to determine the naming ability in Finnish and Swedish of nursery school-aged children participating in a language immersion programme, as well as their command of both languages. The study also aims to describe factors reflecting language immersion teaching in nursery schools based on action research and a literature survey. The longitudinal study, conducted in 2003–2005, comprised 133 native Finnish three- to six-year-old children in language immersion programmes. A total of four measurements were carried out over two and a half years. In each measurement, four separate tests were given to each child (totally 1134 measurements). Research material was collected using survey tools that measured the children’s naming ability and command of language. The tools had been translated into both Finnish and Swedish. The material also includes taped responses related to the tool for naming ability. Didactic approaches were developed on the basis of material from action research and the literature survey. The material was examined using methodological triangulation, and a quantitative analysis was made of each survey tool. Furthermore, a content analysis of the children’s taped responses gave further depth to the description of language development. The theoretical framework of the study is mainly based on modern sociocultural theories of second language development and acquisition. Thus, the approach is both linguistic and pedagogic, with emphasis lying on the latter. The socioculturally-oriented framework of this study is mainly influenced by the theorists Vygotski, Spolsky, van Lier and Cummins. According to the results, the language skills of children in language immersion programmes develop as expected from age three to six in the fields studied. In the field of language command, the children acquired excellent skills in listening comprehension. Their naming ability was not as good. In each test, the children showed weaker skills in Swedish than in Finnish. However, based on the assumption that the two languages have a shared cognitive field, the skills in Swedish catch up with the skills in Finnish at an annual rate of 6–7 per cent. The study indicates that children meet a language development threshold one year earlier in their native language than they do in the immersion language. As for the naming ability in Swedish, problems arose from the fact that the deviation in results increases with age. Children showed creativity in their use of naming strategies. Judging by the research results, children begin to use the immersion language as a tool for thought at a very early phase. The research results, action research and literature survey were also used to create a general educational model for language immersion.

Enabling constructive alignment in programming instruction

In this thesis, simple methods have been sought to lower the teacher’s threshold to start to apply constructive alignment in instruction. From the phases of the instructional process, aspects that can be improved with little effort by the teacher have been identified. Teachers have been interviewed in order to find out what students actually learn in computer science courses. A quantitative analysis of the structured interviews showed that in addition to subject specific skills and knowledge, students learn many other skills that should be mentioned in the learning outcomes of the course. The students’ background, such as their prior knowledge, learning style and culture, affects how they learn in a course. A survey was conducted to map the learning styles of computer science students and to see if their cultural background affected their learning style. A statistical analysis of the data indicated that computer science students are different learners than engineering students in general and that there is a connection between the student’s culture and learning style. In this thesis, a simple self-assessment scale that is based on Bloom’s revised taxonomy has been developed. A statistical analysis of the test results indicates that in general the scale is quite reliable, but single students still slightly overestimate or under-estimate their knowledge levels. For students, being able to follow their own progress is motivating, and for a teacher, self-assessment results give information about how the class is proceeding and what the level of the students’ knowledge is.

Spectroscopic monitoring during laser welding of aluminium alloy

The mechanical properties of aluminium alloys are strongly influenced by the alloying elements and their concentration. In the case of aluminium alloy EN AW-6060 the main alloying elements are magnesium and silicon. The first goal of this thesis was to determine stability, repeatability and sensitivity as figures of merit of the in-situ melt identification technique. In this study the emissions from the laser welding process were monitored with a spectrometer. With the information produced by the spectrometer, quantitative analysis was conducted to determine the figures of merit. The quantitative analysis concentrated on magnesium and aluminium emissions and their relation. The results showed that the stability of absolute intensities was low, but the normalized magnesium emissions were quite stable. The repeatability of monitoring magnesium emissions was high (about 90 %). Sensitivity of the in-situ melt identification technique was also high. As small as 0.5 % change in magnesium content was detected by the spectrometer. The second goal of this study was to determine the loss of mass during deep penetration laser welding. The amount of magnesium in the material was measured before and after laser welding to determine the loss of magnesium. This study was conducted for aluminium alloy with nominal magnesium content of 0-10 % and for standard material EN AW-6060 that was welded with filler wire AlMg5. It was found that while the magnesium concentration in the material changed, the loss of magnesium remained fairly even. Also by feeding filler wire, the behaviour was similar. Thirdly, the reason why silicon had not been detected in the emission spectrum needed to be explained. Literature research showed that the amount of energy required for silicon to excite is considerably higher compared to magnesium. The energy input in the used welding process is insufficient to excite the silicon atoms.

Yrityksen taloudellisen menestymisen ennustaminen yritystutkimuksen avulla

Tutkielmassa selvitetään, voiko yrityksen taloudellista menestymistä ennustaa yritystutkimuksen avulla. Tutkielman aineistona on 30 heikon riskiluokan ja 30 hyvän riskiluokan omaavan yrityksen yritystutkimusraporttia. Konkurssista varoittavat tekijät on jaettu varhaisiin ja myöhäisiin varoittajiin. Varhaiset varoittajat liittyvät yrityksen reaaliprosessiin, esimerkkinä huono liikkeenjohto. Myöhäiset varoittajat ovat tilinpäätösanalyysiin perustuvia tunnuslukuja. Tässä tutkielmassa muuttujina käytetään toimitusjohtajan koulutusta, kokemusta, omistusosuutta sekä yrityksen kasvua strategiselta pohjalta ja reaalisesti. Tilinpäätöksen tunnusluvuista käytetään nettotulosta, rahoitustulosta, omavaraisuusastetta ja quick ratiota. Tutkielman perusteella voidaan todeta, että yrityksen taloudellista menestymistä ei voida ennustaa valituilla kvalitatiivisilla muuttujilla, mutta tilinpäätöksen tunnusluvut ennustavat yrityksen menestymistä.

Customer profitability measurement in a not-for-profit organization

The objective of this study was to find out the factors that affect customer profitability in the not-for-profit case company. The customer profitability was examined in two different segments of the customer base. The effects that price, cost and the amount of services provided have on the profit margin were studied. The distribution of profitability among the customers and the effect of certain characteristics, such as size of the customer measured in services purchased, on the profitability were analyzed. The theoretical framework was built around customer profitability and the use of customer profitability information in a not-for-profit organization. The present use of customer profitability information and the possibilities of using the results of this research in the case company were presented. Quantitative research methods were used in the empirical part of the study. The results indicate that the two customer segments have differences in their buying behaviors which affect the profitability and thus the measures taken to improve the profitability should be considered with the different characteristics of the customers in mind. Finally the limitations of the study were discussed as possible further research topics.

Das persönliche Glück auf dem unpersönlichen Markt. Deutsche und finnische Kontaktanzeigen im 20. Jahrhundert - eine kontrastive und diachrone Textsortenuntersuchung

Min avhandling är en diakronisk och kontrastiv undersökning av texttyper. Forskningsmaterialet består av kontaktannonser i tidningarna Süddeutsche Zeitung och Helsingin Sanomat under tiden 1900 – 1999. Materialet består av 652 tyska och 538 finska annonser. De undersökta annonserna har publicerats i maj och har samlats från ovannämnda tidningar vart tionde år. Materialet har analyserats med ett statistiskt SPSS-program. I avhandlingen analyseras utvecklingen av ovannämnda texttyp under hundra år i två olika kulturer, den tyska och den finska. Syftet med avhandlingen är att med hjälp av detta material finna språkliga och kulturella likheter och skillnader i kontaktannonser. Utgångspunkten är att språkliga uttryck avspeglar sin tids samhälleliga värderingar, vilka således också påverkar sökandet efter en livskamrat. Analysresultaten granskas sålunda i ett större samhälleligt sammanhang under olika decennier. Annonstexterna undersöks dock inte utgående från enskilda samhälleliga skeenden. Avhandlingen analyserar 13 olika informationsenheter i kontaktannonserna, huruvida dessa enheter förekommer under hela den aktuella perioden och om samma informationsenheter förekommer i annonser i de båda kulturerna. Avhandlingen är sålunda intra- och interlingual samt interkulturell. Genom denna metod får man fram de kännetecken som är betecknande för denna texttyp under en viss tid i de bägge kulturerna. Avhandlingen är indelad i tre delar. Den första delen ger bakgrundsinformation om äktenskapets och familjebegreppets historia samt om uppkomsten av den tyska och finska pressen. Den andra teoretiska delen behandlar text- och texttyplingvistik samt nuvarande forskning inom dessa områden. Den tredje och mest omfattade delen består av en kvalitativ och kvantitativ analys, som omfattar 11 olika forskningsdelar. Undersökningen visar att man i texttypen kontaktannonser kan upptäcka skillnader t ex redan däri att en tysk annons skiljer sig från en finsk vad längd och informationsmängd beträffar. En finsk annons förlitar sig i sin språkliga knapphet på att läsaren förstår kontexten i texttypen. Av avhandlingen framgår också att vid analys av texttyper bör deras historiska och kulturella kontext beaktas, eftersom analysen påvisar att texttyperna är historie- och kulturbundna.

Reusable formal architectures for networked systems

Today's networked systems are becoming increasingly complex and diverse. The current simulation and runtime verification techniques do not provide support for developing such systems efficiently; moreover, the reliability of the simulated/verified systems is not thoroughly ensured. To address these challenges, the use of formal techniques to reason about network system development is growing, while at the same time, the mathematical background necessary for using formal techniques is a barrier for network designers to efficiently employ them. Thus, these techniques are not vastly used for developing networked systems. The objective of this thesis is to propose formal approaches for the development of reliable networked systems, by taking efficiency into account. With respect to reliability, we propose the architectural development of correct-by-construction networked system models. With respect to efficiency, we propose reusable network architectures as well as network development. At the core of our development methodology, we employ the abstraction and refinement techniques for the development and analysis of networked systems. We evaluate our proposal by employing the proposed architectures to a pervasive class of dynamic networks, i.e., wireless sensor network architectures as well as to a pervasive class of static networks, i.e., network-on-chip architectures. The ultimate goal of our research is to put forward the idea of building libraries of pre-proved rules for the efficient modelling, development, and analysis of networked systems. We take into account both qualitative and quantitative analysis of networks via varied formal tool support, using a theorem prover the Rodin platform and a statistical model checker the SMC-Uppaal.

Kestävä kehitys ja yritysvastuu – yritysvastuun raportointi suomalaisissa pörssiyrityksissä

Yritysvastuun ja kestävän kehityksen merkitys yritystoiminnassa kasvaa jatkuvasti tuoden mukanaan myös uusia vaatimuksia yrityksen toiminnalle ja raportoinnille. Tämän tutkimuksen tavoitteena on antaa kokonaiskuva yritysvastuun raportoinnista suurissa suomalaisessa pörssiyhtiössä. Tutkimuksessa selvitetään myös GRI:n merkitystä raportoinnissa ja sen taloudellisten indikaattoreiden hyödyntämistä. Tutkimuksessa analysoidaan tarkemmin yritysvastuun taloudellista ulottuvuutta, mittareita ja tavoitteita ja tarkastellaan, onko niissä havaittavissa toimialakohtaisia eroja. Tutkimus on kvalitatiivinen, mutta siinä on hyödynnetty myös määrällistä analyysiä. Tutkimuksen empiirinen aineisto koostuu 26 suuren suomalaisen pörssiyhtiön vuoden 2010 yritysvastuuraporteista ja vuosikertomuksista. Suurin osa kohdeyrityksistä raportoi yritysvastuusta, mutta raportoinnin laajuudessa on eroja. Yritykset julkaisevat toteumatietoja laajemmin kuin tavoitteita. Tavoitepoikkeamien analysointi on vielä vähäistä. Rahoitustoimiala raportoi yritysvastuusta muita toimialoja vähemmän. Kaksi kolmasosaa tutkimuksen kohdeyrityksistä ilmoitti soveltavansa GRI:n mukaista raportointioh-jeistoa. Yritysten väliset erot raportointiohjeiston soveltamisen välillä ovat suuret. Merkittäviä toimialakohtaisia eroja yritysvastuun tai taloudellisen vastuun raportoinnissa ei ole.

Value of Information Logistics Integration in Digital Business Ecosystem

Digital business ecosystems (DBE) are becoming an increasingly popular concept for modelling and building distributed systems in heterogeneous, decentralized and open environments. Information- and communication technology (ICT) enabled business solutions have created an opportunity for automated business relations and transactions. The deployment of ICT in business-to-business (B2B) integration seeks to improve competitiveness by establishing real-time information and offering better information visibility to business ecosystem actors. The products, components and raw material flows in supply chains are traditionally studied in logistics research. In this study, we expand the research to cover the processes parallel to the service and information flows as information logistics integration. In this thesis, we show how better integration and automation of information flows enhance the speed of processes and, thus, provide cost savings and other benefits for organizations. Investments in DBE are intended to add value through business automation and are key decisions in building up information logistics integration. Business solutions that build on automation are important sources of value in networks that promote and support business relations and transactions. Value is created through improved productivity and effectiveness when new, more efficient collaboration methods are discovered and integrated into DBE. Organizations, business networks and collaborations, even with competitors, form DBE in which information logistics integration has a significant role as a value driver. However, traditional economic and computing theories do not focus on digital business ecosystems as a separate form of organization, and they do not provide conceptual frameworks that can be used to explore digital business ecosystems as value drivers—combined internal management and external coordination mechanisms for information logistics integration are not the current practice of a company’s strategic process. In this thesis, we have developed and tested a framework to explore the digital business ecosystems developed and a coordination model for digital business ecosystem integration; moreover, we have analysed the value of information logistics integration. The research is based on a case study and on mixed methods, in which we use the Delphi method and Internetbased tools for idea generation and development. We conducted many interviews with key experts, which we recoded, transcribed and coded to find success factors. Qualitative analyses were based on a Monte Carlo simulation, which sought cost savings, and Real Option Valuation, which sought an optimal investment program for the ecosystem level. This study provides valuable knowledge regarding information logistics integration by utilizing a suitable business process information model for collaboration. An information model is based on the business process scenarios and on detailed transactions for the mapping and automation of product, service and information flows. The research results illustrate the current cap of understanding information logistics integration in a digital business ecosystem. Based on success factors, we were able to illustrate how specific coordination mechanisms related to network management and orchestration could be designed. We also pointed out the potential of information logistics integration in value creation. With the help of global standardization experts, we utilized the design of the core information model for B2B integration. We built this quantitative analysis by using the Monte Carlo-based simulation model and the Real Option Value model. This research covers relevant new research disciplines, such as information logistics integration and digital business ecosystems, in which the current literature needs to be improved. This research was executed by high-level experts and managers responsible for global business network B2B integration. However, the research was dominated by one industry domain, and therefore a more comprehensive exploration should be undertaken to cover a larger population of business sectors. Based on this research, the new quantitative survey could provide new possibilities to examine information logistics integration in digital business ecosystems. The value activities indicate that further studies should continue, especially with regard to the collaboration issues on integration, focusing on a user-centric approach. We should better understand how real-time information supports customer value creation by imbedding the information into the lifetime value of products and services. The aim of this research was to build competitive advantage through B2B integration to support a real-time economy. For practitioners, this research created several tools and concepts to improve value activities, information logistics integration design and management and orchestration models. Based on the results, the companies were able to better understand the formulation of the digital business ecosystem and the importance of joint efforts in collaboration. However, the challenge of incorporating this new knowledge into strategic processes in a multi-stakeholder environment remains. This challenge has been noted, and new projects have been established in pursuit of a real-time economy.

Children at psychiatric risk and their families in Bucharest, in the context of 25 years of changes after December 89’ Romanian Revolution

The aim of the present dissertation was to capture a picture of child and adolescent mental health in Romania, in the context of almost 25 years of changes following the Romanian Revolution of December ’89. A three-part study was carried out in order to provide consistent answers to the pre-defined objectives: to appraise the development of child and adolescent mental health services in Romania (Part I), to explore the characteristics of clinically-referred patients in a Romanian child and adolescent psychiatry department (Part II), to examine the children’s mental health state and its connections with family functioning and associated risk factors (Part III). A multi-method research approach was used, comprising one qualitative analysis and two quantitative research studies. Part I consisted of a comparative qualitative analysis of the answers given by 10 mental health professionals at a 12-questions open ended interview about the current situation in child and adolescent mental health in Romania, on three topics: changes, challenges, solutions. Part II involved a descriptive quantitative analysis of certain variables (e.g. age, gender, primary diagnosis, co-morbidities, time of hospitalization) conducted on the patients who had been admitted to the Child and Adolescent Psychiatry Department at “Prof. Dr. Alexandru Obregia” Psychiatry Hospital, Bucharest in 1991 and in 2013. Part III was conducted on 342 subjects enrolled in two clinical groups and one school group, this study being performed through a cross-sectional analysis on multi-informant child and adolescent mental health problems and competencies (CBCL, YSR, SDQ P, SDQ SR) and their interrelation with household information (HQ) and family functioning (FAD). Outlining the results it can be stated that: 1) The CAMH System in Romania is definitely set on the path of reorganization, including a higher involvement of beneficiaries and of the community. 2) The characteristics of the admitted patients have changed significantly during the last almost 25 years since `89 December Revolution, under the influence of word wide trends in child psychiatry and of administrative aspects of the mental health network in Romania. 3) The rates of main diagnoses and co-morbidities confirm the reports in literature, with Autism Spectrum Disorder being the most frequent childhood psychiatric disorders in this study. 4) The children’s mental health problems in the psychiatry group are comparable to those reported for other clinical populations. 5) Significant score differences were observed according to various household features and also meaningful associations between a child’s clinical status and different aspects of family functioning. The Romanian Child and Adolescent Psychiatry has started to adopt the norms and standards of the European Union. In the 25 years that have elapsed after the 1989 Revolution, many changes have occurred in Romanian CAMH, but many unresolved issues have also risen. Therefore, the major contribution of this thesis is that it provides a coherent and updated overview of the present-day situation from three different perspectives- those of mental healthcare professionals, the one observed in clinical patients and the one reported by children’s families.

The effects of congestion in the daily management of a trauma hospital

Today’s healthcare organizations are under constant pressure for change, as hospitals should be able to offer their patients the best possible medical care with limited resources and, at the same time, to retain steady efficiency level in their operation. This is challenging, especially in trauma hospitals, in which the variation in the patient cases and volumes is relatively high. Furthermore, the trauma patient's care requires plenty of resources as most the patients have to be treated as single cases. Occasionally, the sudden increases in demand causes congestion in the operations of the hospital, which in Töölö hospital appears as an increase in the surgery waiting times within the yellow urgency class patients. An increase in the surgery waiting times may cause the diminution of the patient's condition, which also raises the surgery risks. The congestion itself causes overloading of the hospital capacity and staff. The aim of this master’s thesis is to introduce the factors contributing to the trauma process, and to examine the correlation between the different variables and the lengthened surgery waiting times. The results of this study are based on a three-year patient data and different quantitative analysis. Based on the analysis, a daily usable indicator was created in order to support the decision making in the operations management. By using the selected indicator, the effects of congestion can be acknowledged and the corrective action can also be taken more proactively.

Formal development of resilient distributed systems

Resilience is the property of a system to remain trustworthy despite changes. Changes of a different nature, whether due to failures of system components or varying operational conditions, significantly increase the complexity of system development. Therefore, advanced development technologies are required to build robust and flexible system architectures capable of adapting to such changes. Moreover, powerful quantitative techniques are needed to assess the impact of these changes on various system characteristics. Architectural flexibility is achieved by embedding into the system design the mechanisms for identifying changes and reacting on them. Hence a resilient system should have both advanced monitoring and error detection capabilities to recognise changes as well as sophisticated reconfiguration mechanisms to adapt to them. The aim of such reconfiguration is to ensure that the system stays operational, i.e., remains capable of achieving its goals. Design, verification and assessment of the system reconfiguration mechanisms is a challenging and error prone engineering task. In this thesis, we propose and validate a formal framework for development and assessment of resilient systems. Such a framework provides us with the means to specify and verify complex component interactions, model their cooperative behaviour in achieving system goals, and analyse the chosen reconfiguration strategies. Due to the variety of properties to be analysed, such a framework should have an integrated nature. To ensure the system functional correctness, it should rely on formal modelling and verification, while, to assess the impact of changes on such properties as performance and reliability, it should be combined with quantitative analysis. To ensure scalability of the proposed framework, we choose Event-B as the basis for reasoning about functional correctness. Event-B is a statebased formal approach that promotes the correct-by-construction development paradigm and formal verification by theorem proving. Event-B has a mature industrial-strength tool support { the Rodin platform. Proof-based verification as well as the reliance on abstraction and decomposition adopted in Event-B provides the designers with a powerful support for the development of complex systems. Moreover, the top-down system development by refinement allows the developers to explicitly express and verify critical system-level properties. Besides ensuring functional correctness, to achieve resilience we also need to analyse a number of non-functional characteristics, such as reliability and performance. Therefore, in this thesis we also demonstrate how formal development in Event-B can be combined with quantitative analysis. Namely, we experiment with integration of such techniques as probabilistic model checking in PRISM and discrete-event simulation in SimPy with formal development in Event-B. Such an integration allows us to assess how changes and di erent recon guration strategies a ect the overall system resilience. The approach proposed in this thesis is validated by a number of case studies from such areas as robotics, space, healthcare and cloud domain.