• The KIPS Transactions:PartD
• /
• v.9D no.3
• /
• pp.389-398
• /
• 2002

Software reliability growth models are used in testing stages of software development to model the error content and time intervals between software failures. This paper presents a stochastic model for the software failure phenomenon based on a nonhomogeneous Poisson process(NHPP) and performs Bayesian inference using prior information. The failure process is analyzed to develop a suitable mean value function for the NHPP ; expressions are given for several performance measure. Actual software failure data are compared with several model on the constant reflecting the quality of testing. The performance measures and parametric inferences of the suggested models using Rayleigh distribution and Laplace distribution are discussed. The results of the suggested models are applied to real software failure data and compared with Goel model. Tools of parameter point inference and 95% credible intereval was used method of Gibbs sampling. In this paper, model selection using the sum of the squared errors was employed. The numerical example by NTDS data was illustrated.

• Journal of Institute of Control, Robotics and Systems
• /
• v.9 no.11
• /
• pp.883-890
• /
• 2003

Two GOS (Generalized Observer Scheme) type Fault Detection Isolation Schemes (FDIS), employing the bank of unknown input functional observers (UIFO) as a residual generator, are proposed to make the practical use of the multiple observer based FDIS. The one is IFD (Instrument Fault Detection) scheme and the other is PFD (Process Fault Detection) scheme. A design method of UIFO is suggested for robust residual generation and reducing the size of the observer bank. Several design objectives that can be achieved by the FDI schemes and the design methods to meet the objectives are described. An IFD system is constructed for the Boeing 929 Jetfoil boat system to show the effectiveness of the propositions. Major contributions of this paper are two folds. Firstly, the proposed UIFO approaches considerably reduce the size of residual generator in the GOS type FDI systems. Secondly, the FDI schemes, in addition to the basic functions of the conventional observer-based FDI schemes, can reconstruct the failed signal or give the estimates of fault magnitude that can be used for compensating fault effects. The schemes are directly applicable to the design of a fault tolerant control systems.

• The Korean Journal of Applied Statistics
• /
• v.9 no.2
• /
• pp.119-134
• /
• 1996

Accelerated life testing (ALT) of a system is commonly used to reduce time and cost. ALT is achieved by subjecting the test systems to more severe conditions than the normal ones to obtain estimates of life distribution under normal condition. The major interest of this research is to use a model of incorporating the common environmental effect on the components serially linked into a system-so called frailty model for the system life time distribution under each stress and to discuss the related data analysis and comparison of the model with the generally used one. The profile likelihood is used to get an initial values required to compute maximum likelihood estimates and simulation is carried for comparison.

• The Transactions of the Korean Institute of Electrical Engineers P
• /
• v.66 no.4
• /
• pp.194-199
• /
• 2017

Power transformers are an important factor for power transmission and cause fatal losses if faults occur. Various diagnostic methods have been applied to predict the failure and to identify the cause of the failure. Typical diagnostic methods include the IEC diagnostic method, the Duval diagnostic method, the Rogers diagnostic method, and the Doernenburg diagnostic method using the ratio of the main gas. However, each diagnostic method has a disadvantage in that it can't diagnose the state of the power transformer unless the gas ratio is within the defined range. In order to solve these problems, we propose a diagnosis method using ELM based intelligent algorithm and fuzzy membership function. The final diagnosis is performed by multiplying the result of diagnosis in the four diagnostic methods (IEC, Duval, Rogers, and Doernenburg) by the fuzzy membership values. To show its effectiveness, the proposed fault diagnostic system has been intensively tested with the dissolved gases acquired from various power transformers.

• Journal of the Korean Society of Safety
• /
• v.30 no.3
• /
• pp.13-19
• /
• 2015

Railway vehicle equipment goes back again to the state just before when failure by the repair. In repairable system, we are interested in the failure interval. As such, a statistical model of the point process, NHPP power law is often used for the reliability analysis of a repairable system. In order to derive a quantitative reliability value of repairable system, we analyze the failure data of the air brake system of the train line 7. The quantitative value is the failure intensity function that was modified, converted into a cost-rate function. Finally we studied the optimal number and optimal interval in which the costs to a minimum consumption point as cost-rate function. The minimum cost point was 194,613 (won/day) during the total life cycle of the braking system, then the optimal interval were 2,251days and the number of optimal preventive maintenance were 7 times. Additionally, we were compared to the cost of a currently fixed interval(4Y) and the optimum interval then the optimal interval is 3,853(won/day) consuming smaller. In addition, judging from the total life, "fixed interval" is smaller than 1,157 days as "optimal interval".

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.10 no.12
• /
• pp.2187-2192
• /
• 2006

