• Annual Conference of KIPS
• /
• 2002.04b
• /
• pp.1187-1190
• /
• 2002

휴대폰 사용 인구가 급증하고, 최근 출시되는 휴대폰의 사양이 좋아짐에 따라, 휴대폰을 위한 응용프로그램(application program) 개발자 역시 늘어나고 있다. 하지만, 휴대폰이 PC 에 비해 제한된 자원을 갖는 장치이기 때문에, 고성능의 PC 에서는 고려하지 않았던 최적화 문제가 발생하고 이를 해결해야 할 필요가 있다. 더욱이 최근에는 휴대폰으로 동영상을 보려는 시도가 늘고있는데, 동영상 플레이어는 기타 대부분의 응용 프로그램보다 많은 연산이 필요한 응용 프로그램이므로 최적화 문제가 더욱 절실해졌다. 본 논문에서는 휴대폰에서 특히, BREW platform 에서 프로그래밍 시에 필요한 최적화 기법을 소개한다.

• Journal of the Korea Society of Computer and Information
• /
• v.18 no.12
• /
• pp.197-205
• /
• 2013

In this study, we developed a program of optimizing stand-level carbon stock using a stand-level yield model and the Simulated Annealing (SA) heuristic method to derive a optimized forest treatment solution. The SA is one of the heuristic algorithms that can provide a desirable management solution when dealing with various management purposes. The SA heuristic algorithm applied 'thermal equilibrium test', a thresholds approach to solve the phenomenon that does not find an optimum solution and stays at a local optimum value during the process. We conducted a sensitivity test for the temperature reduction rate, the major parameter of the thermal equilibrium test, to analyze its influence on the objective function value and the total iteration of the optimization process. Using the developed program, three scenarios were compared: a common treatment in forestry (baseline), the optimized solution of maximizing the amount of harvest(alternative 1), and the optimized solution of maximizing the amount of carbon stocks(alternative 2). As the results, we found that the alternative 1 showed provide acceptable solutions for the objectives. From the sensitivity test, we found that the objective function value and the total iteration of the process can be significantly influenced by the temperature reduction rate. The developed program will be practically used for optimizing stand-level carbon stock and developing optimized treatment solutions.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.2
• /
• pp.307-314
• /
• 1999

In this paper, we study on the transformation technique of sequential programs for the purpose of 'exploiting parallelism' and 'improving locality'. Based on the analysis of loop procedures of sequential programs with the factor of dependency and locality, two transformation techniques of loop distribution and loop fusion are applied to them. Transformed programs can be easily expressed as a parallel program wit thread notation, having coarse-grain parallelism and improved locality. This means that those transformations can be useful tools for optimizing and automatic-parallelizing compiler construction. Application of those techniques to SPEC95 on a solaris machine with four SPARC processors show an improvement of execution time.

• Electronics and Telecommunications Trends
• /
• v.14 no.2 s.56
• /
• pp.1-13
• /
• 1999

본 연구는 병렬성 및 지역성 증진을 위한 컴파일러 최적화에 관한 연구로서, 순차 언어로 작성된 프로그램을 병렬성을 명시하는 프로그램으로 변환하는 자동 병렬화 기술을 연구하고, 병렬화를 위한 코드 변환을 수행한 후 쓰레드를 이용한 최적화된 코드 생성을 통하여 프로그램의 효율성을 높이는 것을 목적으로 한다. 이는 병렬 컴퓨터에서의 프로그램 개발 생산성을 높일 수 있고, 컴파일러의 관련 기술 발전에 도움을 줄 수 있다. 본 고에서는 순차 언어인 FORTRAN 및 C 프로그램을 입력으로 받아 병렬성 및 지역성 분석을 수행하고, 분석을 통해 기본 컴파일러로 선정한 SUIF 컴파일러에서 사용되는 루프 변환을 포함하여 루프 분산 및 병합의 프로그램 변환을 수행한 후, 쓰레드 실행시간 라이브러리로 병렬성을 명시한 C 프로그램을 출력하는 병렬화 번역기에 대한 연구 내용을 기술하였다.

• Journal of Intelligence and Information Systems
• /
• v.6 no.2
• /
• pp.41-47
• /
• 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 propose an improved representation of the data and control flow dependencies information for the efficient program execution. In pursuing this goal, we propose a model and in particularly implement a dependency information extractor and information table, which contains data and control flow information per a basic block And then we design and implementation of the optimized abstract syntax tree using Ideograph which has a control flow information and data flow information for source program.

• Annual Conference of KIPS
• /
• 2020.05a
• /
• pp.28-31
• /
• 2020

