• 한국통신학회논문지
• /
• 제34권12B호
• /
• pp.1435-1443
• /
• 2009

본 논문에서는 에너지 수확 센서 네트워크 시스템을 DEVS 형식론을 이용해서 시뮬레이션하고 모델링한다. 이 시스템은 주전원이나 배터리를 사용하는 싱크(마스터(master)) 노드와 에너지 수확 소자로부터 전원을 공급 받는 센서(slave) 노드로 구성 된다. 시뮬레이션을 위해 (i) 슬레이브 노드에서 에너지 수확하고 저장하는 회로의 동작을 연속적인 구간들로 분할한 후에 각 구간을 이산적인 상태로 표현하고, (ii) 마스터 노드와 슬레이브 노드의 컴포넌트들의 동작의 관계를 면밀하게 분석하여, (iii) 분석된 결과를 DEVS 형식론을 이용하여 모델링하고 시뮬레이션 한다.

• Nuclear Engineering and Technology
• /
• 제21권3호
• /
• pp.223-230
• /
• 1989

본 연구는 이산 모형으로 표현되는 사용후 핵연료 중간 저장 공정을 전산기 모사하였다. 이는 계통 흐름을 보여주며, 기기 성능을 평가하고 계통 구성 요소와 흐름을 확립하여 설계에 관한 계통 구성 및 운전지침에 대한 정보를 제공한다. 공정 모사를 통하여 가장 좋은 시스템을 구성하기 위하여 주요 변수에 대하여 시험 분석하였다. 전산기 모사 결과에 의하면 하루 2교대 및 2대의 냉각 시설이 최적안으로 나타났다. 이산 공정 모사는 저장 시설의 최적 설계와 운전 자료를 얻는데 효과적으로 사용될 수 있다.

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

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

• 한국산학기술학회논문지
• /
• 제13권8호
• /
• pp.3319-3325
• /
• 2012

본 논문은 반도체 포토장비의 이산 이벤트 시뮬레이터인 TrackSim의 개발에 관한 것이다. TrackSim은 포토 장비의 시뮬레이션 엔진과 사용하기 쉬운 사용자 환경을 포함하는 시뮬레이터로, 다양한 프로세스 모듈의 구성 및 운영 방법을 효율적으로 평가, 검증, 스케쥴링할 수 있는 3차원 시뮬레이션 환경을 제공한다. TrackSim은 반도체 산업에서 많이 사용되는 이산 사건 시뮬레이션 소프트웨어인 AutoMod를 기반으로 개발되어 시뮬레이션 신뢰성이 보장되며, AutoMod로 개발된 반도체 제조라인 시뮬레이션 모델 속에 함께 연동하여 사용이 가능하다는 특징이 있다.

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

Digital Manufacturing-based production could be very effective in shipbuilding in order to save costs and time, to increase safety for workers, and to prevent bottleneck processes in advance. Digital shipbuilding system, a simulation-based production tool, is being developed to achieve such aspects in Korea. To simulate material flow in a subassembly line at a shipyard, the product, process and resources was modeled for the subassembly process which consisted of several sub-processes such as tack welding, piece alignment, tack welding, and robot welding processes. The analysis and modeling were carried out by using the UML(Unified Modeling Language), an object-oriented modeling method as well as IDEF(Integration DEFinition), a functional modeling tool. Initially, the characteristics of the shop resources were analyzed using the shipyard data, and the layout of the subassembly line was designed with the resources. The production process modeling of the subassembly lines was performed using the discrete event simulation method. Using the constructed resource and process model, the productivity and efficiency of the line were investigated. The number of workers and the variations In the resource performance such as that of a new welding robot were examined to simulate the changes in productivity. The bottleneck process floated according to the performance of the new resources. The proposed model was viewed three-dimensionally in a digital environment so that interferences among objects and space allocations for the resources could be easily investigated

• 한국컴퓨터정보학회논문지
• /
• 제27권5호
• /
• pp.101-107
• /
• 2022

