• Proceedings of the Korean Society of Computer Information Conference
• /
• 2013.07a
• /
• pp.423-426
• /
• 2013

본 연구에서는 임분 단위에서 산림의 이산화탄소 흡수 및 저장 기능을 최적화 할 수 있는 최적의 산림시업체계를 도출하고자하였고, 이를 위해 임분 생장모델과 Simulated Annealing 휴리스틱 기법을 적용하여 임분탄소 최적화 프로그램을 개발하였다. 휴리스틱 알고리즘에서 최적해를 찾기 위해 반복 실행 되는 과정에서 더 이상 최적해을 찾지 못하고 목표 값이 어떤 일정한 값(Local Optimum)에 계속 머무는 현상을 해결하기 위해 임계치를 적용하며, SA 휴리스틱 기법에서는 열균형테스트를 이용하고 있다. 개발된 프로그램을 이용하여 3가지 산림 시업 시나리오에 대한 비교 분석을 실시하기 위해 프로그램을 실행한 결과, 목재수확량의 경우 목재수확량을 최대를 목표로 한 대안이 3개 시나리오 가운데 목재수확량이 가장 높은 것으로 나타났으며, 또한 탄소저장량에서도 탄소저장량을 최적화한 대안이가 탄소저장량이 가장 높은 것으로 나타나 프로그램이 목적에 맞게 개발된 것으로 판단됐다. 또한 열균형 테스트의 온도저감율을 조정하여 프로그램을 반복실행하여 온도저감율이 프로그램 실행 시에 미치는 영향을 분석한 결과 온도저감율에 따라 출력되는 목적함수의 최적값과 프로그램 반복횟수가 영향을 받는 것으로 나타나 프로그램 실행을 최적으로 하기위해 온도 저감율의 파라미터 값을 0.1로 설정하였다.

• Proceedings of the Korea Institute of Fire Science and Engineering Conference
• /
• 2013.11a
• /
• pp.189-190
• /
• 2013

본 연구에서는 청정소화약제 소화설비의 설계인자(약제량, 약제방출량, 약제방출시간, 배관의 압력손실 등)를 최적화할 수 있는 설계프로그램을 개발하였다. 최적화 기법은 최적화 이론 중 최대 경사법(steepest descent method)을 이용하였고 목적함수와 제한조건식을 선형화시켜 최적점을 찾았다. 설계프로그램으로부터 소화설비의 시공 오차, 비용 및 시간을 줄일 수 있으며, 소화설비의 신뢰성 확보로 화재진압을 극대화할 수 있다.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.4 no.3
• /
• pp.681-687
• /
• 2000

Ideograph is a truly unifies data and procedural dependencies, Ideograph can be used to assist various program optimization, such as common expression elimination, code motion, constant folding etc. In this paper, we design and implementation of the optimized abstract syntax tree using Ideograph. Ideograph has control flow information and data flow information for source program. So we use a Ideograph in order to produce a optimized Ideograph with control flow information and data flow information.

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06c
• /
• pp.462-465
• /
• 2011

웹 애플리케이션의 사용이 늘어남에 따라 자바스크립트 프로그램의 성능을 높이는 것이 중요한 문제가 되었다. 자바스크립 프로그램에 대해 별칭 분석을 수행하면 더 많은 최적화가 가능해지지만, 자비스크립트가 가지는 동적인 특성으로 인해 분석 방법을 고안하는 데 어려움이 있었다. 본 논문에서는 자바스크립트의 주요한 동적 특성을 온전하게 다루는 별칭 분석 알고리즘을 최초로 제안한다. 제안한 방법은 별칭 그래프를 생성하여 프로그램 내의 별칭 관계를 완전하게 찾아내며, 또한 실행시킬 코드가 동적으로 추가될 때마다 이전에 이루어졌던 최적화가 유효한지 검사한다. 별칭 분석 결과를 이용하여 V8 자바스크립트 엔진에서 추가적으로 최적화를 수행한 결과, 유의미한 수행 시간 감소를 확인할 수 있었다.

• Annual Conference of KIPS
• /
• 2005.05a
• /
• pp.525-528
• /
• 2005

원시 프로그램에 대한 컴파일 과정 중 최적화 단계에서는 프로그램의 실행 속도를 개선시키고 코드 크기를 줄일 수 있는 다양한 최적화 기법을 수행한다. 특히, 핍홀 ��적화는 비효율적인 명령어의 순서를 구별해 내고 연속되는 명령어의 순서를 의미적으로 동등하면서 좀 더 효율적인 코드로 개선하는 방법이다. 최적화 패턴 매칭 방법 중 스트링 패턴 매칭 방법은 중간 코드에 대응하는 최적의 패턴을 찾기 위한 방법으로 과다한 최적화 패턴 검색 시간으로 비효율적이고, 트리 패턴 매칭은 패턴 결정시 중복 비교가 발생할 수 있으며, 코드의 트리 구성에 많은 비용이 드는 단점을 가지고 있는 방법들이다. 본 논문에서는 기존의 최적화 방법들의 단점을 극복하기 위한 방법으로 DFA(Deterministic Finite Automata)를 이용한 코드 최적화 방법을 제안한다. 이 방법은 다른 패턴 매칭 기법보다 오토마타(Automata)로 구성하기 때문에 비용은 적어지고, 오토마타를 통해 결정적으로 패턴이 확정됨에 따른 패턴 선택 비용이 줄어들며, 최적화 패턴 검색 시간도 빨라지는 효율적인 방법이다.

