• KIISE Transactions on Computing Practices
• /
• v.22 no.3
• /
• pp.145-150
• /
• 2016

Finding the exact location of faults in a program requires enormous time and effort. Several fault localization methods based on control flows of a program have been studied for decades. Unfortunately, these methods are not applicable to programs based on data-flow languages. A recently proposed mutation-based fault localization method is applicable to data-flow languages, as well as control-flow languages. However, there are no studies on the effectiveness of the mutation-based fault localization method for data-flow based programs. In this paper, we provided an experimental case study to evaluate the effectiveness of mutation-based fault localization on programs implemented in Function Block Diagram (FBD), a widely used data-flow based language in safety-critical systems implementation. We analyzed several real faults in the implementation of FBD programs of a nuclear reactor protection system, and evaluated the mutation-based fault localization effectiveness for each fault.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2014.11a
• /
• pp.356-359
• /
• 2014

스마트 모바일 기기 즉, 스마트폰을 이용한 위치 기반 서비스(LBS)가 각광 받고 있는 가운데, 사용자 관점에서의 위치 측정에 대한 오류를 검출과 위치를 교정하는 서비스가 필요로 하게 되었다. GPS를 이용한 위치 측정의 방법을 예로 들어 GPS 신호를 수신하는 기기에서의 위치 측정 오류 감지는 어려운 실정이고 약간 더 정밀하게 측정하는 방법뿐이 존재하지 않는다. 이 논문에서는 GPS 수신기와 같은 사용자 관점에서 위치 데이터들의 속도를 계산하여 속도의 변화량을 이용해 multipath와 같은 위치 데이터의 오류를 검출하고 교정한 결과에 대해 다룬다. 단순 속도의 변화량이 아닌 인간의 이동 속도가 지수 확률 분포를 따른다는 사실을 기반하여 이동 윈도우(Moving Window)의 개념을 도입해 매 윈도우마다 한계 속도를 결정하고 한계 속도 이상의 속도가 발생하였을 때를 위치 오류라 검출 할 것이다.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.20 no.2
• /
• pp.171-181
• /
• 2002

As the result of the analysis of the underground utility map made before, we could have divided the kind of errors into the two types, position error of geometric data and attribute error and knew the fact that mainly position error is derived from the process of detecting and surveying the underground utility, and attribute is inputting data. In this study we showed the way improving accuracy in detecting and surveying underground utility by field test, and the way to reduce attribute error by process refinement.

• Korean Journal of Remote Sensing
• /
• v.27 no.2
• /
• pp.99-105
• /
• 2011

This research presents the correction method to correct the location error of cloud caused by parallax error, and how the method can reduce the position error. The procedure has two steps: first step is to retrieve the corrected satellite zenith angle from the original satellite zenith angle. Second step is to adjust the location of the cloud with azimuth angle and the corrected satellite zenith angle retrieved from the first step. The position error due to parallax error can be as large as 60km in case of 70 degree of satellite zenith angle and 15 km of cloud height. The validation results by MODIS(Moderate-Resolution Imaging Spectrometer) show that the correction method in this study properly adjusts the original cloud position error and can increase the utilization of geostationary satellite data.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.11a
• /
• pp.1273-1276
• /
• 2012

오늘날 모바일 스마트 기기의 발전은 위치기반의 새로운 기술을 이끌었다. 현재 위치 데이터를 사용하는 많은 응용프로그램들이 소개되었고, 또한 널리 사용되고 있다. 하지만 아직 이러한 위치 데이터들은 환경적인 요소 등으로 인해 오류가 많다. 본 논문에서는 연속적인 위치 데이터들 사이에서 오류를 찾아내는 알고리즘을 제안할 것이다. 이동 윈도우에서의 이동 평균과 이동 표준편차가 이동 유의구간을 구성할 것이고, 이 이동 유의 구간은 오류 데이터들을 찾아내는 데에 사용될 것이다. 또한 오류 데이터를 교정하는 방식도 제안할 것이다. 이러한 일련의 과정을 본 논문에서는 알고리즘으로 나타낸 후 실험을 통해 입증할 것이다. 이러한 방식의 접근이 다른 위치기반 응용프로그램이나 인간 이동 연구에 도움이 될 것이라 생각한다.

• Journal of KIISE:Information Networking
• /
• v.36 no.1
• /
• pp.24-33
• /
• 2009

