• 전자공학회논문지C
• /
• 제35C권9호
• /
• pp.38-48
• /
• 1998

비동기 순차 회로에 대한 시험 벡터를 생성하는 문제는 매우 어려운 문제로 남아 있다. 현재까지 이 문제에 대한 알고리즘은 거의 없었다. 그리고, 기존의 접근 방식은 시험 벡터를 생성하는 동안에는 피이드백 루프를 절단하여 그 곳에 플립플롭이 있는 것처럼 가정하고 시험 벡터를 생성하는 방식이었다. 그래서, 기존의 알고리즘은 동기 순차 회로용 시험 벡터 생성 알고리즘과 매우 유사하였다. 이것은 시험 벡터를 생성할 때에는 비동기 순차회로를 동기 순차 회로로 가정하고 시험 벡터를 생성한다는 것을 의미한다. 그러므로, 생성된 시험 벡터가 비동기 순차 회로에 적용되었을 때, 대상 결함을 검출하지 못할 수도 있다는 것을 나타낸다. 본 논문에서는 비동기 순차 회로에 대한 시험 벡터를 생성할 수 있는 알고리즘을 제시하였다. 본 논문에서 제안된 알고리즘을 적용하여 생성된 시험 벡터는 임계레이스(critical race) 문제와 순환(oscillation) 문제의 발생을 최소로 하면서 비동기 순차 회로의 결함을 검출할 수 있다. 그리고, 본 논문에서 제안된 알고리즘을 적용하여 생성된 시험 벡터는 비동기 순차 회로에 대해서 대상 결함을 검출하는 것이 보장된다.

• 전자공학회논문지
• /
• 제53권11호
• /
• pp.130-138
• /
• 2016

본 논문은 무기체계의 오류를 검증할 때 필요한 실시간 시스템 병렬시험 기법에 대해서 제안한다. 이전에 국방분야에서 사용되는 야전시험장비는 무기체계를 순차적으로 검증하는 방식을 사용하였다. 오류를 순차적으로 검증하는 방식은 내부유닛간의 상호 간섭에 의한 부분의 오류검증은 할 수 없었다. 이러한 이유로 인해 본 논문에는 기존에 무기체계 오류 검증 시 사용되는 순차적 시험기법이 아닌 임베디드 장치를 이용한 실시간 시스템 병렬시험 기법을 제안한다. 임베디드 모듈이 탑재된 스위칭 제어카드는 병렬시험을 수행하고 그 결과를 사용자의 제어장치로 전달한다. 이러한 방식은 기존의 방식에 비해 좀 더 정확하게 무기체계 내부의 상호 간섭에 대한 오류 검증을 할 수 있다.

• 한국전자거래학회지
• /
• 제9권1호
• /
• pp.1-19
• /
• 2004

시간적 금전적 압박으로 최근의 웹 응용에서는 체계적인 시험작업이 종종 간과되곤 한다. 게다가 효과적인 웹 응용 시험 방법이 많지 않아 웹 응용에 기존의 시험 방법들을 적용하면서 개발자들은 많은 어려움을 겪고 있다. 빠르고 효과적 인 시험을 위하여 웹 페이지간의 메시지를 모델링한 UML 순차도(Sequence Diagram)로부터 웹 응용을 위한 시험사례를 추출하는 방법을 제안한다. 웹 응용을 위한 시험사례들은 UML의 순차도에서 자기 호출 메시지 (Self-Call Messages)를 포함한 메시지들로부터 추출된다. 시험사례는 시험할 대상인 메시지와 스크립트 함수, 서버 페이지와 추가적인 시험값들로 구성된다. 또한, 웹 응용 시험을 지원하기 위한 간단한 도구를 제시한다. 이 시험 도구는 웹 응용을 시험하기 위한 URL을 생성하고 이를 실행하여 그 결과를 보인다. 생성된 URL은 시험할 서버 페이지의 주소와 추가적인 시험값들로 구성된다. 이 도구는 마이크로소프트 비주얼 베이직으로 작성하였다. 회원 관리 기능을 수행하는 웹 응용개발 과제에 제안하는 시험사례 추출방법과 시험 지원 도구를 적용하였으며 그 유용성을 확인하였다.

• 대한기계학회논문집A
• /
• 제36권4호
• /
• pp.373-378
• /
• 2012

본 논문에서는 공통원인고장을 고려하여 증기터빈 비산확률을 평가하였다. 이 과정에서 저속 및 고속에서 터빈 비산물 발생 경로를 제시하고, 고장수목을 활용하여 비산물 발생빈도를 구하였다. 공통원인고 장을 고려하기 위해서 Alpha Factor 방법론을 사용하였다. 순차 및 비순차 시험에 대해서 각각의 빈도를 비교분석 하였으며, 불확실성을 평가하였다. (1) 고속회전에 의한 연성파괴로 발생하는 터빈비산물 방출빈도는 8.005E-7/year로 평가되었다. (2) 만약, 공통원인고장이 고려되면, 시험방식에 따라 11% 및 33%의 방출빈도 증가를 확인하였다. (3) 사용된 CCF 변수의 불확실성을 고려하면, 터빈방출빈도는 90%의 신뢰도 기준 9.35E-7에서 1.13E-6 사이에 존재함을 알 수 있었다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2008년도 추계학술대회 논문집 전력기술부문
• /
• pp.282-284
• /
• 2008

