• Title/Summary/Keyword: Discrete event based modeling & simulation

Search Result 95, Processing Time 0.028 seconds

Mutual Verification of an Analytic Model of a Complex System and Space Syntax Using Network Analyses (네트워크 분석방식 선택에 따른 복잡계 모형과 공간구문론의 상호검증)

  • Kim, Suk-Tae;Yoon, So-hee
    • Korean Institute of Interior Design Journal
    • /
    • v.26 no.3
    • /
    • pp.45-54
    • /
    • 2017
  • A social phenomenon that occurs in a physical space is said to be a complex system. However, space syntax, which is commonly employed by researchers to identify such social phenomena, has various limitations in interpreting their complexity. On the other hand, agent-based modeling considers a variety of factors including the personality of the agent, objective-oriented work flows, estimation according to time flows and better prediction of space use through diverse parameters depending the situation, as well as the characteristics of the space. The agent-based method thus has the potentials to be developed as an alternative to space syntax techniques. In particular, discrete event driven simulation(DEVS), which is part of the agent-based modeling method, embraces the concept of networks just like space syntax, which allows a possible theoretical linkage in the future. This study suggests a procedural model of agent-based DEVS reflecting two different connection methods, i.e. connections between adjacent areas and those of the entire space, and attempts to identify the relationship between the local and regional indices of space syntax. A number of spaces were selected as examples-one for a preliminary experiment and eight modified for the main experiment-and space syntax and DEVS were applied to each of them. The comparative analysis of the results led to the conclusions as follows: 1) Adjacent connections were closely related to local indices, while the whole-space approach to regional indices. Local integration shows both characteristics. 2) Observation of the time flow model indicated a faster convergence with the range of 1 to 3-fold of the total time of one lap, with the error of less than 10%. 3) The heat map analysis showed more obvious characteristics of using the space for the entire space rather than adjacent connections. 4) Space syntax shows higher eligibility than ABM.

Simulation-based Network Vulnerability Analysis Using the SIMVA (SIMVA를 이용한 시뮬레이션 기반의 네트워크 취약성 분석)

  • You Yong-Jun;Lee Jang-Se;Chi Sung-Do
    • Journal of the Korea Society for Simulation
    • /
    • v.13 no.3
    • /
    • pp.21-29
    • /
    • 2004
  • The major objective of this paper is to analyze network vulnerabilities using the SIMVA (SIMualtion-based Vulnerability Analyzer). SIMVA is capable of monitor network status and analyze vulnerabilities automatically. To do this, we have employed the advanced modeling and simulation concepts such as SES/MB (System Entity Structure / Model Base) framework, DEVS (Discrete Event System Specification) formalism, and experimental frame for developing network security models and simulation-based analysis of vulnerability. SIMVA can analyze static vulnerability as well as dynamic vulnerability consistently and quantitatively. In this paper, we verified and tested the capability of application of SIMVA by slammer worm attack scenario.

  • PDF

Performance Modeling and Analysis of ATM-based Network System Using DEVS Methodology

  • Lee, Kyon-Ho;Kim, Tag-Gog;Lee, Joon-Won
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.24 no.7B
    • /
    • pp.1279-1288
    • /
    • 1999
  • DEVSim++ is a C++ based, object-oriented modeling/simulation environment which realizes the hierarchical, modular DEVS formalism for discrete event systems specification. The paper describes a methodology for performance modeling and analysis of an ATM-based network system within the DEVSim++ environment. The methodology develops performance models for the system using the DEVS framework and implement the models in C++. Performance indices measured are the length of queues located at connection of the system and cell waiting times with respect to QoS grades for a network bandwidth of 155 Mbps.

  • PDF

