• Title, Summary, Keyword: Modeling & Simulation

Search Result 5,897, Processing Time 0.103 seconds

Framework for Component-based Modeling/Simulation of Discrete Event Systems

  • Cho, Young-Ik;Kim, Jae-Hyun;Kim, Tag-Gon
    • Proceedings of the Korea Society for Simulation Conference
    • /
    • /
    • pp.484-484
    • /
    • 2001
  • The sophistication of current software applications results in the increasing cost fur software development time. The component-based software development framework is proposed to overcome the difficulty and time-consuming requirements by modularity and reusability. As is the general software case, a component-based simulation framework encourages the reusability of the real system model based on the modularity of the applied simulation methodology. This paper presents a component-based simulation environment that is based on the DEVS/COM run-time infrastructure. The DEVS (Discrete Event System Specification) formalism provides a formal modeling and simulation framework for the generic dynamic systems [1] and Microsoft's COM (Component Object Model) is one of the strongest competitor fur the component standard. The reusability by the DEVS/COM simulation environment saves model development time remarkably and component technology make simulator itself to be a subparts of real application.

  • PDF

VRML as a Modeling Language for 3D Visual Interactive Simulation (3차원 대화형 시뮬레이션 모델기술언어로서의 VRML)

  • 김형도
    • Journal of the Korea Society for Simulation
    • /
    • v.6 no.1
    • /
    • pp.15-24
    • /
    • 1997
  • VRML (Virtual Reality Modeling Language) is an Web-based standard for modeling 3D spaces and provides applications with 3D interactive interfaces. With its recent upgrade, it supports events, routes, scripts, and other behavior modeling constructs. This paper approaches VRML as a simulation modeling language. This approach promotes the sharing and distribution of simulation results and demonstration among distributed users as well as efficient modeling of systems through the direct mapping of 3D objects and behaviors. This paper analyzes the behavior modeling constructs of VRML, presents effective modeling alternatives through the modeling of a simple material processing system, and discusses the upgrade direction of VRML as a foundation for distributed interactive simulation system.

  • PDF

Attacker and Host Modeling for Cyber-Attack Simulation (사이버 공격 시뮬레이션을 위한 공격자 및 호스트 모델링)

  • 정정례;이장세;박종서;지승도
    • Journal of the Korea Society for Simulation
    • /
    • v.12 no.2
    • /
    • pp.63-73
    • /
    • 2003
  • The major objective of this paper is to propose the method of attacker and host modeling for cyber-attack simulation. In the security modeling and simulation for information assurance, it is essential the modeling of attacker that is able to generate various cyber-attack scenarios as well as the modeling of host, which is able to represent behavior on attack concretely The security modeling and simulation, which was announced by Cohen, Nong Ye and etc., is too simple to concretely analyze attack behavior on the host. And, the attacker modeling, which was announced by CERT, Laura and etc., is impossible to represent complex attack excepting fixed forms. To deal with this problem, we have accomplished attacker modeling by adopted the rule-based SES which integrates the existing SES with rule-based expert system for synthesis and performed host modeling by using the DEVS formalism. Our approach is to show the difference from others in that (ⅰ) it is able to represent complex and repetitive attack, (ⅱ) it automatically generates the cyber-attack scenario suitable on the target system, (ⅲ) it is able to analyze host's behavior of cyber attack concretely. Simulation tests performed on the sample network verify the soundness of proposed method.

  • PDF

System of Systems Approach to Formal Modeling of CPS for Simulation-Based Analysis

  • Lee, Kyou Ho;Hong, Jeong Hee;Kim, Tag Gon
    • 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.

Comparison between General X-ray Tube Modeling and Apply Energy-spectrum by MCNPX Simulation (MCNPX 시뮬레이션을 이용한 엑스선관 모델링 비교)

  • Jung, Jae-Hong;Lee, Jun-Jae;Lee, Woo-Pil;Ahn, Hyun-Jun;Kim, Sang-Hyun
    • Journal of Radiation Industry
    • /
    • v.12 no.3
    • /
    • pp.209-216
    • /
    • 2018
  • The MCNPX (Monte Carlo N-Particle Extended) is a program defined as the simulation using a stochastic system for decision making in an uncertain situation. In this study, general X-ray tube modeling and apply energy-spectrum were compared physical characteristics including the photon fluence, percent depth dose (PDD) and energy-spectrum. For photon fluence, X-ray tube modeling was lower than apply energy-spectrum modeling. For PDD and energy-spectrum, X-ray tube modeling was similar to other modeling. However, simulation time at X-ray tube modeling was higher than other modeling. Consequently, apply energy-spectrum modeling could be useful in terms of simulation time with reliability in MCNPX simulation.

