Suunnitellun alas- ja ylösajon todennäköisyysperustainen riskianalyysi ydinvoimalaitokselle

Työssä tehtiin ydinvoimalaitoksen suunnitellun alas- ja ylösajon todennäköisyysperus-tainen riskianalyysi. Suunnitellun alasajon analyysi sisälsi Teollisuuden Voima Oyj:n käyttämän vanhan PRA-mallin päivityksen ja laajentamisen. Ylösajon analyysiä varten kehitettiin kokonaan uusi malli. Diplomityöselostuksen alussa on yleinen katsaus luotettavuustekniikan käsitteisiin, pe-rusperiaatteisiin ja työkaluihin. Sitten on esitelty laitostekniikkaa tärkeimpien alas- ja ylösajoihin osallistuvien järjestelmien osalta. Myös normaalit alas- ja ylösajotoimenpi-teet on kuvattu. Yleisen teoriaosuuden jälkeen on keskitytty uusien mallien muodosta-miseen. Työssä käytetyt oletukset ja arviot on esitelty perusteluineen. Uudet tapahtuma- ja vikapuut sekä niiden perusteella lasketut sydänvaurioriskit johtopäätöksineen on käy-ty läpi selostuksen lopussa. Alkutapahtumataajuuksien määrittäminen tehtiin vikapuiden avulla, joissa huomioitiin komponenttivikojen, inhimillisten virheiden ja ulkoisten tekijöiden vaikutus. Aiemmin alkutapahtumat oli määritetty pääasiassa käyttöhistorian perusteella. Uusi määrittelytapa antaa eri vikaantumistapojen välille paremman kuvan niiden keskinäisestä merkitykses-tä sekä paremman päivitettävyyden laitosmuutosten yhteydessä. Mallien avulla voidaan laskea alas- ja ylösajon merkitys kokonaissydänvauriotaajuuteen entistä yksityiskohtaisemmin. Tuloksia voidaan myös hyödyntää laitosten vikatilanteis-sa, kun vertaillaan jatketun käytön ja mahdollisten korjaustöiden vaatiman alas- ja ylösajon riskejä. Uusien mallien antamat tulokset laskivat vain hieman kokonaissydän-vauriotaajuutta, mutta merkittävästi alasajon vaikutusta siihen. Ylösajosta aiheutuva riskinlisä oli noin puolet alasajon riskistä.

Formal development and quantitative verification of dependable systems

-

Scalable and fault tolerant failure detection and consensus

Future extreme-scale high-performance computing systems will be required to work under frequent component failures. The MPI Forum's User Level Failure Mitigation proposal has introduced an operation, MPI_Comm_shrink, to synchronize the alive processes on the list of failed processes, so that applications can continue to execute even in the presence of failures by adopting algorithm-based fault tolerance techniques. This MPI_Comm_shrink operation requires a fault tolerant failure detection and consensus algorithm. This paper presents and compares two novel failure detection and consensus algorithms. The proposed algorithms are based on Gossip protocols and are inherently fault-tolerant and scalable. The proposed algorithms were implemented and tested using the Extreme-scale Simulator. The results show that in both algorithms the number of Gossip cycles to achieve global consensus scales logarithmically with system size. The second algorithm also shows better scalability in terms of memory and network bandwidth usage and a perfect synchronization in achieving global consensus.

Well-conditioned robust observer for detection of family systems components

A new concept of fault detection and isolation using robust observation for systems with random noises is presented. The method selects the parameters from components that may fault during the process and constructs well conditioned robust observers, considering sensors faults. To isolate component failures via robust observation, a bank of detection observers is constructed, where each observer is only sensitive to one specified component failure while robust to all other component failures.

Well-conditioned robust observer for detection of faulty systems components

A new concept of fault detection and isolation using robust observation for systems with random noises is presented. The method selects the parameters from components that may fault during the process and constructs well conditioned robust observers, considering sensors faults. To isolate component failures via robust observation, a bank of detection observers is constructed, where each observer is only sensitive to one specified component failure while robust to all other component failures.

Analise de desempenho de observadores de estado robustos na localizacao de falhas

The state observers can reconstruct and monitor unmeasurable states. A new concept of fault detection and isolation using state observers is presented. The method selects the parameters from components that may fail during the process and constructs optimized robust observers. To isolate component failures via robust observation, a bank of detection observers is organized, in which each observer is only sensitive to one specified component failure while robust to all other component failures. This paper analyzes the performance of transient and steady-state behavior of the state observer.

