Probiotic interventions in infancy: Benefit and Safety Assessment of Extended Applications

Immaturity of the gut barrier system in the newborn has been seen to underlie a number of chronic diseases originating in infancy and manifesting later in life. The gut microbiota and breast milk provide the most important maturing signals for the gut-related immune system and reinforcement of the gut mucosal barrier function. Recently, the composition of the gut microbiota has been proposed to be instrumental in control of host body weight and metabolism as well as the inflammatory state characterizing overweight and obesity. On this basis, inflammatory Western lifestyle diseases, including overweight development, may represent a potential target for probiotic interventions beyond the well documented clinical applications. The purpose of the present undertaking was to study the efficacy and safety of perinatal probiotic intervention. The material comprised two ongoing, prospective, double-blind NAMI (Nutrition, Allergy, Mucosal immunology and Intestinal microbiota) probiotic interventions. In the mother-infant nutrition and probiotic study altogether 256 women were randomized at their first trimester of pregnancy into a dietary intervention and a control group. The intervention group received intensive dietary counselling provided by a nutritionist, and were further randomized at baseline, double-blind, to receive probiotics (Lactobacillus rhamnosus GG and Bifidobacterium lactis) or placebo. The intervention period extended from the first trimester of pregnancy to the end of exclusive breastfeeding. In the allergy prevention study altogether 159 women were randomized, double-blind, to receive probiotics (Lactobacillus rhamnosus GG) or placebo 4 weeks before expected delivery, the intervention extending for 6 months postnatally. Additionally, patient data on all premature infants with very low birth weight (VLBW) treated in the Department of Paediatrics, Turku University Hospital, during the years 1997 - 2008 were utilized. The perinatal probiotic intervention reduced the risk of gestational diabetes mellitus (GDM) in the mothers and perinatal dietary counselling reduced that of fetal overgrowth in GDM-affected pregnancies. Early gut microbiota modulation with probiotics modified the growth pattern of the child by restraining excessive weight gain during the first years of life. The colostrum adiponectin concentration was demonstrated to be dependent on maternal diet and nutritional status during pregnancy. It was also higher in the colostrum received by normal-weight compared to overweight children at the age of 10 years. The early perinatal probiotic intervention and the postnatal probiotic intervention in VLBW infants were shown to be safe. To conclude, the findings in this study provided clinical evidence supporting the involvement of the initial microbial and nutritional environment in metabolic programming of the child. The manipulation of early gut microbial communities with probiotics might offer an applicable strategy to impact individual energy homeostasis and thus to prevent excessive body-weight gain. The results add weight to the hypothesis that interventions aiming to prevent obesity and its metabolic consequences later in life should be initiated as early as during the perinatal period.

Todennäköisyyspohjaisen paloanalyysimenetelmän kehittäminen ydinvoimalaitoksella

Diplomityössä on tutustuttu ydinvoimalaitosten paloriskejä käsittelevään todennäköisyyspohjaiseen turvallisuusanalyysiin. Tavoitteena on ollut Olkiluoto 1 ja 2 laitosyksiköiden paloanalyysimenetelmän kehittäminen. Työssä esitetään paloanalyysin pääpiirteet, kaksi erilaista palotaajuuksien estimointimenetelmää sekä palojen leviämisen arviointimenetelmiä. Palotaajuuksien estimointimenetelmistä keskitytään Berryn menetelmän sekä NUREG/CR-6850-palotaajuuslaskentamenetelmän tarkasteluun. Palon leviämisen arvioinnissa on esitetty kolmen erilaisen virtausteknisen laskentatyökalun perusteet sekä palon leviämistodennäköisyyksiä arvioivan Probabilistic Fire Simulator (PFS) -ohjelman käyttöä. Työn aikana on laskettu molemmilla palotaajuuden estimointimenetelmillä palotaajuuksia eri tyyppisille huonetiloille. Berryn menetelmän palotaajuudet olivat pääosin alhaisempia kuin NUREG/CR-6850-menetelmällä lasketut palotaajuudet. Palon leviämistarkastelussa on tutkittu ydinvoimalaitoksen relehuoneen tulipaloa. PFS:n avulla laskettujen leviämistodennäköisyyksien arvoja on vertailtu TVO:n paloanalyysissa käytettyihin kvalitatiivisiin peittokertoimiin. Palon leviämistodennäköisyys eri osajärjestelmien välillä todettiin suuresti riippuvan analyysissaoletetuista vaurioitumislämpötiloista. Tutkittuja menetelmiä hyödyntäen diplomityössä kehitettiin paloanalyysimenetelmäkuvaus. Menetelmäkuvauksessa huonetilojen paloriskit kartoitetaan aluksi Berryn menetelmällä. Näin kaikille laitoksen huonetiloille saadaan arvioitua palotaajuus sekä paloalkutapahtumaluokkien sydänvauriotaajuus. Seuraavaksi suoritetaan valintamenettely, jossa valitut kriteerit täyttäville huonetiloille tehdään tarkentava palotaajuuslaskenta. Tarkentava palotaajuuslaskenta perustuu NUREG/CR-6850-menetelmän mukaisesti huonetilojen realistisiin syttymislähteisiin. Kriittisimpien huonetilojen osalta palon leviämisen arviointiin on tarkoitus hyödyntää numeerista simulointia.

