• 한국컴퓨터정보학회논문지
• /
• 제11권5호
• /
• pp.9-18
• /
• 2006

유한고장수를 가진 비동질적인 포아송 과정에 기초한 모형들에서 잔존 결함 1개당 고장 발생률은 일반적으로 상수, 혹은 단조증가 및 단조 감소 추세를 가지고 있다. 본 논문에서는 기존의 소프트웨어 신뢰성 모형인 Goel-Okumoto 모형과 Yamada-Ohba-Osaki 모형을 재조명하고 최근에 Gupta 와 Kundu(2001)에 의해서 2 모수 감마분포나 와이블 분포의 대체모형으로서 여러 가지 수명자료를 분석함에 있어서 효율적 분포가 됨이 밝혀진 지수화된 지수 분포를 이용한 모형을 제안하였다. 고장 간격시간으로 구성된 자료를 이용한 모수추정 방법은 최우추정법과 일반적인 수치해석 방법인 이분법을 사용하여 모수 추정을 실시하고 효율적인 모형 선택은 편차자승합(SSE), AIC 통계량 및 콜모고로프 거리를 적용하여 모형들에 대한 효율성 입증방법을 설명하였다. 소프트웨어 고장 자료 분석에서는 NTDS 자료를 통하여 분석하였다. 이 자료들에서 기존의 모형과 지수화된 지수 분포 모형의 비교를 위하여 산술적 및 라플라스 검정, 편의 검정 등을 이용하였다.

• 한국컴퓨터정보학회논문지
• /
• 제11권1호
• /
• pp.45-53
• /
• 2006

유한고장수를 가진 비동질적인 포아송 과정에 기초한 모형들에서 잔존 결함 1개당 고장 발생률은 일반적으로 상수, 혹은 단조증가 및 단조 감소 추세를 가지고 있다. 본 논문에서는 기존의 소프트웨어 신뢰성 모형인 Goel-Okumoto 모형과 Yamada-Ohba-Osaki 모형을 재조명하고 잔존 결함 1개당 고장 발생률이 증가추세를 가진 카이제곱 분포를 이용한 카이제곱 모형을 제안하였다. 고장 간격시간으로 구성된 자료를 이용한 모수추정 방법은 최우추정법과 일반적인 수치해석 방법인 이분법을 사용하여 모수 추정을 실시하고 효율적인 모형 선택은 편차자승합, AIC 통계량 및 콜모고로프 거리를 적용하여 모형들에 대한 효율성 입증방법을 설명하였다. 소프트웨어 고장 자료 분석에서는 카이제곱 모형에 대한 자유도를 형상모수의 척도로 간주하여 고장수가 비교적 큰 실측 자료(고장수가 86)인 Allen P.Nikora 와 Michael R.Lyu가 인용한 SYS2 자료을 통하여 분석하였다. 이 자료들에서 카이제곱 모형의 비교를 위하여 산술적 및 라플라스 검정, Kolmogorov검정 등을 이용하였다.

• 한국정보통신학회논문지
• /
• 제11권12호
• /
• pp.2311-2318
• /
• 2007

유한고장수를 가진 비동질적인 포아송 과정에 기초한 모형들에서 잔존 오류 1개당 고장 발생률은 일반적으로 상수, 혹은 단조증가 및 단조 감소 추세를 가지고 있다. 소프트웨어 제품의 정확한 인도시기를 예측하거나 효용성 및 신뢰성을 예측하기 위해서는 소프트웨어 테스팅 과정에서 중요한 요소인 테스트 커버리지를 이용하면 보다 효율적인 테스팅 작업을 할 수 있다. 이런 모형을 ENHPP모형이라고 한다. 본 논문에서는 기존의 소프트웨어 신뢰성 모형인 지수 커버리지 모형과 S-커버리지 모형을 재조명하고 이 분야에 적용될 수 있는 Kappa 분포를 이용한 모형인 Kappa 커버리지 모형을 제안하였다. 고장 간격시간으로 구성된 자료를 이용한 모수추정 방법은 최우추정법과 일반적인 수치해석 방법인 이분법을 사용하여 모수 추정을 실시하고 효율적인 모형 선택은 편차자승합(SSE) 및 콜모고로프 거리를 적용하여 모형들에 대한 효율적인 모형 선택도 시도 하였다. 수치적인 예에서는 실제 고장자료를 통하여 분석하였다 이 자료들에서 기존의 모형과 Kappa 커버리지 모형의 비교를 위하여 산술적 및 라플라스 검정, 편의 검정 등을 이용하였다.

• 한국정보통신학회논문지
• /
• 제11권3호
• /
• pp.514-522
• /
• 2007

유한고장수를 가진 비동질적인 포아송 과정에 기초한 모형들에서 잔존 결함 1개당 고장 발생률은 일반적으로 상수, 혹은 단조증가 및 단조 감소 추세를 가지고 있다. 본 논문에서는 기존의 소프트웨어 신뢰성 모형인 Goel-Okumoto 모형과 Yamada-Ohba-Osaki 모형을 재조명하고 이 분야에 적용될 수 있는 Burr 분포를 이용한 모형을 제안하였다. 고장 간격시간으로 구성된 자료를 이용한 모수추정 방법은 최우추정법과 일반적인 수치해석 방법인 이분법을 사용하여 모수 추정을 실시하고 효율적인 모형 선택은 편차자승합(SSE), AIC 통계량 및 콜모고로프 거리를 적용하여 모형들에 대한 효율적인 모형 선택도 시도 하였다. 소프트웨어 고장 자료 분석에서는 실제 고장자료를 통하여 분석하였다. 이 자료들에서 기존의 모형과 Burr 분포 모형의 비교를 위하여 산술적 및 라플라스 검정, 편의 검정 등을 이용하였다.

