• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• 제12권3호
• /
• pp.153-160
• /
• 2008

A size-biased Poisson distribution is defined. Its characterization by using a recurrence relation for first order negative moment of the distribution is obtained. Different estimation methods for the parameter of the model are also discussed. R-Software has been used for making a comparison among the three different estimation methods.

• 한국정보전자통신기술학회논문지
• /
• 제9권4호
• /
• pp.351-358
• /
• 2016

과학기술이 급속하게 발전함에 따라 더 강력한 소프트웨어 기능의 급속한 발전과 함께 소프트웨어의 복잡성이 크게 증가함으로써 소프트웨어 테스트 및 신뢰성 평가의 어려움이 증가하고 있다. 소프트웨어 고장분석을 위한 비동질적인 포아송 과정에서 결함당 고장발생률이 상수이거나, 단조 증가 또는, 단조 감소하는 패턴을 가질 수 있다. 본 논문에서는 결함의 기대값을 가정하는 유한고장 소프트웨어 NHPP 모형과 수리시점에서도 고장이 발생할 상황을 반영하는 무한고장 NHPP 모형들을 상호 비교 제시하였다. 소프트웨어 신뢰성 분야에서 많이 사용되는 어랑분포에 근거한 유한고장과 무한고장 소프트웨어 신뢰성 모형에 대한 신뢰도 성능을 비교 분석하였다. 그 결과 유한고장 모형이 무한고장 모형보다 효율적으로 좋게 나타났으며, 이 과정에서 모수추정법은 최우추정법을 이용하였다. 본 연구결과를 통하여 소프트웨어 개발자들에게 소프트웨어 고장현상을 파악하는데 도움을 줄 수 있을 것으로 판단된다.

• 융합보안논문지
• /
• 제13권1호
• /
• pp.71-78
• /
• 2013

본 연구에서는 소프트웨어 제품을 개발하여 테스팅을 하는 과정에서 소프트웨어 관리자들이 소프트웨어 및 검사 도구에 효율적인 학습기법을 이용한 NHPP 소프트웨어 모형에 대하여 연구 하였다. 적용모형은 와이블 분포를 확장한 이중 결합 파우어 분포모형을 적용한 유한고장 NHPP에 기초하였다. 소프트웨어 오류 탐색 기법은 사전에 알지 못하지만 자동적으로 발견되는 에러를 고려한 영향요인과 사전 경험에 의하여 세밀하게 에러를 발견하기 위하여 테스팅 관리자가 설정해놓은 요인인 학습효과의 특성에 대한 문제를 비교 제시 하였다. 그 결과 학습요인이 자동 에러 탐색요인 보다 큰 경우가 대체적으로 효율적인 모형임을 확인 할 수 있었다. 본 논문의 수치적인 예에서는 고장 간격 시간 자료를 적용하고 모수추정 방법은 최우추정법을 이용하고 추세분석을 통하여 자료의 효율성을 입증한 후 평균제곱오차와 $R^2$(결정계수)를 이용하여 효율적인 모형을 선택 비교하였다.

• KEPCO Journal on Electric Power and Energy
• /
• 제2권2호
• /
• pp.269-272
• /
• 2016

Distribution management system or microgrid energy management system plays an important role in monitoring, operation and control of electrical distribution systems by utilizing IT infrastructure. Nowadays, the rapid increase of the distributed resources makes the conventional management system have some additional functionality for the reliable operation due to intermittent renewables and the efficient operation on the economical purpose. In this paper, the brief standard software functional requirements of microgrid energy management system are provided through survey of the recent commercial products of the major vendors, and furthermore the architectures of microgrid energy management system are provided in comparison with major suppliers' microgrid energy management system. The summary of investigation will be able to make the developers and researchers focus on the specific functionality in the real world.

• Journal of Information Technology Applications and Management
• /
• 제27권3호
• /
• pp.69-75
• /
• 2020

In this paper, we applied the shape parameters of the exponentialized exponential life distribution widely used in the field of software reliability, and compared the reliability properties of the software using the non-homogeneous Poisson process in finite failure. In addition, the average value function is also a non-decreasing form. In the case of the larger the shape parameter, the smaller the estimated error in predicting the predicted value in comparison with the true value, so it can be regarded as an efficient model in terms of relative accuracy. Also, in the larger the shape parameter, the larger the estimated value of the coefficient of determination, which can be regarded as an efficient model in terms of suitability. So. the larger the shape parameter model can be regarded as an efficient model in terms of goodness-of-fit. In the form of the reliability function, it gradually appears as a non-increasing pattern and the higher the shape parameter, the lower it is as the mission time elapses. Through this study, software operators can use the pattern of mean square error, mean value, and hazard function as a basic guideline for exploring software failures.

• 산업융합연구
• /
• 제18권3호
• /
• pp.19-25
• /
• 2020

