• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권7호
• /
• pp.590-606
• /
• 2009

C프로그램에서 발생할 수 있는 메모리 누수(memory leaks)를 실행 전에 찾아 주는 분석기를 제안한다. 이 분석기는 SPEC2000 벤치마크 프로그램과 여러 오픈 소스 프로그램들에 적용시킨 결과 다른 분석기에 비해 상대적으로 뛰어난 성능을 보여준다. 총 1,777 KLOC의 프로그램에서 332개의 메모리 누수 오류를 찾아냈으며 이 때 발생한 허위 경보(false positive)는 47개에 불과하다(12.4%의 허위 경보율). 이분석기는 초당720 LOC를 분석한다. 각각의 함수들이 하는 일을 요약하여 그 함수들이 불려지는 곳에서 사용함으로써 모든 함수에 대해 단 한번의 분석만을 실행한다. 각각의 함수 요약(procedural summary)은 잘 매개화 되어 함수가 불려질 때의 상황에 맞게 적용할 수 있다. 실제 프로그램들에 적용하고 피드백 받는 방법을 통해 함수가 하는 일중에 메모리 누수를 찾는데 효과적인 정보들만으로 추리는 과정을 거쳤다. 분석은 요약 해석(abstract interpretation)에 기반하였기 때문에 C의 여러 문법 구조와 순환 호출 (recursive call), 루프(loop)등은 고정점 연산(fixpoint iteration)을 통해 자연스럽게 해결한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제30권7_8호
• /
• pp.599-609
• /
• 2003

자동으로 동영상을 요약하는 알고리즘은 다양한 방향으로 진행되어 왔다. 하지만 이러한 알고리즘들은 한가지 저금수준 내용정보만을 이용하여 동영상을 요약하였기 때문에 요약하는 사용자의 주관을 반영할 수 없다는 단점이 있다. 즉, 동영상 요약이라는 것은 내용에 대한 전반적인 이해에 바탕을 두고 중요한 샷을 선택하는 것이라고 정의할 수 있는데 이 경우에 중요한 샷이라고 결정하는 것은 요약자의 주관에 따라 달라질 수 있기 때문에 사용자의 주관을 반영한 수 없다는 것은 큰 단점으로 대두될 수 있다. 본 논문에서는 사용자의 요구를 반영하는 동영상 요약 알고리즘을 제시한다. 알고리즘에서는 일반적으로 많이 사용하는 동영상 요약에 대한 목적함수와 이들에 대한 가중치를 이용한다. 본 논문에서는 동영상 요약을 목적함수를 극대화 시킬 수 있는 샷들의 집합으로 정의하는데 이 경우 문제점으로 제시될 수 있는 것이 계산량이 많다는 것이다. 즉, n개의 샷을 가진 동영상에 대하여 2$^n$번의 계산량이 필요하기 때문에 전체 알고리즘의 수행 시간이 많아지는 것이다. 본 논문에서는 이러한 문제점을 해결하기 위하여 빠른 시간에 근사 샷들의 집합을 구할 수 있는 Simulated Annealing 알고리즘을 이용하였다. 실험 결과에 의하면 본 논문의 알고리즘은 요약자의 주관을 반영시킬 수 있고, Simulated Annealing 을 이용하여 빠른 시간에 원하는 요약을 할 수 있음을 확인하였다. 본 논문의 알고리즘은 동영상을 대상으로 하는 디지털 비디오 라이브러리와 같은 응용 분야에 이용할 수 있을 것이다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2011년도 한국컴퓨터종합학술대회논문집 Vol.38 No.1(C)
• /
• pp.474-477
• /
• 2011

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

• 한국군사과학기술학회지
• /
• 제1권1호
• /
• pp.128-144
• /
• 1998

일반적인 선형 탄성해석 경계 요소법이 초 고속 회전과 정상 열전도에 의한 열 탄성 효과가 고려된 문제에 적용되었다. 축대칭 경계 요소법 구성이 요약되었고, 등가 경계 적분 방정식의 물체력 핵 함수의 체적 적분 전환방법에 일반화된 내적과 벡터 연산법 개념이 도입되었다. 고차 경계 요소 적용을 위한 이산화 수치 해석법이 요약되었고, 소형 젯트 엔진(ADD 500)의 터어빈 로우터 디스크의 해석 결과가 유한 요소해와 비교되었다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권10호
• /
• pp.636-652
• /
• 2008

