Using model checking for interlocking software verification

The application of different verification methods is a prominent part of the development process for safety related systems. Some methods are suitable for the early lifecycle phases, while others are best used later. In the end, the most significant thing is that all the lifecycle phases can be verified in a sufficient manner and using the method best suited for the purpose. At Mipro, we have found that formal verification increases diversity in order to achieve the best possible verification results and improve the quality and safety of the deliveries

Using model checking for interlocking software verification

The application of different verification methods is a prominent part of the development process for safety related systems. Some methods are suitable for the early lifecycle phases, while others are best used later. In the end, the most significant thing is that all the lifecycle phases can be verified in a sufficient manner and using the method best suited for the purpose. At Mipro, we have found that formal verification increases diversity in order to achieve the best possible verification results and improve the quality and safety of the deliveries

Photolithographic fabrication method of computer-generated holographic interferograms

We consider the fabrication of high-quality interferogram-type diffractive optical elements with conventional photolithographic techniques and compare the results with those achievable with electron-beam lithography. The fringes associated with the phase transfer function of the binary phase holographic interferogram are approximated with rectangles, which can be realized at submicron accuracy using a pattern generator and step-and-repeat camera. The effects of the rectangle quantization are analyzed both numerically and experimentally with the aid of diffraction patterns produced by simple focusing elements. Both resolution and diffraction efficiency of the best holograms approach their theoretical values

Onko Suomi "oleskeluyhteiskunta"? : Työetiikka ja työn keskeisyys elämänalueena eurooppalaisessa vertailussa

Peer reviewe

Ympäristösäteilyn valvonnan toimintaohjelma

Bioenergian tuotannossa syntyvän tuhkan radioaktiivisuuspitoisuuksia mitattiin 11 voimalaitokselta kerätyistä lento-, pohja- ja arinatuhkista. Tutkimuksessa tarkasteltiin sekä Tšernobylin ydinonnettomuudesta peräisin olevan 137Cs:n että luonnonnuklidien aktiivisuuspitoisuuksia. Tuhkanäytteiden radionuklidipitoisuuksien perusteella arvioitiin tuhkan käytölle ja käsittelylle asetettujen toimenpidearvojen ylittymistä nk. aktiivisuusindeksien avulla Säteilyturvakeskuksen ohjeen ST 12.2. mukaisesti. Tuhkan käsittelylle ja hyötykäytölle määritetään eri käyttötarkoitusten mukaan erilliset aktiivisuusindeksit. Tulokset osoittavat, että työntekijöille ei tarvitse asettaa rajoituksia radioaktiivisuuden vuoksi tuhkaa käsiteltäessä, koska aktiivisuusindeksin raja-arvo ei ylittynyt. Kuitenkaan lento- ja arinatuhkia ei tulisi ilman erillisiä selvityksiä käyttää rakennusmateriaaleihin tai tieverkoston ja vastaavien rakentamiseen eikä läjitykseen, maantäyttöön tai maisemarakentamiseen. Tämä siksi, että osassa lento- ja arinatuhkanäytteitä todettiin aktiivisuusindeksien raja-arvojen ylittymistä arvioitaessa toimenpidearvon toteutumista tuhkan hyötykäytön yhteydessä. Säteilysuojelun kannalta on huomioitava, että osassa lentotuhkanäytteitä 210Pb on merkittävästi rikastunut verrattuna muihin uraanisarjan nuklideihin. Näin ollen pelkkä aktiivisuusindeksin määrittäminen ei riitä kaikissa tilanteissa tarkasteltaessa mahdollista säteilyaltistuksen viitearvon ylittymistä ja tarvetta käytännön säteilysuojeluun, koska tuhkan käsittelyn aktiivisuusindeksi ei huomioi tuhkan 210Pb-pitoisuutta,vaan uraanisarjaa edustava osa lasketaan pelkästään 226Ra:n perusteella. Tutkimuksen pohjalta suositellaankin, että 210Pb-pitoisuus otetaan jatkossa huomioon ohjeistettaessa tuhkan käsittelystä aiheutuvan sä-teilyaltistuksen arviointia. Tarkasteltaessa Tšernobylin ydinonnettomuuden aiheuttaman laskeuman vaikutusta arinatuhkan 137Cs-aktiivisuuspitoisuuteen oli suurimman laskeuman saaneelta alueelta kerätyn metsäpolttoaineen arinatuhkan 137Cs-aktiivisuuspitoisuuden mediaani 3100 Bq/kg. Korkeat tuhkan 137Cs-aktiivisuuspitoisuudet aiheuttavat aktiivisuusindeksien ylityksiä. Kun käytetään suuren laskeuman alueelta kerättyä polttoainetta tulisi mittauksin varmistaa tuhkan käyttökelpoisuus eri käyttötarkoituksissa. Vastaavasti seuraavaksi suurimman laskeuman alueen ja vähiten laskeumaa saaneen alueen arinatuhkan 137Cs-aktiivisuuspitoisuuksien mediaanit olivat 470 Bq/kg ja 130 Bq/kg. Näiltä alueilta kerätyssä polttoaineessa oli myös turvetta mukana, joten osa 137Cs-aktiivisuuden vaihtelusta johtunee myös käytetystä polttoaineesta. Tähän raporttiin on koottu tulokset hankkeesta ”Bioenergian tuotannossa syntyvän tuhkan radioaktiivisuus Suomessa”, jonka Säteilyturvakeskus toteutti yhdessä Energiateollisuus ry:n sekä Bioenergia ry:n kanssa vuosina 2015–2017. Hankkeesta saadut tulokset palvelevat toiminnanharjoittajia ja viranomaisia arvioitaessa bioenergian tuotannossa syntyvän tuhkan käytöstä aiheutuvia säteilyvaikutuksia. Lisääntyvän bioenergian käytön myötä syntyvän tuhkan määrä kasvaa entisestään. Ympäristöön vapautuvan radioaktiivisuuden määrä riippuu läjitysalueen muodosta, tiiviydestä ja suotovesien keräys- ja käsittelyjärjestelmistä. Tulevaisuudessa olisikin tarpeen selvittää polttolaitosten ja tuhkan varastointialueiden läheisyydestä päästöjen ja tuhkan läjityksen vaikutukset ympäristön radioaktiivisten aineiden pitoisuuksiin. 137Cs:n kerääntymistä saostuskaivoihin ja kulkeutumista läjitysalueilta ympäristöön voitaisiin selvittää pitkän aikavälin seurantamittauksin

