• 한국정보통신학회논문지
• /
• 제10권12호
• /
• pp.2187-2192
• /
• 2006

본 논문에서는 De Bruijn그래프에 기초한 다중처리기 구성 방법에 대해 논의하였다. 유한체 상의 수학적 성질과 그래프의 성질을 사용하여 변환연산자에 대해 논의하였으며, 이들 변환연산자를 이용하여 De Buijn그래프의 변환표를 도출하였다. 그리고, 이 변환표로부터 유한체 상의 De Bruijn 그래프를 도출하였다. 제안한 다중처리기는 유한체 상에서의 임의 소수와 양의 정수에 대해 구성할 수 있으며 고장허용컴퓨팅 시스템, 파이프라인 시스템, 병렬처리 네트워크, 스위칭 함수와 이의 회로, 차세대 디지털논리 시스템 및 컴퓨터 구조 등에 적 용할 수 있다.

• 정보처리학회논문지C
• /
• 제14C권4호
• /
• pp.313-320
• /
• 2007

본 논문에서는 MS 워드프로세서의 입력 파일에 대한 유효성을 검사하여 MS 워드프로세서의 보안 취약성을 분석하는 방법을 제안하였다. 즉, 워드프로세서에 적용되는 입력 파일의 헤더 정보를 분석함으로써, 그 입력 파일에 존재하는 취약성을 검출하였다. 본 논문에서 수행한 입력 파일 유효성 테스팅은 기존 결함 주입 도구인 Holodeck 및 CANVAS 등으로는 테스트할 수 없다. 제안한 방법은 헤더를 가진 데이터 파일을 입력으로 사용하는 한글, MS 엑셀 등의 입력 파일에 대한 취약성 검출에도 적용될 수 있다. 또한, 대상 소프트웨어들의 결함 허용성 평가 및 신뢰성 평가에도 사용될 수 있다.

• 한국멀티미디어학회논문지
• /
• 제10권7호
• /
• pp.882-892
• /
• 2007

본 논문에서는 임베디드 실시간 운영체제 수준에서 주기적 및 비주기적 태스크 스케줄링뿐만 아니라 태스크들의 일시적인 결함을 복구할 수 있는 결함허용이 가능한 임베디드 실시간 태스크 관리 메커니즘을 제안한다. 기존의 임베디드 운영체제들은 주기적 및 비주기적 태스크들을 동시에 고려한 스케줄링 메커니즘을 지원하지 않는다. 그리고 태스크 결함 복구 메커니즘의 미지원으로 인해 결함 태스크로 인한 시스템 고장을 야기할 수도 있다. 제안된 결함허용 실시간 태스크 관리 메커니즘은 운영체제 수준에서 주기적 태스크들의 마감시한과 비주기적 태스크의 실행완료를 보장할 뿐만 아니라 일시적인 결함이 발생한 태스크를 복구함으로써 태스크 결함으로 인한 시스템 고장을 방지할 수 있다.

• Journal of Power Electronics
• /
• 제17권1호
• /
• pp.161-171
• /
• 2017

To enhance the reliability of two-motor drive systems, this paper proposes an improved direct torque control (DTC) scheme (P-DTC) for five-leg dual-PMSM drive systems. First, the topology of a five-leg dual-PMSM drive system is illustrated. To clarify the analysis of the P-DTC, the standard DTC scheme for three-phase drive systems is presented. The operation of a five-leg dual-PMSM drive system is classified into three situations according to the definitions of the switching-vector unions. Compared with the existing DTC scheme (R-DTC), the P-DTC can minimize the replacement of active switching-vectors to zero switching-vectors. When this replacement cannot be avoided, the P-DTC uses a proposed master-slave selection principle to minimize the system error. Comparing with the R-DTC, the P-DTC has lower torque ripples, a wider speed range and a faster torque increasing response. Experiments have been carried out in the coupling and independent modes, and the effectiveness of the P-DTC is verified by the obtained results.

• 한국해양공학회:학술대회논문집
• /
• 한국해양공학회 2006년 창립20주년기념 정기학술대회 및 국제워크샵
• /
• pp.331-334
• /
• 2006

This paper deals with the ways how the AUV is composed of sub-modules to be fault-tolerant during the mission. The emergency situations can be classified into several parts according to the zones where the situations take place - sensor zone, actuator zone, interpreter zone, and communication zone. This paper explains how each element of emergency situation is detected, contained and treated, and as a result, introduce the modular structured AUV controller for the autonomous cruising.

