• Journal of KIISE:Software and Applications
• /
• v.32 no.8
• /
• pp.808-818
• /
• 2005

We devise a differential fixpoint computation method and develop a new worklist algorithm based on it. Compared with other differential methods, our method can deal with non-distributive systems and adopt any worklist scheduling policy satisfying restrictions imposed by differential evaluation. As a practical application, we present an interpretation framework and implement constant and alias analysis and memory lifetime analysis based on it. Our experiment shows that our method can save computation and worklist scheduling is also important in differential fixpoint evaluations.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.343-345
• /
• 2001

요약해석(abstract interpretation)이란 래티스(lattice)로 표현되는 요약된 공간에서 프로그램을 수행함으로써 프로그램의 성질을 분석하는 방법이다. 요약해석에서 프로그램의 분석 결과는, 정보가 없는 상태에서 시작하여 더 이상 정보의 증가가 없을 때까지 프로그램을 반복해서 수행함으로써 얻어지는 고정점(fixpoint)에 의하여 표현된다. 본 연구에서는 이러한 고정정 계산의 속도를 높이기 위하여 이전 반복의 계산 결과를 최대한 이용하는 방법을 제시한다. 그리고 제시된 방법을 상수 및 이명 분석의 구현에 적응하여 실제로 분석 속도가 증가함을 보였다.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2002.11a
• /
• pp.84-87
• /
• 2002

최근 정보보호의 중요성이 커짐에 따라 암호이론에 대한 관심이 증가되고 있다. 이 중 Galois 체 GF(2$^{m}$ )은 대부분의 암호시스템에서 사용되며, 특히 공개키 기반 암호시스템에서 주로 사용된다. 이들 암호시스템에서는 GF(2$^{m}$ )에서 정의된 연산, 즉 덧셈, 뺄셈, 곱셈 및 곱셈 역원 연산을 기반으로 구축되므로, 이들 연산을 고속으로 계산하는 것이 중요하다. 이들 연산 중에서 곱셈 역원이 가장 time-consuming하다. Fermat의 정리를 기반으로 하고, GF(2$^{m}$ )에서 정규기저를 사용해서 곱셈 역원을 고속으로 계산하기 위해서는 곱셈 횟수를 감소시키는 것이 가장 중요하며, 이와 관련된 방법들이 많이 제안되어 왔다. 이 중 Itoh와 Tsujii가 제안한 방법[2]은 곱셈 횟수를 O(log m)까지 감소시켰다. 본 논문에서는 Itoh와 Tsujii가 제안한 방법을 이용해서, m=2$^n$인 경우에 곱셈 역원을 고속으로 계산하는 방법을 제안한다. 본 논문의 방법은 필요한 곱셈 횟수가 Itoh와 Tsujii가 제안한 방법 보다 적으며, m-1의 분해가 기존의 방법보다 간단하다.

• Proceedings of the Korean Vacuum Society Conference
• /
• 2014.02a
• /
• pp.261.1-261.1
• /
• 2014

