• 제목/요약/키워드: 증명오류

검색결과 147건 처리시간 0.027초

Bresson-Chevassut-Essiari-Pointcheval의 저전력 모바일 장치를 위한 키 동의 방식의 안전성 분석 (Cryptanalysis of Bresson-Chevassut-Essiari-Pointcheval′s Key Agreement Scheme for Low-Power Mobile Devices)

  • 남정현;이영교;김승주;원동호
    • 정보보호학회논문지
    • /
    • 제15권1호
    • /
    • pp.67-76
    • /
    • 2005
  • Bresson 등은 최근에 발표한 논문에서 무선 네트워크 환경에 적합한 그룹 키 동의 방식을 제안하였고 이의 안전성을 증명하였다. 하지만 본 논문에서는 Bresson 등이 제안한 그룹 키 동의 방식이 여려가지 공격에 취약함을 보임으로써 안전성 증명에 오류가 있음을 입증한다.

관성센서를 이용한 센서네트워크 위치 추적 시스템에서 플립 오류 제거 방법 (Location Tracking for Sensor Network using Inertial Measurement Unit to Eliminate Flip Error)

  • 김병기;장재혁;송창근;고영웅
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2009년도 추계학술발표대회
    • /
    • pp.231-232
    • /
    • 2009
  • 본 논문에서는 센서네트워크에서 노드의 위치를 추적할 때 기존의 삼각측량을 위해 세 개의 센서간의 거리를 이용하여 계산하는 방법 대신 두 쌍의 센서간의 거리를 이용하여 위치추적을 할 수 있는 방법에 대해 제안한다. 두 개의 센서로부터 인식되는 위치의 정확성을 높이기 위해 관성센서를 사용하여 플립 오류를 해결할 수 있으며 센서 네트워크상에서 노드의 위치를 측정할 수 있는 새로운 방법임을 증명하였다.

소프트웨어의 선택적 교호작용 테스팅 (Selective interaction testing for software)

  • 고병각;이상용;장중순;최경희;박승규;정기현
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (2)
    • /
    • pp.382-384
    • /
    • 2005
  • 소프트웨어 테스팅에서 테스트 스위트(suite)의 수를 줄이면서도 테스트 커버리지나 오류검출에 있어서 효과적인 방법을 찾기 위한 많은 연구가 시도되어 왔다. 안정성이 높은 설계가 되도록 설계 조건을 결정하기 위하여 제어인자들의 직교 배열을 사용하는 시험방법인 교호작용 테스팅 기법이 소프트웨어의 테스트에서도 효과가 매우 높다는 것이 실험으로 증명되고 있다. 소프트웨어는 상대적으로 몇 안 되는 조건들의 조합들로 오류가 발생할 가능성이 높다는 특징을 가지고 있다. 따라서, 파라미터 간 교호작용 강도 t를 갖는 t-way 테스팅을 통해 효과적으로 테스트 스위트를 줄이면서 많은 오류를 검출할 수 있다. 그러나 t값을 증가시키면 테스트 스위트의 수가 늘어난다는 단점이 발생한다. 또한, 어떠한 파라미터들이 서로 교호작용을 일으키는 것인지 알수 없는 상황을 가정한 단순한 교호작용 테스팅은 자칫 서로 관련 없는 파라미터들도 교호작용 테스팅에 참여하기 때문에 테스트의 낭비가 있을 수 있다는 단점이 있다. 이에, 본 논문에서는 소프트웨어의 입력과 출력간의 관계를 바탕으로 시스템 I-O관계도를 작성한 후, 이를 바탕으로 각 출력에 대한 교호작용을 일으킬 수 있는 파라미터를 중심으로 테스트 스위트를 생성하는 Selective Covering Array를 제안한다.

  • PDF

인공신경망을 이용한 PHC 매입말뚝의 지지력 평가 (Evaluation of Bearing Capacity on PHC Auger-Drilled Piles Using Artificial Neural Network)

  • 이송;장주원
    • 한국구조물진단유지관리공학회 논문집
    • /
    • 제10권6호
    • /
    • pp.213-223
    • /
    • 2006
  • 본 연구에서는 화강풍화토 지반에 시공된 PHC 매입말뚝의 지지력의 평가를 위해 인공신경망을 적용하였다. 오류역전파 인공신경망의 적용성을 증명하기 위해 168개의 PHC 매입말뚝의 현장시험 데이터가 사용되었다. 연구결과 오류역전파 인공신경망의 말뚝지지력 평가가 동재하시험결과와 잘 일치함을 보여주었으며, 이러한 결과는 인공신경망을 이용한 PHC 매입말뚝의 지지력 평가가 신뢰성이 있음을 보여준다.

