• 제목/요약/키워드: fault detect

검색결과 712건 처리시간 0.024초

뉴메모리+DRAM 하이브리드 메모리 시스템에서의 고속부팅 기법 연구 (A Study of a Fast Booting Technique for a New memory+DRAM Hybrid Memory System)

  • 송현호;문영제;박재형;노삼혁
    • 정보과학회 논문지
    • /
    • 제42권4호
    • /
    • pp.434-441
    • /
    • 2015
  • 뉴메모리는 차세대 메모리 기술로써 비휘발성과 바이트 단위의 임의 접근성을 가지고 있다. 뉴메모리의 이러한 특성들은 기존의 정형화된 컴퓨터 시스템 구조에 변화를 가져올 것으로 예상된다. 본 연구는 뉴메모리와 DRAM이 공존하는 하이브리드 메인 메모리 구조에서의 고속 부팅 기법을 제안한다. 고속부팅 기법은 본 연구에서 개발한 MMU 변환 테이블을 이용한 쓰기 추적 기술을 이용하였다. 쓰기 추적기술을 이용하여 부팅 이후의 업데이트를 감지할 수 있었고, 부팅 이후의 업데이트를 다른 곳에 저장함으로써 부팅 완료 이미지가 훼손되는 것을 막을 수 있었다. 실제 고속 부팅 시에는 보존된 부팅 완료 이미지를 이용하여 부팅된 상태로 돌아가기 때문에 빠른 부팅이 될 수 있다. 본 연구의 고속 부팅 기법의 성능을 측정하기 위하여 뉴메모리가 장착된 실제 임베디드 실험 보드에서 고속 부팅 시스템을 개발하였으며, 고속 부팅 시간은 0.5초 이내로 빠른 부팅이 가능하였다.

정형검증 도구를 활용한 Fly-By-Wire 헬리콥터 비행제어법칙 자동코드 무결성 확보 방안 (Secure methodology of the Autocode integrity for the Helicopter Fly-By-Wire Control Law using formal verification tool)

  • 안성준;조인제;강혜진
    • 한국항공우주학회지
    • /
    • 제42권5호
    • /
    • pp.398-405
    • /
    • 2014
  • 내장형 소프트웨어 기술이 항공 및 방위산업과 같은 안전-필수 시스템에 적용됨에 따라 보다 높은 소프트웨어의 신뢰성이 요구되고 있다. 그 중에서 소프트웨어의 무결성은 주로 정적 분석 도구를 이용해 검증이 이뤄지고 있으며 최근에 개발된 정적 분석 도구는 수학적인 분석 방법을 통해 코드의 무결성을 평가하고 있다. 본 연구에서는 정형 검증 도구인 Polyspace를 이용해 자동코드의 결함을 검출하고, 코딩규칙의 준수 여부를 검증하였다. 검증된 결과를 바탕으로 결함을 가진 제어법칙 모델을 수정하여 코드 생성 이전의 원천적인 결함을 제거 가능함을 확인하였고 FBW 헬리콥터 제어법칙 자동생성코드의 무결성을 확보 할 수 있었다.

자가검출회로 내장의 자가치유시스템 설계 (Design for Self-Repair Systm by Embeded Self-Detection Circuit)

  • 서정일;성낙훈;오택진;양현모;최호용
    • 대한전자공학회논문지SD
    • /
    • 제42권5호
    • /
    • pp.15-22
    • /
    • 2005
  • 본 논문에서는 생명체의 구조를 모방하여, 디지털시스템에서 자가검출과 자가치유가 가능한 구조를 제안한다. 자가치유시스템은 인공 셀의 2차 배열과 여분의 인공 셀로 구성된다. 인공 셀은 멀티플렉서를 기본으로 한 로직블록(logic block)과 로직블록을 제어하기 위한 게놈블록(genome block)으로 구성된다. 인공 셀은 자가검출이 가능하도록 DCVSL (differential cascode voltage switch logic)구조로 설계된다. 만약 인공 셀에서 고장이 발생하면, 자가 검출되고 고장 난 인공 셀이 속한 열은 bypass기능만을 가지고 치유를 위해, 여분 셀과 이웃 셀을 이용하여 시스템을 재구성한다. 하이닉스 $0.35{\mu}m$공정을 이용해 $1.14{\times}0.99mm^2$의 코어면적을 가지는 2비트 업다운카운터를 제작하였고 회로시뮬레이션과 칩 테스트를 통해 검증하였다.

