http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
Program Testing을 위한 Path Generater의 도출 방법
함도용(Do-yong Hahm),이창석(Chaang-Seok Lee),양해술(Hae-Sool Yang) 한국정보과학회 1991 한국정보과학회 학술발표논문집 Vol.18 No.1
본 연구에서는 프로그램의 자동 test path작성에서 발생하는 유향그래프에 지정된 edge를 포함하는 최소의 path집합을 결정하는 문제에 대해 고찰한다. 따라서 본 연구는 test되지않은 edge를 전부 포함하는 최소의 s-t path집합을 구하는 문제를 다루며, 또한 실제 유용하다고 생각되는 위의 기술범위 내용안에서 이미 test한 유향edge가 최소로되는 (최단의 path집합) test path집합을, program graph의 구조화에 관계없이 도출하는 방법을 검출하였다.
프로그램 테스트를 위한 Path generator에 대한 연구
함도용(Do-yong Hahm),이창석(Chang-seok Lee),양해술(Hae-sool Yang) 한국정보과학회 1991 한국정보과학회 학술발표논문집 Vol.18 No.2
본 연구는 프로그램의 자동 test path 작성에 따라 발생하는 세가지의 문제들에 관한 알고리즘을 다루고 있다. 이들 문제는 유향 그래프의 모든 변을 포함하는 최소의 패스(path) 집합을 결정하는 문제, 유향 그래프의 지정된 변을 통하는 최소의 패스 집합을 결정하는 문제, 그리고 유향 그래프가 지정한 노드(node)와 패스를 통하는 최소의 패스 집합을 결정하는 것이다. 따라서, 본 연구에서는 상기의 테스트 선택 기준을 만족시키는 테스트 경로의 도출 방법을 제안하였다. 즉, 제안된 방법은 프로그램을 프로그램 테스트로 변환하여 도출하는 방법을 고려하였다.
프랙탈 이미지 압축을 위한 Coarseness의 메트릭 비교
함도용(Do-yong Hahm),김하진(Ha-Jine Kimn) 한국정보과학회 1997 한국정보과학회 학술발표논문집 Vol.24 No.1B
이미지의 압축과 재생은 이미지의 저장과 전송시에 요구되는 많은 양의 데이터를 효율적으로 처리하기 위하여 고려되는 방법중의 하나이다. 이미지의 압축과 재생에는 프랙탈 기법을 이용한 연구가 이미지 처리의 한 분야로서 이루어 지고 있다. 본 논문은 이러한 프랙탈 기법을 이용하여 PIFS 알고리즘을 사용할 경우 발생하는 오차의 계산과 알고리즘 구현에서 기존의 metric 보다 더 효율적인 RMS metric을 이용하는 방법에 대한 연구로서 RMS metric의 contractivity에 대하여 고찰 하였고 기존의 SUP metric과 coarseness를 비교 하였다.
함도용(Hahm Do Yong),김하진(Kimn Ha Jine) 한국정보과학회 1997 한국정보과학회 학술발표논문집 Vol.24 No.2Ⅱ
프랙탈 이미지를 압축하는 경우에 적용되는 기존 변환 방법들은 첫 단계로 압축 하려는 이미지 요소의 분류에 사용된다. 본 연구에서는 압축을 위한 이미지의 요소를 분류하는 경우 계산상의 효율성을 고려하여 분류되는 이미지 요소 그룹의 개수 축소와 이때의 분류 기준을 보다 더 정확히 하기 위하여 사용되는 프랙탈 차원에 대하여 보다 개량된 계산법을 제안한다.
프랙탈 이미지 압축을 위한 Domain Pool의 분할에 대한 연구
함도용(Do Yong Hahm),김종구(Jong-Koo Kim),위영철(Young-Choul Wee),김하진(Ha-Jine Kimn) 한국정보과학회 2000 한국정보과학회 학술발표논문집 Vol.27 No.1B
프랙탈 이미지 압축을 적용하는 경우 많은 시간을 필요로 하는 블록의 비교과정에서 블록정보의 효율적인 처리를 위하여 선형으로 연결된 기존의 블록 정보 저장을 tree 구조의 형태로 저장하는 방법을 제안한다. Tree의 형태로 저장된 블록의 정보는 BFS 탐색을 이용하여 참조, 사용되며 이를 tree 각 node에 분류된 domain 블록의 개수로 표현하여 기존의 전체 탐색과 비교 분석하였다.
A Study on the Coarseness for the Fractal Image Compression
함도용,남현우,김하진,Hahm, Do-Yong,Nam, Hyeon-Woo,Kim, Ha-Jin Korea Computer Graphics Society 1998 컴퓨터그래픽스학회논문지 Vol.4 No.1
현재와 같이 그래픽을 기반으로 하는 멀티미디어 환경에서 이미지 데이터의 압축과 재생을 위한 이미지 처리 기법은 생성되는 커다란 크기의 데이터 처리를 고려해야 한다. 이를 위하여 여러 가지 기법이 제안되었고 Wavelet과 JPEG등과 같은 기법으로 바람직한 결과를 얻었다. 본 논문에서는 기존의 supremum metric보다 효과적인 root mean square metric에 대하여 연구하였고 이를 수학적으로 비교, 검증하였다. An image processing techniques for image compression and its reconstruction are to be considered seriously for the generated huge size data as in the present multimedia environment based on the graphics. So far some approaches for this matter are proposed such as a Wavelet and JPEG method and got desirable result. In this paper, we have studied for the rms(root mean square) metric which is more effective than the existing sup(supremum)metric, and compared with sup metric by means of mathematical verification.
양해술(Hae-Sool Yang),함도용(Do-Yong Hahm),지동해(Dong-Hae Chi) 한국정보과학회 1992 한국정보과학회 학술발표논문집 Vol.19 No.1
프로그램의 내부구조를 고려하여 테스트를 실행하는 방법으로서는, 프로그램 내부의 각 문장을 적어도 한번 실행하는 방법과 가능한 모든 경로를 실행하는 두가지 방법이 있다. 그러나, 위에 기술한 두가지 방법중에 전자는 조건이 조합에 의해 발생하는 에러를 모르고 지나칠 가능성이 크며, 후자는 프로그램이 루프를 포함하는 경우 패스의 수가 무한개가 된다는 약간의 문제점을 내포하고 있으므로 본 연구에서는 프로그램내에 변수의 정의와 사용과의 관계를 고려하여 서로다른 모든 상이한 정의 사용관계를 망라하는 패스의 최소집합을 생성하는 방법에 대하여 고찰하였다. 이 방법에 의하여 생성된 패스집합은 일반적으로는 무한개인 모든 상이한 실행 패스의 집합과 거의 동등한 에러 검출 능력을 가진다고 생각할 수 있다.
김종구(Jongkoo Kim),함도용(Do Yong Hahm),남현우(Hyeonwoo Nam),김하진(Ha-Jine Kimn) 한국정보과학회 1998 한국정보과학회 학술발표논문집 Vol.25 No.2Ⅱ
여러 다양한 프랙탈 구조이 차원을 측정하는 개량된 프랙탈 차원 측정 방법을 제안하였다. 기존의 box counting 방법은 사용상 편리성은 있으나 측정에 사용되는 데이터에 의존적이어서 기존 box counting 방법의 약점을 보완, 개량한 방법의 적용으로 프랙탈 차원의 보다 정확한 측정 결과를 얻었다.
이창석(Chang-seok Lee),함도용(Do-yong Hahm),양해술(Hae-sool Yang) 한국정보과학회 1990 한국정보과학회 학술발표논문집 Vol.17 No.2
프로그램의 자동 test path 작성에서 발생하는 문제는 유향그래프의 모든 edge를 포함하는 최소 path집합을 결정하는 일과 유향그래프의 지정된 edge를 지나는 최소 path집합을 결정하는 것이다. 본 논문은 test하지 않은 edge를 포함하는 최소 최단 test path를 그래프 이론을 응용하여 도출할 때 생긴 문제를 위한 알고리즘을 연구하였다.