Todennäköisyyspohjaisen kaapelipaloriskianalyysimenetelmän kehittäminen ydinvoimalaitokselle

Ydinenergian tuottamisessa turvallisuus on tärkeää. Todennäköisyyspohjaisella riskianalyysillä voidaan arvioida turvallisuusvaatimusten täyttymistä eri tilanteissa. Tässä diplomityössä tarkastellaan todennäköisyyspohjaisen riskianalyysin käyttöä ydinvoimalaitoksen kaapelipalojen vaikutusten arvioinnissa. Työn tarkoituksena on omalta osaltaan edistää ydinvoimalaitosten kaapelipaloturvallisuuden parantamista. Työssä esitellään todennäköisyyspohjaisen riskianalyysin ja todennäköisyyspohjaisen paloanalyysin periaatteet sekä nykyiset kaapelipaloanalyysimenetelmät. Olemassa olevien menetelmien pohjalta kehitettiin menetelmä Olkiluoto 1 ja 2 laitosyksiköiden kaapelipaloturvallisuuden arviointiin. Työssä tarkastellaan myös maailmalla sattuneita kaapelipaloja sekä ydinvoimalaitosten palosimulointiin kehitettyä ohjelmistoa. Työssä kehitetty kaapelipaloanalyysi jakautuu kahteen päävaiheeseen: virtapiirien vika-analyysiin ja virtapiirivikojen todennäköisyysanalyysiin. Virtapiirien vika-analyysi käsittää kaapeleiden vikamoodien, virtapiirien vikaantumisluokkien sekä vikaantumisten vaikutuksien määrittämisen. Virtapiirivikojen todennäköisyysanalyysissä määritetään puolestaan vikaantumistodennäköisyydet kaapelipalokokeiden tulosten pohjalta. Kehitettyä analyysimenetelmää sovellettiin esimerkinomaisesti Olkiluoto 1 ja 2 laitosyksiköiden kahdelle eri huonetilalle. Tuloksena saatiin turvallisuudelle tärkeiden järjestelmien virtapiirien vikaantumismallit sekä niiden todennäköisyydet. Tulosten perusteella voidaan todeta, että työssä kehitetty kaapelipaloanalyysimenetelmä toimi hyvin. Tulevaisuudessa menetelmää on tarkoitus hyödyntää Olkiluoto 1 ja 2 -laitosyksiköiden kaapelipaloturvallisuuden arvioinnissa.

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.

Safety Culture and Maritime Personnel’s Safety Attitudes: Interview Report

