• Title/Summary/Keyword: 이산사건 시스템

Search Result 164, Processing Time 0.043 seconds

분산 관리제어

  • 김성규;조광현;임종태
    • ICROS
    • /
    • v.6 no.4
    • /
    • pp.28-37
    • /
    • 2000
  • 본 논문에서는 관리제어시스템의 대상인 이산사건시스템을 하나의 전역 관리제어기 (global supervisor)가 아닌 여러 개의 국소 관리제어기(local supervisor)들의 동시수행 (concurrent action)을 통한 분산관리제어에 대해 알아본다. 반적으로 관리제어 대상시스 템 G 의 사양에 대해 관리제어가 설계가능하면 하나의 전역 관리제어기(S)를 설계하여 관리제어시스템의 언어 L(S/G)를 생성할 수 있다. 이에 반하여, 분산 관리제어이론은 주 어진 사양(specification)에 대해 여러 개의 국소 관리제어기(Si) 들의 동시수행(∧Si/G)를 생성함으로써 전역 관리제어기와 동등한 역할 즉 L(S/G)=L(∧Si/G)을 이루고자 하는 데 그 목적이 있다. 리제어 대상시스템 G의 발생가능한 사건들에 관해 제어가능성과 관측가 능성을 고려하여 모든 사건들이 관측가능할 경우와 관측불가능한 사건들이 존재하는 경 우로 구분하여 분산 관리제어시스템의 설계에 대해 알아본다. 또한 관측 불가능한 경우 와 관측불가능한 사건들이 존재하는 경우로 구분하여 분산 관리제어시스템의 설계에 대 해 알아본다. 또한 관측불가능한 사건들이 존재할 때 사양언어(specification language) K 가 여러 개의 국소사양 (local specification)들의 교집합으로 주어진 경우의 국소 분산 관 리제어와 하나의 전역사양(global specification)으로 주어진 경우의 전역 분산 관리제어 로 세분하여 각각의 분산 관리제어결과가 전역 관리제어결과와 서로 같아질 수 있는 조 건에 대해 알아본다

  • PDF

Application of fuzzy Petri nets for discrete event system control and monitoring (이산사건 시스템 제어 및 모니터링을 위한 퍼지 패트리네트 응용)

  • 노명균;홍상은
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 1997.10a
    • /
    • pp.403-406
    • /
    • 1997
  • This paper presents a Petri net approach for the control and monitoring of discrete event system. The proposed model is fuzzy Petri nets based on the fuzzy logic with Petri nets and the hierarchy concept. Fuzzy Petri nets have been used to model the imprecise situations which can arise within automated manufacturing system, and also the hierarchy concept allow to handle the refinement of places and transition in Petri nets model. These will form the foundation of a simulator-tool with manipulation interface for application of fuzzy Petri nets.

  • PDF

Process Optimization of an Automated System Using Critical Path Method (Critical Path 기법을 이용한 자동화 시스템의 공정 최적화 사례 연구)

  • Lee, Seung-Yeon;Gang, Gil-Sun;Jang, Jong-Tae;Yu, Jun
    • Proceedings of the KIEE Conference
    • /
    • 2003.11b
    • /
    • pp.219-222
    • /
    • 2003
  • 본 논문에서는 주어진 자동화 시스템에 대하여 Critical Path 기법을 적용한 최적화 연구를 수행하였다. 탄약 운반 자동화 시스템에 대하여 공정순서와 시간개념이 들어간 Timed Petri-Net을 이용한 이산사건 공정모델을 구축하였으며, 이를 기초로 초기조건 및 제약조건을 고려하여 제악탐색기법을 이용하여 Critical Path를 찾고 여유 공정을 산출항으로써 공정 시간 최적화를 수행하였다.

  • PDF

