• Proceedings of the Korea Information Processing Society Conference
• /
• 2005.11a
• /
• pp.285-288
• /
• 2005

최근 임베디드 시스템의 안정성이 제품의 상품성에 매우 중요한 요인이 되면서, 임베디드 시스템의 내장된 소프트웨어의 품질 검증이 중요해졌다. 내장된 소프트웨어를 검증을 위해서 자동 테스트 방식을 사용할 때, 테스트 오라클이 필요하다. 테스트 오라클을 정확하게 구축하기 위해서는 시스템의 요구사항을 정확하고 수행 가능한 형태로 기술하여야 한다. 따라서 테스트 오라클 생성의 기반이 되는 시스템 사양에서 오류를 검출하는 작업은 매우 중요한 작업이다. 본 논문에서는 사양에 내재가 가능한 다양한 오류 중에서 정합성 오류를 검출하는 방법을 제안한다.

• Proceedings of the Korean Association of Geographic Inforamtion Studies Conference
• /
• 2008.10a
• /
• pp.171-172
• /
• 2008

본 연구는 영상정합의 주요 과정에 라이다데이터를 적용하여 자동정합의 효율성 및 결과의 신뢰도를 제고하기 위한 전략 및 방법을 개발하는 것을 목표로 하였다. 라이다데이터를 이용하여 영역기반정합에서 검색초기값의 결정과 정합결과에 대한 신뢰도 평가를 개선하였다. 제안된 방법은 중해상도 항공 디지털 영상과 동시에 관측된 라이다데이터에 적용하여 검증하였다. 본 연구의 결과는 현존하는 상업용 디지틸영상정합자동화 프로그램의 정합성능을 개선하는 것에 기여하며, 향후 실시간공간정보제계 구축의 밑거름을 마련한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10b
• /
• pp.580-582
• /
• 2003

특징점 기반 지문 인식 방법은 지문 영상의 전처리 과정을 포함한 특징점 추출 과정과 추출된 특징점들의 유사도를 판단하는 정합 과정으로 구성된다. 특징점들의 정합과정을 수행하는 여러 가지 방법들 중 Hausdorff 거리 기반 정합 방법은 이동과 회전이 적은 지문의 특징점들에 대해 빠르게 계산할 수 있는 장점을 갖는다. 그러나, 이 방법은 이동과 회전이 많은 지문 영상의 경우 연산이 많아지는 단점을 가진다. 본 논문에서는 정합을 실행하기 전 지문의 중심점과 지역적인 블럭들의 방향성을 기준으로 정렬을 수행하여 비교되는 지문 특징점간의 회전 오차와 이동 오차를 줄임으로써, 기존의 정합 방법의 불필요한 연산량을 줄일 수 있는 방법을 제안하였다. 제안된 방법을 검증하기 위해 Hausdorff 거리 기반 정합 방법을 구현하고 그것에 대한 결과와 선정렬을 사용한 후의 정합 결과를 실험, 비교하였다. 이때의 평균 Hausdorff 거리는 Genuine의 경우 0.095가 줄어들었고, Improster의 경우 0.655가 늘어나는 성능 향상을 나타냈다.

• Proceedings of the Korean Vacuum Society Conference
• /
• 2013.02a
• /
• pp.202-202
• /
• 2013

유도결합 플라즈마 방전 시 사용되는 L형 임피던스 정합기(impedance matcher)의 경우 일반적으로 직렬 및 병렬 콘데서가 연결되어있으며, 임피던스 정합조건이 되었을때 전원과 안테나 사이에 있는 임피던스 정합기의 소자값이 특정 값을 가지게 된다. 유도결합 플라즈마를 진단하기 위한 여러 방법들이 연구되어 왔지만, 이러한 임피던스 정합조건과 플라즈마 내부 변수들의 상관 관계에 대한 연구는 보고된 바 없다. 본 연구에서는 유도결합 플라즈마의 임피던스 정합조건과 유도결합 플라즈마의 변압기 회로모델를 이용하여 플라즈마 저항 및 플라즈마 인덕턴스를 구하기 위한 관계식을 도출하고 임피던스 정합기의 직렬 및 병렬 콘덴서 용량값 측정하여 플라즈마 저항 및 플라즈마 인덕턴스값을 계산하였다. 결과 검증을 위해 다양한 압력 및 전력 조건에서 부유랑뮤어 탐침법을 이용하여 플라즈마 밀도를 측정해 비교해 보았으며, 두 결과의 경향성은 잘 일치함을 확인하였다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2003.05b
• /
• pp.397-400
• /
• 2003

