• 제목/요약/키워드: 오류 추정 기법

검색결과 182건 처리시간 0.023초

FBD 프로그램 뮤테이션 기반 오류 위치 추정 기법 적용 사례연구 (A Case Study for Mutation-based Fault Localization for FBD Programs)

  • 신동환;김준호;윤원경;지은경;배두환
    • 정보과학회 컴퓨팅의 실제 논문지
    • /
    • 제22권3호
    • /
    • pp.145-150
    • /
    • 2016
  • 프로그램 내에서 오류의 정확한 위치를 찾아내는 것은 많은 시간과 노력을 필요로 하는 작업이다. 이러한 문제를 해결하기 위하여 프로그램의 제어 흐름을 이용한 자동화된 오류 위치 추정 기법이 오랫동안 연구되어 왔으나, 데이터 흐름 기반 언어로 작성된 프로그램에 대해서는 적용될 수 없다는 한계가 있다. 최근 개발된 뮤테이션(mutation) 기반 오류 위치 추정 기법의 경우 프로그램의 제어 흐름 대신 뮤턴트(mutant)라 불리는 인공 오류를 활용하기 때문에 데이터 흐름 기반 언어로 구현된 프로그램에 대해서도 활용될 수 있을 것으로 기대되나, 오류 위치 추정 효과성에 대한 연구는 이루어지지 않았다. 본 연구는 데이터 흐름 기반 언어인 Function Block Diagram (FBD)로 구현된 프로그램을 대상으로 뮤테이션 기반 오류 위치 추정 기법이 실제 오류의 위치를 얼마나 정확하게 추정할 수 있는지에 대한 사례 연구를 수행한다. 실제 원자로 보호 시스템 대상 초기 버전에 사용되었던 FBD 프로그램에서 발견된 오류들을 수집하고, 각 오류별 위치 추정의 효과성을 분석한다.

소프트웨어 오류 추정 기법을 활용한 공대지 사격 오류 요인 분석 모델 (The Fault Analysis Model for Air-to-Ground Weapon Delivery using Testing-Based Software Fault Localization)

  • 김재환;최경희;정기현
    • 한국시뮬레이션학회논문지
    • /
    • 제20권3호
    • /
    • pp.59-67
    • /
    • 2011
  • 본 논문에서는 오류 검출을 위해 소프트웨어 오류 추정 기법을 활용하여 항공무장 시스템인 공대지 사격의 오류 요인을 분석하기 위한 모델을 제시하고 모델을 기반으로 오류 요인 영향을 분석하였다. 선행 연구에서는 공대지 무기체계의 정확도에 영향을 미치는 오류 요소를 분석하고 결함위치추정 기법인 FBEL(Factor-based Error Localization) 기법을 제안하였으며 실사격 자료에 적용하여 오류 요소를 분석하였다. 그러나 다양한 요인 중 하나의 요인인 정확도를 고정하여 적용하므로 다양한 사격 정확도 변화에 따른 사격 오류 발생 요소와의 상관관계는 밝히지 못하였다. 본 연구에서는 사격 오류 요소의 상관관계 분석을 통하여 보다 세밀한 오류 분석 모델을 제시하고 시간과 비용이 제한적이거나 테스트 케이스가 적은 상태에서 오류 발생 가능 요소를 추정하는 방법을 제안한다. 제안된 방법은 실사격 자료를 이용한 시뮬레이션을 통해 그 효용성을 입증하였으며, 무기체계 공대지 시험평가에서 어떤 요소들이 정확도에 영향을 미치는 지를 분석하는데 성공적으로 활용될 수 있음을 보였다.