A Study on Discrete-Continuous Modeling Methodology for Supply Chain Simulation (공급사슬시뮬레이션을 위한 이산-연속 모델링 방법에 관한 연구)

  • 김서진;이영해
    • Proceedings of the Korea Society for Simulation Conference
    • /
    • /
    • pp.142-149
    • /
    • 2000
  • Most of supply chain simulation models have been developed on the basis of discrete-event simulation. Since supply chain systems are neither completely discrete nor continuous, the need of constructing a model with aspects of both discrete-event simulation and continuous is provoked, resulting in a combined discrete-continuous simulation. Continuous simulation concerns the modeling over time of a system by a representation in which the state variables change continuously with respect to time. In this paper, an architecture of combined modeling for supply chain simulation is proposed, which presents the equation of continuous part in supply chain and how these equations are used supply chain simulation models. A simple supply chain model is demonstrated the possibility and the capability of this approach.

  • PDF

A Framework Development for BIM-based Object-Oriented Physical Modeling for Building Thermal Simulation (객체지향 물리적 모델링 기법을 활용한 BIM기반 통합 건물에너지 성능분석 모델 구축 및 활용을 위한 프레임워크 개발 - 건물 열부하 시뮬레이션 중심으로 -)

  • Jeong, WoonSeong
    • KIEAE Journal
    • /
    • v.15 no.5
    • /
    • pp.95-105
    • /
    • 2015
  • Purpose: This paper presents a framework development for BIM (Building Information Modeling)-based OOPM (Object-Oriented Physical Modeling) for Building Thermal Simulation. The framework facilitates decision-making in the design process by integrating two object-oriented modeling approaches (BIM and OOPM) and efficiently providing object-based thermal simulation results into the BIM environment. Method: The framework consists of a system interface between BIM and OOPM-based building energy modeling (BEM) and the visualization of simulation results for building designers. The interface enables a BIM models to be translated into OOPM-based BEM automatically and the thermal simulation from the created BEM model immediately. The visualization module enables the simulation results to be presented in BIM for building designers to comprehend the relationships between design decisions and the building performances. For the framework implementation, we utilized the Modelica Buildings Library developed by the Lawrence Berkeley National Laboratory as a thermal simulation solver. We also conducted an experiment to validate the framework simulation results and demonstrate our framework. Result: This paper demonstrates a new methodology to integrate BIM and OOPM-based BEM for building thermal simulation, which enables an automatic translation BIM into OOPM-based BEM with high efficiency and accuracy.

DISCRETE EVENT SYSTEM SIMULATION APPROACH FOR AN OPERATION ANALYSIS OF A HEADEND PROCESS FACILITY

  • Lee, Hyo-Jik;Kim, Sung-Hyun;Park, Byung-Suk
    • 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.

Hierarchical Modeling Methodology for Contraint Simulations (제약조건이 있는 시뮬레이션을 위한 계층적 모델링 방법론)

  • 이강선
    • Journal of the Korea Society for Simulation
    • /
    • v.9 no.4
    • /
    • pp.41-50
    • /
    • 2000
  • We have many simulation constraints to meet as a modeled system becomes large and complex. Real-time simulations are the examples in that they are constrained by certain non-function constraints (e.g., timing constraints). In this paper, an enhanced hierarchical modeling methodology is proposed to efficiently deal with constraint-simulations. The proposed modeling method enhances hierarchical modeling methods to provide multi-resolution model. A simulation model is composed by determining the optimal level of abstraction that is guaranteed to meet the given simulation constraints. Four modeling activities are defined in the proposed method: 1) Perform the logical architectural design activity to produce a multi-resolution model, 2) Organize abstraction information of the multi-resolution model with AT (Abstraction Tree) structure, 3) Formulate the given constraints based on U (Integer Programming) approach and embrace the constraints to AT, and 4) Compose a model based on the determined level of abstraction with which the multi-resolution model can satisfy all given simulation constraints. By systematically handling simulation constraints while minimizing the modeler's interventions, we provide an efficient modeling environment for constraint-simulations.

  • PDF

Worm Virus Modeling and Simulation Methodology Using Artificial Life. (인공생명기반의 웜 바이러스 모델링 및 시뮬레이션 방법론)

  • Oh Ji-yeon;Chi Sung-do
    • Proceedings of the Korea Society for Simulation Conference
    • /
    • /
    • 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.

  • PDF