• 정보과학회 컴퓨팅의 실제 논문지
• /
• 제22권11호
• /
• pp.559-566
• /
• 2016

전 세계적으로 널리 상용화된 Excel은 수식작성과 계산이 편리해 기업의 세무계산, 보고서나 학교의 성적관리 및 가계부 등에 광범위하게 활용되고 있는 전산프로그램이다. 그러나 초기부터 계산의 부정확성 및 오류들이 꾸준히 제기되어 왔고, 지속적으로 수정되어 발전하여왔다. 소수의 진법변환 과정은 경우에 따라서는 단순한 계산을 반복적으로 여러 번 해야만 하기에, 이러한 단순작업은 컴퓨터에 의한 계산도구들의 도움을 받기에 적절하다. 이번에 발견된 소수의 진법변환과 같은 단순계산과정에서 Excel의 오류는 쉽게 이해되지 않는다. 유사한 오류가 추가적으로 발견될 가능성은 높다. 이번에 발견된 오류의 유형에 대하여 원인을 파악하고, 빠른 수정을 희망한다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2001년도 제14회 신호처리 합동 학술대회 논문집
• /
• pp.773-776
• /
• 2001

열악한 전송 환경에서 고품질, 고신뢰성 통신을 지속적으로 하기 위해서 오류 정정 부호는 필수 적이다. 최근에 반복 복호를 통해 샤논의 채널 용량 한계에 근접하는 터보 부호와 LDPC부호가 가장 관심을 불러일으키고 있다. 반복 복호법은 성능 면에서는 우수해 지나 이에 따른 계산량 증가와 지연이 수반된다. 따라서 본 논문에서는 모의 실험을 통한 수신 데이터를 이용, SNR을 추정하여 LDPC 부호의 최대 반복 복호수에 따른 계산량과 지연을 효과적으로 줄일 수 있는 적응적 반복 복호수 설정 방식을 제안한다.

• 정보보호학회논문지
• /
• 제22권3호
• /
• pp.439-445
• /
• 2012

오류 주입 공격은 비밀 키를 내장하여 사용하는 암호 장치에서 연산 수행시 공격자가 오류를 주입하는 방법으로 비밀 키를 찾아낼 수 있어 암호시스템 운영의 심각한 위협이 되고 있다. 논문에서는 AES 암호 연산을 수행하는 동안 라운드 함수를 반복적으로 사용하는 경우, 반복하는 구문에 오류를 넣어 한 라운드를 생략하면 쉽게 비밀 키를 추출할 수 있음을 보이고자 한다. 제안하는 공격 방법을 상용 마이크로프로세서에서 실험한 결과, 두 개의 정상-오류 암호문 쌍만 있으면 128비트 AES 비밀 키가 노출됨을 확인하였다.

• 정보처리학회논문지C
• /
• 제11C권3호
• /
• pp.353-360
• /
• 2004

본 논문에서는 반복복호부호의 복호과정시 CRC(Cyclic Redundancy Check)검사를 이용하여 반복복호수가 가변하는 효율적인 제어기법을 제안한다. 반복복호 부호는 반복구조를 가지며 그 특성상 반복복호수가 증가할수록 BER/FER성능이 우수하게 향상된다. 그러나 반복복호수가 증가할수록 복호과정시 적용된 알고리즘의 복잡도에 따라 다소 차이는 있지만 공통적으로 계산량의 증가를 가지게 되며 이는 복호지연시간 증가로 나타난다. 또한 일정 반복복호수 이상에 도달하게 되면 그 성능 변화가 거의 없는 오류마루(error floor)현상이 나타난다. 즉 성능변화가 없는 적절한 반복복호수 종료점을 찾아야 한다. 따라서 본 논문에서는 프래임 주기로 수신된 정보를 프래임 오류검사 지시자(FCS : Frame Check Sequence Indicator)를 이용하여 채널의 변화를 감시하며 반복복호 부호의 반복복호 횟수를 채널 적응적으로 증가, 감소할 수 있도록 제어하는 기법을 제안하여 결과적으로 반복구조를 가지는 부호의 방대한 계산량 감소와 이로 인한 복호지연 시간을 성능저하 없이 효율적으로 단축시킬 수 있음을 확인하였다.

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

디지털 신호 및 전송부호의 오류검출에는 예전부터 패리티 체크가 사용되어 왔다. 그러나 패리티 체크 기법은 구현 및 알고리즘이 단순, 간결한 우수성이 있지만 특정 데이터 비트의 경우 오류 검출이 불가능하다는 문제점을 가지고 있다. 이후 패리티 체크 기법은 해밍 코드 및 채널 오류 정정을 위한 LDPC 코드와 같은 다양한 오류검출 및 정정 알고리즘에 적용되어 발전되어 왔으며, 그 중 LDPC 코드의 bit-flipping 알고리즘에서는 패리티 기법을 반복적으로 적용하는 방식을 택하고 있다. 본 논문에서는 이러한 채널 오류 정정을 위한 LDPC의 bit-flipping 알고리즘을 이차원 코드에 적용하고, 이 때 bit-flipping 알고리즘이 가지고 있는 문제점을 보완할 수 있는 개선된 LDPC 코드를 제안한다.

