• Nuclear Engineering and Technology
• /
• 제34권4호
• /
• pp.331-343
• /
• 2002

We performed an importance analysis of In-Service Testing (157) components for Ulchin Unit 3 using the integrated evaluation method for categorizing component safety significance developed in this study. The developed method is basically aimed at having a PSA expert perform an importance analysis using PSA and its related information. The importance analysis using the developed method is initiated by ranking the component importance using quantitative PSA information. The importance analysis of the IST components not modeled in the PSA is performed through the engineering judgment, based on the expertise of PSA, and the quantitative and qualitative information for the 157 components. The PSA scope for importance analysis includes not only Level 1 and 2 internal PSA but also Level 1 external and shutdown/low power operation PSA. The importance analysis results of valves show that 167 (26.55%) of the 629 IST valves are HSSCs and 462 (73.45%) are LSSCs. Those of pumps also show that 28 (70%)of the 40157 pumps are HSSCs and 12 (30%) are LSSCs.

• 대한안전경영과학회:학술대회논문집
• /
• 대한안전경영과학회 2005년도 추계학술대회
• /
• pp.382-388
• /
• 2005

This paper has briefly explained the various measurement and testing system which is an Important component of modern quality and process improvement activities. This paper deals with precision and force measurement , NDT, and MSA.

• Journal of the Korean Statistical Society
• /
• 제30권3호
• /
• pp.511-527
• /
• 2001

This paper consider the testing problem of variance component for the unbalanced tow=-way error component model. We provide a conditional LM test statistic for testing zero individual(time) effects assuming that the other time-specific(individual)efefcts are present. This test is extension of Baltagi, Chang and Li(1998, 1992). Monte Carlo experiments are conducted to study the performance of this LM test.

• Communications for Statistical Applications and Methods
• /
• 제20권6호
• /
• pp.467-474
• /
• 2013

It is common to measure multiple coverage metrics during software testing. Software reliability growth models and coverage growth functions have been applied to each coverage metric to evaluate software reliability; however, analysis results for the individual coverage metrics may conflict with each other. This paper proposes the virtual coverage metric of a normalized first principal component in order to avoid conflicting cases. The use of the virtual coverage metric causes a negligible loss of information.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제16권5호
• /
• pp.541-545
• /
• 2010

최근 차량 소프트웨어의 신뢰성 및 재사용성 향상을 위하여 AUTOSAR 표준을 제정하였다. 그러나 소프트웨어의 표준화만으로는 높은 수준의 신뢰성 확보와 개발 기간 단축에 한계가 있으며, 소프트웨어 테스팅 표준화 및 자동화가 필요하다. 본 연구에서는 TTCN-3 테스트 표준을 적용한 AUTOSAR 소프트웨어 컴포넌트를 위한 테스트 자동화 방법 및 테스트 시스템을 제안하였다. 테스트 표준을 적용함으로써 테스트에 관련된 정보 교환 및 의사소통이 명확해 지고, 테스트 재사용성을 향상시킬 수 있다. 그리고 설계 모델로부터 테스팅 모델을 자동 생성함으로써 개발 기간 단축 및 신뢰성을 향상시킬 수 있다.

• 한국정보과학회논문지:시스템및이론
• /
• 제26권12호
• /
• pp.1447-1457
• /
• 1999