본 논문에서는 업데이트 기록에 기반한 모듈단위 포인터 분석 알고리즘을 제안한다. 여기서 모듈이란 상호 재귀적인 함수들의 집합을 의미하며, 모듈단위 분석이란 한 모듈을 분석 시에 다른 모듈의 소스코드가 필요하지 않는 분석을 의미한다. 일반적으로 이러한 형태의 분석은 분석 대상 모듈의 호출 문맥을 알 수 없는 상태에서 분석을 수행하여야 하기 때문에, 프로그램의 흐름 또는 호출 문맥에 관련하여 분석의 정확도를 잃을 수 있다. 본 논문에서는 업데이트 기록이라 이름지어진 모듈단위 분석 공간을 고안하여, 프로그램 문맥과 흐름에 민감한 정확도를 가지는 모듈단위 포인터 분석 방법을 제안한다. 업데이트 기록은 함수의 호출 문맥에 독립적으로 메모리 상태를 요약할 수 있을 뿐만 아니라, 메모리 반응이 일어난 순서에 관한 정보를 유지할 수 있다. 업데이트 기록의 이러한 특성은 모듈단위 분석을 정형화하는데 효과적으로 사용되었을 뿐만 아니라, 분석의 정확도를 높이기 위해 죽은 메모리 반응 또는 관련된 별칭 문맥을 구분하는 데에도 효과적으로 사용될 수 있었다.

• 한국지반공학회지:지반
• /
• 제7권3호
• /
• pp.5-20
• /
• 1991

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

• 대한수학회논문집
• /
• 제21권4호
• /
• pp.595-612
• /
• 2006

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

• 정보관리학회지
• /
• 제25권4호
• /
• pp.227-243
• /
• 2008

이 연구에서는 사건중심 뉴스기사 요약문을 자동생성하기 위해 뉴스기사들을 SVM 분류기를 이용하여 사건 주제범주로 먼저 분류한 후, 각 주제범주 내에서 싱글패스 클러스터링 알고리즘을 통해 특정한 사건 관련 기사들을 탐지하는 기법을 제안하였다. 사건탐지 성능을 높이기 위해 고유명사에 가중치를 부여하고, 뉴스의 발생시간을 고려한 시간벌점함수를 제안하였다. 또한 일정 규모 이상의 클러스터를 분할하여 적절한 크기의 사건 클러스터를 생성하도록 수정된 싱글패스 알고리즘을 사용하였다. 이 연구에서 제안한 사건탐지 기법의 성능은 단순 싱글패스 클러스터링 기법에 비해 정확률, 재현율, F-척도에서 각각 37.1%, 0.1%, 35.4%의 성능 향상률을 보였고, 오보율과 탐지비용에서는 각각 74.7%, 11.3%의 향상률을 나타냈다.

• 한국측량학회지
• /
• 제31권2호
• /
• pp.121-134
• /
• 2013

우리나라는 1910년대 토지조사사업에서 설정된 횡원통상사투영법을 사용하고 있다. 그러나 이 투영법은 수학적 유도 방법과 절차에 따라 다른 형태의 투영함수가 존재하며, 대표적인 것이 측지 및 공공측량에 사용하는 Gauss-Kruger(GK) 함수와 지적 분야의 Gauss-Schreiber(GS) 함수이다. 또한 이들 함수들은 실제 전산 구현 방법과 계수 선택에 따라 그 형태의 차이가 있어 투영변환 계산 결과에 영향을 미친다. 본 연구에서는 횡원통상사투영의 GS 계열 2가지와 3가지 GK 정 역변환 함수를 과학기술계산용 소프트웨어인 MATLAB에 의해 구현하고, 이들 특성 비교를 위한 다양한 수치시험을 수행 하였다. 그 결과를 바탕으로 투영 범위에 따른 투영함수의 정확도, 변환좌표의 차이, 축척계수에 의한 왜곡 특성을 분석 하였다. 이와 함께 4계로 이루어진 투영체계에 대해 GS 및 GK 함수를 통해 투영변환을 실시하고, 좌표의 일치성 및 투영 면적왜곡을 정량적으로 분석하여 그 결과를 요약하였다.

• 한국농업기계학회:학술대회논문집
• /
• 한국농업기계학회 2002년도 동계 학술대회 논문집
• /
• 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%까지 급격히 증가하였다. 결론적으로, 함수율이 쌀의 배아부착률, 백도, 싸래기율, 동할율에 결정적인 영향을 주고 있으며, 다음으로 입형정미기 축회전속도 역시 배아부착률, 백도, 싸래기율, 동할율 등의 물성에 영향을 미침을 알 수 있었다.