• The Journal of the Acoustical Society of Korea
• /
• v.21 no.7
• /
• pp.656-664
• /
• 2002

We present a statistical analysis of Korean phonological variations using a Grapheme-to-Phoneme (GPT) system. The GTP system used for experiments generates pronunciation variants by applying rules modeling obligatory and optional phonemic changes and allophonic changes. These rules are derived form morphophonological analysis and government standard pronunciation rules. The GTP system is optimized for continuous speech recognition by generating phonetic transcriptions for training and constructing a pronunciation dictionary for recognition. In this paper, we describe Korean phonological variations by analyzing the statistics of phonemic change rule applications for the 60,000 sentences in the Samsung PBS Speech DB. Our results show that the most frequently happening obligatory phonemic variations are in the order of liaison, tensification, aspirationalization, and nasalization of obstruent, and that the most frequently happening optional phonemic variations are in the order of initial consonant h-deletion, insertion of final consonant with the same place of articulation as the next consonants, and deletion of final consonant with the same place of articulation as the next consonant's, These statistics can be used for improving the performance of speech recognition systems.

• The Transactions of the Korea Information Processing Society
• /
• v.3 no.7
• /
• pp.1792-1802
• /
• 1996

The analysis of prepositional phrases in English-to Korean machine translation has problem on the PP-attachment resolution, semantic analysis, and acquisition of information. This paper presents an analysis system for prepositional phrases, which solves the problem. The analysis system consists of the PP-attachment resolution hybrid system, semantic analysis system, and semantic feature generator that automatically generates input information. It provides objectiveness in analyzing prepositional phrases with the automatic generation of semantic features. The semantic analysis system enables to generate natural Korean expressions through selection semantic roles of prepositional phrases. The PP-attachment resolution hybrid system has the merit of the rule-based and neural network-based method.

• Journal of Internet Computing and Services
• /
• v.9 no.2
• /
• pp.89-105
• /
• 2008

So far, most of research on automated test data generation(ATDG) deals with programs without pointers. Recently, few works hove been done on ATDG in the presence of pointers, but they ore path-oriented techniques which require the specification of on entire program path to be tested or a program to be executed. This paper presents a new technique for generating test data even without specifying a program path completely. The presented technique is a static technique which transforms the test data generation problem into a SAT(SATisfiability) problem and makes advantage of SAT solvers for ATDG. For the ends, we transform a program under test into Alloy which is the first-order relational logic and then produce test data via Alloy analyzer.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.8
• /
• pp.2152-2162
• /
• 1997

We developed an approach to automatically synthesize time-stationary controllers for a given pipelined data path of Application Specific Integrated Circuits (ASICs). This work consists of automated production of control specifications and Finite State Machine (FSM) Optimization. A FSM controller is implemented by performing horizontal partitioning so as to minimize the total controller area. We compared our approach to published work on FSM generation and optimization, and the results indicate large savings in total controller area.

• The KIPS Transactions:PartD
• /
• v.12D no.6 s.102
• /
• pp.849-856
• /
• 2005

As XML is more proliferate as a data type between internet programs, automatic generation methods of user input form interfaces get more attention. Recently, generating user interfaces for web application or web service clients become very popular. In this paper, we study the method of automatic generation for XForms-based user interface codes based on XML structure definitions in DTD. With the repetitive edit action model, we present a formal generation method of Input form codes and the overall user interface pages. For the generated code is using XForms as a target language, the result is clear and efficient with the MVC structure. Also, we have developed XFormsGen system which implements the proposed method over the Orbeon presentation server.

• Annual Conference on Human and Language Technology
• /
• 2007.10a
• /
• pp.107-113
• /
• 2007