모바일 콘텐츠 어플리케이션 디자인의 상호 텍스트성에 관한 연구 (Research on the meaning action of intertextuality in mobile contents design.)

  • 박희운
    • 한국콘텐츠학회:학술대회논문집
    • /
    • 한국콘텐츠학회 2011년도 춘계 종합학술대회 논문집
    • /
    • pp.453-454
    • /
    • 2011
  • 다양한 스마트 모바일을 기반으로 하는 인터페이스 호환 환경의 경우 상당히 유사한 형태의 어플리케에션 아이콘 디자인이 양산되어지고 있다, 이러한 현상은 사용자가 어떤 상호텍스트성의 요소에 의해 기호의 인지 작용을 수행하며 유사한 내용과 기능을 내포한 디자인을 어떻게 서로 다르게 인지 하는지를 증명하여 향후 디지털 기기의 아이콘의 디자인에 효과적인 가이드를 제시할 수 있을 것이다. 또한 이러한 연구 결과를 토대로 영상 미디어의 통합이나 유비쿼터스 환경의 디지털 영상 기호 설계에 있어서 나타날 수 있는 미디어의 컨버전스에 의한 디지털 영상 기호 커뮤니케이션 오류를 줄이는 기초적 연구가 되고자 한다.

  • PDF

임베디드 소프트웨어 테스팅 품질에 관한 연구 (A Study on Quality of Embedded Software Testing)

  • 장선재;김행곤
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2007년도 춘계학술발표대회
    • /
    • pp.176-179
    • /
    • 2007
  • 임베디드 시스템들은 빠르게 다양한 분야에 적용되고 있다. 이들 시스템들의 품질을 좌우하는 것은 소프트웨어이며, 제품 출시 시기와 제품의 품질 등에 매우 중요한 요소가 된다. 임베디드 소프트웨어 테스팅은 이러한 임베디드 소프트웨어에서 오류가 없음을 증명하는 것으로 전체 소프트웨어 개발에서 많은 부분을 차지한다. 임베디드 소프트웨어 테스팅은 소프트웨어의 기능적 부분을 주로 평가하며, 사용자가 필요로 하는 품질에 대한 평가 부분은 미흡하다. 본 논문에서는 임베디드 소프트웨어 테스팅 도구를 이용하여 임베디드 소프트웨어의 품질을 평가할 수 있는 방법에 대해 연구한다.

  • PDF

오류역전파 알고리즘의 Local maxima를 탈출하기 위한 방법에 관한 연구 (The Study on the Method which escapee from Local maxima of Error-Backpropagation Algorithm)

  • 서원택;조범준
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (2)
    • /
    • pp.313-315
    • /
    • 2001
  • 본 논문에서 소개하는 알고리즘을 은닉층의 뉴런의 수를 학습하는 동안 동적으로 변화시켜 역전파 알고리즘의 단점인 Local maxima를 탈출하고 또한 은닉층의 뉴런의 수를 결정하는 과정을 없애기 위해 연구되었다. 본 알고리즘의 성능을 평가하기 위해 두 가지 실험에 적용하였는데 첫번째는 Exclusive-OR 문제이고 두번째는 7$\times$8 한글 자음과 모음의 폰트 학습에 적용하였다. 이 실험의 결과로 네트웍이 local maxima에 빠져드는 확률이 줄어드는 것을 알 수 있었고 학습속도 또한 일반적인 역전파 알고리즘보다 빠른 것으로 증명되었다.

  • PDF

