• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2001년도 합동 추계학술대회 논문집 정보 및 제어부문
• /
• pp.212-214
• /
• 2001

Siphons and traps are special structures of Petri nets with closely related to liveness for the deadlock analysis of Discrete Event Dynamic Systems. It can analysis the liveness of Petri nets using the siphon and trap without to check reachability.[1] Deadlock analysis approach we proposed is based on the notion of potential deadlock which are siphons that eventually become empty. And in this paper, we proposed a initial marking method by siphon to avoid and to prevent deadlock. It is shown that our approach is more efficient than classical state enumeration approach.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• 제18권8호
• /
• pp.2316-2332
• /
• 2024

In this paper, we introduce a web-based system that leverages the capabilities of the ρ(rho)-algorithm, which is a Structure Information Control Net (SICN)-oriented process mining algorithm, with open-source platforms, including Django, Graphviz, and Cytoscape, to facilitate the rediscovery and visualization of business process models. Our approach involves discovering SICN-oriented process models from process instances from the IEEE XESformatted process enactment event logs dataset. This discovering process is facilitated by the ρ-algorithm, and visualization output is transformed into either a JSON or DOT formatted file, catering to the compatibility requirements of Cytoscape or Graphviz, respectively. The proposed system utilizes the robust Django platform, which enables the creation of a userfriendly web interface. This interface offers a clear, concise, modern, and interactive visualization of the rediscovered business processes, fostering an intuitive exploration experience. The experiment conducted on our proposed web-based process discovery system demonstrates its ability and efficiency showing that the system is a valuable tool for discovering business process models from process event logs. Its development not only contributes to the advancement of process mining but also serves as an educational resource. Readers, students, and practitioners interested in process mining can leverage this system as a completely free process miner to gain hands-on experience in rediscovering and visualizing process models from event logs.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2003년도 추계종합학술대회
• /
• pp.572-575
• /
• 2003

인터넷 망에서 멀티미디어 컨퍼런스를 실현하고자 하는 노력은 이 십여년도 넘게 지속되고 있으며, H.323기반의 컨퍼런스 제어에 대한 표준 기술 및 관련된 많은 응용들이 개발되어 왔다. 그러나, 이러한 연구 노력은 표준 기술의 복잡성 등의 문제를 안고 있다. 반면, 인터넷 망에서의 멀티미디어 컨퍼런스에 대한 사용자의 요구는 점점 증가하고 있는 추세이다. 이러한 사용자 요구와 기존의 컨퍼런스 표준 프로토콜의 취약점을 해결하고자 하는 노력이 최근 IETF를 중심으로 이루어지고 있으며, 현재 VoIP 분야에서 H.323을 대체하고 있는 SIP을 사용하여 멀티미디어 컨퍼런스 제어에 적합한 표준 기술을 제정하고 있다. 본 논문에서는 SIP 기반의 컨퍼런스 시스템에서 컨퍼런스 상태정보를 처리하기 위한 컨퍼런스 이벤트 패키지에 대해 살펴본다.

• 제어로봇시스템학회논문지
• /
• 제7권11호
• /
• pp.912-917
• /
• 2001

