• Journal of KIISE:Software and Applications
• /
• v.36 no.7
• /
• pp.590-606
• /
• 2009

We present a static analyzer that detects memory leaks in C programs. It achieves relatively high accuracy at a relatively low cost on SPEC2000 benchmarks and several open-source software packages, demonstrating its practicality and competitive edge against other reported analyzers: for a set of benchmarks totaling 1,777 KLOCs, it found 332 bugs with 47 additional false positives (a 12.4% false-positive ratio), and the average analysis speed was 720 LOC/sec. We separately analyze each procedure's memory behavior into a summary that is used in analyzing its call sites. Each procedural summary is parameterized by the procedure's call context so that it can be instantiated at different call sites. What information to capture in each procedural summary has been carefully tuned so that the summary should not lose any common memory-leak-related behaviors in real-world C program. Because each procedure is summarized by conventional fixpoint iteration over the abstract semantics ('a la abstract interpretation), the analyzer naturally handles arbitrary call cycles from direct or indirect recursive calls.

• Journal of KIISE:Software and Applications
• /
• v.30 no.7_8
• /
• pp.599-609
• /
• 2003

Video abstraction is a process to pick up some important shots on a video, while the important shots might vary on the persons subjectivity. Previous works on video abstraction use only one low level feature to choose an important shot. This thesis proposes an abstraction scheme that selects a set of shots which simultaneously satisfies the desired features(or objective functions) of a good abstraction. Since the complexity of the computation to find a set of shots which maximizes the sum of object function values is $0({2^n})$, the proposed .scheme uses a simulated annealing based searching method to find the suboptimal value within a short period of time. Upon the experimental results on various videos, we could argue that the proposed abstraction scheme could produce a reasonable video abstraction. The proposed abstraction scheme used to build a digital video library.

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

함수 호출 문맥을 요약하는 프로그램 분석은 가짜 경로 문제로 인해 심각한 성능저하를 겪기 마련이다. 이는 함수 호출 문맥이 요약되면서 분석 정보를 어디로 흘려보내야 할지 정확히 알 수 없는 경우가 생기기 때문이다. 이 논문에서는 함수 호출을 구변하는 분석에서 가짜 경로를 없애는 새로운 알고리즘을 설명한다. 분석 순서를 프로그램의 실제 실행과 비슷하게 제한하고 알고리즘의 일부를 조금 바꾸면 재귀 함수가 아닌 경우 가짜 경로를 모두 제거할 수 있다. 이 방식은 기존 방식과 같거나 더 정확한 결과를 내고 속도는 훨씬 빠르다.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.1 no.1
• /
• pp.128-144
• /
• 1998

The BEM for linear elastic stress analysis is applied to the highly rotating axisymmetric body problem which also involves the thermoelastic effects due to steady-state thermal conduction. The axisymmetric BEM formulation is briefly summarized and an alternative approach for transforming the volume integrals associated with such body force kernels into equivalent boundary integrals is described in a way of using the concept of inner product and vector identity. A discretization scheme for higher order BE is outlined for numerical treatment of the resulting boundary integral equations, and it is consequently illustrated by determining the stress distributions of the turbine rotor disk of the small turbojet engine(ADD 500) for which a FEM stress solution has been furnished by author.

• Journal of KIISE:Software and Applications
• /
• v.35 no.10
• /
• pp.636-652
• /
• 2008

In this paper, we present a modular pointer analysis algorithm based on the update history. We use the term 'module' to mean a set of mutually recursive procedures and the term 'modular analysis' to mean a program analysis that does not need the source codes of the other modules to analyze a module. Since a modular pointer analysis does not utilize any information on the callers, it is difficult to design a precise analysis that does not lose the information related to the program flow or the calling context. In this paper, we propose a modular and flow- and context-sensitive pointer analysis algorithm based on the update history that can memory states of a procedure independently of the information on the calling context and keep the information on the order of side effects performed. Such a memory representation not only enables the analysis to be formalized as a modular analysis, but also helps the analysis to effectively identify killed side effects and relevant alias contexts.

• Geotechnical Engineering
• /
• v.7 no.3
• /
• pp.5-20
• /
• 1991

동하중을 받는 진동기계기초의 동적해석을 수행하기 위해서는 지반의 임피던스함수의 적절한 산 출이 필수적이며, 회전기계 -기초 -지반의 상호작용이 고려된 동적해석이 요구된다. 이제까지 지 반의 임퍼던스함수는 주로 원형기초에 한하여 제시되어 왔으나, 기초의 형상은 실제로 지반의 임퍼 던스함수에 중요한 역할을 한다. 그러므로 본 연구에서는 여러가지 형상 및 매립된 기초에 적용할 수 있는 임퍼던스함수를 제시하였다. 그리고, 제시된 임퍼던스함수를 바탕으로, 회전기계 -기초- 지반의 상호작용이 고려된 동적해석을 수행할 수 있는 프로그램을 개발하였으며, 개발된 프로그램 을 이용하여 예제해석을 통하여 각종 임피던스함수의 적용에 따른 기계기초의 응답을 비교 검토하였다. 본 연구의 주된 결론은 다음과 같이 요약할 수 있다. 1) 주파수독립 임퍼던스함수와 주파수종속 임피던스함수를 이용한 결과를 비교해 볼 때,수평방 향과 회전방향에 대해서는 동적응답이 커다란 차이를 보이지 않으나, 연직방향 운동에 대해서는 상 당한 차이를 보인다. 2) 표면기초와 매립기초를 비교해 본 결과, 매립기초에 있어서 수평방향과 회전방향에 있어서는 동적응답이 거의 일정한 간에 도달하므로 기초가 어느 정도 매립된다면 안전측에 들어간다고 볼 수 있다. 그러나, 연직방향에 있어서는 매립여부에 따라 상당한 차이를 보인다.

