• Proceedings of the KSPS conference
• /
• 2003.10a
• /
• pp.37-40
• /
• 2003

This paper presents the preliminary result of the automatic pronunciation scoring for non-native English speakers, and shows the developmental process for an English speech recognizer for the educational and evaluational purposes. The proposed speech recognizer, featuring two refined acoustic model sets, implements the noise-robust data compensation, phonetic alignment, highly reliable rejection, key-word and phrase detection, easy-to-use language modeling toolkit, etc., The developed speech recognizer achieves 0.725 as the average correlation between the human raters and the machine scores, based on the speech database YOUTH for training and K-SEC for test.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2008.04a
• /
• pp.947-950
• /
• 2008

PRT(Personal Rapid Transit) systems requires very short headways to increase the line capacity and a very reliable vehicle control algorithm for avoidance of the impact between vehicles. In this paper a brake curves (or speed patterns) for PRT system that make it possible the effective vehicle control and a collision avoidance algorithm are introduced. For the simulations and the evaluations of the proposed algorithm a combined simulation platform that consists of Labview Simulation Interface Toolkit and Matlab/Simulink and a specific hardware configuration are employed.

• Korean Journal of Computational Design and Engineering
• /
• v.5 no.4
• /
• pp.293-300
• /
• 2000

The non-manifold geometric modeling technique is to improve design process and to Integrate design, analysis, and manufacturing by handling mixture of wireframe model, surface model, and solid model in a single data structure. For the non-manifold geometric modeling, Euler operators and other high level modeling methods are necessary. Boolean operation is one of the representative modeling method for the non-manifold geometric modeling. This thesis studies Boolean operations of non-manifold model with the data structure of selective storage. The data structure of selective storage is improved non-manifold data structure in that existing non-manifold data structures using ordered topological representation method always store non-manifold information even if edges and vortices are in the manifold situation. To implement Boolean operations for non-manifold model, intersection algorithm for topological cells of three different dimensions, merging and selection algorithm for three dimensional model, and Open Inventor(tm), a 3D toolkit from SGI, are used.

• Journal of the Korean Society for Railway
• /
• v.9 no.4 s.35
• /
• pp.449-454
• /
• 2006

본 연구는 Labview Simulation Interface Toolkit과 Matlab/Simulink를 조합한 제어 시스템을 매우 짧은 차간 간격을 요구하고, 차량 간의 충돌을 피하기 위해서 매우 정확한 속도제어를 필요로 하는 개인 고속 이동 시스템에 응용하는 것에 대해서 다룬다. 간단한 차량의 운동방정식을 유도하기 위해서 선형모터를 도입한다. 후미 차량에 의해서 추종되어 져야하는 속도 프로파일은 두 차량(선행차량과 후미차량) 간의 상태정보를 기초로 해서 생성된다. 속도 프로파일 추종을 위한 제어 시스템은 Matlab/Simulink 에 의해서 설계된다. 모의시험 결과는 제안된 제어 시스템이 속도 추종 특성을 평가하는데 효과적임을 보인다.

• Proceedings of the KSR Conference
• /
• 2007.05a
• /
• pp.980-986
• /
• 2007

본 연구는 매우 짧은 차간 간격을 요구하면서 차량 간의 충돌을 피하기 위해서 매우 정확한 속도제어를 필요로 하는 개인 고속 이동 시스템의 운행제어 알고리즘의 검증을 위한 검증 시스템의 설계에 대해서 다룬다. 검증시스템은 모의 차량, 중앙제어 시스템, 모의지상설비, 모니터링 장치로 구성된다. 모의차량은 총 4EA의 서버(노트북)로 구성 하며, 중앙(지역)제어시스템은 산업용 Motorola사(社)의 PowerPC기반 프로세서 모듈 및 I/O 보드 장치로 구성한다. 모의지상설비는 National Instruments社의 PXI 산업용 제어기를 사용하여 구현한다. 설계된 검증시스템의 시험을 위해서 Labview Simulation Interface Toolkit 과 Matlab/Simulink 가 결합된 환경하에서 모의시험을 거친 시험용 알고리즘을 이용한다.

• Annual Conference on Human and Language Technology
• /
• 2001.10d
• /
• pp.221-225
• /
• 2001

