• 전자공학회논문지
• /
• 제53권12호
• /
• pp.20-35
• /
• 2016

본 논문에선 병렬 십진 곱셈기의 축약 단계의 면적과 지연시간을 감소시켜 성능을 향상시키기 위해 다중 피연산자 십진 CSA과 개선된 십진 CLA를 이용한 트리 구조를 제안한다. 제안한 부분곱 축약 트리는 십진수 부분곱에 대해 다중 피연산자 십진 CSA를 사용하여 빠르게 부분곱을 축약한다. 각 CSA에서는 리코딩에 입력의 범위를 제한함으로써 가장 간단한 리코더 로직을 얻는다. 그리고 각 CSA는 특정한 아키텍처 트리의 특정한 위치에서 범위가 제한된 십진수를 더하기 때문에 부분곱 축약 단계의 연산을 효율적으로 수행할 수 있다. 또한, 사용되는 십진 CLA의 로직을 개선하여 BCD 결과를 빠르게 얻을 수 있다. 제안한 십진 부분곱 축약 단계의 성능의 평가를 위해 Design Compiler를 통해 SMIC사의 180nm CMOS 공정 라이브러리를 이용하여 합성하였다. 일반 방법을 이용하는 축약 단계에 비해 제안한 부분곱 축약 단계의 지연시간은 약 15.6% 감소하였고 면적은 약 16.2% 감소하였다. 또한 십진 CLA의 지연시간과 면적이 증가가 있음에도 불구하고 전체 지연시간과 전체 면적이 감소함을 확인하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 춘계학술발표논문집 (상)
• /
• pp.83-86
• /
• 2002

최근 지리 정보 시스템이나 공간 데이터 베이스 시스템이 발전하면서 실세계를 효율적으로 모델링하려는 맡은 연구가 수행되고 있다. 기존의 단순한 point, line, polygon으로 모델링했던 방법들을 multipoint, multiline, multipolygon과 같은 복잡한 객체를 표현하기 위한 연구로 확장되었다. 또한 이러한 공간 객체의 이력을 효율적으로 관리하기 위해 공간 객체를 시간으로 확장하는 연구가 수행되고 있다. 이러한 모델들은 명확한 경계를 가진 시공간 객체를 대상으로 한다. 자연, 사회 문화 현상, 생태 같은 경계가 명확하지 않은 객체를 단순한 경계를 가진 공간 객체로 모델링하기에는 그 표현력이 부족하다. 따라서 이 논문에서는 이런 문제점을 해결하기 위해서 불확실한 경계를 가진 시공간 데이터 모델을 제시한다. 이 논문에서 제시한 불확실한 경제를 가진 시공간 모델의 설계는 상호 운용을 증진하기 위하여 OGC(OpenGIS Consortium)에서 제시한 2차원 기하 객체 모델을 기반으로 불확실한 경계를 가지는 공간 데이터 모델로 확장한다. 또한, 이 불확실한 경계를 가지는 단순한 공간 모델을 시간 영역으로 확장하여 유효시간을 갖는 불확실한 시공간 데이터 모델을 설계한다. 또한, 이 논문에서 제시한 불확실한 경계를 가진 시공간 객체 모델을 바탕으로 실세계의 다양하고 복잡한 객체에 대한 효율적인 질의가 가능한 시공간 연산자를 제시한다.

• 한국데이타베이스학회:학술대회논문집
• /
• 한국데이타베이스학회 1997년도 International Conference MULTIMEDIA DATABASES on INTERNET
• /
• pp.483-503
• /
• 1997

객체지향 데이터베이스 시스템에서 시간지원 데이터베이스를 다룰 때 발생하는 중요한 문제는 관계 의미에 따라 시간과 속성을 결합하는 방법에 있다. 관계형 모델처럼 속성 버전화에 대한 기존의 연구 결과는 시간지원 객체지향 모델에 적용할 수 없다. 이것은 객체지향 모델이 복합 객체를 구성하기 위해서 기존의 모델보다 더욱 강력한 구성자들을 제공하기 때문이다. 그래서 이 논문은 객체지향 데이터베이스에 시간 개념을 통합하기 위한 형식적 접근방법을 제안한다. 이 논문의 목적은 객체 사이에 관계하는 일반화, 집단화와 연관화에 따라 시간지원 객체지향 데이터베이스 표현을 연구하는 것이다. 이 논문은 시간지원 객체지향 모델에서 속성 버전화의 개념을 정의하고, 객체 사이에 존재하는 관계에 대해서 시간을 표현하는 것에 중점을 둔다. 또한 관계 의미에 대한 제약조건을 규정하고, 표현 기준에 기반하여 검토한다. 이 논문은 객체지향 데이터 모델을 형식화함으로서 대수 연산자를 설계시 강력한 연산 기능을 제공할 뿐만 아니라 모듈의 재사용성을 제공할 수 있다.

