SlideShare ist ein Scribd-Unternehmen logo
1 von 26
Downloaden Sie, um offline zu lesen
Engineering Risk Benefit Analysis
1.155, 2.943, 3.577, 6.938, 10.816, 13.621, 16.862, 22.82
                   ESD.72J, ESD.721


     RPRA 1.            The Logic of Certainty

              George E. Apostolakis
        Massachusetts Institute of Technology



                       Spring 2007



                 RPRA 1. The Logic of Certainty             1
Event Definition

•Event: A statement that can be true or false.


•“It may rain tonight” is not an event.


•According to our current state of knowledge, we
may say that an event E is TRUE, FALSE, or
POSSIBLE (UNCERTAIN).


•Eventually, E will be either TRUE or FALSE.
                RPRA 1. The Logic of Certainty   2
True


Event                      False


                          Possible



        RPRA 1. The Logic of Certainty   3
Venn Diagrams
• Sample Space: The set of all possible outcomes of an
  experiment. Each elementary outcome is represented by a
  sample point.

• Examples: Die {1,2,3,4,5,6}                Failure Time {0, ∞}

• A collection of sample points is an event.
                                              S


            Venn Diagram                 E




                       RPRA 1. The Logic of Certainty              4
Indicator Variables
                                           1,If     E     j     is T


         Xj =
                                           0,   If E        j   is F

Important Note: Xk = X,      k: 1, 2, …


                                            S

                                                        ___
        Venn Diagram                   E                E




                       RPRA 1. The Logic of Certainty                  5
Union (OR operation)

 A∪ B = C
 X C = 1 − (1 − X A )(1 − X B )
 X   C   ≡       C   X    j



                                                      C

             A   B




                                                A         B


                     RPRA 1. The Logic of Certainty           6
Intersection (AND operation)

   A∩ B = C                           XC = X AX B
                                       XC ≡ ∏ X j
                                                  C

         A   B




                                          A           B



Mutually Exclusive Events:                 A∩ B = ∅
                 RPRA 1. The Logic of Certainty           7
Simple Systems
Reliability Block Diagram for the Series System


              1              ....                       N


                                                    N               N
    System
    Failure
                    failure: X = 1 −            ∏ (1 − X j ) ≡ C X j
                                                    1               1

                                                                N
                                  success :                 Y = ∏ Yj
                                                                1

1    ...      N



                   RPRA 1. The Logic of Certainty                       8
Reliability Block Diagram
for the Parallel System                                      N
                                               X =∏ X j
          1
                                                              1
          2
                                                             N
                                               Y = CYj
          i
                                                             1
         i+1
                                                      TOP

          N




                      1         2               i           i+1   N



                     RPRA 1. The Logic of Certainty               9
Event-Tree Analysis


  IE           BARRIER 1                 BARRIER 2
                                                     1 (OK)

SUCCESS


                                                     2 (R1)

                                                     3 (R2)
FAILURE




            RPRA 1. The Logic of Certainty                10
Fault-Tree Analysis

Reliability Block Diagram for the 2-out-of-3 System


          A




          B                                      2/3




          C

                RPRA 1. The Logic of Certainty         11
X T = 1 − (1 − Y1 )(1 − Y2 )
     = 1 − (1 − X A X B X C ){1 − [1 − (1 − Z1 )(1 − Z 2 )(1 − Z 3 )]}
     = 1 − (1 − X A X B X C ){1 − [1 − (1 − X A X B )(1 − X B X C )(1 − X C X A )]}

Expanding and using Xk = X we get
X T = 1 − (1 − X A X B )(1 − X B X C )(1 − X C X A )
                               RPRA 1. The Logic of Certainty                12
Cut sets and minimal cut sets


• CUT SET: Any set of events (failures of components and
  human actions) that cause system failure.



• MINIMAL CUT SET: A cut set that does not contain
  another cut set as a subset.




                     RPRA 1. The Logic of Certainty    13
New fault tree:
                                     S y s te m   F a ilu r e




               A       B                B               C       C   A


 Minimal cut sets:
 M 1 = X A X B,      M2 = X B XC ,, M3 = XC X A
       3
X T = C M j ≡ 1 − (1 − M 1 ) (1 − M 2 ) (1 − M 3 ) =
       1
= 1 − (1 − X A X B )(1 − X B X C )(1 − X C X A)
                       RPRA 1. The Logic of Certainty               14
XT = φ(X1, X2,…Xn) ≡ φ(X)

  φ(X) is the structure or switching function.