ACOUSTIC SOURCE DATA FOR MEDIUM SPEED IC-ENGINES

Knowledge of the acoustic source characteristics of internal combustion engines (IC-engines) is of great importance when designing the exhaust duct system and its components to withstand the resulting dynamic loads and to reduce the exhaust noise emission. Number of studies has been published earlier on the low frequency in-duct exhaust noise of high speed engines. The goal of the present study is to investigate the medium speed IC-engine acoustic source characteristics numerically and experimentally not only in the low frequency -plane wave range but also in the high frequency range. The low frequency acoustic source characteristics were predicted by simulating the acoustic multi-load measurements using a one-dimensional process simulation code. The engine model used in the one-dimensional process simulations was validated with measurements. In this study, it is shown that the low frequency in-duct exhaust noise of a medium speed IC-engine can be predicted quite accurately by using a onedimensional process simulation code. The high frequency source data is estimated by averaging the measured acoustic pressures with different methods. According to this study, using the simple cross spectra averaging method instead of two microphone method to estimate the induct downstream acoustic power of medium speed IC-engine exhaust noise seems promising. The simulation of the high frequency exhaust noise is beyond this study

Opioidiriippuvaisen persoonallisuushäiriö – katsaus diagnostiikan ja hoidon haasteisiin

Persoonallisuushäiriöt ovat yleisempiä opioidiriippuvaisten keskuudessa kuin yleisväestössä. Etenkin antisosiaalisen persoonallisuuden on todettu olevan opioidiriippuvaisissa yliedustettuna. Toisaalta on tärkeää ymmärtää päihdehäiriön aiheuttamaa riippuvuuskäyttäytymistä ja erottaa päihteiden suorat vaikutukset itsenäisistä psyykkisistä oireista. Järjestelmällinen ja asianmukainen psykiatristen oheissairauksien seulonta ja diagnostiikka on tähdellistä opioidiriippuvaisilla, jotta yksilön oikeus parhaaseen mahdolliseen hoitoon mahdollistuisi. Persoonallisuushäiriöihin liittyvä stigmatisaatio on hoitojärjestelmässämme edelleen ongelma, minkä vuoksi diagnoosin asettamisen on oltava harkittu ja hyvin perusteltu. Tässä artikkelissa käsitellään katsauksenomaisesti opioidiriippuvaisten persoonallisuushäiriöitä. Kirjallisuus antaa olennaista tietoa persoonallisuushäiriöiden ja päihderiippuvuusoireyhtymän yhteisistä kliinisistä piirteistä ja taustoista, sekä erotusdiagnostiikan ongelmakohdista ja hoidollisista haasteista

Immunization with gingipain A hemagglutinin domain of Porphyromonas gingivalis induces IgM antibodies binding to malondialdehyde-acetaldehyde modified low-density lipoprotein

Publisher Copyright: © 2018 Kyrklund et al. This is an open access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.Treatment of periodontitis has beneficial effects on systemic inflammation markers that relate to progression of atherosclerosis. We aimed to investigate whether immunization with A hemagglutinin domain (Rgp44) of Porphyromonas gingivalis (Pg), a major etiologic agent of periodontitis, would lead to an antibody response cross-reacting with oxidized low-density lipoprotein (OxLDL) and how it would affect the progression of atherosclerosis in low-density lipoprotein receptor-deficient (LDLR-/-) mice. The data revealed a prominent IgM but not IgG response to malondialdehyde-acetaldehyde modified LDL (MAA-LDL) after Rgp44 and Pg immunizations, implying that Rgp44/Pgand MAA adducts may share cross-reactive epitopes that prompt IgM antibody production and consequently confer atheroprotection. A significant negative association was observed between atherosclerotic lesion and plasma IgA to Rgp44 in Rgp44 immunized mice, supporting further the anti-atherogenic effect of Rgp44 immunization. Plasma IgA levels to Rgp44 and to Pg in both Rgp44-and Pg-immunized mice were significantly higher than those in saline control, suggesting that IgA to Rgp44 could be a surrogate marker of immunization in Pg-immunized mice. Distinct antibody responses in plasma IgA levels to MAA-LDL, to Pg lipopolysaccharides (Pg-LPS), and to phosphocholine (PCho) were observed after Rgp44 and Pg immunizations, indicating that different immunogenic components between Rpg44 and Pg may behave differently in regard of their roles in the development of atherosclerosis. Immunization with Rgp44 also displayed atheroprotective features in modulation of plaque size through association with plasma levels of IL-1 alpha whereas whole Pg bacteria achieved through regulation of antiinflammatory cytokine levels of IL-5 and IL-10. The present study may contribute to refining therapeutic approaches aiming to modulate immune responses and inflammatory/antiinflammatory processes in atherosclerosis.Peer reviewe