• ETRI Journal
• /
• v.37 no.1
• /
• pp.175-185
• /
• 2015

This paper presents a system-of-systems (SoS) approach to the formal modeling of a cyber-physical system (CPS) for simulation-based analysis. The approach is based on a convergence technology for modeling and simulation of a highly complex system in which SoS modeling methodology, hybrid systems modeling theory, and simulation interoperation technology are merged. The methodology maps each constituent system of a CPS to a disparate model of either continuous or discrete types. The theory employs two formalisms for modeling of the two model types with formal specification of interfaces between them. Finally, the technology adapts a simulation bus called DEVS BUS whose protocol synchronizes time and exchange messages between subsystems simulation. Benefits of the approach include reusability of simulation models and environments, and simulation-based analysis of subsystems of a CPS in an inter-relational manner.

• Nuclear Engineering and Technology
• /
• v.41 no.5
• /
• pp.739-746
• /
• 2009

This paper introduces facility operation modeling and simulation based primarily on a discrete event system modeling scheme. Many modern industrial facilities are so complex that their operational status cannot be estimated by simple calculations. In general, a facility can consist of many processes and transfers of material between processes that may be modeled as a discrete event system. This paper introduces the current status of studies on operation modeling and simulation for typical nuclear facilities, along with some examples. In addition, this paper provides insights about how a discrete event system can be applied to a model for a nuclear facility. A headend facility is chosen for operation modeling and the simulation, and detailed procedure is thoroughly described from modeling to an analysis of discrete event results. These kinds of modeling and simulation are very important because they can contribute to facility design and operation in terms of prediction of system behavior, quantification of facility capacity, bottleneck identification and efficient operation scheduling.

• Journal of the Korea Society for Simulation
• /
• v.4 no.1
• /
• pp.87-97
• /
• 1995

Simulation techniques are used to improve the productivity of a textile factory. A simulation model is developed for the analysis of investment for dyeing process equipment, such as dryers and bleachers. For modeling and analysis, AIM (Analyzer for Improving Manufacturing) is used. AIM is a manufacturing oriented simulation software developed by Pritsker Corp. AIM provides interactive model building and simulation, automatic animation, and powerful graphic outputs. thereby, drastically reducing modeling efforts and also enhancing communication capabilities.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2005.11a
• /
• pp.171-179
• /
• 2005

Computer virus modeling and simulation research has been conducted with focus on the network vulnerability analysis. However, computer virus generally shows the biological virus characters such as proliferation, reproduction and evolution. Therefore it is necessary to research the computer virus modeling and simulation using Artificial Life. The approach of computer modeling and simulation using the Artificial Life technology Provides the efficient analysis method for the effects on the network by computer virus and the behavioral mechanism of the computer virus. Hence this paper proposes the methodology of computer virus modeling and simulation using Artificial Life, which may be contribute the research on the computer virus vaccine.

• Journal of Industrial Technology
• /
• v.27 no.A
• /
• pp.149-155
• /
• 2007

The counter emf(electromotive forces) of a permanent magnet multi-phase brushless motor is generally a non-sinusoidal wave or a non-ideal trapezoid. So, conventional modeling using a sinusoidal wave or an ideal trapezoid counter emf can result in errors. In order to reduce modeling errors for simulation and analysis the properties of a multi-phase brushless AC motor, this paper proposes a phase variable model that is a mixed modeling technique using both Finite Element Analysis(FEA) based circuits and motor voltage equations. The phase model parameters including the counter emf voltage waveform are obtained by using of FEA, and the mixed modeling technique based on circuits and equations is used to implement a simulation model for multi-phase brushless AC motors with any counter emf voltage waveforms. Adequacy of the proposed model is established from the simulation and experimental results for a seven-phase brushless motor.

• The Transactions of the Korean Institute of Electrical Engineers P
• /
• v.62 no.3
• /
• pp.151-158
• /
• 2013

Large generator of power plant is very important. In order to protect large generator from faults, digital protective relay or IED is required. However, all protective relays for generators of the domestic power plant are operated by foreign products. And now, for technological independence from foreign and improvement of import substitution effect, IEDs using domestic technology are being developed. To evaluate performance of developing next-generation power devices, the study of the dynamic characteristics of the power plant, generator system modeling, fault simulation and analysis, should be considered. Specially, To obtain IEEE Standards COMTRADE format for relay operation test, generator system modeling and fault simulation using PSCAD/EMTDC tools must be preceded. Until now, a complete modeling of generator internal windings and fault simulation techniques dose not exist. In this paper, for evaluation performance of relay elements of developing IED, the generator system modeling and various faults simulation using PSCAD/EMTDC tools were performed. And then, the various transient phenomena through obtained relaying signal of developed modeling were analyzed.

• Journal of Korean Society of Transportation
• /
• v.14 no.1
• /
• pp.101-116
• /
• 1996

Increased attention has been paid in recent years to the need of traffic management for alleviating urban traffic congestion. This paper presents a discrete event modeling and simulation framework for analyzing the traffic flow. Traffic simulation models can be classified as being either microscopic and macroscopic models. The discrete event modeling and simulation technique can be basically employed to describe the macroscopic traffic simulation model. To do this, we have employed the System Entity Structure/Model Base (SES/MB) framework which integrates the dynamic-based formalism of simulation with the symbolic formalism of AI. The SES/MB framework supports to hierarchical, modular discrete event modeling and simulation environment. We also adopt the Symbolic DEVS (Discrete Event System Specification) to developed the automated analysis methodology for generating optimal signal light policy. Several simulation tests will demonstrates the techniques.

• Journal of the Korea Society for Simulation
• /
• v.15 no.4
• /
• pp.1-10
• /
• 2006

Computer virus modeling and simulation research has conducted with focus on the network vulnerability analysis. But computer virus shows the biological virus characters such as proliferation, reproduction and evolution. Therefore it is necessary to research the computer virus modeling and simulation using the Artificial life technique. The approach of computer modeling and simulation using Artificial life provides the analysis method about the effects on the network by computer virus and the behavior mechanism of computer virus. Hence this paper proposes the methodology of computer virus modeling and simulation using Artificial life, which is effected to contribute the research on the computer virus vaccine.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1997.10a
• /
• pp.90-93
• /
• 1997

This paper presents a new methodology for business process simulation modeling and analysis based on role-oriented modeling concept. The proposed methodology allows for tracking people and their roles affected by reengineering the business process. It enables one to analyze and evaluate not only work flow, but roles that are part of the flow. A simulator based on this methodology is developed to systematically construct simulation models and conduct simulations easily and efficiently.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.56 no.12
• /
• pp.2091-2097
• /
• 2007

This paper described the verification of modeling technique of underground distribution from comparison between field test and simulation. It needs more exact transient phenomenon analysis model to establish lightning protection of underground distribution line. Although, there were a lot of transient phenomenon researches, nobody could has verified the confidence of modeling from field tests in interior until now. So, simulation model verified field test is needed to analyse transient phenomenon of underground distribution system. The examination must be accomplished in many different condition before suggesting these verified analysis model. In this paper, the conditions were examined and the various data results on the different line composition was compared with the EMTP simulation, when the lightning impulse test was accomplished at underground distribution line. Also the value between field test and simulation was very closed and the method of modeling has demonstrated confidence, when the method is used to analyse domestic transient phenomenon of underground distribution.