• 제목/요약/키워드: Discrete Event System

검색결과 383건 처리시간 0.023초

Logistical Simulation for On-site Concrete Waste Management in Decommissioning

  • Lee, Eui-Taek;Kessel, David S.;Kim, Chang-Lak
    • 방사성폐기물학회지
    • /
    • 제17권4호
    • /
    • pp.389-403
    • /
    • 2019
  • Large amounts of concrete waste are likely to arise from the decommissioning of a Kori-1 nuclear power plant. Several studies have been conducted on decommissioning concrete waste in recent decades, however, they have been limited to contaminated concrete issues or were small pilot-scale experiments. This study constructed two industrial-scale models of on-site concrete waste management for clean as well as contaminated concrete. To evaluate the performance of both the models, simulations were conducted using the Flexsim software. The concrete particle size distribution of Kori-1 and concrete processor properties based on widely used construction equipment were used as sources of input data for the simulations. It was observed that it may take over two years to complete the on-site concrete management processes owing to the performance of existing processors. In addition, it was demonstrated that it is essential to identify bottlenecks in the system and enhance the performance of the relevant processors to avoid delays of the decommissioning schedule. Our results suggest that this novel approach can contribute to developing schedules or expediting delayed activities in the Kori-1 decommissioning project.

프로토콜 평가를 위한 DEVSim++ 와 NS2 의 연동 환경 (DEVSim++ - NS2 Interoperating Environment for Protocol Evaluation)

  • 김회준;김탁곤
    • 한국시뮬레이션학회:학술대회논문집
    • /
    • 한국시뮬레이션학회 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.

  • PDF

