• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권11호
• /
• pp.661-670
• /
• 2008

만족가능성 처리기는 모델 검증 및 임베디드 프로그램 검증과 같이 소프트웨어 공학의 여러 분야에서 활용되고 있다. 만족가능성 처리기를 활용하기 위해서는 주어진 문제를 처리기의 입력인 CNF 형식으로 변환해야 한다. 그러나 이 형식은 소스코드나 소프트웨어 모델보다 표현력이 낮기 때문에 최적화된 변환이 요구된다. 본 논문에서는 "n개에서 인접된 $k{\leq}n$개 선택" 문제를 CNF형식으로 변환하는 최적화된 기법을 제시한다. 제안된 방법을 다양한 일본 퍼즐에 적용한 결과 우수한 성능이 입증되었다. 우리가 알고 있는 한, 인접성에 대한 최적화된 CNF 변환 연구는 거의 없다.

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

자바는 객체 지향언어로 네트워크 기반의 환경에서 응용프로그램을 효율적으로 개발을 위해 설계되었으며 특정 하드웨어나 운영체제에 영향을 받지 않고 동작 할 수 있는 높은 이식성을 가지고 있다. 하지만 자바 언어로 응용프로그램을 개발하면 다른 언어로 작성하는 것 보다 일반적으로 실행이 느리다는 단점이 발생하게 된다. 이를 극복하기 위해 자바 언어에 대한 최적화가 필요하다. 일반적으로 많이 쓰는 최적화 방법으로는 JIT와 같이 실행시간에 필요에 따라 컴파일하여 실행하는 방법과 바이트코드를 수행하고자 하는 특정 프로세서에 적합한 네이티브 코드를 생성하는 방법을 사용하고 있다. 하지만 이러한 방법들은 고유의 최적화 기법과 구현된 프로그램을 이용해서만이 최적화가 가능했고 또한 코드의 추출부터 최적화를 위한 모든 부분까지 구현해야하는 문제점이 있다. 또한 자바 바이트코드는 스택기반의 코드로써 명령어가 많고 표현이 명백하지 않다는 문제점을 가지고 있다. 따라서 분석과 변환이 어렵기 때문에 자바 바이트코드를 스택 기반이 아닌 분석과 최적화가 용이한 3-주소 형태로 변환하여 최적화 기법을 적용해야 한다 본 논문에서는 자바 바이트코드와 3-주소 형태의 중간 코드인 CTOC-B에 대해서 설계한다.

• 한국인터넷방송통신학회논문지
• /
• 제14권4호
• /
• pp.107-112
• /
• 2014

본 연구에서는 다중 사용자 환경의 볼륨 가시화(Volume Rendering)에서 변환 함수(Transfer Function)의 최적화 방안을 연구한다. 볼륨 데이터에 따라 필요한 변환 함수의 형태가 다르기 때문에 여러 번의 시행착오를 겪어야 필요한 변환 함수를 얻을 수 있는데, 이를 방지하기 위해 크라우드 소싱 기법을 이용하여 변환 함수의 파라미터를 최적화 하는 방안을 제안한다. 다중 사용자 환경에서 각 사용자마다 신뢰도에 따른 레벨을 지정하여 가중치로 사용한다. 이전 사용자가 사용했던 변환 함수 파라미터는 가중치만큼 다음 사용자에게 제공되기 때문에 다음 사용자는 변환 함수의 최적 파라미터를 찾기 위한 시도횟수를 줄일 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (3)
• /
• pp.460-462
• /
• 2004

