Professional Documents
Culture Documents
OpenFTA , .
:
0 , NUREG-0492
-
[
[ ( [ ).
:
OpenFTA
[
OpenFTA OpenFTA . 0
: Formal Software Construction -> OpenFTA
1: 0
1 OpenFTA , OpenFTA OpenPED
. 0 OpenFTA :
.
( ) . [
, (Tool Tip)
.
.
.
, OpenFTA.
.
.
. .
.
OpenPED .
.
. [ , ,
. [ , .
View-Tree Overview. 0 ,
. OpenFTA
. 0 , OpenFTA
, . ,
(. ), OpenFTA
. Undo
. 0 , OpenFTA
. (
Edit->Shift Left Edit->Shift Right). , .
.
. ( ,
)
.
. , (...)
. [
. , ,
. ,
.
. 0
, .
.
Edit->Preferences...
2: OpenFTA
0 Monochrome Colour Veiw,
. [ , .
[ [
. Cancel
. [ Defaults
OpenFTA . ,
. , Help
.
file menu-a toolbar-.
.
.
.fta. 0 , .fta
.
3:
a
R
( File->Print).
, , File>Printer Setup... File->Page Setup..
. File->Print
Preview... . ,
, .
5: Print Preview
,
, .
- OpenPED . menubar toolbar,
OpenFTA,
.
. .
.
0 .
6: OpenPED
.
ID , .
.
. (P-) (-). P / .
- ,
. .
OpenPED
Apply. , ID
. (
), Apply.
, . OpenPED
OpenFTA .
[ , .
( , ,
). Analysis->Validate,
. , .
.
, .
OpenFTA, .
[ .
0
, ,
, .
OpenFTA ,
. 0
- . ("top event"),
G ("gates"), ("events"), P S ("primary" i "secundary"
events), .
Slika 7: 0
. .
1 1
3 4
2 3 4 5
4 5
0 :
5
1
- .
(
),
. -
f
B B e a ,
a a 1
a a 0.
V
, b c B
a (b c) a b a c
a (b c) (a b) (a c)
- ,
- .
a B
1) a 1 1
2) a 0 0
1):
a 1 (a 1)1
a 1 (a 1)(a a )
a 1 a 1 a
a 1 a a
a 1 1
2):
6
a, b B
1) a a a
2) a a a
1):
a a (a a) 1
(a a) (a a )
a a a
a0
a
2):
a a a a 0
a a a a
a (a a)
a 1
a
a, b B
1) a a b a
2) a (a b) a
1):
a ab
a 1 a b
a (1 b)
a 1
a
2):
,
. [
,
.
,
OpenFTA. [ ,
Analysis->Minimal Cut Sets, :
8: 0
[ [, , ,
. .
9) P2 P3 P4 S1 S2
2) P1 P2 P3 P4 S3
10) P2 P3 P4 S1 S3
3) P1 P2 P3 P4 S4
11) P2 P3 P4 S1 S4
4) P1 P2 P3 P4 S5
12) P2 P3 P4 S1 S5
5) P1 P2 P3 P5 S2
13) P2 P3 P5 S1 S2
6) P1 P2 P3 P5 S3
14) P2 P3 P5 S1 S3
7) P1 P2 P3 P5 S4
15) P2 P3 P5 S1 S4
8) P1 P2 P3 P5 S5
16) P2 P3 P5 S1 S5
-
[
[
.
5 , :
Number
c
16
10
ALL
16
!
"
#
,
.
( ). 0
. [
, Analysis -> Numerical Probability...
9: 0
cc
0 :
-
, (order),
.
(
)
number of terms,
. , ,
.
. ,
, . 0 ,
.
0
.
. , .
[ [, .
Stop . 0
Cancel, , .
, Help, . 0
, , :
-
-
,
Minimal cut set probabilities,
Basic Event Analysis,
.
.
:
Probabilities Analysis
Tree : primer as.fta
Time : Tue Jun 14 20:32:41 2011
Number of primary events = 10
Number of minimal cut sets = 16
Order of minimal cut sets = 10
Unit time span
= 1.000000
c
Failure contrib.
Importance
P1
5.495130E+000
699.42%
.......................................................................
S5
2.867331E+000
364.95%
,
.
, ,
. 0
.
.
.
, .
[ .
,
.
.
0 OpenFTA [
, . ,
:
0
0
ca
[
. ,
. ,
, , [
.
40- 20 .
: Von Neumann, Stanislaw Ulam, Nicholas Metropolis...
Stanislaw Ulam-,
solitaire, 52
. 0
, . 100
.
, .
.
, Nicholas Metropolis
. ,
.
- jo 18
Georges-Louis Leclerc Comte de Buffon. o l
d>l
(d - , l - ),
?
0 , ,
. ,
, .
10: 0 -
x
11: x
, :
[ ,
.
,
. , ,
. [ ,
, .
c
, ,
0 1 .
OpenFTA [ Analysis -> Monte Carlo Simulation...
12: [
:
-
- .
. 0 .
Unit Time ,
.
[
.
0 [ , , . [ ,
, .
:
Unit Time
. :
,
Compressed,
, .
:
Monte Carlo Simulation
c
= 10000
= 1.000000
1 P1 P2 P3 P4 P5 S1 S2 S3 S4 S5 5665
Importance
.............................................
49
P1 P2 P3 P4 S2 S3 S5 1
Compressed:
Rank Failure mode
1 P1 P2 P3 P4 S2 S3 S5 6461
Importance
............................................................................................................................................
17
P1 P2 P3 P4 P5 S2 S4 S5 6127
Failure contrib.
6.986800E+000
Importance
839.26%
......................................................................
S5
7.974700E+000
957.92%
cf