• Annual Conference of KIPS
• /
• 2004.05a
• /
• pp.625-628
• /
• 2004

GVM(General Virtual Machine)은 무선 단말기 상에서 동적인 응용프로그램을 실행할 수 있는 가상 기계(Virtual Machine) 플랫폼이다. 가상 기계를 이용한 응용프로그램의 실행은 플랫폼 독립적인 실행이 가능하며 또한 효과적인 다운로드 솔루션을 통한 동적인 실행이 가능하다. GVM은 SGS 파일을 다운로드 받아 실행되는 시스템이므로, 성능의 저하없이 실행되기 위해서는 효율적인 최적화와 실행 시스템이 요구된다. 본 논문은 SGS 파일이 시스템 리소스의 제한이 큰 무선 단말기 상에서 보다 효율적으로 실행되기 위해서 SAL 코드에 대한 최적화를 수행하였다. SAL 코드 최적화 단계를 수행한 GS 파일은 부분적으로 SGS 파일의 최적화를 가져와 전체 SGS 파일의 크기를 줄이고, 실행될 때 수행 속도 면에서 좀 더 빠른 실행 속도를 가지게 된다. 존재하는 최적화 방법론에 관한 연구를 통하여 SAL 코드의 특성을 고려한 최적화 방법론을 제시하고, 최적화된 SAL 코드를 생성하기 위한 코드 최적화기에 관하여 설계하고 구현하였다.

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

센서 네트워크 운영체제는 다양한 실험과 작업을 위해 다양한 기능을 수행해야한다. 이를 위해 센서 운영체제는 필요에 따라 응용프로그램을 설치하여 사용하고 이를 필요에 따라 수정하는 것을 지원한다. 이에 따라 센서 운영체제는 다양한 응용프로그램을 사용할 수 있도록 범용화 되고 고정된다. 또한 운영 체제 와 응용프로그램의 분리에 따라 오버헤드가 발생하게 된다. 따라서 센서 운영체제가 설치된 운영체제에 따라 커널의 구조를 최적화하고 응용프로그램수행에 따른 오버헤드를 최적화하는 작업이 필요하다. 본 논문에서는 커널을 모듈화하고 필요에 따라 선택적으로 커널을 재구성 할 수 있는 프레임워크를 제안한다. 제안하는 시스템은 모듈화 된 커널 자원을 효율적으로 관리하며, 수행하는 응용 프로그램의 요구 기능에 따라 커널의 구성을 바꿀 수 있어 최적화된 커널을 유지할 수 있다.

• Annual Conference of KIPS
• /
• 2004.05a
• /
• pp.337-340
• /
• 2004

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

• Journal of the Korea Computer Industry Society
• /
• v.7 no.3
• /
• pp.145-154
• /
• 2006

This paper improves algorithms of Speculative Partial Redundancy Elimination(SPRE) proposed by Knoop et al. Improving SPRE algorithm performs the execution speed optimization based on the information of the execution frequency from profiling and the memory space optimization. The first purpose of presented algorithm is to reduce in space requirements and the second purpose is to de crease the execution time. Since too much weight on execution speed optimization may cause the explosion of the memory space, it is important to consider the size of memory. This fact can be a big advantage in the embedded system which concerns the required memory size more than the execution speed In this paper we implemented the min-cut algorithm, and this algorithm used the control flow graph is constructed with network and partitioned.

• Proceedings of the Korean Reliability Society Conference
• /
• 2002.06a
• /
• pp.211-216
• /
• 2002

실제적인 문제에서 신뢰성 기반 최적 설계(RBDO)를 구현하기 위해서는 유한요소 모델을 해석하기 위한 상용 프로그램과 설계한 것에 대한 신뢰성을 산정할 수 있는 프로그램을 통합하고 최적화 알고리듬을 적용하여야 최적화를 수행하여야만 한다. 또한 최적화 과정에서 최적상태에서 제약조건이 비활성 영역에서 놓이게 되는 것을 방지하기 위해서 제약조건 최적화 문제를 비제약 조건 최적화 문제로 바꾸어 주는 장애 함수를 사용하여 최적화를 수행하였다. 그리고 이 방법론을 기존의 신뢰성기반 최적화 방법론, 즉 신뢰도지수 접근방법과 목표성능치 접근방법과의 비교를 하였다.