소프트웨어 개발과정에서 소프트웨어 신뢰도 평가는 매우 중요한 문제이다. 특히, 소프트웨어 개발자에게 높은 신뢰도을 만족시키는 최적의 개발모형을 찾아내는 일은 더욱 중요한 과제이다. 이를 위해, 본 연구에서는 파레토 및 어랑 수명분포을 유한고장 NHPP 모형에 적용하여, 신뢰도 속성을 평가하였다. 이를 위하여 모수추정은 최우추정법을 적용하였고, 비선형 방정식의 풀이는 이분법을 사용하였다. 그 결과, 강도함수와 평균값함수에서 Erlang 모형이 Pareto 모형보다 우수한 성능을 보였고, 평균제곱오차도 작아서 효율적인 모형임을 확인하였다. 또한, 미래의 임무시간을 투입하고 신뢰도를 평가한 결과, Erlang 모형이 Pareto모형과 함께 효율적으로 높게 나타났으나, 반면에 Goel-Okumoto 기본모형은 감소하는 추세를 보였다. 결론적으로, Erlang 모형이 제안된 모형중 가장 우수한 성능을 가진 모형임을 알 수 있었다. 본 연구를 통하여 소프트웨어 개발자들이 최적의 소프트웨어 신뢰성 모형을 탐색하고, 평가하는데 필요한 기본지침으로 활용할 수 있을 것으로 기대한다.

• 디지털콘텐츠학회 논문지
• /
• 제19권7호
• /
• pp.1357-1363
• /
• 2018

정보 기술의 발전과 더불어 인공 지능 및 기계 학습 분야는 다양한 응용 분야에서 성능을 인정받고 있으며, 다양한 응용 분야로 확대되고 있다. 본 논문에서는 기계 학습 방법을 응용한 소프트웨어 분석 방법을 제안한다. 소프트웨어의 특성을 표현하기 위해 소프트웨어의 코드 분포를 분석하고 이 정보를 기계 학습 방법인 선형 회귀를 통해 분석함으로써 유사 소프트웨어를 분석할 수 있는 방법을 제안한다. 소프트웨어의 특성은 프로그램 내에 포함된 명령어에 의해 표현될 수 있으며, 명령어의 분포 정보를 학습 데이터로 활용하였다. 또한, 학습 데이터를 통한 학습 과정은 소프트웨어 유사성 분석을 위한 선형 회귀 모델을 구성한다. 본 논문에서 제안한 방법은 구현 및 실험을 통해 정확성을 검증한다. 본 논문에서 제안한 방법은 소프트웨어의 유사성을 판단할 수 있는 기본 기술로 활용될 수 있을 것으로 기대된다. 또한 기계 학습 방법을 통한 소프트웨어 분석 기술에 응용될 수 있을 것으로 기대된다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2001년도 하계학술대회 논문집 A
• /
• pp.446-448
• /
• 2001

We have developed the testing software for KEPCO operators to maintain the small-scale distribution automation system effectively. The testing software is used to monitor the present status, to measure the analog value(voltage, amperage) and to control the switch and FRTU(Feeder Remote Terminal Unit) in order to find out a disabled part of the system. And at the stage of inspection of the switch and FRTU, it can screen the inferior one.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제13권3호
• /
• pp.1674-1688
• /
• 2019

As environmental pollution and fossil fuel energy problems from fuel vehicle have occurred, the interest of electric vehicle(EV) has increased. EV industry and energy industry have grown dynamically in these days. It is expected that the next generation of primary transportation will be EV, and it is necessary to prepare EV infra and efficient energy management such as EV communication protocol, EV charge station, and smart grid. Those EV and energy industry fields are now on growth. Also, the study and development of them are now in progress. In this paper, distributed charge signal processing software for smart slow and quick EV charge is proposed and designed for dealing with EV charge demand. The software consists of smart slow and quick EV charge schedule engine and EV charge power distribution core. The software is designed to support two charge station types. One is normal EV charge station and the other is bus garage EV charge station. Both two types collect the data from EV charge stations, and then analyze the collected data. The software suggests optimized EV charge schedule and deliveries EV charge power distribution information to power switchboard system, and the designed software is implemented on embedded system. It is expected that the software provides efficient EV charge schedule.

• 한국컴퓨터정보학회논문지
• /
• 제14권8호
• /
• pp.1-9
• /
• 2009

본 연구에서는 소프트웨어 제품을 개발하여 테스팅을 거친 후 사용자에게 인도하는 시기를 결정하는 방출문제에 대하여 연구되었다. 소프트웨어의 결함을 제거하거나 수정 작업 중에도 새로운 결함이 발생될 가능성이 있는 무한고장수를 가진 비동질적인 포아송 과정에 기초하고 수명분포는 단위당 고장발생률이 증가하거나 감소하는 속성을 가진 형상모수가 2인 확률 분포를 이용한 최적 방출시기에 관한 문제를 제시하여 소프트웨어 요구 신뢰도를 만족시키고 소프트웨어 개발 및 유지 총비용을 최소화 시키는 최적 소프트웨어 방출 정책에 대하여 논의 되었다. 본 논문의 수치적인 예에서는 고장 간격 시간 자료를 적용하고 모수추정 방법은 최우추정법과 추세분석을 통하여 자료의 효율성을 입증한 후 최적 방출시기를 추정하였다.