• 한국산학기술학회논문지
• /
• 제13권11호
• /
• pp.5465-5470
• /
• 2012

FPGA(Field Programmable Gate Array) 디바이스는 회로의 개발 기간을 단축할 수 있으며, 낮은 비용으로 자체적인 회로를 구현할 수 있다는 장점이 있다. FPGA 중에서도 SRAM기술을 사용하는 FPGA는 게이트의 집적도가 높아 복잡한 회로의 구현이 가능하고, 구현한 회로를 동적으로 변경할 수 있는 특징이 있어, 최근 인공위성의 탑재컴퓨터에 그 사용빈도가 증가하고 있는 추세다. 그러나, SRAM 기반 FPGA는 우주 방사선 입자들에 의한 오류 현상인 단일사건오류에 취약하여, 우주에서 사용할 때에는 이를 검출하고, 정정할 수 있는 회로를 탑재해야 한다. 이 논문에서는 FPGA의 내부 모듈 중에서 SEU에 가장 취약한 재구성 메모리를 보호하는 제어기를 설계하였다. 제어기는 SEU에 강한 Anti-Fuse방식의 FPGA에 구현하였으며, 실제 회로 구현 후, 방사능 시험을 수행한 결과, 본 연구에서 제안한 재구성 메모리 보호 제어기를 기존의 TMR회로와 함께 사용하면, 보다 우수한 고장허용성을 갖는 것을 입증하였다.

• 전자공학회논문지
• /
• 제53권7호
• /
• pp.49-55
• /
• 2016

디지털 포렌식 영상은 여러 가지 영상타입으로 위 변조되어 유통되는 심각한 문제가 대두되어 있다. 이러한 문제를 해결하기 위하여, 본 논문에서는 포렌식 영상의 분류 알고리즘을 제안한다. 제안된 알고리즘은 여러 가지 영상타입의 그레이 레벨 co-occurrence 행렬의 특성 중에서 콘트라스트와 에너지 그리고 영상의 엔트로피로 21-dim.의 특징벡터를 추출하고, 결정나무 플랜에서 분류학습을 위하여 PPCA를 이용하여 2-dim.으로 차원을 축소한다. 포렌식 영상의 분류 테스트는 영상 타입들의 전수조합에서 수행되었다. 실험을 통하여, TP (True Positive)와 FN (False Negative)을 검출하고, 제안된 알고리즘의 성능평가에서 민감도 (Sensitivity)와 1-특이도 (1-Specificity)의 AUROC (Area Under Receiver Operating Characteristic) 커브 면적은 0.9980으로 'Excellent(A)' 등급임을 확인하였다. 산출된 최소평균 판정에러 0.0179에서 분류할 포렌식 영상타입이 모두 포함되어 분류 효율성이 높다.

• 센서학회지
• /
• 제8권1호
• /
• pp.38-44
• /
• 1999

본 논문에서는 8빔 압저항형 가속도센서에서 하나 이상의 빔이 파손되는 대부분의 경우에 대하여 에러신호를 검출할 수 있는 자기진단회로를 구현하고, 이를 PSPICE를 사용하여 시뮬레이션으로 그 기능을 확인하였다. 또한 현재 상용으로 나오는 KA 324 증폭기의 레이아웃을 사용하여 자기진단회로를 표준 바이폴라(bipolar)공정을 이용하여 IC칩으로 제조하고, 24핀 플라스틱 패키지 한 후 자기진단 특성을 조사하였다. 이때, 측정된 회로의 자기진단 특성을 시뮬레이션 결과와 비교하였다.

• 한국산학기술학회논문지
• /
• 제16권1호
• /
• pp.677-682
• /
• 2015

본 논문에서는 일반적인 광시스템에서 항상 존재하는 잡음 및 외부로부터 더해지는 잡음이 광시스템의 수신기의 성능에 미치는 영향에 대하여 고찰하였다. 광전송시스템에서 광검출기가 1 이하의 양자효율을 갖는 경우를 고려하여 온-오프 키잉 전송시에 수신기의 수신 감도를 계산하였다. m이 50이상인 경우 표준에러확률을 유지하기 위한 광시스템의 수신기 감도가 300이하로 계산되어 m가 적은 경우에 비해서 저출력 시스템을 구성할 수 있음을 확인할 수 있었다. 그러나 이러한 값도 실제 시스템에서는 큰 부담이 되는 값이므로 보다 저출력 광원을 사용하는 경우를 고려하여 수신단에 전치증폭기를 설치한 경우에 대해서도 고려하였는데, 그림 3에서 보이는 바와 같이 보다 적은 출력을 갖는 광원을 사용해도 무방하다는 결과를 얻을 수 있었다.

