• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (1)
• /
• pp.477-479
• /
• 2000

최근 대부분의 시스템은 즉각적인 정보를 요구하는 실시간 시스템이다. 실시간 시스템은 오류에 대한 유연적인 대체를 필요로 하는 내고장성 시스템(fault tolerant system)의 개념을 지향한다. 내고장성 시스템은 보다 정확한 시스템 설계가 중요하며, 특히 실시간 시스템에서 필요로 하는 여러 종류의 시간제약에 대한 풍부한 표현력과 명세된 시간에 대한 검증이 중요하다. 본 논문은 특정 시점과 시간 간격, 주기, 이산 시간, 다수의 타이머에 의한 동적 등의 시간 관련 동작을 ATM(Abstract Timed Machine)에 기반으로 명세하고 명세된 시간에 대한 분석을 살펴본다.

• 전자공학회논문지SC
• /
• 제37권5호
• /
• pp.34-45
• /
• 2000

이 논문에서는 부분관측하에서 직렬생산시스템에 대한 멀티에이젼트 내고장성 관리제어기법을 제안한다. 이를 위해 기존의 이산사건시스템에 대한 내고장성 관리제어기법에 멀티에이젼트 제어기법의 개념을 도입한다. 특히, 직렬연결된 프로세서 사이의 상호 내고장성 개념을 정립하며 제어결과의 상이정보를 이용한 관측불능 고장 식별에 관해 다룬다. 그리고 정립된 개념을 바탕으로 에이젼트 관리제어기의 설계기법을 정형화한다. 또한 제안하는 제어기법의 효용성을 검증하기 위해 폴리프로필렌의 예비중합공정과 중합공정에 있어서의 고장파급제어에 대한 사례연구를 살펴본다.

• 한국지능시스템학회논문지
• /
• 제19권4호
• /
• pp.457-463
• /
• 2009

본 논문에서는 육족 보행 로봇의 새로운 힘 분배 알고리듬을 제안한다. 본 논문에서 고려하는 육족 보행 로봇은 다리 하나에 관절고착고장이 발생하여 내고장성 정적 세다리 걸음새로 보행한다. 제안되는 힘 분배 알고리듬의 핵심은 내고장성 걸음새가 가지는 안정여유도를 결정하는 지지 다리의 미끄러짐을 최소화시키는 것이다. 불연속적으로 움직이는 내고장성 세다리 걸음새는 정상 걸음새보다 안정도가 떨어진다는 약점이 있다. 본 논문에서 제안하는 힘 분배 알고리듬은 이러한 약점을 고려하여 내고장성 걸음새의 지지 다리가 세 개라는 성질과 Zero-Interaction Force 원리를 이용하여 최적화 기법을 쓰지 않고 대수적으로 모든 다리의 힘 성분을 구한다. 컴퓨터 시뮬레이션 사례 연구를 통해서 제안된 힘 분배 알고리듬과 기존 방법의 비교 분석을 실시하고 제안된 방법의 효용성을 입증한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (1)
• /
• pp.415-417
• /
• 2000

ATA(Abstract Timed Machine)은 실시간 시스템을 순환공학에서 명세하기 위해 고안된 LTS(Labeled Transition System)이다. ATM은 상태 기반 명세 언어의 문제점이라 할 수 있는 상태폭발을 해결하기 위해 새로운 개념의 모드를 정의하였으며, 아키텍쳐 기반으로구성되어 시스템이 이해를 높일 수 있도록 하였다. 또한 통신, 시간, 예외시간 등의 다양한 실시간 시스템의 속성을 표현한다. 그러나 실시간 시스템은 이 외에도 자원의 한계와 통신 수행의 경쟁 등으로 인해 많은 계약을 가진다. PATM(Probabilistic ATM)은 자원의 사용이나 통신의 수행에 많은 경쟁을 하는 시스템의 동작의 성공과 실패를 확률로써 표현하여 시스템의 동작을 예측하며 내고장성(fault tolerance)을 동적으로 수행할 수 있도록 하기 위해 ATM을 확률의 개념으로 확장한 것이다. 본 논문에서 내고장성은 환경 요소를 파라미터로 하는 확률 함수에 의해 이루어 진다. 본 논문에서는 기존 ATM을 간단히 소개하고, PATM이 필요한 이유와 PATM의 정의, PATM이 동적인 상황에서 어떻게 작용하는지에 대해 기술한다.

• 한국지능시스템학회논문지
• /
• 제26권2호
• /
• pp.135-140
• /
• 2016

