• Annual Conference of KIPS
• /
• 2007.11a
• /
• pp.456-459
• /
• 2007

소프트웨어 버스마크는 프로그램을 식별하는데 사용될 수 있는 프로그램의 고유한 특징을 말한다. 본 논문에서는 자바의 연산자 스택 정보에 기반한 자바 프로그램 버스마킹 기법을 제안한다. 자바의 연산은 스택을 중심으로 이루어지기 때문에 스택 정보로부터 프로그램의 고유한 특징을 얻어 낼 수 있다. 본 논문에서 제안한 버스마킹 기법을 평가하기 위해서 서로 다른 프로그램을 구별할 수 있는 신뢰도와 프로그램 최적화나 난독화에 견딜 수 있는 강인도에 대한 실험을 하였다. 실험 결과로부터 본 논문에서 제안하는 버스마크가 강인도를 유지하면서 프로그램의 특성을 표현하고 있음을 확인할 수 있다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2005.05b
• /
• pp.1476-1480
• /
• 2005

본 연구에서는 매개변수를 추정하는 방법 중 하나인 역해석을 이용하여 강변여과 지역의 투수량계수를 추정하였다. 최적화 기법으로 BFGS(Broyden-Fletcher-Goldfarb-Shanno)를, 정해석 프로그램으로 지하수위와 오염물 거동을 2차원적으로 모의할 수 있는 MOC(Method of Characteristics)을 이용하여 포트란으로 구성된 새로운 프로그램을 개발하였으며 프로그램의 적용성을 검증하기 위해 실제 강변여과를 하고 있는 경남 창원시 대산면의 8개월간 관측 지하수위를 이용하여 그 지역의 투수량계수를 추정하였다.

• Proceedings of the KIEE Conference
• /
• 2007.11b
• /
• pp.325-327
• /
• 2007

고효율기기의 보급량은 지원금 수준에 크게 영향을 받으므로 각 고효율기기 프로그램에 대한 적정 지원금 수준의 결정은 매우 중요하다. 그러나 에너지 효율 프로그램에 대한 수요관리 목표량은 과거 실적 데이터를 이용한 단순 확산 모형으로 산정되고 있으며, 목표량에 따른 지원금 또한 단순히 추정하여 산정되고 있는 실정이다. 본 논문은 이론적 배경을 바탕으로 고효율기기별 적정 지원금 수준을 산정하고자 목적함수와 제약조건을 설정하여 최적화를 수행하였다.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.9 no.6
• /
• pp.1754-1759
• /
• 2008

To produce plastic parts that have fine pattern through conventional injection molding, a lot of difficulties follow. Therefore, rapid heating and cooling methods are good candidates for manufacturing injection-molded parts with micro/nano patterns. In this study, we adopted the E-Mold patent technology. The mold for E-Mold technology has a separate heated core with micro heaters. It is very important to optimize the lay-out of the heaters in heated core because it influences both control and distribution of mold temperature. We developed a optimization method of heating line lay-out by using commercial softwares and compared the output with the experimental results. We used Pro-Engineer Wildfire 2.0 for the mold design, ICEMCFD for mesh generation, and FLUENT for heat transfer simulation. The simulation results showed the temperature profile from $60^{\circ}C$ to $120^{\circ}C$ or $180^{\circ}C$ during heating and cooling process which were compared with the injection molding experiments. We concluded that the simulation could well explain the experimental results. It was shown that the E-Mold optimization design for heater lay-out could be available through the simulation.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.560-562
• /
• 1999

프로그램 슬라이싱은 프로그램의 특정 위치에서 변수들의 값에 영향을 주는 문장을 추출하는 방법이다. 프로그램 슬라이싱의 유용성은 디버깅, 최적화, 프로그램 유지보수, 테스팅, 재사용 부품 추출 그리고 프로그램 이해를 포함하는 다른 응용 분야에 널리 알려져 있다. 본 논문은 C언어에서의 함수 호출이 존재하는 모듈간 프로그램 슬라이싱에 관한 연구이다. 기존의 모듈간 슬라이싱 알고리즘들은 함수의 호출 문맥 설명에 실패하거나 문장 기반 그래프를 사용함으로써 정확한 슬라이스 생성에 실패한다. 본 논문에서는 기존 방법들의 문제점을 지적하고, 시스템 정보 흐름 그래프 (System Information Flow Graph)를 이용하여 정확하고 수행 가능한 모듈간 슬라이스 생성 방법을 제안한다.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.43 no.4
• /
• pp.326-333
• /
• 2015

