• 한국도서관정보학회지
• /
• 제35권4호
• /
• pp.469-489
• /
• 2004

시대구분(연대범주)은 주제와 결합하여 주제의 범위를 특정 연대(시대)로 한정하는 방법으로서 분류표에 따라서 사용기법을 달리 하고 있다. CC와 UDC는 공통구분표를 통해 일관성있고 분명한 시대구분이 가능하다. DDC와 KDC는 표준구분, 역사류, 문학류에 따라 시대구분 기호를 다르게 사용하고 있다.

• 생명과학회지
• /
• 제12권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.

• 한국수학사학회지
• /
• 제17권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
• /
• 제15권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)
• /
• 제5권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.

• 한국문헌정보학회지
• /
• 제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년도 추계학술대회
• /
• 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.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1997년도 춘계학술발표회논문집(1)
• /
• 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.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 봄 학술발표논문집 Vol.30 No.1 (B)
• /
• 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.

• 한국정밀공학회지
• /
• 제19권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.