It maps an n-dimensional vector of 0s and 1s onto 0 or 1.

 Disjunctive Normal Form:
                           N                             N
        XT = 1 − ∏ (1 − M i ) ≡ C M i
                            1                            1
  Sum-of-Products Form:
         N        N −1 N                                 N +1 N
   XT = ∑ Mi − ∑       ∑ M i M j + ... + (−1) ∏ M i
         i =1     i =1 j =i +1                               i =1
                        RPRA 1. The Logic of Certainty              15
For the 2-out-of-3 System:

    XT=1-(1-XAXB) (1-XBXC) (1-XCXA)

XT = (M1+M2+M3) - (M1M2+M2M3+M3M1) + M1M2M3

    But,
    M1M2 = XAXB2XC = XAXBXC


    Therefore, the sum-of-products expression is:

   XT = (XAXB+XBXC+XCXA) - 2XAXBXC

                   RPRA 1. The Logic of Certainty   16
The Bridge Network
          A       1              3               B
                          5
                   2             4




{X1X2}, {X3X4}, {X2X3X5}, {X1X4X5}
Disjunctive Normal Form:

XT=1-(1-X1X2)(1-X3X4)(1-X2X3X5)(1-X1X4X5)

Sum-of-Products Form:
XT = X1X2+ X3X4+ X2X3X5+ X1X4X5-
- X1X2 X3X4- X1X2X3X5- X1X2X4X5 -
-X2X3X4X5 - X1X3X4X5 + 2X1X2X3X4X5
                RPRA 1. The Logic of Certainty       17
Causes of Failure
1.         Primary failure ("hardware" failure)
2.         Secondary failure (external, environmental)
3.         "Command" failure (no input; no power)

                      N o O u tp u t fro m
                        C om ponent




     P r im a r y
     F a ilu r e
                      S e c o n d a ry                C om m and
                         F a ilu r e                    F a ilu r e



                     RPRA 1. The Logic of Certainty                   18
Reliability Block Diagram for the Fuel-Supply
                    System
          T1                 Control Valve
         Fuel                     V1
        Source       P1                      Pump Train 1

                                                            Emergency
                                                             Diesel
          T2                 Control Valve                   Engine
         Fuel                     V2
        Source       P2
                                             Pump Train 2

                           Electric
                           Power
                          Source, E

                           Control
                          System, C

                          Cooling
                          System,
                            CO
                 RPRA 1. The Logic of Certainty                         19
Fault tree elements
                               TOP EVENT


                                         “OR” Gate


           INTERMEDIATE
              EVENT, A

                                                 INCOMPLETELY
                    “AND” Gate                     DEVELOPED
                                                    EVENT, B         2
                                                                  Transfer in
                                                                from Sheet 2
          A1          A2

         Basic      Basic
         Event      Event
          A1         A2




Note: It’s helpful to start the fault-tree development from the
output of the system (the top event) and work backwards.
                           RPRA 1. The Logic of Certainty                       20
LOSS OF FUEL
                                       FLOW , T



              LOSS OF TRAIN     E1                                 LOSS OF TRAIN   E2
                    1                                                    2



                                 MECHANICAL M
                                LOSS OF TRAIN 2
                                      2                         Loss of      Loss of     Loss of
                                                               Electricity   Control     Cooling

                                                               E             C          CO
                               T2          P2        V2

                                                  MECHANICAL
                                                 LOSS OF TRAIN M 1
 Loss of        Loss of    Loss of                     1
Electricity     Control    Cooling

E              C          CO
                                                T1        P1         V1
                                    RPRA 1. The Logic of Certainty                           21
A simpler fault tree
                              No Fuel is
                              Delivered
                             When Needed



     E                C                CO                  Pumping
    Fails            Fails             Fails             Branches Fail




            Train 1 Fails                                     Train 2 Fails



  T1             P1            V1                  T2               P2          V2
Fails to      Fails to        Fails              Fails to        Fails to      Fails
Supply         Pump          Closed              Supply           Pump        Closed
 Fuel           Fuel                              Fuel             Fuel
                             RPRA 1. The Logic of Certainty                       22
Development of T1
                                                  Tank T1
                                                 Failure to
                                                Supply Fuel


                 Tank is Intact                   Tank (and                 Supply Pipe
                  But Em pty                    Supply Pipe)                 is Plugged
                and Undetected                  is Not Intact


                Tank is Em pty
                                                   Fuel
                                                  Level              Hum an          Sludge
                                                 Detection           Action          Buildup
    Tank is          Tank is         Tank          Fails
  Em ptied          Em ptied         Drain
