• 융합보안논문지
• /
• 제12권6호
• /
• pp.85-92
• /
• 2012

소프트웨어의 디버깅에 오류 발생의 시간을 기반으로 하는 많은 소프트웨어 신뢰성 모델이 제안되어 왔다. 무한고장 모형과 비동질적인 포아송 과정에 의존한 소프트웨어 신뢰성 모형을 이용하면 모수 추정이 가능하다. 소프트웨어를 시장에 인도하는 결정을 내리기 위해서는 조건부 고장률이 중요한 변수가 된다. 유한 고장 모형은 실제 상황에서 다양한 분야에 사용된다. 특성화 문제, 특이점의 감지, 선형 추정, 시스템의 안정성 연구, 수명을 테스트, 생존 분석, 데이터 압축 및 기타 여러 분야에서의 사용이 점점 많아지고 있다. 통계적 공정 관리 (SPC)는 소프트웨어 고장의 예측을 모니터링 함으로써 소프트웨어 신뢰성의 향상에 크게 기여 할 수 있다. 컨트롤 차트는 널리 소프트웨어 산업의 소프트웨어 공정 관리에 사용되는 도구이다. 본 논문에서 NHPP에 근원을 둔 로그 포아송 실행시간 모형, 로그선형 모형 그리고 파레토 모형의 평균값 함수를 이용한 통계적 공정관리 차트를 이용한 제어 메커니즘을 제안하였다.

• Communications for Statistical Applications and Methods
• /
• 제16권5호
• /
• pp.803-812
• /
• 2009

금융자료에 극단값이론을 적용하는 것은 위험관리에서 중요한 최신 통계기법 중의 하나라고 할 수 있다. 극단값분석에서 전통적으로 사용해 오던 연간 최대값방법은 시계열자료의 연간 최대값들에 대하여 일반화 극단값분포를 적합시키는 것이고, 최근 대안으로 널리 사용되고 있는 분계점 방법은 시계열자료 중 충분히 큰 하나의 분계점을 넘어서는 초과값들에 대하여 일반화파레토분포를 적합시키는 것이다. 그러나, 보다 실질적인 방법은 분계점을 넘어서는 초과값들을 하나의 점과정으로 해석하는 것인데, 즉 초과값들의 초과시점과 초과여분을 점근적으로 비동질 포아송과정을 갖는 하나의 2차원 점과정으로 간주하는 것이다. 본 논문에서는 이러한 2차원 비동질 포아송과정 모형을 1982.1.4부터 2008.12.31까지 수집된 원/달러 환율 시계열자료로부터 계산된 일별 환율투자손실률, 즉 일별 로그 손실률에 적용한다. 여기서 주된 관심은 10년 혹은 50년에 한번 정도 발생하는 대형 손실률 수준과 같은 극단분위수를 어떻게 추정하느냐 하는 것이다.

• 한국정보전자통신기술학회논문지
• /
• 제8권5호
• /
• pp.345-353
• /
• 2015

소프트웨어 디버깅과정에서 오류의 발생 시간에 기초한 많은 소프트웨어 신뢰성 모형이 이미 연구되었다. 유한고장모형과 비동질적인 포아송과정을 이용하면 소프트웨어의 신뢰성 모형에 대한 모수 추정을 가능하게 한다. 소프트웨어를 사용자에게 인도하는 경우 인도시기를 결정할 때 조건부 고장률은 중요한 변수가 된다. 이러한 유한 고장 모형은 실제 다양한 상황에서 사용될 수 있다. 특성화 문제, 이상치의 검출, 선형 추정, 시스템 신뢰성 연구, 수명 시험, 생존 분석, 데이터 압축 및 많은 다른 분야의 연구에서 이들의 사용은 많은 연구에서 볼 수 있다. 통계 공정 관리(SPC)는 소프트웨어 오류의 예측을 모니터링 함으로써 소프트웨어의 신뢰성의 향상에 크게 기여할 수 있다. 관리도는 널리 소프트웨어 업계에서 소프트웨어 품질관리에 사용된다. 본 논문에서는 NHPP와 다항 위험 함수의 평균값을 기초한 관리 메카니즘을 제시하였다.

• 대한수학회지
• /
• 제52권3호
• /
• pp.447-467
• /
• 2015

In this paper, we consider a multi-risk model based on the policy entrance process with n independent policies. For each policy, the entrance process of the customer is a non-homogeneous Poisson process, and the claim process is a renewal process. The loss process of the single-risk model is a random sum of stochastic processes, and the actual individual claim sizes are described as extended upper negatively dependent (EUND) structure with heavy tails. We derive precise large deviations for the loss process of the multi-risk model after giving the precise large deviations of the single-risk model. Our results extend and improve the existing results in significant ways.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• 제10권2호
• /
• pp.41-47
• /
• 2006

