• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2000년도 춘계학술대회 논문집
• /
• pp.643-646
• /
• 2000

As many industrial systems become more complex, it becomes extremely difficult to diagnose the cause of failures. This paper presents a failure diagnosis approach based on discrete event system theory. In particular, the approach is a hybrid of event-based and state-based ones leading to a simpler failure diagnoser with supervisory control capability. The design procedure is presented along with a pump-valve system as an example.

• 응용통계연구
• /
• 제29권7호
• /
• pp.1311-1327
• /
• 2016

본 논문에서는 종말 사건에 대한 정보는 주어져 있지만 중간 사건이 구간 중도절단되었거나 연구 기간 도중에 추적이 끊겨 중간 사건의 발생 유무를 모르는 준 경쟁 위험 자료에 다중상태모형을 적용하여 모수를 추정하는 방법을 제안하였다. 이를 위해 상태 간 전이 강도는 정규 프레일티를 랜덤효과로 가진 Cox 비례위험모형을 따른다고 가정하였다. 다섯 가지 상태를 가진 다중상태모형에서 가능한 여섯 가지 경로별로 조건부 우도를 정의하였고 주변 우도를 구하기 위해 조정 가우스 구적법을 적용하였으며 뉴튼-랩슨 방법으로 최적 해를 구하였다. 모수의 95% 신뢰구간 포함률을 통해 제안한 방법의 소표본 성질을 살펴보기 위해 모의실험을 수행하였으며, Persones $Ag{\acute{e}}es$ Quid(PAQUID) 자료 (Helmer 등, 2001)에 제안한 모형을 적용하고 그 결과를 해석하였다.

• 한국정보처리학회논문지
• /
• 제4권6호
• /
• pp.1464-1480
• /
• 1997

분산 시스템은 높은 성능, 결함 허용성, 정보와 자원의 공유 등을 이룰 수 있는 환경을 제공한다. 그러나 분산 시스템 내에서 발생하는 사건과 상태들을 적절히 관리하지 못하면 이러한 장점의 혜택을 받을 수 없게 된다. 이러한 사건과 상태들은 성능 저하, 동작 오류, 수상한 행위 등의 징후가 될 수 있으므로 자세히 분석되어야 한다. 사건/상태를 적절히 관리하려면 이들을 명세하고 효율적으로 탐지할 수 있어야 한다. 본 논문에서는 사건/상태의 중앙 집중 탐지 알고리즘에 대해 설명한다. 다음 계층적 구조를 갖는 분산 시스템에서 이 탐지 알고리즘을 분산화 하는 방안에 대해 설명한다. 분산 알고리즘은 사건/상태 탐지 임무를 부임무들로 분해하는 과정과 부임무들을 적절한 노드들에 할당하는 과정으로 구성된다. 또 이 분산 탐지 알고리즘이 결함 허용성을 갖도록 하는 방안에 대해서도 설명한다.

• Journal of Electrical Engineering and Technology
• /
• 제3권3호
• /
• pp.300-307
• /
• 2008

Event source locating is very important to improving the power quality level. This paper presents a method to determine the relative location of the voltage sag source according to the cause. For this, the concept of the relative location of the source is defined first. Then, the main causes of voltage sag are classified and their characteristics are discussed. From these investigations, the rules to determine the relative location of event source are proposed for each type and the overall algorithm to identify the relative location and the kind of event source is presented. Finally, the proposed method is applied to the IEEE 13-bus test system and it is verified that the method can help to pinpoint the accurate location of the event source.

• 대한산업공학회지
• /
• 제42권2호
• /
• pp.151-164
• /
• 2016

In this paper, we deal with a risk analysis for an IPS (Integrated power system) and propose a simulation model combining the fault tree and event tree in order to estimate the system availability and risk level, together. Firstly, the basic information such as operational scenarios, physical structure, safety systems is explained in order to make the fault tree and event tree of the IPS. Next, we propose a discrete-event simulation model using a next-event time advance technique to advance the simulation time. Also the state transition and activity diagrams are explained to represent the relationship between the objects. By numerical examples, the redundancy allocation is considered in order to decrease the risk level of the IPS.

• 한국정보통신학회논문지
• /
• 제14권6호
• /
• pp.1429-1434
• /
• 2010

