• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2001.04a
• /
• pp.594-597
• /
• 2001

As many industrial systems become more complex, they become extremely difficult to diagnose the cause of failures. The subject of this paper is ECCS(Emergency Core Cooling System) part of PWR(Pressurized Water Reactor). This paper presents modeling and diagnoser construction of ECCS based on discrete event system theory. Also, this paper presents that the ECCS system is diagnosible in our approach.

• Proceedings of the Korean Society of Marine Engineers Conference
• /
• 2006.06a
• /
• pp.79-81
• /
• 2006

Simulation and physical implementation are both valuable tools in evaluating sensor network routing protocols, but neither alone is sufficient. In this paper, we present the implementation and analysis of sensor routing protocols on the discrete-event simulation system that allows existing nesC codes of sensor network routing protocols to be used to create a physical implementation of the same protocol. We have evaluated the Surge function of TinyOS through example implementations in the Ptolemy II of the unmodified codes and Direct-diffusion routing protocols using VIPTOS simulation models.

• Journal of the Korea Society for Simulation
• /
• v.10 no.1
• /
• pp.1-12
• /
• 2001

This article describes the application of discrete event simulation in a process industry (coffee manufacturing) as a daily production-scheduling tool. A large number of end products (around 300), sporadic demand, and limited shelf life of coffee (90 days) make it difficult to generate feasible production schedules manually. To solve this problem, an integrated system was developed incorporating discrete event simulation methodology into scheduling process. The integrated system is comprised of two components: a scheduling program and a simulation model. The scheduling program is used to generate daily schedules for roasting, grinding, and packing coffee. The simulation model uses the generated schedules to simulate the production of coffee and regenerates a modified production schedule. In this paper, each of the components will be described in detail, evaluated in terms of performance factors, and validated with a set of real production data. Although this article focuses on a specific system, we will share our experiences and Intuitions gained and encourage other process industries to develop simulation-based scheduling tools.

• Journal of the Korea Society for Simulation
• /
• v.9 no.1
• /
• pp.39-54
• /
• 2000

Presented in this paper is a modeling and simulation methodology for 3 dimensional man-made systems. Based on DEVS(discrete event system specification) formalism[13], we propose GK-DEVS (geometrical and kinematic DEVS) formalism to describe the geometrical and kinematic structure and continuous state dynamics. To represent geometry and kinematics, we add a hierarchical structure to the conventional atomic model. In addition, we employ the "empty event" and its external event function for continuous state changing. In terms of abstract simulation algorithm[13], the simulation method of GK-DEVS, named GK-Simulator, is proposed for combined discrete-continuous simulation. Using GK-DEVS, the simulation of an FMS(flexible manufacturing system) consisting of a luring machine, a 3-axis machine and a RGV-mounted robot has been peformed.en peformed.

• Proceedings of the Korean Society for Language and Information Conference
• /
• 2001.06a
• /
• pp.25-58
• /
• 2001

This study explores the lexical-semantic structure of derived causative verbs in Korean based on Pustejovsky(1995)'s Generative Lexicon Theory (GL), Mor-phological causative verbs are derived from their root stems by affixing ‘-i, -hi, -li, -gi’ in Korean and the meanings of derived predicates are closely related to the meanings of their root verbs. In particular, the change of the ARGUMENT STRUCTURE by morphological derivation leads to the change of the EVENT STRUCTURE. In this study, causation is defined as the cause-effect relation having a causer. The ARGUMENT STRUCTURES of derived causative verbs includes a causer argument, which is added to the ARGUMENT STRUCTURE of their root verbs. Their EVENT STRUCTURE has a headed process related to a causer and their result is the event which their root verbs represent. This approach can also suggest that the (in)directness of causative is determined by which verb is its root and explain the difference between the morphological causativization and the syntactic causativization in Korean.

• Journal of Korean Society on Water Environment
• /
• v.21 no.6
• /
• pp.617-623
• /
• 2005

