• 한국시뮬레이션학회논문지
• /
• 제6권1호
• /
• pp.1-13
• /
• 1997

In this paper, we present a partitioning algorithm for distributed simulation of DEVS (Discrete Event System Specification) models. To preserve concurrency inherent in models, the proposed algorithm utilizes the structural information of models. Through benchmark simulation experiments, we show that the proposed algorithm can generate good partitions.

• 한국시뮬레이션학회논문지
• /
• 제5권1호
• /
• pp.81-90
• /
• 1996

In this paper, we propose a new events ordering mechanism for the optimistic distributed simulation of DEVS models. To simulate DEVS models in a distributed environment, a synchronization protocol is required for correct simulation. Time Warp is the most well-known optimistic synchronization protocol for distributed simulation. However, employing the Time Warp protocol in distributed simulation of DEVS models incurs events ordering problem due to the semantic difference between Time Warp and DEVS, Thus, to resolve such semantic difference, we devise the time-and-priority-stamp and $\varepsilon$ -delay schemes. The proposed schemes can order simultaneous events correctly in Time Warp-based distributed simulation of DEVS models.Time Warp and DEVS, Thus, to resolve such semantic difference, we devise the time-and-priority-stamp and $\varepsilon$ -delay schemes. The proposed schemes can order simultaneous events correctly in Time Warp-based distributed simulation of DEVS models.

• 한국시뮬레이션학회논문지
• /
• 제14권1호
• /
• pp.19-32
• /
• 2005

In this study, a distributed simulation of Petri net models under HLA/RTI framework is considered. Throughout our modeling experiences, it is recognized that the proper use of interface specification and time management services are important in order to achieve successful implementation of RTI. The interfacing tokens between Petri net models are distinguished as information entity and physical entity. Both entities are modeled as InteractionClass in order to send and receive messages. For the synchronization of local simulation clocks, a conservative method with NERA service is considered. A cell manufacturing system is modeled and implemented with RTI to illustrate the distributed simulation of Petri net models.

• Spatial Information Research
• /
• 제21권2호
• /
• pp.45-54
• /
• 2013

해석적 또는 시뮬레이션 오차 모델은 공간 데이터가 가지는 위치오차의 분포를 설명 하는데 유용하다. 그러나 두 오차 모델은 위치오차를 모델링을 하기위하여 다른 접근 방법을 이용하므로 정의된 조건 내에서 올바른 위치오차를 예측 하는지 확인하는 내적 검증을 필요로 한다. 이에 본 논문은 오차타원과 에러밴드 모델을 이용하여 제시한 포인트와 라인 세그먼트 시뮬레이션 오차 모델을 내부적으로 검증하는 방법을 제안하였다. 시뮬레이션 오차 모델은 분산-공분산 행렬(variance-covariance matrix)의 변수에 의해 규정된 확률분포에 따라 몬테카를로 시뮬레이션을 이용하여 위치오차들을 생성한다. 검증절차에서는 시뮬레이션 모델에 의한 위치오차의 집합을 해석적 오차 모델에 의한 이론적 위치오차와 비교하였다. 결과적으로 제안된 시뮬레이션 오차 모델은 정의된 위치오차에 따라 동일한 공간 데이터의 위치적 불확실성을 실현함을 확인할 수 있었다.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1995년도 추계학술발표회논문집(1)
• /
• pp.423-428
• /
• 1995

Simulation models have been developed to predict the overall behavior of the CANDU plant systems during normal operational transients. For real time simulation purpose, simplified thermal hydraulic models are applied with appropriate system control logics, which include primary heat transport system solver with its component models and secondary side system models. The secondary side models are mainly used to provide boundary conditions for primary system calculation and to accomodate plant power control logics. Also, for the effective use of simulation package, hardware oriented basic simulation network has been established with appropriate graphic display system. Through validation with typical plant power maneuvering cases using proven plant performance analysis computer code, the present simulation package shows reasonable capability in the prediction of the dynamic behavior of plant variables during operational transients of CANDU plant, which means that this simulation tool can be utilized as a basic framework for full scope simulation network through further improvements.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2002년도 춘계학술대회논문집
• /
• pp.253-258
• /
• 2002