센서네트워크의 위치추정에 있어 플립오류에 강건한 스티칭 기법 (Flip Error Resistant Stitching in Sensor Network Localization)

  • 권오흠;박상준;송하주
    • 한국정보과학회논문지:정보통신
    • /
    • 제36권1호
    • /
    • pp.24-33
    • /
    • 2009
  • 패치-스티치(patch-and-stitch) 기법을 사용하는 위치추정 알고리즘에서 발생하는 플립오류는 두 패치를 하나의 좌표계로 통합하는 과정에서 패치가 잘못 뒤집혀 병합되는 경우에 발생한다. 본 논문은 플립오류의 발생을 억제하는 앵커프리(anchor free) 패치-스티치 위치추정 알고리즘을 제안한다. 제안하는 알고리즘은 두 단계를 거쳐서 플립 오류의 가능성을 제거한다. 첫째, 각각의 인접한 패치 쌍에 대해서 플립모호성(flip ambiguity) 검사를 통해 플립오류의 발생가능성이 높은 패치 쌍을 찾아낸다. 둘째, 전역적인 수준에서 플립충돌(flip conflict) 검사를 통해 플립 오류의 가능성이 높은 패치 쌍을 찾아낸다. 시뮬레이션을 통한 성능 평가는 제안하는 알고리즘이 기존 것에 비해 더 우수한 위치추정이 가능함을 보여준다.

동기식 IR-UWB 시스템에서 불완전 동기 환경에 강인한 채널 추정 기법 (A Robust Coherent IR-UWB Channel Estimation Method Against Imperfect Synchronization)

  • 황인재;김정빈;오왕록;안재민
    • 한국통신학회논문지
    • /
    • 제34권3A호
    • /
    • pp.205-212
    • /
    • 2009
  • 본 논문에서는 IEEE 802.15.4a를 기반으로 한 IR-UWB (Impulse Radio - Ultra-wideband) 시스템에서 잔여 주파수 오프셋의 영향을 줄이는 채널 추정 기법을 제안한다. 실제로 IR-UWB 수신기는 제한된 프리앰블 심볼의 개수 때문에 주파수 동기를 완벽하게 수행할 수 없다. 따라서 잔여 주파수 오프셋이 존재하고 이 영향으로 채널추정 과정에서 상당한 오류가 발생하게 된다. 제안된 채널 추정 기법은 채널 추정과정에서 얻어낸 다중경로 프로파일을 이용하여 주파수 동기에 대한 정보를 획득하고 그것을 이용함으로써 제한된 수의 프리앰블 심볼을 가지고도 잔여 주파수 오프셋을 보상하고 잔여 주파수 오프셋에 의한 채널 추정 오류를 수정하여 정확한 채널 상태 정보를 추정하는 기법이다. 제안된 알고리즘을 IEEE 802.15.4a에서 제시한 채널 모델에 적용하여 모의실험 하였으며 제안된 채널 추정 알고리즘과 기존의 채널 주정 알고리즘을 비교 분석하여 성능이 개선됨을 확인하였다.

화질 향상을 위한 오류 은폐 기법 (Error Concealment Techniques for Visual Quality Improving)

  • 서재원
    • 한국콘텐츠학회논문지
    • /
    • 제6권2호
    • /
    • pp.65-74
    • /
    • 2006
  • MPEG-2 비디오 압축열은 복잡한 부호화 알고리즘을 이용하여 압축하기 때문에 전송 오류에 매우 민감하다. 만약 패킷을 잃어버리거나 수신된 패킷에 오류가 있으면 현재 화면에 화질저하가 발생할 뿐만 아니라 화면수가 제한적이긴 하지만 뒤이어서 재생되는 화면에도 오류가 전파된다. 따라서 이런 전송오류의 영향을 막거나 최소화 하기위해서 다양한 오류 강인 부호화/복호화를 적용한다. 대표적인 오류 강인 방법이 오류 은폐 기법이다. 오류 은폐 기법은 손상된 비디오 데이터를 은폐하기 위해서 정상적으로 수신된 데이터의 공간적, 시간적 중복성을 이용한다. 손상된 데이터를 복원하기 위해 움직임 벡터를 추정하고 움직임 보상하는 것은 좋은 방법이다. 이 논문에서는 다양한 움직임 벡터 복원 방법에 기반한 오류 은폐 기법을 제안하고 일반적인 방법들과 성능을 비교한다.

  • PDF

