• 제목/요약/키워드: 정합성 검증

검색결과 150건 처리시간 0.028초

사양 정합성 자동 검사 방법 (Automated Checking of Specification Consistency)

  • 김영수;김장복;최경희;정기현;장중순;박승규
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2005년도 추계학술발표대회 및 정기총회
    • /
    • pp.285-288
    • /
    • 2005
  • 최근 임베디드 시스템의 안정성이 제품의 상품성에 매우 중요한 요인이 되면서, 임베디드 시스템의 내장된 소프트웨어의 품질 검증이 중요해졌다. 내장된 소프트웨어를 검증을 위해서 자동 테스트 방식을 사용할 때, 테스트 오라클이 필요하다. 테스트 오라클을 정확하게 구축하기 위해서는 시스템의 요구사항을 정확하고 수행 가능한 형태로 기술하여야 한다. 따라서 테스트 오라클 생성의 기반이 되는 시스템 사양에서 오류를 검출하는 작업은 매우 중요한 작업이다. 본 논문에서는 사양에 내재가 가능한 다양한 오류 중에서 정합성 오류를 검출하는 방법을 제안한다.

  • PDF

라이다데이터를 이용한 영상정합의 개선 (Improving Image Matching using LIDAR Data)

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

  • PDF

지역적 융선의 방향성을 이용한 빠른 지문 정렬 방법 (Fast Fingerprint Alignment Method using Local Ridge Direction)

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

  • PDF

유도결합 플라즈마에서 임피던스 정합조건을 용한 비침투식 진단방법

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

  • PDF

영상 피라미드 탐색의 국부 최대값을 이용한 고속 패턴 정합 알고리즘의 개발 (Development of a Pattern Matching Algorithm using the Local-Maximum of Image Pyramidal Search)

  • 강동중;김문조;유동훈;노태정
    • 한국멀티미디어학회:학술대회논문집
    • /
    • 한국멀티미디어학회 2003년도 춘계학술발표대회논문집
    • /
    • pp.397-400
    • /
    • 2003
  • 공장 현장에서 적용할 수 있는 산업용 비전 검사시스템의 개발을 위해서는 안정적이면서도 고속 패턴 정합이 가능한 알고리즘의 개발이 요구된다. 기존의 농담정규화상관(NGC)법을 사용하는 알고리즘은 과도한 계산량과 조명의 불안정에 영향을 많이 받는 문제점이 있다 본 논문에서는 영상 피라미드와 물체경계의 에지점들을 이용하여 기존 NGC 알고리즘의 단점을 보완하고 고속 패턴정합을 수행하는 에지기반 점상관 알고리즘을 제안하고 이를 실제 영상에 적용하여 그 신뢰성을 검증한다.

  • PDF

선택적 융선 정합에 의한 강건한 지문 인증기법 (Robust Fingerprint Verification By Selective Ridge Matching)

  • 박영태
    • 대한전자공학회논문지SP
    • /
    • 제37권5호
    • /
    • pp.1-8
    • /
    • 2000
  • 지문인식의 주요 기법으로 사용되어 온 점 패턴 정합 기법은 영상의 질이 열악할 경우 정합 결과의 신뢰성을 보장하기 어려운 단점이 있다 본 논문에서는 유사한 융선 패턴 쌍의 변환 파라메터를 Hough 변환에 의해 산출하여 정합 쌍을 구하고 지문 방향정보를 선택적으로 사용하는 정합률 산출기법에 의해 정합 결과의 검증하는 지문언식 기법을 제안하였다 제안한 기법은 특이점의 개수와 좌표의 변화에 민감하지 않은 특성을 가지므로 열악한 지문영상에서도 낮은 거부율을 유지하면서 0%에 가까운 FAR(False accept rate)를 보장할 수 있다.

  • PDF