PTP Management Node 기반 시각동기 오류 검출 및 대응 시스템 (PTP Management Node-based Time Synchronization Error Detection and Recovery System)

  • 김윤현;손규정;서영덕;장태규
    • 전기전자학회논문지
    • /
    • 제24권1호
    • /
    • pp.248-253
    • /
    • 2020
  • 본 논문은 PTP(Precision Time Protocol) management node 기반 시각동기 오류 검출 및 대응 시스템을 제안하였다. 기존 IEEE 1588 PTP 시각동기 표준에서 제시되지 않은 새로운 시각동기 마스터 failure 검출 및 대응 방법을 제안하여 시각동기가 적용된 분산 네트워크 시스템의 안정성과 신뢰도를 제고하고, EVM(Evaluation Module)으로 구성된 시각동기 네트워크 모의고장 실험을 통해 본 논문에서 제안한 시스템이 실제 마스터 클락 상에 발생한 시각오류를 검출하고 대응이 가능함을 증명하였다. 본 논문에서 도입한 매니지먼트 장치를 중심으로 기존 슬레이브 장치들의 협조아래 마스터 장치의 시각정보 오류를 검출하고, 대응하는 새로운 시스템 구조를 도출하였고, EVM 기기로 구성된 시각동기 네트워크 모의 고장 실험을 통해 본 논문에서 제안한 시스템의 시각동기 오류 대응에 따른 정밀 시각동기 유지 기능의 타당성을 입증하였다.

음성처리에서 온라인 오류역전파 알고리즘의 학습속도 향상방법 (A Method on the Learning Speed Improvement of the Online Error Backpropagation Algorithm in Speech Processing)

  • 이태승;이백영;황병원
    • 한국음향학회지
    • /
    • 제21권5호
    • /
    • pp.430-437
    • /
    • 2002
  • 다층신경망 (MLP: multilayer perceptron)은 다른 패턴인식 방법에 비해 여러 가지 훌륭한 특성을 가지고 있어 음성인식 및 화자인식 영역에서 폭넓게 사용되고 있다. 그러나 다층신경망의 학습에 일반적으로 사용되는 오류역전파 (EBP: error backpropagation) 알고리즘은 학습시간이 비교적 오래 걸린다는 단점이 있으며, 이는 화자인식이나 화자적응과 같이 실시간 처리를 요구하는 응용에서 상당한 제약으로 작용한다. 패턴인식에 사용되는 학습데이터는 풍부한 중복특성을 내포하고 있으므로 패턴마다 다층신경망의 내부변수를 갱신하는 온라인 계열의 학습방식이 속도의 향상에 상당한 효과가 있다. 일반적인 온라인 오류역전파 알고리즘에서는 가중치 갱신 시 고정된 학습률을 적용한다. 고정 학습률을 적절히 선택함으로써 패턴인식 응용에서 상당한 속도개선을 얻을 수 있지만, 학습률이 고정된 상태에서는 학습이 진행됨에 따라 학습에 기여하는 패턴영역이 달라지는 현상에 효과적으로 대응하지 못하는 문제가 있다. 이 문제에 대해 본 논문에서는 패턴의 기여도에 따라 가변 하는 학습률과 학습에 기여하는 패턴만을 학습에 반영하는 패턴별 가변 학습률 및 학습생략 (COIL: Changing rate and Omitting patterns in Instant Learning)방법을 제안한다. 제안한 COIL의 성능을 입증하기 위해 화자증명과 음성인식을 실험하고 그 결과를 제시한다.

An Aging Measurement Scheme for Flash Memory Using LDPC Decoding Information

  • Kang, Taegeun;Yi, Hyunbean
    • 한국컴퓨터정보학회논문지
    • /
    • 제25권1호
    • /
    • pp.29-36
    • /
    • 2020
  • 웨어-레벨링과 오류정정코드는 플래시 메모리의 신뢰성과 내구성을 위한 필수적인 기술이다. 플래시 메모리를 구성하는 요소들은 사용횟수에 따른 노화도가 서로 다를 수 있다. 따라서 기존의 쓰기/지우기 횟수를 바탕으로 하는 웨어-레벨링 기술은 요소들의 실제 노화도 차이를 반영하기에 충분하지 않다. 본 논문에서는 높은 오류정정율이 증명된 Low-Dencity Parity-Check (LDPC) 코드를 적용하고 복호 과정에서 나오는 정보를 이용하여 플래시 메모리의 실제 노화도를 측정하는 방법을 소개한다. 실험에서는 실제 플래시 메모리를 대상으로 측정한 오류율 데이터를 기반으로 LDPC 코드 복호 정보가 플래시 메모리 각 블록의 노화도를 나타낼 수 있음을 보인다. 또한, 웨어-레벨링 시뮬레이션을 통하여 제안하는 노화도 측정 방법 기반의 웨어-레벨링의 효과를 입증한다.