Inadvertantly     in Use and        Valve is
   (hum an        Not Refilled     Left O pen
     error)

                                                                 Corrosion Induced Failure        Fatique
                       M issile                                                                   Induced
Earthquake                                 Internal                                                Failure
 Induced               Im pact         Fire/Explosion
  Failure             Induced             Induced
                       Failure             Failure
                                                                                      Faulty
                                                                Corrosion          M anufacture
                                                                                    & Control
                                                                                     Program
                                      RPRA 1. The Logic of Certainty                                    23
System min cut sets

                          T1, Tank                  T2, Tank
Any combination of        P1, Pump and of           P2, Pump
an element of             V1, Valve                 V2, Valve



                     C                Control System
                                      or
 plus
                     E                Electric Power
                                      Source
                                      or
                     CO               Cooling System




                   RPRA 1. The Logic of Certainty               24
RPRA 1. The Logic of Certainty   25
Examples of Initiating Events

 • Loss of Coolant
 • Transients
 • Human Error
 • Loss of Power
 • Fires
 • Airplane Crashes
 • Earthquakes
           RPRA 1. The Logic of Certainty   26

Weitere ähnliche Inhalte

Was ist angesagt?

Complex form fourier series
Complex form fourier seriesComplex form fourier series
Complex form fourier series
derry92
 
Exponentials integrals
Exponentials integralsExponentials integrals
Exponentials integrals
Tarun Gehlot
 
The proof complexity of matrix algebra - Newton Institute, Cambridge 2006
The proof complexity of matrix algebra - Newton Institute, Cambridge 2006The proof complexity of matrix algebra - Newton Institute, Cambridge 2006
The proof complexity of matrix algebra - Newton Institute, Cambridge 2006
Michael Soltys
 
Métodos computacionales para el estudio de modelos epidemiológicos con incer...
Métodos computacionales para el estudio de modelos  epidemiológicos con incer...Métodos computacionales para el estudio de modelos  epidemiológicos con incer...
Métodos computacionales para el estudio de modelos epidemiológicos con incer...
Facultad de Informática UCM
 
Slides université Laval, Actuariat, Avril 2011
Slides université Laval, Actuariat, Avril 2011Slides université Laval, Actuariat, Avril 2011
Slides université Laval, Actuariat, Avril 2011
Arthur Charpentier
 
State Equations Model Based On Modulo 2 Arithmetic And Its Applciation On Rec...
State Equations Model Based On Modulo 2 Arithmetic And Its Applciation On Rec...State Equations Model Based On Modulo 2 Arithmetic And Its Applciation On Rec...
State Equations Model Based On Modulo 2 Arithmetic And Its Applciation On Rec...
Anax_Fotopoulos
 

Was ist angesagt? (20)

Complex form fourier series
Complex form fourier seriesComplex form fourier series
Complex form fourier series
 
METHOD OF JACOBI
METHOD OF JACOBIMETHOD OF JACOBI
METHOD OF JACOBI
 
Nonlinear Stochastic Programming by the Monte-Carlo method
Nonlinear Stochastic Programming by the Monte-Carlo methodNonlinear Stochastic Programming by the Monte-Carlo method
Nonlinear Stochastic Programming by the Monte-Carlo method
 
Convolution and FFT
Convolution and FFTConvolution and FFT
Convolution and FFT
 
Exponentials integrals
Exponentials integralsExponentials integrals
Exponentials integrals
 
4th Semester Mechanincal Engineering (2012-June) Question Papers
4th Semester Mechanincal Engineering (2012-June) Question Papers4th Semester Mechanincal Engineering (2012-June) Question Papers
4th Semester Mechanincal Engineering (2012-June) Question Papers
 
