코킹에 의한 니켈계 촉매 비활성화 영향을 고려한 건식개질 공정의 상세 수학적 모델 개발