• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.29 no.1
• /
• pp.72-75
• /
• 2006

Event trees are widely used graphical tool to denote the accident inintiation and escalation to more severe accident. But they have some drawbacks in that they do not have efficient way of updating model parameters and also they can not contain the information about dependency or independency among model parameters. A tool that can cure such drawbacks is an influence diagram. We introduce influence diagrams and explain how to update model parameters and obtain predictive distributions. We show that an event tree can be converted to a statistically equivalent influence diagram, and bayesian prediction can be made more effectively through the use of influence diagrams.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.5
• /
• pp.1272-1279
• /
• 1999

This paper suggests system development method with extended user participation. Context diagram, event diagram, information diagram, management diagram and interface STD are staple products. This method introduces interface STD, management diagram and context diagram with administrator as relator. We adapted to research business of professor and ATM(Automatic Teller machine), when it can be adaptable to business-oriented system.

• Journal of Institute of Control, Robotics and Systems
• /
• v.8 no.5
• /
• pp.401-406
• /
• 2002

As product lifecycles become shorter, factories are pushed to develop small batches of many different products. The highly flexible control systems has become a necessity. The majority of existing automated industrial systems are controlled by programmable logic controllers(PLCs). In most cases, the control programs for PLCs are developed based on ladder diagrams(LDs). However, it is difficult to debug and maintain those LDs because the synthesis of LD itself mainly depends on the experience of the industrial engineer via trial-and-error methods. Hence, in this paper, we propose a discrete event model conversion algorithm for systematic analysis of LDs. The proposed discrete event model conversion algorithm is illustrated by an example of a conveyor system.

• Journal of the Korea Society for Simulation
• /
• v.22 no.4
• /
• pp.109-118
• /
• 2013

This paper adopts the system configuration to assess the reliability instead of making a fault tree (FT), which is a traditional method to analyze reliability of a certain system; this is the reliability block diagram (RBD) method. The RBD method is a graphical presentation of a system diagram connecting the subsystems of components according to their functions or reliability relationships. The equipment model for the reliability simulation is modeled based on the discrete event system specification (DEVS) formalism. In order to make various alternatives of target system, this paper also adopts the system entity structure (SES), an ontological framework that hierarchically represents the elements of a system and their relationships. To enhance the calculation time of reliability analysis, GPU-based accelerations are adopted to the reliability simulation.

• Journal of the Korea Society for Simulation
• /
• v.27 no.3
• /
• pp.23-36
• /
• 2018

Discrete Event System Specification (DEVS) has been used for decades as it provides sound semantics for hierarchical modular specification of discrete event systems. Instead of the mathematical specification, the DEVS diagram, based on the structured DEVS formalism, has provided more intuitive and convenient representation of complex DEVS models. This paper proposes a clean room process for implementation and verification of a DEVS diagram model specification into a simulation software source code. Specifically, it underlies a sequence of transformation steps from conformance and integrity checking of a given diagram model, translation into a corresponding tabular model, and finally conversion to a simulation source code, with each step being inversely verifiable for traceability. A simple example helps developers to understand the proposed process with associated transformation methods; a case study shows that the proposed process is effective for and adaptable to practical simulation software development.

• Journal of Institute of Control, Robotics and Systems
• /
• v.7 no.11
• /
• pp.939-943
• /
• 2001

PLC(programmable Logic Controller)s essential components of modern automation systems encompassing almost every industry. Ladder Diagrams (LD) have been widely used in the design of such PLC since the LD is suitable for the modeling of the sequential control system. However, the synthesis of LD itself mainly depends on the experience of the industrial engineer, which may results in unstructured or inflexible design. Hence, in this paper, we propose a ladder diagram conversion algorithm which systematically produces LDs for PLCs based on discrete event models to enhance the structured and flexible design mechanism.

• JSTS:Journal of Semiconductor Technology and Science
• /
• v.17 no.1
• /
• pp.65-78
• /
• 2017

