• Proceedings of the KIEE Conference
• /
• 대한전기학회 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.

• Journal of Korean Library and Information Science Society
• /
• 제36권4호
• /
• pp.133-153
• /
• 2005

This study is to analyze and suggest the KDC's facet structure. KDC is using the Decimal Classification's facet structure. New suggestions are : Clearly use standard subdivisions and add instruction like 'Add to base number $\~$ notation $\~$ from table $\~$' : auxiliary tables contents are need to revise and expand to make a add table found in schedules and provide numbers to be added to designated schedules numbers are necessary.

• Proceedings of the Korean Information Science Society Conference
• /
• 한국정보과학회 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의 설계 문서와 원시 코드를 재사용하는 방식으로 본 도구를 구현하였기 때문에 생산성 있는 도구 개발을 이룰 수 있었다.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 한국소음진동공학회 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.

• Journal for History of Mathematics
• /
• 제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.

• Journal of Internet Computing and Services
• /
• 제10권1호
• /
• pp.175-182
• /
• 2009

Less efforts has been made in developing specifications and verification techniques for quality requirements. This paper suggests specification and traceability methods supporting quality issues such as usability, performance, and understandability when developing information systems with UML notation. With traceability checking methods that augment quality extension to the use cases and sequence diagrams, developers can confirm the level of implementation for both functional and nonfunctional requirements beforehand.

• Journal of Korean Library and Information Science Society
• /
• 제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.

• Journal of Korean Library and Information Science Society
• /
• 제38권4호
• /
• pp.529-546
• /
• 2007

This study is to suggest the new ideal classification scheme of revise edition of KDC. New suggestions are : using add table, diversify of note, and expand the auxiliary tables contents, add instruction like "Add to base number$\sim$notation $\sim$from table $\sim$."

• Journal of the Korean Mathematical Society
• /
• 제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.