• 전자공학회논문지
• /
• 제50권3호
• /
• pp.3-8
• /
• 2013

기존의 최소평균자승오류 빔형성 기법은 간섭제거나 정합필터 빔형성 기법보다 우수한 성능을 보여주지만, 전체 전송률의 증가를 목적으로 하지는 않는다. 본 논문은 전체 전송률을 가중된 평균자승오류로 표현하여 증가시키는 기법을 제안하였다. 제안 기법은 기존의 최소평균자승오류 기법에서 출발하여 반복적으로 가중치와 빔을 갱신함으로써 전체 전송률을 증가시킨다. 모의실험 결과를 통해 제안 기법이 기존 기법보다 전체 전송률 측면에서 뛰어나며, 기존 기법과 달리 사용자의 수가 높아질수록 전체 전송률이 증가하는 것을 확인하였다.

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

한국어의 언어분석을 위한 가공코퍼스의 하나인 품사부착 코퍼스는 형태소 언어분석의 기초가 되는 자료로서 각종 언어분석 모델의 학습자료와 관측자료 또는 검증자료로서 중요한 역할을 한다. 품사부착 코퍼스의 구축은 많은 노력과 시간이 요구되는 어려운 작업이다. 기존의 구축방법은 자동 태거의 결과를 일일이 사람이 확인해 가면 오류를 발견하고 수정하는 단순 작업이었다. 이러한 단순 작업은 한번 수정된 자동태거의 반복적 오류, 미등록어에 의한 오류 들을 계속적으로 수정해야하는 비효율성을 내포하고 있었다. 본 논문에서는 HMM기반의 자동 태거를 사용하여 1차적으로 한국어 문서를 자동 태깅한다. 자동 태깅 결과로부터 규칙기반의 오류 수정을 추가적으로 행한다. 이렇게 구축된 결과를 사용자에게 제시하여 최종 오류를 수정하고 이를 앞으로의 태깅작업에 반영하는 품사부착 워크벤치에 대해 기술한다.

• 정보보호학회논문지
• /
• 제32권5호
• /
• pp.965-973
• /
• 2022

IoT(Internet of Things) 기기가 보편화됨에 따라 사용자의 개인정보를 보호하기 위한 알고리즘들이 많이 개발되었다. 이를 위협하는 레이저 오류 주입 공격은 기기의 외부에 레이저 빔을 의도적으로 주입하여시스템의 비밀 정보 또는 비정상 권한을 획득하는 부채널 분석이다. 필요한 오류 주입의 수를 감소시키기 위해 오류 주입의 타이밍을 결정하는 연구들은 많이 진행되었지만, 오류를 주입할 위치는 기기 전체에 대해 반복적으로 탐색하는 것에 그친다. 그러나 만약 공격자가 알고리즘과 무관한 영역에 레이저 오류 주입을 수행한다면 공격자는 의도한 오류문을 획득하거나 인증 우회를 시도할 수 없으므로, 오류 주입에 취약하여 공격을 수행할 영역을 탐색하는 것은 높은 공격 성공률을 달성하는 중요한 고려 사항이라고 할 수 있다. 본 논문에서는 기기의 칩에서 발생한 전자파와 열 정보를 활용하여 오류 주입 취약 영역을 판별하면 100%의 공격 성공률을 달성할 수 있음을 보이고, 이를 토대로 효율적인 오류 주입 공격 시스템을 제안한다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2010년도 춘계학술대회
• /
• pp.785-787
• /
• 2010

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

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

‘컴포넌트 기반 소프트웨어 개발’에서 컴포넌트 사용자는 컴포넌트 맞춤, 즉 컴포넌트를 특정 도메인 요구사항에 맞추는 작업을 반복적으로 수행함으로써, 소프트웨어를 개발한다. 따라서 컴포넌트 기반 소프트웨어 테스트의 주요 대상은 맞춤으로 변형된 컴포넌트에서 발생하는 오류이다. 본 논문에서는 엔터프라이즈 자바빈즈(Enterprise JavaBeans : EJB)를 기반으로 구체화된 EJB 컴포넌트 맞춤 테스트 기법을 개발한다. 본 기법은 EJB 컴포넌트의 인터페이스 가운데 맞춤 오류가 일어나는 곳에만 오류를 삽입하여, 맞추어진 컴포넌트와 오류가 삽입된 컴포넌트를 차별하는 테스트 케이스를 선정한다. 따라서 본 논문에서는 EJB 컴포넌트 맞춤 테스트 기법을 EJB 컴포넌트 맞춤에 적용한 사례를 보이고 이를 분석하여, 본 기법이 EJB 컴포넌트에 적용 가능한 것임을 보인다.