• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07b
• /
• pp.337-339
• /
• 2005

하이브리드 시스템이란 연속적인 변화와 이산적인 변화가 함께 존재하는 시스템으로 많은 임베디드 시스템이 하이브리드 시스템으로 모델링 된다. 이러한 하이브리드 시스템을 모델링하고 타당성을 검사(validation) 할 수 있는 도구의 제안은 시스템 개발자들에게 하이브리드 시스템의 복잡한 변화로 인한 시스템의 복잡성을 간소화 시킬 수 있는 방법을 제공하고, 고품질의 제어 소프트웨어를 개발할 수 있도록 해준다. 본 논문에서 소개하는 ASADAL/OBJ Hybrid는 고신뢰성 하이브리드 시스템 모델링을 위한 도구로써 객체지향 모델링에 따라 여러 하이브리드 시스템을 객체로 모델링하며, 이들 간의 통신은 이벤트와 데이터 전송으로 이루어지도록 한다. 환경 객체의 경우 3D 형태 정보를 가지고 있어서 3D 시뮬레이션을 통해 시스템의 변화 양상을 개발자에게 직관적으로 제공하도록 하고 있다.

• Journal of the Korea Society for Simulation
• /
• v.26 no.2
• /
• pp.9-17
• /
• 2017

The problem of social phenomenon is getting more complicated than past decades, and the simulation engineers need more computation power to solve the problem. Therefore, the needs of the computational resources of the modeling and simulation environment are increasing. In the perspective of the simulation, it is necessary to allocate computational resources flexibly so that the simulation can be performed per the available budget range. As an alternative to the simulation environment to accommodate these requirements, cloud service has emerged as an environment in which computing resources can be used flexibly. This paper proposes a web-based simulation framework which consists of a front-end that reconstructs the simulation model using the web, and a back-end that executes the discrete event simulation. This paper also carried out a case study which shows web-based simulation framework has better overall runtime than standalone simulation framework.

• Journal of the Korea Society for Simulation
• /
• v.27 no.3
• /
• pp.23-36
• /
• 2018

Discrete Event System Specification (DEVS) has been used for decades as it provides sound semantics for hierarchical modular specification of discrete event systems. Instead of the mathematical specification, the DEVS diagram, based on the structured DEVS formalism, has provided more intuitive and convenient representation of complex DEVS models. This paper proposes a clean room process for implementation and verification of a DEVS diagram model specification into a simulation software source code. Specifically, it underlies a sequence of transformation steps from conformance and integrity checking of a given diagram model, translation into a corresponding tabular model, and finally conversion to a simulation source code, with each step being inversely verifiable for traceability. A simple example helps developers to understand the proposed process with associated transformation methods; a case study shows that the proposed process is effective for and adaptable to practical simulation software development.

• Journal of the Korea Society for Simulation
• /
• v.15 no.2
• /
• pp.1-12
• /
• 2006

As the needs of intelligent systems increase, there have been diverse approaches that combine artificial intelligence (AI) and simulation in the last decade. RG-DEVS, which is the basis for this paper, embedded AI planning techniques into the simulation modeling methodology of DEVS, in order to specify dynamically a simulation model. However, a hierarchy concept, which is used for various types of problem solving systems. is not included in the planning of RG-DEVS. The hierarchy concept reduces the computational cost of planning by reducing the search space, and also makes it easy to apply the hierarchical process flow of a target system to planning. This paper proposes Hierarchical RG-DEVS (HRG-DEVS) in an attempt to insert hierarchical planning capability into RG-DEVS. For the verification of the proposed modeling methodology, HRG-DEVS is applied to model the block's world problem of ABSTRIPS, which is a classical planning problem.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2007.11a
• /
• pp.374-377
• /
• 2007

본 논문은 Takagi-Sugeno (T-S) 퍼지 모델을 이용하여 이산 시간에서의 비선형 상호 결합 시스템에 대한 분산 동적 출력 궤한 제어기를 제시한다. 이산시간 비선형 상호 결합 시스템의 각 하위 시스템에 대한 T-S 퍼지 모델링을 한 후, 각각에 대해 동적 출력 궤한 제어기를 설계한다. 제어가 된 폐루프 하위 시스템들로 전체 시스템의 평형점이 안정화되는 선형 행렬 부등식 (LMI)을 구하고, 부등식을 이용하여 동적 출력 궤한 제어기의 이득값을 구한다. 마지막으로 모의실험을 통해 분산 동적 출력 궤한 제어기의 효용성을 확인한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.05b
• /
• pp.811-814
• /
• 2003

