• Journal of Advanced Marine Engineering and Technology
• /
• v.34 no.1
• /
• pp.154-162
• /
• 2010

A simulation technique is very useful method to analyze the performance on various engineering area. To automate port systems, we have need of simulation to analyze an effect of assigning and operating devices. Thus we propose simulation methodology to be applied to an analysis, evaluation, planning for port automation. To do this, we have adopted the discrete event system specification based system entity structure / model base framework for modeling and simulation environment. We have performed modeling and simulation on entities of port systems such as container crane, yard tractor, transfer crane, etc. The proposed methodology has an advantage being able to effectively simulate on alternatives of composition and operation strategy for port systems. Some case studies will show the validity of proposed simulation methodology.

• Journal of the Society of Naval Architects of Korea
• /
• v.46 no.3
• /
• pp.303-312
• /
• 2009

Recently, requests for the accurate process planning using modeling and simulation technique are increasing in many engineering fields including shipbuilding industry. In this study, Combined DEVS(Discrete EVent System specification) and DTSS(Discrete Time System Specification) simulation kernel is developed, and an integration strategy of dynamics simulation module and graphics module is also implemented. To evaluate the efficiency and applicability of the simulation kernel and integration strategy, these are applied to the block erection simulation of offshore structures.

• Journal of the Korea Society of Computer and Information
• /
• v.27 no.5
• /
• pp.101-107
• /
• 2022

Modeling and simulation is a technique used for operational verification, performance analysis, operational optimization, and prediction of target systems. Discrete Event System Specification (DEVS) of this representative technology defines models with a strict formalism and stratifies the structures between the models. When the atomic DEVS models operate with an intention different the target system, the simulation may lead to erroneous decision-making. However, most DEVS systems have the exclusion of the model test or provision of the manual test, so developers spend a lot of time verifying the atomic models. In this paper, we propose a script-based automated test system for accurate and fast validation of atomic models in Python-based DEVS. The proposed system uses both the existing method of manual testing and the new method of the script-based testing. As Experimental results in our system, the script-based test method was executed within 24 millisecond when the script was executed 10 times consecutively. Thus, the proposed system guarantees a fast verification time of the atomic models in our script-based test and improves the reusability of the test script.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.50 no.7
• /
• pp.244-252
• /
• 2013

In this paper, we show that supervisory control theory of discrete event systems can be applied to analyze the problem of power in political economy. For this purpose, we introduce the decision mechanism of control inputs based on power, and the consequent behavior of a supervised system. Specifically, this paper presents the notion of power-controllability as a necessary and sufficient condition to achieve a common control objective of competing groups (local controllers). If the power-controllability is met, a modular system controlled by local controllers with power functions is not deviated from a common control objective of them.

• Proceedings of the KIEE Conference
• /
• 1993.11a
• /
• pp.310-313
• /
• 1993

A design of stabilizing supervisory controller for discrete event dynamic systems(DEDS) is investigated in this paper. The notion of system stability is introduced for the supervisory control and the stable behavior is defined. A framework of stabilizing supervisory controller, which controls a given system to have stable behavior. is formulated and a design method is proposed for the stabilizing, supervisory controller.

• Proceedings of the KIEE Conference
• /
• 2003.07d
• /
• pp.2298-2300
• /
• 2003

본 논문은 페트리 네트의 특별한 구조인 siphon의 특성을 이용하여 트랜지션 점화를 제어함으로써 deadlock을 회피하는 방법을 제시한다. 제안한 방법은 페트리 네트에서 상태 방정식을 유도한 후, siphon의 특성을 이용하여 deadlock을 회피할 수 있는 충분 조건을 유도한다. 간단한 FMS의 예를 이용하여 제안한 방법을 사용하면 deadlock이 발생하지 않음을 보인다.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2014.05a
• /
• 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.

• Proceedings of the KIEE Conference
• /
• 2001.11c
• /
• pp.319-322
• /
• 2001

본 논문에서는 고층빌딩의 화재감지/모니터링 시스템에 대한 기준 모델을 제시하고 제시된 모델의 성능을 시뮬레이션을 통하여 검증하였다. 본 논문에서 제시하는 화재감지/모니터링 시스템 모델은 CSMA/CD 방식으로 동작하며 100 Mbps의 전송속도로 동작하는 Fast Ethernet을 백본망으로 사용하고 하부망으로는 MS/TP를 사용한다. 또한 시스템의 확장성과 유연성을 확보하기 위하여 현재 국내 빌딩 자동화 통신망의 표준 프로토콜로 제정된 BACnet을 기반으로 동작한다. 본 논문에서는 제시된 화재감지/모니터링 시스템 모델의 성능을 분석하기 위하여 이산사건 시스템 모델링 전용 툴인 ARENA를 사용한 시뮬레이션 모델을 개발하였다. 개발된 시뮬레이션 모델을 이용하여 네트워크 지연시간이 화재감지/모니터링 시스템의 성능에 미치는 영향을 분석하였으며, 분석된 결과를 바탕으로 본 논문에서 제시한 화재감지/모니터링 시스템 모델이 고층빌딩의 방화 설비 요구사항을 만족시킬 수 있음을 검증하였다.

• Proceedings of the KIEE Conference
• /
• 2003.11b
• /
• pp.283-286
• /
• 2003

본 연구는 기존의 고장진단 기법들을 토대로 주어진 자동화 시스템에 실제 적용이 가능한 고장예측 알고리즘을 제시한다. 고장예측은 시스템이 운용되는 도중에 제한된 정보와 컴퓨터 자원을 이용하여 수행되어야 하므로 실시간 적용을 위하여 2단계로 구분하여 수행된다. 첫 번째는 실시간 고장예측 단계로서 시스템 운용 중에 시스템의 고장 징후를 탐지하는 역할을 하며, 두 번째는 오프라인 고장예측 단계로서 실시간으로 고장 징후가 탐지되면 시스템의 작동을 멈춘 후 고장의 징후를 분류하고 식별하는 역할을 수행한다 원활한 고장예측 알고리즘을 도출하기 위해 자동화 시스템의 이산사건 모델과 연속시간 모델을 수립하였으며, 이들을 통합한 공정모델에 대하여 하이브리드 시뮬레이션 환경을 구축하였다. 제안된 기법은 자동화 시스템의 공정모델에 기구부, 모터부에 대한 고장모델을 부가하여 컴퓨터 시뮬레이션을 통하여 타당성을 검증하였다.

• Proceedings of the KIEE Conference
• /
• 2003.07d
• /
• pp.2292-2294
• /
• 2003

본 논문은 crisp discrete event system(CDES)에서 다룰 수 없는 특성을 가지는 의료진단이나 교통제어와 같이 애매하거나 불확실한 판단 그리고 관련성이 모호한 판단의 근거들에 의해 결정되어지는 사건들로 이루어진 fuzzy discrete event system(FDES)의 모델링 방법에 대하여 연구하였다. CDES는 모델링 방법이 많이 연구되어져 왔으나, FDES는 발생되어지는 사건들의 정성적인 특성과 적용되어지는 경우가 드문 이유로 거의 연구되어져 있지 않다. 본 논문에서는 temporal logic에 fuzzy개념을 도입하여 fuzzy DES의 새로운 모델링 방법을 제시하고 의료진단 시스템에 적용하였다.