• Proceedings of the Korean Information Science Society Conference
• /
• 2006.06a
• /
• pp.229-231
• /
• 2006

임베디드 기기와 무선 네트워크 기술이 발전함에 따라 PDA나 휴대폰과 같은 모바일 기기 상에서도 멀티미디어 컨텐츠를 소비하는 것이 가능하게 되었다. 그러나 모바일 기기 특성상 무선 네트워크를 통한 컨텐츠 소비환경은 유동성이 강하다. 따라서 모바일 환경에서 멀티미디어 컨텐츠를 효과적으로 제공하기 위해서는 상황에 따른 가용적인 모델이 필요하다. 미디어 형식 변환(Media Transmoding)은 네트워크, 하드웨어, 스트리밍 서버 등의 상황에 따라 능동적으로 컨텐츠의 형식을 변환하여 전송하는 기술이다. 본 논문에서는 모바일 환경에서의 미디어 형식 변환 모델을 제안하고, 자체 개발한 미디어 형식 변환 시나리오를 사용하여 TV-AnyTime Phase 2 Part 3와 SOAP과 결합하여 설계 및 구현하였다.

• Journal of Korean Society for Geospatial Information Science
• /
• v.13 no.2 s.32
• /
• pp.39-43
• /
• 2005

In this study, we analyzed the accuracy of the conversion from DLT parameters to physical camera parameters and optimized the use of DLT model for non-metric cameras in photogrammetric tasks. Using the simulated data, we computed two sets of physical camera parameters from DLT parameters and Bundle adjustment for various cases. Comparing two results based on the RMSE values of check points, we optimized the arrangement of GCPs for DLT.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.05c
• /
• pp.1685-1688
• /
• 2003

소프트웨어는 컴포넌트 기반으로 개발되어 가고 있다. 컴포넌트 기반의 시스템은 소프트웨어의 복잡해지고 다양한 요구사항에 대해 부품을 조림하듯 빠르게 대응할 수 있다. 이미 기존에 구축되어 있는 시스템을 이용한다면 새로운 시스템을 구축하는데 비즈니스 모델, 비즈니스 로직과 GUI를 재사용 할 수 있고 개발 기간은 매우 단축될 수 있다. 본 논문에서는 MFC환경으로 구축되어 있는 기존 시스템을 COM 컴포넌트 모델로 변환하기 위한 변환 방법을 제시하고 그에 따른 소스코드의 재사용율을 측정하였다. 본 논문에서 제시하는 방법에 따른 컴포넌트 변환 방법은 신뢰성 있는 기존의 어플리케이션을 COM 컴포넌트 모델로 변환 시 매우 높은 재사용율을 보인다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04c
• /
• pp.115-117
• /
• 2003

2001년 OMG는 그 동안의 모델링 관련 표준화 작업의 성과를 바탕으로 모델 중심의 개발 방법인 MDA를 표준으로 정하였다. MDA의 핵심은 잘 정의된 비즈니스 독립적인 모델을 플랫폼 종속적인 모델로 자동 변환하고 그 변환된 모델을 통해서 코드를 자동 생성함으로써 소프트웨어의 생산성을 높이고 플랫폼 변화에 능동적으로 대처 할 수 있다는 것이다. 본 논문에서는 코드 생성을 위해서 플랫폼 종속적 모델의 기술 방법인 UML Profile에 코드 관련 정보를 UML을 통해서 정의할 수 있도록 하는 코드 생성 정보 메타 모델을 제시한다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2008.06a
• /
• pp.11-16
• /
• 2008

본 논문은 온톨로지(ontology) 작성에 사용되는 RDF(Resource Description Framework) 모델을 CPN(Colored Petri Net) 모델로 변환하여 표현하는 방법을 제안하고, 페트리 넷 시뮬레이션으로 RDF의 의미를 해석하여 RDF 질의문에 답할 수 있음을 보인다. 또한, 어떠한 RDF 모델도 CPN 모델로의 변환이 가능하다는 제안 방법의 완전성과 무결성을 소개하고, 제안한 방법으로 구축된 CPN 모델에서 RDF 질의에 대해 정확하게 결과를 구하는 방법을 제시한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.647-649
• /
• 2000

