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

TTCN-3(Testing & Test Control Notation Version 3) defined in EISI(2001) are the standardized test specification and test implementation language of applicable for all kinds of black-box testing for reactive and distributed system, telecom systems, Mobile system, Internet, CORBA based system, java, XML, etc. This paper using the TTCN-3 on an Electric Power IT Protocol DLMS(Device Language Message Specification) standards for the implementation of the device equipment test the suitability of the protocol.

• 한국도서관정보학회지
• /
• 제36권4호
• /
• pp.133-153
• /
• 2005

이 연구는 KDC의 패싯 구조를 분석하여, 앞으로 반영할 수 있는 조합식 분류체계를 제안하는 것이다. KDC는 십진식 체계들이 사용하는 조합식 구조를 수용하고 있으나, 앞으로 표준구분의 적용을 분명하게 하고, "기본기호 $\~$에 $\~$구분표의 기호$\~$를 사용하여 $\~$구분한다"와 같은 지시를 사용하여 전개할 수 있도록 하고, 조기표의 활용 방법과 내용을 수정 확장하고, 내부 보조표를 마련하여 특정 류에 공통적으로 적용할 수 있는 구조를 도입하는 것이 바람직하다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (1)
• /
• pp.475-477
• /
• 1998

객체 지향 기법의 확산으로 인하여 많은 객체 지향 표기법과 객체 지향 CASE(Computer Aided Software Engineering) 도구가 발표되고 있다. 특히 1995년 이후로 Booch, Rumbaugh 그리고 Jacobson에 의하여 정의되어 계속적인 정제 과정을 거치고 있는 UML(Unified Modeling Language)은 OMG(Object Management Group)에 의하여 객체 지향 표기법의 표준안으로 채택될 가능성이 높은 가장 우수한 표기법으로 지목되고 있다. 본 논문에서는 기존에 가지고 있었던 OMT(Object Modeling Technique) 지원 도구인 OODesigner의 개발 경험을 이용하여 새로히 설계 구현한 UML 지원 CASE 도구인 AOModeler의 개발 결과를 제시한다. 기존에 존재하는 대부분의 CASE 도구들은 플랫폼에 의존적인 구현 언어로 작성되어 있기 때문에 이식성이 매우 부족하였다. 따라서 도구 개발자는 PC용 도구와 Unix용 도구를 따로 개발할 수밖에 없었다. 이식성과 관련한 문제점을 해결하기 위해서 본 논문에서는 Java 언어로 AOModeler를 구현하였다. 더욱이 C++로 기존에 구현한 OODesiner의 설계 문서와 원시 코드를 재사용하는 방식으로 본 도구를 구현하였기 때문에 생산성 있는 도구 개발을 이룰 수 있었다.

• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 2014년도 춘계학술대회 논문집
• /
• pp.191-196
• /
• 2014

In the evaluation of measured noise data, tolerance shall be decided based on the uncertainty. The uncertainty has frequency variations due to the different standard deviations at each frequency. Therefore, tolerance shall be differently decided for each frequency with the same confidence probability. In the report, the evaluation method considering the frequency variation of uncertainty will be introduced. From the approach, considering the actual noise distribution characteristics of the ships, the tolerance shall be decided for each frequency with the same probability, but the overall averaged value shall be kept to the value designated in each notation.

• KSTLE International Journal
• /
• 제2권1호
• /
• pp.59-64
• /
• 2001

A new bearing concept, the wave journal bearing, has been developed to improve the static and dynamic performance of a hydrodynamic journal bearing. This concept features a wave in bearing surface. Not only straight but also twisted wave journal bearings are investigated numerically. The performances of straight and twisted bearings are compared to a plain journal bearing over a wide range of eccentricity. The bearing load and stability characteristics are dependent on the geometric parameters such as the number of waves, the amplitude and the starting point of the wave relative to the applied load direction. The bearing performance is analyzed for various configurations and for both cases of smooth and wave member notation. The wave journal bearing, especially for the twisted one, offers better stability than the plain journal bearing under all eccentricity ratios and load orientation.

