• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1995년도 추계학술대회 논문집
• /
• pp.864-867
• /
• 1995

Presented in the paper is a structured approach to modeling automated manufacturing system (AMS) in the form of an event graph. The proposed two-phase procedure for formal modeling is 1) reference modeling by schematic supervisory control modeling and 2) event graph transformation from supervisory control model. Also described is a formal model for a small-sized FMS in the form of an event graph.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회 2000년도 추계학술대회 및 정기총회
• /
• pp.161-164
• /
• 2000

A cyclic shop is a production system that repeatedly produces identical sets of jobs, called minimal part sets, in the same loading and processing sequence. We consider a version of cyclic shop where the operations are processed and unloaded within time limits, so called a time window. We model the shop using an event graph model, a class of Petri nets. To represent the time window constraint, we introduce places with negative time delays. From the shop modeling graph, we develop a linear system model based on the max- plus algebra and characterize the conditions on the existence of a stable schedule.

• 디지털콘텐츠학회 논문지
• /
• 제11권4호
• /
• pp.571-578
• /
• 2010

최근 모바일 기기를 기반으로 수많은 소셜 네트워크 서비스가 확산되고 보급되는 가운데, 위치와 시간을 기반으로 하는 연구들이 증가하고 있다. 그러나 기존 연구들에서는 장소와 시간, 이벤트에 대한 조합적인 질의를 해결하는 것이 주요한 문제가 되었다. 본 연구에서는 소셜 서비스를 위한 시공간 모델링 방안으로 장소와 시간, 이벤트, 사용자의 소셜 액티비티를 통해 Human Activity Graph 모델링 방안과 Quad Relation Factors를 제안하고, 이를 위한 데이터 수집과 분석을 위한 하부 구조를 설계하였다.

• Nuclear Engineering and Technology
• /
• 제48권2호
• /
• pp.386-403
• /
• 2016

The safety of nuclear power plants is analyzed by a probabilistic risk assessment, and the fault tree analysis is the most widely used method for a risk assessment with the event tree analysis. One of the well-known disadvantages of the fault tree is that drawing a fault tree for a complex system is a very cumbersome task. Thus, several graphical modeling methods have been proposed for the convenient and intuitive modeling of complex systems. In this paper, the reliability graph with general gates (RGGG) method, one of the intuitive graphical modeling methods based on Bayesian networks, is improved for the reliability analyses of dynamic systems that have various operation modes with time. A reliability matrix is proposed and it is explained how to utilize the reliability matrix in the RGGG for various cases of operation mode changes. The proposed RGGG with a reliability matrix provides a convenient and intuitive modeling of various operation modes of complex systems, and can also be utilized with dynamic nodes that analyze the failure sequences of subcomponents. The combinatorial use of a reliability matrix with dynamic nodes is illustrated through an application to a shutdown cooling system in a nuclear power plant.

• 대한조선학회논문집
• /
• 제50권5호
• /
• pp.334-342
• /
• 2013

In this paper, we analyze the procedure of the design manager for the enhancement of the hull production design process by use of the simulation method. Normally, design manager assigns design jobs according to various methods and estimates the corresponding results. When the construction drawing which is the output of the detail design where a design is dealt by zones, the design manager identifies blocks and analyzes their work difficulties, and assigns jobs to design engineers who are different in capabilities. These processes including the design engineer who can be modeled with man-hours evaluation model are represented in detail as a simulation model. As the high-level modeling for the discrete-event system, we use Event Graph model. And we implemented the simulation using Simkit which is open simulation engine for the discrete-event system. We made the simulation scenario to be written by a user in the scenario generator which is separated from the simulation model, and made the simulation result to be visualized in the form of Gantt chart in a Web. In the scenario of the irregular issuance for various construction drawings which contain different numbers of blocks, we performed the Monte-Carlo simulation according to various assignment methods to find the assignment result that satisfies the mid-term schedule.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 2006년도 춘계공동학술대회 논문집
• /
• pp.1765-1770
• /
• 2006

