• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1990년도 한국자동제어학술회의논문집(국내학술편); KOEX, Seoul; 26-27 Oct. 1990
• /
• pp.406-410
• /
• 1990

This paper presents an approximate analysis of the serial production lines using decomposition technique. A serial production line consists of a series of unreliable machines separated by finite buffers. The serial production line is evaluated by approximation method, the results of which are compared with those examined by the discrete time event simulation, based on this approximation method, a gradient technique is proposed, which improves the efficiency of an operation of production line through the re-allocation of buffers.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1998년도 The Korea Society for Simulation 98 춘계학술대회 논문집
• /
• pp.91-95
• /
• 1998

기존의 이산 사건 시스템 시뮬레이션 환경들은 Interoperability의 문제, Portability 문제로 인하여 Internet과 Web상에서 분산 시뮤레이션이 불가능하다. 본 논문에서는 이러한 제약을 해결하고자 자바를 사용하여 DEVS(Discrete Event Systems Specification)형식혼을 구현하여 Internet/Web 상에서 시뮬레이션이 가능한 DEVSim-Java 환경을 설계하고 구현하였다. DEVSim-Java를 사용하여 시뮬레이션 환경을 구현함으로써 원격지에서 개발된 시뮬레이션 모델들을 인터넷을 통하여 재사용 하는 remote model-base(RMB) 개념을 제안된다. DEVSim-Java는 자바의 장점을 이용하여 시뮬레이션 과정을 애니메이션으로 잘 나타낼수 있고, 시뮬레이션의 결과를 Graphical Analyzer를 통해 분석할 수 있게 된다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2001년도 춘계 학술대회 논문집
• /
• pp.169-169
• /
• 2001

With the aid of fast computing power, resampling techniques are being introduced for simulation output analysis (SOA). Autocorrelation among the output from discrete-event simulation prohibit the direct application of resampling schemes (Threshold bootstrap, Binary bootstrap, Stationary bootstrap, etc) extend its usage to time-series data such as simulation output. We present a new method for inference from a regenerative process, regenerative bootstrap, that equals or exceeds the performance of classical regenerative method and approximation regeneration techniques. Regenerative bootstrap saves computation time and overcomes the problem of scarce regeneration cycles. Computational results are provided using M/M/1 model.

• 한국정밀공학회지
• /
• 제11권4호
• /
• pp.174-181
• /
• 1994

A FMS is a typical discrete event system exhibiting concurrency, asynchronicity and non-determinism. To represent a FMS with those characteristics, Colored and Timed Petri Nets is defined and the modeling procedure is provided in this paper. To analyze and evaluate the performance of a FMS, a simulation software is developed and applied to SNU FMS/CM Center. This software enables to detect the bottleneck machine and decide the optimal direction in case of the expansion of a FMS.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2019년도 제60차 하계학술대회논문집 27권2호
• /
• pp.125-126
• /
• 2019

본 논문에서는 위험 관리 지역에 대한 시나리오 구축을 위한 분석 모델을 고려한다. 위험 요소에 대한 분석은 외부 상황에 대한 요소뿐만 아니라 내부 상황에 의한 요소도 제공된다. 대응 모델에 대한 반응은 요소분석을 통하여 도출될 수 있는 결과를 통하여 결정된다. 위험 관리 지역에 대한 시나리오 분석 모델을 위하여 DEVS 방안을 고려하며, 이에 대한 모델 설계를 고려한다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2000년도 제15차 학술회의논문집
• /
• pp.17-17
• /
• 2000

In this paper, we design a hybrid controller for a safe lane change maneuver in automated highway systems(AHS). The proposed hybrid controller consists of a supervisor which controls the behaviors of discrete-event dynamic systems, and a regulator which controls the operations of continuous-variable dynamic systems. The supervisor determines whether the system starts a maneuver or not, via a condition for a safety, and gives orders to the regulator for performing the maneuvers. And the regulator tracks the planned path generated in the supervisor. The conditions for a safe lane change maneuver are proposed using the velocity, the acceleration, and geometrical relationship of vehicles.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1996년도 춘계학술대회
• /
• pp.15-15
• /
• 1996

A shop floor control system (SFCS) is the central part of a CIM system used to control the activities of several pieces of manufacturing equipment (e.g., NC machines, robots, conveyors, AGVs, AS/RS). The SFCS receives orders and related process plans, and then performs selecting a specific process routing, allocating resources, scheduling the workpieces, downloading the processing instructions (e.g., RS-274 instructions for NC machines, VAL II programs for robot), monitoring the progress of activities, detecting and recovering from errors, and preparing reports on the status of the manufacturing system. Simulation has been utilized in discovering control policies used for resolving shop floor be control problems such as resource contentions, part dispatching, deadlock. The simulation model must be designed to respond to real-time data coming from a shop floor. However, to rapidly build a realtime simulation model of SFCS cannot be easily accomplished. This talk is to address an automatic program generator of discrete event simulation model for shop floor control from process plans and resource models. The program generator is capable of constructing complete discrete simulation models for multi-product and multi-stage flexible manufacturing systems.

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

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

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2000년도 추계학술대회 논문집 학회본부 D
• /
• pp.615-617
• /
• 2000

Temporal Logic Frameworks is convenient to represent temporal relation. It is useful to represent a dynamic properties of Discrete Event Dynamic Systems. Also, it is convenient to express a current and next state of event using logical representation. Because the teachability tree of the Temporal Logic Frameworks is very complexity it is difficult to understand. In this paper, we defined some rules to represent Temporal Logic Frameworks by Petri Net and proposed am method of the representation of them Petri Net for the Temporal Logic Frameworks. An example are used to demonstrate the feasibility of this method.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1997년도 추계학술대회 논문집 학회본부
• /
• pp.109-112
• /
• 1997

A Discrete Event Dynamic System is a system whose states change in response to the occurrence of events from a predefined event set. A major difficulty in developing analytical results for the systems is the lack of appropriate modeling techniques. This paper proposes the use of Real-time Temporal Logic as a modeling tool for the modeling and control of fixed-time traffic control problem which by way of a DEDS. The Real-time Temporal Logic Frameworks is extended with a suitable structure of modeling hard real-time constraints. Modeling rules are developed for several specific situations. It is shown how the graphical model can be translated to a system of linear equations and constraints.