Single Event Transient has a critical impact on highly integrated logic circuits which are currently common in various commercial and consumer electronic devices. Reliability against the soft and intermittent faults will become a key metric to evaluate such complex system on chip designs. Our previous work analyzing soft errors was focused on parallelizing and optimizing error propagation procedures for individual transient faults on logic and sequential cells. In this paper, we present a new propagation technique where a fault binary decision diagram (BDD) continues to merge every new fault generated from the subsequent logic gate traversal. BDD-based transient fault analysis has been known to provide the most accurate results that consider both electrical and logical properties for the given design. However, it suffers from a limitation in storing and handling BDDs that can be increased in size and operations by the exponential order. On the other hand, the proposed method requires only a visit to each logic gate traversal and unnecessary BDDs can be removed or reduced. This results in an approximately 20-200 fold speed increase while the existing parallelized procedure is only 3-4 times faster than the baseline algorithm.

• Korean Institute of Interior Design Journal
• /
• v.18 no.3
• /
• pp.66-73
• /
• 2009

In the digital age, as it is ambiguous to distinguish between the original and a replica, the order of reproduction which is more realistic than the reality is becoming a new cultural order. Before the period when digital paradigm dominates, always the reality has been an object to be copied. But, today is an age of Simulacre where code of digital technology dominates. Such a phenomenon is shown in the construction space without exception Gilles Deleuze who was a representative philosopher of the post-structuralism depicted the concept of Simulacre as an instant 'event' passing by without change in an object or substance. As the result of analyzing what kinds of feature for the concept of event is expressed in the digital space, a diagram itself could be a design process, the digital space with correlation was able to be created through the change in the meaning according to the changing image and my body which was the leading part to form primary space. In such a meaning, this study pays attention to Deleuze's 'Event(Simulacre)' concept. At this transitional period when a new concept of digital space is about to take root, the modern philosophers' theories and the discussions about spatial relativity should be continually studied, along with the development of spacial theories for the modem construction.

• Journal of the Korean Society of School Health
• /
• v.6 no.1
• /
• pp.78-92
• /
• 1993

The purpose of this study is to find out the stress causes of the primary students in Korea, through the three major methods, life event score, multiple regression about stress causes and G.H.Q. path-diagram. A survey was made of 889 students who were selected among students of six primary schools in seoul and Ka-pyeng, from Sep. 28 to Oct. 2. 1992. The results of this study are summarized as follows : 1. Life event score Among the children's life events, (deaths of family) (degrade of school record) (the increase of absence days) (divorce of parents) (trouble with relationship) are high ranking in life event score. Besides, (scolded by teacher and parents) (beginning of extracurricular work) are spread stress causes. In conclusion, these stress causes are shown by two aspects, home, school, and so children are under stress circumstance in both places. These stress causes vary with area and sex. 2. Multiple regression about stress causes and G.H.Q. This study analysed how a stress caused by home life affects the children's health of mind and body. The most influential factors are , and these factors vary with area and sex. 3. Path-diagram This study proved that socio-psychological school environment raises children to secede from school, and this secession that operates as a stress cause affects children's health of mind and body. This serial process is analysed by path analysis, and made out a path-diagram. In conclusion, as expected socio-psychological,school environment affects the children's health of mind and body. This is shown by two aspects : positive, negative. This stress causes vary with area and sex.

• Journal of information and communication convergence engineering
• /
• v.6 no.3
• /
• pp.279-284
• /
• 2008

We propose the iconic animation of the software requirement specifications by using the object and dynamic models of the object modeling technique(OMT) methodology. In order to produce the iconic animation, we use "graphical classes" and "icon transformations." In general, the graphical classes are defined for each class of the object diagram. The icon transformations which show the activities of the application are constructed by considering the meaning of the activities and are defined by either basic or compound icons. The icon transformations are added to the state diagrams to generate extended state diagrams. The animation system generates the header files and the code instantiating GUI from the object diagram having graphical classes. The system also generates "event methods" from the extended state diagrams. When the event methods are executed, the behavior of the events is animated by the icon transformations.