비디오 스트림에서 DCT 계수를 이용한 오류 검출 기법 (DCT Coefficients-Based Error Detection Technique in Video Streams)

  • 박서림;이승원;정기동
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (3)
    • /
    • pp.151-153
    • /
    • 2001
  • 문선 채널에서 신뢰성 있는 실시간 동영상 서비스를 하기 위해서는 비디오 스트림 내에서 오류가 발생한 블록의 위치를 알아야 정확한 오류 복구가 가능하다. 이전의 오류 검출 연구들은 대부분 픽셀 단위로 비교하므로 계산량이 많은 문제점이 있다. 본 논문에서는 실시간 서비스를 고려하여 계산량이 적은 블록 단위의 오류 검출 기법을 제안한다. 블록 내의 DCT 계수를 이용하여 오류를 검출한다. DC 계수를 이용해 1차 임계치를 비교한 후 AC 계수를 이용해 에지를 검출한다. 애지가 존재하는 블록에 대해 2차 임계치를 비교하여 오류 여부를 판단한다. DCT 계수 정보를 직접 이용할 수 없는 P, B 프레임에서 DCT 계수를 추정할 수 있는 방법도 함께 제안한다. 제안한 오류 검출 기법을 실제 구현하여 성능을 측정한다.

  • PDF

시공간데이터베이스의 다차원 선택도 추정을 위한 웨이블렛 기반 히스토그램 (Simple Wavelet-based Histogram of Multidimensional Selectivity Estimation for Spatio-temporal Databases)

  • 권정민;신병철;이종연
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (2)
    • /
    • pp.34-36
    • /
    • 2005
  • 선택도 추정 기법은 상용 데이터베이스에서 질의 최적화를 위해 많이 사용하고 있다. 그 중 선택도 추정 기법에 가장 많이 사용되고 있는 기법은 히스토그램이다. 최근 시공간 데이터베이스 관련 연구에서 시간$\cdot$공간 데이터베이스의 선택도 추정 기법이 활발하게 이루어지고 있다. 이 히스토그램 추정 기법이 과거에서 현재시점까지 범위 질의 수행을 성공적으로 이루어지고 있지만 대량의 데이터들을 효율적으로 관리하기에는 저장오버헤드가 너무 크다. 본 논문에서는 시공간데이터베이스에서 성공적으로 선택도 추정을 다룬 히스토그램 추정 기법을 보완하여 과거 이력데이터들의 저장을 효율적으로 할 수 있는 압축기법을 제안한다. 현재 객체에 대해서는 기존 연구에서 성공적으로 이루어진 히스토그램 기반 추정 기법을 응용하고 과거 이력데이터에 대해서는 압축기법인 웨이블렛을 응용하여 선택도추정의 오류율과 저장오버헤드의 향상이 기대된다.

  • PDF

말뭉치 오류를 고려한 HMM 한국어 품사 태깅 시스템 (A Korean POS Tagging System with Handling Corpus Errors)

  • 설용수;김동주;김규상;김한우
    • 한국컴퓨터정보학회지
    • /
    • 제15권1호
    • /
    • pp.117-124
    • /
    • 2007
  • 통계 기반 접근 방법을 이용한 품사태깅에서 태깅 정확도는 훈련 데이터의 양에 좌우될 뿐 아니라, 말뭉치가 충분할지라도 수작업으로 구축한 말뭉치의 경우 항상 오류의 가능성을 내포하고 있으며 언어의 특성상 통계적으로 신뢰할만한 데이터의 수집에도 어려움이 따른다. 훈련 데이터로 사용되는 말뭉치는 많은 사람들이 수작업으로 구축하므로 작업자 중 일부가 언어에 대한 지식이 부족하다거나 주관적인 판단에 의한 태깅 실수를 포함할 수도 있기 때문에 단순한 저빈도와 관련된 잡음 외의 오류들이 포함될 수 있는데 이러한 오류들은 재추정이나 평탄화 기법으로 해결될 수 있는 문제가 아니다. 본 논문에서는 HMM(Hidden Markov Model)을 이용한 한국어 품사 태깅에서 재추정 후 여전히 존재하는 말뭉치의 잡음에 인한 태깅 오류 해결을 위해 비터비 알고리즘적용 단계에서 데이터 부족과 말뭉치의 오류로 인해 문제가 되는 부분을 찾아내고 규칙을 통해 수정을 하여 태깅 결과를 개선하는 방안을 제안한다. 실험결과는 오류가 존재하는 말뭉치를 사용하여 구현된 HMM과 비터비 알고리즘을 적용한 태깅 정확도에 비해 오류를 수정하는 과정을 거친 후 정확도가 향상됨을 보여준다.

  • PDF