A Non-hierarchical Distributed Simulation of Hierarchical DEVS Models (계층적 DEVS 모델의 비 계층적 분산 시뮬레이션)

  • 강원석
    • Proceedings of the Korea Society for Simulation Conference
    • /
    • 1999.10a
    • /
    • pp.308-312
    • /
    • 1999
  • DEVS(Discrete Event System Specification) 형식론은 계층적이고 모듈화된 형태로 이산사건 시스템을 기술한다. 본 논문에서는 DEVS 형식론에 기반한 모델들을 시뮬레이션하기 위한 분산 시뮬레이션 방법을 제시한다. 본 논문에서 제시한 시뮬레이션 방법은 계층적 DEVS 모델들을 비 계층적 모델로 구성하여 시뮬레이션한다. 제시한 시뮬레이션 방법은 전통적인 계층적인 시뮬레이션 시 발생하는 overhead를 제거한다. 또한 시뮬레이션 동기화를 쉽게 구현할 수 있고 더불어 시뮬레이션 엔진의 안정성을 높일 수 있다. 제시한 시뮬레이션 방법의 효용성을 보이기 위해 Windows 시스템에 실행 가능한 시뮬레이션 엔진을 구현하여 대규모 물류 시스템으로 성능을 측정하였다.

  • PDF

A Multi-threaded Distributed Simulation Environment Using CORBA (CORBA를 이용한 멀티스레드 분산 시뮬레이션 환경)

  • 강원석;김기형
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2003.10b
    • /
    • pp.406-408
    • /
    • 2003
  • DEVS(Discrete Event System Specification) 형식론은 계층적이고 모듈화된 형태로 이산사건 시스템을 기술한다. 본 논문에서는 CORBA를 이용한 Multi-threaded 분산 시뮬레이션 방법을 제시한다. 본 논문에서 제시한 시뮬레이션 방법은 기존에 선행 연구된 DEVSCluster를 기반으로 한다. DEVSCluster는 계층적 DEVS 모델들을 비 계층적 모델로 구성하여 시뮬레이션한다. DEVSCluster는 전통적인 계층적인 시뮬레이션 시 발생하는 overhead를 제거한다. CORBA기반으로 DEVSCluster를 구성함으로써 산업 표준에 맞는 확정을 가지는 분산 시뮬레이션이 가능해졌다. 그리고 CORBA를 이용함으로써 기존에 분산 시뮬레이션 동기화를 위한 새로운 패러다임도 적용이 가능해 졌다. 제시한 시뮬레이션 방법의 효용성을 보이기 위해 Windows 시스템에서 분산 시뮬레이션 엔진을 구현하여 대규모 물류 시스템으로 성능을 측정하였다.

  • PDF

A Study of Life Cycle Assessment in Shipyards Layout using a Discrete Event Simulation Engine (이산 사건 시뮬레이션 엔진을 이용한 조선소 레이아웃의 전과정평가 적용 연구)

  • Lee, Dong-Kun;Nam, Seung-Hoon;Shin, Jong-Gye
    • Journal of the Korea Society for Simulation
    • /
    • v.21 no.1
    • /
    • pp.1-8
    • /
    • 2012
  • In recent days, global shipbuilding companies have been showing great interest in eco-friendly ship products and trying to reduce environmental pollution - harmful gas and dust in shipbuilding process. Following this trend, Life Cycle Assessment (LCA) was carried out to an application of shipyards layout. LCA is a technique used to assess environmental impacts during the life cycle of products and systems. Until now, LCA has been used through ISO 14040 in somewhat limited industries, such as Building Life Cycle Assessment. Thus, this study analyzes the shipyard layout planning framework and builds life cycle inventory along with the simulation model structure to evaluate environmental impacts.

A Study on Virtual Factory System Modeling for the Continuous Process by Applying Descrete Event Algorithm (연속공정 가상설비 모델링 시스템을 위한 이산사건 알고리즘 적용에 관한 연구)

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