• 한국콘텐츠학회논문지
• /
• 제11권12호
• /
• pp.552-559
• /
• 2011

본 논문에서는 신분증에 활용되는 사진의 위변조를 방지하기 위해서 사진 이미지에 신분증 소유자의 특정 정보를 은닉할 수 있는 새로운 워터마킹 알고리즘을 제안한다. 제안된 알고리즘은 이미지 분할과 확산 스펙트럼의 상관도 피크 위치를 변조하는 위치 코딩 기법을 이용하였다. 사진에 삽입된 워터마트는 인쇄와 스캔과정에서도 깨지지 않도록 강인성을 확보하였으며, 작은 사진에 주민등록번호와 같은 고유번호를 숨길 수 있는 충분한 삽입 용량을 확보하였다. 제안 알고리즘의 또 하나의 장점은 정보의 삽입과 추출을 $1{\times}1$ 화소 단위가 아닌 $2^h{\times}2^w$ 샘플 단위로 함으로써, 일정 범위내의 회전에 대해 보정없이 정보를 정확하게 추출할 수 있다는 장점을 가지고 있다. 22명의 사진에 대해 300dpi의 스캐너와 프린터를 이용한 실험에서 $256{\times}256$ 크기의 신분증 사진에 40 비트의 정보가 0% BER로 삽입되고 추출될 수 있었다. 결론적으로, 제안 알고리즘은 인쇄, 스캔 과정에서 발생되는 잡음과 회전 에러에 대해 강인성을 보여준다.

• 전자공학회논문지SC
• /
• 제47권6호
• /
• pp.80-85
• /
• 2010

현재 BGA 409 chip의 외관검사는 대부분 현미경을 이용한 육안검사로 이루어지고 있다. 그러나 인간의 시력에 의존하여 검사하는 현재의 외관검사 방법은 검사자의 육체적, 정신적 부분에 의하여 검사 결과가 변화하기 때문에 안정적인 결과를 기대하기 어렵다. 따라서 육안검사 시 발생하는 문제점을 개선하기 위해 BGA 솔더볼 외관검사의 비전 시스템이 개발 되었고, 이는 기존의 검사 방법에 비해 BGA 409 chip의 솔더볼의 외관검사의 신뢰성과 효율성을 증가시켰다. 하지만 BGA 솔더볼의 크기가 미세하고 그 특징의 구분이 힘들어 검사의 정확도가 떨어지고 오리엔테이션 오류가 발생하였다. 이에 본 논문에서는 BGA 솔더볼 외관검사의 정확도를 향상시키기 위해 에지 검출 알고리즘의 보완과 특징들만을 비교하는 패턴매칭 기법을 제안하였으며, 또한 특징 공간 설정의 기준이 되는 기준 영역의 개선을 통해 오리엔테이션 오류의 개선을 제안하였다. 즉, 본 논문에서는 기존의 비전 시스템의 정확도와 오리엔테이션 오류를 개선하는 방법을 제안함으로써 BGA 솔더볼 외관검사의 정확도를 향상시켜 결과적으로 BGA 솔더볼 외관검사의 에러율을 줄이고 검사 속도의 향상 등 기존의 외관검사 방법에 비해 향상된 검사 결과를 획득하였다.

• 대한전자공학회논문지SD
• /
• 제41권11호
• /
• pp.61-68
• /
• 2004

오늘날 모든 칩들에는 보드레벨 테스트를 위한 IEEE 1149.1 TAP 컨트롤러가 설계되어 내장된다. 하지만 최근에는 보드레벨 테스트뿐만 아니라 기능적 목적을 위해서 TAP 컨트롤러가 내장되는 경우도 다수 존재한다. 따라서 이러한 IEEE 1149.1 TAP 컨트롤러 회로를 테스트하고 모니터링 할 수 있는 동시 에러 검출 (CED: Concurrent Error Detection) 테스트 기법이 개발되었다. 본 논문에서는 기존에 제안된 여러 종류의 CED 테스트 기법을 IEEE 1149.1 TAP 컨트롤러에 적용하여 최적의 면적 오버헤드를 구현하는 기법에 대해 연구한다. 중복 기법과 패리티 예측 기법, 그리고 혼합 기법을 각각 연구하였으며, 혼합기법이 IEEE 1149.1 TAP 컨트롤러를 테스트하는 데 가장 적합한 CED 기법임을 실험을 통하여 알 수 있었다. 따라서 혼합기법은 앞으로 IEEE 1149.1 TAP 컨트롤러를 테스트하는 데 널리 사용될 수 있을 것이다. 또한 본 논문에서는 기존에 제안된 기법을 더욱 향상시켜 TAP 컨트롤러를 테스트하는 데에 소요되는 면적 오버헤드를 최소화 시켰다.

