상세 보기
BDD를 이용한 사고수목 정상사상확률 계산
Calculation of Top Event Probability of Fault Tree using BDD
- 조병호;
- 염병수;
- 김상암
초록
사고수목을 이루는 게이트나 기본사상이 많아질수록 정상사상 확률의 정확한 계산이 어려워진다. 이를 극복하기 위해 BDD 방법을 적용하면 중소형 사고수목의 경우 짧은 시간에 근사계산 없이 정확한 값을 구할 수 있다. CUDD 함수를 이용하여 사고수목을 BDD로 변환하고 그로부터 정상사상의 발생확률을 구하는 고장경로 탐색 알고리즘을 고안하였다. 후방탐색 알고리즘은 전방탐색 알고리즘보다 고장경로의 탐색과 확률계산 시간에서 효과적이다. 이 탐색 알고리즘은 BDD에서 고장경로를 찾는데 있어서 탐색시간을 줄일 수 있고, 해당 사고수목의 단절집합과 최소단절집합을 찾는 유용한 방법이다.
키워드
Binary Decision Diagram; Cut Set; Failure Path; Fault Tree; Minimal Cut Set; 이진결정도; 단절집합; 고장경로; 사고수목; 최소단절집합
- 제목
- BDD를 이용한 사고수목 정상사상확률 계산
- 제목 (타언어)
- Calculation of Top Event Probability of Fault Tree using BDD
- 저자
- 조병호; 염병수; 김상암
- 발행일
- 2016-03
- 저널명
- 한국정보통신학회논문지
- 권
- 20
- 호
- 3
- 페이지
- 654 ~ 662