• Nuclear Engineering and Technology
• /
• v.24 no.1
• /
• pp.14-29
• /
• 1992

COMCAF, a computer code for the common-cause failure analysis, is developed to treat the common-cause failures in nuclear power plants. In the treatment of common-cause failures, the minimal cut sets of the system are obtained first without changing the fault-tree structure. The occurrence probabilities of the minimal cut sets are then calculated accounting for the common-cause failures among components in the same minimal cut set or in different minimal cut sets. The basic parameter model is used to model the common-cause failures between similar or identical components. For dissimilar components, the assumption of symmetry used in the basic parameter model is applied to the basic events affecting two or more components. The top event probability is evaluated using the inclusion-exclusion method. In addition to the common-cause failures of components in the same minimal cut sets, failures of components in the different minimal cut sets are also easily accounted for by this method. This study applied this common-cause failure analysis to the PWR auxiliary feedwater system. The results in the top event probability for the system are compared with those of no common-cause failures.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.23 no.6
• /
• pp.711-718
• /
• 2019

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.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.20 no.3
• /
• pp.654-662
• /
• 2016

As the number of gates and basic events in fault trees increases, it becomes difficult to calculate the exact probability of the top event. In order to overcome this difficulty the BDD methodology can be used to calculate the exact top event probability for small and medium size fault trees in short time. Fault trees are converted to BDD by using CUDD library functions and a failure path search algorithm is proposed to calculate the exact top event probability. The backward search algorithm is more efficient than the forward one in finding failure paths and in the calculation of the top event probability. This backward search algorithm can reduce searching time in the identification of disjoint failure paths from BDD and can be considered as an effective tool to find the cut sets and the minimal cut sets for the given fault trees.

• Proceedings of the Korean Institute of Industrial Safety Conference
• /
• 1998.11a
• /
• pp.219-224
• /
• 1998

확률론적 안전성 평가(Probabilistic Safety Assessment PSA)나 정량적인 위험도 평가(Quantitative Risk Assessment: QRA)에서 인간신뢰도분석(human reliability analysis)은 인간행위를 기기처럼 생각하여 전체 시스템의 안전성에 중요한 초기사건(initiating event) 이전이나 초기사건 이후 또는 초기사건을 유발하는 인간행위를 파악하고 정량화하여, 확률론적 평가의 논리구조인 사건 및 고장수목(event tree 및 fault tree)이나 사고경위 단절집합 (accident sequence outsets)에 포함시키는 것이다. (중략)

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10c
• /
• pp.241-243
• /
• 2002

기존 검사점 기반의 회복 기법은 단절된 모바일 트랜잭션의 회복 정보를 서버의 안정 저장소에 저장할 수 없다. 따라서 단절 상태에서 공간 객체를 수정하고 있는 모바일 클라이언트에 장애가 발생하면 단절 시의 검사점 수행 상태로 회복하지 못하는 문제가 있다. 이 논문은 모바일 트랜잭션의 회복 정보를 서버에 저장하기 위하여 강제 로깅 기법을 사용한다. 그리고 모바일 트랜잭션의 장애를 회복하기 위해 강제 로깅된 로그를 이용하는 회복 기법을 제안한다. 이 회복 기법은 서버에서 공간 데이터에 로그를 순차적으로 반영하여 쓰기 집합을 생성한 후 클라이언트로 반환하는 기법이다. 또한 이러한 회복 기법을 지원하는 시스템을 공간 데이터 서버상에서 설계하고, 프로토타입을 구현하였다.

• Proceedings of the Korean Institute of Industrial Safety Conference
• /
• 2003.05a
• /
• pp.114-119
• /
• 2003

원자력발전소를 비롯한 위험 시설물의 확률론적 안전성 평가(Probabilistic Safety Assessment: PSA)는 고장수목(Fault Tree) 및 사건수목(Event Tree) 분석으로 이루어지며, 분석 결과로 그 시설물의 위험도(Risk)는 최소단절집합(Minimal Cutsets)들의 합으로 구성 된다.(중략)

• Journal of Korea Spatial Information System Society
• /
• v.5 no.2 s.10
• /
• pp.69-82
• /
• 2003

