• TTA 저널
• /
• 통권32호
• /
• pp.130-137
• /
• 1994

• 방재기술
• /
• 통권3호
• /
• pp.61-62
• /
• 1988

• TTA소식
• /
• 제5권2호통권18호
• /
• pp.32-37
• /
• 1993

• 한국멀티미디어학회논문지
• /
• 제1권1호
• /
• pp.109-119
• /
• 1998

본 논문은 형식기술기법으로 기술된 차세대지능망 응용프로토콜(INAP: Intelligent Network Application Protocool)로부터 추상시험스위트 (Abstract Test Suite) 자동생성에 대한 연구 결과를 기술한다. 시험 자동생성을 위해 RCP tour(Rural Chinese Postman tour) 개념과 UIO 시퀀스 (UIO:Unique Input Output Sequence) 개념을 응용하였다. SDL(System Description Language) 형식기술 기법으로 명세화된 INAP명세로부터 생성한 I/O FSM(Input/Output Finite State Machine)을 중간모델로 하여 UIO 시퀀스를 정의하고, 정의된 UIO 시퀀스를 RCP tour 개념과 결합하여 최적의 시험 시퀀스를 생성하였다. 본 논문에서는 또, 생성된 시험 스위트의 오류커버영역 예측방법을 제시하고, 마지막으로 표준화된 시험 표기법인 TTCN(Tree and Tabular Combined Notation)으로 생성된 시험스위트의 변환방법도 제시한다.

• 대한수학교육학회지:수학교육학연구
• /
• 제26권2호
• /
• pp.287-307
• /
• 2016

본고에서는 미국, 영국, 호주, 싱가포르, 일본, 5개국에서 시행되는 대학 입학 수학시험을 분석하여 대학수학능력시험을 비롯한 우리나라의 대학입학시험에 대한 시사점을 도출한다. 연구 대상을 한정짓기 위해 미국 대학입학시험은 SAT 시험, SAT 교과 시험, ACT 시험, AP-course 시험을, 영국과 싱가포르는 고등학교 졸업 자격시험으로 실시되는 GCE A-level 시험(영국의 경우, Edexcel 시험으로 한정)을, 호주는 A-level 시험의 성격을 띤 빅토리아 주 정부 주관의 VCE 시험을, 일본은 대학입시센터 시험과 대학별고사로 분석 대상을 선정하였다. 본 연구에서는 각각의 시험 체제를 소개하고 수학 또는 수학 관련 과목 시험의 출제 범위와 문항 형식을 분석함으로써 각 시험이 가지는 주목할 만한 특징을 확인한다. 그리고 우리나라 대학입학시험과의 비교를 통해 내용과 형식 측면에서의 몇 가지 시사점을 도출하였다. 이를 통해 향후 두 차례의 개편이 예고되어 있는 대학수학능력시험을 비롯해, 나아가 우리나라의 대학 입학 수학 시험의 개선 방안을 모색하기 위한 기초적인 논의를 제공한다.

• 대한설비공학회지:설비저널
• /
• 제37권5호
• /
• pp.22-28
• /
• 2008

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

• 제품안전
• /
• 통권92호
• /
• pp.82-88
• /
• 2001

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

• 한국강구조학회 논문집
• /
• 제19권6호
• /
• pp.655-661
• /
• 2007

강재의 접합형식으로 쐐기의 원리를 이용한 새로운 접합장치인 쐐기형 접합장치(wedge connectors)가 개발되었다. 본 연구에서는 새로운 접합장치를 적용한 철골 보-기둥 접합부의 내진성능에 대한 실험연구를 수행하였다. 새로운 접합장치를 적용한 2개의 보-기둥 접합부 시험체에 대해 반복하중 실험을 수행하였다. 2개의 시험체는 켄티레버형이며 동일한 상세를 갖도록 제작되었다. 반복하중 실험의 결과 2개의 시험체 모두 특수모멘트골조에 대해 요구되는 총회전각인 0.04 라디안보다 큰 0.06라디안의 총회전각을 발휘할 수 있었으며 기존의 보-기둥 접합형식에 비해 에너지 소산능력이 크게 우수한 것으로 나타났다.

• 한국통신학회:학술대회논문집
• /
• 한국통신학회 1991년도 추계종합학술발표회논문집
• /
• pp.196-198
• /
• 1991

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

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2011년도 제42회 하계학술대회
• /
• pp.416-417
• /
• 2011

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