• 한국수학사학회지
• /
• 제26권5_6호
• /
• pp.355-370
• /
• 2013

Thomas Harriot has been introduced in middle school textbooks as a great mathematician who created the sign of inequality. This study is about Harriot's symbolism and the theory of equation. Harriot made symbols of mathematical concepts and operations and used the algebraic visual representation which were combinations of symbols. He also stated solving equations in numbers, canonical, and by reduction. His epoch-making inventions of algebraic equation using notation of operation and letters are similar to recent mathematical representation. This study which reveals Harriot's contribution to general and structural approach of mathematical solution shows many developments of algebra in 16th and 17th centuries from Viete to Harriot and from Harriot to Descartes.

• 인터넷정보학회논문지
• /
• 제10권1호
• /
• pp.175-182
• /
• 2009

사용자 요구 분석에 있어 품질 요구에 대한 표현과 검증은 다른 활동에 비해 체계적인 연구가 미진한 분야로 알려져 왔다. 본 논문은 UML을 기반으로 정보시스템을 개발할 경우 적용이 가능한 품질 요소 중 사용성, 성능, 이해성 등에 대한 표현과 구현 추적 방법을 제안한다. 특히 유스케이스와 시퀀스 다이어그램의 품질 표현 확장을 통해 기능 요구의 구현 추적과 더불어 관계되는 품질 요구에 대한 표현과 추적을 할 수 있도록 한다. 이를 통해 개발자는 기능요구와 비기능 요구가 올바로 구현되었음을 사전에 확인할 수 있다.

• 한국도서관정보학회지
• /
• 제30권4호
• /
• pp.27-57
• /
• 1999

Standardization is a prerequisite of quality control in any field. Library field is not an exception. The bibliographic control structures of AACR2R, MARC, DDC, LCC, LCSH, ISBD are highly standardized and dependent on rigorous authority work, so that libraries and bibliographic utilities using these tools could provide effective quality services. In order to emphasize the importance of standardization in the field of bibliographic control structures, this study focuses on inconsistencies in transliterated foreign personal and geographic names in headings, used as the caption of a given class as well as in notes describing what is found in a class or clarifying the notation hierarchy in the 4th edition of KDC. This study also examines Korean transliteration of loan words in the schedule as well as the transliterated entries of the Relative Index.

• 한국도서관정보학회지
• /
• 제38권4호
• /
• pp.529-546
• /
• 2007

이 연구는 KDC 제5판의 개정 내용을 제안하는 것이다. 개정되는 제5판은 조합식 구조를 전제로 다양한 합성방법을 사용하는 것이 필요하다. 또한 부가표의 신설, 주기의 다양화, 보조표의 전개를 확대하고, 기호 합성방법은 "기본기호 $\sim$에 $\sim$표의 기호 $\sim$을 합성한다." 형식의 주기를 일관성 있게 사용하고 실질적인 보조표의 역할을 할 수 있도록 개정할 것을 제안한다.

• 대한수학회지
• /
• 제38권2호
• /
• pp.227-274
• /
• 2001

In this paper we intended to discuss the following topics: (1) Notation, generalities, Markov processes. The close relationship between (generators of) Markov processes and the martingale problem is exhibited. A link between the Korovkin property and generators of Feller semigroups is established. (2) Feynman-Kac semigroups: 0-order regular perturbations, pinned Markov measures. A basic representation via distributions of Markov processes is depicted. (3) Dirichlet semigroups: 0-order singular perturbations, harmonic functions, multiplicative functionals. Here a representation theorem of solutions to the heat equation is depicted in terms of the distributions of the underlying Markov process and a suitable stopping time. (4) Sets of finite capacity, wave operators, and related results. In this section a number of results are presented concerning the completeness of scattering systems (and its spectral consequences). (5) Some (abstract) problems related to Neumann semigroups: 1st order perturbations. In this section some rather abstract problems are presented, which lie on the borderline between first order perturbations together with their boundary limits (Neumann type boundary conditions and) and reflected Markov processes.