• 전기전자학회논문지
• /
• 제8권1호
• /
• pp.12-21
• /
• 2004

오류제어는 많은 전자 시스템의 주요한 관심사이다. 시스템 동작에 영향을 미치는 대부분의 고장은 회로에서 발생하는 타이밍 위반의 결과로 나타나는 비정상적인 신호지연으로 인한 것이며, 이는 주로 과도고장에 의해 발생한다. 본 논문에서는 CMOS 회로의 동작 중에 타이밍 오류를 검출하는 회로를 설계하였다. 타이밍 오류 검출기는 클럭에 의해 제어되는 시스템의 준비시간 및 대기시간의 위반에 대한 오류를 검출할 수 있다. 설계한 회로는 데이터의 입력이 클럭 천이지점에서 변화할 때 과도전류를 측정하여 오류 검출기의 전류 감지회로에서 발생시킨 기준전류와 비교함으로써 오류의 발생 여부를 확인 할 수 있다. 이러한 방법은 클럭에 의해 동작하는 시스템의 준비시간 및 대기시간의 위반에 따른 오류를 효과적으로 검출할 수 있음을 보여준다. 이 회로는 2.5V 공급전압의 $0.25{\mu}m$ CMOS 기술을 이용하여 구현하였으며, HSPICE로 시뮬레이션하여 정당성 및 효율성을 검증하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (1)
• /
• pp.343-345
• /
• 2005

본 연구에서는 유비쿼터스 서비스를 위한 멀티미디어 공동작업 기반의 흠 네트워크 환경에서 기존 프레임워크에서 없는 웹 페이지와 미디어 등의 프로세스(process) 요소들에 대한 오류를 미리 감지하여 알려주고 오류 공유 시스템을 이용하여 신속하고 정확하게 전달하여서 복구하는데 빠르게 대처할 수 있는 시스템 기능을 제안한다. 본 연구 결과는 사용자들 간의 공통된 웹 기반 문서를 참조하다가 오류 발생 시에 오류 공유 서버의 개념을 도입시키고 이를 통해서 오류 정보를 일치시킨다. 즉, 오류 동기화 기능을 갖는 유비쿼터스 서비스를 위한 멀티미디어 공동 작업 기반 흠 네트워크 환경에서 세션을 잘 유지하기 위하여 오류 동기화를 위한 중요한 토대를 마련하는 시스템을 제공할 것이다.

• 정보처리학회논문지C
• /
• 제9C권5호
• /
• pp.765-774
• /
• 2002

정적 휴리스틱 분석은 알려지지 않은 악성 코드를 감지하는데 널리 사용되는 기법으로, 악성 코드에 보편적으로 존재하는 코드 조각들을 탐색하여 대상 코드의 악성 여부를 판단한다. 그러나, 스크립트로 작성된 악성 코드에서는 정형화된 코드 조각들을 찾아내기 어려우므로, 특정한 메소드 호출들의 존재만을 검사하는 것이 보편적이다. 이러한 감지 방식은 높은 감지 오류율을 보이게 되는데, 이는 많은 메소드들이 일반 스크립트에서도 빈번하게 사용될 수 있는 것들임에 기인한다. 따라서, 현재 정적 휴리스틱 분석은 일반 스크립트에서 거의 사용되지 않는 특별한 메소드 호출들로 이루어진 악성 행위만을 감지하는데 제한적으로 사용되고 있다. 본 논문에서는 메소드 호출 뿐 아니라 이에 관련된 파라미터와 리턴 값까지 고려하여 악성 행위 패턴을 정확하게 감지함으로써 이러한 단점을 극복할 수 있는 정적 분석 기법을 제안하고 그 구현을 제시한다. 또한, 구현된 시스템 상에서의 실험을 통해, 높은 긍정 오류 때문에 기존 기법의 적용이 어려웠던 악성 행위가 제안된 기법으로 감지될 수 있음을 보인다.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2006년도 추계학술대회 학술발표 논문집 제16권 제2호
• /
• pp.378-382
• /
• 2006

현재 주로 사용되고 있는 화재 감지 장치들은 경고 기반으로 되어 있어 정확한 화재 발생의 위치 검색이 어려우며 장치의 고장이 발생한 경우 고장 유/무의 확인이 어려워 보다 큰 인명 피해 및 재산 피해를 가져올 수 있다. 센서 네트워크 시스템은 통신매체 없이 데이터 송/수신이 가능하며 이를 통한 모니터링 환경의 구축이 쉬워 위치검색 및 고장 검출 알고리즘의 적용이 간단하다. 본 논문에서는 WSN 기반의 화재 감지 시스템을 제안하며 오류검출 알고리즘인 Consensus 알고리즘을 적용하여 그 유용성을 확인하고자 한다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제4권2호
• /
• pp.83-90
• /
• 2015

