• 전자통신동향분석
• /
• 제28권2호
• /
• pp.29-37
• /
• 2013

최근 임베디드 제어 시스템의 규모와 복잡도가 폭발적으로 증가함에 따라, 단일 시스템을 대상으로 하는 기존 M&S(Modeling & Simulation) 기반의 SW 개발 기술은 한계에 부딪히게 되었다. 이에 본고에서는 네트워크 기반 복합 임베디드 제어 시스템의 고신뢰 SW 개발을 위한 M&S 기술 동향을 소개한다. 먼저 모델링 단계에서 복합 시스템의 이종성을 다루기 위한 모델링 기술과 대표적인 도구를 소개하고, 다음으로 대규모 하이브리드 시스템 모델의 검증을 위한 시뮬레이션 및 정형 검증 기술과 관련 도구를 소개한다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1998년도 추계학술대회 및 정기총회
• /
• pp.21-24
• /
• 1998

Simulation modeling has become an extremely important approach to analyzing complex system. In recent years the number of people using simulation as problem-solving aid has increased. In this Paper, we developed a simulation model for analyzing the physical distribution system in ports. We used Arena 2.2 which is a kind of simulation software based common simulation language, SIMAN V. And then, we applied this model to kwangyang port(partially) and analyzed the effect of it upon port system in according to change of the quantity of goods transported.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제14권5호
• /
• pp.2186-2203
• /
• 2020

Security administrators of companies and organizations need to come up with proper countermeasures against cyber-attacks considering infrastructures and security policies in their possession. In order to develop and verify such countermeasures, the administrators should be able to reenact both cyber-attacks and defenses. Simulations can be useful for the reenactment by overcoming its limitations including high risk and cost. If the administrators are able to design various scenarios of cyber-attacks and to develop simulation models from their viewpoints, they can simulate desired situations and observe the results more easily. It is challenging to simulate cyber-security issues, because there is lack of theoretical basis for modeling a wide range of the security field as well as pre-defined basic components used to model cyber-attacks. In this paper, we propose a modeling method for cyber-security simulations by developing a basic component and a composite model, called Abstracted Cyber-Security Unit Model (ACSUM) and Abstracted Cyber-security SIMulation model (ACSIM), respectively. The proposed models are based on DEVS(Discrete Event systems Specification) formalism, a modeling theory for discrete event simulations. We develop attack scenarios by sequencing attack behaviors using ACSUMs and then model ACSIMs by combining and abstracting the ACSUMs from a security perspective. The concepts of ACSUM and ACSIM enable the security administrators to simulate numerous cyber-security issues from their viewpoints. As a case study, we model a worm scenario using ACSUM and simulate three types of simulation models based on ACSIM from a different security perspective.

• 정보과학회 논문지
• /
• 제42권12호
• /
• pp.1503-1521
• /
• 2015

에이전트 기반 모델링 및 시뮬레이션(Agent-Based Modeling and Simulation)은 기존 시스템 수준에서의 시뮬레이션이 구현할 수 없는 에이전트의 세밀한 행동과 상호작용을 활용하여 시장이나 사회 현상의 모델링에 사용되는 기술이다. 그러나 에이전트 기반 모델링 및 시뮬레이션은 에이전트 기반 시스템의 지식 수준에서의 합리성의 원칙에 기반하여 구현되기 때문에 스스로의 목표 달성을 저해하는 에이전트를 표현할 수 없다[1]. 에이전트 기반 소프트웨어 공학 분야에서는 이러한 한계를 극복하기 위해 사회적 수준에서의 행동 법칙을 통해 해결하였으나[2], 구체적인 개발 방법론은 제시가 되어 있지 않다. 따라서 본 연구에서는 에이전트 기반 소프트웨어 공학 방법론인 트로포스와 사회적 행동 법칙을 결합하여 사회적 행동 법칙을 반영한 새로운 에이전트 기반 모델링 및 시뮬레이션 방법을 제안한다. 이를 위해 각 개발 단계별로 구체적인 과업을 명시하고 과업 별로 생성되는 산출물 분석을 통해 모델링 및 시뮬레이션의 과정을 설명한다. 또한 자가 적응적 스마트 그리드와 군 도메인 시스템에서의 구체적인 적용 사례와 실험을 통해 제안 방법을 검증한다.