루프 검출 및 예측 방법을 적용한 비용 효율적인 실시간 분기 흐름 검사 기법 (A Cost-effective Control Flow Checking using Loop Detection and Prediction)

  • 김근배;안진호;강성호
    • 대한전자공학회논문지SD
    • /
    • 제42권12호
    • /
    • pp.91-102
    • /
    • 2005
  • 최근의 저 전력 컴퓨터 시스템은 내장 프로세서의 성능 향상과 공정 기술의 발전을 통한 디바이스 크기 감소로 인해 전압 변동, 커플링 효과 등으로 인한 SEU(single event upset)로 모델링 되는 천이고장으로 인한 예기치 못한 동작 중 에러 발생가능성이 매우 높아지고 있다. 제안하는 방식은 프로세서가 처리하는 프로그램 분기 흐름상에서 에러를 검출하는 효과적인 watchdog 프로세서 구조로서, 기존 방식이 가지는 오버헤드를 줄이면서 프로그램 내부에서 빈번히 발생되는 루프를 매번 검사할 때, 동일한 동작을 watchdog 프로세서가 반복함으로써 생기는 비효율적인 메모리 접근, 버스 점유 경쟁등과 같은 추가적인 시스템 수준의 오버헤드를 줄이는 새로운 방법을 제안하였다. 본 논문은 기존의 실시간 분기 및 제어 흐름 연구에서는 다루지 않았던 루프 검출 및 예측 기능을 추가함으로써 실제 시스템 적용에 보다 적합한 비용 효율적인 구조를 제안하고 있다.

로터리 컴프레서 진동원 검출을 위한 인텐시티 기법 (Vibration Intensity Method to Detect Vibration Source of Rotary Compressor)

  • 김희철;이동연;이화조;심재술
    • 한국산학기술학회논문지
    • /
    • 제12권8호
    • /
    • pp.3398-3405
    • /
    • 2011
  • 본 논문에서는 공조용 로타리 컴프레서에서 발생하는 진동을 줄이기 위하여 진동 인텐시티를 이용하는 방법을 다룬다. 일반적으로 진동 인텐시티는 진동의 흐름을 통해서 소음원을 그래픽적으로 보여주기 위한 좋은 도구이다. 진동 인텐시티의 유용성을 보이기 위하여, 동일한 평면 위에서 동일한 방향(z 방향)을 향하도록 위치한 세밀하게 설계된 단축 3개의 가속도계를 이용하여 정상적인 컴프레서와 문제가 있는 컴프레서에 대해 진동 인텐시티를 측정하였다. 본 논문에서 컴프레서의 표면에서 진동원 위치를 찾을 수 있었고, 문제가 되는 3kHz ~ 6.3kHz의 주된 소음원은 컴프레서의 Bottom 부분에서 발생하는 것으로 밝혀졌고, 베인 슬롯의 열 변형에 의한 소음임을 알 수 있다.

CAN 통신기반 자동화재탐지설비에 관한 연구 (A Study of Automatic Fire Detection Installation based CAN Comunnication)

  • 김영동;오금곤;강원찬
    • 조명전기설비학회논문지
    • /
    • 제20권2호
    • /
    • pp.50-59
    • /
    • 2006
  • 제안된 소방설비는 기존 P형과 R형 시스템에 비해 결선량이 P형 대비 74[%]로 획기적으로 줄고, 비 숙련자도 결선이 쉬워 공기와 인건비를 줄일 수 있고, 수신기나 중계기 등의 부가적인 장치가 없어도 안정적으로 동작될 수 있음을 실험을 통해 확인하였다. 소방효과는 R형과 동일하나 물의 사용 양이나 화재 추적 등에 탁월한 기능이 있으며, 사람의 개입 없이 대피유도나 화재진압 정도를 스스로 조절함으로써 얻을 수 있는 무형적 이익과 공사비 절감 및 공기단축 등 유형적 이익을 통해 제안된 시스템이 아주 효과적임을 판단할 수 있었다. 특히 화재진행 상황에 따라 대응정도를 다르게 수행하므로 현재와 같은 유비쿼터스 환경에서 인간의 개입을 최소화하며, 효율을 극대화함으로써 차세대 소방 시스템으로서의 기능을 충분히 갖춘 시스템으로 발전이 가능하다.

신경회로망을 이용한 스마트 무인기용 가스터빈 엔진의 성능진단에 관한 연구 (A Study on Performance Diagnostic of Smart UAV Gas Turbine Engine using Neural Network)

  • 공창덕;기자영;이창호;이승현
    • 한국추진공학회:학술대회논문집
    • /
    • 한국추진공학회 2006년도 제26회 춘계학술대회논문집
    • /
    • pp.213-217
    • /
    • 2006
  • PW206C 터보 축 엔진을 위해 신경회로망을 이용한 지능형 성능 진단 프로그램이 제안되었다. 이 엔진은 항공우주연구원에서 개발 중에 있는 틸트 로터 타입 스마트 무인기의 추진시스템으로 선정되었다. 1개의 은닉층, 입력층, 출력층을 가지는 BPN(Back Propagation Network)이 신경회로망을 훈련시키기 위해 이용되었다. 입력층은 7개의 뉴런을 가지는데 SHP, MF, P2, T2, P4, T4 및 T5와 같은 측정파라미터이며 출력층은 6개의 뉴런으로 구성되어 있으며 각각은 압축기, 압축기 터빈, 동력 터빈의 유량 함수 및 효율이다. 신경망을 훈련하고 테스트하기 위한 데이터 베이스는 가스터빈 성능모사 프로그램을 이용하여 구성하였다. 훈련된 신경망을 PW206C 터보 축 엔진의 진단에 적용한 결과 제안된 진단 알고리즘이 압축기 오염과 압축기 터빈의 침식과 같은 단일 손상을 탐지하는데 유용함을 확인하였다.

  • PDF