현존하는 자동 사고감지 알고리즘의 대부분은 개방도로 혹은 터널 내에서 사고 발생 시 이것을 사고로 감지하지 못하고 혼잡으로 감지하는 경우가 많다는 문제점을 가지고 있다. 본 논문에서는 개방도로에서의 사고감지 알고리즘을 기반으로 터널 내에서의 사고감지 알고리즘을 개선하여 감지율을 높일 수 있는 알고리즘을 제안하였다. 개선된 알고리즘은 가우시안 혼합모델을 이용하여 픽셀의 변화량을 판단하여 터널 내 사고로 인한 정지차량을 우선 감지한 후 도로를 블록화하여 블록 간 점유율의 편차를 분석하여 최종 판단을 한다. 실제 사고영상에 알고리즘을 적용한 실험에서 모두 오류 없이 검지하였음을 확인하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2006년도 춘계학술발표대회
• /
• pp.1341-1344
• /
• 2006

임베디드 시스템의 신인도(Dependability)를 확보하기 위해 하드웨어적으로 여분을 두는 결함 허용(Fault-tolerant) 기법을 적용하는 것은 임베디드 시스템의 설치공간, 비용 및 전원 공급의 부족 등의 이유로 무리가 있다. 본 논문에서는 소프트웨어 결함 허용 기법의 일종인 시간 여분(Time-redundancy) 개념을 적용한 Extended Temporal Error Detection (E-TED) 기법을 연구하였으며, 실험을 통해 제안한 E-TED 기법이 기존의 TED 기법에 비해 데이터 오류의 감지 확률이 높은 것을 확인하였다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제28권1호
• /
• pp.73-89
• /
• 2001

본 연구에서는 일반화된 let-다형성(let-polymorphic) 타입 유추 알고리즘을 제시하고, 이로부터 얻어지는 모든 예 알고리즘들은 Hindley/Milner 타입 체계를 안전하고 완전하게 (sound and complete) 구현하고 있음을 증명하며, 일반화된 알고리즘의 두 예 알고리즘들간에 어느 한쪽이 항상 오류를 더 신속히 감지하게 되는 조건을 제시한다. 일반화된 알고리즘으로부터 이론적으로 검증된 두 타입 유추 알고리즘, 즉, 상향성 표준 타입 유추 알고리즘 W와 하향성 알고리즘 M 뿐만 아니라 두 알고리즘의 혼성 알고리즘(hybrid algorithm)을 만들 수 있다. 만들어진 예 알고리즘들의 안전성, 완전성, 상대적인 신속한 오류 감지 성질들은 본 논문의 증명에 의해 자동적으로 유추된다. 본 논문에서 제시되는 알고리즘으로부터 만들어 낼 수 있는 예 알고르즘에는 SML/NJ와 Objective Caml 컴파일러에서 채택한 알고리즘을 포함하고 있다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2014년도 추계학술발표대회
• /
• pp.356-359
• /
• 2014

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

• 디지털콘텐츠학회 논문지
• /
• 제15권1호
• /
• pp.87-91
• /
• 2014

본 논문은 웹 기반 사회 안전 서비스를 위한 오류 관리기에 대해서 제안하였다. 본 시스템은 멀티미디어 협동 작업 환경에서 소프트웨어 오류를 감지, 공유, 복구하기에 적합한 시스템이다. 이 시스템에 의해서 오류를 공유할 수 있다. 웹 기반 사회 안전 서비스를 위한 오류 관리기는 사용자들에게 상호작용 인지를 통하여 오류 객체 공유를 가능하게 한다. 인지의 구현 방법에는 파일 공유, 윈도우 복사, 윈도우 오버레이, 또는 윈도우 공유 등이 있다. 본 시스템은 공동 작업에 참여한 사용자들이 다른 참여자들에게 같은 뷰로써 공유된 오류 객체들을 참조할 수 있도록 구축하였다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2010년도 제22회 한글 및 한국어 정보처리 학술대회
• /
• pp.3-8
• /
• 2010

본 연구에서는 일련의 연구에서 수집된 영작문 오류 유형의 정제된 자료를 토대로 연관 규칙을 생성하고, 학습을 통해서 효용성이 검증된 연관 규칙을 활용해서 영작문 데이터의 형태 통사 오류를 자동으로 탐지한다. 영작문 데이터에서 형태 통사 오류를 찾아내는 작업은 많은 시간과 자원이 소요되는 작업이므로 자동화가 필수적이다. 기존의 연구들이 통계적 모델을 활용한 어휘적 오류에 치중하거나 언어 이론적 틀에 근거한 통사 처리에 집중하는 반면에, 본 연구는 데이터 마이닝을 통해서 정제된 데이터에서 연관 규칙을 생성하고 이를 검증한 후 형태 통사 오류를 감지한다. 이전 연구들에서는 이론적 틀에 맞추어진 규칙 생성이나 언어 모델 생성을 위한 대량의 코퍼스 데이터와 같은 다량의 지식 베이스 생성이 필수적인데, 본 연구는 적은 양의 정제된 데이터를 활용한다. 영작문 오류 유형의 형태 통사 연관 규칙을 생성하기 위해서 Apriori 알고리즘을 활용하였다. 알고리즘을 통해서 생성된 연관 규칙 중 잘못된 규칙이 생성될 가능성이 있으므로, 상관성 검정, 코사인 유사도와 같은 규칙 효용성의 통계적 검증을 활용해서 타당한 규칙만을 학습하였다. 이를 통해서 축적된 연관 규칙들을 영작문 오류를 자동으로 탐지하는 실험에 활용하였다.