• 정보처리학회논문지D
• /
• 제13D권2호
• /
• pp.223-234
• /
• 2006

분기 및 병합은 대규모 소프트웨어 개발에 있어 병렬개발을 지원할 수 있는 소프트웨어 형상관리의 대표적인 기법이다. 상업적인 용도로 쓰이는 기존의 소프트웨어 병합은 문자적 병합에만 의존하고 의미를 고려하지 않아 병합결과에서 의미적 오류를 발생시킬 수 있다. 현재까지 의미적 병합충돌 탐지 및 병합에 대한 연구가 이루어지고 있으나 의미적 병합충돌 및 병합에 대해서만 개별적으로 이루어지고 있으므로, 문자적 병합과정에서 의미적 충돌을 탐지하고 해결할 수 있는 기법에 대한 연구가 필요하다. 본 논문에서는 프로그램 원본에서 분기된 두개의 프로그램들을 병합하는데 있어서 그들 각각의 원본에 대한 각 라인별 수정, 삭제, 삽입 오퍼레이션들을 정의하여 병합과정에서 발생하는 문자적 충돌 및 실행행위에 관련된 의미적 충돌을 탐지하고 해결하여 병합하는 문자적 병합기법과 의미적 병합기법을 결합한 하이브리드 병합기법을 제시하였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제33권9호
• /
• pp.787-801
• /
• 2006

온톨로지 통합은 두 소스 온톨로지들을 통합하여 하나의 새로운 온톨로지를 생성하는 과정으로서 시맨틱 웹, 데이타 통합, 지식관리시스템 등 여러 온톨로지 응용 시스템에서 중요하게 다루는 연구주제이다. 그러나 과거의 연구들은 대부분 두 소스 온톨로지들 사이에 의미적으로 대응되는 공통 요소를 효과적으로 찾기 위한 온톨로지 매칭 기법에 집중되어 있으며 매핑 요소들을 통합하는 과정에서 발생하는 문제를 정의하고 해결하는 방법에 대해서는 간과하고 있다. 본 논문에서는 매칭 프로세스에 의해 주어진 매핑 결과에 기반하여 두 소스 온톨로지들을 통합해 나가는 상세한 통합 프로세스를 정의하고 매핑 요소들 사이에 존재하는 통합 충돌의 유형에 대한 분류 체계 및 충돌을 탐지하고 해결하기 위한 기법을 제안한다. 또한 충돌의 탐지 및 해결을 포함하여 통합 과정을 캡슐화하는 T-MERGE 연산자와 통합 과정의 기록과 오류 복구를 위한 MergeLog를 설계 및 구현한다. 제안하는 통합 모듈의 성능을 보이기 위해 동, 서양 철학 온톨로지들과 야후 및 네이버 백과사전의 일부를 온톨로지로 구현하여 실험 데이타로 활용하였으며 그 결과 전문가의 수작업에 의한 온톨로지 통합과 동일한 결과를 적은 시간과 노력으로 얻을 수 있음을 보인다.

• ETRI Journal
• /
• 제32권5호
• /
• pp.795-800
• /
• 2010

Embedding a large vocabulary speech recognition system in mobile devices requires a reduced acoustic model obtained by eliminating redundant model parameters. In conventional optimization methods based on the minimum description length (MDL) criterion, a binary Gaussian tree is built at each state of a hidden Markov model by iteratively finding and merging similar mixture components. An optimal subset of the tree nodes is then selected to generate a downsized acoustic model. To obtain a better binary Gaussian tree by improving the process of finding the most similar Gaussian components, this paper proposes a new distance measure that exploits the difference in likelihood values for cases before and after two components are combined. The mixture weight of Gaussian components is also introduced in the component merging step. Experimental results show that the proposed method outperforms MDL-based optimization using either a Kullback-Leibler (KL) divergence or weighted KL divergence measure. The proposed method could also reduce the acoustic model size by 50% with less than a 1.5% increase in error rate compared to a baseline system.

• 한국정보통신학회논문지
• /
• 제24권2호
• /
• pp.186-191
• /
• 2020

이 논문에서는 차량 운반선에서 선적 계획과 하적 계획에 따른 차량 선적을 효과적으로 진행하기 위하여, 선박 내 데크에 차량을 효율적으로 배치하는 최적화 기법을 제안하였다. 이를 위해, 선박의 공간 정보를 나타내는 XML 데이터의 변환, 병합 및 분할 알고리즘, 유전자 알고리즘을 활용하였으며, 또한 최적화된 차량 배치 결과를 시각화하는 기능까지 구현하였다. 기존의 전형적인 유전자 알고리즘에서 사용되는 선택, 교차, 변이, 엘리트 보존 등의 기법들을 활용하였으며, 특히 차량의 선적을 위한 선박 공간을 병합 및 분할하는 기법을 함께 제안하여 차량 배치 최적화 기법을 제안하였다. 실험 결과, 기존의 유전자 알고리즘만으로 최적화하기 힘든 부분에 제안한 병합 및 분할 기법을 적용하는 것이 최적화 과정에 효과적이었음을 확인할 수 있었다. 또한, 시각화 기법을 통해 차량 배치 결과를 도면 형태로 보여줌으로써 배치 결과의 효율성을 전문가가 쉽게 판단할 수 있도록 하였다.

