http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
김병만(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하는 프로세스 사이의 의사 소통을 줄이는 방법을 제시하였다.
김병만(B.M.Kim),강원룡(W.L.Kang),박승수(S.S.Park),이현식(H.S.Lee),진강규(G.G.Jin) 한국해양대학교 해사산업연구소 1999 海事産業硏究所論文集 Vol.9 No.-
This paper presents a scheme for designing a fuzzy model-based controller for two-tank systems. The fuzzy model is characterized by fuzzy "if-then" rules which represent local input-output relationships at several operating points whose consequence parts are called linear subsystems of a nonlinear system The parameters of the fuzzy model are adjusted by a genetic algorithm. Then an optimal state feedback controller is obtained based on the fuzzy model. A simulation on a two-tank system illustrates the performance of the proposed controller.
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를 확장 정의하였고, 이의 구현 방법을 제시하였다.
지식 처리를 위한 Smalltalk 언어와 추상머신의 확장
정영민(Y.M. Chung),김병만(B.M. Kim),김영훈(Y.H. Kim),낭종호(J.H. Nang),맹승렬(S.R. Maeng),윤현수(H.S. Yoon) 한국정보과학회 1991 한국정보과학회 학술발표논문집 Vol.18 No.2
본 연구는 여러가지 지식 표현 기법을 제공할 수 있는 지식표현언어로 이용하기 위하여 객체지향 언어인 Smalltalk을 확장하고 확장된 언어의 추상머신을 설계하였다. 추가되는 지식표현 기법으로는 규칙 기반 프로그래밍을 위한 규칙의 표현과 접근지향 (access-oriented) 프로그래밍을 위한 활성화 변수가 있다. 또한 지식 표현 언어 수준에서 병행성을 표현하여 병렬 수행을 통한 수행효율을 높일 수 있도록 병행성 (concurrency)의 표현을 위한 구조를 추가하였다. 확장된 Smalltalk은 Smalltalk 추상머신을 수정하여 구현하였으며 추상 머신 단계에서 수정된 내용으로는 병행성의 구현을 위하여 다수의 메시지 처리기를 두고 활성화 변수를 구현하기 위하여 객체의 내부 표현구조를 확장한 것이 있다. 규칙은 활성화 변수와 객체로 번역되는 전처리 과정을 통하여 지원하도록 하였다.
유전자 알고리즘을 이용한 단일 소자 고장에 대한 가설 설정
라경선(K S Na),김병만(B M Kim),신윤식(Y S Shin),김태남(T N Kim),김시관(S G Kim) 한국정보과학회 1993 한국정보과학회 학술발표논문집 Vol.20 No.2
유전자 알고리즘은 기존의 문제 해결 방법에 비해 여러가지 유용한 특성들을 갖고있어 최적화 문제에 좋은 결과를 보이고 있으며 인공신경망과 더불어 학습 분야에서도 좋은 결과를 보이고 있다. 또한, 최근에는 여러학자들이 새로운 분야에 유전자 알고리즘을 응용하려는 시도들을 하고 있다. 이러한 맥락에서 본 논문에서는 기존의 회로 고장 진단 분야에 유전자 알고리즘을 적용하여 그 결과를 살펴 보았다. 본 논문에서는 고장원인에 대한 가설을 유전자 형태로 표현하고 여기에 유전자 연산자들을 적용시켜 좀더 나온 가설들을 이끌어 내는 방법을 사용하였다. 그리고 유전자 알고리즘에 사용되는 여러 요소들( Crossover 비율, Mutation 비율 및 부모 유전자 선택 방법 )을 변화시키면서 본 논문이 제시한 방법에 대해 특성들을 고찰하였다.
박동훈(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]에서는 혼 논리외에 등식까지 고려했으나 본 논문에서는 혼 논리만을 다루겠다.
모델과 퍼지기법을 기반으로 한 DC 모터시스템의 속도제어
김병만,진강규 한국해양대학교 산업기술연구소 2001 연구논문집 Vol.18 No.-
In this paper, a speed controller for DC motor systems based on inverse dynamics and a fuzzy technique is presented. The proposed controller consists of a prefilter, the inverse dynamic model of a DC motor system and a fuzzy logic controller. The prefilter prevents high frequency effects from the inverse dynamic model. The model of the system is characterized by a nonlinear equation with coulomb friction. The fuzzy logic controller regulates the error between the reference input and the system output which may be caused by disturbances, and it simultaneously traces the change of the reference input. The parameters of the model are estimated by a genetic algorithm. An experimental work on a DC motor system is carried out to verify the performance of the proposed controller.
김태남,오길호,신윤식,임은기,장춘서,오득환,김병만,이기수 金烏工科大學校 1996 論文集 Vol.17 No.-
Interactive multimedia application(IMA) has been emerged as a hot-spot trend with the advance of technology to handle sound and motion video. But, it is still difficult to build IMA since it gets more complex to specify the temporal and spatial synchronizations and interactions with users inherent in IMA as the complexity of IMA grows. In this paper, we propose a formal specification and verification mechanism to detect specification errors of complex IMAs. In our system, the specification is carried out via top-down approach, which means a high-level specification of an IMA is completed and each component of high-level specification is specified in more detail. The detailed description are verified to be equivalent to its high-level specification. We show the usefulness of the specification and verification mechanism by illustrating an example.