모델링 및 시뮬레이션은 목표 시스템의 동작 검증, 성능 분석, 운용 최적화, 예측을 위해 사용되는 기술이다. 이 기술의 대표적인 이산사건 시스템 명세(DEVS)는 모델들을 엄격한 형식론으로 정의하고 모델 간의 구조를 계층화한다. 이 DEVS 모델들의 원자 모델은 목표와 다른 의도로 동작하게 될 경우 시뮬레이션은 잘못된 의사결정으로 이어질 수 있다. 그럼에도 대부분 DEVS 시스템은 모델 테스트의 부재 또는 수동 테스트 환경으로 제공하여 개발자가 모델을 검증하는 데 오랜 시간이 소비된다. 본 논문에서는 파이썬 기반 DEVS에서 정확하고 빠른 원자 모델의 검증을 위해 스크립트 기반 테스트 시스템을 제안한다. 제안 테스트 시스템은 기존 방식인 수동 테스트와 새로운 방식인 스크립트 기반 테스트를 둘 다 사용한다. 우리 시스템의 실험 결과, 제안 테스트 방식은 스크립트를 10번 연속 실행 시 24ms 이내에 실행되었다. 그리하여 제안 시스템은 스크립트 기반 테스트를 사용해서 빠른 원자 모델 검증 시간을 보장하고, 테스트 스크립트의 재사용성을 향상한다.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 1990년도 춘계공동학술대회논문집; 한국과학기술원; 28 Apr. 1990
• /
• pp.22-31
• /
• 1990

본 논문에서는 컴퓨터 통신 프로토콜의 모델링과 시뮬레이션에 관한 이론적 인 연구를 하였다. 먼저 통신 프로토콜의 정의와 기능을 설명하였고 통신 프 로토콜을 위한 모델을 분류하였다. 또한, 통신 프로토콜의 모델 중에 Timed Petri Net(TPN) 모델에 시간함수 .tau.를 부여함으로써 TPN을 구조적으로 정의하였으며 TPN Based 모델의 문제점을 보완하기 위하여 시스템 시뮬레 이션 분야의 이산사건 시스템 명세(DEVS:Discrete Event Simulation) 개념 을 도입하였다. 중요한 연구 결과로서 TPN모델이 DEVS모델이라는 정리를 제시하고 증명하였다. 이 정리에 따르면, TPN모델을 시뮬레이션 할 때 시뮬 레이션을 위해 모델을 설계할 필요없이 DEVS모델로 변환하여 사용함으로써 시뮬레이션을 수행할수 있다.

• 품질경영학회지
• /
• 제46권4호
• /
• pp.973-982
• /
• 2018

Purpose: The purpose of this study is to develop an effective simulation modeling formalism for autonomous control systems, such as unmanned aerial vehicles and unmanned surface vehicles. The proposed simulation modeling formalism can be used to evaluate the quality and effectiveness of autonomous control systems. Methods: The proposed simulation modeling formalism is developed by extending the classic DEVS (Discrete Event Systems Specifications) formalism. The main advantages of the classic DEVS formalism includes its rigorous formal definition as well as its support for the specification of discrete event models in a hierarchical and modular manner. Results: Although the classic DEVS formalism has been a popular modeling tool, it has limitations in describing an autonomous control system which needs to make decisions by its own. As a result, we proposed an extended DEVS formalism which enables the effective description of internal decisions according to its conditional variables. Conclusion: The extended DEVS formalism overcomes the limitations of the classic DEVS formalism, and it can be used for the effectiveness simulation of autonomous weapon systems.

• 한국멀티미디어학회논문지
• /
• 제19권12호
• /
• pp.2000-2013
• /
• 2016

The purpose of this study is to validate the validity of the methodology for analyzing the space with complex characteristics and to evaluate the existing spatial structure analysis theory. Seven example models are designed and analyzed data of spatial syntax analysis and visibility graph analysis. And analyzed the agent-based model using two analytical methods: the adjacent space and the whole spatial connection. The results of this study are as follows. Based on the analysis of the agent - based model for perfectly freewalking, the validity of the method is verified in terms of predictive ability and effectiveness. Agent-based models can be simulated considering various variables, so realistic predictions will be possible and a new biography of complex systems can be met.

• 한국건축시공학회:학술대회논문집
• /
• 한국건축시공학회 2014년도 춘계 학술논문 발표대회
• /
• pp.196-197
• /
• 2014

Low carbon construction is an important operation management goal such as cost, time, and quality in construction community. This paper introduces a system which measures the variability of carbon dioxide amounts. First, this system allows creating construction operation models of which the level of detail is breakdown into the work task level. Second, the system implements sensitivity analysis along with a ranges of resources that are allocated in an operation model. It facilitates to find the optimal resource combination using the operation performances such as the amount of emissions, operation completion time, and cost. Lastly, it identifies the best fit probability distribution functions of performance criteria given a certain resource combination. It allows project manager to query the percentages to complete the operation within a limitation specified by the system users.