• 제목/요약/키워드: behavior modeling and simulation

검색결과 648건 처리시간 0.022초

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

  • 정정례;이장세;박종서;지승도
    • 한국시뮬레이션학회논문지
    • /
    • 제12권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

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

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

광대역 통신망 시뮬레이션을 위한 객체지향 모델링 (Object-oriented Modeling for Broadband Network Simulation)

  • 이영옥
    • 한국시뮬레이션학회논문지
    • /
    • 제3권1호
    • /
    • pp.151-165
    • /
    • 1994
  • Broadband network based on the Asynchronous Transfer Mode(ATM) concept are becoming the target technology for the emerging Broadband Integrated Services Digital Network(B-ISDN). Since B-ISDN is very complex and requites a great amount of investment, optimum design and performance analysis of such systems are very important. Simulation can be widely used to analyze and examine the broadband network behavior. However, for the complicated system like broadband networks it is extremely difficult and time-consuming to develop a complete model for simulation. In this paper, an object-oriented modeling approach for the broadband network simulation is presented for the effective and efficient modeling. Object-oriented approaches can provide a good structuring capability for complicated simulation models and facilitate the development of reusable and extensible simulation models. We have developed an object-oriented model which consists of object model and behavior model. In the object mode., the components of the broadband network and both constant bit rate(CBR) and variable bit rate(VBR) traffic types of call level, burst level, and cell level are modeled as object classes. In the behavior model, the dynamic features for each object class are represented using the state transition diagram. It has been shown by illustration that objectoriented modeling is an effective tool for modeling the complicated B-ISDN.

  • PDF

파라미터 행위 모델링 기법을 이용한 전쟁게임 시뮬레이션 (War Game Simulation Using Parametric Behavior Modeling Method)

  • 김재현;김탁곤;이완복
    • 한국콘텐츠학회논문지
    • /
    • 제6권11호
    • /
    • pp.126-134
    • /
    • 2006
  • 기존의 객체지향 통합 모델링 방법은 전쟁게임 모델을 두 계층으로 구분하여 개발할 수 있는데, 상위계층에서는 객체의 추상화된 행위를 모델링하며 하위계층에서는 모델의 세부적인 행위를 표현하게 된다. 이 방법에서는 시뮬레이션 전문가와 군 관련 전문가가 각각의 계층에서 별도로 작업을 할 수 있는 장점이 있다. 본 논문에서는 통합 모델링을 발전시킨 파라미터 행위 모델링 방법을 이용하여 전쟁 게임 시뮬레이터를 구축할 수 있는 방안을 제시한다. 제안한 방법에서는 군 관련 전문가 또는 사용자가 모델링 방법에 대하여 별도의 지식이 없이도 새로운 알고리즘이나 전략을 시뮬레이터에 추가하거나 수정할 수 있는 장점이 있다. 제안한 방법의 효용성을 보이기 위해 구현된 해군 군함의 전쟁게임 시뮬레이터를 구체적으로 소개한다.

  • PDF

국방 M&S의 가상군 행위 모델링 방법론 연구: 조사와 미래방향을 중심으로 (The Study on CGF Behavior Modeling Methodologies for Defense M&S: Focusing on Survey and Future Direction)

  • 조남석;문호석;변재정
    • 한국시뮬레이션학회논문지
    • /
    • 제29권2호
    • /
    • pp.35-47
    • /
    • 2020
  • 인구수 감소와 국방개혁으로 인한 병력 감축, 4차 산업혁명 기술의 초고도화에 따른 기술적 요인으로 국방 M&S의 개체를 자동화 모의하는 것은 이제 군의 현실적인 목표가 되었다. 자동화 모의 기술의 사용자인 군과 기술을 개발해야 하는 공학자들의 공통된 방향설정이 필요한 시점이다. 본 연구는 향후 국방 M&S의 자동화 모의 연구를 위한 가이드라인을 제시한다. 이를 위해, 먼저 자동화 모의를 가능하게 방법론들 규칙-기반방법, 에이전트-기반방법, 학습-기반방법에 대해 논의하고, 이어서 이러한 방법론을 어떠한 방향으로 개발해야 하는지에 대해 논의한다. 연구를 통해 국방 M&S의 자동화 모의 기술 연구가 본격화 되고, 군과 개발자 사이의 간극이 좁혀지기를 기대한다.