• 컴퓨터교육학회논문지
• /
• 제7권3호
• /
• pp.45-56
• /
• 2004

웹 환경과의 연동, 병렬 프로그래밍, 객체지향 프로그래밍, 안전성(컴파일 시간 에러 검출, 예외 처리 기법)과 이식성, GUI 등을 지원함으로써, 프로그래밍 언어 자바(Java)의 활용도가 점점 증가하고 있다. 객체지향 프로그래밍 언어로서 자바는 클래스, 인스턴스, 정보은닉, 상속, 다형성 등 객체지향 개념들에 기반하고 있다. 그러나 자바 프로그램 수행시 이들과 관련된 제반 현상이 자바가상기계(Java Virtual Machine) 내부에 감추어지기 때문에, 자바 언어를 배우거나 활용하는 대부분의 사용자들이 큰 어려움을 겪는다. 이 문제에 대한 효과적 해결책으로서, 본 연구에서는 자바가상기계 내부의 현상을 객체지향 개념과 연계시켜 시각화해 주는 도구 Alpha를 개발하였고, 본 논문은 그 설계와 특징들을 기술하고 있다. Alpha는 실용성과 확장성을 높이기 위해 MVC(Model-View-Controller) 구조로 설계되었고, 이를 통해 자바가 상기계 내부의 현상(인스턴스 생성 및 소멸, 메쏘드 호출 및 복귀, 필드 접근, 인스턴스 간의 상호 참조관계 변화, 쓰레드의 수행 흐름 등)을 사용자의 수준이나 활용 목적에 맞게 다양한 방식으로 시각화시켜 준다.

• 전자공학회논문지 IE
• /
• 제43권2호
• /
• pp.54-62
• /
• 2006

본 논문에서는 적응적 시차 움직임 벡터에 기반한 스테레오 물체추적 및 3차원 디스플레이 시스템을 제안하였다. 즉, 제안된 시스템에서는 스테레오 입력영상 시퀀스로부터 적응적으로 추출된 시차 벡터로부터 프레임간 적응적 시차 움직임 벡터를 구한 다음 이를 이용하여 각 프레임에서 표적물체가 존재하는 영역 및 위치좌표를 효과적으로 검출하였다. 또한, 이를 프레임간 표적의 이동거리 좌표를 구하여 최종적으로 팬/틸트를 제어해 줌으로써 표적 물체를 추적하였다. $256\times256$ 픽셀 크기의 스테레오 영상 20 프레임을 사용한 물체추적 실험 결과, 표적 물체의 실제위치와 실험을 통해 얻은 이동위치 간의 평균 에러율이 약 3.05%로 낮게 나타남으로써 본 논문에서 새로이 제안한 적응적 시차 움직임 벡터 기반의 스테레오 물체추적 시스템의 실질적인 응용 가능성과 영상복원 기법을 사유하여 이동 물체의 3차원적 입체 디스플레이 또한 가능하다.

• 인터넷정보학회논문지
• /
• 제2권1호
• /
• pp.1-11
• /
• 2001

프로토콜을 시험하기 위하여 페트리 네트나 동적인 FSM을 이용하여 시험열을 생성하는 방법이 제시되고 있지만, 이 방법은 프로토콜 오류를 허용하거나 루핑 경로가 포함되어 있는 경우에는 에러가 발생하거나 상태가 폭발하여 시험열 생성이 불가능하다. 또 프로토콜을 구현하고 시험하기 위한 시험 범위를 결정하는 것은 시간적 기술적 및 경제적으로 어려운 문제이다. 이를 위하여 정규 표현식을 이용하여 정적으로 간단하게 프로토콜 기능을 커버하는 시험열 생성 방안을 제시하였다. 제안한 방법에 의하여 Q.2971 프로토콜의 최소 시험열을 생성한 결과 38가지의 시험열을 구하였으며, 동적인 방법을 사용할 때 루프 상태의 형성에 기인하는 반복 시험 횟수 문제는 표현식을 단순화하는 과정에서 최소화시킬 수 있었다. 이 과정에서, 시험열의 생성은 정규 표현식을 사용하는 것이 간단하고 쉽다는 것을 확인하였다. 또한 구해진 정규 표현식에서 임의의 시험열의 포함 관계를 검출하기 위한 방법도 검토하였다.