• 한국시뮬레이션학회논문지
• /
• 제1권1호
• /
• pp.64-76
• /
• 1992

The DEVS(discrete event system specificaition) formalism specifies a discrete event system in a hierarchical, modular form. DEVSIM++ is a C++based general purpose DEVS abstract simulator which can simulate systems modeled by the DEVS formalism in a sequential environment. This paper describes P-DEVSIM++which is a parallel version of DEVSIM++ . In P-DEVSIM++, the external and internal event of DEVS models can by processed in parallel. For such processing, we propose a parallel, distributed optimistic simulation algorithm based on the Time Warp approach. However, the proposed algorithm localizes the rollback of a model within itself, not possible in the standard Time Warp approach. An advantage of such localization is that the simulation time may be reduced. To evaluate its performance, we simulate a single bus multiprocessor architecture system with an external common memory. Simulation result shows that significant speedup is made possible with our algorithm in a parallel environment.

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

실시간 시스템의 복잡도가 증가함에 따라 임시방편적 시스템 해석 방법은 시스템 동작 영역 전체를 완전하게 분석하는 데는 한계가 있다. 모델링을 기반으로 한 정형 기법은 그러한 한계점을 극복 할 수 있다. 본 논문은 모델 기반 정형 기법을 이용하여 실시간 시스템의 안전성 및 필연성 등과 같은 논리적 타당성을 이산 사건 모델 수준에서 분석하는 방법을 제안한다. 먼저, 분석 대상 실시간 시스템은 이산사건 수준에서 계층적으로 모듈화하여 모델을 명세하는 수학적 형식론인 DEVS (Discrete Event Systems Specification) 형식론으로 기술된다. 다음으로, 기술된 DEVS 모델은 시간 명세가 포함된 전역 상태 공간을 표현하는 C-DEVS (Communicating DEVS) 형식론으로 표현한 후 C-DEVS 형식론의 해석 알고리즘을 통해 시스템 동작을 분석된다. 제안된 C-DEVS 형식론 및 해석 알고리즘은 주어진 시스템의 동작 특성을 분석하는 과정에서 시스템의 상태 공간을 완전하게 빠짐없이 탐색하는 것을 보장한다. 간단한 건널목 제어 시스템의 안전성 분석 사례 연구를 통하여 제안된 모델 기반 해석 기법의 효율성을 예시 하였다.

• 의료ㆍ복지 건축 : 한국의료복지건축학회 논문집
• /
• 제24권2호
• /
• pp.15-25
• /
• 2018

Purpose: The important things in space plan of a screening center are improving the spatial awareness by space systemization and minimizing the examination time for customers, and reducing the required time of screening work and maximizing the capacity for the screening center. Therefore, we tried to solve the problem of improving spatial awareness and reducing the examination time by using the pedestrian based discrete event simulation at the minimum cost. Methods: We have analyzed the drawbacks and the supplement points by comparing the floor plan at the time of opening and the current floor plan. Based on the analysis, we propose an improved plan which changes the location of the examination rooms and the number of services, and we also verify the improved plan based on simulation analyses. Results: 1) Through the analyses, we derived the drawbacks of the floor plan at the time of opening, and we realized that the current floor plan reflects the drawbacks. 2) The major reasons of the long examination time are the human traffic jam and the occurrence of queues due to unreasonable allocation of services. 3) Through the discrete event simulation analyses, it was possible to specify the place of the queues manually so as to use the given space fairly. 4) Using the discrete event simulation, it was possible to reduce the examination time and to improve the spatial awareness effectively at the minimum cost. Implications: Although the proposed simulation methodology in this paper is an analysis of the existing screening center, we expect that the proposed methodology will be used to develop a more efficient architectural design process by pre-applying the method to the course of designing a screening center and finding the suitability of the proposed method with the matched number of services.

• 한국시뮬레이션학회논문지
• /
• 제5권2호
• /
• pp.41-58
• /
• 1996

The Discrete Event Systems Specification(DEVS) formalism specifies a discrete event system in a hierarchical, modular form. This paper presents a distributed simulation environment D-DEVSim++ for models specified by the DEVS formalism. D-DEVSim++ employs a new simulation scheme which is a hybrid algorithm of the hierarchical simulation and Time Warp mechanisms. The scheme can utilize both the hierarchical scheduling parallelism and the inherent parallelism of DEVS models. This hierarchical scheduling parallelism is investigated through analysis. Performance of the proposed methodology is evaluated through benchmark simulation on a 5-dimensional hypercube parallel machine. The performance results indicate that the methodology can achieve significant speedup. Also, it is shown that the analyzed speedup for the hierarchical scheduling time corresponds the experiment.

• Journal of Information Processing Systems
• /
• 제17권1호
• /
• pp.28-36
• /
• 2021