Forestry and agricultural land uses constitute 85% of Korea and these land uses are typically mixed in many watersheds. Biological Oxygen Demand (BOD) concentration is a primary factor for managing water qualities of the water resources in Korea. BOD loadings from diffuse sources, however, not well monitored yet. This study aims to assess BOD loadings from diffuse sources and their affecting factors to conserve quality of water resources. Event Mean Concentration (EMC) of BOD was calculated based on the monitoring data of forty rainfall events at four agricultural-forestry watersheds. Exceedence cumulative probability of BOD EMCs were plotted to show agricultural activities in a watershed impacts on the magnitude of EMCs. Prediction equation for each rainfall event was proposed to estimate BOD EMCs: $EMC_{BOD}(mg/L)=EXP(0.413+0.0000001157{\times}$(discharged runoff volume in $m^3$)+0.018${\times}$(ratio of agricultural land use to total watershed area).

• Journal of Korean Society for Quality Management
• /
• v.19 no.2
• /
• pp.96-107
• /
• 1991

At the design stage of a plant, the plausible causes and pathways of release of hazardous materials are not clearly known. Thus there exist large amount of uncertainties on the consequences resulting from the operation of a fusion plant. In order to better handle such uncertain circumstances, we utilize the Probabilistic Risk Assessment(PRA) for the safety analyses on fusion power plant. In this paper, we concentrate on the tritium release accident. We develop a simple model that describes the process and flow of tritium, by which we figure out the locations of tritium inventory and their vulnerability. We construct event tree models that lead to various levels of tritium release from abnormal initiating events. Branch parameters on the event tree are assessed from the fault tree analysis. Based on the event tree models we construct influence diagram models which are more useful for the parameter updating and analysis. We briefly discuss the parameter updating scheme, and finally develop the methodology to obtain the predictive distribution of consequences resulting from the operating a fusion power plant. We also discuss the way to utilize the results of testing on sub-systems to reduce the uncertain ties on over all system.

• Proceedings of the KSRS Conference
• /
• 1998.09a
• /
• pp.404-408
• /
• 1998

Yellow sand event has been studied using SeaWiFS data in order to examine the aerosol optical characteristics in the Yellow Sea and their influences on the atmospheric correction for the ocean color remote sensing. Two SeaWiFS images of April 18 and April 25, 1998, representing Yellow Sand event and clear-sky case respectively, are selected for emphasizing the impact of high aerosol concentration on the ocean color remote sensing. It was shown that NASA's standard atmospheric correction algorithm treats yellow sand area as either too high radiance or cloud area, in which ocean color information is not generated. SeaWiFS aerosol optical thickness is compared with nearby ground-based sun photometer measurements and also is compared with radiative transfer simulation in conjunction with yellow sand model, examining the performance of NASA's atmospheric correction algorithm in case of the heavy dust event.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.30 no.3
• /
• pp.37-43
• /
• 2007

We use influence diagrams to describe event trees used in safety analyses of low-probability high-risk incidents. This paper shows how the branch parameters used in the event tree models can be updated by a bayesian method based on the observed counts of certain well-defined subsets of accident sequences. We focus on the analysis of the shared branch parameters, which may frequently often in the real accident initiation and propagation to more severe accident. We also suggest the way to utilize different levels of accident data to forecast low-probability high-risk accidents.

• Nuclear Engineering and Technology
• /
• v.40 no.7
• /
• pp.571-580
• /
• 2008

A Binary Decision Diagram (BDD) is a graph-based data structure that calculates an exact top event probability (TEP). It has been a very difficult task to develop an efficient BDD algorithm that can solve a large problem since it is highly memory consuming. In order to solve a large reliability problem within limited computational resources, many attempts have been made, such as static and dynamic variable ordering schemes, to minimize BDD size. Additional effort was the development of a ZBDD (Zero-suppressed BDD) algorithm to calculate an approximate TEP. The present method is the first successful application of a BDD truncation. The new method is an efficient method to maintain a small BDD size by a BDD truncation during a BDD calculation. The benchmark tests demonstrate the efficiency of the developed method. The TEP rapidly converges to an exact value according to a lowered truncation limit.