http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
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 탐색 기법을 지원할 수 있도록 설계되었다.
고차 논리 표현이 첨가된 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와 선언적 프로그래밍의 특성을 계속 유지하면서, 일차 논리 표현만으로는 구현이 어려운 여러 응용 분야를 지원한다.
논리 프로그램의 병렬 수행을 위한 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 머신의 형태를 취한다.
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]에서는 혼 논리외에 등식까지 고려했으나 본 논문에서는 혼 논리만을 다루겠다.