• Nuclear Engineering and Technology
• /
• 제51권8호
• /
• pp.1916-1938
• /
• 2019

The objective of this paper is to discuss the modeling principles of phenomena governing core degradation/melting and in-vessel melt relocation during severe accidents in light water reactors. The proposed modeling approach has been applied in the development of a new accident simulation package, COMPASS (COre Meltdown Progression Accident Simulation Software). COMPASS can be used either as a stand-alone tool to simulate in-vessel meltdown progression up to and including RPV failure, or as a component of an integrated simulation package being developed in Korea for the APR1400 reactor. Interestingly, since the emphasis in the development of COMPASS modeling framework has been on capturing generic mechanistic aspects of accident progression in light water reactors, several parts of the overall model should be useful for future accident studies of other reactor designs, both PWRs and BWRs. The issues discussed in the paper include the overall structure of the model, the rationale behind the formulation of the governing equations and the associated simplifying assumptions, as well as the methodology used to verify both the physical and numerical consistencies of the overall solver. Furthermore, the results of COMPASS validation against two experimental data sets (CORA and PHEBUS) are shown, as well as of the predicted accident progression at TMI-2 reactor.

• Journal of Multimedia Information System
• /
• 제6권4호
• /
• pp.245-250
• /
• 2019

In this paper, we propose an ellipsoid modeling method for coding of a face depth picture. The ellipsoid modeling is firstly based on a point of a nose tip which is defined as the lowest value of the depth in the picture. The proposed ellipsoid representation is simplified through a difference of depth values between in the nose tip and in left or right boundary point of the face. Parameters of the ellipsoid are calculated through coordinates and depth values to minimize differences from the actual depth pixels. A picture is predicted by the modeled ellipsoid for coding of the face depth picture. In simulation results, an average MSEs between the face depth picture and the predicted picture is measured as 20.3.

• Journal of Electrical Engineering and Technology
• /
• 제5권4호
• /
• pp.561-570
• /
• 2010

This paper presents an advanced dynamic simulation model of a proton exchange membrane fuel cell for the optimal design of a fuel cell power conditioning system (FC-PCS). For the development of fuel cell models, the dynamic characteristics of the fuel cell are considered, including its static characteristics. Then, software fuel cell simulation is realized using Matlab-Simulink. Specifically, the design consideration of PCS (i.e., power semiconductor switch, capacitor, and inductor) is discussed by comparatively analyzing the developed simulator and ideal DC source. In addition, a cosimulation between the fuel cell model and PCS realized using the PSIM software is performed with the help of the SimCoupler module. Detailed analysis and informative simulation results are provided for the optimal design of fuel cell PCS.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2001년도 The Seoul International Simulation Conference
• /
• pp.354-358
• /
• 2001

Cosim (Hardware and Software Co-Simulator) is a JavaBeans-based simulation tool fur validating systems architecture and estimating performance of web applications. Cosim has four components: Modeler, Translator, Engine and Scenario. Users start from Modeler to describe systems architecture in UML(Unified Modeling Language) deployment diagram, and then specify hardware & software performance parameters such as execution delay, network topology, and frame size. All information specified on Modeler are sent to Translator, and then automatically converted to Java programs. Scenario is responsible to run the Java program and produce results in text reports and graphs. Developers can reduce development time and cost by validating systems architecture of web applications before the actual deployment.

• 한국멀티미디어학회논문지
• /
• 제22권12호
• /
• pp.1368-1375
• /
• 2019

In this paper, an prediction method is proposed for coding of depth pictures using spherical modeling. An spherical surface which has the least error from original depth values is modeled in a block. Pixels in the block are predicted through the parameters of the modeled spherical surface. Simulation results show that average prediction errors and entropy powers are improved to 30% and 200% comparing to the intra prediction of H.264/AVC, selection ratios of the proposed spherical modeling mode is more than 25%.

• 정보과학회지
• /
• 제25권11호
• /
• pp.39-44
• /
• 2007