지구상에 존재하는 모든 생물에 의해 배출되는 이산화탄소는 온실가스로써 산업혁명 이후 급격한 농도 증가로 인해 지구 온난화 등의 다양한 환경문제를 초래하고 있다. 지구 온난화의 가시화로 인한 각종 기후 협약 및 탄소배출권 등에 규제로 온실가스 감축의무부과가 확실해져 탈 석유기반 사회로 전환을 위한 이산화탄소를 처리하는 다양한 연구가 각국에서 활발히 진행 중이다. 본 연구에서 마이크로웨이브 플라즈마 토치를 이산화탄소 분해에 이용하게 되었고 그 목적은 이산화탄소가스를 마이크로웨이브로 가열하여 순수한 이산화탄소 플라즈마 토치를 발생함으로서 지구 온난화의 주범인 이산화탄소를 생산적으로 이용하기 위한 것으로 전자파를 발진하는 마그네트론으로는 3kW, 2.45GHz의 주파수를 사용한다. 마이크로웨이브 플라즈마 토치를 이용한 이산화탄소의 분해 시 생성되는 물질을 확인하기 위하여 이산화탄소의 열역학적 평형을 계산하였으며 또한 이산화탄소의 분해 반응의 준 평형상태에서의 속도상수를 이용하여 각 분해반응생성물들의 밀도비율을 계산하였고, 이를 일반화시켜 도시하였다. 위 과정을 통해 고온의 이산화탄소 토치는 탄화수소 연료를 1기압에서 개질할 수 있음을 알 수 있다. 예를 들어 메탄개질은 $CO_2+CH_4{\rightarrow}2CO+2H_2$의 반응식이 된다. 이때 엔탈피와 엔트로피 변화는 각 각 ${\Delta}H=247kJ/mole$과 ${\Delta}S=257J/mole/deg.$이며 이 반응에 대한 gibbs 자유에너지는 $G={\Delta}H-T{\Delta}S$로서 개질 자발반응이 일어나는 온도는 $T={\Delta}H/{\Delta}S=961K$가 된다. 그리고 탄화수소 개질에 참여하는 산소와 CO 라디칼의 밀도가 대단히 높다. 따라서 메탄개질은 이산화탄소 토치를 통하여 1기압에서 쉽게 이루어진다.

• Annual Conference of KIPS
• /
• 2018.10a
• /
• pp.631-633
• /
• 2018

최근 영상처리 분야에서 딥러닝(Deep learning)을 이용한 기술이 좋은 성능을 보이면서 이에 대한 관심과 연구가 증가하고 있다. 본 연구에서는 최근 딥러닝 네트워크 중 적은 파라미터 수로 AlexNet수준의 성능을 보인 SquezeNet을 영상 분할(Image segmentation)의 특징 추출(feature extraction)영역으로 사용하고, CUDA C기반으로 코드를 작성하여 정확도를 유지하면서 계산 속도 면에서도 좋은 성능을 얻을 수 있었다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2021.06a
• /
• pp.57-57
• /
• 2021

최근 급격한 도시화와 기후변화로 인해 도시의 홍수피해가 증가하고 있으며, 복합적인 재난으로 악화되는 경우가 많아졌다. 복합재난으로 인한 피해를 줄이기 위해 재해발생 전·후 대응이 중요하며, 이를 위해 복원력 개념을 도입할 필요가 있다. 도시 배수 시스템의 복원력은 대상유역의 면적과 절대적인 침수량에 따라 좌우된다. 따라서 지역의 도시 배수 시스템의 복원력을 정확하게 평가하기 위해 대상유역의 정보를 반영한 지역 맞춤형 복원력 지수의 개발이 필요하다. 대상유역의 정보를 반영하기 위해 도시 배수 시스템의 배수능력을 복원력 지수에 적용하였다. 도시 배수 시스템의 배수능력을 나타내기 위해 시스템 잔류유량을 분모로, 침수량을 분자로 하여 복원력 지수를 계산하였다. 본 연구에서는 제안된 새로운 복원력 지수를 대구 비산 빗물펌프장에 적용하였다. 강우자료는 재현기간이 100년, 200년 그리고 300년 빈도의 확률강우량을 사용하였으며, 지속시간은 30분, 60분 그리고 90분으로 설정하였다. 침수량과 시스템 잔류 유량은 1분 단위로 EPA SWMM을 통해 값을 구하였다. 시스템 잔류 유량을 기반으로 하는 복원력 지수는 최소 0.995029에서 최대 0.998662로 나타났다. 본 연구에서 제안한 도시 배수 시스템 잔류 유량 기반 복원력 지수는 배수 시스템의 처리 능력을 반영한 지수라고 할 수 있으며 배수 시설의 설치, 교체 및 재건 등 수해 방재 계획 평가에 활용될 수 있다.

• Korean Journal of Remote Sensing
• /
• v.22 no.6
• /
• pp.601-612
• /
• 2006

