• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.19 no.9
• /
• pp.1680-1691
• /
• 1994

We propose an extended hypertext data model based on object oriented paradigm that can easily the real world and semantics. We use the BNF notation to formalize the model. In our model, We introduce conceptional navigation by associating semantics on links and drive intelligent navigation using weights on links to alleviate user disorientation problem which is currently somewhat vague. We functionally classify the hypertext node into three types:Indexing node, Content node, Extract node and likewise classify the link into Alink type, Rlink type, Slink type. We believe that the typed node and typed link approach accommodate efficient query/search in hypertext.

• Journal of KSNVE
• /
• v.9 no.5
• /
• pp.922-927
• /
• 1999

The objective of this paper is to obtain the contribution of each source to the spectrum of pressure, when there are multiple incoherent sources in near-field acoustic holography. For this objective, we have to obtain signals very coherent to the input signals of the sources. To obtain the very coherent signals, many people have measured pressure signals in the vincinity of the sources. However, it is sometimes difficult to locate microphones near to the sources so that the signals are very coherent to the input signals. This paper proposed a method to obtain the very coherent signals by near-field acoustic holography. Therefore, the proposed method does not require the measurement of pressure near to each source. Simulation results for two incoherent monopole sources showed the possibility of the proposed method.

• Korean Journal of Ecology and Environment
• /
• v.38 no.spc
• /
• pp.76-83
• /
• 2005

The marked increase in the number of environmental problems, combined with the increase in their intensity and spatial extent, has resulted in an ever-increasing need for constant monitoring. This is complicated by the occurrence of new and complicated environmental issues that often prevent a thorough understanding of the entire monitoring framework. In the present study, a diagrammatic method was developed to present the entire framework of a monitoring plan. The diagram was separated into three sections- "Problem Section", "Research Process and Data Section" and "Entities Section" - to clearly present the disparate relationships between monitoring objectives and the monitoring procedure. Notation of the diagrams was undertaken using Unified Modeling Language (UML). A hypothetical monitoring plan for an environmental problem was designed to assess usefulness of the diagrammatic method. The diagram was capable of reviewing and revising the monitoring plan and could be used to select a monitoring procedure according to the monitoring objectives of the plan. The results suggested that this diagrammatic method was effective for designing an appropriate monitoring plan for a given monitoring objective.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.19-21
• /
• 2002

Writing requirements in formal notation for a safety-critical system can improve software quality and reduce the errors that may arise later on in the software development life cycle. In this paper, we propose a formal specification approach used to describe the nuclear control system. The approach is based on the existing AECL approach that was the only formal specification technique applied to nuclear control systems in the past. Although the approach is AECL-based, the complex descriptions of certain requirements have been reduced by using different specification techniques. We discuss the differences and how the proposed approach provides not only specification but also verification environment.

• Archives of design research
• /
• v.20 no.2 s.70
• /
• pp.53-64
• /
• 2007

Web development has multidisciplinary features involving diverse team members. Owing to the diverse backgrounds, however, there may be communication problems among web team members, especially between designers and programmers. Programmers often use a graphical modeling notation to communicate their designs. The graphical modeling concepts can also be helpful to designers, but most designers generally find graphical modeling notations hard to understand. We, therefore, propose an interactive computer-aided collaborative web design system including revised web graphical model notations to improve communication between web designers and programmers. We have designed and implemented a computational prototype to validate the approach and illustrate how the prototype works using concrete examples.

• Journal of Information Management
• /
• v.23 no.1
• /
• pp.63-76
• /
• 1992

This is an overview of the TEST which effects on the development of thesaurus. Such term relations, display methods, classification schemes for the conventions of the thesaurus development are explained. This conventions of the TEST also effected on the ANSI guideline as well as UNESCO guideline for the thesaurus development. This explains on the development of microthesaurus through its application of TEST.

• 전기의세계
• /
• v.10
• /
• pp.55-61
• /
• 1963

본 논문에서 취급한 제동권선이 없는 철극선의 3상단락현상을 해명하는데 있어 우선 임의력율의 전류를 횡축분과 직축분으로 분리해서 취급하는 소위 Blonde의 2반작용법(two reaction method)를 썼고, 각종 Reactance를 표시하는데는 편리한 단위법(perunit notation)을 사용했으며, 전기자의 1상저항은 각종 Reactance ( $X_{x}$, $X_{q}$ )의 어느것 보담도 극소치임으로 실제계산에는 무시했으나 과도전류의 변화를 좌우하는 감쇠정수[decrement factor)에는 큰 영향을 준다는 것이 규명되었다. 해석결과로서 3상단락전류의 초기치는 특수치보다 훨씬 큰 이유로서 단락전류가 계자자속을 약하게 만들어 그 반동으로 계자회로에 일정자속을 유지하기 위하여 부문적으로 개자전류가 증대함을 알게되었고, 단락전류의 직축분과 횡축분의 구성분이 규명검토되었고, 발전기의 돌발단락저류는 일반적으로 직류분, 기본파교류분 및 제2조파등을 포함하나 그 전부가 시정수의 역수인 감쇠정수에 지배되어서 지수함수곡선에 따라 감쇠되어 결국에는 지속단락전류에 귀착한다는 사실과 3상단락은 평형단락사고임으로 영상전류는 영이며 각상과도전류의 위상차가 120.deg.라는 것엔 변함이 없다는 것과 끝으로 철극기를 정격속도로 운전해 놓고 이것을 여자해서 무부하전압을 수기시켜 그의 3상전단자를 돌연 단락해서 그의 과도전류의 파형을 Oscillograph로 촬영하면 본론에서 해석한 결과식의 그것과 일치하게 됨을 알 수 있을 것이다.것이다.

• Proceedings of the Korean Institute of Electrical and Electronic Material Engineers Conference
• /
• 2002.11a
• /
• pp.488-491
• /
• 2002

We report the observation of line shapes in the optogalvanic spectrum, which are different from those of absorption, for transitions origination from the $3P_2$ ($1s_5$ in Paschen notation) metastable level of argon. The OG line shapes resemble those of absorption and be used to diagnose the characteristics of the discharge plasma. The measured plasma temperatures of Ar hollow cathode discharge for several metal cathodes are about 620~780K at discharge current of 7~10mA.

• Proceedings of the KSR Conference
• /
• 1999.05a
• /
• pp.283-290
• /
• 1999

Recently, the ${\mu}$-processor based-controlled systems instead of conventional relays circuitry are widely used to industrial applications, and also those technology is available to railway signalings which are safety-critical systems. However, the safety and reliability of software for those systems are harder to demonstrate than in traditional relays circuitry because the faults or errors can not be analyzed and predicted to those systems. So, the safety problems are crucial more and more in ${\mu}$-processor based-controlled system. In this paper, the Grafcet language, the graphical and mathematical form, is used to obtain the high-level safety and reliability of software control logic. The general description for Grafcet notation are provided. And some partial of interlocking logic are formally modeled and simulated by Grafcet language and graphical windows.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2002.10a
• /
• pp.211-218
• /
• 2002

An entity-based integrated design product and process model uses product and process entities to describe design information and design activities, respectively. The concepts and notation for product and process entities in the entity-based integrated design model are similar to the concepts of object-oriented programming languages such as C++ and Smalltalk. This paper uses C++ to program an entity-based integrated design model for building frames structures. The design information and activities involved in the three dimensional building space, the locations of frames, and the grouping of frames represented as entities in the entity-based integrated design model are transformed to C++ codes. Each product or process entity can be basically transformed to an class. The attributes of an entity can be defined as variables and member functions of a class.