• Journal of the Korea Society of Computer and Information
• /
• v.12 no.6
• /
• pp.89-96
• /
• 2007

Finite failure NHPP models presented in the literature exhibit either constant. monotonic increasing or monotonic decreasing failure occurrence rates per fault. Accurate predictions of software release times. and estimation of the reliability and availability of a software product require quality of a critical element of the software testing process : test coverage. This model called Enhanced non-homogeneous Poission process(ENHPP). In this paper, exponential coverage and S-type model was reviewed, proposes modified(the superosition and mixture) model, which make out efficiency application for software reliability. Algorithm to estimate the parameters used to maximum likelihood estimator and bisection method. model selection based on SSE statistics for the sake of efficient model, was employed.

• Proceedings of the KSRS Conference
• /
• 2009.03a
• /
• pp.111-115
• /
• 2009

본 연구에서는 SWAT 모형에서 모의된 토양수분의 신뢰성을 판단하기 위해 MODIS NDVI의 활용성을 파악하고자 하였다 MODIS 위성영상을 이용하여 시간해상도 16일, 공간해상도 250m의 NDVI를 추출하였으며, 대상유역은 면적이 약 $6661.3km_2$ 이고 그 중 산림이 약 82.2%를 차지하고 있는 충주댐 유역으로 하였다. 보다 신뢰성 있는 자료를 얻기 위해 토양, 토지이용 등 유역의 특성이 다른 상류와 하류로 나누어 다지점 검보정을 수행하였으며, 2003년부터 2006년까지의 유출 자료를 이용하여 모형을 보정하고, 2000, 2001 그리고 2002년에 대하여 검증하였다. 검보정 결과 모형 효율성 계수는 상류와 하류에 대하여 각각 0.91, 0.87, 결정계수는 각각 0.90, 0.80으로 분석되었다. 분석 기간은 2000년부터 2006년까지이고, NDVI의 특성에 따라 봄기간과 가을기간으로 나누어 분석하였으며, 선형회귀 방적식과 결정계수를 이용하여 상관성을 판단하였다. 분석결과 SWAT에서 모의된 토양수분과 MODTS NDVI는 약 55%의 상관성을 나타내었고, 가뭄해인 2001년에 약 85%로 상관성이 매우 높고, 비가 많이 온 해인 2002년에 약 2%로 상관성이 매우 낮아 NDVI는 가뭄 기간 SWAT에서 모의된 토양수분의 신뢰성을 검증할 수 있는 자료로 사용될 수 있다고 판단되었다.

• Convergence Security Journal
• /
• v.12 no.6
• /
• pp.85-92
• /
• 2012

There are many software reliability models that are based on the times of occurrences of errors in the debugging of software. It is shown that it is possible to do asymptotic likelihood inference for software reliability models based on infinite failure model and non-homogeneous Poisson Processes (NHPP). For someone making a decision about when to market software, the conditional failure rate is an important variables. The finite failure model are used in a wide variety of practical situations. Their use in characterization problems, detection of outliers, linear estimation, study of system reliability, life-testing, survival analysis, data compression and many other fields can be seen from the many study. Statistical Process Control (SPC) can monitor the forecasting of software failure and there by contribute significantly to the improvement of software reliability. Control charts are widely used for software process control in the software industry. In this paper, we proposed a control mechanism based on NHPP using mean value function of log Poission, log-linear and Parto distribution.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.7 no.2
• /
• pp.79-88
• /
• 1987

This study is intended to propose a system reliability analysis model for R.C. bridge superstructures based on the systems reliability theory. Approximately assuming that the ultimate capacity of the superstructures is reached, when two adjacent girders fail subsequently, a practical system reliability model is proposed, which is based on a point estimate for Level II parallel-series system modelling. The sensitivity analysis of system reliabilities for the variation of the coefficients of correlations between the failure modes is performed by applying the proposed model for R.C. T beam bridges. It is observed that the point estimate method for the proposed model corresponds to the average value of the Ditlevsen's bound, and the system reliability index, ${\beta}_s$, varies quite sensitively according to the variation of the cofficients of correlations. Systems reliabilities of a few existing T beam bridges are analyzed by applying the proposed practical system reliability method of this study, and, in addition, the preferable direction of the development of the reliability-based code calibration using the system target reliability index concept are suggested.

• International Journal of Highway Engineering
• /
• v.9 no.1 s.31
• /
• pp.17-27
• /
• 2007

Since early 1990s, several developed countries have applied the Electronic Toll Collection System (ETCS) to toll roads in order to solve traffic congestion and delay problems at toll plazas. For the successful operation of the ETCS, it is important to correctly forecast the ETCS using rate. In this study, it was conceived to develop a sophisticated demand forecasting model of the ETCS for toll roads in Changwon City The Binary Logit and neural network models were tested for the model considering 11 explaining variables. The best results in prediction accuracy and goodness-of-fit were obtained on the neural network model. However, because of the difficulty in predicting the 11 variables and its fitness in wide range, the Binary Logit model which considers three policy variables only is recommended as the model to forecast the ETCS using rate.

• Journal of Digital Convergence
• /
• v.11 no.6
• /
• pp.103-112
• /
• 2013

Traditional method of establishing prediction model is usually using formal data stored in Data Base. However, nowadays advent of "smart" era brought by ground-breaking development of communication system makes informal data to dominate overall data, such 80% in total. Therefore, conventional method using formal data as establishing predicting model would be untrustworthy means in present. In other words, it is indispensible to make prediction model credible including informal data(SNS, image, video) and semi-formal data(log data). In this study, we increase credibility of predicting model adapting Bigdata method and comparing reliability of conventional measurement to real-data.

• Journal of Korea Technology Innovation Society
• /
• v.10 no.1
• /
• pp.121-142
• /
• 2007

