24 resultados para safety analysis
Resumo:
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.
Resumo:
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.
Resumo:
Tämä diplomityö on tehty osana HumanICT-projektia, jonka tavoitteena on kehittää uusi, virtuaalitekniikoita hyödyntävä, työkoneiden käyttäjäliityntöjen suunnittelumenetelmä. Työn tarkoituksena oli kehittää VTT:n Tuotteet ja tuotanto tutkimusyksikköön kuluvan Ihminen-kone-turvallisuus ryhmän nykyistä virtuaalitodellisuuslaboratoriota siten, että sitä voidaan käyttää työkoneiden suunnittelussa sekä monipuolisissa ergonomiatarkasteluissa. Itse ympäristön kehittäminen pitää sisällään uuden ohjainjärjestelmän suunnittelun sekä sen implementoinnin nykyisin käytössä olevaan virtuaaliympäristöön. Perinteisesti ohjaamosimulaattorit ovat olleet sovelluskohteisiin räätälöityjä, joten ne ovat kalliita ja niiden konfiguroinnin muuttaminen on vaikeaa, joskus jopa mahdotonta. Tämän työntarkoituksena oli kehittää PC-tietokoneeseen ja yleiseen käyttöjärjestelmään perustuva ohjainjärjestelmä, joka on nopeasti kytkettävissä erilaisiin virtuaaliympäristön sovelluksiin, kuten ohjaamomalleihin. Työssä tarkasteltiin myös tapoja mallintaa fysikaalisia ilmiöitä reaaliaikasovelluksissa, eli on-line simuloinnissa. Tämän tarkastelun perusteella etsittiin ja valittiin jatkokäsittelyyn ohjelmistoja, joiden reaaliaikaisen dynamiikan simulointialgoritmitolivat kaikkein kehittyneimpiä ja monipuolisia.
Resumo:
Tämän diplomityön tavoitteena oli kehittää Vianor Oy:lle soveltuva työterveys- ja työturvallisuusriskien arviointimalli ja sen jälkeen tehdä se viidessä toimipaikassa. Tämän lisäksi selvitettiin kaikki käytössä olevat kemikaalit sekä arvioitiin niiden käytön terveys-, turvallisuus-, ja ympäristövaikutuksia käyttöturvallisuustiedotteiden tietojen perusteella. Aluksi tutustuttiin rengasalaan liittyviin vaaroihin kirjallisuuden ja aikaisemmin sattuneiden tapaturmien avulla. Tämän jälkeen tutustuttiin työterveys- ja työturvallisuusriskien arvioinnin periaatteisiin sekä jo olemassa oleviin menetelmiin. Näiden perusteella laadittiin Vianor Oy:lle soveltuva riskien arviointimalli. Kemikaalien osalta tutustuttiin kemikaalien terveys-, turvallisuus- ja ympäristövaaroihin. Tämän jälkeen tehtiin malli, jonka avulla kemikaalit voidaan luokitella vaarallisuuden mukaan käyttöturvallisuustiedotteiden tietojen avulla. Toimipaikkoja pyydettiin selvittämään kaikki käytössä olevat kemikaalit. Toimipaikkojen käytössä olevien kemikaalien valikoimaa yhtenäistettiin ja kemikaalien käyttöturvallisuustiedotteet siirrettiin sisäiseen intranettiin. Lopuksi laadittiin joidenkin työterveys- ja työturvallisuusriskien hallitsemiseksi menettelytapoja ja mietittiin toimenpiteitä työturvallisuuden jatkuvalle parantamiselle. Työterveys- ja työturvallisuusriskien arviointi päätettiin käyttää yhtenä työturvallisuuden kehittämisen välineen ja tehdä se jokaisessa Vianor Oy:n toimipaikassa. Joidenkin kemikaalien osalta suoritetaan tarkempi vaaranarviointi.
Resumo:
Työn tavoitteena oli tarkastella termohydraulisten koelaitteistojen skaalauksessa käytettäviä periaatteita ja menettelyjä sekä vertailla Apros-simulaattoriohjelmalla laskettuja kanden koelaitteistomallin ja EPR-mallin tuloksia. Tarkoituksena oli saada käsitys siitä, miten hyvin tarkastellut koelaitteistot kuvaavat EPR-Iaitostyypin käyttäytymistä onnettomuustilanteessa. Malleilla tutkittiin jäähdytteen määrän vaikutusta primääripiirin käyttäytymiseen. Koelaitteistomallien tuloksissa toistuvat samat ilmiöt kuin EPR-mallin tuloksissa. Laskettuja PKL-koelaitteistomallin tuloksia vertailtiin myös koelaitteistolla suoritettuun kokeeseen. PKL-mallin todettiin toistavan hyvin kokeen tulokset. Koelaitteistojen tuloksien perusteella kelpoistetaan laskentaohjelmia, joita käytetään ydinvoimalaitosten turvallisuustutkimuksessa. Erityistä harkintaa tulee käyttää koelaitteistojen tulosten hyödyntämisessä, sillä mittakaava vaikuttaa ilmiöiden esiintymiseen.
Resumo:
Fatal and permanently disabling accidents form only one per I cent of all occupational accidents but in many branches of industry they account for more than half the accident costs. Furthermore the human suffering of the victim and his family is greater in severe accidents than in slight ones. For both human and economic reasons the severe accident risks should be identified befor injuries occur. It is for this purpose that different safety analysis methods have been developed . This study shows two new possible approaches to the problem.. The first is the hypothesis that it is possible to estimate the potential severity of accidents independent of the actual severity. The second is the hypothesis that when workers are also asked to report near accidents, they are particularly prone to report potentially severe near accidents on the basis of their own subjective risk assessment. A field study was carried out in a steel factory. The results supported both the hypotheses. The reliability and the validity of post incident estimates of an accident's potential severity were reasonable. About 10 % of accidents were estimated to be potentially critical; they could have led to death or very severe permanent disability. Reported near accidents were significantly more severe, about 60 $ of them were estimated to be critical. Furthermore the validity of workers subjective risk assessment, manifested in the near accident reports, proved to be reasonable. The studied new methods require further development and testing. They could be used both in routine usage in work places and in research for identifying and setting the priorities of accident risks.
Resumo:
Tässä kandityössä on tehty turvallisuusanalyysi kullan uuttamiselle syanidilla. Kullan uuttaminen on tehty MacArthur-Forrest-prosessilla laboratoriomittakaavassa. Myös syanidoinnin historiaa, eri syanidointimenetelmiä ja turvallisuusanalyysejä on käyty lyhyesti läpi tämän kandityön alussa.
Resumo:
Tässä diplomityössä esitetään selvitys käytössä olevista deterministisistä turvallisuusanalyysimenetelmistä. Deterministisillä turvallisuusanalyyseillä arvioidaan ydinvoimalaitosten turvallisuutta eri käyttötilojen aikana. Voimalaitoksen turvallisuusjärjestelmät mitoitetaan deterministisen turvallisuusanalyysin tulosten perusteella. Deterministiset turvallisuusanalyysit voidaan laatia konservatiivista tai tilastollista menetelmää käyttäen. Konservatiivinen menetelmä pyrkii mallintamaan tarkasteltavan tilanteen siten, että laitoksen todellinen käyttäytyminen on hyvällä varmuudella lievempää kuin analyysitulos. Konservatiivisessa menetelmässä analyysin epävarmuudet huomioidaan konservatiivisilla oletuksilla. Tilastollinen menetelmä perustuu parhaan arvion menetelmään eli pyrkimykseen mallintaa laitoksen käyttäytyminen mahdollisimman todenmukaisesti. Tilastollisessa menetelmässä analyysin epävarmuudet määritetään systemaattisesti tilastomatematiikan keinoin. Työssä painotetaan tilastollisen analyysin epävarmuuksien määritykseen käytettäviä epävarmuustarkastelumenetelmiä. Diplomityön laskennallisessa osassa vertaillaan deterministisen turvallisuusanalyysin laadintaan käytettäviä menetelmiä termohydraulisen turvallisuusanalyysiesimerkin laskennan kautta. Laskennassa tarkasteltavana onnettomuutena on Olkiluoto 3-laitosyksikössä tapahtuva primäärijäähdytepiirin putkikatkosta aiheutuva jäähdytteenmenetysonnettomuus. Lasketun esimerkkitapauksen perusteella tilastollista ja konservatiivista menetelmää voidaan pitää vaihtoehtoisina turvallisuusanalyysin laadintaan. Molemmat analyysit tuottivat hyväksyttäviä ja toisilleen verrannollisia tuloksia, joiden suuruusluokka on sama.
Resumo:
Tässä työssä on tarkasteltu Suomessa käytössä olevien ydinvoimalaitosten vuosihuoltojen aikaista käyttöturvallisuutta yleisesti sekä arvioitu voimayhtiöiden vuosihuoltojen aikaisten häiriö- ja hätätilanteiden varalta laatimien ohjeiden kattavuutta. Kattavuuden arviointi suoritettiin tarkastelemalla seisokkitiloja käsitteleviä todennäköisyysperusteista riskianalyysia (PRA), lopullista turvallisuusselostetta (FSAR) ja turvallisuusteknisiä käyttöehtoja (TTKE). PRA:n mukaan Olkiluodon 1 ja 2 laitosyksiköiden sydänvauriotaajuudesta noin 25 % liittyy vuosihuollon aikaisiin alkutapahtumiin. Loviisan laitosyksiköillä vastaava osuus on noin 61 %. Merkittävimmät vuosihuoltojen aikaiset alkutapahtumat sydänvaurioriskin kannalta olivat Olkiluodossa tulipalot, jäähdytteen menetykset ja jälkilämmön poiston menetykset sekä Loviisassa raskaan taakan pudotukset, booripitoisuuden laimeneminen ja öljyonnettomuudet. Saatujen tulosten perusteella voitiin todeta, että voimayhtiöiden laatimat häiriö- ja hätätilanneohjeet olivat pääosiltaan asianmukaiset ja ne kattoivat hyvin erilaiset seisokin aikaiset alkutapahtumat. Tarkastelun perusteella tehtiin ohjeistoon muutamia parannusehdotuksia. Seisokkitiloja koskevat TTKE ja FSAR havaittiin asianmukaisiksi molemmilla tarkastelluilla laitoksilla.
Resumo:
This thesis concentrates on the validation of a generic thermal hydraulic computer code TRACE under the challenges of the VVER-440 reactor type. The code capability to model the VVER-440 geometry and thermal hydraulic phenomena specific to this reactor design has been examined and demonstrated acceptable. The main challenge in VVER-440 thermal hydraulics appeared in the modelling of the horizontal steam generator. The major challenge here is not in the code physics or numerics but in the formulation of a representative nodalization structure. Another VVER-440 specialty, the hot leg loop seals, challenges the system codes functionally in general, but proved readily representable. Computer code models have to be validated against experiments to achieve confidence in code models. When new computer code is to be used for nuclear power plant safety analysis, it must first be validated against a large variety of different experiments. The validation process has to cover both the code itself and the code input. Uncertainties of different nature are identified in the different phases of the validation procedure and can even be quantified. This thesis presents a novel approach to the input model validation and uncertainty evaluation in the different stages of the computer code validation procedure. This thesis also demonstrates that in the safety analysis, there are inevitably significant uncertainties that are not statistically quantifiable; they need to be and can be addressed by other, less simplistic means, ultimately relying on the competence of the analysts and the capability of the community to support the experimental verification of analytical assumptions. This method completes essentially the commonly used uncertainty assessment methods, which are usually conducted using only statistical methods.
Resumo:
Suomen työturvallisuuslaki vaatii työnantajia selvittämään työpaikan turvallisuuden ja poistamaan tai pienentämään siellä olevia vaaran riskejä. Tämä laki rinnastaa opiskelijan työntekijäksi ja yliopiston työnantajaksi. Turvallisuuden kartoitukseen on olemassa erilaisia riskianalyysimenetelmiä. Kaikissa menetelmissä analysoitavan kohteen vaaratekijät käydään läpi ja niiden aiheuttamien seurausten vakavuutta ja vaaran todennäköisyyttä arvioidaan. Näiden perusteella voidaan valita tarvittavat toimenpiteet. Yritys voi valita tarkoitukseensa sopivimman analyysimenetelmän tai yhdistellä eri menetelmiä. Tässä kandidaatin työssä Lappeenrannan teknillisen yliopiston jauhatuslaboratoriolle tehtiin riskikartoitus BS 8800-standardin mukaisesti. Riskikartoituksessa tuli ilmi vakaviakin puutteita jauhatuslaboratorion turvallisuudessa. Turvallisuuden parantamiseksi ilmi tulleille puutteille annettiin toimenpide-ehdotuksia. Toteutettujen toimenpiteiden jälkeen on laboratorion turvallisuutta seurattava ja aika ajoin riskianalyysi on tehtävä uudelleen, jotta laboratorion puutteet löydetään ja niihin voidaan puuttua. Näin laboratorio pysyy turvallisena esimerkiksi laitemuutosten jälkeen.
Resumo:
The Finnish legislation requires for a safe and secure learning environment. However, the comprehensive, risk based safety and security management (SSM) and the management commitment in the implementation and development of the SSM are not mentioned in the legislation. Multiple institutions, operators and researchers have studied and developed safety and security in educational institutions over the past decade. Typically the approach has been fragmented and without bringing up the importance of the comprehensive SSM. The development needs of the safety and security operations in universities have been studied. However, in universities of applied sciences (UASs) and in elementary schools (ESs), the performance level, strengths and weaknesses of the comprehensive SSM have not been studied. The objective of this study was to develop the comprehensive, risk based SSM of educational institutions by developing the new Asteri consultative auditing process and study its effects on auditees. Furthermore, the performance level in the comprehensive SSM in UASs and ESs were studied using Asteri and the TUTOR model developed by the Keski-Uusimaa Department for Rescue Services. In addition, strengths, development needs and differences were identified. In total, 76 educational institutions were audited between the years 2011 and 2014. The study is based on logical empiricism, and an observational applied research design was used. Auditing, observation and an electronic survey were used for data collection. Statistical analysis was used to analyze the collected information. In addition, thematic analysis was used to analyze the development areas of the organizations mentioned by the respondents in the survey. As one of the main contributions, this research presents the new Asteri consultative auditing process. Organizations with low performance levels on the audited subject benefit the most from the Asteri consultative auditing process. Asteri may be usable in many different types of audits, not only in SSM audits. As a new result, this study provides new knowledge on attitudes related to auditing. According to the research findings, auditing may generate negative attitudes and the auditor should take them into account when planning and preparing for audits. Negative attitudes can be compensated by producing added value, objectivity and positivity for the audit and, thus, improve the positive effects of auditing on knowledge and skills. Moreover, as the results of this study shows, auditing safety and security issues do not increase feelings of insecurity, but rather increase feelings of safety and security when using the new Asteri consultative auditing process with the TUTOR model. The results showed that the SSM in the audited UASs was statistically significantly more advanced than that in the audited ESs. However, there is still room for improvement in the ESs and the UASs as the approach to the SSM was fragmented. It can be assumed that the majority of Finnish UASs and ESs do not likely meet the basic level of the comprehensive, risk based the SSM.
Resumo:
Työn tarkoituksena oli kerätä käyttövarmuustietoa savukaasulinjasta kahdelta suomalaiselta sellutehtaalta niiden käyttöönotosta aina tähän päivään asti. Käyttövarmuustieto koostuu luotettavuustiedoista sekä kunnossapitotiedoista. Kerätyn tiedon avulla on mahdollista kuvata tarkasti laitoksen käyttövarmuutta seuraavilla tunnusluvuilla: suunnittelemattomien häiriöiden lukumäärä ja korjausajat, laitteiden seisokkiaika, vikojen todennäköisyys ja korjaavan kunnossapidon kustannukset suhteessa savukaasulinjan korjaavan kunnossapidon kokonaiskustannuksiin. Käyttövarmuustiedon keräysmetodi on esitelty. Savukaasulinjan kriittisten laitteiden määrittelyyn käytetty metodi on yhdistelmä kyselytutkimuksesta ja muunnellusta vian vaikutus- ja kriittisyysanalyysistä. Laitteiden valitsemiskriteerit lopulliseen kriittisyysanalyysiin päätettiin käyttövarmuustietojen sekä kyselytutkimuksen perusteella. Kriittisten laitteiden määrittämisen tarkoitus on löytää savukaasulinjasta ne laitteet, joiden odottamaton vikaantuminen aiheuttaa vakavimmat seuraukset savukaasulinjan luotettavuuteen, tuotantoon, turvallisuuteen, päästöihin ja kustannuksiin. Tiedon avulla rajoitetut kunnossapidon resurssit voidaan suunnata oikein. Kriittisten laitteiden määrittämisen tuloksena todetaan, että kolme kriittisintä laitetta savukaasulinjassa ovat molemmille sellutehtaille yhteisesti: savukaasupuhaltimet, laahakuljettimet sekä ketjukuljettimet. Käyttövarmuustieto osoittaa, että laitteiden luotettavuus on tehdaskohtaista, mutta periaatteessa samat päälinjat voidaan nähdä suunnittelemattomien vikojen todennäköisyyttä esittävissä kuvissa. Kustannukset, jotka esitetään laitteen suunnittelemattomien kunnossapitokustannusten suhteena savukaasulinjan kokonaiskustannuksiin, noudattelevat hyvin pitkälle luotettavuuskäyrää, joka on laskettu laitteen seisokkiajan suhteena käyttötunteihin. Käyttövarmuustiedon keräys yhdistettynä kriittisten laitteiden määrittämiseen mahdollistavat ennakoivan kunnossapidon oikean kohdistamisen ja ajoittamisen laitteiston elinaikana siten, että luotettavuus- ja kustannustehokkuusvaatimukset saavutetaan.
Resumo:
This thesis includes several thermal hydraulic analyses related to the Loviisa WER 440 nuclear power plant units. The work consists of experimental studies, analysis of the experiments, analysis of some plant transits and development of a calculational model for calculation of boric acid concentrations in the reactor. In the first part of the thesis, in the case of won of boric acid solution behaviour during long term cooling period of LOCAs, experiments were performed in scaled down test facilities. The experimental data together with the results of RELAPS/MOD3 simulations were used to develop a model for calculations of boric acid concentrations in the reactor during LOCAs. The results of calculations showed that margins to critical concentrations that would lead to boric acid crystallization were large, both in the reactor core and in the lower plenum. This was mainly caused by the fact that water in the primary cooling circuit includes borax (Na)BsO,.IOHZO), which enters the reactor when ECC water is taken from the sump and greatly increases boric acid solubility in water. In the second part, in the case of simulation of horizontal steam generators, experiments were performed with PACTEL integral test loop to simulate loss of feedwater transients. The PACTEL experiments, as well as earlier REWET III natural circulation tests, were analyzed with RELAPS/MOD3 Version Sm5 code. The analysis showed that the code was capable of simulating the main events during the experiments. However, in the case of loss of secondary side feedwater the code was not completely capable to simulate steam superheating in the secondary side of the steam generators. The third part of the work consists of simulations of Loviisa VVER reactor pump trip transients with RELAPSlMODI Eur, RELAPS/MOD3 and CATHARE codes. All three codes were capable to simulate the two selected pump trip transients and no significant differences were found between the results of different codes. Comparison of the calculated results with the data measured in the Loviisa plant also showed good agreement.
Resumo:
Hip fractures are associated with significant morbidity and mortality. Cervical and trochanteric fractures have a different morphometry, surgical treatment, and outcome. Polypharmacy, common in older people, is associated with increased mortality. The risk factors for mortality can be identified based on cause-of-death analysis. In this population-based study, 461 older, surgically in 1999-2000 treated hip fracture patients were enrolled. Incidence, morphometry, medication, mortality, and cause-of-death were analysed. Hip fractures were most commonly sustained by women, occurred mostly indoors, and often in institutions. One in four patients had sustained a previous fracture. Routine clinical radiographs revealed no differences in the hip geometry between hip fracture types. Age-adjusted mortality was higher in men than in women during the follow-up. Chronic lung disease and male sex were predictors of mortality after cervical fracture. In men, potent anticholinergics were associated with excess age-adjusted mortality. Men were more likely to die from circulatory disease and dementia after hip fracture than women. Mortality after hip fracture was 3-fold higher than that of the general population, including every cause-of-death class. Fracture prevention in institutions and homes, indoor safety measures, and treatment of chronic lung diseases should be encouraged. Hip morphometry analyses require more accurate measures than that provided by routine radiographs. Careful use of potent anticholinergics may reduce mortality. Compared to the general population, excess mortality after hip fracture was evident up to 9 years after hip fracture. Cause-of-death analysis indicates that all major comorbidities require optimal treatment after hip fracture surgery.