• Journal of Physiology & Pathology in Korean Medicine
• /
• v.17 no.6
• /
• pp.1359-1367
• /
• 2003

Through the historical and logical methodology, The historical development and extension of diagnostic concepts as chi(氣), shue(血), yin(陰), yang(陽) is analyzed. This study suggests the analystic methodology of diagnostic concepts, introduce the justification problem of oriental medical diagnosis, and is concluded with the problem of diagnostic concepts which should be modified and.

• Proceedings of the Safety Management and Science Conference
• /
• 2011.11a
• /
• pp.219-224
• /
• 2011

The research reviews the logical approach based on the creative thoughts. The two logical approaches, including deductive convergent and inductive divergent are discussed with why-why techniques and how-how techniques. While the deductive thinking is vertical logic for interconnected hierarchical and deep domains, the inducive thinking is horizontal logic for mutually exclusive and collectively exhausted frameworks. The creative thinking comes from the reversing the logic and lessening the premise of convergent and divergent approaches.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.16 no.6
• /
• pp.305-310
• /
• 2016

In these days, XML is a de facto standard language for representing and exchanging data. In order to define the conceptual model of the XML, we need to define the representation rules expressed in the diagram and propose the transformation algorithm that converts the diagram into a logical model of XML. This paper proposes a transformation methodology for generating a logical model from the conceptual model of the XML. We use CMXML as a conceptual model and generate XML schema definition as a logical model. For this, we define transformation rules and data structures for XML schema, and propose a transformation algorithm.

• Korean Journal of Computational Design and Engineering
• /
• v.14 no.4
• /
• pp.225-233
• /
• 2009

The objective of this paper is to examine a construction method and verify PLC logic using the logical modeling and simulation of a virtual plant has complex manufacturing system and the domain of application is car body assembly line of automotive industrial operated by PLC Program. The proposed virtual plant model for the analysis of the construction method consists of three types of components which are virtual device, intermediary transfer and controller is modeled by logical model but it the case of the verification of PLC program, HMI and PLC logic in the field substitute for the controller. The implementation of the proposed virtual plant model is conducted PLC Studio which is an object-oriented modeling language based on logical model. As a result, proposed methods enable 3D graphics is designed in the analysis step to use for verification of PLC program without special efforts.

• Journal of the Korean Society of Systems Engineering
• /
• v.8 no.1
• /
• pp.21-28
• /
• 2012

Development of the system that has required performance is the most important figure and that is the key of project succeed. In order to perform that, systems engineering has come to the fore as a solution. In each step of system engineering process, particularly, requirement analysis and derivation, logical solution, architecture design step are known to affect many of the function and efficiency. Of these, this paper focus on architecture design. We introduce methodology for physical architecture design by applying DSM(Design Structure Matrix) methodology which is based on result of logical solution from MBSE methodology.

• Asia pacific journal of information systems
• /
• v.5 no.2
• /
• pp.101-129
• /
• 1995

This paper proposes a form-based distributed database design methodology ($FD^3$). The methodology consists of five design phases such as (i) form requirement analysis (ii) schema integration (iii) distribution analysis (iv) distribution design, and (v) local logical/physical design. In the $FD^3$, all the important design information for each phase is obtained by using an organizations forms, Users requirements are analyzed by using forms that contain logical and quantitative information for distribution design. $FD^3$ resolves naming conflicts by employing SQLs based on the form field data in the schema integration phase. Furthermore, $FD^3$ enhances the quality of distributed database design by incorporating communication costs into the design model. A real-life case is illustrated to demonstrate the usefulness of the $FD^3$.

• Nuclear Engineering and Technology
• /
• v.50 no.8
• /
• pp.1210-1216
• /
• 2018

