• Nuclear Engineering and Technology
• /
• v.45 no.5
• /
• pp.653-664
• /
• 2013

The design of computer-based instrumentation and control (I&C) systems is determined by the allocation of I&C functions to I&C systems and components. Due to the characteristics of computer-based technology, component failures can negatively affect several I&C functions, so that the reliability proof of the I&C systems requires the accomplishment of I&C system design analyses throughout the I&C life-cycle. On one hand, this paper proposes the restructuring of the sequential IEC 61513 I&C life-cycle according to the V-model, so as to adequately integrate the concept of verification and validation. On the other hand, based on a metamodel for the modeling of I&C systems, this paper introduces a method for the modeling and analysis of the effects with respect to the superposition of failure combinations and event sequences on the I&C system design, i.e. the temporal change of physical structure is analyzed. In the first step, the method is concerned with the modeling of the I&C systems. In the second step, the method considers the analysis of temporal change of physical structure, which integrates the concepts of the diversity and defense-in-depth analysis, fault tree analysis, event tree analysis, and failure mode and effects analysis.

• Journal of Korean Society for Atmospheric Environment
• /
• v.19 no.3
• /
• pp.249-261
• /
• 2003

A three-dimensional mesoscale atmospheric dispersion modeling system consisting of the Lagrangian particle dispersion model (LPDM) and the meteorological mesoscale model (MM5) was employed to simulate the transport and dispersion of non-reactive pollutant during the nuclear spill event occurred from Sep. 31 to Oct. 3, 1999 in Tokaimura city, Japan. For the comparative analysis of numerical experiment, two more sets of foreign mesoscale modeling system; NCEP (National Centers for Environmental Prediction) and DWD (Deutscher Wetter Dienst) were also applied to address the applicability of air pollution dispersion predictions. We noticed that the simulated results of horizontal wind direction and wind velocity from three meteorological modeling showed remarkably different spatial variations, mainly due to the different horizontal resolutions. How-ever, the dispersion process by LPDM was well characterized by meteorological wind fields, and the time-dependent dilution factors ($\chi$/Q) were found to be qualitatively simulated in accordance with each mesocale meteorogical wind field, suggesting that LPDM has the potential for the use of the real time control at optimization of the urban air pollution provided detailed meteorological wind fields. This paper mainly pertains to the mesoscale modeling approaches, but the results imply that the resolution of meteorological model and the implementation of the relevant scale of air quality model lead to better prediction capabilities in local or urban scale air pollution modeling.

• Journal of Drive and Control
• /
• v.6 no.3
• /
• pp.10-17
• /
• 2009

• Journal of Drive and Control
• /
• v.1 no.3
• /
• pp.26-31
• /
• 2004

• ETRI Journal
• /
• v.26 no.3
• /
• pp.218-228
• /
• 2004

Using stereo images with ephemeris data from the Korea Multi-Purpose Satellite-1 electro-optical camera (KOMPSAT-1 EOC), we performed geometric modeling for three-dimensional (3-D) positioning and evaluated its accuracy. In the geometric modeling procedures, we used ephemeris data included in the image header file to calculate the orbital parameters, sensor attitudes, and satellite position. An inconsistency between the time information of the ephemeris data and that of the center of the image frame was found, which caused a significant offset in satellite position. This time inconsistency was successfully adjusted. We modeled the actual satellite positions of the left and right images using only two ground control points and then achieved 3-D positioning using the KOMPSAT-1 EOC stereo images. The results show that the positioning accuracy was about 12-17 m root mean square error (RMSE) when 6.6 m resolution EOC stereo images were used along with the ephemeris data and only two ground control points (GCPs). If more accurate ephemeris data are provided in the near future, then a more accurate 3-D positioning will also be realized using only the EOC stereo images with ephemeris data and without the need for any GCPs.

• The Journal of Information Technology and Database
• /
• v.6 no.1
• /
• pp.1-13
• /
• 1999

