📄 carpo.bif
字号:
property mandatory = false;
property hypothesis = false;
property cost = 0.5;
}
variable N115 {
type discrete [ 2 ] { 0, 1 };
property position = (223, 377);
property observable = true;
property mandatory = false;
property hypothesis = false;
property cost = 0.5;
}
variable N116 {
type discrete [ 2 ] { 0, 1 };
property position = (216, 424);
property observable = true;
property mandatory = false;
property hypothesis = false;
property cost = 0.5;
}
variable N118 {
type discrete [ 2 ] { 0, 1 };
property position = (223, 470);
property observable = true;
property mandatory = false;
property hypothesis = false;
property cost = 0.5;
}
variable N119 {
type discrete [ 2 ] { 0, 1 };
property position = (225, 521);
property observable = true;
property mandatory = false;
property hypothesis = false;
property cost = 0.5;
}
variable N120 {
type discrete [ 2 ] { 0, 1 };
property position = (227, 568);
property observable = true;
property mandatory = false;
property hypothesis = false;
property cost = 0.5;
}
variable N121 {
type discrete [ 2 ] { 0, 1 };
property position = (226, 624);
property observable = true;
property mandatory = false;
property hypothesis = false;
property cost = 0.5;
}
variable N122 {
type discrete [ 2 ] { 0, 1 };
property position = (205, 688);
property observable = true;
property mandatory = false;
property hypothesis = false;
property cost = 0.5;
}
variable N100 {
type discrete [ 2 ] { 0, 1 };
property position = (206, 175);
property observable = true;
property mandatory = false;
property hypothesis = false;
property cost = 0.5;
}
variable N104 {
type discrete [ 2 ] { 0, 1 };
property position = (219, 219);
property observable = true;
property mandatory = false;
property hypothesis = false;
property cost = 0.5;
}
variable N108 {
type discrete [ 2 ] { 0, 1 };
property position = (149, 39);
property observable = true;
property mandatory = false;
property hypothesis = false;
property cost = 0.5;
}
variable N112 {
type discrete [ 2 ] { 0, 1 };
property position = (196, 124);
property observable = true;
property mandatory = false;
property hypothesis = false;
property cost = 0.5;
}
variable N117 {
type discrete [ 2 ] { 0, 1 };
property position = (1364, 616);
property observable = true;
property mandatory = false;
property hypothesis = false;
property cost = 0;
}
probability ( N5 | N143 ,N187 ) {
property function max;
(0, 0) 0.25 , 0.75; // Leak term
(1, 0) 0.5 , 0.5;
(0, 1) 0.5 , 0.5;
}
probability ( N9 | N5 ,N19 ,N69 ) {
property function max;
(0, 0, 0) 0.8999999762 , 0.05000000075 , 0.05000000075; // Leak term
(1, 0, 0) 0.1000000015 , 0.8000000119 , 0.1000000015;
(0, 1, 0) 0.05000000075 , 0.1000000015 , 0.8500000238;
(0, 0, 1) 0.1000000015 , 0.8000000119 , 0.1000000015;
}
probability ( N19 ) {
table 0.9750000238 , 0.02500000037; // Leak term
}
probability ( N20 | N27 ,N29 ,N51 ,N69 ) {
property function max;
(0, 0, 0, 0) 0.9800000191 , 0.009999999776 , 0.009999999776; // Leak term
(1, 0, 0, 0) 0.05000000075 , 0.8500000238 , 0.1000000015;
(0, 1, 0, 0) 0.05000000075 , 0.150000006 , 0.8000000119;
(0, 0, 1, 0) 0.1299999952 , 0.01999999955 , 0.8500000238;
(0, 0, 0, 1) 0.1899999976 , 0.009999999776 , 0.8000000119;
}
probability ( N27 ) {
table 0.9499999881 , 0.05000000075; // Leak term
}
probability ( N29 ) {
table 0.6499999762 , 0.349999994; // Leak term
}
probability ( N34 ) {
table 0.9900000095 , 0.009999999776; // Leak term
}
probability ( N38 | N34 ) {
property function max;
(0) 0.9900000095 , 0.009999999776; // Leak term
(1) 0.25 , 0.75;
}
probability ( N26 | N19 ) {
property function max;
(0) 0.7799999714 , 0.200000003 , 0.01999999955; // Leak term
(1) 0.5 , 0.25 , 0.25;
}
probability ( N28 | N29 ) {
property function max;
(0) 0.7799999714 , 0.200000003 , 0.01999999955; // Leak term
(1) 0.400000006 , 0.400000006 , 0.200000003;
}
probability ( N40 | N5 ,N19 ) {
property function max;
(0, 0) 0.9499999881 , 0.02500000037 , 0.02500000037; // Leak term
(1, 0) 0.1000000015 , 0.6999999881 , 0.200000003;
(0, 1) 0.02999999933 , 0.01999999955 , 0.9499999881;
}
probability ( N41 | N27 ,N29 ) {
property function max;
(0, 0) 0.9800000191 , 0.009999999776 , 0.009999999776; // Leak term
(1, 0) 0.05000000075 , 0.8500000238 , 0.1000000015;
(0, 1) 0.05000000075 , 0.150000006 , 0.8000000119;
}
probability ( N57 | N34 ) {
property function max;
(0) 0.05000000075 , 0.9499999881; // Leak term
(1) 0.9499999881 , 0.05000000075;
}
probability ( N42 | N5 ,N19 ,N27 ,N29 ,N51 ) {
property function max;
(0, 0, 0, 0, 0) 0.9499999881 , 0.05000000075; // Leak term
(1, 0, 0, 0, 0) 0.400000006 , 0.6000000238;
(0, 1, 0, 0, 0) 0.25 , 0.75;
(0, 0, 1, 0, 0) 0.200000003 , 0.8000000119;
(0, 0, 0, 1, 0) 0.400000006 , 0.6000000238;
(0, 0, 0, 0, 1) 0.3000000119 , 0.6999999881;
}
probability ( N63 | N5 ,N19 ,N51 ,N69 ) {
property function max;
(0, 0, 0, 0) 0.9700000286 , 0.01999999955 , 0.009999999776; // Leak term
(1, 0, 0, 0) 0.8500000238 , 0.1000000015 , 0.05000000075;
(0, 1, 0, 0) 0.8500000238 , 0.1000000015 , 0.05000000075;
(0, 0, 1, 0) 0.6000000238 , 0.3000000119 , 0.1000000015;
(0, 0, 0, 1) 0.9300000072 , 0.05000000075 , 0.01999999955;
}
probability ( N64 | N29 ,N27 ) {
property function max;
(0, 0) 0.9789999723 , 0.009999999776 , 0.009999999776 , 0.001000000047; // Leak term
(1, 0) 0.3000000119 , 0.200000003 , 0.400000006 , 0.1000000015;
(0, 1) 0.4499999881 , 0.5 , 0 , 0.05000000075;
}
probability ( N65 | N5 ,N19 ) {
property function max;
(0, 0) 0.9700000286 , 0.009999999776 , 0.009999999776 , 0.009999999776; // Leak term
(1, 0) 0.400000006 , 0.5 , 0.05000000075 , 0.05000000075;
(0, 1) 0.4499999881 , 0 , 0.5 , 0.05000000075;
}
probability ( N66 | N19 ,N29 ,N69 ) {
property function max;
(0, 0, 0) 0.9800000191 , 0.009999999776 , 0.009999999776; // Leak term
(1, 0, 0) 0.398999989 , 0.001000000047 , 0.6000000238;
(0, 1, 0) 0.9800000191 , 0.01999999955 , 0;
(0, 0, 1) 0.75 , 0.05000000075 , 0.200000003;
}
probability ( N67 | N27 ,N29 ,N51 ,N69 ) {
property function max;
(0, 0, 0, 0) 0.9800000191 , 0.009999999776 , 0.009999999776 , 0; // Leak term
(1, 0, 0, 0) 0.200000003 , 0.6000000238 , 0.1000000015 , 0.1000000015;
(0, 1, 0, 0) 0.25 , 0.6000000238 , 0.1000000015 , 0.05000000075;
(0, 0, 1, 0) 0.5 , 0.400000006 , 0.1000000015 , 0;
(0, 0, 0, 1) 0.75 , 0.200000003 , 0.05000000075 , 0;
}
probability ( N68 | N34 ) {
property function max;
(0) 0.9800000191 , 0.01999999955; // Leak term
(1) 0.3000000119 , 0.6999999881;
}
probability ( N33 | N5 ) {
property function max;
(0) 0.9900000095 , 0.009999999776; // Leak term
(1) 0.1000000015 , 0.8999999762;
}
probability ( N35 | N5 ) {
property function max;
(0) 0.9499999881 , 0.05000000075; // Leak term
(1) 0.200000003 , 0.8000000119;
}
probability ( N37 | N27 ) {
property function max;
(0) 0.9499999881 , 0.05000000075; // Leak term
(1) 0.3000000119 , 0.6999999881;
}
probability ( N39 | N19 ) {
property function max;
(0) 0.9499999881 , 0.05000000075; // Leak term
(1) 0.3000000119 , 0.6999999881;
}
probability ( N43 | N29 ) {
property function max;
(0) 0.9800000191 , 0.01999999955; // Leak term
(1) 0.3000000119 , 0.6999999881;
}
probability ( N44 | N34 ) {
property function max;
(0) 0.9800000191 , 0.01999999955; // Leak term
(1) 0.150000006 , 0.8500000238;
}
probability ( N69 ) {
table 0.9700000286 , 0.02999999933; // Leak term
}
probability ( N70 ) {
table 0.9900000095 , 0.009999999776; // Leak term
}
probability ( N71 ) {
table 0.9980000257 , 0.002000000095; // Leak term
}
probability ( N73 ) {
table 0.9980000257 , 0.002000000095; // Leak term
}
probability ( N51 | N70 ,N73 ) {
property function max;
(0, 0) 0.9800000191 , 0.01999999955; // Leak term
(1, 0) 0.05000000075 , 0.9499999881;
(0, 1) 0.200000003 , 0.8000000119;
}
probability ( N52 | N51 ) {
property function max;
(0) 0.9800000191 , 0.01999999955; // Leak term
(1) 0.5 , 0.5;
}
probability ( N88 | N70 ) {
property function max;
(0) 0.9800000191 , 0.01999999955; // Leak term
(1) 0.200000003 , 0.8000000119;
}
probability ( N89 | N69 ) {
property function max;
(0) 0.9800000191 , 0.01999999955; // Leak term
(1) 0.150000006 , 0.8500000238;
}
probability ( N90 | N69 ) {
property function max;
(0) 0.5 , 0.5; // Leak term
(1) 0.200000003 , 0.8000000119;
}
probability ( N91 | N69 ) {
property function max;
(0) 0.9499999881 , 0.05000000075; // Leak term
(1) 0.25 , 0.75;
}
probability ( N59 | N69 ,N71 ) {
property function max;
(0, 0) 0.9800000191 , 0.01999999955; // Leak term
(1, 0) 0.400000006 , 0.6000000238;
(0, 1) 0.150000006 , 0.8500000238;
}
probability ( N141 | N152 ,N143 ,N147 ,N146 ,N153 ) {
property function max;
(0, 0, 0, 0, 0) 0.9499999881 , 0.05000000075; // Leak term
(1, 0, 0, 0, 0) 0.5 , 0.5;
(0, 1, 0, 0, 0) 0.5 , 0.5;
(0, 0, 1, 0, 0) 0.5 , 0.5;
(0, 0, 0, 1, 0) 0.5 , 0.5;
(0, 0, 0, 0, 1) 0.5 , 0.5;
}
probability ( N143 ) {
table 0.8999999762 , 0.1000000015; // Leak term
}
probability ( N146 ) {
table 0.9700000286 , 0.02999999933; // Leak term
}
probability ( N147 ) {
table 0.9900000095 , 0.009999999776; // Leak term
}
probability ( N150 ) {
table 0.3000000119, 0.6999999881;
}
probability ( N152 ) {
table 0.9900000095 , 0.009999999776; // Leak term
}
probability ( N153 ) {
table 0.9990000129 , 0.001000000047; // Leak term
}
probability ( N187 | N150 ) {
(0) 1, 0;
(1) 0.9499999881, 0.05000000075;
}
probability ( N81 | N141 ) {
property function max;
(0) 0.9900000095 , 0.009999999776; // Leak term
(1) 0.009999999776 , 0.9900000095;
}
probability ( N84 | N141 ) {
property function max;
(0) 0.9900000095 , 0.009999999776; // Leak term
(1) 0.009999999776 , 0.9900000095;
}
probability ( N113 | N141 ) {
property function max;
(0) 0.9499999881 , 0.05000000075; // Leak term
(1) 0.1000000015 , 0.8999999762;
}
probability ( N114 | N69 ) {
property function max;
(0) 0.8000000119 , 0.200000003; // Leak term
(1) 0.150000006 , 0.8500000238;
}
probability ( N115 | N51 ) {
property function max;
(0) 0.75 , 0.25; // Leak term
(1) 0.1000000015 , 0.8999999762;
}
probability ( N116 | N71 ) {
property function max;
(0) 0.8999999762 , 0.1000000015; // Leak term
(1) 0.05000000075 , 0.9499999881;
}
probability ( N118 | N5 ) {
property function max;
(0) 0.8000000119 , 0.200000003; // Leak term
(1) 0.02999999933 , 0.9700000286;
}
probability ( N119 | N19 ) {
property function max;
(0) 0.8500000238 , 0.150000006; // Leak term
(1) 0.05000000075 , 0.9499999881;
}
probability ( N120 | N27 ) {
property function max;
(0) 0.8999999762 , 0.1000000015; // Leak term
(1) 0.05000000075 , 0.9499999881;
}
probability ( N121 | N29 ) {
property function max;
(0) 0.8500000238 , 0.150000006; // Leak term
(1) 0.05000000075 , 0.9499999881;
}
probability ( N122 | N34 ) {
property function max;
(0) 0.75 , 0.25; // Leak term
(1) 0.1000000015 , 0.8999999762;
}
probability ( N100 | N69 ) {
property function max;
(0) 0.5 , 0.5; // Leak term
(1) 0.200000003 , 0.8000000119;
}
probability ( N104 | N70 ) {
property function max;
(0) 0.9499999881 , 0.05000000075; // Leak term
(1) 0.25 , 0.75;
}
probability ( N108 | N69 ) {
property function max;
(0) 0.8999999762 , 0.1000000015; // Leak term
(1) 0.02999999933 , 0.9700000286;
}
probability ( N112 | N73 ) {
property function max;
(0) 0.9900000095 , 0.009999999776; // Leak term
(1) 0.009999999776 , 0.9900000095;
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -