http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
낭종호(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를 이용하여 구현하였다. 실제 성능을 측정한 결과 수행 시간이 상대적으로 긴 프로그램인 경우에, 사용하는 워크스테이션 수에 비례하여 성능이 향상됨을 보였다.
고차 논리 표현이 첨가된 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와 선언적 프로그래밍의 특성을 계속 유지하면서, 일차 논리 표현만으로는 구현이 어려운 여러 응용 분야를 지원한다.
PrologTool : Sun 워크스테이션에서의 Prolog 프로그래밍 환경 개발에 관한 연구
전영표(Y. P Jun),김영훈(Y H. Kim),신동욱(D W. Shin),한상기(S. K Han),맹승렬(S. R. Maeng),조정완(J. W. Cho) 한국정보과학회 1987 한국정보과학회 학술발표논문집 Vol.14 No.1
PrologTool은 Sun 워크스테이션에서 Prolog 프로그램을 개발하기 위한 도구로서, 기본적으로 윈도우와 마우스에 의한 사용자 인터페이스를 제공해 준다. 본 시스템에서는 Prolog 인터프리터 상에서 프로그램을 개발할 때 자주 발생하는 외부 화일과의 인터페이스를 편리하게 하였고, 중간 단계에 문서 편집기를 마련하여 시스템 내에서 프로그램 화일의 수정을 가능하게 하였다. 특히 마우스에 의한 버튼과 메뉴 시스템은 사용자가 일일히 키-보드를 사용해야 하는 불편을 줄여서 간단한 명령이나 조작을 편리하게 하였다. PrologTool은 호스트 컴퓨터의 화일 구조를 시스템 사용자에게 보여주며 필요에 따라 작업 디렉토리를 변경하거나 특정 화일을 시스템에서 제공하는 문서 편집기로 읽어들이거나 또는 Prolog 인터프리터에 적재할 수 있도록 하였다. 본 논문에서는 PrologTool의 개발과 Prolog 프로그래밍 환경에 대한 설명, 그리고 앞으로의 방향에 대한 제시를 하였다.
Hop Count Comparision Of A Multi - Ring Daisy Chain (MRDC) Network System
강오한(O.H.KANG),조정완(J.W.Cho) 한국정보과학회 1983 한국정보과학회 학술발표논문집 Vol.10 No.2
In this study, a multi-ring daisy chain (MRDC) has been proposed. MRDC consists of multiple ring units each of which has many ring interface processors(RIP). Throughput and reliblity are improved by the division of a Daisy-Chain loop into MRDC's. The delay register insertion technique is used as the ring transmission mechanism. MRDC shows much better throughput when the message transmission characteristic shows locality. The function and the structure of a ring interface processor are described.
확장된 믿음의 추론 모형 및 믿음과 지식의 증명 방법에 대한 연구
김영훈(Y. H. Kim),전영표(Y. P. Jun),한상기(S Han),조정완(J. W. Cho) 한국정보과학회 1987 한국정보과학회 학술발표논문집 Vol.14 No.2
Konolige의 믿음의 추론 모형은 기존이 모형이 갖는 단점들을 해결하였으나 상수들간의 같음 관계에서 발생하는 같음 이상이 발생한다. 또한 단지 믿음에 대해서만 증명 방법을 제시하고 있는데 본 논문에서는 믿음의 추론 모형에 같음 관계를 첨가하여 확장하였으며 이를 지식을 포함하는 시스템으로 발전시켰다. 또한 지식과 믿음에 대한 추론 기법을 믿음에서부터 지식에 대한 자기 성찰에까지 통일된 형식으로 일반화하고 이의 정당성과 완전성을 증명하였다.
정상훈(S.H. Chung),권위남(W.N. Kwon),권보섭(B.S. Kwon),진성기(S.K. Jean),윤현수(H. Yoon),조정완(J.W. Cho) 한국정보과학회 2000 한국정보과학회 학술발표논문집 Vol.27 No.2Ⅲ
현재 인터넷은 매우 빠른 속도로 커가고 있으며 기존의 인터넷 하부구조(infrastructure), 특히 라우터에 커다란 부담이 되고 있다. IP 주소 검색은 라우터에 들어오는 패킷의 출력 링크를 찾기 위해 전송 테이블에서 가장 길게 일치하는 프리픽스를 찾는 것이다. 이러한 작업은 매우 복잡하고 고속의 라우터에 커다란 병목이 되고 있으며 이를 해소하기 위해서는 하드웨어기반의 빠른 IP 주소 검색 기법이 필요하다. 본 논문은 유니 캐스트 상에서 전송 테이블의 크기와 검색 시간을 줄이고 점차적인 갱신이 가능한 하드웨어기반의 알고리즘을 제시하고 다른 하드웨어 기반의 알고리즘과 성능을 비교한다. 제시한 알고리즘은 작은 크기의 SRAM과 단순한 로직의 하드웨어로 구현되기 때문에 값이 싸고 파이프라인으로의 구성이 가능하기 때문에 빠른 IP 주소 검색이 가능하다. 10ns의 SRAM으로 구현할 경우, 초당 100×10^6의 검색이 가능하고 이는 지금까지 제안된 알고리즘보다 빠른 검색을 제공할 수 있다.
Multi - layer Perceptron을 이용한 백색잡음이 섞인 모음의 인식
조용덕(Y D Cho),김기철(K C Kim),맹승렬(S R Maeng),조정완(J W Cho) 한국정보과학회 1989 한국정보과학회 학술발표논문집 Vol.16 No.2
MLP(multi-layer perceptron)을 이용한 한국어 모음 인식을 수행하였으며, 백색 잡음 환경하에서 성능저하 정도를 분석하였다. MLP의 입력 벡터는 17 channel의 LPC spectrum 및 cepstrum을 사용하였고, EDM(Euclidian distance measure)에 의한 결과와 비교하였다. 실험 결과 clean speech에 대해서는 cepstrum 데이타에 의해 MLP를 사용했을 때 인식률이 가장 좋았다. 인식률은 화자종속에 대해서는 97.59%, 화자독립에서는 88.89%를 얻었다. 그리고 모음에 따른 오류의 관점에서 대부분의 오류는 ‘ㅗ’와 ‘ㅜ’에서 발생함을 발견할 수 있었다. 잡음 환경하에 실험에서 역시 MLP에 의한 인식 결과가 EDM의 결과보다 우수하였으며, 백색잡음이 섞인 경우, 전체적으로 LPC spectrum의 성능이 cepstrum의 것보다 우수하였다.
공유기억장치 구조의 다중처리기에서 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에서 제공하는 병렬 라이브러리를 사용하였다. 성능 측정 결과 수행 시간이 긴 문제에 대해서는 수행 시간이 사용한 프로세서 갯수와 직선적으로 비례함을 보였다.
김병만(B M Kim),김영훈(Y H Kim),전영표(Y. P Jun),김승범(S B Kim),한상기(S K Han),조정완(J W Cho) 한국정보과학회 1989 한국정보과학회 학술발표논문집 Vol.16 No.1
본 논문에서는 많은 병렬성을 추구하면서 프로세스 사이의 의사소통 (communication)을 줄이기 위해 OR 병렬성과 DCDP 병렬성을 동시에 추구하는 병렬 정리 증명 방법을 제시하였다. 본 병렬 정리 증명 방법에서는 여러 개의 리터럴들을 선택하고, 이 각자의 리터럴에 연결된 연결선들을 동시에 resolve하게 된다. 이때 최적의 리터럴들을 선택하는 문제가 NP 문제이기 때문에 최적의 리터럴들을 선택하는 대신에 준최적의 (suboptimal) 리터럴들을 효율적으로 찾는 방법을 제시하였다. 그리고 OR 관계에 있는 연결선들을 동시에 resolve할 경우에 발생하는 논리적 불일치에 대한 해결책과 연결선을 resolve하는 프로세스 사이의 의사 소통을 줄이는 방법을 제시하였다.