• Journal of Broadcast Engineering
• /
• v.17 no.4
• /
• pp.634-639
• /
• 2012

In this paper, we propose nonlinear optimization method for feature matching from multiple view image. Typical solution of feature matching is by solving linear equation. However this solution has large error due to nonlinearity of image formation model. If typical nonlinear optimization method is used, complexity grows exponentially over the number of features. To make complexity lower, we use sparse Levenberg-Marquardt nonlinear optimization for matching of features over multiple view image.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2005.05a
• /
• pp.369-372
• /
• 2005

자바의 문제점은 실행속도의 저하이다. 실행속도 저하의 해결 방법으로 네이티브 코드로 변환, JIT컴파일러, 바이트코드 최적화등의 연구가 되어 왔다. 그중에 바이트코드 최적화 방법을 사용하는 CTOC(Class To Optimized Classes)에서 3-주소 코드를 스택-기반 코드로 코드 확장 기법으로 변환 시 불필요한 store/load 코드가 생성된다. 따라서 본 논문은 불필요한 store/load 코드를 제거하기 위해서 부분 중복 코드 제거 후 불필요한 store/load문을 제거함으로서 불필요한 store/load 코드의 양을 줄이는 변환기를 제안하고, 거기에 대한 간단한 예를 들어 설명한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.11a
• /
• pp.445-448
• /
• 2004

자바는 자바 가상기계를 사용해서 플랫폼에 독립적으로 사용할 수 있는 장점을 가진다. 그러나 자바가상머신은 인터프리터 방식을 이용하기 때문에 다른 컴파일언어에 비해서 수행속도가 느리다는 단점을 가진다. 이런 단점을 극복하기 위해서 많은 최적화나 JIT컴파일러 그리고 네이티브 코드로의 변환과 같은 연구들이 많이 연구되었다. 이전의 연구들은 한계성을 가지고 있어서 자바에서 수행시간의 문제는 지금도 문제로 남아있다. 이전의 문제점 해결의 극복의 대안으로 바이트코드를 최적화하는 프레임워크인 CTOC를 설명하고, CTOC에서 사용하는 중간코드로 사용하는 3-주소형식의 CTOC-T를 바이트코드로 변환하고, CTOC-T에서 바이트코드형식으로 변환할 때 생기는 과다한 load/store의 문제점을 해결한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07b
• /
• pp.895-897
• /
• 2005

자바의 문제점은 실행속도의 저하이다. 실행속도 저하의 해결 방법으로 네이티브 코드로 변환, JIT컴파일러, 바이트코드 최적화등의 연구가 되어 왔다. 그 중에 바이트코드 최적화 방법을 사용하는 CTOC(Class To Optimized Classes)에서 중간코드로 사용하는 3-주소 코드를 스택-기반 코드로 코드 확장 기법으로 변환 시 불필요한 store/load 코드가 생성된다. 따라서 본 논문은 불필요한 store/load 코드를 제거하기 위해서 부분 중복 코드 제거 후 불필요한 store/load문을 제거함으로서 불필요한 store/load 코드의 양을 줄이는 변환기를 제안하고, 거기에 대한 간단한 예를 들어 설명한다.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2011.11a
• /
• pp.55-57
• /
• 2011

본 논문에서는 텍스쳐 최적화 기법을 사용하는 동영상 프레임 비율 상향 변환 방법을 제안한다. 제안하는 기법은 입력 영상의 텍스쳐 특성을 분석하여 블록 매칭에 의해 예측된 움직임 벡터의 정확도를 향상시킨다. 또한 패치 단위의 영상 합성을 통해 블록 경계에서 발생하는 화질 열화 현상을 최소화한다. 실험 결과를 통하여 제안하는 기법은 자연스러운 중간 시점 영상을 생성함을 확인한다.

• 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 Korea Information Processing Society Conference
• /
• 2012.04a
• /
• pp.615-617
• /
• 2012

N-Screen Service는 하나의 Content를 다양한 Device에서 사용가능하게 해주는 Service를 의미한다. 현재 N-Screen Service는 Content Service 형태로 봤을 때 OSMU(One Source Multi Use) Service를 제공한다. ASMU(Adaptive Source Multi Device) N-Screen Service의 조건으로 Device에 최적화된 Content를 제공하여야 한다. 이를 위해서는 Device에 최적화된 Content의 변환 및 Metadata의 이동이 자유로워야 한다. 본 논문에서는 ASMD를 지원하는 N-Screen Model을 제안한다. 특히 Home Network와 Cloud 사이의 Devicerks Content Metadata 이동과 Content 변환에 대한 방법을 제시하고자 한다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.29 no.10C
• /
• pp.1402-1413
• /
• 2004

In non-rigid image registration, the Jacobian determinant of the estimated deformation should be positive everywhere since physical deformations are always invertible. We propose a constrained optimization technique at ensures the positiveness of Jacobian determinant for cubic B-spline based deformation. We derived sufficient conditions for positive Jacobian determinant by bounding the differences of consecutive coefficients. The parameter set that satisfies the conditions is convex; it is the intersection of simple half spaces. We solve the optimization problem using a gradient projection method with Dykstra's cyclic projection algorithm. Analytical results, simulations and experimental results with inhale/exhale CT images with comparison to other methods are presented.

• Proceedings of the Acoustical Society of Korea Conference
• /
• autumn
• /
• pp.345-348
• /
• 2000

변환기의 해석 및 선계에 있어서 측정되어진 데이터로부터 그 변환기의 진기, 기계, 음향적인 특성변수를 추출하는 기술의 확보는 설계되어진 변환기의 검증 및 최적화를 위해서 필수적이다. 이와 관련한 기존의 방법은 측정방법이 번거롭고 그 결과 또한 많은 오차를 포함하고 있는 관계로 변환기의 정확한 특성변수를 추출하는데 어려움이 많았다. 본 연구에서는 전기음향변환기의 정확한 특성변수 추출을 위하여 기존의 방법과는 달리 Levy Method 반복적으로 사용하여 그 오차를 최소화하는 알고리듬을 개발하였다.

• Korean Chemical Engineering Research
• /
• v.52 no.3
• /
• pp.307-313
• /
• 2014

In this study, an optimization process design has been performed to separate 99.9 mol% of Isobutyl Acetate from binary azeotropic mixture of Isobutyl Acetate and Isobutyl Alcohol system using a Pressure Swing Distillation (PSD). PSD is used to separate binary azeotropic mixtures using the difference between the relative volatilities and azeotropic compositions by changing the system pressure. Non-Random Two Liquid (NRTL) model for liquid phase and the Peng-Robinson equation for vapor phase are used. An optimization study for the reflux ratio and feed stage locations which minimize the total reboiler heat duties are studied. Since PSD process consists of two columns, i.e. high pressure and low pressure, the effect of column sequence on the optimum conditions is reported.