Lesson 14: Derivatives of Exponential and Logarithmic Functions (Section 041 ...
Lesson 14: Derivatives of Exponential and Logarithmic Functions (Section 041 ...Lesson 14: Derivatives of Exponential and Logarithmic Functions (Section 041 ...
Lesson 14: Derivatives of Exponential and Logarithmic Functions (Section 041 ...
 
Fourier series 2
Fourier series 2Fourier series 2
Fourier series 2
 
Ma2002 1.19 rm
Ma2002 1.19 rmMa2002 1.19 rm
Ma2002 1.19 rm
 
Em10 fl
Em10 flEm10 fl
Em10 fl
 
FEC 512.07
FEC 512.07FEC 512.07
FEC 512.07
 
The proof complexity of matrix algebra - Newton Institute, Cambridge 2006
The proof complexity of matrix algebra - Newton Institute, Cambridge 2006The proof complexity of matrix algebra - Newton Institute, Cambridge 2006
The proof complexity of matrix algebra - Newton Institute, Cambridge 2006
 
2018 MUMS Fall Course - Statistical and Mathematical Techniques for Sensitivi...
2018 MUMS Fall Course - Statistical and Mathematical Techniques for Sensitivi...2018 MUMS Fall Course - Statistical and Mathematical Techniques for Sensitivi...
2018 MUMS Fall Course - Statistical and Mathematical Techniques for Sensitivi...
 
4th Semester Mechanincal Engineering (2012-December) Question Papers
4th Semester Mechanincal Engineering (2012-December) Question Papers4th Semester Mechanincal Engineering (2012-December) Question Papers
4th Semester Mechanincal Engineering (2012-December) Question Papers
 
Digitalcontrolsystems
DigitalcontrolsystemsDigitalcontrolsystems
Digitalcontrolsystems
 
2018 MUMS Fall Course - Statistical Representation of Model Input (EDITED) - ...
2018 MUMS Fall Course - Statistical Representation of Model Input (EDITED) - ...2018 MUMS Fall Course - Statistical Representation of Model Input (EDITED) - ...
2018 MUMS Fall Course - Statistical Representation of Model Input (EDITED) - ...
 
Métodos computacionales para el estudio de modelos epidemiológicos con incer...
Métodos computacionales para el estudio de modelos  epidemiológicos con incer...Métodos computacionales para el estudio de modelos  epidemiológicos con incer...
Métodos computacionales para el estudio de modelos epidemiológicos con incer...
 
Slides université Laval, Actuariat, Avril 2011
Slides université Laval, Actuariat, Avril 2011Slides université Laval, Actuariat, Avril 2011
Slides université Laval, Actuariat, Avril 2011
 
State Equations Model Based On Modulo 2 Arithmetic And Its Applciation On Rec...
State Equations Model Based On Modulo 2 Arithmetic And Its Applciation On Rec...State Equations Model Based On Modulo 2 Arithmetic And Its Applciation On Rec...
State Equations Model Based On Modulo 2 Arithmetic And Its Applciation On Rec...
 
Lesson 16: Exponential Growth and Decay
Lesson 16: Exponential Growth and DecayLesson 16: Exponential Growth and Decay
Lesson 16: Exponential Growth and Decay
 

Andere mochten auch

Fault treepoker 2010-07-31_release
Fault treepoker 2010-07-31_releaseFault treepoker 2010-07-31_release
Fault treepoker 2010-07-31_release
William L. McGill
 
Fault Tree Analysis for the EnergyGrid
Fault Tree Analysis for the EnergyGridFault Tree Analysis for the EnergyGrid
Fault Tree Analysis for the EnergyGrid
E P
 
fault tree analysis
fault tree analysisfault tree analysis
fault tree analysis
Siti Mastura
 
Pengenalan kepada latihan pemanduan modul perubatan & etika dan profesionalisma
Pengenalan kepada  latihan pemanduan modul perubatan & etika dan profesionalismaPengenalan kepada  latihan pemanduan modul perubatan & etika dan profesionalisma
Pengenalan kepada latihan pemanduan modul perubatan & etika dan profesionalisma
Lee Oi Wah
 
Fault tree and event tree in risk analysis
Fault tree and event tree in risk analysisFault tree and event tree in risk analysis
Fault tree and event tree in risk analysis
Jennifer Gutierrez
 
Fault tree analysis
Fault tree analysisFault tree analysis
Fault tree analysis
elsonpaul11
 

Andere mochten auch (16)

Fault treepoker 2010-07-31_release
Fault treepoker 2010-07-31_releaseFault treepoker 2010-07-31_release
Fault treepoker 2010-07-31_release
 
ST-PRA
ST-PRAST-PRA
ST-PRA
 
Fault Tree Analysis for the EnergyGrid
Fault Tree Analysis for the EnergyGridFault Tree Analysis for the EnergyGrid
Fault Tree Analysis for the EnergyGrid
 
Safety Analysis Profile
Safety Analysis ProfileSafety Analysis Profile
Safety Analysis Profile
 
Fault tree analysis
Fault tree analysisFault tree analysis
Fault tree analysis
 
Fault Tree Analysis
Fault Tree AnalysisFault Tree Analysis
Fault Tree Analysis
 
fault tree analysis
fault tree analysisfault tree analysis
fault tree analysis
 
Fault Tree Analysis
 Fault Tree Analysis Fault Tree Analysis
Fault Tree Analysis
 
Fault Tree Analysis
Fault Tree AnalysisFault Tree Analysis
Fault Tree Analysis
 
Fault tree analysis
Fault tree analysisFault tree analysis
Fault tree analysis
 
fault tree analysis
fault tree analysisfault tree analysis
fault tree analysis
 
Pengenalan kepada latihan pemanduan modul perubatan & etika dan profesionalisma
Pengenalan kepada  latihan pemanduan modul perubatan & etika dan profesionalismaPengenalan kepada  latihan pemanduan modul perubatan & etika dan profesionalisma
Pengenalan kepada latihan pemanduan modul perubatan & etika dan profesionalisma
 
Fault tree and event tree in risk analysis
Fault tree and event tree in risk analysisFault tree and event tree in risk analysis
Fault tree and event tree in risk analysis
 
Fault tree analysis
Fault tree analysisFault tree analysis
Fault tree analysis
 
Manper06 fta
Manper06 ftaManper06 fta
Manper06 fta
 
FAULT & EVENT TREE ANALYSIS
FAULT & EVENT TREE ANALYSISFAULT & EVENT TREE ANALYSIS
FAULT & EVENT TREE ANALYSIS
 

Ähnlich wie Rpra1

Intelligent Process Control Using Neural Fuzzy Techniques ~陳奇中教授演講投影片
Intelligent Process Control Using Neural Fuzzy Techniques ~陳奇中教授演講投影片Intelligent Process Control Using Neural Fuzzy Techniques ~陳奇中教授演講投影片
Intelligent Process Control Using Neural Fuzzy Techniques ~陳奇中教授演講投影片
Chyi-Tsong Chen
 
Jam 2006 Test Papers Mathematical Statistics
Jam 2006 Test Papers Mathematical StatisticsJam 2006 Test Papers Mathematical Statistics
Jam 2006 Test Papers Mathematical Statistics
ashu29
 
23 industrial engineering
23 industrial engineering23 industrial engineering
23 industrial engineering
mloeb825
 
Hybrid Atlas Models of Financial Equity Market
Hybrid Atlas Models of Financial Equity MarketHybrid Atlas Models of Financial Equity Market
Hybrid Atlas Models of Financial Equity Market
tomoyukiichiba
 
Rank awarealgs small11
Rank awarealgs small11Rank awarealgs small11
Rank awarealgs small11
Jules Esp
 
Rank awarealgs small11
Rank awarealgs small11Rank awarealgs small11
Rank awarealgs small11
Jules Esp
 

Ähnlich wie Rpra1 (20)

Intelligent Process Control Using Neural Fuzzy Techniques ~陳奇中教授演講投影片
Intelligent Process Control Using Neural Fuzzy Techniques ~陳奇中教授演講投影片Intelligent Process Control Using Neural Fuzzy Techniques ~陳奇中教授演講投影片
Intelligent Process Control Using Neural Fuzzy Techniques ~陳奇中教授演講投影片
 
Jere Koskela slides
Jere Koskela slidesJere Koskela slides
Jere Koskela slides
 
Jam 2006 Test Papers Mathematical Statistics
Jam 2006 Test Papers Mathematical StatisticsJam 2006 Test Papers Mathematical Statistics
Jam 2006 Test Papers Mathematical Statistics
 
Section4 stochastic
Section4 stochasticSection4 stochastic
Section4 stochastic
 
Least squares support Vector Machine Classifier
Least squares support Vector Machine ClassifierLeast squares support Vector Machine Classifier
Least squares support Vector Machine Classifier
 
23 industrial engineering
23 industrial engineering23 industrial engineering
23 industrial engineering
 
Section9 stochastic
Section9 stochasticSection9 stochastic
Section9 stochastic
 
Lect4 ellipse
Lect4 ellipseLect4 ellipse
Lect4 ellipse
 
Basics of probability in statistical simulation and stochastic programming
Basics of probability in statistical simulation and stochastic programmingBasics of probability in statistical simulation and stochastic programming
Basics of probability in statistical simulation and stochastic programming
 
Mcgill3
Mcgill3Mcgill3
Mcgill3
 
Regression Theory
Regression TheoryRegression Theory
Regression Theory
 
SSA slides
SSA slidesSSA slides
SSA slides
 
Symmetrical2
Symmetrical2Symmetrical2
Symmetrical2
 
Random Matrix Theory and Machine Learning - Part 3
Random Matrix Theory and Machine Learning - Part 3Random Matrix Theory and Machine Learning - Part 3
Random Matrix Theory and Machine Learning - Part 3
 
ch3.ppt
ch3.pptch3.ppt
ch3.ppt
 
Higher-order Factorization Machines(第5回ステアラボ人工知能セミナー)
Higher-order Factorization Machines(第5回ステアラボ人工知能セミナー)Higher-order Factorization Machines(第5回ステアラボ人工知能セミナー)
Higher-order Factorization Machines(第5回ステアラボ人工知能セミナー)
 
Hybrid Atlas Models of Financial Equity Market
Hybrid Atlas Models of Financial Equity MarketHybrid Atlas Models of Financial Equity Market
Hybrid Atlas Models of Financial Equity Market
 
Rank awarealgs small11
Rank awarealgs small11Rank awarealgs small11
Rank awarealgs small11
 
Rank awarealgs small11
Rank awarealgs small11Rank awarealgs small11
Rank awarealgs small11
 
MVPA with SpaceNet: sparse structured priors
MVPA with SpaceNet: sparse structured priorsMVPA with SpaceNet: sparse structured priors
MVPA with SpaceNet: sparse structured priors
 

Mehr von Ilham Reyzer Firmansyah

Tugas1 cnc kelas a_presentasi_power point
Tugas1 cnc kelas a_presentasi_power pointTugas1 cnc kelas a_presentasi_power point
Tugas1 cnc kelas a_presentasi_power point
Ilham Reyzer Firmansyah
 
Ilham firmansyah universitas muhammadiyah yogyakarta pkm-kc
Ilham firmansyah universitas muhammadiyah yogyakarta pkm-kcIlham firmansyah universitas muhammadiyah yogyakarta pkm-kc
Ilham firmansyah universitas muhammadiyah yogyakarta pkm-kc
Ilham Reyzer Firmansyah
 
(Pkm k)-2013-umy-agung fajar pamungkas-penjualan buku dengan konsep coffe sho...
(Pkm k)-2013-umy-agung fajar pamungkas-penjualan buku dengan konsep coffe sho...(Pkm k)-2013-umy-agung fajar pamungkas-penjualan buku dengan konsep coffe sho...
(Pkm k)-2013-umy-agung fajar pamungkas-penjualan buku dengan konsep coffe sho...
Ilham Reyzer Firmansyah
 
(Pkm p)-2013-umy-ilham-.....................
(Pkm p)-2013-umy-ilham-.....................(Pkm p)-2013-umy-ilham-.....................
(Pkm p)-2013-umy-ilham-.....................
Ilham Reyzer Firmansyah
 
.Ilham firmansyah universitas muhammadiyah yogyakarta pengembangan inovasi te...
.Ilham firmansyah universitas muhammadiyah yogyakarta pengembangan inovasi te....Ilham firmansyah universitas muhammadiyah yogyakarta pengembangan inovasi te...
.Ilham firmansyah universitas muhammadiyah yogyakarta pengembangan inovasi te...
Ilham Reyzer Firmansyah
 

Mehr von Ilham Reyzer Firmansyah (8)

Dasar teori
Dasar teoriDasar teori
Dasar teori
 
Tugas1 cnc kelas a_presentasi_power point
Tugas1 cnc kelas a_presentasi_power pointTugas1 cnc kelas a_presentasi_power point
Tugas1 cnc kelas a_presentasi_power point
 
(Pkm m)-2011-umy--alat pengering padi
(Pkm m)-2011-umy--alat pengering padi(Pkm m)-2011-umy--alat pengering padi
(Pkm m)-2011-umy--alat pengering padi
 
Ilham firmansyah universitas muhammadiyah yogyakarta pkm-kc
Ilham firmansyah universitas muhammadiyah yogyakarta pkm-kcIlham firmansyah universitas muhammadiyah yogyakarta pkm-kc
Ilham firmansyah universitas muhammadiyah yogyakarta pkm-kc
 
(Pkm k)-2013-umy-agung fajar pamungkas-penjualan buku dengan konsep coffe sho...
(Pkm k)-2013-umy-agung fajar pamungkas-penjualan buku dengan konsep coffe sho...(Pkm k)-2013-umy-agung fajar pamungkas-penjualan buku dengan konsep coffe sho...
(Pkm k)-2013-umy-agung fajar pamungkas-penjualan buku dengan konsep coffe sho...
 
(Pkm p)-2013-umy-ilham-.....................
(Pkm p)-2013-umy-ilham-.....................(Pkm p)-2013-umy-ilham-.....................
(Pkm p)-2013-umy-ilham-.....................
 
.Ilham firmansyah universitas muhammadiyah yogyakarta pengembangan inovasi te...
.Ilham firmansyah universitas muhammadiyah yogyakarta pengembangan inovasi te....Ilham firmansyah universitas muhammadiyah yogyakarta pengembangan inovasi te...
.Ilham firmansyah universitas muhammadiyah yogyakarta pengembangan inovasi te...
 
Wave energy
Wave energyWave energy
Wave energy
 

Rpra1

  • 1. Engineering Risk Benefit Analysis 1.155, 2.943, 3.577, 6.938, 10.816, 13.621, 16.862, 22.82 ESD.72J, ESD.721 RPRA 1. The Logic of Certainty George E. Apostolakis Massachusetts Institute of Technology Spring 2007 RPRA 1. The Logic of Certainty 1
  • 2. Event Definition •Event: A statement that can be true or false. •“It may rain tonight” is not an event. •According to our current state of knowledge, we may say that an event E is TRUE, FALSE, or POSSIBLE (UNCERTAIN). •Eventually, E will be either TRUE or FALSE. RPRA 1. The Logic of Certainty 2
  • 3. True Event False Possible RPRA 1. The Logic of Certainty 3
  • 4. Venn Diagrams • Sample Space: The set of all possible outcomes of an experiment. Each elementary outcome is represented by a sample point. • Examples: Die {1,2,3,4,5,6} Failure Time {0, ∞} • A collection of sample points is an event. S Venn Diagram E RPRA 1. The Logic of Certainty 4
  • 5. Indicator Variables 1,If E j is T Xj = 0, If E j is F Important Note: Xk = X, k: 1, 2, … S ___ Venn Diagram E E RPRA 1. The Logic of Certainty 5
  • 6. Union (OR operation) A∪ B = C X C = 1 − (1 − X A )(1 − X B ) X C ≡ C X j C A B A B RPRA 1. The Logic of Certainty 6
  • 7. Intersection (AND operation) A∩ B = C XC = X AX B XC ≡ ∏ X j C A B A B Mutually Exclusive Events: A∩ B = ∅ RPRA 1. The Logic of Certainty 7
  • 8. Simple Systems Reliability Block Diagram for the Series System 1 .... N N N System Failure failure: X = 1 − ∏ (1 − X j ) ≡ C X j 1 1 N success : Y = ∏ Yj 1 1 ... N RPRA 1. The Logic of Certainty 8
  • 9. Reliability Block Diagram for the Parallel System N X =∏ X j 1 1 2 N Y = CYj i 1 i+1 TOP N 1 2 i i+1 N RPRA 1. The Logic of Certainty 9
  • 10. Event-Tree Analysis IE BARRIER 1 BARRIER 2 1 (OK) SUCCESS 2 (R1) 3 (R2) FAILURE RPRA 1. The Logic of Certainty 10
  • 11. Fault-Tree Analysis Reliability Block Diagram for the 2-out-of-3 System A B 2/3 C RPRA 1. The Logic of Certainty 11
  • 12. X T = 1 − (1 − Y1 )(1 − Y2 ) = 1 − (1 − X A X B X C ){1 − [1 − (1 − Z1 )(1 − Z 2 )(1 − Z 3 )]} = 1 − (1 − X A X B X C ){1 − [1 − (1 − X A X B )(1 − X B X C )(1 − X C X A )]} Expanding and using Xk = X we get X T = 1 − (1 − X A X B )(1 − X B X C )(1 − X C X A ) RPRA 1. The Logic of Certainty 12
  • 13. Cut sets and minimal cut sets • CUT SET: Any set of events (failures of components and human actions) that cause system failure. • MINIMAL CUT SET: A cut set that does not contain another cut set as a subset. RPRA 1. The Logic of Certainty 13
  • 14. New fault tree: S y s te m F a ilu r e A B B C C A Minimal cut sets: M 1 = X A X B, M2 = X B XC ,, M3 = XC X A 3 X T = C M j ≡ 1 − (1 − M 1 ) (1 − M 2 ) (1 − M 3 ) = 1 = 1 − (1 − X A X B )(1 − X B X C )(1 − X C X A) RPRA 1. The Logic of Certainty 14
  • 15. XT = φ(X1, X2,…Xn) ≡ φ(X) φ(X) is the structure or switching function. It maps an n-dimensional vector of 0s and 1s onto 0 or 1. Disjunctive Normal Form: N N XT = 1 − ∏ (1 − M i ) ≡ C M i 1 1 Sum-of-Products Form: N N −1 N N +1 N XT = ∑ Mi − ∑ ∑ M i M j + ... + (−1) ∏ M i i =1 i =1 j =i +1 i =1 RPRA 1. The Logic of Certainty 15
  • 16. For the 2-out-of-3 System: XT=1-(1-XAXB) (1-XBXC) (1-XCXA) XT = (M1+M2+M3) - (M1M2+M2M3+M3M1) + M1M2M3 But, M1M2 = XAXB2XC = XAXBXC Therefore, the sum-of-products expression is: XT = (XAXB+XBXC+XCXA) - 2XAXBXC RPRA 1. The Logic of Certainty 16
  • 17. The Bridge Network A 1 3 B 5 2 4 {X1X2}, {X3X4}, {X2X3X5}, {X1X4X5} Disjunctive Normal Form: XT=1-(1-X1X2)(1-X3X4)(1-X2X3X5)(1-X1X4X5) Sum-of-Products Form: XT = X1X2+ X3X4+ X2X3X5+ X1X4X5- - X1X2 X3X4- X1X2X3X5- X1X2X4X5 - -X2X3X4X5 - X1X3X4X5 + 2X1X2X3X4X5 RPRA 1. The Logic of Certainty 17
  • 18. Causes of Failure 1. Primary failure ("hardware" failure) 2. Secondary failure (external, environmental) 3. "Command" failure (no input; no power) N o O u tp u t fro m C om ponent P r im a r y F a ilu r e S e c o n d a ry C om m and F a ilu r e F a ilu r e RPRA 1. The Logic of Certainty 18
  • 19. Reliability Block Diagram for the Fuel-Supply System T1 Control Valve Fuel V1 Source P1 Pump Train 1 Emergency Diesel T2 Control Valve Engine Fuel V2 Source P2 Pump Train 2 Electric Power Source, E Control System, C Cooling System, CO RPRA 1. The Logic of Certainty 19
  • 20. Fault tree elements TOP EVENT “OR” Gate INTERMEDIATE EVENT, A INCOMPLETELY “AND” Gate DEVELOPED EVENT, B 2 Transfer in from Sheet 2 A1 A2 Basic Basic Event Event A1 A2 Note: It’s helpful to start the fault-tree development from the output of the system (the top event) and work backwards. RPRA 1. The Logic of Certainty 20
  • 21. LOSS OF FUEL FLOW , T LOSS OF TRAIN E1 LOSS OF TRAIN E2 1 2 MECHANICAL M LOSS OF TRAIN 2 2 Loss of Loss of Loss of Electricity Control Cooling E C CO T2 P2 V2 MECHANICAL LOSS OF TRAIN M 1 Loss of Loss of Loss of 1 Electricity Control Cooling E C CO T1 P1 V1 RPRA 1. The Logic of Certainty 21
  • 22. A simpler fault tree No Fuel is Delivered When Needed E C CO Pumping Fails Fails Fails Branches Fail Train 1 Fails Train 2 Fails T1 P1 V1 T2 P2 V2 Fails to Fails to Fails Fails to Fails to Fails Supply Pump Closed Supply Pump Closed Fuel Fuel Fuel Fuel RPRA 1. The Logic of Certainty 22
  • 23. Development of T1 Tank T1 Failure to Supply Fuel Tank is Intact Tank (and Supply Pipe But Em pty Supply Pipe) is Plugged and Undetected is Not Intact Tank is Em pty Fuel Level Hum an Sludge Detection Action Buildup Tank is Tank is Tank Fails Em ptied Em ptied Drain Inadvertantly in Use and Valve is (hum an Not Refilled Left O pen error) Corrosion Induced Failure Fatique M issile Induced Earthquake Internal Failure Induced Im pact Fire/Explosion Failure Induced Induced Failure Failure Faulty Corrosion M anufacture & Control Program RPRA 1. The Logic of Certainty 23
  • 24. System min cut sets T1, Tank T2, Tank Any combination of P1, Pump and of P2, Pump an element of V1, Valve V2, Valve C Control System or plus E Electric Power Source or CO Cooling System RPRA 1. The Logic of Certainty 24
  • 25. RPRA 1. The Logic of Certainty 25
  • 26. Examples of Initiating Events • Loss of Coolant • Transients • Human Error • Loss of Power • Fires • Airplane Crashes • Earthquakes RPRA 1. The Logic of Certainty 26