• 한국항공우주학회지
• /
• 제33권9호
• /
• pp.34-40
• /
• 2005

본 연구에서는 비정상 유동해석을 위한 CFD 코드의 개발을 위해 대각화 ADI 기법을 적용한 정상 해석기법과 내재적 이중시간 전진기법을 도입하였다. 정상상태 Navier-Stokes 방정식의 Jacobian 행렬은 비점성항에 대해서만 적용하였고 여기에 내재적 인공점성 연산자를 첨가하여 블록 5대각 행렬을 유도하였다. 시간단축을 위해 스칼라 5대각 행렬로 대체하였다. 가상시간에 대한 정상상태기법에 실시간에 대한 미분항이 포함된 새로운 잔류항을 정의하였다. 가상시간에 대해 수렴된 해로부터 실시간 해를 구하고 시간에 대해 적분을 수행하는 내재적 이중시간 전진기법을 이용한 비정상 Navier-Stokes 코드를 개발하였다. 이에 대한 검증으로 정지한 유체속에 진동하는 평판문제, 원기둥 후방의 주기적인 Karman 와류생성, 이중원호 익형주위의 충격파 진동문제등을 수치해석하여 이론치, 실험치, 타연구자의 계산결과와 비교, 분석하였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제27권5호
• /
• pp.521-528
• /
• 2000

영역이론의 숨겨진 문제점들 중의 하나는 에이전트가 자신의 행위를 이해하지 못한다는 점이다. Graphplan은 효율향상을 위해 mutex를 활용하고 있지만 이와 관련된 부정의 의미를 이해하지 못함으로써 영역이론의 중복성 문제를 야기한다. 이 문제에 대한 해결을 위해 IPP에서는 not 등과 같은 부정함수를 이용하지만, 부정함수의 사용은 시간과 공간적 비용을 수반한다. 인간은 주어진 어떤 사실을 부정하기 위하여 MDL 원리에 의해 반대개념을 사용한다는 점을 통하여, 우리는 부정적 사실을 표현하기 위해서 통념적 방식처럼 부정함수를 사용하는 것보다 긍정적 atom을 사용하는 것이 지능에이전트의 구축을 위해서 더 효율적 기법이라는 가설을 제시하고 IPP 도메인에서 이 가설을 지지하는 실험적 결과를 제시한다. 인간이 사용하는 것과 유사한 반대개념을 에이전트가 자동적으로 학습하기 위하여 영역이론으로부터 반대연산자들로 구성된 사이클을 생성하고 연산자들에 대한 실험을 통해서 반대 literal들을 추출한다.

• 응용통계연구
• /
• 제22권4호
• /
• pp.709-721
• /
• 2009

본 논문은 형태학적 워터쉐드 알고리즘을 이용하여 잡음에 강한 효율적인 영상분할에 대해서 논의하고자 한다. 기존의 형태학적 워터쉐드 알고리즘에 의한 영상분할은 크게 형태학적 연산자에 의한 영상의 단순화, 경사 영상 생성, 워터쉐드 알고리즘 수행 그리고 영역 병합 등의 여러 단계에 걸쳐 이루어진다. 그러나 기존의 형태학적 워터쉐드 알고리즘에 의한 영상분할은 과분할이 많이 일어나는 단점을 갖고 있다. 본 논문에서는 과분할을 줄이기 위해 잡음에 강한 형태학적 연산자에 의한 경사영상을 생성하고 워터쉐드 알고리즘을 적용 후 통계적인 콜모고로프-스미르노프 검정을 사용하여 인접한 영역 간의 픽셀 값 분포를 비교함으로써 부적절한 영역 병합을 최소화하였다. 본 논문에서 제안한 영상분할의 성능을 평가하기 위해 기존의 방법과 정성적이고 정량적인 비교뿐 만아니라 영상분할에 소요되는 계산시간까지 비교하였다.

• 정보처리학회논문지D
• /
• 제11D권1호
• /
• pp.39-50
• /
• 2004

