Abstract
For Markov processes whose stationary probabilities are difficult to obtain in the analytical form, approximate solutions can be considered using numerical methods such as a matrix operation method or an iterative calculation method. In this paper we perform the study to verify the accuracy of a numerical iteration formula which calculate the stationary probabilities of Markov chains or processes. Especially, the convergence and accuracy of the numerical method are investigated by using Markov models for system availability. We compare the values of the system availability based on the numerical calculation and those based on the complicated but analytical solutions. We also calculate the iteration numbers necessary for the convergence of the numerical solutions. The accuracy and usefulness of the numerical iterative calculation method can be ascertained through this study.
해석적 형태의 정상확률을 얻기 어려운 마코프 과정에 대하여 행렬 연산 방법 또는 반복 계산 방법 등의 수치적 방법을 이용한 근사 해를 고려할 수 있다. 이 논문에서는 마코프 체인 또는 마코프 과정의 정상확률을 계산하는 수치적 반복 공식의 정확성을 규명하는 연구를 수행한다. 특별히 시스템 가용도를 위한 마코프 모형을 이용하여 수치적 방법의 수렴과 정확성을 검토한다. 수치적 계산에 의한 시스템 가용도와 복잡하지만 해석적 수식에 의한 시스템 가용도를 비교한다. 그리고 수치적 해의 수렴에 필요한 반복 회수를 조사한다. 이 연구를 통하여 수치적 반복 계산 방법의 정확성과 유용성을 확인할 수 있다.