http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
논리 프로그램의 병렬 수행을 위한 Abstract Machine
이헌길(H.G.Lee),신성엽(S.Y.Shin),김형철(H.C.Kim),낭종호(J.H.Nang),김승범(S.B.Kim),맹승렬(S.R.Maeng),조정완(J.W.Cho) 한국정보과학회 1987 한국정보과학회 학술발표논문집 Vol.14 No.1
본 논문에서는 논리 언어를 병렬로 수행하기 위한 Parallel Abstract Machine(PAM)을 제시한다. PAM은 프로세스 사이에 메시지 교환에 의해 논리 프로그램을 수행하는 AND/OR 프로세스 모델을 기반으로 하고 있으며, 수행시에 생기는 수행 부담(run time overhead)을 줄이기 위해 자동 컴파일 기법을 사용한다. PAM에서는 논리 언어의 AND 병렬성과 OR 병렬성을 동시에 추구하며, 논리 프로그램을 Degroot의 RAP 코드로 변환하고 이를 다시 PAM의 기계어로 컴파일하여 수행시킨다.
낭종호(J H Nang),이헌길(H G Lee),박승운(S W Park),맹승렬(S R Maeng),조정완(J W Cho) 한국정보과학회 1989 한국정보과학회 학술발표논문집 Vol.16 No.1
본 논문에서는 논리 언어에 대한 OR-병렬 수행 모델 중의 하나인 XWAM-Ⅱ를 KAIST LAN 상에서 구현한 ADProlog 시스템의 기본 구조를 설명하고, 그 성능을 측정하였다. 또한 분신 처리 환경에서 필수적인 분산 투명성을 제공하는 방법에 대하여 설명하였다. ADProlog는 ANSA라고 하는 ODP 의 새로운 기본모델에 기초를 두었으며, ANSA UNIX Festbench를 이용하여 구현하였다. 실제 성능을 측정한 결과 수행 시간이 상대적으로 긴 프로그램인 경우에, 사용하는 워크스테이션 수에 비례하여 성능이 향상됨을 보였다.
병렬 추론머신 X - WAM의 프로토타입 시스템의 구현
류기열(K Ryu),박승운(S Park),이헌길(H Lee),김승범(S Kim),맹승렬(S Maeng),조정완(J Cho) 한국정보과학회 1988 한국정보과학회 학술발표논문집 Vol.15 No.2
논리언어의 병렬수행 모델을 Prolog의 순차수행 머신인 WAM을 기초로 하여 구현하는 연구가 활발히 진행되고 있다. 이러한 연구의 일환으로 [7,8]에서는 WAM에 기반을 둔 Goal Process Model을 구현한 추상머신인 X-WAM을 설계하였다. 이 X-WAM은 RAP과 Pipeline식의 OR 병렬성을 구현하고 있는데, 본 논문에서는 충분한 OR 병렬성을 얻을 수 있도록 하기 위하여 Delphi 형태의 OR 병렬수행 모델[2,3]을 X-WAM에 확장시킨 새로운 X-WAM의 구현에 관하여 설명한다. X-WAM에 비하여 OR 병렬 수행 모델의 추상머신 부분을 XWAM-Ⅱ라 부른다. 본 논문에서는 16개의 상용 프로세서를 이용하여 XWAM-Ⅱ를 구현한 프로토타입 시스템이 관하여도 설명하고 있다.
공유기억장치 구조의 다중처리기에서 Prolog의 OR - 병렬 구현
서대화(D W.Seo),임영환(Y H Lim),류기열(K.Y.Ryu),이헌길(H G. Lee),조정완(J W. Cho) 한국정보과학회 1989 한국정보과학회 학술발표논문집 Vol.16 No.1
본 논문에서는 Prolog에 대한 OR-병렬 수행 모델 중의 하나인 XWAM-Ⅱ를 공유 기억장치 구조의 다중처리 시스템인 Multimax 시스템에 구현하고 병렬성에 대한 성능을 측정하였다. 다중처리기 시스템에 적합한 병렬 모델인 XWAM-Ⅱ를 실제 다중처리기에서 구현하므로서 모델의 병렬성을 정확하게 확인할 수 있었다. 구현을 위해서는 Multimax에서 제공하는 병렬 라이브러리를 사용하였다. 성능 측정 결과 수행 시간이 긴 문제에 대해서는 수행 시간이 사용한 프로세서 갯수와 직선적으로 비례함을 보였다.
논리 프로그램의 병렬 수행을 위한 X - WAM의 구현에 관한 연구
박승운(S.W.Park),류기열(K.Y.Ryu),이헌길(H.G.Lee),김승범(S.B.Kim),맹승렬(S.R.Maeng),조정완(J.W.Cho) 한국정보과학회 1987 한국정보과학회 학술발표논문집 Vol.14 No.1
본 논문에서는 기존의 von-Neumann식 머신에서의 Prolog의 순차 (sequential) 처리 방식을 유지하면서, AND 병렬 처리 기능을 추가시킨 X-WAM (eXtended Warren Abstract Machine)을 제시한다. X-WAM에서는 각각의 PE (Processing element)가 WAM의 구조를 가지고 있어 논리 프로그램이 순차 수행 방식으로 처리되고, AND 병렬성은 동시에 수행되는 PE에 의해 실현된다. X-WAM의 하드웨어는 VME 버스 시스템으로 구현하였으며, 호스트인 Sun 워크스테이션으로부터 X-WAM 코드가 적재되어 수행되는 back-end 머신의 형태를 취한다.