This paper presents a method of constructing the universal multiple processing element unit(UMPEU) by De Bruijn Graph. The second method is as following. First, we propose transformation operators in order to construct the De Bruijn UMPEU using properties of graph. Second, we construct the transformation table of De Bruijn graph using above transformation operators. Finally we construct the De Bruijn graph using transformation table. The proposed UMPEU be able to construct the De Bruijn graph for any prime number and integer value of finite fields. Also the UMPEU is applied to fault-tolerant computing system, pipeline class. parallel processing network, switching function and its circuits.

• Asia-Pacific Journal of Business Venturing and Entrepreneurship
• /
• v.7 no.4
• /
• pp.49-54
• /
• 2012

In this paper, a software policy considering testing time and the number of errors corrected is presented. The software is tested until a specified testing time or the time to a specified number of errors are corrected, whichever comes first. The model includes the cost of error correction and software testing during the testing time, and the cost of error correction during operation. It is assumed that the length of software life cycle has no bounds, and the error correction follows an non-homogeneous Poisson process. An expression for the total cost under the policy is derived. It is shown that the model includes the previous models as special cases.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.46 no.4
• /
• pp.39-48
• /
• 2009

Asynchronous sequential machines, or clockless logic circuits, have several advantages over synchronous machines such as fast operation speed, low power consumption, etc. In this paper, we propose a novel robust controller for input/output asynchronous sequential machines with uncertain state transitions. Due to model uncertainties or inner failures, the state transition function of the considered asynchronous machine is not completely known. In this study, we present a formulation to model this kind of asynchronous machines ana using generalized reachability matrices, we address the condition for the existence of an appropriate controller such that the closed-loop behavior matches that of a prescribed model. Based on the previous research results, we sketch design procedure of the proposed controller and analyze the stable-state operation of the closed-loop system.

• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 2002.11a
• /
• pp.473-479
• /
• 2002

NHPP에 근거한 SRGM을 구성하는 새로운 안을 제시한다. 본 논문의 주요 초점은 소프트웨어 신뢰도모델링에서 효과적인 파라미터분해기법을 제공하는 것이다. 이는 테스트노력과 결함검출비를 동시에 고려하는 것이다. 일반적으로, 소프트웨어결함검출/제거메카니즘은 이전의 검출/제거결함과 테스트노력을 어떻게 활용하느냐에 달려있다. 실제 현장 연구로부터 우리는 테스트노력소모패턴을 추론하여 FDR의 경향을 예측할 수 있을 것으로 생각된다. 결함검출이 증가, 감소 및 일정한 것 등 광범위에 걸쳐서 나타나는 경향을 잡아내는 고유의 융통성을 가지는 하나의 시변수집합인 FDR모델에 근거한 테스트노력을 개발하였다. 이 스킴은 구조에 융통성이 있어서 여러 가지 테스트노력을 고려하여 광범위한 소프트웨어 개발 환경을 모델화할 수 있다 본 논문에서는 FDR을 기술하고, 관련된 테스트 행위를 이러한 새로운 모델링접근법에 연합시킬 수 있다. 우리의 모델과 그리고 이것과 관련된 파라미터 분해기법을 적용한 것을 여러 가지 소프트웨어 프로젝트에서 도출한 실제 데이터집합을 통하여 시연한다. 분석결과에 의하면 SRGM에 관한 테스트노력과 FDR을 결합하기 위한 제안된 구조가 상당히 정확한 예측능력을 보여주고 있으며, 실제 수명상황을 좀더 정대하게 설명해 준다. 이 기법은 광범위한 소프트웨어시스템에 쓰일 수 있다.

• The Transactions of the Korean Institute of Electrical Engineers P
• /
• v.64 no.1
• /
• pp.23-28
• /
• 2015

Measuring the distances between signals in the signal space is usually determined by obtaining the ideal metric which is not easy to obtain. In this research we have investigated the scheme that measures the distances between the signals constructed with the measured voltage signals connected to electric apparatus using Kalman filter and exponential mapping. The metric is defined on the feature signals obtained via the estimation process of a Kalman filter and the mapping process using the exponential transformation. Diagnosis is on the voltage fluctuations is applied to determining whether the system is in the stable state or not due to the unexpected accidents, such as power overcharge, discharge, outages flow may be the cause of the accident. The decision making scheme evaluated with respect to the effectiveness and the degree of complication with different variances. Two methods, the Hard Limit Threshold Scheme(HLTS) and the Interval Energy Scheme(IES) are proposed and compared. In experiments the IES shows better tolerance to impulse noise than the HLTS.