일반적으로 모바일 단말용 시뮬레이터에서는 이벤트 발생 순서에 따라 로그 파일에 저장된 이벤트를 다시 단말의 응용 SW로 주입하여 자동적으로 응용 SW를 시험하게 된다. 그러나 동일한 이벤트라도 추출 계층에 따라 모바일 단말용 시뮬레이터의 성능이 달라질 수 있다. 그리고, 복수 개의 응용이 동시에 수행하는 환경에서는 응용에서 추출된 이벤트들의 순서가 시스템 상태에 따라 변경될 수 있다. 즉, 동일한 응용들을 동일한 순서로 수행하더라도 시스템의 상태에 따라 이벤트의 발생순서가 변경되어 어떤 경우에는 오류가 발생하고, 어떤 경우에는 정상적으로 동작하는 경우가 발생한다. 이러한 응용 SW 오류는 디버깅하기가 매우 어렵다. 본 논문에서는 응용 및 커널/미들웨어 계층에서 발생하는 이벤트들을 분석하여, 이들 이벤트들을 재편집함으로써 다양한 응용의 실행상태를 확인할 수 있으며, 또한 각 이벤트들이 응용, 커널 및 미들웨어 계층에 미치는 영향을 효율적으로 파악할 수 있는 이벤트 배열/편집기를 설계 및 구현하였다.

• 한국경영과학회지
• /
• 제16권2호
• /
• pp.128-147
• /
• 1991

We propose a dynamic incidence matrix (DIM) for reflecting states and time conditions of a timed Petri net (TPN) explicitly. Since a DIM consists of a conventional incidence matrix, two time-related vectors and two state-related vectors, we can get the advantages inherent in the conventional incidence matrix of describing a static structure of a system as well as another advantage of expressing time dependent state transitions. We introduce an algorithm providing the DIM with a state transition mechanism. Because the algorithm is, in fact, an algorithmic model for discrete event simulation of TPN models, we provide a theoretical basis of model transformation of a TPN model into a DEVS(Discrete Event system Specification) model. By executing the algorithm we can carry out performance analysis of computer communication protocols which are represented TPN models.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1995년도 춘계학술대회 논문집
• /
• pp.457-462
• /
• 1995

This paper describes diagnosis strategy of the Flexible Multiple Fault Diagnosis Module for forecasting faults in system and deciding current machine state form sensor information. Most studydeal with diagnosis control stategy about single fault in a system, this studies deal with multiple fault diagnosis. This strategy is consist of diagnosis control module such as backward tracking expert system shell, various neural network, numerical model to predict machine state and communication module for information exchange and cooperate between each model. This models are used to describe structure, function and behavior of subsystem, complex component and total system. Hierarchical structure is very efficient to represent structural, functional and behavioral knowledge. FT(Fault Tree). ST(Symptom Tree), FCD(Fault Consequence Diagrapy), SGM(State Graph Model) and FFM(Functional Flow Model) are used to represent hierachical structure. In this study, IA(Intelligent Agent) concept is introduced to match FT component and event symbol in diagnosed system and to transfer message between each event process. Proposed diagnosis control module is made of IPC(Inter Process Communication) method under UNIX operating system.

• 한국언어정보학회지:언어와정보
• /
• 제11권2호
• /
• pp.1-22
• /
• 2007

This paper examines tasi and tto, two Korean adverbs with roughly the same semantic value of again. It presents two empirical generalizations: (i) semantically tasi can mark the recovery of the original state, modifying an eventuality that is token-identical to a contextually-given eventuality, whereas tto is only limited to mark a simple repetition, thus modifying a type-identical event; (ii) functionally tasi can modify result states, but tto cannot. Then, it illustrates how the functional difference of result state modification can be accounted for by the notion of default events.

• Geomechanics and Engineering
• /
• 제17권4호
• /
• pp.375-383
• /
• 2019

In underground retreating longwall coal mining, hard roof collapse is one of the most challenging safety problems for mined-out areas. Identifying precursors for hard roof collapse is of great importance for the development of warning systems related to collapse geohazards and ground control. In this case study, the Xinhe mine was chosen because it is a standard mine and the minable coal seam usually lies beneath hard strata. Real-time monitoring of hard roof collapse was performed in longwall face 5301 of the Xinhe mine using support resistance and microseismic (MS) monitoring; five hard roof collapse cases were identified. To reveal the characteristics of MS activity during hard roof collapse development and to identify its precursors, the change in MS parameters, such as MS event rate, energy release, bursting strain energy, b value and the relationships with hard roof collapse, were studied. This research indicates that some MS parameters showed irregularity before hard roof collapse. For the Xinhe coalmine, a substantial decrease in b value and a rapid increase in MS event rate were reliable hard roof collapse precursors. It is suggested that the b value has the highest predictive sensitivity, and the MS event rate has the second highest.