”METKU –projektissa” (Merenkulun turvallisuuskulttuurin kehittäminen) tutkitaan kansainvälisen turvallisuusjohtamiskoodin (ISM-koodin) vaikutuksia merenkulun turvallisuuteen ja etsitään kehittämiskohteita merenkulun turvallisuusjohtamisen parantamiseksi. Tämä haastatteluraportti on laadittu METKU –projektin yhteistyössä työpakettien 1 ja 2 kesken. Tähän raporttiin haastateltiin yhteensä 94 merenkulun ammattilaista. Suurimman osan haastateltavista muodostivat aktiiviset merenkulkijat: miehistön jäsenet, päällystö ja alusten päälliköt. Haastattelukohteena oli seitsemän suomalaista varustamoa. Haastatteluissa kerättiin merenkulkijoiden kokemuksia ja mielipiteitä ISM-koodin vaikutuksesta heidän käytännön työhönsä. Suomalaiset merenkulkijat uskovat, että tänä päivänä varustamoiden johtajat ovat hyvin sitoutuneita turvallisuuteen. Myös miehistön asenteet turvallisuuteen ovat ISM-koodin käytön myötä parantuneet. Haasteltavien yhteinen huoli kohdistui jatkuvan parantamisen toimivuuteen. Kaikki haastatellut ryhmät olivat samaa mieltä siitä, että poikkeamien raportointi ei ISMkoodin vaatimuksesta huolimatta toimi kunnolla. ISM-koodin käyttöön otosta on ollut merenkululle selkeää hyötyä. Haastateltavat esittivät hyötyinä parantuneen yhteistyön ja tiedonkulun alusten ja varustamon välillä sekä sen, että merenkulun toiminnan laatu on parantunut. Monet haastateltavat korostivat, että ISM-koodin selkeät turvallisuusvastuut yhtiölle on ollut merkittävä hyöty. Itse ISM-koodiin merenkulkijoilla ei ollut juurikaan huomauttamista. Sen sijaan turvallisuusjohtamisen käytännön toteutuksessa nähtiin parantamisen varaa. ISMkoodin aiheuttamina ongelmina mainittiin mm. lisääntynyt byrokratia ja liian monimutkaiset ja yksityiskohtaiset turvallisuuskäsikirjat. Monet haastateltavat toivovat, että ISM-koodin käytännön soveltamiseen laadittaisiin ohjeita.

Characterizing Propionibacterium freudenreichii ssp. shermanii JS and Lactobacillus rhamnosus LC705 as a new probiotic combination: basic properties of JS and pilot in vivo assessment of the combination

Characterizing Propionibacterium freudenreichii ssp. shermanii JS and Lactobacillus rhamnosus LC705 as a new probiotic combination: basic properties of JS and pilot in vivo assessment of the combination Each candidate probiotic strain has to have the documentation for the proper identification with current molecular tools, for the biological properties, for the safety aspects and for the health benefits in human trials if the intention is to apply the strain as health promoting culture in the commercial applications. No generalization based on species properties of an existing probiotic are valid for any novel strain, as strain specific differences appear e.g. in the resistance to GI tract conditions and in health promoting benefits (Madsen, 2006). The strain evaluation based on individual strain specific probiotic characteristics is therefore the first key action for the selection of the new probiotic candidate. The ultimate goal in the selection of the probiotic strain is to provide adequate amounts of active, living cells for the application and to guarantee that the cells are physiologically strong enough to survive and be biologically active in the adverse environmental conditions in the product and in GI tract of the host. The in vivo intervention studies are expensive and time consuming; therefore it is not rational to test all the possible candidates in vivo. Thus, the proper in vitro studies are helping to eliminate strains which are unlikely to perform well in vivo. The aims of this study were to characterize the strains of Propionibacterium freudenreichii ssp. shermanii JS and Lactobacillus rhamnosus LC705, both used for decades as cheese starter cultures, for their technological and possible probiotic functionality applied in a combined culture. The in vitro studies of Propionibacterium freudenreichii ssp. shermanii JS focused on the monitoring of the viability rates during the acid and bile treatments and on the safety aspects such as antibiotic susceptibility and adhesion. The studies with the combination of the strains JS and LC705 administered in fruit juices monitored the survival of the strains JS and LC705 during the GI transit and their effect on gut wellbeing properties measured as relief of constipation. In addition, safety parameters such as side effects and some peripheral immune parameters were assessed. Separately, the combination of P. freudenreichii ssp. shermanii JS and Lactobacillus rhamnosus LC705 was evaluated from the technological point of view as a bioprotective culture in fermented foods and wheat bread applications. In this study, the role ofP. freudenreichii ssp. shermanii JS as a candidate probiotic culture alone and in a combination with L. rhamnosus LC705 was demonstrated. Both strains were transiently recovered in high numbers in fecal samples of healthy adults during the consumption period. The good survival through the GI transit was proven for both strains with a recovery rate from 70 to 80% for the JS strain and from 40 to 60% for the LC705 strain from the daily dose of 10 log10 CFU. The good survival was shown from the consumption of fruit juices which do not provide similar matrix protection for the cells as milk based products. The strain JS did not pose