비동기 순차 회로를 위한 교정 제어기는 회로를 재설계하지 않고도 회로 내에 존재하는 여러 고장을 탐지하고 극복하는 능력을 보인다. 이번 논문에서는 교정 제어기의 크기를 줄이기 위한 방법으로서 정적 교정 제어기(static corrective controller)를 제안한다. 동적 제어기에 비해 정적 제어기는 제어기 상태가 필요 없으므로 조합 회로(combinational circuit)만으로 구현 가능하다. 본 논문에서는 상태 천이 고장에 대한 정적 내고장성 교정 제어기가 존재할 조건과 설계 과정을 규명한다. 또한 제안된 제어 기법을 FPGA로 구현된 SEU 오류 카운터에 적용하여 그 효용성을 실험적으로 검증한다.

• 전기전자학회논문지
• /
• 제24권3호
• /
• pp.727-734
• /
• 2020

본 논문은 과도 고장을 가지는 비동기 순차 머신에 대한 내고장성 교정 제어를 다룬다. 본 논문에서 다루는 고장은 머신이 과도 상태 천이를 거칠 때 발현할 수 있으므로 비-기본 모드(non-fundamental mode)에서 원하지 않는 상태 천이를 일으킨다. 본 논문에서는 비동기 순차 머신의 비-기본 모드에서 발생하는 과도 고장을 탐지하고 극복할 수 있는 새로운 내고장성 제어 시스템을 제안한다. 교정 제어 이론의 틀 안에서 내고장성 제어기의 존재 조건과 설계 과정을 제시한다. 또한 제안된 제어 시스템의 효용성을 검증하기 위해 FPGA 실험을 실시한다.

• 한국항공우주학회지
• /
• 제31권4호
• /
• pp.105-111
• /
• 2003

과학위성 1호 탑재 컴퓨터의 인증모델 개발이 완료되었다. 과학위성 1호 탑재 컴퓨터는 우리별 3호에 비하여 FPGA를 사용함으로써 크기 및 무게의 소형화를 추구하였고, 네트워크 제어기를 내장함으로써 고속으로 위성 네트워크에 접속할 수 있도록 하였다. 또한 우주환경에서 직면하게 되는 SEU(Single Event Upset)에 대한 강인성이 증대되었고, 내고장성도 증대되었다. 개발된 탑재 컴퓨터는 환경시험에서 모든 기능이 정상 동작함을 확인하였다.

• 한국전자통신학회논문지
• /
• 제17권3호
• /
• pp.399-408
• /
• 2022

본 논문에서는 기본 모드 원리를 침해하는 과도 고장이 존재하는 입력/출력 비동기 순차 회로의 내고장성 교정 제어 시스템을 제안한다. 비동기 순차 회로의 과도 천이 과정에서 발생하는 비-기본 모드 고장을 극복하기 위해서는 고장에 의한 상태 천이가 종료되는 시점을 알아야 하며, 회로를 고장 상태로부터 원래 도달해야 하는 상태와 출력 등가적인 상태로 보내기 위한 교정 동작을 구현해야 한다. 본 논문에서는 이러한 고장 탐지 및 극복을 구현할 수 있는 출력 피드백 교정 제어기의 존재 조건을 규명한다. FPGA 실험을 통해 제안된 제어 시스템의 설계 과정을 제시하고 응용 가능성을 검증한다.

• 한국정밀공학회지
• /
• 제16권2호통권95호
• /
• pp.211-217
• /
• 1999

감지기의 고장 발견, 확인, 보완은 복잡한 항공 시스템의 중요한 문제로 부각되어 왔으며, 그동안 칼만 필터를 이용한 기존 추정기술 혹은 온라인 학습 인공지능 알고리듬 등이 이 같은 문제를 해결하기 위해 제시되어 왔다. 본 연구에서는 여분의 감지기가 없는 항공제어계에 대해 온라인 학습 신경망을 이용한 감지기의 고장 발견, 확인, 그리고 보완에 관해 초점을 둔다. 이 내고장성 항공제어계는 주 신경조직망과 n개의 국소 신경조직망으로 이루어지는데, 포괄적인 감지기의 고장을 발견하는 능력을 가진다. 어떤 경우에서는 기존의 감지기 고장 발견 방법의 성능을 향상시키기 위해 수정된 감지방법이 소개되고 그 보완된 감지방법을 이용하여 기존의 방법과 성능비교가 이루어졌다.

• 제어로봇시스템학회지
• /
• 제4권4호
• /
• pp.31-40
• /
• 1998

본 논고에서는 기존의 연속변수영역에서 다루기 어려운 반도체 생산시스템을 대상으로 이산사건 시스템적 접근방법을 통한 동적특성의 분석 및 이를 이용한 내고장성 관리제어와 고장진단 기법 등을 소개한다. 특히, 시스템 운영시 발생가능한 고장을 fault아 failure로 정량적인 구분을 해내고 이를 기반으로 고장에 대한 체계적인 대처방안을 제안한다. 그리고 제안된 이론체계에 대해서 플라즈마 식각공정의 예를 통해 그 논리적 타당성을 검증해 본다.