• The Transactions of the Korea Information Processing Society
• /
• v.2 no.2
• /
• pp.264-276
• /
• 1995

In this paper, a technique for eliminating conditional branches in the compilers for superscalar processors is presented. The technique consists of three major steps. The first step transforms conditional branches into equivalent expressions using algebraic laws. The second step searches all possible instruction sequences for those expressions using GSO of Granlund/Kenner. Finally an optimal sequence that has the least dynamic count for the target superscalar processor is selected from the GSO output. Experiment result shows that for each conditional branch is the input program matched by one of the optimization patterns, the proposed technique outperforms more than 25% speedup of execution time over the original code when the GNU C compiler and the SuperSPARC processor are used.

• Annual Conference of KIPS
• /
• 2016.10a
• /
• pp.423-425
• /
• 2016

콘콜릭 테스팅(Concolic testing)은 프로그램 실행을 실제 구체적인 입력 값(Concrete Values)을 입력하며, 동시에 심볼릭 실행 (Syrnbolic execution)을 진행하는 테스팅 기법이다. 콘콜릭 테스팅은 모든 실행 가능 경로를 탐색하여, 테스트 케이스를 자동 생생한다. 그래서 높은 분기 커버리지를 나타내지만, 안전성을 목표로 하는 MC/DC 커버리지는 만족하지 못한다. 본 논문에서는 분기 커버리지와 MC/DC 커버리지를 만족하는 테스트 케이스를 자동생성하는 CREST 도구 개선을 제안한다.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.39 no.10
• /
• pp.43-47
• /
• 2002

A simple optical signal to noise ratio monitoring method using fiber Bragg grating is proposed for monitoring performance of OADM. OSNR of each channel is determined by monitoring the optical power transmitted and reflected from fiber Bragg gratings, simultaneously. We have obtained OSNR with accuracy better than 0.8㏈ compared with OSA of 0.1nm optical resolution in the wide input power range between -6 ㏈m and -23㏈m per channel.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10b
• /
• pp.473-475
• /
• 1999

본 논문은 구조적 매칭 접근 방법이 회전과 변이에 얼마나 효과적인가를 보여준다. 이는 지문에서 보여주는 특징적 요소들 (코아, 델타 그리고 분기점) 사이의 거리와 각도들을 이용한다. 실제로 이 접근 방법은 회전과 변이가 허용된 한 입력 지문에 대해서 짧은 시간 내에 간단한 연산만으로도 높은 매칭 성공률을 보여준다. 또한 현 자동화된 지문인식 시스템에서처럼 한 입력지문에 대해서 데이터베이스에서 최종 유력한 지문 10개를 검색하는 것을 목적으로 한다. 표본은 600명의 서로 다른 사람으로부터 채취된 지문을 4가지로 (궁상문, 우제상문, 좌제상문, 와상문) 분류한 각각에 대해서 약 98%의 매칭 성공률을 가진다. 실험은 150MHz, 586 퍼스널 컴퓨터에서 실행되었다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.10b
• /
• pp.221-225
• /
• 2007

본 논문은 시나리오를 입력하여 자동으로 애니메이션을 저작하는 기술에 관한 것으로서 시나리오 내용에서 매핑 되는 3D 데이터를 온톨로지 기법을 통해 추출할 수 있도록 한다. 또한 Flow Chart 그래픽 유지 인터페이스를 통한 직관적이고 손쉬운 입력방식과 애니메이션 분기 및 흐름 제어를 이용한 인터액티브 애니메이션을 제작할 수 있다. 본 기술을 활용하여 비전문가도 원하는 애니메이션 콘텐츠를 기존 애니메이션 콘텐츠 제작 방식보다 쉽고 간편하게 제작할 수 있도록 한다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.14 no.6
• /
• pp.611-620
• /
• 1989

In this paper, Fingerprint matching method which is able to confirm one's identity using microcomputer is discussed. In matching method, fingerprint image is thinned and we extracted feature point data which is composed of position and direction of end-point and branch-point. Identification is conducted by decision of disagreement between reference finger print and input fingerprint us ing this extracted data. After averaging and binariztion process, thining method is conducted. Restoration process is carried out to seek precise feature pointdatd. We compensate position difference of reference fingerprint and input fingerprint, which is divied end-point and branch-point, and translated and rotated its position. Using this compensdate difference of position, we decide whether fingerp-print identity is true or not.

• Journal of KIISE:Software and Applications
• /
• v.28 no.10
• /
• pp.764-772
• /
• 2001

This paper describes fingerprint matching algorithm using connected information between minutiae. We regard minutiae as ridge bifurcation and ridge ending. Features are composed of minutia's position, type(ridge bifurcation or ridge ending) ridge direction and connected ridge information. While the minutiae are extracted, we store connected in information between minutiae on the same ridge. They are used to find corresponding point pairs. Minutiae are aligned completely by two corresponding point pairs and point pattern matching is achieved by counting the number of overlapping pairs. It is invariable t translation and rotation. We have tested proposed method on the 445 fingerprints from 89 persons. These experimental results show that proposed algorithm improve 33% in speed.

• Journal of the Korea Society of Computer and Information
• /
• v.19 no.11
• /
• pp.63-72
• /
• 2014

In this paper, we propose a sign language recognition system using SVM and depth camera. Especially, we focus on the Korean sign language. For the sign language system, we suggest two methods, one in hand feature extraction stage and the other in recognition stage. Hand features are consisted of the number of fingers, finger length, radius of palm, and direction of the hand. To extract hand features, we use Distance Transform and make hand skeleton. This method is more accurate than a traditional method which uses contours. To recognize hand posture, we develop the decision tree with the hand features. For more accuracy, we use SVM to determine the threshold value in the decision tree. In the experimental results, we show that the suggested method is more accurate and faster when extracting hand features a recognizing hand postures.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.12 no.4
• /
• pp.21-27
• /
• 1975

In this paper, a procedure for deriving of multiple fault detection test sets is presented for fan-out reconvergent combinational logic networks. A fan-out network is decomposed into a set of fan-out free subnetworks by breaking the internal fan-out points, and the minimal detecting test sets for each subnetwork are found separately. And then, the compatible tests amonng each test set are combined maximally into composite tests to generate primary input binary vectors. The technique for generating minimal test experiments which cover all the possible faults is illustrated in detail by examples.

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

최근 들어 버퍼오버플로우 취약성을 이용한 해킹 사례들이 늘어나고 있다. 버퍼오버플로우 공격을 탐지하는 방법은 크게 입력 데이터의 크기검사, 비정상적인 분기 금지, 비정상 행위 금지의 세가지 방식 중 하나를 취한다. 본 논문에서는 비정상적인 분기를 금지하는 방법을 살펴본 것이다. 기존의 방법은 부가적인 메모리를 필요로 하고, 컨트롤 플로우가 비정상적인 흐름을 찾기 위해 코드를 추가하고 실행함으로써 프로그램 실행시간의 저하를 단점으로 이야기할 수 있다. 본 논문에서는 부가적인 메모리 사용을 최소한으로 줄임으로 메모리 낭비를 저하시키고 실행시간에 컨트롤 플로우가 비정상적으로 흐르는 것을 막기 위한 작업들을 최소화 함으로서 기존의 방법보다 더 효율적인 방법을 제안하고자 한다.