공장 현장에서 적용할 수 있는 산업용 비전 검사시스템의 개발을 위해서는 안정적이면서도 고속 패턴 정합이 가능한 알고리즘의 개발이 요구된다. 기존의 농담정규화상관(NGC)법을 사용하는 알고리즘은 과도한 계산량과 조명의 불안정에 영향을 많이 받는 문제점이 있다 본 논문에서는 영상 피라미드와 물체경계의 에지점들을 이용하여 기존 NGC 알고리즘의 단점을 보완하고 고속 패턴정합을 수행하는 에지기반 점상관 알고리즘을 제안하고 이를 실제 영상에 적용하여 그 신뢰성을 검증한다.

• Journal of the Institute of Electronics Engineers of Korea SP
• /
• v.37 no.5
• /
• pp.1-8
• /
• 2000

Point pattern matching schemes for finger print recognition do not guarantee robust matching performance for fingerprint Images of poor quality We present a finger print recognition scheme, where transformation parameters of matched ridge pairs are estimated by Hough transform and the matching hypothesis is verified by a new measure of the matching degree using selective directional information Proposed method may exhibit extremely low FAR(False accept rate) while maintaining low reject rate even for the Images of poor quality because of the robustness to the variation of minutia points.

• Proceedings of the KIPE Conference
• /
• 2020.08a
• /
• pp.324-325
• /
• 2020

계통 연계용 PCS(Power Conditioning System)에 적용되는 미국 인증 규격은 UL1741로써 PCS의 하드웨어 안정성과 소프트웨어의 기능 및 안정성을 요구한다. UL1741은 연계 규정으로 IEEE 1547.1을 요구하고 있으며, 본 논문에서는 소프트웨어 기능 및 안정성을 요구하는 UL1741SA 항목을 검증하기 위하여 데베소프트사의 SIRIUS 장비를 이용하여 효과적이고 정합성 있는 시뮬레이션 결과를 도출한다.

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

According to the conventional network evolving towards ISDN, various connection types may be existed in the networks and subscriber-network interfaces. For this reason it is necessary to study the signalling conversion algorithms and the implementation models. In this paper, after surveying the signalling conversion method between the ISDN subscriber and the conventional network, the signaling conversion algorithms are proposed. Based on this algorithms the matching system is designed and developed. Also the validity of this system and the utility of designed software and hardware functions are verified through experiments.

• 전자공학회논문지 IE
• /
• v.48 no.4
• /
• pp.61-68
• /
• 2011

As business management has a high level of dependence on Informational Technology (IT), protecting assets of a company from disaster is one of the most important thing that IT operating managers should consider. Because data or information is a major source of operation of the company, data security is the first priority as an aspect of continuity of business management. Therefore, this paper will realize disaster recovery system, which is suspended because of disaster, based on cloud computing system. Realized High Available Replicate System applied a method of multi thread target database to improve Replicate performance, and real time synchronize technology can improve efficiency of network. From Active to Active operation, it maximizes use of backup system, and it has a effect to disperse load of source database system. Also, High Available Replicate System realized consistency verification mechanism and monitoring technique. For Performance evaluation, High Available Replicate System used multi thread method, which shows more than threefold of replicate performance than single thread method.

• Journal of The Korean Association For Science Education
• /
• v.32 no.1
• /
• pp.129-145
• /
• 2012

This study investigated factors of creativity and interaction between factors that are revealed when gifted students designed scientific experiments. For this, we firstly developed items which required the written process of designing experiments to explore creativity factors. Then, we used these items as a part for letters of self-introduction to students who applied for 2011 correspondence education of general physics for the Korea Physics Olympiad. 513th letters of self-introduction which were analyzed to investigate factors of creativity in view of creativity definition after researchers' consultation, which specifically means a combination of divergent and convergent thinking. The results were as follows; (1) in the step of hypothesis building, we could not only find Originality and the Flexibility & Fluency, which were factors of divergent thinking, but also Coherency and Elaborateness, which were factors of convergent thinking. (2) in the step of the hypothesis testing, we could explore Originality, Flexibility & Fluency in divergent thinking and Coherency, Reliability, Clarity, Elaborateness in convergent thinking. (3) we also figured out three creativity types of gifted students from the viewpoint that creativity is a consequence of interaction between divergent thinking and convergent thinking; a) Type A showed divergent and convergent factors of creativity in the step of hypothesis building. However, type A did not include divergent factors of creativity on the process of the hypothesis testing. b) Type B had divergent and convergent factors of creativity on the process of the hypothesis testing, but it had not convergent factors of creativity on the step of hypothesis building. c) Finally, in Type C, only divergent factors of creativity appeared on the process of the hypothesis testing, but convergent factors of creativity could be found on the step of hypothesis building and hypothesis testing.