http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
윤석한(S H Yoon),한우종(W J Han),박장석(J. S. Park),박종원(C. W. Park),김창석(C S Kim),최효진(H J Choi) 한국정보과학회 1992 한국정보과학회 학술발표논문집 Vol.19 No.2
본 논문은 한국전자통신연구소에서 수행중인 고속 중형 컴퓨터 (주선산기Ⅲ) 개발 사업에 적용되고 있는 검증 방법(verification and validation)에 관한 것이다. 복잡하고 다양한 기능을 갖는 대규모 시스템 개발 사업의 효율적인 품질 향상을 위해서는 검증 활동이 필요하다. 이 글에서는 고속 중형 컴퓨터 개발에 적용되고 있는 검증 계획과 검증 수행 방법에 대하여 서술하고, 검증 결과에 대하여 실제 적용 사례와 경험을 기술하였다.
박윤옥(Y. O. Park),최창열(H. J. Choi),최효진(S. S. Shin),신상석(C. Y. Choi),임기욱(K. W. Rim) 한국정보과학회 1995 한국정보과학회 학술발표논문집 Vol.22 No.2B
컴퓨터시스템의 구조와 기능이 복잡 다양해지면서 체계적이고도 효율적인 시스템 진단 방법이 요구된다. 본 논문은 클러스터 방식인 고속병렬컴퓨터(SPAX)의 구조적 특성을 고려한 계층적 시스템 진단 방법을 제시한다. 시스템 진단 기능은 진단 펌웨어, 진단 커널, 진단 유틸리티의 계층 구조를 가진다. 노드, 클러스터, 시스템 레벨의 독립적인 진단이 단계적으로, 그리고 운영체제가 동작되기 전의 오프라인 진단과 시스템이 동작 중인 상태의 온라인 진단이 가능하도록 설계되었다. 제안된 방법을 진단 범위와 시점에 따라 유연하게 적용될 수 있을 뿐 아니라 진단 시간을 감소시킬 수 있음을 확인하였다.