• 한국컴퓨터정보학회논문지
• /
• 제7권2호
• /
• pp.34-39
• /
• 2002

본 논문은 컴포넌트 명세서 구문구조를 XML 기반으로 모델링 하였다. 즉, 컴포넌트 명세서 구문구조를 XML 문서형 정의(DTD) 문법에 맞도록 컴포넌트 명세서 DTD를 제안하였으며, DTD 구조에 유효한 컴포넌트 명세서 XML 문서 예를 제시하였다. 그리고 XML기반 컴포넌트 명세서 문서를 편리하게 생성, 관리할 수 있는 지원도구의 기본 아키텍쳐를 설계하였다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2008년도 춘계학술대회 논문집
• /
• pp.1880-1886
• /
• 2008

Recently, a railroad system has a big and complicated structure of specification. Therefore, traceability between specification need to be identified for design change management and this is many engineer's concerns. Traceability means technical relationship. This is to trace other specification or component connect with relevant problem in case some problem should be examined. Traceability between functional specification can be proved through functional analysis essentially. This study will introduce an application method of functional analysis in the case of practical use project of MAGLEV train. And we propose the guide to identify traceability between function through functional analysis.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2002년도 하계종합학술대회 논문집(1)
• /
• pp.171-174
• /
• 2002

In this study, we proposed a specification which is able to estimate tile uncertainty more easily and quickly and also able to maintain a confidence level when measuring tile magnitude and phase of 1-port and 2-port transmission.reflection coefficient using a VNA and attached coaxial cable probes. This proposed specification is available when it needs extra special condition of uncertainty estimation and when there is no additional standard equipment like as beadless airline or mismatch standard at the measurement institute. We compared and examined this proposed uncertainty estimation method with recommended EA specification and Agilent specification. As a result, we think that this proposed specification can be used as a reference for uncertainty estimation and calculation of VNA system, that is, a reference based on the IS0/1EC 17025 requirements.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2004년도 하계학술대회 논문집 B
• /
• pp.1432-1434
• /
• 2004

Propelled urban rail transit EMU's standardization/localization business receiving MOCT's assistance for 2001 years since 1995 in KRRI. But. urban rail transit is operated because signaling. electrical power. rail etc. as well as EMU connects each other. Therefore, receive MOCT's assistance since 2001 and is achieving standardization research about urban rail transit's infrastructure including signaling. Specially, is propelling standardization about CBTC way for expansive standardization hereafter in signaling part. Main contents of this urban rail transit's signaling standardization research are as following. - standard specification creation - development of core equipment for standardization specification verification - standard specification completion by core equipment testing & evaluation Is explaining about establishment of scheme and these contents for this urban rail transit's signaling's standard specification creation in this paper.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2012년도 추계학술대회
• /
• pp.385-387
• /
• 2012

해양 분야에서는 최근 e-Navigation의 실현을 위해 국제수로기구의 S-100을 기반으로 다양한 해양 데이터 및 관련 데이터의 통합, 활용에 관한 표준 연구가 활발히 이루어지고 있다. 그리고 S-100을 기반으로 전자해도, 심해지형 등 해양 데이터를 제작, 배포하는 S-100 기반 product specification이 개발되고 있다. e-Navigation 환경에서 다양한 데이터를 통합, 활용하려면 해당 데이터들이 S-100 기반의 product specification에 따라 제작, 배포해야 한다. 본 연구에서는 안전 항해의 중요한 요소인 항로표지 정보를 S-100 기반의 시스템에서 통합, 활용할 수 있도록, 항로표지 데이터를 제작, 배포하는 가이드라인에 해당하는 항로표지 product specification을 개발하였다.

• Nonlinear Functional Analysis and Applications
• /
• 제28권4호
• /
• pp.929-942
• /
• 2023

In this paper, we discuss topological ergodic shadowing property and topological pseudo-orbital specification property of iterated function systems(IFS) on uniform spaces. We show that an IFS on a sequentially compact uniform space with topological ergodic shadowing property has topological shadowing property. We define the notion of topological pseudo-orbital specification property and investigate its relation to topological ergodic shadowing property. We find that a topologically mixing IFS on a compact and sequentially compact uniform space with topological shadowing property has topological pseudo-orbital specification property and thus has topological ergodic shadowing property.

• 한국CDE학회논문집
• /
• 제21권1호
• /
• pp.31-41
• /
• 2016

