• ETRI Journal
• /
• 제37권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
• /
• 제41권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.

• 한국시뮬레이션학회논문지
• /
• 제4권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.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2005년도 추계학술대회 및 정기총회
• /
• 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.

• 산업기술연구
• /
• 제27권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.

• 전기학회논문지P
• /
• 제62권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.

• 대한교통학회지
• /
• 제14권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.

• 한국시뮬레이션학회논문지
• /
• 제15권4호
• /
• pp.1-10
• /
• 2006

컴퓨터 바이러스의 모델링 및 시뮬레이션에 관한 연구는 주로 네트워크 취약성 분석에 초점이 맞추어져 있었다. 그러나 컴퓨터 바이러스는 생물학적인 관점에서 분석되어 질 수 있다고 생각하여, 인공생명 기술을 이용하여 컴퓨터 바이러스를 분석하였다. 이 연구를 통해 컴퓨터 바이러스로 인해 네트워크에 미칠 영향과 행동 메커니즘을 이해할 수 있을 것이다. 본 논문에서는 인공생명을 이용한 컴퓨터 바이러스의 모델링 및 시뮬레이션 방법론을 제안한다. 이를 통해 컴퓨터 바이러스 백신의 연구에도 영향을 줄 수 있다.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회 1997년도 추계학술대회발표논문집; 홍익대학교, 서울; 1 Nov. 1997
• /
• 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.

• 전기학회논문지
• /
• 제56권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.