본 논문에서는 대량의 말뭉치를 바탕으로 한국어에 대해 단어 기반의 n-gram 언어 모델과 클래스 기반의 언어 모델을 구축하고, 이를 실험적으로 검증한다. 단어 기반의 n-gram 모델링의 경우 Katz의 백오프와 Kneser-ney의 스무딩(smoothing) 알고리즘에 대해 실험을 수행한다. 클래스 기반의 언어 모델의 경우에는 품사 태그를 단어의 클래스로 사용한 경우와 말뭉치로부터 자동으로 구축된 클래스를 사용한 경우로 나누어 실험한다. 마지막으로 단어 기반 모델과 클래스 기반 모델을 결합하여 각각의 모델과 그 성능을 비교한다. 실험 결과 단어 기반의 언어 모델의 경우 Katz의 백오프에 비해 Knerser-ney의 스무딩이 보다 조은 성능을 나타내었다. 클래스 기반의 모델의 경우 품사 기반의 방범보다 자동 구축된 단어 클래스를 이용하는 방법의 성능이 더 좋았다. 또한, 단어 모델과 클래스 모델을 결합한 모델이 가장 좋은 성능을 나타냈다. 논문의 모든 알고리즘은 직접 구현되었으며 KLM Toolkit이란 이름으로 제공된다.

• TTA Journal
• /
• s.97
• /
• pp.81-87
• /
• 2005

초고속인터넷, 무선통신의 급속한 보급과 유비쿼터스 네트워크의 세계적인 추세에 따라 그 기반 기술이 되는 임베디드 시스템이라는 용어가 과거 통신 및 제어장치에서만 사용되었으나 이제 일상생활의 필수품이 되고 전 산업에 영향을 주게 되었다. 통신시스템, 제어장치, 휴대폰, 디지털TV, 셋톱박스, 홈네트워크에서부터 스마트카드, RFID, 센서노드 등 임베디드 소프트웨어가 들어가지 않는 곳이 없을 정도로 광범위하며 단순한 제어에서부터 복잡한 포로토콜 스팩 및 기능이 다양하다. 반면에 임베디드 소프트웨어의 개발 환경이 일반 소프트웨어의 개발환경보다 훨씬 어려워서 효과적인 개발도구가 없이는 경쟁력 있는 개발이 불가능하다. 결국 임베디드 소프트웨어의 개발 경쟁력이 국가의 경쟁력이라 해도 과언이 아니므로 효과적인 임베디드 소프트웨어 개발환경의 구축은 매우 중요하다. 이러한 임베디드 소프트웨어 개발도구의 국내외 개발현황과 기술수준을 소개한다. 특히, 국내에서 세계적 수준의 ESTO(Embedded Software Toolkit)의 상용화는 우리나라에서 특히 취약한 핵심 시스템 소프트웨어 분야에서 처음으로 세계시장에서 경쟁력을 자랑하게 된 점이 주목할 만하다.

• 한국전산유체공학회:학술대회논문집
• /
• 1999.11a
• /
• pp.145-151
• /
• 1999

An Interactive grid generation program(KGRID) with graphical user interface(GUI) has been improved. KGRID works on the UNLX environment and GUI has been implemented with OSF/Motif and X Toolkit and the graphics language is Open GL for visualization of the 3D objects. It supports more convenient user environment to generate 2D and 3D multi-block structured grid systems. It provides various useful field grid generation methods, which are the algebraic methods, the elliptic partial differential equations method and the predictor-corrector method. It also supports 3D surface grid generation with NURBS(Non-Uniform Rational B-Spline) and various stretching functions to control grid points distribution on curves and surfaces. And some menus are added to perform flexible management, for the objects. We generated surface and field grid system about full aircraft configuration using KGRID. The performance and stability of the KGRID is verified through the generation of the grid system about a complex shape.

• Proceedings of the KSME Conference
• /
• 2008.11a
• /
• pp.625-630
• /
• 2008

In the manufacturing industries, viewing CAE analysis results is frequently required during the product development process for design verification. CAE data which include all related information of an analysis is, however, not efficiently shared among designers because CAE data size is in general large to deal with. In order to increase collaboration among designers this paper introduces the development of a CAE visualization system based on JT format exploiting for a large model visualization with a scene graph-based toolkit. Since CAE analysis results and JT format have different structure we developed a translator to convert the CAE result in binary format to the JT format. To show the effectiveness of JT format in showing the CAE result we also developed a prototype viewer offering basic functions provided by commercial systems. By using JT format we are able not only to reduce the size of analysis results, but to store a series of analysis results with several LOD in a data file.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2003.10a
• /
• pp.243-246
• /
• 2003

The design of router that converts IP packets from IPv4 network to IPv6 network using embedded Linux toolkit based on processor is presented. As an address transition platform, IPv6 module is transplanted to Linux using processor and the experiment was done with IPv4 and IPv6. In order to build the test network, it is constructed with Tunneling mechanism of IPv4 and IPv6 network. The packet value is obtained about 2$\mu$sec on average a 2 hops on the ICMP ping6.