http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
류기열(K Ryu),김형철(H Kim),김승범(S Kim),맹승렬(S Maeng),조정완(J Cho) 한국정보과학회 1988 한국정보과학회 학술발표논문집 Vol.15 No.1
논리언어의 병렬수행 모델을 Prolog의 순차수행 머신인 WAM을 기초로 하여 구현하는 연구가 활발히 진행되고 있다. X-WAM은 DeGroot의 제한된 AND 병렬성과 pipeline 식의 OR 병렬성을 얻기 위하여 제안된 Goal 프로세스 모델을 효과적으로 수행시키기 위한 병렬 머신으로서 WAM을 확장하여 설계되었다. 본 논문에서는 X-WAM의 성능을 몇가지 벤치마크 프로그램을 이용하여 분석하고 이 결과를 제한된 AND 병렬성만을 구현한 경우와 비교하였다. X-WAM 시뮬레이터는 C 언어로 작성되었으며 UNIX 운영체제하에서 동작한다.
병렬 추론머신 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-Ⅱ를 구현한 프로토타입 시스템이 관하여도 설명하고 있다.
Heuristic 탐색 기법을 지원하는 확장된 Warren Abstract Machine
류기열(K Y Ryu),맹승렬(S R Maeng) 한국정보과학회 1987 한국정보과학회 학술발표논문집 Vol.14 No.2
본 논문에서는 Prolog 프로그램을 depth-first 뿐만 아니라 heuristic 탐색을 통하여 수행 할 수 있는 한가지 모델을 제시하고 Warren Abstract Machine을 확장하여, 이 수행 모델을 위한 abstract machine(HWAM)을 설계하였다. 이 모델에서는 사용자가 제공하는 heuristic 정보를 이용하여 시스템 predicate에 의해 명시된 위치에서 heuristic 탐색을 하며 그외의 경우에 있어서는 depth-first 탐색을 한다. HWAM에서는 논리 프로그램을 heuristic 탐색에 의해 수행함으로써 탐색공간을 크게 줄일 수 있으며 또한, 프로그램의 수행을 제어하는데 큰 융통성을 얻을 수 있다. HWAM은 WAM의 효율을 저하 시키지 않고 heuristic 탐색 기법을 지원할 수 있도록 설계되었다.
논리 프로그램의 병렬 수행을 위한 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 머신의 형태를 취한다.
고차 논리 표현이 첨가된 Flat Concurrent Prolog
길아라(A R Khil),류기열(K Y Ryu),조정완(J W Cho) 한국정보과학회 1989 한국정보과학회 학술발표논문집 Vol.16 No.1
Flat Concurrent Prolog (FCP)는 일차 논리에 기초를 두고 설계된 언어로서 함수 언어의 고차 논리적 기능을 제공하도록 확장하는 것이 필요하다. 본 논문에서는 Prolog의 확장을 위해 DHD Warren이 제안한 번역 규칙을 응용하여, 술어 변수가 허용된 FCP 프로그램을 동일한 의미의 일차 논리 FCP 프로그램으로 번역하는 전 처리기를 제안함으로써 FCP를 확장한다. 본 논문에서 제안한 확장된 FCP는 일차 논리 언어로서의 언어적 semantics와 선언적 프로그래밍의 특성을 계속 유지하면서, 일차 논리 표현만으로는 구현이 어려운 여러 응용 분야를 지원한다.
손은영(E Son),낭종호(J Nang),류기열(K Ryu),신동욱(D Shin),조정완(J Cho) 한국정보과학회 1988 한국정보과학회 학술발표논문집 Vol.15 No.2
Concurrent Prolog에서는 read-only annotation(?)을 이용하여, 공유 변수를 가지는 goal들 사이에 producer-consumer 관계를 정의하고 이들 사이에 data 흐름식의 동기화를 제공한다. 본 논문에서는 Concurrent Prolog에서 데이타 흐름식 동기화만을 제공하기 때문에 생기는 문제점들을 해결하기 위해서 Concurrent Prolog에 지연 표시(^, &)를 첨가하여 demand-driven 동기화를 동시에 제공하는 새로운 병렬 논리언어인 Lazy Concurrent Prolog(LCP)를 정의하였다.
Manyg - Sorted 논리를 이용한 객체지향 프로그래밍
김병만(B M Kim),정영민(Y M Chung),류기열(K Y Ryu),맹승렬(S. R. Maeng),조정완(C W. Cho) 한국정보과학회 1991 한국정보과학회 학술발표논문집 Vol.18 No.2
Many-sorted 논리에 바탕을 둔 EPOS (Extended Prolog for Order Sorted Resolution) 언어는 클라스와 상속과 같은 객체지향의 특징을 sort와 sort 간의 포함 관계를 통하여 지원할 수 있다. 그러나 그 자체를 객체지향 프로그래밍 언어로 사용하기에는 객체 생성의 문제점이나 상속 시의 여러 문제점들이 존재하게 된다. 본 논문에서는 이러한 문제머을 해결하기 위한 한 방법으로 EPOS를 확장 정의하였고, 이의 구현 방법을 제시하였다.
공유기억장치 구조의 다중처리기에서 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에서 제공하는 병렬 라이브러리를 사용하였다. 성능 측정 결과 수행 시간이 긴 문제에 대해서는 수행 시간이 사용한 프로세서 갯수와 직선적으로 비례함을 보였다.
박동훈(D H Park),신동욱(D W. Shin),류기열(K Y Ryu),김병만(B M Kim),맹승렬(S R Maeng) 한국정보과학회 1990 한국정보과학회 학술발표논문집 Vol.17 No.1
폴리모픽 언어는 프로그래머에게 많은 도움을 주지만 폴로모피즘을 제공하지 않는 언어에 비해 비효율적이라는 단점을 가지고 있다. 본 논문의 목적은 [Hanus 88]가 제안한 폴리모픽 혼 논리 명세 언어에 있어서 형 표식(type annotation)을 가능한 제거함으로써 최적화된 프로그램을 만드는 데에 있다. 기존의 [Mycroft and O'Kecfe 84]와 [Hanus 88]의 방법은 너무 제한적이어서 소수의 프로그램에 대해서 적용 가능하나 본 논문의 최적화 방법은 혼 논리를 이용한 모든 프로그램에 대해 적용 할수 있다. [Hanus 88]에서는 혼 논리외에 등식까지 고려했으나 본 논문에서는 혼 논리만을 다루겠다.