This study proposes RAG (Region Adjancency Graph)-based image segmentation for large imagery in remote sensing. The proposed algorithm uses CN-chain linking for computational efficiency and multi-window operation of sliding structure for memory efficiency. Region-merging due to RAG is a process to find an edge of the best merge and update the graph according to the merge. The CN-chain linking constructs a chain of the closest neighbors and finds the edge for merging two adjacent regions. It makes the computation time increase as much as an exact multiple in the increasement of image size. An RNV (Regional Neighbor Vector) is used to update the RAG according to the change in image configuration due to merging at each step. The analysis of large images requires an enormous amount of computational memory. The proposed sliding multi-window operation with horizontal structure considerably the memory capacity required for the analysis and then make it possible to apply the RAG-based segmentation for very large images. In this study, the proposed algorithm has been extensively evaluated using simulated images and the results have shown its potentiality for the application of remotely-sensed imagery.

• Annual Conference of KIPS
• /
• 2010.11a
• /
• pp.561-564
• /
• 2010

의학과 기술 발달로 인해 질병과 사고에 의한 사망률은 줄어들었으나, 심장 관련 질환에 의한 사망률은 증가하였다. 심장 질환을 예방하는 데는 정기적인 검진을 통해 심장기능을 분석하고 관찰하는 것이 중요하다. 심장 기능의 분석은 이완기와 수축기 사이의 혈류량 및 심박구출률 계산을 통한 심장 운동능력 평가에 의해 이루어진다. 본 연구에서는 심장 단축 자기공명영상에서 좌심실 영역을 자동 분할하여 혈류량 및 심박 구출률을 계산하는 알고리즘을 제안한다. K평균 군집화 기법을 적용하여 좌심실을 분할하고, 그래프 탐색 기법에 기반하여 분할 오류를 수정하였다. 15명의 지원자에 대해 제안하는 알고리즘을 사용하여 혈류량과 심박구출률을 계산하였고, 수동윤곽검출 및 General Electronics 사의 MASS 소프트웨어와 비교하였다. 제안한 알고리즘의 수동윤곽검출과 차이는 혈류량의 경우 평균적으로 이완기에 $4.6mL{\pm}3.9$, 수축기에 $2.1mL{\pm}2.4$로 나타났고, 심박구출률은 $1.8%{\pm}1.7$이었다. 전반적으로 MASS소프트웨어에 비해 좋은 성능을 나타내었다.

• Journal of KIISE:Databases
• /
• v.28 no.3
• /
• pp.315-323
• /
• 2001

The concept of vertical partitioning has been discussed so far in an objective of improving the performance of query execution and system throughput. It can be applied to the areas where the match between data and queries affects performance, which includes partitioning of individual files in centralized environments, data distribution in distributed databases, dividing data among different levels of memory hierarchies, and so on. In general, a vertical partitioning algorithm should support n-ary partitioning as well as a globally optimal solution for the generation of all meaningful fragments. Most previous methods, however, have some limitations to support both of them efficiently. Because the vertical partitioning problem basically includes the fuzziness property, the proper management is required for the fuzziness problem. In this paper we propose an efficient vertical $\alpha$-partitioning algorithm which is based on the fuzzy theory. The method can not only generate all meaningful fragments but also support n-ary partitioning without any complex mathematical computations.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2004.05a
• /
• pp.255-255
• /
• 2004

일반적으로 10,000 rpm 이상의 고속, 고이송 가공이 수행되는 고속가공에서 절삭력의 급격한 증가는 치명적인 결과를 초래할 수 있다. 따라서 실제 가공에 앞서 NC code에 존재하는 에러 유무를 검출하고, 주어진 절삭 조건의 적합성을 사전에 검사하는 NC 모의 가공 시스템의 중요성이 점점 강조되고 있는 실정이다. 절삭 영역의 탐색에는 일반적으로 Z-map 방식이 사용되고 있다. Z-map 방식은 자료구조의 단순성과 완결성으로 인하여 계산속돈가 라르고 오류 발생의 가능성이 상대적으로 낮기 때문에 상용 CAM 시스템은 대부분 이 방식을 기반으로 하고 있다.(중략)