| 主权项 |
一种模块化获取核电站故障树顶事项失效概率的方法，其特征在于，包括如下步骤：(1)建立故障树：对系统原理及故障进行分析，根据建树步骤，得出系统失效事件的故障树模型；(2)对故障树进行模块化处理：2.1)对故障树进行两次遍历：第一次遍历记录故障树模型中的中间事件和底事件之间的关系，遍历顺序遵循从上到下，从左到右的规则；第二次遍历按照第一次遍历相同的顺序遍历中间事件和底事件，记录每个事件的第一次访问时间T<sub>f</sub>、第二次访问时间T<sub>s</sub>和最后一次访问时间T<sub>last</sub>；2.2)计算出每个中间事件的子事件的最小访问时间Min和最大访问时间Max，通过判断区间[Min,Max]是否在区间[T<sub>f</sub>,T<sub>s</sub>]之间，获得故障树的模块化信息；(3)将模块化的故障树转化为BDD结构：“与门”计算ite(x,G<sub>1</sub>,G<sub>2</sub>)ite(y,H<sub>1</sub>,H<sub>2</sub>)＝ite(x,G<sub>1</sub>h,G<sub>2</sub>h)；“或门”计算ite(x,G<sub>1</sub>,G<sub>2</sub>)+ite(y,H<sub>1</sub>,H<sub>2</sub>)＝ite(x,(G<sub>1</sub>+H<sub>1</sub>),(G<sub>2</sub>+H<sub>2</sub>))＝ite(x,(G<sub>1</sub>+h),(G<sub>2</sub>+h))；h＝ite(y,H<sub>1</sub>,H<sub>2</sub>)；式中G<sub>1</sub>和G<sub>2</sub>分别表示x＝0和x＝1时的布尔结构函数，H<sub>1</sub>和H<sub>2</sub>分别表示y＝0和y＝1时的布尔结构函数，x，y为变量，x<y；进行吸收化简：G＝ite(x,G<sub>1</sub>,G<sub>2</sub>)；H＝ite(y,H<sub>1</sub>,H<sub>2</sub>)；<maths num="0001"><math><![CDATA[<mrow><mi>S</mi><mi>u</mi><mi>b</mi><mi>s</mi><mi>u</mi><mi>m</mi><mi>e</mi><mrow><mo>(</mo><mi>G</mi><mo>,</mo><mi>H</mi><mo>)</mo></mrow><mo>=</mo><mi>G</mi><mo>/</mo><mi>H</mi><mo>=</mo><mfenced open = "{" close = ""><mtable><mtr><mtd><mrow><mi>i</mi><mi>t</mi><mi>e</mi><mrow><mo>(</mo><mi>x</mi><mo>,</mo><msub><mi>G</mi><mn>1</mn></msub><mo>/</mo><mi>H</mi><mo>,</mo><msub><mi>G</mi><mn>2</mn></msub><mo>/</mo><mi>H</mi><mo>)</mo></mrow><mo>,</mo><mi>x</mi><mo><</mo><mi>y</mi></mrow></mtd></mtr><mtr><mtd><mrow><mi>G</mi><mo>/</mo><msub><mi>H</mi><mn>2</mn></msub><mo>,</mo><mi>x</mi><mo>></mo><mi>y</mi></mrow></mtd></mtr><mtr><mtd><mrow><mi>i</mi><mi>t</mi><mi>e</mi><mrow><mo>(</mo><mi>x</mi><mo>,</mo><msub><mi>G</mi><mn>1</mn></msub><mo>/</mo><msub><mi>H</mi><mn>1</mn></msub><mo>,</mo><msub><mi>G</mi><mn>2</mn></msub><mo>/</mo><msub><mi>H</mi><mn>2</mn></msub><mo>)</mo></mrow><mo>,</mo><mi>x</mi><mo>=</mo><mi>y</mi></mrow></mtd></mtr></mtable></mfenced><mo>;</mo></mrow>]]></math><img file="FDA0000999977870000011.GIF" wi="1134" he="231" /></maths>(4)对含模块的BDD结构进行遍历：对于任意BDD结构，分别沿着根节点的左支和右支进行遍历，通过判断左支是否是终结点1，右支是否是终结点0来确定遍历是否结束，如果右支为中间节点或左支为中间节点，则以该中间节点为根节点继续遍历，直到遍历完所有路径；遍历过程中记录所有以终结点1结束的路径，依据香农原理公式对每个路径进行定量计算，最后将所有路径的概率相加得到顶事件失效概率P<sub>top</sub>：P<sub>top</sub>＝ΣP(C<sub>i</sub>)‑∑∑P(C<sub>i</sub>C<sub>j</sub>)+ΣΣΣP(C<sub>i</sub>C<sub>j</sub>C<sub>k</sub>)‑…+(‑1)<sup>N‑1</sup>P(C<sub>1</sub>C<sub>2</sub>…C<sub>N</sub>)；中，P<sub>top</sub>表示故障树顶事件失效概率，P(C<sub>i</sub>)表示割集C<sub>i</sub>的概率<img file="FDA0000999977870000021.GIF" wi="331" he="63" />q<sub>k</sub>表示割集C<sub>i</sub>中第k个事件的概率，P(C<sub>i</sub>C<sub>j</sub>)表示割集C<sub>i</sub>和割集C<sub>j</sub>同时发生的概率。 |