Formal development and quantitative verification of dependable systems

-

Productivity and Services – Safety Telephone Services for the Elderly

Previous research on productivity is often associated with manufacturing or uses manufacturing definitions of productivity. Marketing research on services has not been satisfied with the manufacturing definitions. No universal definition for service productivity exists. The lack of a universal definition highlights the complexity entailed in the concept of productivity. The objective of this study was to investigate service productivity in situations, where traditional ways are in some cases even not possible or are not enough. In one definition of the productivity of service organisations there is the efficiency of the organisation on the input side and on the output side the customers’ perceived quality or value-in-use. To learn about value-in-use, many methods have been developed. A common practice is to make customer opinion surveys in the form of customer questionnaires and interviews. However, customers cannot always be asked directly, for example, because of impaired cognitive abilities. Such cases include the elderly and children. Furthermore, customer opinion surveys are time consuming. In addition, customers do not always know what kind of services they would benefit from. For the empirical part of the study, a business area was identified where traditional ways of measuring value-in-use are difficult or in some cases even not possible. This business area is safety telephone services. These services are most often used by the elderly. The way to define value-in-use here was to assess how well the services offered met customer expectations. Comparing the services customers asked for and the services provided to them indicated whether customer expectations were met. This study showed that customers had their ideas concerning the contents of the services but many times the services provided did not meet these expectations. Organisational efficiency aspirations can decrease customers’ value-in-use. This study found a solution, in which increasing organisational efficiency would go hand-in-hand with increasing customers’ value-in-use; the result being that the organisations’ needs and the service users’ expectations were in line. Value creation for customers produced organisational efficiency and thus increased productivity. In this study, customer expectations were observed by means of wellness technology. With the help of modern technology, customer expectations can be followed quickly and easily and customers can co-create with the organisation. This type of an approach could be useful even in the development of other services for other ages and in different contexts. If a service organisation decreases the number of personnel and, at the same time, tries to offer services to the same or a larger clientele, customers easily notice the change, which is often negative. To avoid harmful decrease in value-in-use, limitations to the aspiration of efficiency should be implemented – one of such is that the organisation is required to meet certain quality standards defined by experts. The aim is to secure that, as a result of efficiency aspirations in the organisation, the quality of the service offerings does not diminish below mutually agreed standards. Traditionally, when productivity in services has been estimated, organisational efficiency has not been combined with both customer expectations and an expert assessment of quality. This study contributes with novel thinking entitled ‘Relationship Management of the Elderly’. This study handles productivity, expert defined quality and value-in-use in an organisational context, which is practically untouched in previous research studies.

Dam safety guide

A new Dam Safety Act (494/2009) came into force on 1st October 2009 and a Government Decree on Dam Safety (319/2010) on 5th May 2010. This Dam Safety Guide replaces the Dam Safety Code of Practice (Publication of the Ministry of Agriculture and Forestry 7/1997), removed from circulation on 1st October 2009. The Dam Safety Guide is not binding on the dam owner; the purpose is to complement and elucidate the relevant law and and decree through examples and descriptions. The Guide takes up questions concerning dam design, for instance hydrological dimensioning and technical safety requirements, dam construction and use, the dam break hazard analysis and the dam owner’s emergency action plan, maintenance, use, monitoring as well as the annual and periodic inspections. Dams are classified according to the hazard they pose into class 1, 2 or 3 dams. The classification is not needed, if, according to the dam safety authority, the dam poses no danger. The owner of a classified dam must prepare a monitoring programme, to be approved by decision of the dam safety authority. To establish the hazard caused by a dam, the owner of a class 1 dam must prepare an analysis of the dam hazard to humans and property as well as to the environment. The dam safety authority may also require a dam break hazard analysis for a dam other than class 1 dam if deemed necessary for classification. The owner of a class 1 dam must prepare a plan of measures in case of emergency or operational failure. The plan shall present the dam owner’s state of preparedness to act on their own initiative in the situations described above. In each case, the rescue authorities make a separate assessment for the need to prepare a plan as set out in the Rescue Act. The dam owner must provide the information specified in the Dam Safety Decree to be entered into the dam safety information system. The dam safety authority and the owner of the dam must keep up-to-date printouts in their own dam safety files from the information system for each dam as well as other important documents connected with dam safety to ensure that these are readily available in case of disturbance.

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.

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.