• Proceedings of the Korea Society for Simulation Conference
• /
• 2001.10a
• /
• pp.141-146
• /
• 2001

An Information Retrieval System offers the integrated view of SCM(Supply Chain Management) information to the enterprise by making it possible to exchange data between regionally distributed heterogeneous computers and also to enable these computers to access various types of databases. The Information Retrieval System is modeled using Data Registry Model based on X3.285. We only verify the MetaData Registry Manager(MDR Manager) among the core parts using SMV(Symbolic Model Verifier) in order to verify whether our model satisfies the requirements under the given assumptions.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.18 no.4
• /
• pp.509-518
• /
• 1993

Protocol conversion is to resolve the imcompatibility between networks so that users on different protocols can communicate with each other. This paper designs a formal model, EPN , to increase its modeling power and analyze conversion protocol and proposes a conversion algorithm using it. The conversion algorithm has two capabilities : synchronization and automatic error recovery function. Therefore burden of protocol converter design will be reduced, automatic protocol converter design can be possible and implementation for half-gateway will be easy.

• Genomics & Informatics
• /
• v.10 no.4
• /
• pp.266-270
• /
• 2012

Grammatical inference methods are expected to find grammatical structures hidden in biological sequences. One hopes that studies of grammar serve as an appropriate tool for theory formation. Thus, we have developed JSequitur for automatically generating the grammatical structure of biological sequences in an inference framework of string compression algorithms. Our original motivation was to find any grammatical traits of several cancer genes that can be detected by string compression algorithms. Through this research, we could not find any meaningful unique traits of the cancer genes yet, but we could observe some interesting traits in regards to the relationship among gene length, similarity of sequences, the patterns of the generated grammar, and compression rate.

• Knowledge Management Research
• /
• v.15 no.1
• /
• pp.45-63
• /
• 2014

Due to advance in Internet technology, most tourists tend to search travel information in the Online Travel Communities(OTC). Given this new paradigm in terms of finding travel information, most of relevant studies in this area are still dealt with explaining tourists' behaviors regardless of the types of communications. Therefore, to overcome some limitations in previous studies, we attempt to examine the relationships between both formal and informal communications and tourists' behavioral changes in the OTC context. Specifically, we developed a research model by employing the PPM(push-pull-mooring) framework and tested it to understand why and how tourists' behaviors might be changed. Survey data collected from 323 online tourists were used to test the model the model using SEM(structural equation modeling). The implications of our empirical findings for both research and practice are discussed.

• Journal of Korean Society of Rural Planning
• /
• v.3 no.2
• /
• pp.62-70
• /
• 1997

This study surveys the herb industry, which plays an important role in the economy activation of the advanced countries, and by which Choongbuk, as one of local authorities, makes the first attempt in Korea. It describes the direction of the policy and application, came to a conclusion as follows. 1. Choongbuk is arranging a Herb garden as the first step in connection with the exsiting plan, It could be highly rated because there has been no example yet in korea and therefore it could involve risks. 2. The selection of site will be decided by the Do-authorities considering traffic network and accessibility. Therefore Shi and Gun authorities could have a passive and formal attitude for this policy. 3. The size of the herb garden, by modeling Japanese and European herb garden, will be 15000 pyung(4545m), From the point of view it is a start, the herb garden has still tasks to solve, e.g. lack of experience, organizational and technological problems.

• Journal of KIBIM
• /
• v.5 no.1
• /
• pp.25-34
• /
• 2015

In the initial step of BIM based architectural design process, workloads are increased and the decision making process becomes more complex than those of the conventional design process. Technologies regarding distribution, exchange, classification, verification of BIM data are fundamental elements of construct environment for information sharing based on BIM. Interoperability of BIM model data is another issue to integrate BIM model. To improve interoperability in BIM-based collaboration, a model for utilizing formal&unformal design informations is suggested. Futhermore, Prototyping the model and practical test is conducted for advancement of data exchange making design data richen.

• Structural Engineering and Mechanics
• /
• v.3 no.5
• /
• pp.411-427
• /
• 1995

The most known continuum damage theories for brittle structures are suitable to model the degradation of the material due to the deformation process and the consequent initiation of a macro-crack. Nevertheless, they are not able to describe the propagation of the crack that leads, eventually, to the breakage of the structure into parts that undergo rigid body motion. This paper presents a theory, formulated from formal arguments of Continuum Mechanics, that may describe not only the degradation but also the fracture of elastic structures. The modeling of such a discontinuous phenomenon through a continuous theory is possible by taking a cohesion variable, related with the links between material points, as an additional degree of kinematical freedom. The possibilities of the proposed theory are discussed through examples.

• Proceedings of the IEEK Conference
• /
• 2000.07b
• /
• pp.703-706
• /
• 2000

In recent years. XML applications are being developed in diverse area. Especially, development of XML document repository system associated with database is carrying out widely. The previous researches of XML repository system have several defects which are update and retrieval limitations for the XML document, design limitation for a formal retrieval algorithm and data redundancy. In order to solve the above problems. in this paper, we suggest relational database schemes for overcoming limitations of updating, retrieving, and rebuilding document. And suggest query translation strategy using two-phase translation that consists of pattern analyzing phase and SQL generating phase.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.10
• /
• pp.2670-2679
• /
• 1999

XML documents which are used for exchanging structured documents between heterogeneous distributed system are increasing recently. It needs an object-oriented visualization tool for XML documents. So, we propose rules and an algorithm to represent structure of XML documents using UML Class Diagram. It helps to generate XML documents which are included links by understanding easily constructs of them and reduce gap of schema for them between heterogeneous databases. We propose formal models and modeling functions of XML links which provide an efficient environment for processing object-oriented documents.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.10
• /
• pp.2797-2808
• /
• 1999

Timing Constraint Petri Nets(TCPN) extend petri nets by adding timing constraints, it is provide a formal method for the modeling and analysis of real-time system. A real-time schedulability analysis decide that a set of concurrent processes will always meet its deadline. In this paper, we present TCPN model for real-time system include timing constraints and propose a schedulability analysis algorithm using them. Also, When the TCPN model is unscheduleable under the imposed timing constraints, we propose a recovery technique that will be scheduleable by the system specification modifying or timing constraints relaxing in the optimized time.