• Journal of Korean Library and Information Science Society
• /
• v.35 no.4
• /
• pp.469-489
• /
• 2004

Time(Period table) is the chronological factor in a subject. Classification schemes are using the period tables for represent the time. CC and UDC's common auxiliary of time tables are consistence and clear. DDC and KDC are using the different way, though the notation is complicated.

• Journal of Life Science
• /
• v.12 no.4
• /
• pp.383-391
• /
• 2002

The difficulties in dealing with the Bioinformatics data come more from its idiosyncrasies than from its quantity Currently researchers need to an easy method for data exchange, manage, update. In order to integrate and manage all kinds of biological data, it is reasonable to adopt XML as standard tool since XML is independent of operating system, programming language and hardware platform. Although XML in Bioinformatics has been used widely as a standard notation abroad, however it is the beginning step in the domestic research. This article reviews a basic concept of XML and how to apply XML modeling in Bioinformatics. In addition we present XML applications for genomic sequences, structures and genetic network modeling.

• Journal for History of Mathematics
• /
• v.17 no.1
• /
• pp.33-42
• /
• 2004

In this paper, we identify the essential ideas of Fundamental Theorem of Arithmetic(FTA). Then, we compare these ideas with several theorems of Euclid's Elements to investigate whether the essential ideas of FTA are contained in Elements or not. From this, we have the following conclusion: Even though Elements doesn't contain FTA explicitly, it contains all of the essential ideas of FTA. Finally, we assert two reasons why Greeks couldn't mention FTA explicitly. First, they oriented geometrically, and so they understood the concept of 'divide' as 'metric'. So they might have difficulty to find the divisor of the given number and the divisor of the divisor continuously. Second, they have limit to use notation in Mathematics. So they couldn't represent the given composite number as multiplication of all of its prime divisors.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.15 no.3
• /
• pp.161-175
• /
• 2011

An n-string tangle is a three dimensional ball with n strings properly embedded in it. A tangle model of a DNA-protein complex is first introduced by C. Ernst and D. Sumners in 1980's. They assumed the protein bound DNA as strings and the protein as a three dimensional ball. By using a tangle analysis, one can predict the topology of DNA within the complex. S.Kim and I. Darcy developed the biologically reasonable 4-string tangle equations and decided a solution tangle, called R-standard tangle. The author discussed more about the simple solution tangles of the equations and found a generalized R-standard tangle solution.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.5 no.4
• /
• pp.805-821
• /
• 2011

Wireless Sensor Networks (WSNs) are rapidly emerging because of their potential applications available in military and civilian environments. Due to unattended and hostile deployment environments, shared wireless links, and inherent resource constraints, providing high level security services is challenging in WSNs. In this paper, we revisit various security attack models and analyze them by using a well-known standard notation, Unified Modeling Language (UML). We provide a set of UML collaboration diagram and sequence diagrams of attack models witnessed in different network layers: physical, data/link, network, and transport. The proposed UML-based analysis not only can facilitate understanding of attack strategies, but can also provide a deep insight into designing/developing countermeasures in WSNs.

• Journal of the Korean Society for Library and Information Science
• /
• v.26
• /
• pp.75-112
• /
• 1994

The purpose of this study is to investigate the problems concerning 780 music division of DDC. The object is especially arrangement of 780 music in the 20th edition of DDC which is the complete revision. The result is summarized as follows : 1. Although music is an important subject in humanities, especially in arts, it was classified as one division (780) not class. 2. The arrangement of 780 music is severely west-oriented music theory, vocal music and instrumental music. 3. Classification number of 780 music becomes longer because of the limitation of decimal notation. 4. 780 music division of DDC neglects music theory and emphasizes music practicing, especially performance. 5. The assignment of classification number is unbalanced, especially between theory and practice, composition and performance, and among sub-sections of vocal and instrumental music. 6. Many important subject are omitted in DDC music schedule, for example, musicology and branches of musicology, composition and traditional instruments of many countries. 7. Employment of terminology is often improper and inconsistant.

• 한국경영정보학회:학술대회논문집
• /
• 2007.11a
• /
• pp.316-321
• /
• 2007

Effective Training has been recognized as one of the most important success factors for enterprise resource planning (ERP) system operations. However, both ERP system vendors and user companies have failed to provide an effective training method for users because practical business process cases cannot be formalized. Also, incomplete testing by ERP system vendors results in insufficient and ineffective user training. This paper suggests a scenario framework for ERP testing and training (SF-ETT). SF-ETT is constructed by expanding the practice-based ERP testing scenario construction framework designed for uniERPII. SF-ETT contains concrete business process entities that users understand actually and provides practice definition, notation, and architecture.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1997.05a
• /
• pp.153-158
• /
• 1997

This paper describes a formal safety analysis technique which is demonstrated by performing empirical formal safety analysis with the case study of beamline hutch door Interlock system that is developed by using PLC(Programmable Logic Controller) systems at the Pohang Accelerator Laboratory. In order to perform formal safety analysis, we have built the Z formal specifications representation from user requirement written in ambiguous natural language and target PLC ladder logic, respectively. We have also studied the effective method to express typical PLC timer component by using specific Z formal notation which is supported by temporal history. We present a formal proof technique specifying and verifying that the hazardous states are not introduced into ladder logic in the PLC-based safety critical system.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04c
• /
• pp.112-114
• /
• 2003

In order to survive in today's competitive world, understanding the business process and how it works can be a key to success. Visualization improves understandability of business process for developers, and accompanies modeling. There are two modeling methods that are often used in the industry - standard BPMN (Business Process Modeling Notation) and UML activity diagram. This paper shows whether the activity graph of UML 2.0 draft can support business process modeling or not through comparing it with the BPMN features.

• Journal of the Korean Society for Precision Engineering
• /
• v.19 no.5
• /
• pp.118-125
• /
• 2002

The previous kinematic analysis of wheeled mobile robots(WMRs) is performed in an ad-hoc manner, while those of the robot manipulators are done in a consistent way using the coordinate system assignment and the homogeneous transformation matrix. This paper shows why the method for the robot manipulators cannot be used directly to the WMRs and proposes the method for the WMRs, which contains modeling the wheel with the Sheth-Uicker notation and the homogeneous transformation. The proposed method enable us to model the velocity kinematics of the WMRs in a consistent way. As an implementation of the proposed method, the Jacobian matrices were obtained for conventional steered wheel and non-steered wheel respectively and the forward and inverse velocity kinematic solutions were calculated fur a tricycle typed WMR. We hope that our proposed method comes to hold an equivalent roles for WMRs, as that of the manipulators does for the robot manipulators.