시뮬레이션을 이용한 함정 운용 시나리오 검증 자동화 연구: 승조원을 고려한 Crew Messroom 운용성 검증을 중심으로 (Study on Automation for Verification of Naval Ship's Operational Scenarios using Simulation: Focusing on Crew Messroom Case)

  • 오대균;이동건
    • 한국해양공학회지
    • /
    • 제27권1호
    • /
    • pp.24-30
    • /
    • 2013
  • The Korea Navy has been making constant efforts to apply M&S (modeling and simulation) to naval ship development, and the generalization of M&S for ship development is a trend. M&S for ship design is used for the V&V (verification and validation) of its design and operation, including design verification and ergonomic design that considers the crew using the Naval Ship Product Model. In addition, many parts of this M&S are repeatedly accomplished regardless of the kinds of ships. This study aims to standardize M&S, which repeatedly applies similar verifications for operation scenarios. A congestion assessment simulation for the major spaces of ships was the subject of the standardization based on the leading research results of various researchers, and a simulation automation solution was suggested. An information model using XML was proposed through the simulation automation concept, and a prototype system based on it was implemented. The usability was shown through a case study that verified the operability performance of the crew messroom.

잠수함의 표적기동분석 시뮬레이션을 위한 전술처리기의 구현 (Implementation of a tactic manager for the target motion analysis simulation of a submarine)

  • 조두연;손명조;차주환;이규열;김태완;고용석
    • 한국시뮬레이션학회논문지
    • /
    • 제16권3호
    • /
    • pp.65-74
    • /
    • 2007
  • 본 연구에서는 시뮬레이션을 통하여 다양한 전술에 따른 효과를 예측할 수 있도록 모델과 분리된 전술처리기의 개념에 대해서 연구하였다. 테이블 방식으로 전술을 정의하고 이를 처리할 수 있는 전술처리기를 시험적으로 구현하였으며 잠수함 대 수상함 교전 시의 표적기동분석 시뮬레이션 예제에 적용하여 그 효용성을 검증하였다. 개발된 전술처리기를 이용하면 향후 전술이 변경되더라도 모델을 수정하지 않고 전술 정의 파일만 외부에서 수정하여 입력함으로써 원하는 시뮬레이션 결과를 얻을 수 있는 장점이 있다.

  • PDF

분산 시뮬레이션을 위한 DEVS 특성 기반 시뮬레이션 모델 분배 방법 (Algorithm for Partitioning the Simulation Models Based on DEVS-features for Distributed Simulation Environment)

  • 강원석;김기형
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2007년도 한국컴퓨터종합학술대회논문집 Vol.34 No.1 (B)
    • /
    • pp.513-518
    • /
    • 2007
  • 시뮬레이션 방법론에 있어서 모델기반 시뮬레이션과 프로세스기반 시뮬레이션으로 나눌 수 있는데, 재사용성, 확장성, 시뮬레이터 기술 용이성 등의 장점으로 모델기반 시뮬레이션이 많이 사용되고 있다. 이러한 이유로 근래에는 컴퓨터 시스템, 항공, 자동차 등에서 모델 기반 시뮬레이션 방법이 사용되고 있다. 모델기반 시뮬레이션 방법으로 수학적 이론을 기반으로 모델을 정의하는 DEVS(Discrete Event System Specification) 형식론은 계층적이고 모듈화 된 형태로 이산사건 시스템을 기술한다. 대규모의 복잡한 시뮬레이션 모델을 검증 할 목적으로 분산 시뮬레이션 방법론이 있는데, 이들은 크게 동기적인 방법과 비동기적인 방법이 있다. 동기적 방식보다 빠른 수행을 위해 비동기적 방법은 전체 Time-order 순이 아닌 로컬 Time-order를 가진다. 그러나 비동기적 방식에는 분산된 시뮬레이터들 간의 전체 Time-order를 유지하기 위해 전 처리된 시뮬레이터 결과들을 저장하는데, Time-order 상으로 현재의 시뮬레이션 시간보다 과거의 사건이 왔을 때 그 이벤트를 처리해주어야 되기 때문이다. 이러한 비동기적 분산 시뮬레이션 방법론에서는 전체 Time-order를 유지하기 위해 과거의 Time-order를 가지는 이벤트가 왔을 때 rollback operation을 수행한다. 그러나 rollback operation은 분산 시뮬레이션 방법론에서 성능 장애요소 중 하나이다. 본 논문에서는 rollback operation을 최소할 할 수 있는 DEVS 모델 분배 방법을 제안한다.

  • PDF

정체를 고려한 Personal Rapid Transit 배차 및 경로 계획 알고리즘 (A Dispatching and Routing Algorithm for Personal Rapid Transit by Considering Congestion)

  • 한충균;김백현;정락교;하병현
    • 전기학회논문지
    • /
    • 제64권11호
    • /
    • pp.1578-1586
    • /
    • 2015
  • Personal rapid transit (PRT) is getting attention as a new form of transportation. It is energy efficient and provides the high level of passenger service. In this study, the dynamic PRT dispatching and routing problem is dealt with. Passengers request transportation service on a complex network, and an operating system monitors passenger arrivals and coordinates vehicles in real time. A new online dispatching and routing algorithm is proposed, which minimizes the total travel distance of vehicles and the waiting time of passengers. The algorithm dispatches vehicles by considering multiple vehicles' state and multiple passengers at the same time. In particular, finding the shortest-time path is attempted by taking into account the future congestion on lanes. Discrete-event simulation is employed to validate the performance of the proposed algorithm. The results show the algorithm in this study outperforms others.

물리엔진을 이용한 효과적인 하이브리드 시뮬레이션 방법론 (An Efficient Hybrid Simulation Methodology Using the Game Physics Engine)

  • 이완복;유석호
    • 디지털융복합연구
    • /
    • 제10권10호
    • /
    • pp.539-544
    • /
    • 2012
  • 사람이 만든 대부분의 시스템들은 하이브리드 시스템으로 모델링될 수 있다. 하이브리드 시스템 모델은 의사결정을 담당하는 상위레벨 모델과 기계적 제어를 담당하는 하위레벨 모델로 구성되기 때문에, 그 구조가 복잡하기 마련이며 모델을 해석할 때 모델의 종류에 따라 서로 다른 해석 기법이 요구된다. 상위레벨 모델은 FSM과 같은 이산사건시스템의 해석기법으로 풀이할 수 있으나, 하위레벨은 연속시간 모델로 구성되기 때문에 공학적 수치해석 기법이 동원되어야 한다. 개발자가 이 두 레벨의 모델을 함께 개발하는 방식에는 어려움이 많기 때문에 본 연구에서는 게임 분야에서 널리 사용되어지고 검증되어진 물리엔진 미들웨어를 이용하여 하위레벨의 모델링 및 해석 과정에 적용할 수 있는 방법을 제시한다.

시뮬레이션 기반 조선생산실행시스템 프레임워크 설계 (Framework design of simulation-based ship production execution system(SPEXS) in a shipyard)

  • 이광국
    • 한국정보통신학회논문지
    • /
    • 제15권9호
    • /
    • pp.1854-1864
    • /
    • 2011
  • 조선소에서 생산계획은 중추 신경적인 생산활동 중의 하나이다. 생산 중일정계획과 실행계획 간의 괴리로 인해 생산현장에서는 공정관리를 위한 충분한 정보를 얻지 못하고 있다. 본 논문에서는 생산계획과 통제 프로세스 분석을 통해 중일정계획과 실행계획 차이를 분석하고, 조선 생산실행시스템의 필요성을 도출한다. 이를 바탕으로 시뮬레이션 기반 조선생산실행시스템(SPEXS)를 정의하고, 시스템적 요구사항 분석 프로세스를 통해 본 시스템의 기능적 아키텍처를 설계하며, 아키텍처의 기능요소를 기반으로 프레임워크를 구축한다. 제안된 프레임워크를 통해 생산계획의 신뢰도를 높이고, 계획 간의 실시간 피드백이 가능할 것으로 사료된다.

세션 관리 기능을 포함한 홈 네트워크 환경에서의 지각자 및 오류 복구 처리 (Late Comer and Error Recovery Process for Home Network Environment with Session Management)

  • 김학준;고응남
    • 한국항행학회논문지
    • /
    • 제12권6호
    • /
    • pp.666-672
    • /
    • 2008
  • 본 논문은 세션 관리 기능을 포함한 홈 네트워크 환경을 위한 지각자 처리 및 오류 복구 처리에 대해서 기술한다. 이 시스템은 ED와 ES, ER로 구성되어 있다. ED는 세션 관리 기능을 포함한 홈 네트워크 환경에서 멀티미디어 원격 교육을 위하여 훅 킹 기법으로 오류를 감지하는 에이전트이다. ES는 세션 관리 기능을 포함한 홈 네트워크 환경에서 멀티미디어 원격 교육을 위하여 오류를 공유하는 에이전트이다. ER은 세션 관리 기능을 포함한 홈 네트워크 환경에서 멀티미디어 원격 교육을 위한 소프트웨어 오류를 복구하기에 적합한 에이전트이다. 본 논문은 규칙-기반 DEVS(Discrete Event System Specification) 모델링과 시뮬레이션 기법을 사용하면서 분산 멀티미디어 상에서의 오류 복구 시스템의 성능 분석을 설명한다. 제시된 방법이 기존 방법에 비하여 오류 발생률과 작업 수행 시간에 있어서 더 효율적이다.

  • PDF

HDEVS 형식론에 기반한 통합 하이브리드 모델링 방법론 및 시뮬레이션 엔진 설계 (Integrated Hybrid Modeling Methodology and Simulation Engine Design Based on HDEVS Formalism)

  • 권세중;성창호;송해상;김탁곤
    • 한국시뮬레이션학회논문지
    • /
    • 제22권1호
    • /
    • pp.21-30
    • /
    • 2013
  • 하이브리드 시스템은 서로 다른 상태와 시간을 가지는 부 시스템의 조합으로 이루어진다. 대표적인 예가 이산 사건 시스템과 연속 시간 시스템의 조합이다. HDEVS 형식론은 이러한 하이브리드 시스템을 모델링하고 분석하기 위해 제안되었는데, 이러한 형식론을 통해 모델러는 수학적인 형식론에 기초한 계층적이고 모듈성이 있는 모델을 설계할 수 있었다. 그러나 HDEVS 형식론이 주로 분산된 연동 시뮬레이션에 적용되었기 때문에 모델러는 하이브리드 시스템을 연동에 참여할 시뮬레이터에 맞게 서로 다른 모델들로 구분하여 재구성해야 했다. 따라서 모델은 시스템을 그대로 표현하기보다 나누어진 모델들의 연동 구조로 표현되었다. 본 논문은 이러한 문제를 해결하고 통합된 하이브리드 모델을 만들 수 있는 모델링 방법론과 그에 대한 시뮬레이션 방법론을 제안한다. 기존에 연동형 구조에 적용되었던 것과 달리, 하이브리드 시스템은 그 시스템 본래의 형태 그대로 통합된 모델로 모델링 될 수 있다. 또한 이 논문은 제안하는 모델링 방법론에 따르는 시뮬레이션 엔진 구조에 대해서 논하고 물탱크 조절 예제를 통한 간단한 사례 연구도 포함한다.