Vibration and oil analysis for monitoring problems related to water contamination in rolling

Trying to reduce particle contamination in lubrication systems, industries of the whole world spend millions of dollars each year on the improvement of filtration technology. In this context, by controlling fluid cleanliness, some companies are able to reduce failures rates up to 85 percent. However, in some industries and environments, water is a contaminant more frequently encountered than solid particles, and it is often seen as the primary cause of component failure. Only one percent of water in oil is enough to reduce life expectancy of a journal bearing by 80 percent. For rolling bearing elements, the situation is worse because water destroys the oil film and, under the extreme temperatures and pressures generated in the load zone of a rolling bearing element, free and emulsified water can result in instantaneous flash-vaporization giving origin to erosive wear. This work studies the effect of water as lubricant contaminant in ball bearings, which simulates a situation that could actually occur in real systems. In a designed bench test, three basic lubricants of different viscosities were contaminated with different contents of water. The results regarding oil and vibration analysis are presented for different bearing speeds.

INFLUENCE OF HVOF COATING ON THE FATIGUE STRENGTH OF 15-5 PH STAINLESS STEEL

Structural component failures due to cyclic loading are associated to surface damage of materials and its interaction with environment. Fatigue failure occurs with stresses below the yield strength of each material and is a result of crack initiation and propagation. In aeronautical components is an important parameter to be considered in project, as well as the corrosion and wear resistance. Thermally sprayed HVOF coatings have been considered to replace galvanic chromium deposits with comparable performance for wear and corrosion resistance. The aim of present research is to study the influence of WC-13Co-4Cr applied by HVOF, on the axial fatigue strength of 15-5 PH stainless steel. The shot peening treatment was used to restore fatigue performance.

Information flow analysis for fail-secure devices

Information security devices must preserve security properties even in the presence of faults. This in turn requires a rigorous evaluation of the system behaviours resulting from component failures, especially how such failures affect information flow. We introduce a compositional method of static analysis for fail-secure behaviour. Our method uses reachability matrices to identify potentially undesirable information flows based on the fault modes of the system's components.

Passive Fault-Tolerance Management in Component-based Embedded Systems

It is imperative to accept that failures can and will occur, even in meticulously designed distributed systems, and design proper measures to counter those failures. Passive replication minimises resource consumption by only activating redundant replicas in case of failures, as typically providing and applying state updates is less resource demanding than requesting execution. However, most existing solutions for passive fault tolerance are usually designed and configured at design time, explicitly and statically identifying the most critical components and their number of replicas, lacking the needed flexibility to handle the runtime dynamics of distributed component-based embedded systems. This paper proposes a cost-effective adaptive fault tolerance solution with a significant lower overhead compared to a strict active redundancy-based approach, achieving a high error coverage with the minimum amount of redundancy. The activation of passive replicas is coordinated through a feedback-based coordination model that reduces the complexity of the needed interactions among components until a new collective global service solution is determined, improving the overall maintainability and robustness of the system.

Desenvolupament d'un component de tolerància a fallades per a un sistema d'agents mòbils sobre plataformes lleugeres

A mesura que la complexitat de les tasques dels agents mòbils va creixent, és més important que aquestes no perdin el treball realitzat. Hem de saber en tot moment que la execució s’està desenvolupant favorablement. Aquest projecte tracta d’explicar el procés d’elaboració d’un component de tolerància a fallades des de la seva idea inicial fins a la seva implementació. Analitzarem la situació i dissenyarem una solució. Procurarem que el nostre component emmascari la fallada d’un agent, detectant-la i posteriorment recuperant l’execució des d’on s’ha interromput. Tot això procurant seguir la metodologia de disseny d’agents mòbils per a plataformes lleugeres.

An Urn Model for Cascading Failures on a Lattice

A cascading failure is a failure in a system of interconnected parts, in which the breakdown of one element can lead to the subsequent collapse of the others. The aim of this paper is to introduce a simple combinatorial model for the study of cascading failures. In particular, having in mind particle systems and Markov random fields, we take into consideration a network of interacting urns displaced over a lattice. Every urn is Pólya-like and its reinforcement matrix is not only a function of time (time contagion) but also of the behavior of the neighboring urns (spatial contagion), and of a random component, which can represent either simple fate or the impact of exogenous factors. In this way a non-trivial dependence structure among the urns is built, and it is used to study default avalanches over the lattice. Thanks to its flexibility and its interesting probabilistic properties, the given construction may be used to model different phenomena characterized by cascading failures such as power grids and financial networks.