Building Information Modeling (BIM) has been adopted in variety domain of construction industry. In this circumstances, interest of BIM model quality has been increased. In many countries, automated building code checking system by Industry Foundation Classes (IFC) has been developed and studied to use web based building permission systems. IFC is international standard of BIM format. However, the data structure of IFC does not include all of objects and properties about national building codes. In this paper, we developed the information specification between IFC data structure and national building code to increase interoperability. First, we drew the criteria from literature review to analyze the building code. And then, we analyzed building code and sorted objects and properties for automated building code checking. After that we made mapping table between the sorted data and IFC specification. Using the mapping table, we developed pre-specification about building codes information that does not exist in IFC specification. And the defined information can be used to develop the BIM modeling guide and national building permission system. The pre-specification support increasing the interoperability between user and automated building code checking system. Increasing thee interoperability makes improvement accuracy and reliability about result of automated building code checking.

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

HLA(High Level Architecture)는 미 국방성에서 제안한 분산 시뮬레이션을 위한 실시간 분산 데이터 공유를 위한 객체, 시간, 인터페이스 규격을 말한다. 이 HLA는 (1) Rules, (2) Interface Specification, (3) Object Model Template 둥의 3가지 구성요소로 정의되며, 인터페이스 명세를 구현한 것이 RTI(Run-Time Infrastructure)이다. RTI는 분산 운영체계가 응용 프로그램에게 서비스를 제공하는 것과 유사한 방법으로 Federation을 구성하고 있는 Federate들에게 상호연동에 필요한 서비스를 제공한다. 모든 서비스들이 표준에 적합하게 구현되었는지 테스트하기 위한 방법은 DMSO에서 제안한 RTI를 검증하기 위한 2단계 과정을 통해 테스트된다. 본 논문에서는 1단계 테스트를 위한 테스트 절차와 그 방법에 대해 논한다 테스트 결과를 토대로 각 영역에서 DMSO에서 제안한 Level One Test Procedures에 따라 RTI가 Interface Specification에 적합하게 구현되었는지 확인하며, 각 단계마다 올바른 명령과 예상된 결과가 나오는지 테스트하기 위한 Test Suite를 개발한다.

• 인터넷정보학회논문지
• /
• 제6권5호
• /
• pp.1-9
• /
• 2005

속성 인증서를 이용한 역할기반 접근제어를 함에 있어서 역할 관리비용을 줄이기 위해 역할 할당 인증서와 역할 명세인증서를 활용하면 역할의 변경에 따른 갱신 오버헤드를 줄일 수 있다. 특히 유비쿼터스 컴퓨팅 환경과 같은 고도의 분산 컴퓨팅 환경에서는 광범위한 통제 구조를 가질 수 없으므로 이를 고려한 속성 인증서 관리 기법이 요구된다. 역할 명세 인증서를 따로 두는 경우 역할 관리 비용이 줄어드는 바, 더 나은 성능향상을 위하여 본 논문에서는 역할 명세를 구조화하여 효율적 역할기반 접근제어를 위한 속성 인증서 관리 기법을 모색한다. 역할을 그룹화하여 역할 명세 인증서의 관계구조 트리를 구성하여 분산된 환경에서 안전하고 효율적인 역할의 갱신과 분배를 달성한다. 규모 확장성을 위해 멀티캐스팅 패킷을 사용한 역할 명세 인증서 분배를 하며, 그에 따른 네트워크 상의 패킷 손실율을 고려한 성능분석을 하여 역할 그룹을 두어 역할 명세 인증서를 구조화하는 것이 성능을 향상시킴을 정량적으로 보인다.

• 컴퓨터교육학회논문지
• /
• 제10권1호
• /
• pp.89-96
• /
• 2007

교육평가에서 이원분류표는 B.S.Bloom이 제안한 것으로서 학생들을 위한 수업목표를 확인하고 결정하는데 유용하여 학교 현장에서 평가를 위한 기준으로 널리 사용되고 있다. 그런데, 교과 내용이나 각 학교의 교육적 환경이 다르기 때문에 여러 형식의 이원분류표가 사용되고 있다. XML(extensible markup language) 문서에서는 문서의 구조, 내용, 그리고 외양을 나타내는 프리젠테이션이 각각 분리되어 있어서 체계적인 문서 구조와 변형된 여러 양식을 요하는 이원분류표의 작성에 적합하다. 본 논문에서는 이원분류표를 위한 DTD(data type definition)를 설계하였다. 또한, 이원분류표 XML 문서 및 프리젠테이션을 위한 XSL(extensible stylesheet language)의 예시와 활용 방안을 제시하였다. 제안된 DTD는 교육 평가와 관련된 다양한 응용에 유용하게 쓰일 수 있을 것으로 기대된다.