Engineering Risk Benefit Analysis

Size: px
Start display at page:

Download "Engineering Risk Benefit Analysis"

Transcription

1 Engineering Risk enefit nalysis.55, 2.943, 3.577, 6.938, 0.86, 3.62, 6.862, ESD.72J, ESD.72 RPR. The Logic of ertainty George E. postolakis Massachusetts Institute of Technology Spring 2007 RPR. The Logic of ertainty

2 Event Definition Event: statement that can be true or false. It may rain tonight is not an event. ccording to our current state of knowledge, we may say that an event E is TRUE, FLSE, or POSSILE (UNERTIN). Eventually, E will be either TRUE or FLSE. RPR. The Logic of ertainty 2

3 True Event False Possible RPR. The Logic of ertainty 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 {,2,3,4,5,6} Failure Time {0, } collection of sample points is an event. S Venn Diagram E RPR. The Logic of ertainty 4

5 Indicator Variables,If E j is T j = Important Note: k =, k:, 2, 0, If E j is F S Venn Diagram E E RPR. The Logic of ertainty 5

6 Union (OR operation) = = ( )( j ) RPR. The Logic of ertainty 6

7 Intersection (ND operation) = = j Mutually Exclusive Events: = RPR. The Logic of ertainty 7

8 Simple Systems Reliability lock Diagram for the Series System.... N System Failure failure: N = ( j ) N j success : Y = N Yj... N RPR. The Logic of ertainty 8

9 Reliability lock Diagram for the Parallel System 2 i i+ Y N = = TOP N j Y j N 2 i i+ N RPR. The Logic of ertainty 9

10 Event-Tree nalysis IE SUESS RRIER RRIER 2 (OK) 2 (R) FILURE 3 (R2) RPR. The Logic of ertainty 0

11 Fault-Tree nalysis Reliability lock Diagram for the 2-out-of-3 System 2/3 RPR. The Logic of ertainty

12 T = ( Y = ( = ( )( Y 2 ) ){ [ ( ){ [ ( Z )( Z 2 )( Z )( 3 )]} )( )]} Expanding and using k = we get T = ( )( )( ) RPR. The Logic of ertainty 2

13 ut sets and minimal cut sets UT SET: ny set of events (failures of components and human actions) that cause system failure. MINIML UT SET: cut set that does not contain another cut set as a subset. RPR. The Logic of ertainty 3

