• 한국정보과학회논문지:데이타베이스
• /
• 제32권4호
• /
• pp.345-361
• /
• 2005

변환공간 색인이란 원공간 상의 공간 객체들을 변환공간 상의 크기가 없는 점들로 변환하여 색인한 후에 이들을 다루는 구조로, 이를 활용하는 조인 알고리즘은 크기가 없는 점들을 다루기 때문에 최적화가 상대적으로 단순하다는 장점을 가진다. 하지만, R 트리와 같은 원공간 색인에는 적용될 수 없는 단점을 가진다. 이러한 단점을 해결하는 방법으로 저자들 은 변환공간 뷰라는 개념을 사용하여 두 원공간 색인들을 변환공간에서 조인하는 변환공간 뷰 조인 알고리즘(transform-space view) join algorithm)을 제안한 바 있다. 여기서 변환공간 뷰(transform-space view)란 원공간 색인에 대한 가상의 변환공간 색인으로서 이미 구축된 원공간 색인을 구조적으로 변경하지 않고서도 가상의 변환공간 색인으로 해석하여 원공간 색인이 변환공간에서 조인될 수 있게 한다. 변환공간 뷰 조인 알고리즘에서 디스크 페이지 액세스 순서는 공간 채움 곡선에 의해 결정되는데, 이는 조인 성능에 큰 영향을 미친다. 본 논문에서는 변환공간 뷰 조인 알고리즘을 최적화 하는 방법으로 새로운 공간 채움 곡선인 적응형 행 기준 순서(adoptive row major order: ARM order)를 제안한다. 적응형 행 기준 순서는 주어진 버퍼 크기에 따라 디스크 페이지 액세스 순서를 적응적으로 조정하여 원패스 버퍼 크기(한 페이지 당 한번의 디스크 액세스를 보장하는 최소 버퍼 크기)와 디스크 액세스 횟수를 크게 줄인다. 정형적인 분석과 실험을 통하여 적응형 행 기준 순서를 사용하는 변환공간 뷰 조인 알고리즘의 우수성을 보인다. 실험 결과, 다른 공간 채움 곡선을 사용하는 변환공간 뷰 조인 알고리즘과 비교하여 적응형 행 기준 순서는 원패스 버퍼 크기를 최대 21.3배 줄이고, 디스크 액세스 횟수를 최대 $74.6\%$ 줄인다. 또한, R 트리를 원공간에서 조인하는 알고리즘들과 비교하여 원패스 버퍼 크기를 최대 15.7배 줄이고, 디스크 액세스 횟수를 최대 $65.3\%$ 줄인다.

• 한국콘텐츠학회논문지
• /
• 제5권3호
• /
• pp.73-81
• /
• 2005

CTOC(Classes To Optimized Classes)는 자바 바이트코드의 최적화와 분석을 위해 현재 개발 중인 프레임워크이다. CTOC는 스택 기반인 바이트코드를 최적화와 분석을 쉽게 하기 위해 3-주소 형태로 변환한다. 바이트코드가 타입에 관한 정보를 포함하지만 스택 기반의 동작을 수행하기 때문에 지역 변수를 위한 명시적인 타입을 갖지 못하는 경우가 발생한다. 따라서 바이트코드에서 3-주소 형태로 변환하는 과정에 사용되는 모든 변수는 정적 타입을 가져야 하는 문제점이 발생한다. 왜냐하면, 프로그램의 최적화나 분석을 위해서는 지역 변수의 타입을 알아야 하기 때문이다. 본 논문은 CTOC 프레임워크의 전반부로 바이트코드를 스택을 사용하지 않는 3-주소 형태로 변환하는 과정을 수행한다. 이 과정에서 스택 코드 형태인 CTOC-B 코드를 생성하고, 제어 흐름 그래프를 생성하여 바이트코드 수준에서 분석을 수행한다. 또한 정적 타입을 제공하기 위한 중간 과정으로 타입을 갖지 않는 CTOC-T 코드를 생성한다. 이를 위해 정적 단일 배정문 형태(Static Single Assignment Form)를 사용하여 모든 변수를 분리하고 각 변수에 새로운 이름으로 재명명하는 동작을 수행한다. 분리된 변수들은 추후 정적 타입 추론을 위한 준비 단계로 사용된다.