This paper proposes a methodology for development of protocol models. The methodology attempts to employ two modeling environments in models development, NS2 and DEVSim++, which will interoperate during simulation. NS2 is a widely used network simulator in protocol research, which employs an informal modeling approach. Within the approach time and state information of protocol models are not explicitly described, thus being hard to validate model. On the other hand the DEVS formalism is a mathematical framework for modeling a discrete event system in a hierarchical, modular manner. In DEVS, model's time and state information is described explicitly, By using DEVS formalism, models can easily be validated and errors in the modeling stage can be reduced. However, the DEVS simulator, DEVSim++, supports a small amount of models library which are required to build simulation models of general communication network. Although NS2 employs an informal modeling approach and models validation is difficult, it supports abundant models library validated by experimental users. Thus, combination of DEVS models and NS2 models may be an effective solution for network modeling. Such combination requires interoperation between DEVSim++ simulator and NS2 simulator. This paper develops an environment for such interoperation. Correctness and effectiveness of the implemented interoperation environment have been validated by simulation of UDP and TCP models.

• Journal of Astronomy and Space Sciences
• /
• 제27권4호
• /
• pp.407-412
• /
• 2010

Software reusability is one of key factors which impacts cost and schedule on a software development project. It is very crucial also in satellite simulator development since there are many commercial simulator models related to satellite and dynamics. If these models can be used in another simulator platform, great deal of confidence and cost/schedule reduction would be achieved. Simulation model portability (SMP) is maintained by European Space Agency and many models compatible with SMP/simulation model interface (SMI) are available. Korea Aerospace Research Institute (KARI) is developing hardware abstraction layer (HAL) supported satellite simulator to verify on-board software of satellite. From above reasons, KARI wants to port these SMI compatible models to the HAL supported satellite simulator. To port these SMI compatible models to the HAL supported satellite simulator, simulation scheduler is preliminary designed according to the SMI standard.

• 한국시뮬레이션학회논문지
• /
• 제8권4호
• /
• pp.9-24
• /
• 1999

We describe a heterogeneous simulation framework, so called DEVS-HLA, in which conventional simulation models and the DEVS (Discrete Event System Specification) models are interoperable. DEVS-HLA conceptually consists of three layers: model layer, DEVS BUS layer, and HLA (High Level Architecture) layer. The model layer has a collection of heterogeneous simulation models, such as DEVS, CSIM, SLAM, and so on, to represent various aspects of a complex system. The DEVS BUS layer provides a virtual software bus, DEVS BUS, so that such simulation models can communicate with each other. Finally, the HLA layer is employed as a communication infrastructure, which supports several good features for distributed simulation. The DEVS BUS has been implemented on the HLA/RTI (Run-Time Infrastructure) and a simple example of a flexible manufacturing system has been developed to validate the DEVS-HLA.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1999년도 추계학술대회 논문집
• /
• pp.325-330
• /
• 1999

Web-based simulation is one of the most interesting field of simulation research today. Among many research area of web-based simulation, we concern about what a effective way of building simulation model is since creating comprehensive simulation models can be expensive and time consuming. So this paper discusses how to integrate distributed simulation sub-models as objects for constructing the required simulation model which is more large and complex. We introduce two web-oriented methodologies (such as JIDL, CORBA) and the concepts of agent for assisting modelers to integrate simulation models scattered over the web. SINDBAD, which we designed, is a simulation environment which makes it possible constructing a simulation model with distributed model objects on the web and performing the parallel simulation in a distributed way. It is organized according to design patterns in the object oriented concept. Actually we are on the premise that all the distributed objects are originally composed in a CORBA-compatible way to start with our prototype of SINDBAD.

• 한국시뮬레이션학회논문지
• /
• 제21권3호
• /
• pp.35-42
• /
• 2012

무기체계 효과도 분석을 위한 국방 M&S(Modeling & Simulation) 분야는 실 전장 환경과 유사한 무기체계 실험 환경을 제공하는 현실적인 수단으로 인정받고 있다. 그러나 무기체계에 대한 모델을 구축하기 위해서는 많은 시간과 비용이 필요하며, 이에 따라 기 개발된 모델을 재사용하려는 요구가 있어왔다. 본 논문에서는 기 개발된 모델의 재사용을 장려하기 위해 온톨로지 기반 국방 M&S자원 클라우드 저장소인 OB-Cloud(Ontology Based-Cloud Storage)를 제안한다. 본 논문의 구현물은 무기 체계 효과도 분석 과정을 지원하는 통합시뮬레이션 엔진인 OpenSIM(Open Simulation engine for Interoperable Models)에 적용되었으며, 온톨로지 및 시소러스를 고려하여 재사용 가능한 모델에 대한 의미기반 검색을 지원한다. 본 논문에서는 국방 M&S 개발자가 작성된 모델을 OB-Cloud에 등록하고 국방 M&S 사용자가 OB-Cloud에서 본인이 원하는 국방 M&S 자원을 검색하여 새로운 모델 개발에 사용하는 예제를 통해, 유사 M&S 자원 간 재사용성이 증진될 수 있음을 보이도록 한다.