The purpose of this study is to construct the evaluation model for the major science research facilities and equipments to enhance the competitiveness of the science and technology and also to test the reliability and validity of the model. To achieve the purposes, this study theoretically reviews the concept of the major science research facilities and equipments and their characteristics. Through a review of literature, this study draws 11 criteria for evaluating the priorities of the major science research facilities and equipments. These criteria are categorized as two dimensions - 'science & technology' and 'national policy'. The dimension of science & technology includes scientific importance, technological readiness, utilization rate, common utilization rate, and ability of management and operation. The national policy dimension contains degree of correspondence with national science development, imperativeness of national policy, science and technical effectiveness, economic and industrial effectiveness, responsiveness of research demand, and equity among the related institutions. The competitiveness of the science and technology consists of these two dimensions. The evaluation model is established on the framework of criteria. The 18 major science research facilities and equipments are selected through a series of Delphi. The survey of experts (BT, ET, IT, NT and ST) is also implemented to evaluate the 18 major science research facilities and equipments by 11 criteria. The overall results indicate that the reliability and validity of the model are good. The reliability tests show that the five indicators of science & technology and the six indicators of national policy have high internal consistencies. The confirmatory factor analyses reveal that the two constructs - 'science & technology' and 'national policy' - have high convergent and discriminant validity. The correlational analyses also show that the criteria-related validity between them is high. Furthermore, the results of higher order factor analysis indicate that the fit indices of the model are high and suggest a good fit to the data. Based on these findings, the policy implications of the model are discussed.

• Journal of Industrial Convergence
• /
• v.18 no.3
• /
• pp.19-25
• /
• 2020

In the software development process, software reliability evaluation is a very important issue. In particular, finding the optimal development model that satisfies high reliability is the more important task for software developers. For this, in this study, Pareto and Erlang life distributions were applied to the finite failure NHPP model to evaluate the reliability attributes. For this purpose, parametric estimation is applied to the maximum likelihood estimation method, and nonlinear equations are calculated using the bisection method. As a result, the Erlang model showed better performance than the Pareto model in the evaluation of the strength function and the mean value function. Also, as a result of inputting future mission time and evaluating reliability, the Erlang model showed an effectively high trend together with the Pareto model, while the Goel-Okumoto basic model showed a decreasing trend. In conclusion, the Erlang model is the best model among the proposed models. Through this study, it is expected that software developers will be able to use it as a basic guideline for exploring and evaluating the optimal software reliability model.

• Convergence Security Journal
• /
• v.11 no.4
• /
• pp.85-91
• /
• 2011

Due to the large-scale application software syslmls, software reliability, software development has animportantrole. In this paper, software truncated software reliability growth model was proposed based on log-logistic distribution. According to fixed time, the intensity function, the mean value function, the reliability was estimated and the parameter estimation used to maximum likelihood. In the empirical analysis, Poisson execution time model of the existiog model in this area and the log-logistic model were compared Because log-logistic model is more efficient in tems of reliability, in this area, the log-logistic model as an alternative 1D the existiog model also were able to confim that you can use.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2020.06a
• /
• pp.264-264
• /
• 2020

최근 기후변화로 우리나라는 과거에 비해 태풍이나 국지성 집중호우 및 가뭄 등 극심한 수문현상이 빈번하게 발생하고 그 피해가 더욱 커지고 있는 추세이다. 특히 우리나라의 경우 산지가 많으며 대부분의 하천이 유역면적이 작고 유로연장이 짧아 단시간에 유출이 발생하며 수문학적 특성이 연중 큰 편차를 보이고 있다. 이러한 이상기후에 따른 수문현상 파악 및 피해 경감을 위해 신뢰성 있는 수문자료는 매우 중요하다. 따라서 수문자료에 대한 품질관리는 필수적이지만 자료 결측 및 오측에 대한 신뢰성 높은 품질관리가 이뤄지지 못하고 있는 실정이다. 현재 수위자료의 결측이 발생한 경우 해당 관측소의 수위 자료를 사용해 선형보간 및 운형자법으로 수정하거나 상·하류 관측소의 관계를 이용하여 회귀분석을 통해 자료 결측의 수정 및 보완을 수행하는 등 담당자의 주관적 판단에 의존하고 있다. 본 논문에서는 신뢰성 높은 수문자료의 결측치 보완 및 예측을 위한 방안을 제시하고자 상류의 관측소의 수문자료를 이용한 하류의 단시간 수문 자료예측에 관한 연구를 수행하였다. 이를 위해 자료지향형 모델인 적응형 뉴로-퍼지 기법(Adaptive Network-based Fuzzy Inference System, ANFIS)을 이용한 모형을 적용하였다. 기존의 연구에서 가장 일반적으로 사용되는 물리적 모형은 수문자료를 활용하여 수위 및 유출을 산정함에 있어 매개변수의 결정이 어렵고 많은 오차들을 내포하고 있다. 본 연구에서 사용한 ANFIS는 입력자료와 출력자료만을 고려하여 구축할 수 있기 때문에 자료 수집단계에서 유역의 물리적 자료 및 지형 자료와 같은 방대한 양의 자료 수집이 필요가 없다. 이후 모형이 구축이 된다면 입·출력 자료만을 이용하여 신뢰성 높은 결과를 획득할 수 있지만 입력 자료의 품질에 따라 결과가 좌우되기 때문에 자료의 구성이 매우 중요하다. 본 연구에서는 ANFIS를 통해 무주남대천 유역의 무주군(여의교) 관측소의 수위자료를 입력자료를 사용하여 하류에 위치한 무주군(취수장) 관측소의 수문자료의 결측 보완 및 예측하는 모형을 구축하고 모형의 구조 변화를 통해 가장 정확도 높은 모형을 결정하였다.