• Journal of the Korean Institute of Telematics and Electronics C
• /
• v.35C no.9
• /
• pp.38-48
• /
• 1998

Generating test patterns for asynchronous sequential circuits remains to be a very difficult problem. There are few algorithms for this problem, and previous works cut feedback loops, and insert synchronous flip-flops in the feedback loops during ATPG. The conventional algorithms are similar to the algorithms for synchronous sequential circuits. This means that the conventional algorithms generate test patterns by modeling asynchronous sequential circuits as synchronous sequential circuits. So, test patterns generated by those algorithms nay not detect target faults when the test patterns are applied to the asynchronous sequential circuit under test. In this paper an algorithm is presented to generate test patterns for asynchronous sequential circuits. Test patterns generated by the algorithm can detect target faults for asynchronous sequential circuits with the minimal possibility of critical race problem and oscillation. And it is guaranteed that the test patterns generated by the algorithm will detect target faults.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.53 no.11
• /
• pp.130-138
• /
• 2016

In this paper present the real-time system parallel testing techniques for weapon systems error verification. Previously field testing equipment in the military field was using the sequential testing method to maintain. This method could not check the error verification of interference. For this reason, in this paper propose the real-time system parallel testing techniques using an embedded module instead of the sequential testing techniques which is used in the weapon system error verification. Using the embedded module mounted switching control card conduct the parallel testing and then send the result to the PC. This method is possible to increase the reliability in the weapon system error verification.

• The Journal of Society for e-Business Studies
• /
• v.9 no.1
• /
• pp.1-19
• /
• 2004

The systematic testing is frequently regretted in recent web applications because of time and cost pressure. Moreover developers have difficulties with applying the traditional testing techniques to testing web application. The approach of creating test cases for a web application from a sequence model is proposed for the rapid and efficient testing. Test cases for web application are extracted from call messages (including self-call messages) of UML (Unified Modeling Language) sequence diagram. A test case consists of messages, script functions, or server pages and additional values. Moreover a simple testing tool for web application is proposed. A URL for testing web application is created and executed by this testing tool. The URL consists of server page address and additional values. This test tool is made using Microsoft Visual Basic. The efficiency of proposed method and tool has been shown using a practical case study which reflects the development project of the web application for supporting member management.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.36 no.4
• /
• pp.373-378
• /
• 2012

The objective of this research is to examine the probabilistic approach to evaluating turbine ejection frequency considering common-cause failure. This paper identifies basic turbine ejection mechanisms under high and low speeds and presents a detailed probabilistic methodology (fault tree) for assessing ejection frequency. The alpha factor methodology is applied to common-cause failure evaluations. The frequencies under different test schemes are compared and the propagation of uncertainty through the fault tree model is evaluated. The following conclusions were reached: (1) the turbine blade ejection frequency due to ductile failure under high speed is around 8.005E-7/yr; (2) if common-cause failure is considered, the frequency will be increased by 11% and 33% depending on the test scheme; and (3) if the parameter uncertainties are considered, the frequency is estimated to be in the range of 9.35E-7 to 1.13E 6, with 90% confidence.

• Proceedings of the KIEE Conference
• /
• 2008.11a
• /
• pp.282-284
• /
• 2008

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

• 전기의세계
• /
• v.28 no.1
• /
• pp.5-14
• /
• 1979

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

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2004.04a
• /
• pp.231-234
• /
• 2004

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

• 전기의세계
• /
• v.31 no.4
• /
• pp.249-255
• /
• 1982

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

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 1999.10a
• /
• pp.5-5
• /
• 1999

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

• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.04a
• /
• pp.1251-1254
• /
• 2012

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