지리정보의 상호 운용성을 제공하기 위해 제안된 GML은 무선 환경에서의 응용을 위해 다양한 동적 객체 스키마를 명세하고 있다. 이러한 GML 동적 객체 스키마는 시간의 변화에 따라 그 위치와 모양이 연속적으로 변화하는 이동객체의 표현을 지원하여, 이동객체의 위치 정보를 기반으로 다양한 응용 서비스를 제공하는 위치기반서비스에서 GML 활용도가 증대되고 있다. 특히, GML 질의어는 지리정보의 통합, 공간 연산자의 지원 등을 중심으로 많은 연구가 수행되었다. 그러나, 기존의 GML 질의어는 이동객체에 대한 질의를 고려하지 않고 있다. 따라서 이 논문에서는 GML 문서에 대한 이동객체 질의를 지원하기 위해 표준 XML 질의어인 XQuery를 확장한 이동객체 질의어를 제안한다. 또한, 제안질의를 위한 데이터 모델 및 대수 연산 그리고 다양한 이동객체 연산자를 설계하고, 제안 질의어를 돌풍 관제 시스템에 적용하여 제안 질의어가 다양한 위치기반서비스에 효과적으로 사용될 수 있음을 보인다.

• 한국공간정보시스템학회 논문지
• /
• 제9권2호
• /
• pp.1-11
• /
• 2007

최근에 공간 데이타의 수집 방법이 발전하면서 다양한 산업과 연구 분야에서 공간 데이터가 생성되고 유통 및 활용되고 있다. 이러한 대용량의 공간 데이타를 효율적으로 처리하기 위하여 ESRI의 ArcSDE, Oracle의 Oracle Spatial과 같은 기존 DBMS를 확장하는 연구들이 활발히 진행되고 있다. 그러나 이러한 상용 DBMS의 확장을 사용 시에는 추가적인 비용이 발생하고, 사용되는 공간 데이터 타입과 공간 연산자들이 서로 상이함으로 인해 상호운용성의 문제를 초래하고 있다. 따라서 본 논문에서는 OGC(Open Geospatial Consortium)에서 제시한 "SQL을 위한 심플 피쳐 명세(Simple Features Specification for SQL)"의 표준 인터페이스를 지원하는 OpenGIS 공간 인터페이스를 Oracle 상에서 개발하였다. OpenGIS 공간 인터페이스는 "SQL을 위한 심플 피쳐 명세"에서 제시한 모든 데이타 타입과 공간 연산자를 지원하기 때문에 사용자는 추가적인 비용 없이 본 논문에서 개발한 OpenGIS 공간 인터페이스를 사용하여 Oracle의 대용량 공간 데이타를 효율적으로 처리할 수 있다. 또한, 성능 평가를 통해 OpenGIS 공간 인터페이스가 Oracle Spatial보다 응답 시간 측면에서 우수한 성능을 보임을 입증하였다.

• 한국해안·해양공학회논문집
• /
• 제22권1호
• /
• pp.47-57
• /
• 2010

Woo and Liu (2004)의 확장형 Boussinesq FEM 수치모형에서 한계점으로 지적되었던 수치진동현상과 계산 효율성이 크게 개선되었다. 수치진동을 해결하기 위해 subgrid scale stabilization method를 사용하였고, 계산효율성을 높이기 위해서 Hessian 연산자를 도입하였으며, 유속벡터에 대한 행렬 구성을 하나의 행렬로 구성하였다. 또한 추가변수에 대한 행렬은 mass lumping technique을 사용하여 대각행렬로 구성하였다. Vincent and Briggs(1989)의 파랑 굴절 및 회절에 대한 수치실험 결과 수치진동현상이 확연히 줄어 들은 것을 관찰할 수 있었으며, 수리실험 결과와도 상당히 일치하는 결과를 보였다. 이전 모형에 비해 약 10배의 계산소요시간이 줄어 향후 항만부진동이나 퇴적물 이동과 같은 현실적인 문제에 적용이 가능할 것으로 기대된다.

• 지구물리와물리탐사
• /
• 제3권2호
• /
• pp.70-75
• /
• 2000

탄성파 탐사자료의 구조보정에는 주로 Kirchhoff 및 역시간 구조보정이 이용되고 있다. 파동방정식을 이용한 역시간 구조보정에는 양방향 및 일방향 파동방정식이 이용된다. 일방향 파동방정식을 사용한 접근법은 하향 파동장 외삽연산자를 근사하게 계산하는 방식으로, 양방향 파동방정식을 이용한 방법에 비해, 계산량이 적고 작은 컴퓨터 주기억장치로 작업이 가능하다. 본 논문에서는 일방향 파동방정식을 이용하여 중합전 역시간 구조보정을 수행하였다. 주파수-공간영역에서 음원 파동장의 전파 및 관측 파동장의 역시간 전파에 단일주파수 일방향 파동방정식을 이용하였으며, 이 두 파동장의 영 지연 상호상관을 계산하여 구조보정하였다. 구조보정에는 초병렬 슈퍼검퓨터(MPP, Massively Parallel Processors) CRAYT3E가 사용되었으며, 이 작업을 통해 알고리즘이 쉽게 병렬화가 가능하여 효율적으로 구조보정에 이용될 수 있음을 확인하였다.