• 한국정보과학회논문지:시스템및이론
• /
• 제36권5호
• /
• pp.429-436
• /
• 2009

오드 연결망은 그래프이론 모델의 하나로 발표되었는데, [1]에서 고장허용 다중컴퓨터에 대한 하나의 모형으로 소개되었고, 여러 가지 유용한 성질들 - 간단한 라우팅 알고리즘, 최대고장허용도, 노드 중복 없는 경로 등 - 이 분석되었다 본 논문에서는 오드 연결망 $O_d$ 에서 에지 중복 없는 스패닝 트리를 구성하는 알고리즘을 제안한다. 그리고 제안한 알고리즘에 의해 구성된 에지 중복 없는 스패닝 트리가 에지 중복 없는 최적 스패닝 트리임을 증명한다.

• 제어로봇시스템학회논문지
• /
• 제20권6호
• /
• pp.689-694
• /
• 2014

An SPLC (Safety Programmable Logic Controller) must be designed to meet the highest safety standards, IEEE 1E, and should guarantee a level of fault-tolerance and high-reliability that ensures complete error-free operation. In order to satisfy these criteria, I/O modules, communication modules, processor modules and bus modules of the SPLC have been configured in triple or dual modular redundancy. The redundant modules receive the same data to determine the final data by the voting logic. Currently, the processor of each rx module performs the voting by deciding on the final data. It is the intent of this paper to prove the improvement on the current system, and develop a voting system for multiple data on a system bus level. The new system bus protocol is implemented based on a TCN-MVB that is a deterministic network consisting of a master-slave structure. The test result shows that the suggested system is better than the present system in view of its high utilization and improved performance of data exchange and voting.

• 한국항공우주학회지
• /
• 제34권2호
• /
• pp.48-55
• /
• 2006

본 논문에서는 실시간 동적 차분 위성항법과 관련하여 근래에 제안된 위치영역 Hatch 필터의 오차 특성을 해석하였다. 위치영역 Hatch 필터에 의하여 생성되는 잉여값 순열 (residual sequence)이 고장검출에 유용한 백색잡음 (white noise) 특성을 가짐을 보였으며, 위치영역 Hatch 필터는 기존에 알려진 위치영역 Kalman 형 필터에 비하여 전 상태 추정치 (a priori state estimate) 의 정확도 면에서 오히려 더 우수함을 해석적으로 보였다. 이와 같은 특성에 의하면 차분 위성항법의 다양한 응용분야에서 위치영역 Hatch 필터가 고장검출 및 정밀측위에 효율적으로 사용될 수 있음을 알 수 있다.

• 전기학회논문지
• /
• 제64권10호
• /
• pp.1448-1453
• /
• 2015

In this paper, we propose an alternative method of communication to improve the reliability of in-vehicle networks by jointly using wireless communication networks. Wired Communication networks have been used in vehicles for the monitoring and the control of vehicle motion, however, the disconnection of wires or hardware fault of networks may cause a critical problem in vehicles. If the network manager detects a disconnection or faults in wired in-vehicle network like the Controller Area Network(CAN), it can redirect the communication path from the wired to the wireless communication like the Zigbee network. To show the validity and the effectiveness of the proposed in-vehicle network architecture, we implement the Electronic Stability Control(ESC) system as ECU-In-the-Loop Simulation(EILS) and verify that the control performance can be kept well even if some hardware faults like disconnection of wires occur.

• 한국정보과학회논문지:시스템및이론
• /
• 제36권1호
• /
• pp.40-51
• /
• 2009

그래프 G의 쌍형 다대다 k-서로소인 경로 커버(쌍형 k-DPC)는 k개의 서로 다른 소스-싱크 쌍을 연결하며 그래프에 있는 모든 정점을 지나는 k개의 서로소인 경로 집합이다. 이 논문에서는 재귀원형군 G($cd^m$,d), $d{\geq}3$과 토러스에서 서로소인 경로 커버를 고려하여, 이분 그래프가 아니고 분지수가 $\delta$인 재귀원형군과 토러스는 고장 요소(정점이나 에지)가 f개 이하일 때 $f+2k{\leq}{\delta}-1$을 만족하는 임의의 f, $k{\geq}1$에 대하여 쌍형 k-DPC를 가짐을 보인다.