한정된 고성능 자원을 여러 사용자들에게 제공해야하는 슈퍼컴퓨터와 같은 시스템은 제한된 기간 내에 보다 많은 양의 작업이 실행되도록 시스템 활용률을 높이는 방안이 필요하다. 이를 위해 시스템 관리자가 수행할 응용 프로그램에 대한 사전 정보를 파악하는 것이 유용하다. 대부분의 고성능 컴퓨팅 시스템 운영에 있어 작업을 실행할 때 사용자로부터 실행 기간 자원 요구사항들에 대한 정보를 제공 받거나 시스템 사용 통계 값을 사용하여 필요한 정보를 생성하는 등의 프로파일링 기술을 바탕으로 시스템 활용률을 높이는데 활용하고 있다. 본 논문의 선행연구에서 하드웨어 성능 카운터를 이용하여 응용 특성 분석을 실행하고 이 결과를 바탕으로 작업 스케줄링을 최적화하는 기술을 개발한 바 있다. 본 논문에서는 슈퍼컴퓨터 최적 실행 지원을 위한 프로파일링 테스트베드를 구축하고 단일노드를 기반으로 분석한 응용 프로그램 특성 결과를 활용한 스케줄링 최적화 기법이 확장성 있게 동작함을 보이고자 하였다. 또한 중규모 클러스터에 개발한 스케줄링 최적화 기법을 적용한 결과 전체 응용 프로그램이 실행 시간을 단축함으로써 최대 33%의 성능 향상 효과를 얻었다.

• Electronics and Telecommunications Trends
• /
• v.12 no.5 s.47
• /
• pp.73-83
• /
• 1997

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

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04b
• /
• pp.850-852
• /
• 2004

고급 언어 (high-level language)로 프로그램을 쓰고 그것이 맞다고 증명 했을때, 프로그램과 증명을 동시에 "컴파일"해주는 방법을 찾으려고 한다. 이러한 방법은 "증명 보내기"(Proof Carrying Code)라는 제안을 실용화할 때 요긴하게 사용할 수 있는 기술이다. 지면관계상 "반복문에서 명령어 끄집어내기"(Loop Invariant Code Motion)라는 최적화 과정에 맞게 Hoare 증명을 변환하는 방법에 대해서만 알아보겠다.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2009.04a
• /
• pp.392-395
• /
• 2009

응답면 기법을 활용하여 댐구조물과 같은 사회간접자본 시설물의 파괴확률을 구할 수 있다. 본 위험성 평가과정에서 응답면기법으로 구성한 한계상태 방정식을 유전자알고리즘의 적합도 방정식으로 사용하면, 핵심타입이나 지반종류, 지반다짐정도 등의 입력설계변수의 최적화 과정 속도를 더욱 신속화 시킬 수 있다. 제안된 응답면 기법과 유전자알고리즘의 복합해석기법은 신뢰성기반 최적화프로그램으로 기존의 유전자알고리즘의 수렴속도를 더욱 빠르게 하여주고, 특히 입력변수의 상하한계가 불확실한 경우에도 만족스러운 수렴성을 보장하여준다. 한계상태 방정식의 목표신뢰도 지수를 변화시켜면 해당하는 입력변수의 최적값을 출력하여주므로, 입력변수의 제약조건에 가격함수와 같은 가중치를 벌칙함수로 부여하면 가격최적화 프로그램으로 작용하게 되며, 시설물 운영자에게는 목표신뢰도에 대한 유지관리 기법과 정도를 의사결정 할 수 있도록 하여주는 기능을 가지게 된다. 조사된 많은 댐구조물의 파괴모드가 시간에 독립적으로 시공중 또는 시공완료 후 5년이내에 다수 발생하는바, 파괴모드를 조사하고 중요한 파괴모드인 파이핑 현상에 대해서 파괴확률을 계산하고 최적유지관리를 위한 개선된 유전자알고리즘 최적화 연산을 수행하였다. 기존 댐구조물과 같이 설계변수와 하중의 변동성을 알기가 어려운 경우에 유지관리비용 최소화를 위해서 본 제안 프로그램의 확장된 버젼은 중요한 기준을 제시하여줄 것으로 기대한다.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.32 no.6
• /
• pp.72-80
• /
• 2004

In this paper, the design procedure of a guidance algorithm in the boosting phase of missiles with free-flight after thrust cut-off is introduced. The purpose of the guidance is to achieve a required velocity vector at the thrust cut-off. Trajectory optimizations for four cost functions are performed to investigate implementable trajectories in the pitch plane. It is observed from the optimization results that high angle of attack maneuver in the beginning of the flight are required to satisfy the constraints. The proposed guidance algorithm consists of the pitch program to produce open-loop pitch attitude command and the yaw attitude command generator to nullify the velocity to go. The pitch program utilizes the pitch attitude histories obtained from the trajectory optimization.