A simulation of production planning strategies for the improvement of a manufacturing process (제조공정 개선을 위한 생산계획 평가 시뮬레이션)

  • 고종영
    • Journal of the Korea Society for Simulation
    • /
    • v.8 no.2
    • /
    • pp.87-100
    • /
    • 1999
  • A manufacturing environment without a computerized system causes numerous problems, since many important decisions are made based on the experience of veteran staffs. Especially, when a strategy for the improvement of manufacturing efficiency is considered, it is hard to predict the effect of the strategy. A solution to the problem without large investment of the computerized system is the simulation study. This paper shows the modeling and simulation based on DEVS(Discrete Event System Specification). Two types of models are implemented, one for representing the current production strategy and the other for the new strategy. The new strategy is expressed as priority rules within the model. The process in concern is the metal grating production process in which the size of the group, for applying a specific cutting and scheduling strategies, is one of the important factors in improving the production efficiency. Some reliable criteria for the evaluation related to the production effeciency are established from the simulation study.

  • PDF

Quality of Service Assurance Model for AMR Voice Traffic in Downlink WCDMA System (순방향 WCDMA 채널에서 AMR 음성 트래픽의 품질 보증 모델)

  • Jung, Sung Hwan;Hong, Jung Wan;Lie, Chang Hoon
    • Journal of Korean Institute of Industrial Engineers
    • /
    • v.33 no.2
    • /
    • pp.191-200
    • /
    • 2007
  • We propose the QoS (Quality of Service) assurance model for AMR (Adaptive MultiRate) voice users considering the capacity and service quality jointly in downlink WCDMA system. For this purpose, we introduce a new system performance measure and the number-based AMR mode allocation scheme. The proposed number-based AMR mode allocation can be operated only with the information of total number of ongoing users. Therefore, it can be more simply implemented than the existing power-based allocation. The proposed system performance measure considers the stochastic variations of AMR modes of ongoing users and can be analytically obtained using CTMC (Continuous Time Markov Chain) modeling. In order to validate the proposed analytical model, a discrete event-based simulation model is also developed. The performance measure obtained from the analytical model is in agreement with the simulation results and is expected to be useful for parameter optimization.

Modeling and Simulation of Ship Panel-block Assembly Line Using Petri Nets (Petri Nets을 이용한 조선소 패널 블록 조립 라인의 모델링과 시뮬레이션)

  • Han, Sang-Dong;Ryu, Cheol-Ho;Shin, Jong-Gye;Lee, Jong-Kun
    • Korean Journal of Computational Design and Engineering
    • /
    • v.13 no.1
    • /
    • pp.36-44
    • /
    • 2008
  • This paper proposes a modeling and simulation process of a panel production line (PPL) in a shipyard. The panel production line is an assembly process to produce a main panel of a flat block and a curved block. In this paper, its activity analysis is carried out using expression of IDEF0, and its process is qualitatively and quantitatively analyzed and modeled by Petri Nets. A commercial discrete event simulation tool, $QUEST^{TM}$, is used for virtual PPL and simulation. The modeling results by Petri Net are mapped to elements of the simulation tool. Finally, an integrated simulation environment of PPL is implemented in order to efficiently utilize the virtual PPL model. With the help of IDEF0 and Petri Nets, we could systematically analyze and describe the PPL process that are characterized as being concurrent, asynchronous, distributed, parallel, nondeterministic, and/or stochastic. Also, the dynamic and concurrent activities of a PPL system were able to be simulated. A timing concept can be included into the Petri nets model to evaluate performance and dependability issues of the system.

A Method for Generating a Plant Model Based on Log Data for Control Level Simulation (제어시뮬레이션을 위한 생산시스템 로그데이터 기반 플랜트 모델 생성 방법)

  • Ko, Minsuk;Cheon, Sang Uk;Park, Sang Chul
    • Korean Journal of Computational Design and Engineering
    • /
    • v.18 no.1
    • /
    • pp.21-27
    • /
    • 2013
  • Presented in the paper is a log data based modeling method for effective construction of a virtual plant model which can be used for the virtual PLC (Programmable Logic Controller) simulation. For the PLC simulation, the corresponding virtual plant, consisting of virtual devices, is required to interact with the input and output symbols of a PLC. In other words, the behavior of a virtual device should be the same as that of the real device. Conventionally, the DEVS (Discrete Event Systems Specifications) formalism has been used to represent the behavior a virtual device. The modeling using DEVS formalism, however, requires in-depth knowledge in the simulation area, as well as the significant amount of time and efforts. One of the key ideas of the proposed method is to generate a plant model based on the log data obtained from the production system. The proposed method is very intuitive, and it can be used to generate the full behavior model of a virtual device. The proposed approach was applied to an AGV (Automated Guided Vehicle).