Two-component System Vicrk Regulates Functions Associated With Establishment Of Streptococcus Sanguinis In Biofilms.

Streptococcus sanguinis is a commensal pioneer colonizer of teeth and an opportunistic pathogen of infectious endocarditis. The establishment of S. sanguinis in host sites likely requires dynamic fitting of the cell wall in response to local stimuli. In this study, we investigated the two-component system (TCS) VicRK in S. sanguinis (VicRKSs), which regulates genes of cell wall biogenesis, biofilm formation, and virulence in opportunistic pathogens. A vicK knockout mutant obtained from strain SK36 (SKvic) showed slight reductions in aerobic growth and resistance to oxidative stress but an impaired ability to form biofilms, a phenotype restored in the complemented mutant. The biofilm-defective phenotype was associated with reduced amounts of extracellular DNA during aerobic growth, with reduced production of H2O2, a metabolic product associated with DNA release, and with inhibitory capacity of S. sanguinis competitor species. No changes in autolysis or cell surface hydrophobicity were detected in SKvic. Reverse transcription-quantitative PCR (RT-qPCR), electrophoretic mobility shift assays (EMSA), and promoter sequence analyses revealed that VicR directly regulates genes encoding murein hydrolases (SSA_0094, cwdP, and gbpB) and spxB, which encodes pyruvate oxidase for H2O2 production. Genes previously associated with spxB expression (spxR, ccpA, ackA, and tpK) were not transcriptionally affected in SKvic. RT-qPCR analyses of S. sanguinis biofilm cells further showed upregulation of VicRK targets (spxB, gbpB, and SSA_0094) and other genes for biofilm formation (gtfP and comE) compared to expression in planktonic cells. This study provides evidence that VicRKSs regulates functions crucial for S. sanguinis establishment in biofilms and identifies novel VicRK targets potentially involved in hydrolytic activities of the cell wall required for these functions.

Sci1 Is A Component Of The Auxin-dependent Control Of Cell Proliferation In Arabidopsis Upper Pistil.

To characterize the recently described SCI1 (stigma/style cell cycle inhibitor 1) gene relationship with the auxin pathway, we have taken the advantage of the Arabidopsis model system and its available tools. At first, we have analyzed the At1g79200 T-DNA insertion mutants and constructed various transgenic plants. The loss- and gain-of-function plants displayed cell number alterations in upper pistils that were controlled by the amino-terminal domain of the protein. These data also confirmed that this locus holds the functional homolog (AtSCI1) of the Nicotiana tabacum SCI1 gene. Then, we have provided some evidences the auxin synthesis/signaling pathways are required for downstream proper AtSCI1 control of cell number: (a) its expression is downregulated in yuc2yuc6 and npy1 auxin-deficient mutants, (b) triple (yuc2yuc6sci1) and double (npy1sci1) mutants mimicked the auxin-deficient phenotypes, with no synergistic interactions, and (c) the increased upper pistil phenotype in these last mutants, which is a consequence of an increased cell number, was able to be complemented by AtSCI1 overexpression. Taken together, our data strongly suggests SCI1 as a component of the auxin signaling transduction pathway to control cell proliferation/differentiation in stigma/style, representing a molecular effector of this hormone on pistil development.

Detection Of Explosives On The Surface Of Banknotes By Raman Hyperspectral Imaging And Independent Component Analysis.

The aim of this study was to develop a methodology using Raman hyperspectral imaging and chemometric methods for identification of pre- and post-blast explosive residues on banknote surfaces. The explosives studied were of military, commercial and propellant uses. After the acquisition of the hyperspectral imaging, independent component analysis (ICA) was applied to extract the pure spectra and the distribution of the corresponding image constituents. The performance of the methodology was evaluated by the explained variance and the lack of fit of the models, by comparing the ICA recovered spectra with the reference spectra using correlation coefficients and by the presence of rotational ambiguity in the ICA solutions. The methodology was applied to forensic samples to solve an automated teller machine explosion case. Independent component analysis proved to be a suitable method of resolving curves, achieving equivalent performance with the multivariate curve resolution with alternating least squares (MCR-ALS) method. At low concentrations, MCR-ALS presents some limitations, as it did not provide the correct solution. The detection limit of the methodology presented in this study was 50μgcm(-2).