PSA 기법에 근거한 생산라인상의 디지털 회로 보오드 검사전략에 대한 연구 (A Study on the Test Strategy of Digital Circuit Board in the Production Line Based on Parallel Signature Analysis Technique)

  • 고윤석
    • 대한전기학회논문지:시스템및제어부문D
    • /
    • 제53권11호
    • /
    • pp.768-775
    • /
    • 2004
  • The SSA technique in the digital circuit test is required to be repeated the input pattern stream to n bits output nodes n times in case of using a multiplexor. Because the method adopting a parallel/serial bit convertor to remove this inefficiency has disadvantage of requiring the test time n times for a pattern, the test strategy is required, which can enhance the test productivity by reducing the test time based on simplified fault detection mechanism. Accordingly, this paper proposes a test strategy which enhances the test productivity and efficiency by appling PAS (Parallel Signature Analysis) technique to those after analyzing the structure and characteristics of the digital devices including TTL and CMOS family ICs as well as ROM and RAM. The PSA technique identifies the faults by comparing the reminder from good device with reminder from the tested device. At this time, the reminder is obtained by enforcing the data stream obtained from output pins of the tested device on the LFSR(Linear Feedback Shift Resister) representing the characteristic equation. Also, the method to obtain the optimal signature analyzer is explained by furnishing the short bit input streams to the long bit input streams to the LFSR having 8, 12, 16, 20bit input/output pins and by analyzing the occurring probability of error which is impossible to detect. Finally, the effectiveness of the proposed test strategy is verified by simulating the stuck at 1 errors or stuck at 0 errors for several devices on typical 8051 digital board.

GPA를 이용한 가스터빈 엔진의 성능진단에 의한 최적 계측변수 선정에 관한 연구 (Optimal Parameter Selection by Health Monitoring of Gas Turbine Engines using Gas Path Analysis)

  • 김석균;;공창덕
    • 한국추진공학회지
    • /
    • 제3권1호
    • /
    • pp.24-33
    • /
    • 1999
  • 가스터빈 엔진의 성능예측과 진단을 위해 선형 및 비선형 가스경로 해석방법이 적용되었다. 염, 부식, 침식과 같은 물리적 손상을 탐지하기 위한 최적 계측변수를 구하기 위해 비선형 가스경로 해석을 이용하였다. 물리적 손상이 엔진성능에 미치는 영향을 연구하는데 전형적 산업용 가스터빈 엔진인 TB5000에 적용하였다. 선형 가스경로 해석과 비선형 가스경로 해석의 끈 오차 비교를 통해 최적의 계측변수가 정의될 수 있었다. 결과적으로, 선형 가스경로 해석방법은 선형화 모델의 가정에 의해 유도된 오차정도가 손상의 크기와 같은 정도가 되는 반면에 비선형 가스경로 해석방법은 Newton-Raphson 반복기법을 사용하여 독립변수와 종속변수의 비선형 관계를 충분한 정확성과 함께 풀 수 있다는 점을 알 수 있었다.

  • PDF

연속적인 배경 모델 학습을 이용한 코드북 기반의 전경 추출 알고리즘 (Codebook-Based Foreground Extraction Algorithm with Continuous Learning of Background)

  • 정재영
    • 디지털콘텐츠학회 논문지
    • /
    • 제15권4호
    • /
    • pp.449-455
    • /
    • 2014
  • 이동 물체의 검출은 비디오 감시, 보행자의 행동 분석과 같은 컴퓨터 시각 분야에서 매우 중요한 전처리 작업이다. 이는 실제 외부 환경을 대상으로 할 때, 영상 시퀀스에 존재하는 배경의 불규칙한 움직임, 조명 변화, 그림자, 배경 물체의 위상 변화 및 잡음 등으로 인하여 매우 어려운 작업이다. 본 논문에서는 코드북 기반의 전경 검출 알고리즘을 제안한다. 코드북은 입력 영상으로부터 얻어지는 배경화소에 대한 정보 데이터베이스이다. 먼저, 첫 번째 프레임을 배경 영상으로 가정하고 이를 입력 영상과 비교하여 차 영상을 구한다. 구해진 차 영상에는 순수한 이동 물체뿐만 아니라, 잡음까지 포함된다. 둘째로, 전경으로 검출된 화소의 색상과 밝기 값을 가지고 코드북을 조사하여 존재하는 경우 잘못 추출된 전경 화소로 판단하고 전경에서 제거한다. 마지막으로, 다음번 입력되는 프레임을 반복 처리하기 위하여 배경 영상을 새롭게 갱신하는데, 배경 화소로 검출된 화소의 경우에는 현재의 입력 영상으로부터 추정되며, 전경 화소로 검출된 경우에는 이전 배경 영상의 화소 값을 복사하여 사용한다. 제안한 알고리즘을 PETS2009 데이터에 적용한 결과를 GMM 알고리즘과 표준 코드북 알고리즘의 결과와 비교하여 보인다.