• 대한전기학회논문지:시스템및제어부문D
• /
• 제50권5호
• /
• pp.218-225
• /
• 2001

This paper analyses the performance of network system using the CAN(Controller Area Network) protocol. Given messages are assumed to be scheduled by the DMS(Deadline Monotonic Scheduling) algorithm. The mathematical models for time-delay that can be occurred between CAN nodes are defined. The effectiveness of modeling is shown by comparing the difference of time-delay between simulations and practical experiments. We analyse the results according to the variation of factors, such as the number of nodes, the transmission speed, the message size and the number of aperiodic messages through simulation and confirm the real-time performance of lower priority messages. We also investigate the real-time performance of periodic messages when aperiodic message generates.

• 전기학회논문지
• /
• 제56권6호
• /
• pp.1122-1129
• /
• 2007

For a system with multiple real-time tasks of different deadlines, it is very difficult to find the optimal checkpoint interval because of the complexity in considering the scheduling of tasks. In this paper, we determine the optimal checkpoint interval for multiple real-time tasks that are scheduled by RM(Rate Monotonic) algorithm. Faults are assumed to occur with Poisson distribution. Checkpoints are inserted in the execution of task with equal distance in the same task, but different distances in other tasks. When faults occur, rollback to the latest checkpoint and re-execute task after the checkpoint. We derive the equation of maximum slack time for each task, and determine the number of re-executable checkpoint intervals for fault recovery. The equation to check the schedulibility of tasks is also derived. Based on these equations, we find the probability of all tasks executed within their deadlines successfully. Checkpoint intervals which make the probability maximum is the optimal.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 2012년도 추계학술대회 논문집
• /
• pp.110-114
• /
• 2012

We studied on the nondestructive evaluation of the elastic wave signal of SiC ceramics and SiC/SiC composite ceramics under monotonic tensile loading. The elastic wave signal of cross and unidirectional SiC/SiC composite ceramics were obtained by pencil lead method and bending test. It was applied for the time-frequency method which used by the discrete wavelet analysis algorithm. The time-frequency analysis provides time variation of each frequency component involved in a waveform, which makes it possible to evaluate the contribution of SiC fiber frequency. The results were compared with the characteristic of frequency group from SiC slurry and fiber. Based on the results, if it is possible to shift up and design as a higher frequency group, we will can make the superior material better than those of exiting SiC/SiC composites.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (A)
• /
• pp.104-106
• /
• 2000

단일프로세서 환경에서 주기 태스크의 시간 제약 조건을 만족시키면서 비주기 태스크의 평균 서비스 시간을 최소화하는 연구가 계속 진행되어 왔으나, 최근의 시스템은 여러 개의 프로세서를 병렬처리하여 프로그램의 처리속도 향상을 꾀하는 멀티프로세서 환경으로 전환되어 가는 추세다. 따라서, 멀티프로세서 환경에서의 태스크 스케쥴링에 관한 다양한 여구가 필요하게 되었다. 일반적으로 멀티프로세서 환경에서는 주기 태스크를 스케쥴링하기 위해서 RMFF(Rate-monotonic First-Fit) 스케쥴링 알고리즘을 사용하는데, 이 알고리즘에서는 비주기 태스크의 스케쥴링을 위한 알고리즘을 추가로 요구한다. 따라서, 본 논문에서는 멀티프로세서 환경에서 주기 태스크와 비주기 태스크가 혼합되어 있을 때, 기존의 RMFF 방식에 슬랙 체크테이블(Slack Check Table;SCT)을 이용하여 비주가 태스크를 효율적으로 스케쥴링하기 위한 방법을 제안한다.

• 대한안전경영과학회지
• /
• 제10권4호
• /
• pp.127-134
• /
• 2008

The objective of this study is to evaluate the mechanical behaviors and structural integrity of the weldment of high strength steel by using an acoustic emission (AE) techniques. Monotonic simple tension and AE tests were conducted against the 3 kinds of welded specimen. In order to analysis the effectiveness of weldability, joinability and structural integrity, we used K-means clustering method as a unsupervised learning pattern recognition algorithm for obtained multi-variate AE main data sets, such as AE counts, energy, amplitude, hits, risetime, duration, counts to peak and rms signals. Through the experimental results, the effectiveness of the proposed method is discussed.

• Journal of the Korean Data and Information Science Society
• /
• 제10권1호
• /
• pp.119-133
• /
• 1999

마코브체인 몬테칼로 방법을 소프트웨어 신뢰모형에 이용하였다. 베이지안 추론에서 조건부 분포를 가지고 사후분포를 결정하는데 있어서의 계산 문제를 고찰하였다. 특히 레코드값을 통계량을 갖고서 혼합과정과 중첩과정에 대하여 깁스샘플링 알고리즘과 메트로폴리스 알고리즘을 활용하여 베이지안 계산과 모형 선택을 제시하고 모의실험자료를 이용하여 수치적 인 계산을 시행하고 그 결과를 비교하였다.