• Communications of the Korean Mathematical Society
• /
• v.21 no.4
• /
• pp.595-612
• /
• 2006

선형보존자 문제들은 행렬들로 구성되는 벡터공간들 사이에서 어떤 함수, 부분집합, 관계 등을 불변하게 옮기는 선형연산자의 형태를 규명하고 그와 동치가 되는 조건들을 찾는 연구주제들을 말한다. 이 논문에서는 선형보존자 문제에 대한 전반적인 연구문제들과 연구의 동기와 원인들, 활발한 연구주제들, 연구방법들 및 앞으로의 연구방향에 대하여 요약한다.

• Journal of the Korean Society for information Management
• /
• v.25 no.4
• /
• pp.227-243
• /
• 2008

This study investigates an event detection method with the aim of generating an event-focused news summary from a set of news articles on a certain event using a multi-document summarization technique. The event detection method first classifies news articles into the event related topic categories by employing a SVM classifier and then creates event clusters containing news articles on an event by a modified single pass clustering algorithm. The clustering algorithm applies a time penalty function as well as cluster partitioning to enhance the clustering performance. It was found that the event detection method proposed in this study showed a satisfactory performance in terms of both the F-measure and the detection cost.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.31 no.2
• /
• pp.121-134
• /
• 2013

The transverse cylindrical projection has been used in Korea since 1910s when the nationwide geodetic network was firstly established. However, the projection has a number of different types of functions according to a way of its mathematical derivation as well as a section of its coefficients and terms, for instance Gauss- Schreiber(GS) and Gauss-Kruger(GK) types. Although the transverse cylindrical projection itself is assigned to a system, projected coordinates would be diverse with respect to the function used in the actual calculation. In order to investigate impact of functions used in the computation, five different equations (i.e., 2 GS and 3 GK) were implemented in this study by using MATLAB. A series of numerical simulation tests has been carried out to compare and characterize them in terms of projection accuracy, difference of projected coordinates and distortion. Furthermore, a comparison between GS and GK function was made under the Korean gridding system, consisting of four zones. Results from the numerical computations were qualitatively analyzed and summarized in this paper.

• Proceedings of the Korean Society for Agricultural Machinery Conference
• /
• 2002.02a
• /
• pp.289-296
• /
• 2002

배아부착률이 높은 배아미를 생산하기 위한 기초 연구로서, 현미의 함수율과 입형정미기 축회전속도가 쌀 배아부착률, 싸래기율, 백도, 동할율 등에 미치는 영향을 구명하고자 하였다. 본 연구에서 분석된 결과를 요약하면 다음과 같다. 1. 축회전속도에 관계없이 현미의 함수율이 배아부착률에 큰 영향을 줌을 알 수 있었다. 쌀의 배아부착률은 함수율 13.2%에서는 약 70%∼76%이었고, 함수율 13.4∼14.5%에서 약 66∼67%, 함수율 15.2%에서 약 38∼46%, 함수율 15.4%에서는 약 9∼10%로서, 함수율이 증가함에 따라 배아부착률은 함수율 15.4%에서 급격히 감소하였다. 또한, 축회전속도 900rpm일 때의 배아부착률이 1100rpm일 때의 배아부착률보다 함수율 13.2%∼15.2% 범위에서 약 2∼8% 높은 것을 알 수 있었다. 식미를 고려하고 높은 배아부착률을 갖기 위해서는 약 함수율 15.2% 이하에서 도정하는 것이 좋은 것으로 사료되었으며, 정미기 축회전속도의 감소로 함수율 15.2% 이하에서는 쌀의 배아부착률을 약 8%까지 높일 수 있었다. 2. 축회전속도에 관계없이 현미의 함수율 증가에 쌀의 백도는 약 23에서 40가지 점차 증가하는 경향을 보였으며, 특히 함수율 약 15.2% 이상에서는 약 40까지 급격히 증가하였다. 함수율 13.2%∼15.4%에서 축회전속도 1100rpm에서의 백도가 900rpm일 때 보다 약 1.3∼4.0정도 약간 놀게 나타났으나, 함수율 약 16.7% 이상에서는 그 차이는 거의 없었다. 즉 쌀의 백도는 함수율에 따라 결정적인 영향을 받음을 알 수 있었다. 3. 함수율이 정백공정중 싸래기율에 커다란 영향을 미침을 알 수 있었다. 현미의 함수율 13.4%에서 16.7% 범위에서는 두 축회전속도에서 같은 경향으로 싸래기율이 약 3.5%에서 약 1%까지 점차로 감소하였다. 그러나 함수율이 16.7% 이상일 때부터 싸래기율이 증가하였다. 또한, 함수율 약 15.2%가지는 축회전속도 1100rpm에서의 싸래기율이 900rpm일 때 보다 약 0.6%∼1.0% 높게 나타났다. 4. 함수율 13.2%부터 16.2%까지는 함수율에 따라 배아미의 동할율은 거의 약 9% 이하로 일정하였다. 또한, 함수율 13.2%∼14.5% 사이와 17%이상에서는 1100rpm에서의 동할율이 900rpm일 때 보다 더 높게 나타났다. 그리고 축회전속도에 관계없이 함수율 16.7%에서는 동할율이 약 10%, 함수율 약 17%에서는 동할율이 약 20%까지 급격히 증가하였다. 결론적으로, 함수율이 쌀의 배아부착률, 백도, 싸래기율, 동할율에 결정적인 영향을 주고 있으며, 다음으로 입형정미기 축회전속도 역시 배아부착률, 백도, 싸래기율, 동할율 등의 물성에 영향을 미침을 알 수 있었다.