• Journal of Software Engineering Society
• /
• v.13 no.3
• /
• pp.9-17
• /
• 2000

본 논문에서는 시맨틱스를 기반으로한 대표적인 프로그램 분석 틀로써 최근에 활발한 연구가 진행되고 이는 요약 해석의 기본 개념에 대해서 소개하고 명령형 혹은 객체-지향 언어에서 많이 사용되고 있는 동작 시맨틱스를 기초로 하는 요약 해석에 대해서 설명한다. 또한 최근까지 소개된 요약 해석을 이용한 다양한 응용 분야에 대해서 설명한다.

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

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

• Journal of KIISE:Software and Applications
• /
• v.28 no.8
• /
• pp.551-559
• /
• 2001

정적 슬라이싱과 동적 슬라이싱의 차이는 동적 슬라이싱은 프로그램에 주어진 입력을 가정하는 반면에 정정 슬라이싱은 입력에 대한 가정을 하지 않는다는 점이다. 동적 슬라이싱은 실행-시간 정보를 이용할 수 있으므로 정적 슬라이싱보다 적은 슬라이스를 만들 수 있으나 특정 입력 상태에만 적용될 수 있다는 제한을 갖는다. 이 논문은 초기 상태들의 집합에 대해서 프로그래을 슬라이싱하는 요약 프로그램 슬라이싱이라는 새로운 기법을 제시한다. 이 방법은 프로그램으로부터 슬라이스를 구하는데 요약 해석을 이용한다. 요약 해석을 프로그램 실행 없이 프로그램의 실행-시간 동작에 대한 안전한 정보를 제공한다. 따라서 결과적으로 얻은 요약 슬라이스는 주어진 입력 상태들의 집합에 대해서 정적으로 계산되었다는 점에서 동적 슬라이스와는 다르다. 또한 요약 프로그램 슬라이싱은 배열과 같은 자료구조를 정적 슬라이싱보다 정확하게 다룰 수 있으며 슬라이스 크기도 줄일 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04b
• /
• pp.355-357
• /
• 2002

정보 흐름 보안성은 프로그램 보안성 검증 문제의 하나로서 주어진 프로그램이 각 변수들에 미리 정해진 보안수준이 허용하는 범위 내에서만 정보가 교환되는지를 검증하는 것이다. 프로그램 정적 분석을 위한 여러 가지 방법들 중에서 요약 해석법은 프로그램 분석의 기조를 마련할 뿐 아니라 저장기반 데이터흐름 분석 문제를 간략하게 해주는 장점을 가지고 있다. 본 논문에서는 요약해석을 이용하여 정보흐름 보안성을 검증하는 방법을 설명하고 이를 이용하여 프로그램 개발 시에 유용한 디버깅 정보를 제공하는 방법을 제시한다.

• Proceedings of the Korea Society for Industrial Systems Conference
• /
• 2002.06a
• /
• pp.166-169
• /
• 2002

In this paper, implements the abstract interpretation of the imperative language While in SMV model-checker and explain how to apply the logic of CTL which example the security of information flow. And show the way to translate the abstract program of While into SMV program and explain the derive process of CTL logic to test the security of the information flow. For the various security test, it is suitable to use the model-checking than to implements the abstract interpretation.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2011.01a
• /
• pp.295-298
• /
• 2011

스마트폰과 같은 소형 이동단말기의 보급이 확산됨에 따라서 이동단말을 통한 웹 접속이 크게 증가하고 있다. 따라서 작은 화면에 웹문서의 내용을 표현하기 위해 문서요약이 필요하다. 형태소 치환에 의한 문서요약 방법은, 문장해석에서 의미변화와 단축처리에서 일부 단락에 치우치는 문제가 발생한다. 본 논문에서는, 의미변화의 문제는 의미변화율이 낮은 순서에 따라 요약 규칙을 분류하고 이 순위에 따른 요약 알고리즘을 제안하였다. 치우치는 문제는 요약처리가 문서전체에 똑같이 적용되는 새로운 기준을 정의해 요약 알고리즘에 도입하였다. 제안방법의 유효성은 20명의 피실험자로 실험한 결과에 의해 입증되었다.

• 대한한약
• /
• s.6
• /
• pp.194-200
• /
• 2002

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

테스트 데이터의 자동 생성은 소프트웨어 테스팅에서 가장 중요하면서도 어려운 부분이다. 대부분의 데스트 데이터 자동생성에 관한 연구는 명세로부터 테스트 데이터를 자동 생성하는 방식이며 이틀 위해 정확한 정형적 명세를 필요로 한다. 본 논문에서 는 프로그램을 실 행하지 않고 프로그램의 동적인 특성을 분석할 수 있는 요약 해석(abstract interpretation) 방법과 선후 지배 관계(pre-, postdominance relationship)를 이용하여 프로그램 코드로부터 직접 테스트 데이터를 자동 생성할 수 있는 방법 을 제안한다.

• Journal of the korean Society of Automotive Engineers
• /
• v.9 no.6
• /
• pp.24-36
• /
• 1987

컴퓨터의 발달에 따라 이를 이용한 자연과학 분야의 문제해석도 많은 발전을 보이고 있다. 수치해석으로 알려진 여러방법중에서 유한요소법이 가장 광범위하게 응용되고 있으며, 이러하 응용분야는 구조해석, 열전도, 유체흐름 및 전자장 등 다양하다. 또한 개인용 컴퓨터의 발달과 함께 소규모로 운영할 수 있는 전문적인 프로그램이 다수 개발되어 적절한 프로그램의 선정이 어려워지고 있다. A. Niku-Lari가 전문구조해석 시스템의 이론적 배경, 응용, 프로그램설명, 하드웨어 및 응용예 등을 요약하였으며, B. Fredriksson과 J. Markerle은 범용 프로그램의 기능을 정리하였다. 본 고에서는 사용 유한요소 프로그램의 범용성과 그 한계등을 B. Fredriksson과 J. Markerle가 정리한 내용을 소개하는 방법을 통해 알아보고자 한다. 또한 A. Niku-Lari가 요약한 도표를 소개하여 각 프로그램을 비교하는데 도움이 되도록 하였다.

• Journal of the KSME
• /
• v.29 no.4
• /
• pp.394-402
• /
• 1989

열전달 분야 중에서도 대류열전달에 관련된 수치해석적 연구가 현재 국제적으로 많은 연구의 대상이 되고 있으므로 이번 기회에 국내에서 수치적 방법을 이용한 대류열전달 분야의 연구동 향을 간략히 기술하고자 한다. 대류열전달 분야를 소분류하는 방법에는 여러 가지가 있겠으나 이번 조사에서는 "자연대류 열전달", "강제대류 열전달" 그리고 "상변화 열전달"의 세 가지로 분 류하였으며 위의 분류에 명확히 속하지 않는 것이라고 유사성을 참고하여 분류하였다. 상기 각 분야에서의 기술 순서는 대략적으로 발표년도 순서를 따랐다. 본 연구동향의 조사에서는 국내 학술 문헌중 "대한기계학회논문집"을 중심으로 하여 이외에 관련된 학술지로서 "공기조화. 냉동 공학", "태양에너지"등에 수록된 논문을 발췌 요약하였다.uot;공기조화. 냉동 공학", "태양에너지"등에 수록된 논문을 발췌 요약하였다.된 논문을 발췌 요약하였다.