14 RPR. The Logic of ertainty 4 New fault tree: M M M = = = 3 2,,, ( )( )( ) ) )( )( ( j T M M M M = = = Minimal cut sets: System Failure

15 T = φ(, 2, n ) φ() φ() is the structure or switching function. It maps an n-dimensional vector of 0s and s onto 0 or. Disjunctive Normal Form: T = N ( Sum-of-Products Form: T = N i = M i N N i= j= i+ M M i j M ) i ( ) N N + M i = RPR. The Logic of ertainty 5 N i M i

16 For the 2-out-of-3 System: T =-(- ) (- ) (- ) T = (M +M 2 +M 3 ) - (M M 2 +M 2 M 3 +M 3 M ) + M M 2 M 3 ut, M M 2 = 2 = Therefore, the sum-of-products expression is: T = ( + + ) - 2 RPR. The Logic of ertainty 6

17 The ridge Network { 2 }, { 3 4 }, { }, { 4 5 } Disjunctive Normal Form: T =-(- 2 )(- 3 4 )( )(- 4 5 ) Sum-of-Products Form: T = RPR. The Logic of ertainty 7

18 auses of Failure. Primary failure ("hardware" failure) 2. Secondary failure (external, environmental) 3. "ommand" failure (no input; no power) No Output from omponent Primary Failure Secondary Failure ommand Failure RPR. The Logic of ertainty 8

19 Reliability lock Diagram for the Fuel-Supply System T Fuel Source P ontrol Valve V Pump Train T2 Fuel Source P2 ontrol Valve V2 Pump Train 2 Emergency Diesel Engine Electric Power Source, E ontrol System, ooling System, O RPR. The Logic of ertainty 9

20 Fault tree elements TOP EVENT OR Gate INTERMEDITE EVENT, asic Event ND Gate 2 asic Event 2 INOMPLETELY DEVELOPED EVENT, 2 Transfer in from Sheet 2 Note: It s helpful to start the fault-tree development from the output of the system (the top event) and work backwards. RPR. The Logic of ertainty 20

21 LOSS OF FUEL FLOW, T LOSS OF TRIN E LOSS OF TRIN 2 E 2 MEHNIL LOSS OF TRIN 2 M 2 Loss of Electricity Loss of ontrol Loss of ooling E O T 2 P 2 V 2 Loss of Electricity Loss of ontrol Loss of ooling MEHNIL LOSS OF TRIN M E O T P V RPR. The Logic of ertainty 2

22 simpler fault tree No Fuel is Delivered When Needed E Fails Fails O Fails Pumping ranches Fail Train Fails Train 2 Fails T Fails to Supply Fuel P Fails to Pump Fuel V Fails losed T2 Fails to Supply Fuel P2 Fails to Pump Fuel V2 Fails losed RPR. The Logic of ertainty 22

23 Development of T Tank T Failure to Supply Fuel Tank is Intact ut Empty and Undetected Tank (and Supply Pipe) is Not Intact Supply Pipe is Plugged Tank is Emptied Inadvertantly (human error) Tank is Empty Tank is Emptied in Use and Not Refilled Tank Drain Valve is Left Open Fuel Level Detection Fails Human ction Sludge uildup Earthquake Induced Failure Missile Impact Induced Failure Internal Fire/Explosion Induced Failure orrosion Induced Failure orrosion Faulty Manufacture & ontrol Program Fatique Induced Failure RPR. The Logic of ertainty 23

24 System min cut sets ny combination of an element of T, Tank P, Pump V, Valve and of T2, Tank P2, Pump V2, Valve plus E O ontrol System or Electric Power Source or ooling System RPR. The Logic of ertainty 24

25 RPR. The Logic of ertainty 25

26 Examples of Initiating Events Loss of oolant Transients Human Error Loss of Power Fires irplane rashes Earthquakes RPR. The Logic of ertainty 26

RISK-INFORMED OPERATIONAL DECISION MANAGEMENT (RIODM): RISK, EVENT TREES AND FAULT TREES

RISK-INFORMED OPERATIONAL DECISION MANAGEMENT (RIODM): RISK, EVENT TREES AND FAULT TREES 22.38 PROBABILITY AND ITS APPLICATIONS TO RELIABILITY, QUALITY CONTROL AND RISK ASSESSMENT Fall 2005, Lecture 1 RISK-INFORMED OPERATIONAL DECISION MANAGEMENT (RIODM): RISK, EVENT TREES AND FAULT TREES

More information

Causal & Frequency Analysis

Causal & Frequency Analysis Causal & Frequency Analysis Arshad Ahmad arshad@utm.my Fishbone Diagram 2 The Cause and Effect (CE) Diagram (Ishikawa Fishbone) Created in 1943 by Professor Kaoru Ishikawa of Tokyo University Used to investigate

More information

Lecture 5 Probability

Lecture 5 Probability Lecture 5 Probability Dr. V.G. Snell Nuclear Reactor Safety Course McMaster University vgs 1 Probability Basic Ideas P(A)/probability of event A 'lim n64 ( x n ) (1) (Axiom #1) 0 # P(A) #1 (1) (Axiom #2):

More information

Risk Analysis of Highly-integrated Systems

Risk Analysis of Highly-integrated Systems Risk Analysis of Highly-integrated Systems RA II: Methods (FTA, ETA) Fault Tree Analysis (FTA) Problem description It is not possible to analyse complicated, highly-reliable or novel systems as black box

More information

3.4 Set Operations Given a set A, the complement (in the Universal set U) A c is the set of all elements of U that are not in A. So A c = {x x / A}.

3.4 Set Operations Given a set A, the complement (in the Universal set U) A c is the set of all elements of U that are not in A. So A c = {x x / A}. 3.4 Set Operations Given a set, the complement (in the niversal set ) c is the set of all elements of that are not in. So c = {x x /. (This type of picture is called a Venn diagram.) Example 39 Let = {1,

More information

Experiment -- the process by which an observation is made. Sample Space -- ( S) the collection of ALL possible outcomes of an experiment

Experiment -- the process by which an observation is made. Sample Space -- ( S) the collection of ALL possible outcomes of an experiment A. 1 Elementary Probability Set Theory Experiment -- the process by which an observation is made Ex. Outcome The result of a chance experiment. Ex. Sample Space -- ( S) the collection of ALL possible outcomes

More information

Chapter 18 Section 8.5 Fault Trees Analysis (FTA) Don t get caught out on a limb of your fault tree.

Chapter 18 Section 8.5 Fault Trees Analysis (FTA) Don t get caught out on a limb of your fault tree. Chapter 18 Section 8.5 Fault Trees Analysis (FTA) Don t get caught out on a limb of your fault tree. C. Ebeling, Intro to Reliability & Maintainability Engineering, 2 nd ed. Waveland Press, Inc. Copyright

More information

General Diagnostic Engine: GDE

General Diagnostic Engine: GDE eneral iagnostic ngine: onsistency based diagnosis 1 Introduction 2 omputational approach: arlos lonso onzález elarmino Pulido Junquera SI. pto. Informática, Universidad de Valladolid onsistency ased iagnosis

More information

Chapter 1 (Basic Probability)

Chapter 1 (Basic Probability) Chapter 1 (Basic Probability) What is probability? Consider the following experiments: 1. Count the number of arrival requests to a web server in a day. 2. Determine the execution time of a program. 3.

More information

12 - The Tie Set Method

12 - The Tie Set Method 12 - The Tie Set Method Definitions: A tie set V is a set of components whose success results in system success, i.e. the presence of all components in any tie set connects the input to the output in the

More information

Math 3338: Probability (Fall 2006)

Math 3338: Probability (Fall 2006) Math 3338: Probability (Fall 2006) Jiwen He Section Number: 10853 http://math.uh.edu/ jiwenhe/math3338fall06.html Probability p.1/8 Chapter Two: Probability (I) Probability p.2/8 2.1 Sample Spaces and

More information

ECE 450 Lecture 2. Recall: Pr(A B) = Pr(A) + Pr(B) Pr(A B) in general = Pr(A) + Pr(B) if A and B are m.e. Lecture Overview

ECE 450 Lecture 2. Recall: Pr(A B) = Pr(A) + Pr(B) Pr(A B) in general = Pr(A) + Pr(B) if A and B are m.e. Lecture Overview ECE 450 Lecture 2 Recall: Pr(A B) = Pr(A) + Pr(B) Pr(A B) in general = Pr(A) + Pr(B) if A and B are m.e. Lecture Overview Conditional Probability, Pr(A B) Total Probability Bayes Theorem Independent Events

More information

Nuclear reliability: system reliabilty

Nuclear reliability: system reliabilty Nuclear reliability: system reliabilty Dr. Richard E. Turner (ret26@cam.ac.uk) December 3, 203 Goal of these two lectures failures are inevitable: need methods for characterising and quantifying them LAST

More information

Show Your Work! Point values are in square brackets. There are 35 points possible. Some facts about sets are on the last page.

Show Your Work! Point values are in square brackets. There are 35 points possible. Some facts about sets are on the last page. Formal Methods Name: Key Midterm 2, Spring, 2007 Show Your Work! Point values are in square brackets. There are 35 points possible. Some facts about sets are on the last page.. Determine whether each of

More information

Quantitative Reliability Analysis

Quantitative Reliability Analysis Quantitative Reliability Analysis Moosung Jae May 4, 2015 System Reliability Analysis System reliability analysis is conducted in terms of probabilities The probabilities of events can be modelled as logical

More information

ENGI 4421 Introduction to Probability; Sets & Venn Diagrams Page α 2 θ 1 u 3. wear coat. θ 2 = warm u 2 = sweaty! θ 1 = cold u 3 = brrr!

ENGI 4421 Introduction to Probability; Sets & Venn Diagrams Page α 2 θ 1 u 3. wear coat. θ 2 = warm u 2 = sweaty! θ 1 = cold u 3 = brrr! ENGI 4421 Introduction to Probability; Sets & Venn Diagrams Page 2-01 Probability Decision trees u 1 u 2 α 2 θ 1 u 3 θ 2 u 4 Example 2.01 θ 1 = cold u 1 = snug! α 1 wear coat θ 2 = warm u 2 = sweaty! θ

More information

Week 2. Section Texas A& M University. Department of Mathematics Texas A& M University, College Station 22 January-24 January 2019

Week 2. Section Texas A& M University. Department of Mathematics Texas A& M University, College Station 22 January-24 January 2019 Week 2 Section 1.2-1.4 Texas A& M University Department of Mathematics Texas A& M University, College Station 22 January-24 January 2019 Oğuz Gezmiş (TAMU) Topics in Contemporary Mathematics II Week2 1

More information

Lecture 1. Notes. Notes. Notes. Introduction. Introduction digital logic February Bern University of Applied Sciences

Lecture 1. Notes. Notes. Notes. Introduction. Introduction digital logic February Bern University of Applied Sciences Output voltage Input voltage 3.3V Digital operation (Switch) Lecture digital logic February 26 ern University of pplied Sciences Digital vs nalog Logic =? lgebra Logic = lgebra oolean lgebra Exercise Rev.

More information

Basic notions of probability theory

Basic notions of probability theory Basic notions of probability theory Contents o Boolean Logic o Definitions of probability o Probability laws Objectives of This Lecture What do we intend for probability in the context of RAM and risk

More information

Fundamentals of Probability CE 311S

Fundamentals of Probability CE 311S Fundamentals of Probability CE 311S OUTLINE Review Elementary set theory Probability fundamentals: outcomes, sample spaces, events Outline ELEMENTARY SET THEORY Basic probability concepts can be cast in

More information

PROBABILISTIC AND POSSIBILISTIC FAULT TREE ANALYSIS

PROBABILISTIC AND POSSIBILISTIC FAULT TREE ANALYSIS PROBABILISTIC AD POSSIBILISTIC FAULT TREE AALYSIS M. Ragheb 12/28/2017 ITRODUCTIO In the design of nuclear power plants, it is important to analyze the probable and possible mechanisms of failure. Fault

More information

ENGI 3423 Introduction to Probability; Sets & Venn Diagrams Page 3-01

ENGI 3423 Introduction to Probability; Sets & Venn Diagrams Page 3-01 ENGI 3423 Introduction to Probability; Sets & Venn Diagrams Page 3-01 Probability Decision trees θ 1 u 1 α 1 θ 2 u 2 Decision α 2 θ 1 u 3 Actions Chance nodes States of nature θ 2 u 4 Consequences; utility

More information

Probability- describes the pattern of chance outcomes

Probability- describes the pattern of chance outcomes Chapter 6 Probability the study of randomness Probability- describes the pattern of chance outcomes Chance behavior is unpredictable in the short run, but has a regular and predictable pattern in the long

More information

Lecture 3. Title goes here 1. level Networks. Boolean Algebra and Multi-level. level. level. level. level

Lecture 3. Title goes here 1. level Networks. Boolean Algebra and Multi-level. level. level. level. level Lecture 3 Dr Richard Reilly Dept. of Electronic & Electrical Engineering Room 53, Engineering uilding oolean lgebra and Multi- oolean algebra George oole, little formal education yet was a brilliant scholar.

More information

General Diagnostic Engine: a computational approach to CBD

General Diagnostic Engine: a computational approach to CBD General Diagnostic Engine: a computational approach to CBD Diagnosis basada en modelos: la aproximación DX. 1 Introducción 2 Diagnosis mediante propagación de restricciones y registro de dependencias.

More information

University of Technology, Building and Construction Engineering Department (Undergraduate study) PROBABILITY THEORY

University of Technology, Building and Construction Engineering Department (Undergraduate study) PROBABILITY THEORY ENGIEERING STATISTICS (Lectures) University of Technology, Building and Construction Engineering Department (Undergraduate study) PROBABILITY THEORY Dr. Maan S. Hassan Lecturer: Azhar H. Mahdi Probability

More information

CIVL 7012/8012. Basic Laws and Axioms of Probability

CIVL 7012/8012. Basic Laws and Axioms of Probability CIVL 7012/8012 Basic Laws and Axioms of Probability Why are we studying probability and statistics? How can we quantify risks of decisions based on samples from a population? How should samples be selected

More information

CMPSCI 240: Reasoning about Uncertainty

CMPSCI 240: Reasoning about Uncertainty CMPSCI 240: Reasoning about Uncertainty Lecture 2: Sets and Events Andrew McGregor University of Massachusetts Last Compiled: January 27, 2017 Outline 1 Recap 2 Experiments and Events 3 Probabilistic Models

More information

Chapter 6: Probability The Study of Randomness

Chapter 6: Probability The Study of Randomness Chapter 6: Probability The Study of Randomness 6.1 The Idea of Probability 6.2 Probability Models 6.3 General Probability Rules 1 Simple Question: If tossing a coin, what is the probability of the coin

More information

P B A. conditional probabilities A B and unconditional probabilities are neither 0 nor 1, this note demonstrates two consequences when

P B A. conditional probabilities A B and unconditional probabilities are neither 0 nor 1, this note demonstrates two consequences when 1 When P P A 1. Introduction Many students encountering probability theory for the first time have difficulty distinguishing conditional probabilities from joint or unconditional probabilities and they

More information

Failures in Process Industries

Failures in Process Industries Fault Tree Analysis Failures in Process Industries Single Component Failure Data for failure rates are compiled by industry Single component or single action Multiple Component Failure Failures resulting

More information

Evaluating the Core Damage Frequency of a TRIGA Research Reactor Using Risk Assessment Tool Software

Evaluating the Core Damage Frequency of a TRIGA Research Reactor Using Risk Assessment Tool Software Evaluating the Core Damage Frequency of a TRIGA Research Reactor Using Risk Assessment Tool Software M. Nematollahi and Sh. Kamyab Abstract After all preventive and mitigative measures considered in the

More information

Module No. # 03 Lecture No. # 11 Probabilistic risk analysis

Module No. # 03 Lecture No. # 11 Probabilistic risk analysis Health, Safety and Environmental Management in Petroleum and offshore Engineering Prof. Dr. Srinivasan Chandrasekaran Department of Ocean Engineering Indian Institute of Technology, Madras Module No. #

More information

Exclusive Disjunction

Exclusive Disjunction Exclusive Disjunction Recall A statement is a declarative sentence that is either true or false, but not both. If we have a declarative sentence s, p: s is true, and q: s is false, can we rewrite s is

More information

Chapter Learning Objectives. Random Experiments Dfiii Definition: Dfiii Definition:

Chapter Learning Objectives. Random Experiments Dfiii Definition: Dfiii Definition: Chapter 2: Probability 2-1 Sample Spaces & Events 2-1.1 Random Experiments 2-1.2 Sample Spaces 2-1.3 Events 2-1 1.4 Counting Techniques 2-2 Interpretations & Axioms of Probability 2-3 Addition Rules 2-4

More information

Engineering Risk Benefit Analysis

Engineering Risk Benefit Analysis Engineering Risk Benefit Analysis 1.155, 2.943, 3.577, 6.938, 10.816, 13.621, 16.862, 22.82, ESD.72, ESD.721 RPRA 3. Probability Distributions in RPRA George E. Apostolakis Massachusetts Institute of Technology

More information

Basic notions of probability theory

Basic notions of probability theory Basic notions of probability theory Contents o Boolean Logic o Definitions of probability o Probability laws Why a Lecture on Probability? Lecture 1, Slide 22: Basic Definitions Definitions: experiment,

More information

BOOLEAN ALGEBRA INTRODUCTION SUBSETS

BOOLEAN ALGEBRA INTRODUCTION SUBSETS BOOLEAN ALGEBRA M. Ragheb 1/294/2018 INTRODUCTION Modern algebra is centered around the concept of an algebraic system: A, consisting of a set of elements: ai, i=1, 2,, which are combined by a set of operations

More information

A B is shaded A B A B

A B is shaded A B A B NION: Let and be subsets of a universal set. The union of sets and is the set of all elements in that belong to or to or to both, and is denoted. Symbolically: = {x x or x } EMMPLE: Let = {a, b, c, d,

More information

Fall Math 140 Week-in-Review #5 courtesy: Kendra Kilmer (covering Sections 3.4 and 4.1) Section 3.4

Fall Math 140 Week-in-Review #5 courtesy: Kendra Kilmer (covering Sections 3.4 and 4.1) Section 3.4 Section 3.4 A Standard Maximization Problem has the following properties: The objective function is to be maximized. All variables are non-negative. Fall 2017 Math 140 Week-in-Review #5 courtesy: Kendra

More information

ELEG 3143 Probability & Stochastic Process Ch. 1 Probability

ELEG 3143 Probability & Stochastic Process Ch. 1 Probability Department of Electrical Engineering University of Arkansas ELEG 3143 Probability & Stochastic Process Ch. 1 Probability Dr. Jingxian Wu wuj@uark.edu OUTLINE 2 Applications Elementary Set Theory Random

More information

PROBABILITY THEORY 1. Basics

PROBABILITY THEORY 1. Basics PROILITY THEORY. asics Probability theory deals with the study of random phenomena, which under repeated experiments yield different outcomes that have certain underlying patterns about them. The notion

More information

CS626 Data Analysis and Simulation

CS626 Data Analysis and Simulation CS626 Data Analysis and Simulation Instructor: Peter Kemper R 104A, phone 221-3462, email:kemper@cs.wm.edu Today: Probability Primer Quick Reference: Sheldon Ross: Introduction to Probability Models 9th

More information

On Qualitative Analysis of Fault Trees Using Structurally Persistent Nets

On Qualitative Analysis of Fault Trees Using Structurally Persistent Nets On Qualitative Analysis of Fault Trees Using Structurally Persistent Nets Ricardo J. Rodríguez rj.rodriguez@unileon.es Research Institute of Applied Sciences in Cybersecurity University of León, Spain

More information

Equivalence and Implication

Equivalence and Implication Equivalence and Alice E. Fischer CSCI 1166 Discrete Mathematics for Computing February 7 8, 2018 Alice E. Fischer Laws of Logic... 1/33 1 Logical Equivalence Contradictions and Tautologies 2 3 4 Necessary

More information

Sixth Edition. Chapter 2 Probability. Copyright 2014 John Wiley & Sons, Inc. All rights reserved. Probability

Sixth Edition. Chapter 2 Probability. Copyright 2014 John Wiley & Sons, Inc. All rights reserved. Probability Applied Statistics and Probability for Engineers Sixth Edition Douglas C. Montgomery George C. Runger Chapter 2 Probability 2 Probability CHAPTER OUTLINE 2-1 Sample Spaces and Events 2-1.1 Random Experiments

More information

4. Probability of an event A for equally likely outcomes:

4. Probability of an event A for equally likely outcomes: University of California, Los Angeles Department of Statistics Statistics 110A Instructor: Nicolas Christou Probability Probability: A measure of the chance that something will occur. 1. Random experiment:

More information

If S = {O 1, O 2,, O n }, where O i is the i th elementary outcome, and p i is the probability of the i th elementary outcome, then

If S = {O 1, O 2,, O n }, where O i is the i th elementary outcome, and p i is the probability of the i th elementary outcome, then 1.1 Probabilities Def n: A random experiment is a process that, when performed, results in one and only one of many observations (or outcomes). The sample space S is the set of all elementary outcomes

More information

AP Statistics Ch 6 Probability: The Study of Randomness

AP Statistics Ch 6 Probability: The Study of Randomness Ch 6.1 The Idea of Probability Chance behavior is unpredictable in the short run but has a regular and predictable pattern in the long run. We call a phenomenon random if individual outcomes are uncertain

More information

Prove that if not fat and not triangle necessarily means not green then green must be fat or triangle (or both).

Prove that if not fat and not triangle necessarily means not green then green must be fat or triangle (or both). hapter : oolean lgebra.) Definition of oolean lgebra The oolean algebra is named after George ool who developed this algebra (854) in order to analyze logical problems. n example to such problem is: Prove

More information

Reliability of Technical Systems

Reliability of Technical Systems Reliability of Technical Systems Main Topics 1. Short Introduction, Reliability Parameters: Failure Rate, Failure Probability, etc. 2. Some Important Reliability Distributions 3. Component Reliability

More information

CIVL Probability vs. Statistics. Why are we studying probability and statistics? Basic Laws and Axioms of Probability

CIVL Probability vs. Statistics. Why are we studying probability and statistics? Basic Laws and Axioms of Probability CIVL 3103 asic Laws and xioms of Probability Why are we studying probability and statistics? How can we quantify risks of decisions based on samples from a population? How should samples be selected to

More information

CS505: Distributed Systems

CS505: Distributed Systems Department of Computer Science CS505: Distributed Systems Lecture 10: Consensus Outline Consensus impossibility result Consensus with S Consensus with Ω Consensus Most famous problem in distributed computing

More information

Reliability of Technical Systems

Reliability of Technical Systems Reliability of Technical Systems Main Topics. Short Introduction, Reliability Parameters: Failure Rate, Failure Probability, etc. 2. Some Important Reliability Distributions 3. Component Reliability 4.

More information

Introduction to Probability Theory, Algebra, and Set Theory

Introduction to Probability Theory, Algebra, and Set Theory Summer School on Mathematical Philosophy for Female Students Introduction to Probability Theory, Algebra, and Set Theory Catrin Campbell-Moore and Sebastian Lutz July 28, 2014 Question 1. Draw Venn diagrams

More information

Axioms of Probability

Axioms of Probability Sample Space (denoted by S) The set of all possible outcomes of a random experiment is called the Sample Space of the experiment, and is denoted by S. Example 1.10 If the experiment consists of tossing

More information

Probability Theory and Applications

Probability Theory and Applications Probability Theory and Applications Videos of the topics covered in this manual are available at the following links: Lesson 4 Probability I http://faculty.citadel.edu/silver/ba205/online course/lesson

More information

STAT 509: Statistics for Engineers Dr. Dewei Wang. Copyright 2014 John Wiley & Sons, Inc. All rights reserved.

STAT 509: Statistics for Engineers Dr. Dewei Wang. Copyright 2014 John Wiley & Sons, Inc. All rights reserved. STAT 509: Statistics for Engineers Dr. Dewei Wang Applied Statistics and Probability for Engineers Sixth Edition Douglas C. Montgomery George C. Runger 2 Probability CHAPTER OUTLINE 2-1 Sample Spaces and

More information

1. When applied to an affected person, the test comes up positive in 90% of cases, and negative in 10% (these are called false negatives ).

1. When applied to an affected person, the test comes up positive in 90% of cases, and negative in 10% (these are called false negatives ). CS 70 Discrete Mathematics for CS Spring 2006 Vazirani Lecture 8 Conditional Probability A pharmaceutical company is marketing a new test for a certain medical condition. According to clinical trials,

More information

MATH 120. Test 1 Spring, 2012 DO ALL ASSIGNED PROBLEMS. Things to particularly study

MATH 120. Test 1 Spring, 2012 DO ALL ASSIGNED PROBLEMS. Things to particularly study MATH 120 Test 1 Spring, 2012 DO ALL ASSIGNED PROBLEMS Things to particularly study 1) Critical Thinking Basic strategies Be able to solve using the basic strategies, such as finding patterns, questioning,

More information

Notes Week 2 Chapter 3 Probability WEEK 2 page 1

Notes Week 2 Chapter 3 Probability WEEK 2 page 1 Notes Week 2 Chapter 3 Probability WEEK 2 page 1 The sample space of an experiment, sometimes denoted S or in probability theory, is the set that consists of all possible elementary outcomes of that experiment

More information

Boole Algebra and Logic Series

Boole Algebra and Logic Series S1 Teknik Telekomunikasi Fakultas Teknik Elektro oole lgebra and Logic Series 2016/2017 CLO1-Week2-asic Logic Operation and Logic Gate Outline Understand the basic theory of oolean Understand the basic

More information

Making Hard Decision. Probability Basics. ENCE 627 Decision Analysis for Engineering

Making Hard Decision. Probability Basics. ENCE 627 Decision Analysis for Engineering CHAPTER Duxbury Thomson Learning Making Hard Decision Probability asics Third Edition A. J. Clark School of Engineering Department of Civil and Environmental Engineering 7b FALL 003 y Dr. Ibrahim. Assakkaf

More information

Venn Diagrams; Probability Laws. Notes. Set Operations and Relations. Venn Diagram 2.1. Venn Diagrams; Probability Laws. Notes

Venn Diagrams; Probability Laws. Notes. Set Operations and Relations. Venn Diagram 2.1. Venn Diagrams; Probability Laws. Notes Lecture 2 s; Text: A Course in Probability by Weiss 2.4 STAT 225 Introduction to Probability Models January 8, 2014 s; Whitney Huang Purdue University 2.1 Agenda s; 1 2 2.2 Intersection: the intersection

More information

Lecture 10: 09//25/03 A.R. Neureuther Version Date 09/14/03 EECS 42 Introduction to Digital Electronics Andrew R. Neureuther

Lecture 10: 09//25/03 A.R. Neureuther Version Date 09/14/03 EECS 42 Introduction to Digital Electronics Andrew R. Neureuther EECS 42 Intro. Digital Electronics Fall 23 Lecture : 9//25/3.R. Neureuther Version Date 9/4/3 EECS 42 Introduction to Digital Electronics ndrew R. Neureuther Lecture # Prof. King: asic Digital locks 2

More information

Introduction to Probability Theory

Introduction to Probability Theory Introduction to Probability Theory Overview The concept of probability is commonly used in everyday life, and can be expressed in many ways. For example, there is a 50:50 chance of a head when a fair coin

More information

Discrete Mathematics and Probability Theory Spring 2016 Rao and Walrand Note 14

Discrete Mathematics and Probability Theory Spring 2016 Rao and Walrand Note 14 CS 70 Discrete Mathematics and Probability Theory Spring 2016 Rao and Walrand Note 14 Introduction One of the key properties of coin flips is independence: if you flip a fair coin ten times and get ten

More information

Philosophy 220. Truth-Functional Equivalence and Consistency

Philosophy 220. Truth-Functional Equivalence and Consistency Philosophy 220 Truth-Functional Equivalence and Consistency Review Logical equivalency: The members of a pair of sentences [of natural language] are logically equivalent if and only if it is not [logically]

More information

A SYSTEMATIC INCLUSION OF DIAGNOSIS PERFORMANCE IN FAULT TREE ANALYSIS

A SYSTEMATIC INCLUSION OF DIAGNOSIS PERFORMANCE IN FAULT TREE ANALYSIS SYSTEMTIC INCLUSION OF DIGNOSIS PERFORMNCE IN FULT TREE NLYSIS Jan Åslund, Jonas Biteus, Erik Frisk, Mattias Kryser, Lars Nielsen Department of Electrical Engineering, Linköpings universitet, 58 83 Linköping,

More information

4 Lecture 4 Notes: Introduction to Probability. Probability Rules. Independence and Conditional Probability. Bayes Theorem. Risk and Odds Ratio

4 Lecture 4 Notes: Introduction to Probability. Probability Rules. Independence and Conditional Probability. Bayes Theorem. Risk and Odds Ratio 4 Lecture 4 Notes: Introduction to Probability. Probability Rules. Independence and Conditional Probability. Bayes Theorem. Risk and Odds Ratio Wrong is right. Thelonious Monk 4.1 Three Definitions of

More information

Probability. Chapter 1 Probability. A Simple Example. Sample Space and Probability. Sample Space and Event. Sample Space (Two Dice) Probability

Probability. Chapter 1 Probability. A Simple Example. Sample Space and Probability. Sample Space and Event. Sample Space (Two Dice) Probability Probability Chapter 1 Probability 1.1 asic Concepts researcher claims that 10% of a large population have disease H. random sample of 100 people is taken from this population and examined. If 20 people

More information

Practice Final Solutions. 1. Consider the following algorithm. Assume that n 1. line code 1 alg(n) { 2 j = 0 3 if (n = 0) { 4 return j

Practice Final Solutions. 1. Consider the following algorithm. Assume that n 1. line code 1 alg(n) { 2 j = 0 3 if (n = 0) { 4 return j Practice Final Solutions 1. Consider the following algorithm. Assume that n 1. line code 1 alg(n) 2 j = 0 3 if (n = 0) 4 return j } 5 else 6 j = 2n+ alg(n 1) 7 return j } } Set up a recurrence relation

More information

Reliability of Technical Systems

Reliability of Technical Systems Reliability of Technical Systems Main Topics 1. Short Introduction, Reliability Parameters: Failure Rate, Failure Probability, etc. 2. Some Important Reliability Distributions 3. Component Reliability

More information

Boolean algebra. Values

Boolean algebra. Values Boolean algebra 1854 by George Boole in his book An Investigation of the Laws of Thought, is a variant of ordinary elementary algebra differing in its values, operations, and laws. Instead of the usual

More information

ELEG 3143 Probability & Stochastic Process Ch. 1 Experiments, Models, and Probabilities

ELEG 3143 Probability & Stochastic Process Ch. 1 Experiments, Models, and Probabilities Department of Electrical Engineering University of Arkansas ELEG 3143 Probability & Stochastic Process Ch. 1 Experiments, Models, and Probabilities Dr. Jing Yang jingyang@uark.edu OUTLINE 2 Applications

More information

n Empty Set:, or { }, subset of all sets n Cardinality: V = {a, e, i, o, u}, so V = 5 n Subset: A B, all elements in A are in B

n Empty Set:, or { }, subset of all sets n Cardinality: V = {a, e, i, o, u}, so V = 5 n Subset: A B, all elements in A are in B Discrete Math Review Discrete Math Review (Rosen, Chapter 1.1 1.7, 5.5) TOPICS Sets and Functions Propositional and Predicate Logic Logical Operators and Truth Tables Logical Equivalences and Inference

More information

PHA, MOC and Incident Investigation in Partnership: A Catalyst for Process Safety Excellence

PHA, MOC and Incident Investigation in Partnership: A Catalyst for Process Safety Excellence PHA, MOC and Incident Investigation in Partnership: A Catalyst for Process Safety Excellence John Paul Gathright INVISTA S.à r.l. 4123 East 37 th St. N. Wichita, KS, 67220 U.S.A. Paul.gathright@invista.com

More information

MA : Introductory Probability

MA : Introductory Probability MA 320-001: Introductory Probability David Murrugarra Department of Mathematics, University of Kentucky http://www.math.uky.edu/~dmu228/ma320/ Spring 2017 David Murrugarra (University of Kentucky) MA 320:

More information

Computer Organization: Boolean Logic

Computer Organization: Boolean Logic Computer Organization: Boolean Logic Representing and Manipulating Data Last Unit How to represent data as a sequence of bits How to interpret bit representations Use of levels of abstraction in representing

More information

Chapter 5: Probability in Our Daily Lives

Chapter 5: Probability in Our Daily Lives Chapter 5: in Our Daily Lives These notes reflect material from our text, Statistics: The Art and Science of Learning from Data, Third Edition, by Alan Agresti and Catherine Franklin, published by Pearson,

More information

Application of the Cause-Consequence Diagram Method to Static Systems

Application of the Cause-Consequence Diagram Method to Static Systems Application of the ause-onsequence Diagram Method to Static Systems L.M.Ridley and J.D.Andrews Department of Mathematical Sciences Loughborough University Loughborough Leicestershire LE11 3TU Keywords:

More information

Probability (Devore Chapter Two)

Probability (Devore Chapter Two) Probability (Devore Chapter Two) 1016-345-01: Probability and Statistics for Engineers Fall 2012 Contents 0 Administrata 2 0.1 Outline....................................... 3 1 Axiomatic Probability 3

More information

AP1000 European 19. Probabilistic Risk Assessment Design Control Document

AP1000 European 19. Probabilistic Risk Assessment Design Control Document 19.15 Chemical and Volume Control System 19.15.1 System Description See subsection 9.3.6.2. 19.15.2 System Operation See subsection 9.3.6.4. 19.15.3 Performance during Accident Conditions See subsection

More information

Announcements. Topics: To Do:

Announcements. Topics: To Do: Announcements Topics: In the Probability and Statistics module: - Sections 1 + 2: Introduction to Stochastic Models - Section 3: Basics of Probability Theory - Section 4: Conditional Probability; Law of

More information

Safety analysis and standards Analyse de sécurité et normes Sicherheitsanalyse und Normen

Safety analysis and standards Analyse de sécurité et normes Sicherheitsanalyse und Normen Industrial Automation Automation Industrielle Industrielle Automation 9.6 Safety analysis and standards Analyse de sécurité et normes Sicherheitsanalyse und Normen Prof Dr. Hubert Kirrmann & Dr. B. Eschermann

More information

2. Sets. 2.1&2.2: Sets and Subsets. Combining Sets. c Dr Oksana Shatalov, Spring

2. Sets. 2.1&2.2: Sets and Subsets. Combining Sets. c Dr Oksana Shatalov, Spring c Dr Oksana Shatalov, Spring 2015 1 2. Sets 2.1&2.2: Sets and Subsets. Combining Sets. Set Terminology and Notation DEFINITIONS: Set is well-defined collection of objects. Elements are objects or members

More information

Exam 3. Feb 12, Problem 1 / 32 Problem 2 / 33 Problem 3 / 32 Total / 100

Exam 3. Feb 12, Problem 1 / 32 Problem 2 / 33 Problem 3 / 32 Total / 100 ROSE-HULMAN Institute of Technology Sophomore Engineering Curriculum ES201 Conservation & Accounting Principles Winter 2014-2015 Section [1 pt]: 01 (1 st period) Name [1 pt] 02 (2 nd period) CM [1 pt]

More information

Exam #2: Fluid Kinematics and Conservation Laws April 13, 2016, 7:00 p.m. 8:40 p.m. in CE 118

Exam #2: Fluid Kinematics and Conservation Laws April 13, 2016, 7:00 p.m. 8:40 p.m. in CE 118 CVEN 311-501 (Socolofsky) Fluid Dynamics Exam #2: Fluid Kinematics and Conservation Laws April 13, 2016, 7:00 p.m. 8:40 p.m. in CE 118 Name: : UIN: : Instructions: Fill in your name and UIN in the space

More information

Topic 2 Probability. Basic probability Conditional probability and independence Bayes rule Basic reliability

Topic 2 Probability. Basic probability Conditional probability and independence Bayes rule Basic reliability Topic 2 Probability Basic probability Conditional probability and independence Bayes rule Basic reliability Random process: a process whose outcome can not be predicted with certainty Examples: rolling

More information

Axioms of Probability. Set Theory. M. Bremer. Math Spring 2018

Axioms of Probability. Set Theory. M. Bremer. Math Spring 2018 Math 163 - pring 2018 Axioms of Probability Definition: The set of all possible outcomes of an experiment is called the sample space. The possible outcomes themselves are called elementary events. Any

More information

Quantitative evaluation of Dependability

Quantitative evaluation of Dependability Quantitative evaluation of Dependability 1 Quantitative evaluation of Dependability Faults are the cause of errors and failures. Does the arrival time of faults fit a probability distribution? If so, what

More information

I - Probability. What is Probability? the chance of an event occuring. 1classical probability. 2empirical probability. 3subjective probability

I - Probability. What is Probability? the chance of an event occuring. 1classical probability. 2empirical probability. 3subjective probability What is Probability? the chance of an event occuring eg 1classical probability 2empirical probability 3subjective probability Section 2 - Probability (1) Probability - Terminology random (probability)

More information

Week-I. Combinational Logic & Circuits

Week-I. Combinational Logic & Circuits Week-I Combinational Logic & Circuits Overview Binary logic operations and gates Switching algebra Algebraic Minimization Standard forms Karnaugh Map Minimization Other logic operators IC families and

More information

Cold Weather Preparation

Cold Weather Preparation 0-0.0 January 2012 Country of Origin: United Kingdom Cold Weather Preparation Introduction In addition to the freezing of sprinkler pipes and general water pipes, low temperatures can damage boilers, compressors,

More information

Random Signals and Systems. Chapter 1. Jitendra K Tugnait. Department of Electrical & Computer Engineering. James B Davis Professor.

Random Signals and Systems. Chapter 1. Jitendra K Tugnait. Department of Electrical & Computer Engineering. James B Davis Professor. Random Signals and Systems Chapter 1 Jitendra K Tugnait James B Davis Professor Department of Electrical & Computer Engineering Auburn University 2 3 Descriptions of Probability Relative frequency approach»

More information

IE 230 Seat # (1 point) Name (clearly) < KEY > Closed book and notes. No calculators. Designed for 60 minutes, but time is essentially unlimited.

IE 230 Seat # (1 point) Name (clearly) < KEY > Closed book and notes. No calculators. Designed for 60 minutes, but time is essentially unlimited. Closed book and notes. No calculators. Designed for 60 minutes, but time is essentially unlimited. Cover page, four pages of exam. This test covers through Section 2.7 of Montgomery and Runger, fourth

More information

Fault-Tolerant Computer System Design ECE 60872/CS 590. Topic 2: Discrete Distributions

Fault-Tolerant Computer System Design ECE 60872/CS 590. Topic 2: Discrete Distributions Fault-Tolerant Computer System Design ECE 60872/CS 590 Topic 2: Discrete Distributions Saurabh Bagchi ECE/CS Purdue University Outline Basic probability Conditional probability Independence of events Series-parallel

More information

Assessing system reliability through binary decision diagrams using bayesian techniques.

Assessing system reliability through binary decision diagrams using bayesian techniques. Loughborough University Institutional Repository Assessing system reliability through binary decision diagrams using bayesian techniques. This item was submitted to Loughborough University's Institutional

More information

Safety and Reliability of Embedded Systems

Safety and Reliability of Embedded Systems (Sicherheit und Zuverlässigkeit eingebetteter Systeme) Fault Tree Analysis Mathematical Background and Algorithms Prof. Dr. Liggesmeyer, 0 Content Definitions of Terms Introduction to Combinatorics General

More information

COMP Logic for Computer Scientists. Lecture 16

COMP Logic for Computer Scientists. Lecture 16 COMP 1002 Logic for Computer Scientists Lecture 16 5 2 J Proof by contradiction To prove x F(x), prove x F x FLSE niversal instantiation: let n be an arbitrary element of the domain S of x Suppose that

More information