• 한국컴퓨터그래픽스학회논문지
• /
• 제29권3호
• /
• pp.105-115
• /
• 2023

본 논문에서는 수치모델 시뮬레이션 결과로 생성된 수십 TB의 우주 천체 시간가변(time-varying) AMR(adaptive mesh refinement) 볼륨 데이터를 다양한 XR 디바이스에 사용할 수 있는 최적화된 데이터로 변환하는 과정과 방법에 대해 설명한다. AMR 볼륨 데이터는 복잡한 모델링과 시뮬레이션에 유용하게 활용되는 데이터 구조로 본 연구에서 사용되는 매우 넓은 우주를 구성하는 성단과 가스와 같은 물질들을 효율적으로 표현할 수 있다. AMR 데이터의 메타데이터를 분석하여 낮은 해상도로 샘플링하고, 중요한 영역의 정보를 최적화하여 상대적으로 낮은 성능의 XR 디바이스에서도 사용할 수 있는 데이터 셋으로 변환한다. 마지막으로 데이터 셋을 활용한 실감 XR 콘텐츠 개발 사례를 통해 최적화된 데이터를 어떻게 활용하고 가시화하였는지 소개한다.

• 전자통신동향분석
• /
• 제12권5호통권47호
• /
• pp.73-83
• /
• 1997

최적화 컴파일러 및 병렬 컴파일러는 종속성 분석을 통하여 프로그램의 문장 사이, 동작들 간에 가해지는 실행 순서 상의 제약 조건을 추출한다. 이러한 제약 조건은 계산의 의미를 보존하기 위한 필요 조건들이며, 컴파일러의 성능을 향상시키기 위한 프로그램의 변환은 이 제약 조건을 만족하는 범위에서 수행되어야 한다. 본 고에서는 컴파일러에서 최적화 및 병렬화할 프로그램의 부분과 적용될 변형 기법 등을 결정하기 위해 필요한 종속성 분석에 대한 내용을 다룬다.

• 제어로봇시스템학회논문지
• /
• 제4권5호
• /
• pp.600-607
• /
• 1998

일반적인 비선형 동역학 최적화문제를 비선형 프로그래밍 문제로 변환하는데 제어변수들을 방사성 기본 함수로 근사화하는 방법이 사용되었다. 방사성 기본 함수의 계수들을 연속적으로 보정하기 위하여 최소수정기법에 기초를 둔 비선형 프로그래밍 알고리즘이 연구되었다. 이러한 알고리즘을 실제적인 다변수 제어 시스템에 적용하여 성능을 검증하였다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1999년도 하계학술대회 논문집 G
• /
• pp.2872-2875
• /
• 1999

본 논문은 주어진 적합한 이진 패턴들의 집합이 점근적으로 안정한 평형점들로써 저장되는 최적으로 성능을 갖는 GBSB (generalized brain-state-in-a-box)의 설계가 고려된다. GBSB 모델의 정성적 특성에 기초하여, 설계 문제가 제약 조건을 가한 최적화 문제로 공식화된다. 다음으로, 우리는 이 문제를 GEVP (generalized eigenvalue Problem)라고 불리는 최적화 문제로 변환한다. 제안된 방법을 예증하기 위함과 기존의 방법과의 비교를 위해서 설계 예제가 주어진다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2005년도 춘계학술발표대회
• /
• pp.541-544
• /
• 2005