Solution verification procedures for modeling and simulation of fully coupled porous media: static and dynamic behavior

  • Tasiopoulou, Panagiota;Taiebat, Mahdi;Tafazzoli, Nima;Jeremic, Boris
    • Coupled systems mechanics
    • /
    • 제4권1호
    • /
    • pp.67-98
    • /
    • 2015
  • Numerical prediction of dynamic behavior of fully coupled saturated porous media is of great importance in many engineering problems. Specifically, static and dynamic response of soils - porous media with pores filled with fluid, such as air, water, etc. - can only be modeled properly using fully coupled approaches. Modeling and simulation of static and dynamic behavior of soils require significant Verification and Validation (V&V) procedures in order to build credibility and increase confidence in numerical results. By definition, Verification is essentially a mathematics issue and it provides evidence that the model is solved correctly, while Validation, being a physics issue, provides evidence that the right model is solved. This paper focuses on Verification procedure for fully coupled modeling and simulation of porous media. Therefore, a complete Solution Verification suite has been developed consisting of analytical solutions for both static and dynamic problems of porous media, in time domain. Verification for fully coupled modeling and simulation of porous media has been performed through comparison of the numerical solutions with the analytical ones. Modeling and simulation is based on the so called, u-p-U formulation. Of particular interest are numerical dispersion effects which determine the level of numerical accuracy. These effects are investigated in detail, in an effort to suggest a compromise between numerical error and computational cost.

Computationally efficient 3D finite element modeling of RC structures

  • Markou, George;Papadrakakis, Manolis
    • Computers and Concrete
    • /
    • 제12권4호
    • /
    • pp.443-498
    • /
    • 2013
  • A detailed finite element modeling is presented for the simulation of the nonlinear behavior of reinforced concrete structures which manages to predict the nonlinear behavior of four different experimental setups with computational efficiency, robustness and accuracy. The proposed modeling method uses 8-node hexahedral isoparametric elements for the discretization of concrete. Steel rebars may have any orientation inside the solid concrete elements allowing the simulation of longitudinal as well as transverse reinforcement. Concrete cracking is treated with the smeared crack approach, while steel reinforcement is modeled with the natural beam-column flexibility-based element that takes into consideration shear and bending stiffness. The performance of the proposed modeling is demonstrated by comparing the numerical predictions with existing experimental and numerical results in the literature as well as with those of a commercial code. The results show that the proposed refined simulation predicts accurately the nonlinear inelastic behavior of reinforced concrete structures achieving numerical robustness and computational efficiency.

자치적 방어 시스템을 위한 모델베이스기반 설계 (Model-based Design for Autonomous Defense Systmes)

  • 이종근
    • 한국시뮬레이션학회논문지
    • /
    • 제8권1호
    • /
    • pp.89-99
    • /
    • 1999
  • The major objective of this research is to propose a design architecture for autonomous defense systems for supporting highly intelligent behavior by combining decision, perception, and action components. Systems with such high levels of autonomy are critical for advanced battlefield missions. By integrating a plenty of advanced modeling concepts such as system entity structure, endomorphic modeling, engine-based modeling, and hierarchical encapsulation & abstraction principle, we have proposed four layered design methodology for autonomous defense systems that can support an intelligent behavior under the complicated and unstable warfare. Proposed methodology has been successfully applied to a design of autonomous tank systems capable of supporting the autonomous planning, sensing, control, and diagnosis.

  • PDF

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
    • /
    • 제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.

판재성형 해석시 금형내의 공기거동 모델링 (Modeling the Behavior of Trapped Air in Die Cavity During Sheet Metal Forming)

  • 최광용;김헌영
    • 소성∙가공
    • /
    • 제20권5호
    • /
    • pp.377-386
    • /
    • 2011
  • During stamping processes, the air trapped between sheet metal and the die cavity can be highly compressed and ultimately reduce the shape accuracy of formed panels. To prevent this problem, vent holes and passages are sometimes drilled into the based on expert experience and know-how. CAE can be also used for analyzing the air behavior in die cavity during stamping process, incorporating both elasto-plastic behavior of sheet metal and the fluid dynamic behavior of air. This study presents sheet metal forming simulation combined simultaneously with simulation of air behavior in the die cavity. There are three approaches in modeling of air behavior. One is a simple assumption of the bulk modulus having a constant pressure depending on volume change. The next is the use of the ideal gas law having uniform pressure and temperature in air domain. The third is FPM (Finite point method) having non-uniform pressure in air domain. This approach enables direct coupling of mechanical behavior of solid sheet metal and the fluid behavior of air in sheet metal forming simulation, and its result provides the first-hand idea for the location, size and number of the vent holes. In this study, commercial software, PAM-$STAMP^{TM}$ and PAM-$SAFE^{TM}$, were used.