최신의 동영상 압축 표준인 H.264[1]는 기존의 동영상 압축 표준에 비해 압축 성능이 매우 높으며 4$\times$4 DCT(Discrete Cosine Transform)를 수행하는 특징이 있다. H.264 표준에서는 압축 효율을 높이기 위해 Intra 프레임 내의 이웃한 픽셀칸의 연관성을 이용한 프레임 내 창조(Intra Prediction)를 수행한다. 그러므로 기존의 동영상 압축 데이터를 H.264로 변환하기 위해서는 intra 프레임의 프레임 내 창조와 8$\times$8 DCT 블록의 4$\times$4 정수형 DCT 블록으로의 변환을 필수적으로 수행해야 한다. 또한, Intra 프레임은 GOP 내의 다른 프레임의 창조 대상이 되므로 변환 시 화질의 최적화가 필수적이다[2]. 본 논문에서는 Intra 프레임의 변환 시 화질의 최적화를 위해 DCT 도메인 상에서 프레임 내 창조를 수행하는 기법을 제안한다. 제안된 기법은 추가적인 계산없이 DCT 변환으로 인한 오류를 줄여 변환된 intra 프레임의 화질을 개선할 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (A)
• /
• pp.644-646
• /
• 2003

물류 공급 관리 시스템과 같은 정보 통합 시스템은 분산되어 있는 데이터베이스들에 대해서 정보를 통합하여 사용자에게 보여준다. 이러한 정보 통합 시스템은 전역 질의를 생성하고 지역 질의로 변환하여 실행하기 전에 질의를 최적화할 필요성이 있다. 그런데, 단일데이터 베이스 시스템에서의 질의 최적화 기법은 멀티데이터베이스 시스템에서 사용하기에는 부적절하다. 이는 분산된 데이터베이스 환경에서 오는 높은 연결 오버헤드, 높은 계산 시간, 데이터의 중복성 뿐만 아니라 의미 이질성 문제 때문에 기존의 최적화 방법은 사용하기가 어렵다. 이를 해결하기 위해서 의미상 질의 최적화 방법이 연구되어 왔다. 의미상 질의 최적화는 전역 질의보다 더 효과적으로 응답하고 의미상으로 동등한 질의로 변환하기 위해서 의미상 지식을 사용한다. 본 논문에서는 정보 통합 시스템에서 Description Logic(DL)을 이용하여 의미상 지식으로 사용할 지식 기반을 표현하고 이를 바탕으로 추론화된 지식을 이용하는 의미상 질의 최적화 방식을 제시한다.

• 한국수자원학회:학술대회논문집
• /
• 한국수자원학회 2017년도 학술발표회
• /
• pp.213-213
• /
• 2017

저수지 유입량은 효율적 저수지 운영을 위해 중요한 요소로, 이는 하류 하천 등과 복합적으로 연계되기에 통합적 수자원 관리를 위해서 정확한 추정이 중요하다. 국내의 일부 저수지에서는 상류에서 유입되는 유량을 측정하고 있으나, 모든 저수지에 대해 측정하기에는 현실적 한계가 있다. 한편, 한국농어촌공사에서는 유효저수량 10만톤 이상 저수지에 대해 수위 계측기를 설치하여 수위자료를 관측하고 있으며, 이는 수위-내용적 곡선을 통해 저수량으로 변환이 가능하다. 저수량 자료가 확보되면 물수지식 기반으로 간접적으로 유입량의 추정이 가능하나, 수위가 상승하는 구간에 대해서만 적용이 가능하기에 연속적인 자료의 확보에 한계가 있다. 이 경우 불연속 유량자료를 대상으로 수문모형의 매개변수를 최적화하여 장기간 연속자료로 변환하는 것이 한 방안이 될 수 있다. 본 연구에서는 저수지 수위 기반으로 추정된 간헐적 유입량 자료를 기반으로 수문모형의 매개 변수를 최적화하여 장기유량으로 변환하고자 한다. 수문 모형과 매개변수 최적화 기법은 각각 Tank 모형과 SCE (Shuffled Complex Evolution) 기법을 이용하였다. 매개변수 최적화를 위한 목적함수는 고유량 저유량 총량 분산 관련 지표에 가중치를 부여한 다중 목적함수로 설정하였으며, 이를 통해 도출된 다양한 매개변수 후보군 중 고유량 저유량 총량 유황곡선의 유사정도가 전반적으로 일치하는 매개변수 군을 선택하였다. 본 연구 결과는 미계측 저수지 유입량을 추정할 수 있음으로써 저수지의 효율적인 물관리와 용수관리 의사결정에 활용할 수 있을 것으로 사료된다.