데베소프트사의 SIRIUS 장비를 이용한 UL1741 시험 및 고찰 (Test and Study of UL1741SA using DeweSoft's SIRIUS Equipment)

  • 도원석;이윤민;김희중;김영근
    • 전력전자학회:학술대회논문집
    • /
    • 전력전자학회 2020년도 전력전자학술대회
    • /
    • pp.324-325
    • /
    • 2020
  • 계통 연계용 PCS(Power Conditioning System)에 적용되는 미국 인증 규격은 UL1741로써 PCS의 하드웨어 안정성과 소프트웨어의 기능 및 안정성을 요구한다. UL1741은 연계 규정으로 IEEE 1547.1을 요구하고 있으며, 본 논문에서는 소프트웨어 기능 및 안정성을 요구하는 UL1741SA 항목을 검증하기 위하여 데베소프트사의 SIRIUS 장비를 이용하여 효과적이고 정합성 있는 시뮬레이션 결과를 도출한다.

  • PDF

ISDN가입자와 기존 교환망간의 신호방식 정합에 관한 연구 (A Study on the Signalling Conversion between the ISDN Subscriber and the Conventional Exchange)

  • 곽경원;김근배;이주식;박영덕;조규섭;박병철
    • 한국통신학회논문지
    • /
    • 제14권6호
    • /
    • pp.621-632
    • /
    • 1989
  • 기존망이 ISDN으로 가는 과도기적 단계에서 발생할 수 있는 다양한 망 접속 및 가입자/망간 접속에 대처하기 위해서는 각종 정합 장치 및 이에 적용될 실현 기준과 알고리즘의 개발이 필수적이다. 본 논문에서는 ISDN신호 방식과 기준망의 신호 방식을 정합 시킬 수 있는 방안을 연구, 검토한 후 ISDN 가입자 단말 장치를 기존망이 효과적으로 수용 가능한 신호 정합 방안을 제안하였다. 또한 이에 기초한 신호 정합 장치를 구현하여 본 연구의 타당성과 그 효용성을 검증하였다.

  • PDF

클라우드 컴퓨팅 기반의 고가용성 복제시스템의 구현 (Implement of High Available Replicate Systems Based on Cloud Computing)

  • 박성원;이문구;이남용
    • 전자공학회논문지 IE
    • /
    • 제48권4호
    • /
    • pp.61-68
    • /
    • 2011
  • 업무의 IT 의존도가 높아지면서 재해로부터 기업의 자산을 보호하는 것은 IT 운영 관리자들이 가장 고려해야 할 사항들 중 하나이고 데이터 및 정보는 기업 활동의 원천이기 때문에 데이터 보호는 업무 연속성 측면에서 IT 운영의 최대 우선순위가 되고 있다. 그러므로 본 논문은 이러한 재해로 인하여 중단된 정보기술 서비스를 재개하는 재해 복구를 위한 시스템을 클라우드 컴퓨팅 기반으로 구현하였다. 구현된 고가용성 복제 시스템은 복제성능 향상을 위해 다중 스레드 대상 데이터베이스 방법을 적용하였으며, 파일시스템의 실시간 동기화 기술로 네트워크 효율을 향상 시킬 수 있으며, 액티브 대 액티브 운영으로 백업 시스템 활용을 극대화함으로써, 근원지 데이터베이스 시스템의 부하를 분산시키는 효과를 갖게 한다. 이밖에도 복제 데이터의 정합성 검증 기능과 데이터 센터의 실제 운영에서 요구되는 모니터링 기법 등을 구현하였다. 성능평가에서도 다중 스레드 방식을 사용함으로써 단일 스레드 방식보다 약 3배 이상의 향상된 복제 기능 성능결과를 보여주었다.

서술적 실험 설계분석을 통한 과학 영재 창의성 탐색 (Exploring the Creativity of the Scientific Gifted from Analyzing Descriptive Experiment-Design)

  • 김세미;조미영;김성원
    • 한국과학교육학회지
    • /
    • 제32권1호
    • /
    • pp.129-145
    • /
    • 2012
  • 본 연구는 학생들의 실험 설계 내용에서 나타나는 창의적 요소들을 탐색하고, 각 요소 간 상호작용을 분석하여 과학 영재들이 실험을 설계할 때 나타나는 창의성의 특징을 귀납적으로 살펴보았다. 이를 위해 우선, 서술적 실험설계 과정에서 영재들의 창의성 요소를 탐색하기 위한 문항을 개발하였다. 개발된 문항은 2011년 한국 물리올림피아드 일반물리 통신교육에 지원한 학생들에게 요구되는 자기소개서의 일부분으로 제시하였다. 실험설계 과정에서 나타나는 창의성은 발산적 사고와 수렴적 사고의 상호작용이라는 조작적 정의 하에 총 513명의 자기소개서에 포함된 실험설계 과정이 분석되었으며, 그 결과는 다음과 같다. (1) 가설 설정단계에서 나타난 창의성 요소 중 발산적 유형 의 요소는 독창성, 유창성, 융통성이었고, 수렴적 유형의 요소는 정합성, 정교성으로 나타났다. (2) 가설 검증단계에서는 창의성 요소 중 발산적 유형의 요소인 독창성, 유창성, 융통성과 수렴적 유형의 요소인 정합성, 단순성, 신뢰성, 적절성, 명료성, 정합성을 탐색할 수 있었다. (3) 가설설정단계나 검증단계에서 발산적이고 수렴적인 창의적 요소가 함께 발현되어야 창의적 실험설계라는 정의 하에 과학영재들의 창의적 실험설계 유형을 살펴 본 결과 다음과 같은 특징을 가진 3가지 유형이 탐색되었다. a) 첫 번째 유형의 특징은 가설설정단계에서 발산적이고 수렴적인 창의성을 모두 보이고, 가설검증 단계에서는 수렴적인 창의성만 보인 경우이다. b)두 번째 유형은 가설설정단계에 서 발산적 창의성이, 검증 단계에서는 발산적이고 수렴적인 창의성이 나타나는 특징을 보였다. c) 마지막으로 세 번째 유형은 가설설정단계에서 수렴적 창의성을, 가설검증단계에서 발산적 수렴적 창의성을 모두 보이는 특징을 보였다.