A turbo fan engine performance analysis program combined with a particle swarm optimization(PSO) has been developed to optimize the major design parameters of the combat aircraft gas turbine engine. The optimized parameters includes bypass ratio, fan pressure ratio, high pressure compression ratio and burner exit temperature. The objective parameters have been determined using a multi-objective function consisting of the net thrust and specific fuel consumption along a weight function. The basic model for the combat aircraft gas turbine engine has been selected as the F404 turbofan engine which is widely used in the combat aircraft, F-18 and Korean high level training aircraft, T-50. The optimal conditions of four parameters have been obtained for various design conditions.

• Journal of Korean Society of Steel Construction
• /
• v.10 no.3 s.36
• /
• pp.487-495
• /
• 1998

Recently, the space truss has been attracted by many designers because of their ability to support significant loads with a minimum material. And it is relatively flexible to design the configuration of structures. This paper presents a volume optimization for the space truss on the basis of result evaluated from nonlinear analysis. The optimization of the truss is done by nonlinear optimum GINO(General Interactive Nonlinear Optimizer) program. The objective function considered is the volume of the steel bars. The constraints for optimum design are the design limits, such as the axial force strength, maximum slenderness, minimum thickness, allowable deflection and ratio of the external diameter to thickness of the circular tube bars.

• 한국HCI학회:학술대회논문집
• /
• 2009.02a
• /
• pp.436-442
• /
• 2009

Tomography images reconstructed from conebeam CT make it possible to observe inside of the projected object without any damage, and so it has been widely used in the industrial and medical fields. Recent advanced imaging equipment can produce high-resolution CT images. However, it takes much time to reconstruct the obtained large dataset. To reduce the time to reconstruct CT images, we propose an accelerating method using GPU (graphics processing unit). Reconstruction consists of mainly two parts, filtering and back-projection. In filtering phase, we applied 4ch image compression method and in back-projection phase, computation reduction method using depth test is applied. The experimental results show that the proposed method accelerates the speed 50 times than the CPU-based program optimized with OpenMP by utilizing the high-computing power of parallelized GPU.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.36 no.2
• /
• pp.105-114
• /
• 2008

In this study, the sizing and performance analysis program is developed for the canard rotor wing(CRW) aircraft which operates in dual modes (fixed wing mode and rotary wing mode). The developed program is verified for both fixed wing and rotary wing modes using the existing aircraft data and the design optimization formulation is made to perform the reconnaissance mission. For the canard rotor wing aircraft optimization , multi-objective function is constructed to consider both the fixed wing mode and rotary wing mode the weighting factor. For six design cases with different weighting factors and different design constraints, the optimization is performed and improved rotor design results are derived.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.06b
• /
• pp.261-266
• /
• 2007

내장형 시스템에 보다 강력한 성능이 요구됨에 따라 내장형 마이크로 프로세서는 보다 깊은 파이프라인을 채택하고 있다. 따라서, 내장형 마이크로 프로세서는 보다 정확한 분기 예측기를 필요로 하고 있다. 이러한 상황에서 분기 예특기의 구조, 성능 및 전력 소모와 전체 시스템의 전력 소모 사이의 trade-off를 분석하는 것은 매우 중요하다. 내장형 환경에서 시스템의 전력 소모는 설계 시 매우 중요하게 고려되어야 한다. 특히 내장형 시스템의 요구사항은 동작할 응용 프로그램에 의하여 규정되고, 전력 소모도 응용프로그램의 구조와 강하게 연관되어 있다. 본 논문의 목표는 내장형 환경에서 성능-전력 공간에서 분기 예측기를 분석하는 기법을 제시하는 것에 있다. 이를 통하여, 분기 예측기 테이블의 성능-전력을 고려한 최적화된 크기를 찾을 수 있다. 이러한 목표는 수학적 모델링을 통한 정량적 예측의 수행 및 시뮬레이션 결과와의 비교를 통한 수학적 모델링의 검증의 과정을 통하여 이루어진다. 결과는 우리의 수학적 모델이 성능-전력 공간에서 분기 예측기 테이블의 최적화된 크기 결정의 해법을 제공하고 있음을 보여주고 있다.