• 한국전자파학회논문지
• /
• 제20권4호
• /
• pp.390-395
• /
• 2009

본 논문에서는 미앤더 스트립라인을 이용한X-대역 광대역 편파 변환기 설계 및 최적화 문제에 대해서 고찰하였다. 편파 변환기에 입사되는 편파를 수직, 수평 성분으로 분리하고 각 편파별로 등가 전송선 모델(transmission line model)을 사용하여 교차 편파 억제율과 편파 변환율을 계산하였다. 또한, 최적화된 파라미터 도출을 위해 유전 알고리즘과 particle swarm optimization에 기반한 하이브리드 알고리즘의 성능을 평가하고 설계에 적용하였다. 최적화된 편파 변환기는 X-대역(8.45$\sim$11.38 GHz)에서 -25 dB 이하의 편파 억제 성능을 보여주고 있으며, 편파 변환 손실은 0.2 dB 이하로 계산되었다. 또한, 이 결과를 상용 시뮬레이션 수치와 비교 분석하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (1)
• /
• pp.99-101
• /
• 1998

대용량 공간 데이터를 포함하는 공간 데이터베이스에서 검색성능의 향상을 위해 공간 질의어가 최적화가 중요한 과제이다. 본 논문에서는 공간 데이터베이스에서 속성/공간 조건이 혼합된 질의에 적합한 질의 최적화 기법을 제시한다. 제안된 기법은 기존의 변환 규칙을 이용해서 대수 트리를 변환해 나가는 방법과는 달리 혼합된 질의어에 대한 질의 그래프로부터 동적 프로그래밍 기법으로 탐색 알고리즘을 실행함으로써 탐색 공간을 줄일 수 있고, 더욱 효율적으로 최소 비용의 실행 전략들 수립할 수 있다.

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2012년도 전력전자학술대회 논문집
• /
• pp.317-318
• /
• 2012

최근 전력변환장치에서 널리 사용되고 있는 반도체 소자인 IGBT는 소형 최적화 및 다기능을 갖도록 고집적화설계가 요구되고 있다. 또한, 대용량 소자로 조립공정을 간단히 할 수 있는 제품을 필요로 하고 있다. 본 논문은 고객이 전력변환장치를 설계하는 경우에 개발기간 단축과 최적화된 설계를 할 수 있는 전력용반도체 SKiiP 4에 대해서 소개하고자 한다.

• 한국음향학회:학술대회논문집
• /
• 한국음향학회 2004년도 추계학술발표대회논문집 제23권 2호
• /
• pp.359-362
• /
• 2004

수중에서 사용되는 음향변환기의 성능은 사용환경 뿐만 아니라 많은 설계변수들의 조합에 의해 결정되며, 이들 설계변수들의 영향은 서로 선형 독립적이지 않은 경우가 대부분이다. 따라서 음향변환기의 최적성능을 구현하기 위해서는 각 설계변수들의 개별영향 뿐만 아니라 강호작용에 의한 영향을 동시에 고려하여야 한다. 본 연구에서는 tonpilz 변환기에 대하여 유한 요소 해석을 통하여 설계변수들이 중심 주파수, 대역폭, 음압 및 충격력에 미치는 영향을 파악하였고, 그 결과들의 통계적 다중 회귀분석을 통하여 중심 주파수 대역폭 음압 및 충격력을 이들 설계변수들의 함수로 도출하였다. 나아가 제한 최적화 기법을 이용하여 주어진 사용 환경에서 동작하면서 최대 음압을 구현할 수 있는 변환기의 최적 구조를 자동으로 결정할 수 있는 프로그램을 개발하였다. 본 연구에서 개발된 최적화 프로그램은 다중 설계변수들의 상호효과를 충분히 반영할 수 있으며, 유사한 기능의 여타 음향변환기 설계에 직접 응용이 가능할 것이다.