지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 발행연도
- 2008.1
- 수록면
- 571 - 580 (10page)
이용수
초록· 키워드
오류제보하기
A Binary Decision Diagram (BDD) is a graph-based data structure that calculates an exact top event probability (TEP). It
has been a very difficult task to develop an efficient BDD algorithm that can solve a large problem since it is highly memory
consuming. In order to solve a large reliability problem within limited computational resources, many attempts have been
made, such as static and dynamic variable ordering schemes, to minimize BDD size. Additional effort was the development
of a ZBDD (Zero-suppressed BDD) algorithm to calculate an approximate TEP. The present method is the first successful
application of a BDD truncation. The new method is an efficient method to maintain a small BDD size by a BDD truncation
during a BDD calculation. The benchmark tests demonstrate the efficiency of the developed method. The TEP rapidly
converges to an exact value according to a lowered truncation limit.
목차
등록된 정보가 없습니다.
참고문헌 (22)
참고문헌 신청
A. Rauzy / 1993 / New Algorithms for Fault Trees Analysis / Reliability Engineering and System Safety 40 : 203 ~ 211
A. Rauzy / 1997 / Exact and Truncated Computations of Prime Implicants of Coherent and Non-coherent Fault Trees Within Aralia / Reliability Engineering and System Safety 58 :
B. Akers / 1978 / Binary Decision Diagrams / IEEE Transactions on Computers 27 (6) : 509 ~ 516
B. Bollig / 1996 / Improving the variable ordering of OBDDs is NP complete / IEEE Trans. Comput 45 : 993 ~ 1002
C. Meinel / 1997 / Speeding up variable reordering of OBDD / in Int. Conf. Comput : 338 ~ 343
A. Rauzy / 1997 / Exact and Truncated Computations of Prime Implicants of Coherent and Non-coherent Fault Trees Within Aralia / Reliability Engineering and System Safety 58 :
B. Akers / 1978 / Binary Decision Diagrams / IEEE Transactions on Computers 27 (6) : 509 ~ 516
B. Bollig / 1996 / Improving the variable ordering of OBDDs is NP complete / IEEE Trans. Comput 45 : 993 ~ 1002
C. Meinel / 1997 / Speeding up variable reordering of OBDD / in Int. Conf. Comput : 338 ~ 343
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
NEW RESULTS TO BDD TRUNCATION METHOD FOR EFFICIENT TOP EVENT PROBABILITY CALCULATION
Nuclear Engineering and Technology
2012 .01
-
BDD를 활용한 ECO 자동화에 대한 연구
한국통신학회 학술대회논문집
2014 .01
-
An Efficient Method for Optimal BDD Ordering Computation
ICVC : International Conference on VLSI and CAD
1993 .01
-
BDD 전극을 이용한 전기 화학적 처리의 적용 가능성
한국표면공학회 학술발표회 초록집
2018 .06
-
기판의 최적화에 따른 BDD 전극의 수처리 특성 평가
한국표면공학회 학술발표회 초록집
2019 .05
-
다양한 기판에 형성된 BDD 전극의 폐수처리 특성
한국표면공학회지
2019 .04
-
BDD를 이용한 조합 논리 회로의 결함 검출 ( Test Generation for Combinational Circuits using BDD )
대한전자공학회 학술대회
1994 .11
-
BDD를 이용한 조합 논리 회로의 결함 검출
대한전자공학회 학술대회
1994 .11
-
Don't Care를 이용한 논리합성에서의 BDD 최소화 방법 ( BDD Minimization Using Don't Cares for Logic Synthesis )
전자공학회논문지-C
1999 .09
-
중간층과 기관 전처리가 BDD 박막에 미치는 영향
한국표면공학회 학술발표회 초록집
2016 .05
-
대규모 고장수목 계산에서 빠른 BDD 생성을 위한 고장수목 축소
한국도시철도학회논문집
2016 .12
-
이단계 리드뮬러 회로의 최소화를 위한 BDD의 응용
한국정보과학회 학술발표논문집
1994 .10
-
BDD를 이용한 멀티플렉서 구조 FPGA에 대한 테크놀로지 매핑
한국정보과학회 학술발표논문집
1993 .10
-
BDD를 이용한 Hazard-Free 다단 논리 합성방법에 관한 연구
대한전자공학회 학술대회
1997 .11
-
BDD를 이용한 Hazard-Free 다단 논리 합성방법에 관한 연구 ( A Study on the Hazard-Free Multi-Level Logic Synthesis Using on the BDD )
대한전자공학회 학술대회
1997 .11
-
Generation of All prime Implicates by Using BDD ( Binary Decision Diagram )
JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications
1994 .01
-
하수슬러지 탈수 효율 증대를 위한 BDD 전극 전기화학적 처리 연구
한국표면공학회 학술발표회 초록집
2018 .11
-
BDD를 이용한 사고수목 정상사상확률 계산
한국정보통신학회논문지
2016 .03
-
멀티플렉서 구조의 FPGA를 위한 BDD를 이용한 논리 합성 알고리듬 ( Logic Synthesis Algorithm for Multiplexer-based FPGA`s Using BDD )
전자공학회논문지-A
1993 .12
-
Finding the Maximum Clique in a Graph Using BDDs
ICVC : International Conference on VLSI and CAD
1993 .01
이 논문의 저자 정보
최근 본 자료
댓글(0)
0