• TTA Journal
• /
• s.32
• /
• pp.130-137
• /
• 1994

• Fire Protection Technology
• /
• s.3
• /
• pp.61-62
• /
• 1988

• TTA REPORT
• /
• v.5 no.2 s.18
• /
• pp.32-37
• /
• 1993

• Journal of Korea Multimedia Society
• /
• v.1 no.1
• /
• pp.109-119
• /
• 1998

This paper describes a research result on automatic generation of Abstract Test Suite from INAP protocol in formal specifications by applying many existing related algorithms such as Rural Chinese Postman Tour and UIO sequence concepts. We use the I/O FSM generated from SDL specifications and a characterizing sequence concepts. We use the I/O FSM generated from SDL specifications and a characterizing sequence, called UIO sequence, is defined for the I/O FSM. The UIO sequence is combined with the concept of Rural Chinese Postman tour to obtain an optimal test sequence. It also proposes an estimation methodology of the fault courage for the Test Suite obtained by our method and their translation into the standardized test notation TTCN.

• Journal of Educational Research in Mathematics
• /
• v.26 no.2
• /
• pp.287-307
• /
• 2016

In this study, mathematics exams for university entrance in the USA, the UK, Australia, Singapore, and Japan are investigated. We look into SAT, ACT and AP-course in the USA, GCE A-level test in the UK and Singapore, VCE in Australia, and UECE (University Entrance Center Exam) and individual university's admission tests in Japan. Those exams are analyzed in terms of exam system, mathematical contents, types of items, and testing time. Based on the result five issues on university entrance exam system in Korea are drawn out: types of tests, mathematical contents, item types, sub-items, and opening tests results to the public.

• The Magazine of the Society of Air-Conditioning and Refrigerating Engineers of Korea
• /
• v.37 no.5
• /
• pp.22-28
• /
• 2008

바다에 유출된 기름으로 오염된 지역의 친환경적인 방제를 위하여 기름분해 미생물을 이용하는 생물정화기술을 소개하고, 해양환경관리법 시행('08.1.21)으로 방제약제에 새로 추가된 생물정화제제의 성능시험기준 및 검정기준 등 형식승인절차를 기술하였다.

• Product Safety
• /
• s.92
• /
• pp.82-88
• /
• 2001

전기제품인 비디오폰{일명 홈오토메이션(HA)기기}은 전기용품안전관리법의 안전인증, 소방법의 형식승인과 검정, 전기통신기본법의 형식승인 등 3개의 법에 의해 각각 동일 또는 유사한 시험을 거쳐 안전인증 및 형식승인을 받아야 하는 불편을 겪고 있다. 이에 한국전기제품안전진흥원에서는 중복된 인증제도를 단일화하여 제조업체의 불편을 해소하고자 규제개혁위원회에 다음과 같은 개선안을 건의하여 제조업체들의 과도한 부담을 제거하고 홈오토메이션기기 산업발전을 촉진하고자

• Journal of Korean Society of Steel Construction
• /
• v.19 no.6
• /
• pp.655-661
• /
• 2007

A new steel connection method using wedges known as Self-Locking Connector has been developed. In this study, experimental investigation was conducted to verify the seismic performance of steel beam-to-column joints with Self-Locking Connectors. Cyclic-loading tests were performed on two beam-to-column joints with Self-Locking Connectors. The two beam-to-column joint specimens were of the cantilever-type and had the same details. Test results showed that beam-to-column joints with Self-Locking Connectors were able to developa total rotation capacity of 0.06 radian, which is greater than the 0.04 radian required for Special Moment Frames. Moreover, their energy absorption capacity was much greater than that of conventional joints.

• Proceedings of the Korean Institute of Communication Sciences Conference
• /
• 1991.10a
• /
• pp.196-198
• /
• 1991

분산 시스팀 환경하에서 여러 다양한 구성요소사이의 상호작용과 통신을 관장하는 규칙들인 프로토콜을 설계하는데 있어서 컴퓨터 과학 및 공학 영역의 형식방법과 소프트웨어 공학기법이 적용되고 있다. 그 결과로서 새로운 영역인 프로토콜 공학(Protocol Engineering)의 중요성이 점차 대두되고 있다. 본 연구에서는 프로토콜 공학 사이클(프로토콜과 서비스 명세, 프로토콜 검정과 검증, 프로토콜 종합, 프로토콜 변환, 성능 평가, 자동 구현, 그리고 적합성 시험) 중에서 적합성시섬 즉, 적합성 시험언어인 TTCN(Tree and Tabular Combined Notation) 특성, 시험시나리오, 그리고 추상적 시험 시나리오를 수행하는 시험언어 번역기(TTCN2C)에 관해서 논하였다.

• Proceedings of the KIEE Conference
• /
• 2011.07a
• /
• pp.416-417
• /
• 2011

국제적으로 차단기의 성능평가에 가장 광범위하게 적용되고 있는 IEC와 IEEE는 단락고장회로에 대한 차단성능평가 기준의 핵심 요소인 과도회복전압(TRV)을 서로 다른 방법으로 규정하고 있었다. 따라서 제작자는 신제품으로 개발한 동일한 모델의 차단기에 대하여 구매자의 요구에 대응하기 위하여 두 가지 표준에 대한 형식시험 또는 형식 시험인증을 실시해야하므로 불필요한 경제적 비용을 지불해야만 했다. 이러한 어려움을 해소하기 위해 IEC와 IEEE는 1990년대 말부터 두 규정의 부합화를 위한 개정작업을 진행했다. 이에 따라 2008년에는 완전한 부합화를 이루지는 못했지만 TRV에 관한 규정의 상당부분이 부합화가 되었다. 본 논문에서는 부합화된 주요 부분과 시험방법을 제시하였다.