디지털 TV 화질 개선을 위한 전송 오류 은폐 기법 (Error Concealment Technique for Image Quality Improvement of Digital TV)

  • 서재원;호요성
    • 한국방송∙미디어공학회:학술대회논문집
    • /
    • 한국방송공학회 1999년도 KOBA 방송기술 워크샵
    • /
    • pp.35-40
    • /
    • 1999
  • 이 논문은 디지털 TV의 압축 비트열을 전송할 때, 채널 오류로 인해 디지털 TV 디코더에서 화면을 재생할 때 발생할 수 있는 화질의 저하를 최소화시키는 방법을 기술한다. 텔레비전과 같은 단방향 방송 시스템에서 전송 도중에 오류가 발생하여 수신측에서 전송 오류를 제대로 정정하기 곤란할 때, 재생된 화면이 심각하게 훼손될 수 있다. 이때 오류로 인한 화면의 손상을 주변의 공간적 또는 시간적 상관 정보를 이용하여 화면을 복원하는 동작을 오류 은폐라고 한다. 최근 디지털 TV나 고선명 TV의 기본 부호화 방식으로 많이 사용하고 있는 MPEG 비디오 표준 방식은 공간적인 중복 정보를 압축하기 위해 DCT 변환을 수행하며, 시간적인 중복 정보를 압축하기 위해 움직임 예측과 움직임 보상 방법을 이용한다. 또한 MPEG 비디오 압축 방식은 일종의 차분 부호화 방법을 사용하기 때문에 현재 화면에서 오류가 발생하면 현재 화면뿐만 아니라, 시간적으로 나중에 부호화된 화면에도 오류가 전파된다. 본 논문에서는 MPEG 비트열의 채널 오류의 영향을 분석하여 화면간에 존재하는 시간적인 중복성을 이용하여 움직임 벡터를 추정하여 손상된 부분을 은폐시키는 방법을 제안한다. 기본적으로 손상된 매크로블록의 위와 아래로 인접한 화소값들을 움직임 벡터의 추정에 사용한다. 제안된 방법들 중에서 주변 움직임 벡터들의 가중치를 이용한 평균값 방법과 초기 움직임 벡터를 이용한 확장 영역 움직임 추정 방법이 우수한 결과를 보였다.

  • PDF

길쌈 부호화 시공간 블록 부호 시스템의 오류 성능에 대한 채널 변화 및 채널 추정 오류의 영향 (Impact of Channel Variations and Channel Estimation Errors on the Error Performance of Convolutional Coded STBC Systems)

  • 윤은식;김선형;박상준;강병권
    • 디지털융복합연구
    • /
    • 제16권5호
    • /
    • pp.231-237
    • /
    • 2018
  • 논문에서는 길쌈 부호화 시공간 블록 부호 시스템의 오류 성능에 대한 채널 변화 및 채널 추정 오류의 영향에 대해 살펴보았다. 본 논문에서는 직교 방식의 Alamouti 시공간 블록 부호 및 준직교 방식의 Jafarkhani 시공간 블록 부호의 두 가지 시공간 블록 부호 방식을 고려하여, 길쌈 부호화 시공간 블록 부호 시스템들에서 채널 변화 및 추정 오류 정도에 따른 오류 성능 변화를 모의실험을 통해 분석하였다. 분석 결과 채널 변화 속도가 느린 경우에는 시간 다이버시티 효과로 인해 채널 변화가 없는 상황 대비 검출 방식에 관계없이 오류 성능이 향상되나, 채널 변화 속도가 빠른 경우에는 검출 과정에서의 오류로 인해 특히 준직교 Jafarkhani 적용 시스템에서 STBC 검출 사용 시 ZF 및 MMSE 검출 사용 시와 달리 큰 폭의 성능 열화가 발생함을 관측하였다. 또한 채널 추정 오류 증가 시에는 검출 기법 및 채널 변화 속도에 관계없이 큰 폭의 성능 열화가 발생함을 확인하였다.