• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.664-666
• /
• 1998

재귀원형군 G(2m, 2k)는 다음의 조건을 만족할 때 길이가 l인사이클을 가지며, 정점이 서로소이고 길이가 l인 2m/l 개의 사이클로 분할할 수 있음을 보인다: (i) l은 짝수이고 4$\leq$l$\leq$2m, 혹은 (ii) l은 홀수이고 2k+1$\leq$l$\leq$2m. 이 조건은 사이클 존재와 사이클 분할 문제에 대해서 필요충분조건이 된다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04b
• /
• pp.457-459
• /
• 2002

뜻풀이에서 추출한 의미 정보를 이용만 통계시인 방법의 기존 동형이의어 분별 시스템에는 불필요한 의미 정보들을 많이 가지고 있었다. 그리고 동형이의어간의 의미정보가 서로 교차하는 부분이 많아 확률적인 결정에 오류를 발생시켰다. 본 논문에서는 뜻풀이에서 구문패턴을 분석하여 보다 정제된 의미 정보를 추출하였고, 구문패턴에 속하는 어휘들의 하위어를 사전에서 자동 추출하여 부족한 의미 정보를 보완하였다. 또한, 구문패턴으로 분별할 수 없는 일부 동형이의어들은 순환 뜻풀이 망(RDN)을 이용하여 동형이의어를 분별하였다. 이러한 방법으로 동형이의어 분별을 통해 기존 연구보다 8%의 정확률 향상을 가져왔다.

• 한국IT서비스학회:학술대회논문집
• /
• 2003.05a
• /
• pp.584-590
• /
• 2003

CBSD의 핵심 연구 과제 중 하나인 컴포넌트 결합에 의한 응용 프로그램 개발에 대한 많은 연구가 진행되고 있지만 구체적 개발 환경에 대하여 아직 미비한 실정이다. 이에 본 논문에서는 CCM 컴포넌트들의 재귀적인 결합과 이에 기반을 둔 응용 프로그램 개발 방안을 제안하고자 한다. 이를 위해 컴포넌트 서비스의 기능적 결합을 기술하는 결합 명세서를 작성하고, 결합 명세서에 기반하여 컴포넌트를 결합하고자 한다. 또한 결합 컴포넌트의 결합성과 적합성을 검사하여 컴포넌트를 재구성하여 새로운 어플리케이션이나 컴포넌트를 자동으로 생성해 주는 응용 프로그램 개발 프레임웍을 제안하고자 한다.

• International Journal of Control, Automation, and Systems
• /
• v.2 no.4
• /
• pp.516-522
• /
• 2004

In this paper we investigate the properties of a generalized impulse response Gramian. The recursive relationship satisfied by the family of Gramians is established. It is shown that the generalized impulse response Gramian contains information on the characteristic polynomial of a linear time-invariant continuous system. The results are applied to model reduction problem.

• Proceedings of the IEEK Conference
• /
• 2002.06d
• /
• pp.171-174
• /
• 2002

This paper presents an implementation method of phasor measurement device, which is based on the FPGA implementation of the sliding-DFT The design is verified by the timing simulation of its operation. The error effect of coefficient approximation and frequency deviation in the recursive implementation of the sliding-DFT is analytically derived and verified with the computer simulations.

• Proceedings of the IEEK Conference
• /
• 2002.07c
• /
• pp.1459-1462
• /
• 2002

Emergence of the fourth generation mobile communication system (4G system) is now in its dawn. This paper pro- poses a perspective framework on the 4G system, and discusses system aspects of radio access technologies. The focus of the paper is to define the scope and features of the 4G system in an overall system/network viewpoint. From the foreseeable development trends, it is highly expected that whatever emerges in the 4G system will be some kind of constantly evolving and grand recursive concatenation of all the existing system/network developments.

• Proceedings of the IEEK Conference
• /
• 2002.07c
• /
• pp.1479-1482
• /
• 2002

In this work, a recursive parameter estimation algorithm estimates the mathematical model of steam generators every time step and a receding horizon controller is designed by using this estimated linear steam generator model of which parameters change as time goes on. It was shown through application to a linear model of steam generator that the proposed controller has good performance.

• Journal of Industrial Technology
• /
• v.14
• /
• pp.3-17
• /
• 1994

This paper develops a design technique for approximating nonseparable frequency characteristics by sums and products of separable transfer functions. Therefore nonseparable frequency characteristics includes the four-quadrant symmetry filters. The desired filter with half plan symmetry is obtained by shifting a low pass characteristic in the frequency domain, and by combining these shifted characteristics. Also the paper develops the technique for designing recursive and nonrecursive two dimensional digital filters by the application of a complex transformation to one dimensional low pass filter.

• East Asian mathematical journal
• /
• v.21 no.2
• /
• pp.249-260
• /
• 2005

Experimentation using computer plays an important part in education and research in graph theory. The purpose of this paper is to develop the CAS techniques for the hands-on approach in graph theory specifically on the topic of constructing the spanning tree. This paper discusses the advantages of CAS as the software system for doing graph theory and introduces the software solutions integrating multimedia user interface developed by the author, which extend the functionality of the existing CAS-based graph theory software package.

• The Bulletin of The Korean Astronomical Society
• /
• v.34 no.1
• /
• pp.85.2-85.2
• /
• 2009