A Study on Method of Destributed Processing For DEVS Simulation Based on Network (DEVS 시뮬레이션의 네트워크 기반 분산처리 방법 연구)

  • Song, Ho Seop
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2011.11a
    • /
    • pp.1293-1295
    • /
    • 2011
  • DEVS(Discrete Event System Specification)형식론은 계층적이고 모듈화 된 형태로 이산사건 시스템을 기술하는 수학적 이론이다. DEVS 형식론에 기반한 모델링과 시뮬레이션은 여러 시뮬레이션시스템에 적용되고 있으며, 보통 단일서버에 단일 프로세스로 구현되고 있다(3). 본 연구는 DEVS 모델을 네트워크기반의 여러 분산서버에 나누어서 모델링하며, 이를 시뮬레이션 하기 위한 처리 기법에 관한 것이다.

Design of High Speed , Real-time , and Large Scale Data Storage System for Editing HDTV Data (HDTV 데이터 편집을 위한 고속 실시간 대규모 데이터 저장 시스템의 설계)

  • Lee, Chan-Su;Seong, Yeong-Rak;O, Ha-Ryeong
    • Journal of KIISE:Computing Practices and Letters
    • /
    • v.5 no.2
    • /
    • pp.223-235
    • /
    • 1999
  • 본 논문에서는 HDTV 데이터를 입출력할 수 있는 고속 실시간 데이터 저장 시스템을 제안한다. 이 시스템은 ⅰ) 방대한 크기를 HDTV 데이터를 고속으로 입출력할 수 있어야 한다. ⅱ)데이타를 연속적으로 입출력할 수 있는 것 외에 데이터를 비선형적으로 랜덤하게 억세스 할 수 있어야 한다. ⅲ)실시간으로 데이터를 재생하기 위해 일정하게 주어진 시스템 입출력 속도를 항상 만족할수 있어야 한다. 이러한 조건을 만족시키기 위해서 여러 개의 하드디스크를 병렬로 연결하고 데이터들을 각각의 하드디스크에 나누어 저장하였다. 하드디스크의 입출력 성능은 하드디스크 아암의 탐색 동작에 의해 크게 좌우되므로 탐색 동작을 효과적으로 제어할 수 있는 방법이 설계되었다. 제안된 시스템은 주제어부, 데이터 분배부, 종제어부로 나뉘며 각각의 하드디스크는 독립도니 종제어부에 의해 제어된다. 제안된 시스템이 주어진 요구사항을 만족하는지를 확인하기 위하여, 제안된 시스템을 DEVS 형식론을 이용하여 구현하고 시뮬레이션 하였다. DEVS 형식론은 이산사건 시스템을 계층적이고 모듈화된 형태로 기술한다. 시뮬레이션 과정에서 발생된 사건들을 분석하였다. 그 결과 제안된 시스템이 주어진 요구사항을 잘 만족함을 보았다.

Developing Automatic Lens Module Assembly System Using 3D Simulation (3D 시뮬레이션을 활용한 렌즈모듈 자동화조립시스템 개발)

  • Moon, Dug-Hee;Lee, Jun-Seok;Baek, Seung-Geun;Zhang, Bing-Lin;Kim, Yeong-Gyoo
    • Journal of the Korea Society for Simulation
    • /
    • v.16 no.2
    • /
    • pp.65-74
    • /
    • 2007
  • Virtual manufacturing (VM) is a powerful technology for developing a new product, new equipment and new manufacturing system, and three-dimensional (3D) simulation is a core technology in VM. 3D simulation involves both mechanical simulation and discrete event simulation. This paper introduces a case study of implementing 3D simulation for developing an automatic assembly line in a Korean optical factory. This factory produces a lens module that is the part of a phone-camera. 3D simulation technology is applied from the early stage of development. In the conceptual design and the initial design phases for individual equipment, 3D mechanical simulation using $CATIA^{(R)}$ and $IGRIP^{(R)}$ is conducted. 3D discrete event simulation with $QUEST^{(R)}$ is applied to the detailed design of the equipment and of the whole system. The focus of the simulation is to verify the technical and economical feasibility of the new automatic system. As a result, the takt time is reduced to the quarter of the manual system, and the number of workers in a line is reduced tremendously.

  • PDF