The modeling components in the object-oriented paradigm are based on the object, not the structured function or procedure. That is, in the past, when one wanted to solve problems, he would describe the solution procedure. However, the object-oriented paradigm includes the concepts that solve problems through interaction between objects. The object-oriented model is constructed by describing the relationship between object to represent the real world. As in object-oriented model the relationships between objects increase, the control of objects caused by their insertions, deletions, and modifications comes to be very complex and difficult. Because the loss of the referential integrity happens and the object reusability is reduced. For these reasons, the necessity of the control of objects and the visualization of the relationships between them is required. In order that we design a database necessary to implement Object Browser that has functionalities to visualize Java objects and to perform the query processing in Java object modeling, in this paper we show the processes for EER modeling on Java object and its transformation into relational database schema. In addition we implement Java Object Parser that parses Java object and inserts the parsed results into the implemented database.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2007.11a
• /
• pp.565-573
• /
• 2007

This paper is concerned with the dynamic modeling, active vibration controller design and experiments for a cylindrical shell equipped with MFC actuators. The dynamic model was derived by using Rayleigh-Ritz method based on Donnel-Mushtari shell theory. The actuator and sensors for the MFC actuator equations were derived based on pin-force model. The equations of motion were then reduced to modal equations of motion by considering the modes of interest. The sensor equations were also converted to a reduced form. An aluminum shell was fabricated to demonstrate the effectiveness of modeling and control techniques. The boundary conditions at both ends of the shell were assumed to be shear diaphragm. Theoretical natural frequencies were calculated and compared to experimental result. It was observed that the theoretical result is in good agreement with experimental result for the first two modes. The multi-input and multi-output positive position feedback controller, which can cope with first two modes, was then designed based on the blockinverse theory and implemented using DSP. It was found from experiment that vibrations can be successfully suppressed.

• Nuclear Engineering and Technology
• /
• v.44 no.8
• /
• pp.929-938
• /
• 2012

The Computerized Procedure System (CPS) is one of the primary operating support systems in the digital Main Control Room. The CPS displays procedure on the computer screen in the form of a flow chart, and displays plant operating information along with procedure instructions. It also supports operator decision making by providing a system decision. A procedure flow should be correct and reliable, as an error would lead to operator misjudgment and inadequate control. In this paper we present a modeling for the CPS that enables formal verification based on Petri nets. The proposed State Token Petri Nets (STPN) also support modeling of a procedure flow that has various interruptions by the operator, according to the plant condition. STPN modeling is compared with Coloured Petri net when they are applied to Emergency Operating Computerized Procedure. A converting program for Computerized Procedure (CP) to STPN has been also developed. The formal verification and validation methods of CP with STPN increase the safety of a nuclear power plant and provide digital quality assurance means that are needed when the role and function of the CPS is increasing.

• Smart Structures and Systems
• /
• v.6 no.1
• /
• pp.1-16
• /
• 2010

This paper presents a novel smart MEMS accelerometer which employs a hybrid control algorithm and an estimator. This scheme is realized by adding a sliding-mode controller to a conventional PID closed loop system to achieve higher stability and higher dynamic range and to prevent pull-in phenomena by preventing finger displacement from passing a maximum preset value as well as adding an adaptive nonlinear observer to a conventional PID closed loop system. This estimator is used for online estimation of the parameter variations for MEMS accelerometers and gives the capability of self testing to the system. The analysis of convergence and resolution show that while the proposed control scheme satisfies these criteria it also keeps resolution performance better than what is normally obtained in conventional PID controllers. The performance of the proposed hybrid controller investigated here is validated by computer simulation.

• 제어로봇시스템학회:학술대회논문집
• /
• 2002.10a
• /
• pp.60.6-60
• /
• 2002

$\textbullet$ Introduction $\textbullet$ Modeling of a Piezoelectric Actuator $\textbullet$ Inverse Hysteresis Modeling and Linearization $\textbullet$ Controller Design: PID plus Repetitive Controller $\textbullet$ Simulation Results $\textbullet$ Conclusion