In this study, we define the measuring method of crank angle precisely using an event and perform a study on the hardware structure and software algorithms which is applicable for the commercial engine. Also we developed a Computer-ECU(Personal computer based electronic control unit) using a computer and a microprocessor, for performing the ignition at a desire position(angle) and for controlling a duty ratio a pulse for ISC(Idle speed control). We applied these algorithms to the modeling which is induced a concept of event and got a better result than a conventional ECU in the state of transient as a result of performing air fuel ratio control in a commercial engine. This technique can be used for the back to improve ECU performance. It the present type of Hybrid I. C voltage regulator is altered to the new type of regulator, we will be surely able to reduce the production cost as well as simplify the design of alternator\`s rear bracket and rectifier part because of the removal of trio diode. Experiment is taken by MS-R004.

• 한국컴퓨터산업학회논문지
• /
• 제3권9호
• /
• pp.1189-1198
• /
• 2002

최근 분산시스템 환경에서 다양한 사용자의 요구에 부응하고 통신망의 효과적인 관리를 위해서는 네트워크 자원의 관리에 대한 정책기반 통신망관리시스템이 요구된다. 본 논문에서는 다양한 통신망의 효율적인 관리와 일관된 관리정책을 적용하기 위해 ECA(Event-Condition-Action) 규칙을 갖는 능동특성의 정책기반 관리객체정보를 모델링하였다. 본 논문에 기술된 정책에는 하나의 외부요인이 발생하였을 때 외부요인이 수행되기 위한 하나이상의 조건과 그 조건이 만족된 경우 수행되는 행위들로 구성된 규칙들을 기술한다. 그리고 실질적인 환경에서 적용되고 있는 ATM 관리객체 중 폭주제어 모델에 정책의 구성요소를 적용함으로써 관리객체의 동적 수행 기능이 체계적이고 정형적으로 기술되는 장점을 제시하였다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 1992년도 제2회 정기총회 및 추계학술 발표회 발표논문 초록
• /
• pp.7-7
• /
• 1992

Extending discrete event modelling formalisms to facilitate greater symbol manipulation capabilities is important to further their use in intelligent control and design of high autonomy systems. This paper defines an extension to the DEVS formalism that facilitates symbolic expression of discrete event times by extending the time base from the real numbers to the field of linear polynomials over the reals. A simulation algorithm is developed to generate the branching trajectories resulting from the underlying non-determinism. To efficiently manage linear polynomial constraints based on feasibility checking algorithm borrowed from linear programming. The extended formalism offers a convenient means to conduct multiple, simultaneous explorations of model behaviors. Examples of application are given with consideration on fault model analysis.

• Nuclear Engineering and Technology
• /
• 제45권5호
• /
• pp.653-664
• /
• 2013

The design of computer-based instrumentation and control (I&C) systems is determined by the allocation of I&C functions to I&C systems and components. Due to the characteristics of computer-based technology, component failures can negatively affect several I&C functions, so that the reliability proof of the I&C systems requires the accomplishment of I&C system design analyses throughout the I&C life-cycle. On one hand, this paper proposes the restructuring of the sequential IEC 61513 I&C life-cycle according to the V-model, so as to adequately integrate the concept of verification and validation. On the other hand, based on a metamodel for the modeling of I&C systems, this paper introduces a method for the modeling and analysis of the effects with respect to the superposition of failure combinations and event sequences on the I&C system design, i.e. the temporal change of physical structure is analyzed. In the first step, the method is concerned with the modeling of the I&C systems. In the second step, the method considers the analysis of temporal change of physical structure, which integrates the concepts of the diversity and defense-in-depth analysis, fault tree analysis, event tree analysis, and failure mode and effects analysis.

• 한국멀티미디어학회논문지
• /
• 제23권5호
• /
• pp.673-682
• /
• 2020

Buildings are becoming more and more high-rise and large-scale in recent years, so in the event of a disaster such as a fire, enormous human and economic damage is expected. Therefore, management, security, and fire control are essential for large buildings in the city. Because these large buildings are very complex outside and inside, they need a three-dimensional control based on 3D modeling rather than a simple flat-oriented control. To do this, this paper designed and implemented a building control system based on 3D modeling. Specifically, we designed a 3D building / facility editing module for 3D modeling of buildings, a 3D based control module for building control, and a linkage module that connects information such as firefighting equipment, electrical equipment and IoT equipment. Based on this design, a building control system based on 3D modeling was implemented.

• 대한의용생체공학회:학술대회논문집
• /
• 대한의용생체공학회 1995년도 춘계학술대회
• /
• pp.155-159
• /
• 1995

A design method that can easily construct intelligent patient monitoring systems is proposed. To achieve the design method, the SES/MB concept and a discrete event-based logic control formalism based on a set theory is introduced. In this control paradigm the controller expects to receive confirming sensor responses to its control commands within definite time windows determined by DEVS model of the system under control. Because data to be used for rule-based symbolic reasoning are to be abstracted, several AI methods are applied the processes. These methods are applied to intelligent patient monitoring systems so that they facilitate transformation from low level raw data to high level linguistic data. Model-based system representations have advantages of reusability, extensibility, flexsibility, independent testability and encapsulation.

• 한국경영과학회지
• /
• 제18권3호
• /
• pp.1-12
• /
• 1993

Several alternative manufacturing control strategies are under study in the literature. They are, specifically, push system, pull system, conwip system, and as a special case, infinite buffer system. We focus on modeling, comparison analysis and design of these systems. The event epoch sequences of each system are generated which also enable us to compare their performance. Then the stochastic monotonicity of these enent epoch sequences in several important design parameters are established through the structure of the generalized semi-Markov schemes on which they are based. Finally, we solve the stochastic optimization problem which minimizes these event epochs. Our results supplement the applicability of some previously known results in the literature.