Mobile transactions updating spatial objects are long transactions that update local objects of mobile clients during disconnection. Since a recovered transaction cannot read the write sets of other transactions committed before the recovery due to disconnection, the recovered transaction may conflicts with them. However, aborting of the recovered long transaction leads to the cancellation of all updates including the recovered updates. It is definitely unsuitable to cancel the recovered updates due to the conflicts. In this paper, we propose the recovery scheme to retrieve foreign conflictive objects from the write sets of other transactions for reducing aborting of a recovered transaction. The foreign conflictive objects are part of the data committed by other transactions and may conflict with the objects updated by the recovered transaction. In the scheme, since the recovered transaction can read both the foreign conflictive objects and the recently checkpoint read set, it is possible to reupdate properly the potentially conflicted objects.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1997.05a
• /
• pp.520-526
• /
• 1997

WASH-1400[1]이 발간된 이후 수행되어왔던 많은 확률론적 안전성 평가 결과를 보면 노심손상빈도를 나타내는 사고경위 중 많은 부분이 인간행위와 관련이 있는 것으로 밝혀져 확률론적 안전성 평가에서 인간행위를 다루는 것은 매우 중요하게 되었다. 그러나 인간신뢰도분석은 인간행위의 다변성(variability)으로 인해 인간행위의 모델링이 어렵고 데이타가 부족해 뚜렷한 방법론이 없어 분석시 분석자의 주관성이 개입될 여지가 있고 분석결과에는 많은 불확실성을 포함하고 있다. 노심손상빈도를 나타내는 사고경위에는 다수 인간행위가 있는 포함돼있는 단절집합을 얻게되는데 이러한 인간행위들 사이에는 기기의 공통원인 고장처럼 의존성이 존재한다. 이러한 의존성의 평가방법 또한 뚜렷하게 설정되어 있지 않은 형편이다. 이에 본 논문에서는 월성 2,3,4호기 확률론적 안전성 평가 모델에 고려되어있는 인간행위들의 인간오류 확률 값과 의존성 수준의 변화에 대한 민감도분석을 수행하였다. 분석결과 초기사건 이후의 인간행위가 노심손상빈도 변화에 크게 기여하는 것이 밝혀졌고, 다수 인간행위들 사이의 의존성 수준변화가 노심손상빈도 변화에 큰 영향을 준다는 것이 밝혀졌다.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1996.05b
• /
• pp.610-615
• /
• 1996

PSA 모델링 및 데이타 관리를 효과적으로 수행하고 PSA 정량화를 자동화할 수 있도록 PSA workstation 을 개발하고 있다. Windows용 고장수목 및 사건수목 편집기, 데이타 관리 모듈 개발등의 PSA모델링 및 관리 모듈이 개발되었고, 또한 최소단절집합 생성 방법 개선, 규칙기반 회복조치 분석 및 고장수목 순환논리 분석 방법 개발등을 통한 PSA 정량화 방법의 개선이 이루어졌다. PSA workstation은 PSA 응용 소프트웨어 개발의 기초로도 사용될 수 있다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.10b
• /
• pp.1113-1116
• /
• 2000

기존의 연구에서는 셀룰러 망에서 호 수락 제어 시에 다음 두 가지 요소를 고려하지 않는다. 첫 번째 요소는 각각의 셀, 특히 micro/pio 셀에서 서비스 제공이다. micro/pico 셀과 같이 심한 트래픽 변동이 있는 셀에서는 호 단절률이 수렴할 수 없기 때문에 이동 QoS와 서비스 제공이 불가능하다. 두 번째 요소는 망에서 호를 수용할 수 있는 능력과 관련 있는 GOS 이다. 일반적으로 여러 비율의 서비스는 서비스의 집합으로 특정지을 수 있고, 각각의 것들은 다른 양의 대여폭을 요구한다. 이질적인 멀티미디어 서비스 클래스를 가진 망에서는 소수의 광대역호가 망 자원의 대부분을 점유해서, 신규호에 대한 봉쇄로 망 성능을 떨어뜨릴 수 있다 그래서, GoS는 광대역호 제어에 의해서 향상될 수 있다. 본 논문에서는 이동 트래픽 조건에서 서비스 제공이 가능한 셀들의 최소 집합이면서 논리적인 단위인 지역이라고 불리는 새로운 개념을 소개한다. 그리고 서비스 제공 단위가 셀보다는 지역단위로 한 경우에 성능이 더 좋고 GoS 를 향상시킬 수 있는 방법인 지역기반 CAC 를 제한한다. 마지막으로 시뮬레이션에서는 QoS와 GoS 관점에서 RCAC가 현재까지 제안된 다른 방법보다 더 좋은 성능을 제공한다는 것을 보여준다.