본 논문에서는 반도체 fab 라인의 물류 설비를 event graph로 모델링 하는 방법론을 제안하고 있다. 최근 반도체 fab 라인 같은 대표적인 자본 집약적 제조라인에서는 운영단계에서 투입 계획, PM schedule 및 operation rule 등을 변화시켜 가며 평가 및 검증해 볼 수 있는 what-if simulation을 위한 line simulator의 필요성이 점점 높아지고 있다. 그러나 상용 simulator는 각 제조라인의 특성에 맞게 customization하는데 많은 시간과 비용이 소요될 뿐만 아니라 특성을 반영하는데 한계가 있다. 따라서 이러한 line simulator를 개발할 때 근간이 되는 설비의 simulation model이 필요하다. 이 때 설비들은 생산(processing) 및 물류(handling) 설비로 나눌 수 있는데, 본 논문에서는 반도체 fab 라인의 물류 설비 모델링 방법을 제시하고 실제 물류 설비를 모델링 해 봄으로써 그 효용성을 알아본다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (B)
• /
• pp.427-429
• /
• 2001

지금까지 가상현실을 이용한 여러 가지 시스템들이 제안되어 왔다. 하지만 이러한 시스템들은 사용자에게 몰입감을 줄 수 있는 예측하기 힘든 다양한 상황을 제공하기보다는 미리 정해진 시나리오를 따라 고정된 형태의 흐름을 가지는 문제점이 있었다. 이를 해결하기 위해가상세계 내에서의 오브젝트의 행동이나 이벤트의 전개를 위한 여러 가지 방법들이 제안되어왔다. 하지만 이 방법들 역시 방대한 탐색 공간이나 한정된 범위내에서만 자율적인 움직임이 가능한 점 등의 문제점을 가지고 있다. 본 논문에서는 이를 해결하기 위하여 Causality에 기반한 이벤트의 전개모델을 제안한다. 이를 위해 본 논문은 먼저 frame구조를 이용하여 정형화한 Structured Causal Graph를 제안하고, 구성되어진 Structured Causal Graph를 이용하여 이벤트를 전개해나가는 방법을 제시한다.

• 한국컴퓨터정보학회논문지
• /
• 제15권12호
• /
• pp.1-9
• /
• 2010

본 논문에서는 첨단 통신 기술을 포함한 IT 기술을 전통산업과 융합한 병렬 이벤트 기반 원격 IT 융합 사례들을 개발하였다. IT 융합 사례들은 다수의 장치와 사용자가 동시에 시스템에서 제공되는 서비스를 이용하거나 이벤트를 발생시킨다. 따라서 다양한 장치들로부터 동시에 발생되는 이벤트를 처리하기 위해 병렬 처리 기법이 필요하다. 이에 본 논문에서는 스레드를 생성하여 병렬 처리가 가능하도록 개발하였으며, 또한 장치와 원격 정보 송수신을 위해 무선 통신 및 전력선 통신과의 연결을 할 수 있는 기술을 개발하였다. 그리고 장치 및 장치와 사용자 포털에서 발생하는 이벤트들을 논리적으로 모델링하기 위해 XML을 이용하여 객체 지향 모델링 기법으로 모델링하였다. 특히 결과들을 효과적으로 보여주기 위해 다양한 시각적인 사용자 인터페이스, 즉 그래프, 테이블 및 그래프와 테이블을 혼합한 방식을 이용하여 실시간으로 볼 수 있도록 개발하였다.

• 제어로봇시스템학회논문지
• /
• 제14권3호
• /
• pp.213-220
• /
• 2008

The object of this paper is to propose a method to deal with the problem of modeling user specifications in approaches based on supervisory control and Petri nets. However, most of Petri Net approaches are based on forbidden states specifications, and these specifications are suitable the use of tool such as the reachability graph. But these methods were not able to show the user specification easily and these formalisms are generally limited by the combinatorial explosion that occurs when attempting to model complex systems. Herein, we propose a new efficient method using FSSTP (Forbidden Sequences of State-Transitions Problem) and theory of region. Also, to detect and avoid the deadlock problem in control process, we use DAPN method (Deadlock Avoidance Petri nets) for solving this problem in control model.

• KIEE International Transactions on Power Engineering
• /
• 제5A권2호
• /
• pp.177-185
• /
• 2005

This paper proposes an expert system that can enhance the accuracy of real-time bus reconfiguration strategy by adopting the local minimum tree search method and that can minimize the spreading effect of the fault by considering the operating condition when a main transformer fault occurs in an automated substation. The local minimum tree search method is used to expand the best-first search method. This method has the advantage that it can improve the solution performance within the limits of the real-time condition. The inference strategy proposed expert system consists of two stages. The first stage determines the switching candidate set by searching possible switching candidates starting from the main transformer or busbar related to the event. The second stage determines the rational real-time bus reconfiguration strategy based on heuristic rules from the obtained switching candidate set. Also, this paper proposes generalized distribution substation modeling using graph theory, and a substation database based on the study results is designed.