The Renewal process and the Non-homogeneous Poisson process (NHPP) process are probably the most popular models for describing the failure pattern of repairable systems. But both these models are based on too restrictive assumptions on the effect of the repair action. For these reasons, several authors have recently proposed point process models which incorporate both renewal type behavior and time trend. One of these models is the Modulated Power Law Process (MPLP). The Modulated Power Law Process is a suitable model for describing the failure pattern of repairable systems when both renewal-type behavior and time trend are present. In this paper we propose Bayes estimation of the next failure time after the system has experienced some failures, that is, Mean Time Between Failure for the MPLP model. Numerical examples illustrate the estimation procedure.

• Journal of applied mathematics & informatics
• /
• 제14권1_2호
• /
• pp.157-172
• /
• 2004

An age-dependent branching process where disasters occur as a renewal process leading to annihilation or survival of all the cells, is considered. For such a process, the total mean sojourn time of all the cells in the system is analysed using the regeneration point technique. The mean number of cells which die in time t and its asymptotic behaviour are discussed. When the disasters arrival as a Poisson process and the lifetime of the cells follows exponential distribution, elegant inter- relationships are found among the means of (i) the total number of cells which die in time t (ii) the total sojourn time of all cells in the system upto time t and (iii) the number of living cells at time t. Some of the existing results are deduced as special cases for related processes.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• 제19권1호
• /
• pp.23-45
• /
• 2015

We consider counterparty risk in CDS rates. To do so, we use a multivariate jump diffusion process for obligors' default intensity, where jumps (i.e. magnitude of contribution of primary events to default intensities) occur simultaneously and their sizes are dependent. For these simultaneous jumps and their sizes, a homogeneous Poisson process. We apply copula-dependent default intensities of multivariate Cox process to derive the joint Laplace transform that provides us with joint survival/default probability and other relevant joint probabilities. For that purpose, the piecewise deterministic Markov process (PDMP) theory developed in [7] and the martingale methodology in [6] are used. We compute survival/default probability using three copulas, which are Farlie-Gumbel-Morgenstern (FGM), Gaussian and Student-t copulas, with exponential marginal distributions. We then apply the results to calculate CDS rates assuming deterministic rate of interest and recovery rate. We also conduct sensitivity analysis for the CDS rates by changing the relevant parameters and provide their figures.

• Journal of the Korean Statistical Society
• /
• 제23권2호
• /
• pp.483-498
• /
• 1994

Suppose that a stationary process ${X_t}$ has a marginal distribution whose support consists of sufficiently large integers. We are concerned with some analogous law of large numbers for such distribution function F. In particular, we determine a weak law of large numbers for maximum queueing length in $M/M\infty$ system. We also present a limiting behavior for the maxima based on AR(1) process with binomial thining and poisson marginals (INAR(1)) introduced by E. Mckenzie. It turns out that the result of AR(1) process is the same as that of $M/M/\infty$ queueing process in limit when we observe the queues at regularly spaced intervals of time.

• 한국경영과학회지
• /
• 제24권3호
• /
• pp.83-91
• /
• 1999

In order to build and manage an ATM network effectively under several types of control methods, it is necessary to estimate the performance of the equipments in various viewpoints, especially of ATM multiplexer. As for the method to model the input stream into the ATM multiplexer, many researches have been done to characterize it by, such as, fluid flow, MMPP(Markov Modulated Poisson Process), or MMDP (Markov Modulated Deterministic Process). We introduce an MRP(Markov Renewal Process) to model the input stream which has proper structure to represent the burst traffic with high correlation. In this paper, we build a model for aggregated heterogeneous ON-OFF sources of ATM traffic by MRP. We make discrete time MR/D/1/B queueing system, whose input process is the superposed MRP and present a performance analysis by finding CLP(Cell Loss Probability). A simulation is done to validate our algorithm.

• 한국신뢰성학회지:신뢰성응용연구
• /
• 제9권2호
• /
• pp.121-130
• /
• 2009

The power law process model the Rate of occurrence of failures(ROCOF) with monotonic trend during the operating time. However, the power law process is inappropriate when a non-monotonic trend in the failure data is observed. In this paper we deals with the reliability modeling of the failure process of large and complex repairable system whose rate of occurrence of failures shows the non-monotonic trend. We suggest a sectional model and a change-point test based on the Schwarz information criterion(SIC) to describe the non-monotonic trend. Maximum likelihood is also suggested to estimate parameters of sectional model. The suggested methods are applied to field data from an repairable system.