This paper proposes two novel methods to model and simulate a mobile Internet of Things (IoT) system using the discrete event system specification (DEVS) formalism. In traditional simulation methods, it is advantageous to partition the simulation area hierarchically to reduce simulation time; however, in this case, the structure of the model may change as the IoT nodes to be modeled move. The proposed methods reduce the simulation time while maintaining the model structure, even when the IoT nodes move. To evaluate the performance of the proposed methods, a prototype mobile IoT system was modeled and simulated. The simulation results show that the proposed methods achieve good performance, even if the number of IoT nodes or the movement of IoT nodes increases.

• 한국시뮬레이션학회논문지
• /
• 제27권3호
• /
• pp.1-11
• /
• 2018

이산 사건 시스템 명세 (DEVS)를 이용한 하이브리드 시스템 시뮬레이션은 IoT 기반 Smart factory의 최적 동작을 위한 파라미터 추출 등 멀티 레벨 모델 계층을 포함한 복잡계 시스템의 해석에서 중요한 도구로 사용되고 있다. 하이브리드 시스템은 연속 시간 시스템과 이산 사건 시스템의 특성을 모두 포함하고 있어 그 복잡성으로 인해 결과를 얻기 위해 많은 시간을 필요로 한다. 본 연구에서는 멀티 코어와 GPU가 결합된 이기종 컴퓨터 구조를 이용한 DEVS 기반 대규모 하이브리드 시스템 시뮬레이션의 가속화를 제안한다. 제안하는 멀티 코어-GPU 상호 결합 시뮬레이션 실행 플랫폼을 사용하여 상대적으로 많은 순간 전력을 소모하지만 실행 시간 측면에서 빠른 시뮬레이션이 오히려 전체 에너지 소모 측면에서 장점을 가지는 것을 보여주고자 한다. 이를 위해 대규모 모델의 수평적/수직적 상호 결합된 DEVS 기반 하이브리드 시스템을 시뮬레이션 하였고 효과적인 시뮬레이션을 위한 하드웨어의 조합, 동작 파라미터 변경에 따른 성능 향상을 전력 소모 관점에서 분석하였다.

• 한국통신학회논문지
• /
• 제24권10B호
• /
• pp.1852-1860
• /
• 1999

본 논문에서는 음성 패킷을 전송하기 위해 새로 제시되어 표준화된 AAL2의 성능을 이산 시간 시뮬레이션 모형(discrete-time simulation model)을 통해 분석하였다. 시뮬레이션의 입력 파라메터로는 AAL2 PDU를 만들기 위한 패킷 필 지연 시간(packet fill delay), 여러 AAL2 PDU로부터 ATM 셀을 만들기 위한 셀 생성 지연(guard time), 음성 트래픽의 특성을 정의하는 버스트 정도(burstness), 그리고 사용자 수(number of channels)로 하였으며 이 값의 변화에 따른 음성 패킷의 양종단 지연 시간 변이(end-to-end delay variation)을 계산하여 각각의 파라미터가 음성 패킷의 성능에 미치는 영향을 분석하였다.

• 한국정밀공학회지
• /
• 제15권4호
• /
• pp.134-140
• /
• 1998

The authors have shown that the performance of discrete-time observer-based monitoring systems can be represented by the performance index k$_2$(P) (condition number of the eigensystem P of the observer matrix in terms of L$_2$ norm). The observers with the minimized performance index can be defined as robust observers in the sense that the observer performance can be guaranteed in harsh environments. In this paper, based on the performance index, a design methodology for the robust discrete-time observer is developed. Similar to the continuous-time case, the methodology determines the structure and eigenvalues of the observer matrix simultaneously. A complete design procedure is given for single-output case and is illustrated with a spindle-driver example. The simulation results demonstrate the improved performance compared with a traditional pole-placement observer technique.

• 동력기계공학회지
• /
• 제9권4호
• /
• pp.175-180
• /
• 2005

Incorrections between model and plant are parameter, system order uncertainties and modeling error due to disturbance like friction. Therefore to achieve a good tracking performance, adaptive discrete time sliding mode tracking controller is used under time-varying desired position. Based on the diophantine equation, a new discrete time sliding function is defined and utilized for the control law. Robustness is increased by using both a recursive least-square method and a sliding function-based nonlinear feedback. The effectiveness of the proposed control algorithm is proved by the results of simulation and experiment.

• 산업경영시스템학회지
• /
• 제20권44호
• /
• pp.153-161
• /
• 1997

This paper has proposed the modelling by simulation in order to evaluate the performance of process through discrete event simulation using SIMAN language in flexible manufacturing systems. The production system is assumed to be a job shop type of system under the batch production of discrete products. In this paper, the input data is the workstation(process) time, the number of workstation(process), a probability distribution, the number of simulation runs. Also, transient period is considered. In the case study, this paper deals with three products in real flexible manufacturing systems. Finally, a number of simulation runs were executed under different experimental conditions to obtain preliminary statistics on the following performance measures: operating rate of facility and average system operating rate, transient period, central processing unit, average system throughput, and average waiting time in queues.