개념-논리 스키나 설계의 목적은 개념 스키마를 사용 가능한 데이터의 구조화와 제약사항 모델화를 위한 기능들을 가능한 후 효과적으로 표현하는 것이다. 스키마 변환은 이러한 표현을 구현 언어나 데이터베이스와는 독립적인 차원에서 고려할 수 있도록 해준다. 개념-논리 스키마로의 변환에 프리미티브 변환을 적용함으로써 얻을 수 있는 이점은 개념 스키마에 나타난 정보를 손실 없이 구현 모델에 반영할 수 있게 한다는 것이다. 본 논문에서는 다단계 보안 응용을 위한 일반화 계층구조의 스키마 변환에서 발생할 수 있는 프리미티브 변환을 논의한다. 이러한 변환은 다단계 보안 응용의 개념 논리와 설계 단계에 대한 질적 향상을 기할 수 있는 기본적인 도구의 토대가 될 수 있으며 또한 이를 적용함으로써 설계 과정을 변환의 작은 단위로 생각할 수 있게 해 줌으로서 설계 과정을 단순화할 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06b
• /
• pp.197-199
• /
• 2011

테스팅은 테스트 요구사항을 기반으로 수행하기 때문에 테스트 요구사항의 품질은 테스팅 전체 과정의 품질과 직결된다고 할 수 있다. 그러나 테스트 요구사항에서 고려해야 할 점들은 시스템의 도메인과 목적에 따라 다르기 때문에 양질의 테스트 요구사항이라고 판별할 수 있는 기준을 정하는 것은 어려운 일이다. 본 연구에서는 테스트 케이스와 고장 수목의 최소 절단집합을 각각 정형모델로 변환하여 모델체킹을 함으로써, 테스트 요구사항의 안전성을 측정하는 방법을 제시한다. 테스트 요구사항이 반영된 테스트 케이스는 모델체킹의 대상이 되는 정형모델로 변환하였으며, 고장수목의 최소 절단집합은 CTL 검증 속성으로 변환하여 테스트 케이스에서 생성된 정형모델이 안전성을 만족하는지 만족하는지 모델체킹을 적용하여 확인하였다.

• Proceedings of the KAIS Fall Conference
• /
• 2004.11a
• /
• pp.114-117
• /
• 2004

본 논문에서는 합성에 의한 분석(Analysis-by-Synthesis) 및 가산중첩(Overlap-Add) 방식을 채택하고 있는 음성신호의 AbS/OLA 정현파 모델에 웨이블릿 변환을 적용한 새로운 모델을 제안하였다. 즉, 기존의 모델에 웨이블릿 변환을 적용하여 입력신호를 몇 개의 부대역 신호로 나눈 다음 각각 다른 길이의 분석 윈도우를 적용한다. 이는 기존 모델의 정현파 파라미터 추출 시 고정된 길이의 분석 윈도우를 이용하는 단점을 극복하여 좀 더 정확한 파라미터 추출을 가능하게 한다. 시험결과 제안된 정현파 모델이 기존 모델에 비해 합성음의 스펙트럼 및 위상 특성, 음질 등에서 성능이 개선됨을 확인할 수 있었다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06c
• /
• pp.78-80
• /
• 2012

개체 관계(ER) 모델과 확장 개체 관계(EER) 모델은 개념적 데이터베이스 설계분야에서 가장 많이 사용되는 모델이다. 확장 개체 관계 모델은 여전히 객체지향 데이터베이스를 처리하는데 강력하나 최신 객체관계 데이터베이스와 UML과 같은 새로운 데이터베이스 모델링을 처리하기에는 부족함이 많다. 따라서 본 논문에서는 이러한 객체 관계 데이터베이스를 지원하기 위한 확장 개체 관계 기반의 변환 방법을 제안한다. 변환 규칙은 트리플 그래프 문법을 사용하여 정의하고 MOFRON TGG 에디터를 이용하여 표현한다. 트리플 그래프 문법 규칙에 따라 본 제안 방법은 자동 ORDB 개발 프레임워크에 적용할 수 있다.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.16 no.2
• /
• pp.149-158
• /
• 1998

The aim of this paper is to propose the technique of the two dimensional geodetic coordinates conversion between WGS84 and Bessel spheroids by the two-dimensional affine transformation modeling based on the UTM plane coordinates without the local geoid model which is essential to three dimensional coordinates conversion. Area of approximately $25\times{11}$ square km in the city of Inchon was selected as the test area. The transformation parameters were determined using the eleven triangulation control points in test area. And then, those paraneters were applied to the fifteen cadastral control points which selected as checking points for precision checking of transformation parameters. The average and standard deviations of the absolute values of the conversion residuals of checking points in latitude/longitude and N/E(UTM) and/or x/y(TM) are $\pm0.006"$$\pm0.013"$ and $\pm{17cm/}\pm{30cm}$ respectively. Also, coefficients for 7-parameters, 3-parameters and UTM model transformation computed according as sizes of transformed area, and then the transformed characteristics of checking points according to transformation methods analyzed synthetically.hetically.