| 发明名称 |
IDENTIFICATION SYSTEM, IDENTIFICATION METHOD, AND PROGRAM |
| 摘要 |
The present invention is an identification system comprising: an irrelevance trigger interpreting section for calculating a logical formula of irrelevance triggers for a component in a system from a cut set logical formula f of a system failure; and minimal cut set evaluating means for minimizing the logical formula of the irrelevance triggers, which has been calculated by said irrelevance trigger interpreting section, to calculate the irrelevance triggers for said component. |
| 申请公布号 |
US2015143176(A1) |
申请公布日期 |
2015.05.21 |
| 申请号 |
US201314401686 |
申请日期 |
2013.05.14 |
| 申请人 |
NEC Corporation |
发明人 |
Xiang Jianwen |
| 分类号 |
G06F11/07 |
主分类号 |
G06F11/07 |
| 代理机构 |
|
代理人 |
|
| 主权项 |
1. An identification system comprising:
an irrelevance trigger interpreting section configured to calculate a logical formula of irrelevance triggers for a component in a system from a cut set logical formula f of a system failure; and minimal cut set evaluating section configured to minimize the logical formula of the irrelevance triggers, which has been calculated by said irrelevance trigger interpreting section, to calculate the irrelevance triggers for said component. |
| 地址 |
Tokyo JP |