Site or multi-unit (MU) risk assessment has been a major issue in the field of nuclear safety study since the Fukushima accident in 2011. There have been few methods or experiences for MU risk assessment because the Fukushima accident was the first real MU accident and before the accident, there was little expectation of the possibility that an MU accident will occur. In addition to the lack of experience of MU risk assessment, since an MU nuclear power plant site is usually very complex to analyze as a whole, it was considered that a systematic method such as probabilistic safety assessment (PSA) is difficult to apply to MU risk assessment. This paper proposes a new MU risk assessment methodology by using the conventional PSA methodology which is widely used in nuclear power plant risk assessment. The logical failure structure of a site with multiple units is suggested from the definition of site risk, and a decomposition method is applied to identify specific MU failure scenarios.

• Journal of Information Technology Services
• /
• v.14 no.3
• /
• pp.33-48
• /
• 2015

Recently, many users frequently share their opinions on diverse issues using various social media. Therefore, many governments have attempted to establish or improve national policies according to the public opinions captured from the various social media. In this paper, we indicate several limitations of traditional approaches for analyzing public opinions about science and technology and provide an alternative methodology to overcome the limitations. First of all, we distinguish science and technology analysis phase and social issue analysis phase to reflect the fact that public opinion can be formed only when a certain science and technology is applied to a specific social issue. Next, we apply a start list and a stop list successively to acquire clarified and interesting results. Finally, to identify most appropriate documents fitting to a given subject, we develop a new concept of logical filter that consists of not only mere keywords but also a logical relationship among keywords. This study then analyzes the possibilities for the practical use of the proposed methodology thorough its application to discovering core issues and public opinions from 1,700,886 documents comprising SNS, blog, news, and discussion.

• Journal of the Society of Naval Architects of Korea
• /
• v.39 no.3
• /
• pp.75-80
• /
• 2002

In these days of severe struggle for existence, the world has changed a great deal to global and digital oriented period. The enterprises try to introduce new management and production system to adapt such a change. But, if the only new technologies are applied to an enterprise without definite analysis about manufacturing, failure fellows as a logical consequence. Hence, enterprise must analyze manufacturing system definitely and needs new methodologies to mitigate risk. This study suggests that the new approach, which is systems approach for process improvement, is organized to systems analysis, systems diagnosis, and systems verification. Systems analysis analyzes manufacturing systems with object-oriented methodology-UML(Unified Modeling language) from a point of product, process, and resource view. Systems diagnosis identifies the constraints to optimize the system through scientific management or TOC(Theory of constraints). Systems verification shows the solution with virtual manufacturing technique applied to the core problem which emerged from systems diagnosis. This research shows the artifacts to improve the productivity with the above methodology applied to forming shop. UML provides the definite tool for analysis and re-usability to adapt itself to environment easily. The logical tree of TOC represents logical tool to optimize the forming shop. Discrete event simulator-QUEST suggests the tool for making a decision to verify the optimized forming shop.

• Journal of Korean Medical classics
• /
• v.23 no.2
• /
• pp.89-105
• /
• 2010

Research methodology on Traditional Medicine in East Asia refers to logical thinking system, empirical positivism system and methodology of developing these knowledge systems. Logical thinking system of abstract concepts such as analogy or abduction and positivism system of reasonable explanation such as the five elements and their characteristic theory have been used in various ways empirically or in the form of humanities and knowledge system was developed through parallel structure of empirical positivism and exegetical studies. After the 16th century, evidence was required along with the tradition of putting emphasis on rationality, logicality and empirical positivism and characteristics of medical humanities can be found in emphasizing on medical ethics. Data that can be considered as structural review paper or meta analysis from original data of research on Traditional East Asian Medicine should be evaluated as historical evidence which is equivalent to specialist opinion, descriptive disease research, single case report or case series. Historical evidence based medicine is a research method using Historical evidence to selectively support data that are faithful to traditional theory with higher possibility to be used in future traditional east Asian medicine that links between traditional knowledge and scientific research methodology. Moreover, historical evidence based medicine tries to re-evaluate the value of traditional knowledge and ultimately, guides the direction of development of traditional medicine through scientific rationality based on history and culture.