이산 시스템을 모델링 한 EMFG의 동작, 즉 마크 흐름을 분석한다는 것은 시스템의 동작을 파악하는 것이다. 본 연구에서는 EMFG의 과거동작을 파악할 수 있으며 시스템의 과거 이력을 판다할 수 있는 추적트리를 도입하고, 추적트리를 구할 수 있는 추적트리 알고리듬을 제안한다. 추적트리 알고리듬은 EMFG로 모릴링된 이산 시스템의 과거동작을 파악할 수 있게 하여 이산시스템의 고장진단이나 Deadlock과 같은 문제를 해결하는데 도움을 줄 것으로 기대된다.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2000.11a
• /
• pp.219-225
• /
• 2000

본 연구에서는 이산사건 동적 시스템을 모델링하고 성능을 분석하기 위한 통합 소프트웨어를 개발하였다. 소프트웨어는 페트리네트를 기반으로 비쥬얼 C++와 비쥬얼 베이직을 이용하여 개발되었으며 윈도우즈 환경 하에서 동작하는 범용 그래픽도구를 내장하고 있다. 본 소프트웨어를 이용하면 사용자는 마우스의 드래그 앤 드롭만으로 페트리네트 모델을 작성할 수가 있으며 모델이 작성되면 수리적 분석과 시뮬레이션을 통하여 시스템의 성능분석을 자동으로 수행하여 준다. 또한 시스템의 논리적인 특성을 분석하기 위하여 coverbility tree와 reachability tree를 지원한다. 이외에도 deadlock을 탐지하고 이를 해소하는 기능과 정교한 세부 모델링이 가능하도록 다양한 활성화 함수와 분포를 지원하며 시스템의 성능척도와 관련된 다양한 통계치를 제공해준다.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1999.10a
• /
• pp.108-113
• /
• 1999

본 논문은 Zeigler가 제안한 이산 사건 시스템 형식론(DEVS : Discrete Event System Specification)을 기반으로 미시적 교통류 시뮬레이션 시스템의 교통 흐름 분석에 대한 연구를 주목적으로 한다. 도로교통망 모델링 방법은 미시적(microscopic)방법과 거시적(macroscopic)방법으로 분류하는데, 미시적 모형은 개별차량의 행태를 바탕을 둔 모형으로 거시적 모형에 비해 설명력이 뛰어나다는 장점을 가지고 있지만 실제 교통상황에서 관측하고 검증하기가 어렵다는 단점을 갖고 있다. 따라서 본 논문에서는 신뢰성 있는 미시적 교통류 모형의 설계를 위해 DEVS 형식론을 기반으로 개별 차량에 대한 차량 추종 및 차로 변경 모형을 모델링하고 이를 근거로 교통류 시뮬레이션 시스템의 교통흐름 분석을 한다.

• Proceedings of the Korean Institute of Surface Engineering Conference
• /
• 2009.10a
• /
• pp.225-226
• /
• 2009

본 연구에서는 신경망과 웨이브릿을 결합하여 플라즈마 챔버의 누출을 감시하기 위한 시계열 모델을 개발하였다. 플라즈마 데이터는 광반사분광기 (Optical Emission Spectroscopy-OES)를 이용하여 측정하였으며, 이를 시계열 신경망을 이용하여 모델링하였다. 이산치 웨이브릿 (Discrete Wavelet Transformation)은 OES 센서정보의 전 처리를 위해 이용되었다. 개발된 웨이브릿 신경망 모델은 47개의 데이터 sets을 이용하여 평가하였으며, 누출상태를 효과적으로 탐지할 수 있었다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2013.11a
• /
• pp.992-994
• /
• 2013

철강공정 가상공장 시스템은 조립공정과는 달리 연속공정의 특징을 가지며 공정과 자원의 배치가 아닌 공정을 구성하는 설비의 특성에 따라 제품이 결정되는 방식이다. 여러가지 설비의 모델들이 시뮬레이션 하며 서로 영향을 미치는데 이는 다중계층의 복잡한 모델 구조를 가지게 된다. 본 연구에서는 이의 해결을 위해 Descrete Event System 의 수학적 명세 방법론을 적용하여 복잡하고 계층구조적인 설비의 모델링을 쉽게 해결하기 위한 방법을 제시한다.