EVM(Embedded Virtual Machine)은 모바일 디바이스, 디지털 TV 등 임베디드 컴퓨팅 환경에서 동적인 응용프로그램을 실행할 수 있는 가상기계 플랫폼(Virtual Machine Platform)이다. 가상기계를 이용한 응용프로그램은 플랫폼 독립적인 실행 및 효과적인 다운로드 솔루션을 통한 동적인 실행이 가능하다. EVM을 위한 가상기계 코드인 SIL(Standard Intermediate Language)은 언어/기계 독립적으로 설계되었다. 본 논문은 SIL 코드가 시스템 리소스의 제한이 큰 임베디드 시스템상에서 보다 효율적으로 실행되기 위하여 최적화를 수행하였다. 기존의 최적화 방법론에 관한 연구를 통하여 SIL 코드 특성을 고려한 최적화 방법론을 제시하고, 최적화된 코드를 생성하기 위한 코드 최적화기를 설계하고 구현현하였다. SIL 코드 최적화기는 컴파일러에 의해 생성된 SIL 코드를 입력으로 받아 효율적인 코드로 변환하여, 전체 코드의 크기를 줄이고 수행 속도의 개선효과를 얻을 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (B)
• /
• pp.229-231
• /
• 2001

공간 데이터베이스 시스템에서의 질의처리 과정 중 질의 재작성 과정에 의해 다중 블록 질의가 단일 블록으로 변환되면 공간 서술자와 비공간 서술자가 OR와 AND에 의해 연결되어있는 복잡한 CNF가 생성된다. CNF 내의 공간 서술자는 공간연산의 정제단계의 수행 비용이 비공간 연산에 비해 상당히 많이 들기 때문에 비공간 서술자와는 다른 최적화 기법이 필요하다. 본 논문에서는 공간 서술자가 포함된 복잡한 CNF를 수평적으로 분리하여 질의를 재작성하고 수행순서를 재조정하는 기법을 제안한다. 제안하는 기법은 원시 CNF를 수행 비용이 상대적으로 적은 전처리 단계의 CNF와 이에 비해 수행비용이 많이 드는 후처리 단계의 CNF로 분리하고 질의를 재작성 한 후 비용 모델에 의거해서 실행 트리를 최적화 한다. 본 논문에서 제시하는 기법은 질의 최적화 단계에서 공간연산의 단계별 실행특성을 감안한 효율적인 실행 계획 생성이 가능하다는 장점이 있다.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2004년도 춘계학술대회 논문요약집
• /
• pp.321-321
• /
• 2004

본 연구에서는 웨이퍼 단면 연삭기 구조물의 경량화 고강성화 최적설계를 위하여 가변벌점함수 유전 알고리즘을 이용한 다단계 최적설계 방법을 적용하였다. 구조강성 최대화와 중량 최소화라는 상반된 성질의 목적함수를 최적화하기 위하여 강성의 역수 개념인 컴플라이언스(compliance)를 도입하여 목적함수론 최소화시키는 문제로 만들었으며, 가증방법(weighted method)을 이용하여 다목적 함수를 단일 목적함수로 변환시켰다. 부재 단면형상 최적화 단계와 정적설계 최적화 단계, 및 동적 설계 최적화 단계를 순차적으로 수행하는 다단계 최적설계를 방법을 연삭기 구조물의 최적설계에 적용하였다.(중략)

• 한국통신학회논문지
• /
• 제28권9C호
• /
• pp.851-859
• /
• 2003

최근 사용자들의 멀티채널 선호도는 급속도로 전파되고 있다. MPEG은 동영상 및 음향시스템의 데이터 압축기술을 제공하는데, 현재 각광을 받고있는 것이 디지털 오디오이다. MPEG 표준안은 MPEG-1오디오 알고리즘을 MPEG-2 알고리즘에 동일하게 사용해도 멀티채널 및 5.1채널 사운드륵 제공한다. MDCT(Modified Discrete Cosine Transform)는 TDAC(Time Domain Aliasing Cancellation)에 기반을 두고있는 변형이산 여현 변환을 나타낸 것이다. 본 논문에서는 오디오 부분의 핵심이라 할 수 있는 MDCT/IMDCT(Inverse MDCT) 알고리즘을 최적화하여 효율적인 알고리즘을 제안하였다. 그리고 연산과정에서 중복되는 영역을 묶음으로써 연산에 필요한 계수를 줄였다. 최적화 전에 비해 코사인 계수를 0.5%이하로 최적화하였고, 승산에서 0.098%, 가산에서 0.58% 효율을 보였다. 알고리즘 검증은 C언어를 사용하여 검증하였고, 최적화된 알고리즘을 적용하여 마이크로 프로그램 방식의 하드웨어 구조론 설계하였다.