고장수목으로부터 변환된 BDD에서 효율적인 MCS 추출을 위한 BDD 재구성 방법과 새로운 근사확률 공식 = A Method of BDD Restructuring for Efficient MCS Extraction in BDD Converted from Fault Tree and A New Approximate Probability Formula

국문 초록 (Abstract)

이진결정도는 고장수목 해석에서 기존의 Boolean Logic 해석법의 잘 알려진 대체 방법이다. 고장수목의 규모가 커짐에 따라 계산에 필요한 컴퓨터 연산시간과 자원이 급격하게 증가한다. 이진결정도로부터 단절집합 및 최소단절 집합을 효과적으로 계산하기 위해 새로운 고장경로 탐색법과 고장경로 재구성 방법이 제안되었다. 고장경로 그룹화와 Bottom-Up 탐색법은 고장경로의 탐색에 효율적임을 증명하였고, 최소단절집합 계산을 위한 단절집합의 비교계산 횟수를 줄이기 위해 경로 재구성 방법을 사용할 수 있음을 증명하였다. 새로 제안된 방법을 적용하고, 기존의 근사확률 공식인 MCUB 확률공식과 동일한 새로운 ASDMP 확률공식을 사용하여 정상사상 확률을 계산 할 수 있다.

다국어 초록 (Multilingual Abstract)

BDD is a well-known alternative to the conventional Boolean logic method in fault tree analysis. As the size of fault tree increases, the calculation time and computer resources for BDD dramatically increase. A new failure path search and path restructure method is proposed for efficient calculation of CS and MCS from BDD. Failure path grouping and bottom-up path search is proved to be efficient in failure path search in BDD and path restructure is also proved to be used in order to reduce the number of CS comparisons for MCS extraction. With these newly proposed methods, the top event probability can be calculated using the probability by ASDMP(Approximate Sum of Disjoint MCS Products), which is shown to be equivalent to the result by the conventional MCUB(Minimal Cut Upper Bound) probability.

참고문헌 (Reference)

1 A. Rauzy, "New algorithms for Fault Tree Analysis" 40 : 203-211, 1993

2 R. Bryant, "Graph-based algorithms for Boolean function manipulation" C35 (C35): 677-691, 1986

3 E. Ruijters, "Fault tree analysis : A survey of the state-of-the-art in modeling, analysis and tools" 15-16 : 29-62, 2015

4 N. Limnios, "Fault Trees" ISTE 191-192, 2007

5 F. Somenzi, "CUDD: CU Decision Diagram Package Release 2.4.1"

6 D. K. Houngninou, "CUDD Tutorials, Learn it by examples"

7 L. Xing, "Binary Decision Diagrams and Extensions for System Reliability Analysis" Scrivener Publishing Wiley 30-31, 2015

8 조병호, "BDD를 이용한 사고수목 정상사상확률 계산" 한국정보통신학회 20 (20): 654-662, 2016

9 W. Jung, "BDD application to the calculation of probability and importance measures of minimal cutsets" 771-780, 2010

10 Y. Deng, "BDD algorithms based on modularization for fault tree analysis" 85 : 192-199, 2015