본 논문에서는 일반적인 네트워크에서 적응력 있는(adaptive) 분산형 시스템 레벨 결함 진단을 위한 분할 기법을 제안한다. 적응력 있는 분산형 시스템 레벨 결함 진단 기법에서는 시스템의 형상이 변경될 때마다 시험 할당 알고리즘이 수행되므로 적응력 없는 결함 진단 기법에 비하여 결함 감지를 위한 시험의 갯수를 줄일 수 있다. 기존의 시험 할당 알고리즘들은 전체 시스템을 대상으로 하는 비분할(non-partitioning) 방식을 이용하였는데, 이 기법은 불필요한 과다한 메시지를 생성한다. 본 논문에서는 전체 시스템을 이중 연결 요소(biconnected component) 단위로 분할한 후, 시험 할당은 각 이중 연결 요소 내에서 수행한다. 이중 연결 요소의 관절점(articulation point)의 특성을 이용하여 각 시험 할당에 필요한 노드의 수를 줄임으로서, 비분할 기법들에 비해 초기 시험 할당에 필요한 메시지의 수를 감소시켰다. 또한 결함이 발생한 경우나 복구가 완료된 경우의 시험 재 할당은 직접 영향을 받는 이중 연결 요소내로 국지화(localize) 시켰다. 본 논문의 시스템 레벨 결함 진단 기법의 정확성을 증명하였으며, 기존 비분할 방식의 시스템 레벨 결함 진단 기법과의 성능 분석을 수행하였다.Abstract We propose an adaptive distributed system-level diagnosis using partitioning method in arbitrary network topologies. In an adaptive distributed system-level diagnosis, testing assignment algorithm is performed whenever the system configuration is changed to reduce the number of tests in the system. Existing testing assignment algorithms adopt a non-partitioning approach covering the whole system, so they incur unnecessary extra message traffic and time. In our method, the whole system is partitioned into biconnected components, and testing assignment is performed within each biconnected component. By exploiting the property of an articulation point of a biconnected component, initial testing assignment of our method performs better than non-partitioning approach by reducing the number of nodes involved in testing assignment. It also localizes the testing reassignment caused by system reconfiguration within the related biconnected components. We show that our system-level diagnosis method is correct and analyze the performance of our method compared with the previous non-partitioning ones.

• 한국데이터정보과학회:학술대회논문집
• /
• 한국데이터정보과학회 2002년도 춘계학술대회
• /
• pp.89-95
• /
• 2002

This paper considers the problem of estimating paramaters of the bivariate exponential distribution with a loaction parameter for a two-component shared parallel system using component data from system-level life test terminated at the time of the prespecified number of system failure. In the system-level life testing, there are three patterns of failure types; 1) both component failed 2) both component censored 3) one is failed and the other is censored. In the third case, we assume that the failure time might be known or unknown. The maximum likelihood estimators are obtained for the case of known/unknown failure time when the other component is censored.

• 비파괴검사학회지
• /
• 제23권6호
• /
• pp.635-644
• /
• 2003

To ensure the reliability of ultrasonic nondestructive testing techniques for modern structural materials, the effects of anisotropy and inhomogeneity and the influence of non-planar component geometries on ultrasonic wave propagation have to be taken into account. In this article, fundamentals and applications of two analytical approaches to three-dimensional elastic beam field calculation are presented. Results for both isotropic materials including curved interfaces and for anisotropic media like composites are presented, covering field profiles for various types of transducers and the modeling of time-dependent rf-signals.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제29권10호
• /
• pp.694-702
• /
• 2002

컴포넌트 기반 소프트웨어 개발(Component-Based Software Development : CBSD)로 만들어진 소프트웨어는 현재 개발자에 의해 새로 만들어진 컴포넌트들과 재사용되는 컴포넌트들의 '조립'으로 이루어진다. 본 논문에서는 이들을 각각 화이트박스 컴포넌트와 블랙박스 컴포넌트로 정의한다. 따라서 컴포넌트 조림에 의한 오류는 소프트웨어를 이루는 블랙박스 컴포넌트들과 화이트박스 컴포넌트들의 상호작용에 의해 발생한다. 본 논문은 이러한 조립 오류들을 테스트하는 방법을 제안하고, 엔터프라이즈 자바빈즈 아키텍쳐에서의 컴포넌트 조립 테스트에 적용한다. 본 기법은 화이트박스 컴포넌트의 특정 영역에만 오류를 삽입하여 테스트 케이스를 선정한다. 오류가 삽입되는 특정 영역은 컴포넌트 조립의 패턴들을 분석하석 선정되며, 이는 본 기법의 테스트 케이스가 높은 효율성을 갖도록 한다. 본 논문에서는 테스트 케이스의 효율성을 실험을 통해 평가하며, 나아가 컴포넌트 조립 테스트 기법의 자동화 방안을 제안한다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2002년도 하계학술대회 논문집 A
• /
• pp.466-468
• /
• 2002

In order to newly define and specify the performance and the testing method of the high-voltage circuit breaker, IEC 62271-100 was published in May, 2001 and took place of IEC 60056 which had been used since 1987. This new standard intensifies the requirement and the test method of the circuit breaker and also domestic manufacturer makes progress the new product development. And, KERI also goes on the build-up project of short-circuit testing facilities for fulfilling the testing method requirements in new IEC 62271-100. This paper introduce the limiting method of short-circuit making current by controlling the time constant of dc component.