ML18353A961
ML18353A961 | |
Person / Time | |
---|---|
Issue date: | 12/19/2018 |
From: | Yaguang Yang Office of Nuclear Regulatory Research |
To: | |
Yaguang Yang | |
References | |
Download: ML18353A961 (15) | |
Text
{{#Wiki_filter:Key Words
and sourcesink nodesN n iedgesE e ijm j j=ii Main(){ //node 1 Data initialization; //edge e 11 If condition A holds //node 2
{ Process data; //edge e 21 If data process success //node 3
{ Save result; //edge e 31 } Else if data process fail
{ Issue a warning; //edge e 32 } } Else if condition A does not hold
{ Print "condition fail"; //edge e 22 } //node 4 Clean memories; //edge e 41 } //node 5
e e e eeeeeeeeee ij eij D=ij Dij e==ij ij D P p=ij Dij eij ij ij p D P q===ij p ij eij qij e ij p ij eij eij hkk h ij k ij k h ij ij ij q p C k E p== ij h k=k h k h C ij ij k h ij=ij Tij eij hij eij e ij ei t iij pij ij ij ij ij h ij ij h ij ij ij h ij ij h h ij t t f p g p t t p dp p g p t t p p g p t t p t t p p== ij ij ij h ij h dp p g p t p p t p t t f ij ijij p gij ij>ij>ijij eij enij ek>++k n k ij ij++++=ij ij k n ij k ij ij ij ij p p k n k B p pk n k B ij ij++nkij e ij pn k n k p E R ij ij ij ij ij ij ij+++==ij h k n==>ij ijij ij p q= i nm jij e==m j j ij i h hij ei n==m j j ij ij i h T Tij eij h==+=k h ij k ij h k k h h ij ij ij ij ij ij q p C q pi nij h ij ij q p+ij ij T hi Ti ij ij T T h==m j j i ij ij T T h ==+==m m ij j j i ij ij j j h ij ij i ij ij T T h q p T T hi ni n==m j j ij i ij ij i R T T h R
==m j j ij i h Hij j j ij i i h T H T m==i ns i i s i iij eij i h h=s i i iij ei n==s i i i ij ij i h T Tij eij h==+=k h ij k ij h k k h h ij ij ij ij ij ij q p C q pi n
==+s ij i i i h ij ij q pi ni nij i R R=ij h s i i iij j i h H===s i i i ij j i T TTRe e e ee e e ee e e=T=ij T==h h=h===h h h==+++=+++=R h h h h Ree=+++=+++=+++==h h h h h h R R R
=+++=h h R*ee=+=T h T h T==T T h T T hee=R===j j h H===j j j h T T*eE==R===i i T T===H h H*=+=T h T H T=T T H=T T hEe
=+=R===j j h H===j j j h T T*eEe==R TRT()RTtt()T t RTtTtN n iE e ijij TTij hij qij p ij TT ij hnodesN n iedgesE e ijij hij TTij qij pij eij eij hij Tij qij p ESBWR certification probabilistic risk assessmentNuclear Engineering and Design Reliability Engineering and System SafetyReliability Engineering and System SafetyReview of quantitative software reliability methodsSoftware Reliability Modeling Survey, in Handbook of Software Reliability EngineeringBayesian Data AnalysisIEEE Transactions on Dependable and Secure Computing,Performance Evaluation,IEEE Transactions on ReliabilityApplication of probabilistic safety assessment (PSA) for nuclear power plants, IAEA technical report, Development and application of level-1 probabilistic safety assessment for nuclear power plantSafety of nuclear power plant: designIEEE Transactions on Reliability,IEEE Transactions on ReliabilityProceedings. International Conference and WorkshopIEEE Trans. On Software Engineering IEEE trans on Software Engineering, Journal of system and softwareJournal of Software EngineeringIEEE Transactions on Software Engineering,IEEE Trans. On Software EngineeringIEEE Software,"Systems and Computers in Japan Nuclear SafetyBayesian statistics: principles, models, and applicationsCAVIEEE Transactions on ReliabilityReliability Engineering and System SafetyProceedings of 6 th American nuclear society international topical meeting on nuclear plant instrumentation, control, and human-machine interface technologiesNuclear Engineering and Technology}}