• IEIE Transactions on Smart Processing and Computing
• /
• 제3권5호
• /
• pp.251-258
• /
• 2014

This paper proposes an efficient token flow design methodology for a decoder in the MPEG Reconfigurable Media Coding (RMC) framework. The MPEG RMC framework facilitates a decoder to be configured with a set of modules called functional units (FUs) that are connected by tokens. Such a modular design philosophy of the MPEG RMC framework enables the reusability and reconfigurability of FUs. One drawback of the MPEG RMC framework is that the decoder performance can be affected by increasing the token transmissions between FUs. The proposed method improves the design of the FU network in the RMC framework toward real-time decoder implementation. In the proposed method, the merging of FU, the separation of token flow, and the merging of token transactions are applied to minimize the token traffic between FUs. The experimental results of the MPEG-4 SP decoder show that the proposed method reduces the total decoding time by up to 77 percent compared to the design of the RMC simulation model.

• Spatial Information Research
• /
• 제13권2호
• /
• pp.157-166
• /
• 2005

본 연구에서는 항공레이저측량(LiDAR; Light Detection And Ranging)을 이용한 지상지형자료(DEM, DSM DTM 등)와 단빔 음향측심기(SBES; Single Beam Echo Sounder), 측면음향주사기(SSS; Side Scan Sonar)를 이용한 하저 지형자료의 통합방안을 모색하고, LiDAR 데이터와 SSS/SBES 데이터를 통합하고 지형의 2차원 및 3차원 그래픽 표현, 수량계산 등의 기능을 갖는 소프트웨어를 개발하였다. 개발한 소프트웨어의 정확도 비교는 상용 소프트웨어인 Surfer를 이용하였다.

• 한국멀티미디어학회논문지
• /
• 제20권2호
• /
• pp.179-187
• /
• 2017

The fourth industrial revolution is a phenomenon where productivity is improved in each field by the convergence of IT technology and existing industries. In the dental treatment process, prosthetic treatment time is drastically shortened through AI and expert software. Oral imaging, prosthesis design, and prosthesis manufacturing are performed continuously, so the treatment can be completed in a few hours. In this paper, we introduce the research trend of multimedia technology in the prosthetic process. We also propose a new method for accelerating the fusion of surface data during the optical impression. Proposed method enables high-speed optical impression and accelerates the overall automated production process of dental prosthesis.

• ETRI Journal
• /
• 제35권5호
• /
• pp.767-774
• /
• 2013

In this paper, a novel parallel Viterbi decoding scheme is proposed to decrease the decoding latency and power consumption for the software-defined radio (SDR) system. It implements a divide-and-conquer approach by first dividing a block into a series of subblocks, then performing independent Viterbi decoding for each subsequence, and finally merging the surviving subpaths into the final path. Moreover, a network-on-chip-based SDR platform is used to evaluate the performance of the proposed parallel Viterbi decoding scheme. The experiment results show that our scheme can speed up the Viterbi decoding process without increasing the BER, and it performs better than the current state-of-the-art methods.

• 한국군사과학기술학회지
• /
• 제10권1호
• /
• pp.55-69
• /
• 2007

The paper provides the approach to apply formal methods to the development and certification criteria of defense safety/security-critical software. RTCA/DO-178B is recognized as a do facto international standard for airworthiness certification but lack of concrete activities and vagueness of verification/certification criteria have been criticized. In the case of MoD Def Stan 00-55, the guidelines based on formal methods are concrete enough and structured for the defense safety-related software. Also Common Criteria Evaluation Assurance Level includes the strict requirements of formal methods for the certification of high-level security software. By analyzing the problems of DO-178B and comparing it with MoD Def Stan 00-55 and Common Criteria, we identity the important issues In safety and security space. And considering the identified issues, we carry out merging of DO-178B and CC EAL7 on the basis of formal methods. Also the actual case studies for formal methods applications are shown with respect to the verification and reuse of software components.

• Genomics & Informatics
• /
• 제15권3호
• /
• pp.108-111
• /
• 2017

Recently developed computational methods allow the imputation of human leukocyte antigen (HLA) genes using intergenic single nucleotide polymorphism markers. To improve the imputation accuracy in HLA imputation, it is essential to increase the sample size and the diversity of alleles in the reference panel. Our software, MergeReference, helps achieve this goal by providing a streamlined pipeline for combining multiple reference panels into one.