전기철도차량을 개발하여 상업운행에 들어가기 전에 차량의 성능과 관련 있는 항목에 대한 여러 가져 성능시험을 수행해야 한다. 성능시험 항목 중에 하나가 전자파 시험이다. 전자파 시험은 차상에서 고조파와 전자파를 측정하는 시험과 차량에서 외부로 방사하는 전자파를 측정하는 시험, 차량에 전력을 공급하는 전철변전소에 유도되는 고조파를 측정하는 시험으로 구성된다. 본 논문에서는 한국형 고속열차를 대상으로 순차적으로 진행한 전자파 시험에 대한 결과를 종합적으로 정리하였다.

• 전기의세계
• /
• 제28권1호
• /
• pp.5-14
• /
• 1979

비파괴검사방법에는 여러가지가 있는데 과거에는 주로 방사건 유도시험이 주역을 이루어 왔다고 볼수 있다. 그런데 최근에는 초음파를 이용한 탐상장치의 성능이 향상하였고 초음파를 이용하지 않으면 검사할수 없는 대상물의 검사가 필요하게 되었다는 점에 의하여 초음파의 이용이 상당히 급속하게 확대되어 그 응용범위도 수도관에서 원자연료까지 이루게 되었다. 그러나 방사선 투과식 시험에서는 검출곤란한 균열을 검출할 수 있는 기술적 특성및 고가인 소모품이 필요치 않고 또한 검사속도도 빠르다는 경제성에 주목하여 방사투과시험이 가능한 대상물에 대해서도 이용하게끔 되었다. 초음파에 의한 비파괴시험을 이용목적에 따라 분류하면 탐상과 계측으로 대별할 수 있다. 이하 이들의 각종방법에 대하여 순차적으로 그 개요를 설명하겠다.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2004년도 춘계학술대회 학술발표 논문집 제14권 제1호
• /
• pp.231-234
• /
• 2004

본 논문에서 리눅스 프로세스들의 패턴들(정상행위 와 비정상행위)을 학습하고 그 밖에 예비 시험들의 확장을 제시하는데 의가 있다고 할 수 있다. 패턴들은 리눅스 시스템들 안에 오용과 침입들을 확인 할 수 있도록 사용하였다. 리눅스 sendmail 프로세스의 처리의 정상행위 그리고 비정상 행위들을 위해 운영체제 호출 순차들에서 기계 학습 작업을 고안하였다. 이 방법은 테스트 기록 데이터의 정상행위로부터 sendmail의 비정상행위의 실행을 모두 정확하게 구별할 수 있는 것을 보여준다. 예비 시험들은 기계학습이 침입탐지 서비스를 제공하기 위하여 저장 된 순차 정보를 추출화 함으로써 중요한 역할을 다 할 수 있다는 것으로 나타냈다.

• 전기의세계
• /
• 제31권4호
• /
• pp.249-255
• /
• 1982

전기자동차의 마이크로 프로세서 제어시스템은 마이크로 프로세서가 엔진 피이드백제어, 순차제어, 연료계량, 축전지충전 및 일정한 기능진단의 역할을 한다는 것을 기술하였다. 이 마이크로 프로세서제어가 되는 운전 시스템은 연구실과 옥외주행시험을 통해서 그 우수한 성능이 확인되었다.

• 한국추진공학회:학술대회논문집
• /
• 한국추진공학회 1999년도 제13회 학술강연논문집
• /
• pp.5-5
• /
• 1999

3단형 과학로켓(KSR-III)의 기본형 및 응용형에 공통으로 사용되는 주엔진은 액체산소를 산화제로, 케로신을 연료로 사용하는 액체추진기관이다. 엔진 기본설계를 통하여 로켓 임무 요구사항에 부합되도록 엔진 각 부분의 기본제원을 설정하였고, 엔진의 형상을 결정하였다. 설계된 엔진의 성능검증 작업은 분사시험용 엔진, 축소형 엔진, 엔지니어링 모델 및 비행시험모델의 설계/제작/시험을 통하여 순차적으로 수행할 계획이다. 본 연구는 3단형 과학로켓 엔진의 기본설계 및 성능검증 계획에 관한 것이다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2012년도 춘계학술발표대회
• /
• pp.1251-1254
• /
• 2012

본 논문은 Gary E. Mogyorodi[1]가 제시한 기법을 기반으로 Use-Case Approach 접목을 통해 테스트케이스 추출을 제안하고자 한다. 최근 이슈가 되고 있는 임베디드 시스템은 기존의 결정적 소프트웨어와 달리 비결정적, 실시간 또는 병렬적 시스템이다. 그래서 이러한 복잡한 시스템을 모델링 하기 위해서, 메시지 순차적 다이어그램을 확장을 통해 해결하고자 한다. 또한 Gary E. Mogyorodi[1]가 제시한 기법과 확장된 메시지 순차적 다이어그램을 접목을 통해 Test Case 를 생성하기 및 추출하고자 한다. 이 테스트케이스로 선 시험함으로써 실제 개발과 구현단계에서 오류를 참조하여 시간과 비용을 줄이고자 한다.