In patch-and-stitch localization algorithms, a flip error refers to the kind of error in which a patch is stitched to the map as being wrongly reflected. In this paper, we present an anchor-free localization algorithm which tries to detect and prevent flip errors. The flip error prevention is achieved by two filtering mechanisms: the flip-ambiguity test and the flip-conflict detection. We evaluate the performances of proposed techniques though simulations and show that they achieve significant performance improvements.

• Annual Conference on Human and Language Technology
• /
• 2004.10d
• /
• pp.259-263
• /
• 2004

본 연구는 머리어-후행언어(head-final language)로 분류되는 한국어의 통사 및 의미 처리 과정의 언어간(cross linguistic) 일반성과 언어내(intra-language) 특이성을 ERP(event- related potentials) 실험결과를 통해 알아보고자 하였다. 한국어 문장처리 과정에서의 통사 및 의미 처리특성은, 우선 이들을 지표하는 각각의 오류문을 통해 P600과 N400 이라는 언어일반의 처리과정을 보이면서도 각 성분의 영역분포는 오류가 출현된 위치에 따라 분기하고 있음을 관찰할 수 있었다. 곧, 문미위치의 술어오류에서 중심-두정 부위의 활성화 우세로 각 오류간 영역분화를 보이는 패턴을 새롭게 확인하였다. 이로써 오류의 유형별 재분류과정으로 드러난 오류출현 위치가 오류의 유형 내에 영향을 끼치는 한 변수가 될 수 있으며. 이는 이들 보어 및 술어를 구성하는 고유의 범주 특성으로 해석할 수 있는 근거가 될 수 있음도 아울러 확인하였다.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2002.11a
• /
• pp.49-55
• /
• 2002

기존의 영상 획득 시스템들이 어느 정도의 엘리어싱을 허용하도록 제작되어왔음에도 불구하고, 고해상도 영상에 대한 요구는 점점 더 증가하고 있다. 본 논문에서는 부정확한 부화소 단위의 위치추정 오류를 고려한 고해상도 재구성 알고리즘을 제안한다. 부정확한 부화소 위치 추정 오류로 인해 생기는 불량위치문제(ill-posedness)를 해결하기 위해 정규화된 반복 연산법을 적용하였다. 특히 여러장의 저해상도 영상들을 개별적으로 고려하기에 적합한 다중채널 영상 재구성 방법을 도입하였다. 각 저해상도 영상에서 발생하는 움직임 추정오류는 서로 다른 경향성을 나타내므로, 정규화 파라미터들은 각 채널에 맞게 결정되어야 한다. 이를 위채 정규화 파라미터들을 자동으로 결정하는 방법을 제안한다. 제안한 알고리즘은 움직임 추정 오류에 매우 안정하며, 원 영상과 잡음에 대한 사전정보를 필요로 하지 않는다. 또한 주관적인 측면과 객관적인 측면에서 모두 우수한 결과를 실험적으로 보인다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2010.05a
• /
• pp.785-787
• /
• 2010

살아있는 세포는 세포의 주기에 따라 생성되거나 사멸되는 과정을 반복하게 된다. 이 기간 동안 오류가 발생하면 세포가 생명을 유지하기 위해서는 주변 세포에서 오류가 부분을 찾아서 그 세포를 사멸시킬 수 있는 과정을 거치게 된다. 이런 세포 기능을 모사하여 회로 시스템에 적용하였다. 회로가 기능을 유지하다가 오류가 발생하였는지 확인하기 위해서는 DMR(Double Modular Redundancy)로 구현된 회로에 의해서 위치를 파악하고 빠르게 복구할 수 있도록 같은 회로를 구현하였다. 본 연구에서는 카운터를 구현하였으며 임의의 부분에 오류가 발생하도록 회로를 구성, 오류위치를 찾고 정상적으로 동작할 수 있도록 하였다.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.39 no.12
• /
• pp.1022-1032
• /
• 2002

A multibit DRAM BIST methodology reducing redundancy programming overhead has been proposed. It is capable of counting and locating faulty bits simultaneously with the test. If DRAM cells are composed of n blocks generally, the proposed BIST can detect the state of no error, the location of faulty bit block if there is one error and the existence of errors in more than two blocks, which are n + 2 states totally, with only n comparators and an 3 state encoder. Based on the proposed BIST methodology, the testing scheme which can detect the number and locations of faulty bits with the errors in two or more blocks, can be easily implemented. Based on performance evaluation, the test and redundancy programming time of 64MEG DRAM with 8 blocks is reduced by 1/750 times with 0.115% circuit overhead.