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를 이용하여 구현하였다. 실제 성능을 측정한 결과 수행 시간이 상대적으로 긴 프로그램인 경우에, 사용하는 워크스테이션 수에 비례하여 성능이 향상됨을 보였다.
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.
손은영(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)를 정의하였다.
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의 것보다 우수하였다.
확장된 믿음의 추론 모형 및 믿음과 지식의 증명 방법에 대한 연구
김영훈(Y. H. Kim),전영표(Y. P. Jun),한상기(S Han),조정완(J. W. Cho) 한국정보과학회 1987 한국정보과학회 학술발표논문집 Vol.14 No.2
Konolige의 믿음의 추론 모형은 기존이 모형이 갖는 단점들을 해결하였으나 상수들간의 같음 관계에서 발생하는 같음 이상이 발생한다. 또한 단지 믿음에 대해서만 증명 방법을 제시하고 있는데 본 논문에서는 믿음의 추론 모형에 같음 관계를 첨가하여 확장하였으며 이를 지식을 포함하는 시스템으로 발전시켰다. 또한 지식과 믿음에 대한 추론 기법을 믿음에서부터 지식에 대한 자기 성찰에까지 통일된 형식으로 일반화하고 이의 정당성과 완전성을 증명하였다.
류기열(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 운영체제하에서 동작한다.
고차 논리 표현이 첨가된 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와 선언적 프로그래밍의 특성을 계속 유지하면서, 일차 논리 표현만으로는 구현이 어려운 여러 응용 분야를 지원한다.
논리 프로그램의 병렬 수행을 위한 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의 기계어로 컴파일하여 수행시킨다.
정상훈(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의 검색이 가능하고 이는 지금까지 제안된 알고리즘보다 빠른 검색을 제공할 수 있다.