Modeling and Simulation of the Cardiovascular System using DEVS formalism (DEVS 형식론을 적용한 심혈관 시스템의 모델링 및 시뮬레이션)

  • Cho, Y.J.;Son, K.S.;Nam, K.G.;Lee, Y.W.;Kim, K.N.;Choi, B.C.;Jun, K.R.
    • Proceedings of the KOSOMBE Conference
    • /
    • v.1996 no.11
    • /
    • pp.74-79
    • /
    • 1996
  • This paper describes a methodology for the development of models of discrete event system(DES). The methodology is based on transformation of continuous state space into discrete one to homomorphically represent dynamics of continuous processes in discrete events. This paper proposes a formal structure which can couple DES models within a framework. The structure employs the DEVS formalism for the DES models. The proposed formal structure has been applied to develop a DEVS model for the human cardiovascular system. For this, the cardiac cycle is partitioned into a set of phases based on events identified through VisSim simulation in the CS of the electrical analog model. VisSim is the simulation tool of visual environment for developing continuous, discrete, and hybrid system models and performing dynamic simulation. For each phase, a CS of the electrical analog model for the cardiovascular system has been simulated by VisSim 2.0. To validate this model, first develop the DEVS model, then simulate the model in the DEVSIM++ environment. It has same simulation results for the data obtained from the CS simulation using VisSim. The comparison shows that the DEVS model represents dynamics of the human heart system at each phase of cardiac cycle.

  • PDF

Discrete Event Simulation with Embedded Distributed Expert System: Application to Manufacturing Process Monitoring and Diagnosis (분산 전문가 시스템의 기능을 갖는 이산사건 시뮬레이션: 제조 공정 오류 감지와 진단에의 적용)

  • 조대호
    • Journal of the Korea Society for Simulation
    • /
    • v.7 no.2
    • /
    • pp.137-152
    • /
    • 1998
  • One of the components that constitute the simulation models is the state variables whose values are determined by the time related simulation process. Embedding rule-based expert systems into the simulation models should provide a systematic way of handling these time-dependent variables without distracting the essential problem solving capabilities of the expert systems which are well suited for expressing the decision making function of complex cases. The expert system, however, is inefficient in dealing with the time elapsing characteristics of target system compare to the simulation models. To solve the problem, this paper provides an interruptible inference engine whose inferencing process can be interrupted when the variables' value, which are used as the parameters of the rules, are not yet determined due to the time dependent nature of the state variables. The process is resumed when the variables are ready. The elapse of time is calculated by time-advance function of the simulation model to which the expert system has been embedded. The example modeling shown exploits the embedded interruptible inferencing capability for the controlling and monitoring of metal grating process.

  • PDF

Development of a Petri-net-based Simulation Software for Performance Evaluation of the System with Blocking and Deadlock (봉쇄와 교착이 존재하는 시스템의 성능분석을 위한 페트리-네트 기반 모의실험 소프트웨어 개발)

  • 박찬우;황상철;이효성
    • Journal of the Korea Society for Simulation
    • /
    • v.9 no.1
    • /
    • pp.67-81
    • /
    • 2000
  • In this paper, a new software package for modeling and simulating discrete-event dynamic systems is developed. The new software is a general-purpose, graphical tool based on timed Petri-nets and is developed using Visual Basic and Visual C++ for the window environment. It allows the user to graphically build a Petri-net model and enter input data for executing the Petri-net simulation model. It is equipped with a deadlock detection and recovery function as well as an automatic error check function. In addition, the software supports various enabling functions and distribution functions and provides various statistics for the performance measures of interests pertaining to the system. We expect the new software will be used in a wide number of applications including computer, communication and manufacturing systems.

  • PDF