• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2004년도 춘계종합학술대회
• /
• pp.651-654
• /
• 2004

본 연구에서는 HDL에서 블록 사이, 프로세스문장, 또는 일을 할당하는 순서를 조절하는 상위레벨 사건을 하위레벨 사건과 비교하여 정의하며, 상위레벨 사건은 자원충돌과 프로토콜 또는 사양의존 충돌로 구성된다는 것을 보여준다. 그리고 상위레벨 사건을 검출하기 위하여 2가지 검출방법이 제안된다.

• 한국정보처리학회논문지
• /
• 제3권5호
• /
• pp.1346-1353
• /
• 1996

본 논문은 상위레벨에서 VHDL을 사용하여 순차회로의 주요 구성요소인 플립플롭을 모델링하는 방법과 고장을 검출하기 위한 테스트생성 알고리즘을 제안 한다. RS, JK, D, T플립플롭은 데이터 흐름형을 이용하여 모델링한다. 칩레벨 모델의 기본 구조인 마이크로 오퍼레이션 시이퀸스를 하나 이상의 다른 마이크로 오퍼레이션 사이퀸스에 연결된 제어점으로 나타낸다. 다른 마이크로 오퍼레이션을 제한하고 있는 마이크로 오퍼레이션고 장(FMOP고장)을 효과적으로 나타내기 위하여 고울트리의 개념을 사용하며 고울을 처리하기 위해서 휴리스틱 조건을 이용한다. FMOP나 제어점 고장(FCON)이 발생 할때 고장 활성화, 경로 활성화 및 활성화된 경로를 유지하기 위한 명료화과정을 거쳐 테스트 패턴을 생성 제안한 알고리즘을 C 언어로 실현하고 예제를 통하여 유효성을 확인 한다.

• 한국자동차공학회논문집
• /
• 제24권1호
• /
• pp.99-111
• /
• 2016

This paper presents an integrated fault diagnosis algorithm for driving motor of In-wheel independent drive electric vehicle. Especially, this paper proposes a method that integrated the high level fault diagnosis and the low level fault diagnosis in order to improve a robustness and performance of the fault diagnosis system. The high level fault diagnosis is performed using the vehicle dynamics analysis and the low level fault diagnosis is carried using the motor system analysis. The validity of the high level fault diagnosis algorithms was verified through $Carsim^{(R)}$ and MATLAB/$Simulink^{(R)}$ cosimulation and the low level fault diagnosis's validity was shown by applying it to a MATLAB/$Simulink^{(R)}$ interior permanent magnet synchronous motor control system. Finally, this paper presents a fault diagnosis strategy by combining the high level fault diagnosis and the low level fault diagnosis.

• ETRI Journal
• /
• 제9권2호
• /
• pp.48-54
• /
• 1987

본 고에서는 565Mbit/s 광전송시스팀에서 절체작용이 단국과 단국 또는 단국과 중계국, 중계국과 중계국에서 서로 절체가 가능한 절체제어 알고리즘을 제시하였으며, 최대 절체 완료시간이내에 절체가 이루어질 수 있도록 단국과 단국사이에 설치 가능한 최대 중계국 수를 계산하였다. 또한 중계국수가 증가함에 따라 비정상적인 제어가 발생하지 않도록 각 국에 설치된 절체장치의 역할, 절체 구간내의 절체장치가 고장시 감시제어계의 상위레벨에 있는 MMC를 백업(back up)수단으로 이용하는 방법에 관해 기술하였다.

• 한국정보통신학회논문지
• /
• 제10권3호
• /
• pp.496-502
• /
• 2006

최근에 CAD 툴의 비약적인 발전으로 인하여 대부분의 디지털 회로들은 VHDL 언어를 사용하여 설계된다. 그리고 IC 공정기술의 발달에 따라 하나의 칩에 많은 회로를 포함할 수 있으므로 VHDL 코드의 크기가 방대해져 이에 대한 검증(verification)은 칩 설계에 있어서 어렵고, 많은 시간을 소모하는 과정이 되고 있다. 본 연구에서는 SoC용 IP 사이에서 발생할 수 있는 자원충돌과 프로토콜의 오류를 검증하는 새로운 방법을 제시한다. VHDL 모델의 블록 또는 SoC용 IP 사이에서 발생할 수 있는 상위레벨 고장을 정의하고 분류하고, 하위 레벨 검증(low-level code verification)에 사용되는 검출률 측정 법을 사용하여 IP사이에서 발생하는 데이터 충돌과 프로토콜 또는 알고리즘의 오류를 검증하는 방법을 제안한다.

• 한국콘텐츠학회논문지
• /
• 제6권6호
• /
• pp.9-15
• /
• 2006

무선 통신 시스템에서는 무선 채널의 속성상 채널 고장과 복구를 고려한 성능분석을 수행해야 한다. 본 논문에서는 고정 혼합 모델과 근사 모델 기법에 대하여 논의하고 이들에 대한 SRN 모델을 개발한다. 고정 혼합 모델은 채널 고장 및 복구와 채널 할당 및 서비스를 혼합한 모델로 상태 크기의 문제점이 발생할 수 있어 이를 해결할 수 있는 계층 모델을 개발한다. 계층 모델은 고장과 복구를 고려한 가용도를 상위 모델로 채널 할당 및 서비스를 하위레벨로 갖는 근사 모델이다. 하위모델은 핸드오프 호를 위한 가드채널과 음성 호의 선점 핸드오프 방식을 모델링한다. 성능지표인 신규 호 차단 확률과 핸드오프 호 분실 확률의 수치결과가 주어진다.