본 연구는 시맨틱 데이터 정합성 검사와 RDF 트리플 생성 기능을 가진 URI 서버 내 DB 스키마의 자동 생성 방안을 기술한다. URI 서버는 시맨틱 웹 기술 기반 프레임워크 구성에 필요한 핵심 엔진으로서 인스턴스 생성 관리기, 검색 엔진, 추론 엔진 등과의 상호 작용을 통해 시맨틱 데이터를 서비스한다. 도메인이 바뀌거나 서비스가 변경되는 경우 DB 스키마를 전문가에 의해 수작업으로 생성함으로써 서비스 환경 변화에 즉각 대응하지 못하는 문제점을 가진 기존 URI 서버를, 적재되는 온톨로지에 따라 DB 스키마를 동적으로 자동 생성하는 방식으로 변경함으로써 다양한 응용 분야와 도메인에의 높은 이식성(Portability)을 보장할 수 있도록 한다. 기반정보 온톨로지, 응용 온톨로지, 개인화 온톨로지 등 3개 온톨로지 스키마와 11만 건 이상의 Citeseer Open Access Metadata로부터 추출된 인스턴스를 대상으로 한 실험을 통해 URI 서버 내 DB 스키마 자동 생성 가능성을 실증하였다.

• The KIPS Transactions:PartD
• /
• v.14D no.2
• /
• pp.191-202
• /
• 2007

In general, test data generation techniques require the specification of an entire program path for automated test data generation. This paper presents a new way for generating test data automatically een without specifying a program path completely. For the ends, this paper presents a technique for transforming a program under test into Alloy which is the first order relational logic and then producing test data via Alloy analyzer. The proposed method reduces the burden of selecting a program path and also makes it easy to generate test data according to various test adequacy criteria. This paper illustrates the proposed method through simple, but illustrative examples.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2001.06a
• /
• pp.541-544
• /
• 2001

본 논문에서는 망 관리자가 웹 환경에서 인트라넷의 상황을 쉽게 분석할 수 있도록 인트라넷 관리 보고서 생성기(IMRP : Intranet Management Report Publisher)를 구현하였다. IMRP는 관리자의 요구에 따라 일별, 주별, 월별, 연도별로 인트라넷의 구성관리, 성능관리, 장애관리에 대한 현황을 일괄적으로 또는 선택적으로 자동 생성한다. IMRP는 많은 종류의 망관리 현황을 제공하고, IP계층 관점 및 물리계층 관점에서 각종 관리현황을 보고서로 작성 해줌으로 인트라넷의 상황을 더 정확하게 분석할 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06b
• /
• pp.150-152
• /
• 2012

일반적으로 테스트 데이터 자동 생성을 지원하기 위해 심볼릭 실행기나 제약 해결기와 같은 도구를 요구한다. 그러나 이와 같은 도구들을 개발하는 것은 상당한 노력이 요구되는 것도 사실이다. 이 논문에서는 이러한 도구들의 지원 없이 분기 커버리지를 효과적으로 달성할 수 있는 테스트 데이터 생성 방법을 제안한다. 이를 위해 경로 지향 테스트 데이터 생성을 위해 개발된 Korel의 방법을 확장하여 프로그램의 분기들을 가능한 많이 실행할 수 있는 테스트 데이터를 효과적으로 생성하는 방법을 제안한다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2002.05a
• /
• pp.916-922
• /
• 2002

본 연구는 WfMS라는 사용환경 하에서, 워크플로우 프로세스라는 대상 객체를 BOM(bill of material) 정보로 부터 High Level Petri net 형식으로 자동적으로 생성할 수 있는 엔진의 개발을 궁극적인 목표로 설정하고 있다. BOM은 제조되는 제품의 구조에 대한 정보를 지니고 있다. 관리 및 생산이라는 두 도메인 사이의 차이점에도 불구하고, 생산 분야의 BOM 정보의 이용방식이 관리 프로세스의 설계에도 이용될 수 잇다는 사실을 먼저 설명한다. 워크플로우 프로세스는 Petri Net의 형식으로 표시한다. 주어진 BOM으로부터 이에 대응하는 petri net을 생성할 수 있는 매핑 알고리즘을 소개한다. 이러한 이론 및 알고리즘을 기반으로 하여, 주어진 BOM 정보로부터 이에 대응하는 Petri Net 정보를 자동으로 생성시키는 프로세스 디자이너의 프로토타입을 구현하여 소개한다.