• Proceedings of the KIEE Conference
• /
• 2006.10c
• /
• pp.600-602
• /
• 2006

Some abnormal signals diagnostics and analysis through an important equivalent circuits modeling for passive elements under severe accident conditions have been performed. Unlike the design basis accidents, there are inherently some uncertainties in the instrumentation capabilities under the accident conditions. So, the circuit simulation analysis and diagnosis methods are used to assess instruments in detail when they give apparently abnormal readings as an accident alternative method. The simulations can be useful to investigate what the signal and circuit characteristics would be when similar to a variety of symptoms that can result from the environmental conditions such as high temperature, humidity, and pressure condition. In this paper, a new simulator through an analysis of the important equivalent circuits modeling under temperature accident conditions has been designed, the designed simulator is composed of the LabVIEW code as a main tool and the out-put file of the Multi-SIM code as an engine tool is exported to in-put file of the LabVIEW code. The procedure for the simulator design was divided into two design steps, of which the first step was the diagnosis method, the second step was the circuit simulator for the signal processing tool. It has three main functions which are a signal processing tool, an accident management tool, and an additional guide from the initial screen. This simulator should be possible that it could be applied a output signal analysis to some transient signal by variation of the resistance passive elements in the R-L-C equivalent circuit modeling under various degraded conditions in NPPs.

• KIISE Transactions on Computing Practices
• /
• v.23 no.1
• /
• pp.13-27
• /
• 2017

This paper presents a tool that automatically generates mobile web applications from user interface (UI) models which are based on PELUM (Pattern and Event based Logical User Interface Modeling). PELUM is a method for the effective development of UI-centered embedded systems via UI modeling. The proposed tool consists of a model editor and a code generator. The former provides an environment for modeling a Logical UI Model (LUM) and a Programming Interface Model (PIM) on the web. On the other hand, the code generator sets the screen configuration and events' behavior, according to the LUM, synthesizing a local database schema according to the PIM, and then generates an executable mobile web app. It also can produce mashup web apps by receiving an open API address via the PIM. The generated mobile web apps follow the Model-View-Controller (MVC) architecture in order for users to easily customize them. The proposed tool enables them to generate mobile web apps that can be executed on various devices by modeling logical UIs on the web.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.24 no.4
• /
• pp.522-528
• /
• 2020

Rapidly spreading malware, such as ransomware, trojans and Internet worms, have become one of the new major threats of the Internet recently. In order to resist against their malicious behaviors, it is essential to comprehend how malware propagate and how main factors affect spreads of them. In this paper, we aim to develop a spread prediction tool based on the modeling of malware epidemics. So we surveyed the related studies, and described the system design and implementation. In addition, we experimented on the spread of malware with major factors of malware using the developed spread prediction tool. If you make good use of the proposed prediction tool, it is possible to predict the malware spread at major factors and explore under various responses from a macro perspective with only basic knowledge of the recently wormable malware.

• Journal of Power System Engineering
• /
• v.13 no.5
• /
• pp.46-51
• /
• 2009

Recently, the shock resistance and dynamic characteristics of hard disk drives have become more important due to their highly increased storage density and miniaturization. In this study, we have developed an ANSYS/Mechanical/LS-DYNA based HDD vibration/shock simulation tool for design engineers. This simulation tool using ANSYS APDL can produce a parametric finite element modeling of HDD automatically and has GUI-based applications using the script program language Tcl/Tk. In the present tool, we adopt the reliable methodology of vibration/shock simulation, which is experimentally verified. It is expected that this simulation tool can make the repetitive computational efforts for the shock-proof design of HDD drastically reduced.

• Proceedings of the IEEK Conference
• /
• 2002.07a
• /
• pp.321-324
• /
• 2002

For a rule-based conversion of Hangout into the Roman alphabet rather than a word-for-word conversion, one must come up with a faultless model for the Korean standard pronunciation rules, which are the basis of the Romanization. It is on this foundation that the Korean-Roman alphabet conversion table can be created. For linguistic modeling using PetriNet, modeling boundary and notation of modeling can be defined. In order to describe PetriNet, which is a dynamic modeling tool, as a static one, one can model the standard Korean pronunciation rules and the Hangout-Roman alphabet notation by conversion into incident matrix Thus, this research attempts to develop a mathematical modeling tool for a natural language using PetriNet, and create a Korean-Roman alphabet conversion table.

• Proceedings of the KSR Conference
• /
• 2008.06a
• /
• pp.384-389
• /
• 2008

In this paper, we propose a UML modeling of ATO on-board software. An automatic train operation (ATO) system is a real-time control system, which operates a train without a manual operation by a driver. For the safe and comfortable service, real-time embedded software for ATO on-board equipment should have both of high performance and reliability. UML-based object-oriented modeling technique is introduced and used widely to design software that satisfies this requirement. We used Rhapsody, which is a modeling tool for real-time embedded software, to model the construction and the behavior of ATO on-board equipment. As a result, ATO on-board software which performs the profile calculation and the real-time speed control is designed and implemented. The brief modeling result including behavioral characteristics and the simulation results are presented.

• Journal of Communications and Networks
• /
• v.16 no.4
• /
• pp.385-396
• /
• 2014

In this paper, we present a formal method for modeling and checking an enhanced version of the carrier sense multiple access with collision avoidance protocol related to the IEEE 802.11 MAC layer, which has been proposed as the standard protocol for wireless local area networks. We deal mainly with the distributed coordination function (DCF) procedure of this protocol throughout a sequence of transformation steps. First, we use the unified modeling language state machines to thoroughly capture the behavior of wireless stations implementing a DCF, and then translate them into the input language of the UPPAAL model checking tool, which is a network of communicating timed automata. Finally, we proceed by checking of some of the safety and liveness properties, such as deadlock-freedom, using this tool.

• Transactions of the Korean Society of Machine Tool Engineers
• /
• v.16 no.6
• /
• pp.181-186
• /
• 2007

UBM (Under Bump Metallurgy) of flip chip assemblies consists of several layers such as the solder wetting, the diffusion barrier, and the adhesion layers. In addition, IMC layers are formed between the solder wetting layers (e.g. Cu, Ni) and the solder. The primary failure mechanism of the solder joints in flip chips is widely known as the fatigue failure caused by thermal fatigues or electromigration damages. Sometimes, the premature brittle failure occurs in the IMC layers. However, these phenomena have thus far been viewed from only experimental investigations. In this sense, this paper presents a method for solid modeling of IMC layers in flip chip assemblies, thus providing a pre-processing tool for finite element analysis to simulate the IMC failure mechanism. The proposed modeling method is CSG-based and can also be applied to the modeling of UBM structure in flip chip assemblies. This is done by performing Boolean operations according to the actual sequences of fabrication processes

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.20 no.43
• /
• pp.163-174
• /
• 1997

Development of control model and system for AMS (Automated Manufacturing Systems) has long been interested by researchers. Presented in the paper is a systematic approach to constructing a Petri-nets(PNs) model of AMS and method for design a graphical model of a AMS by using a new modeling tool which is called PNs. So, the procedure of modeling in the AMS is the same as current practice of AMS design and is based on the IOM (Integrated Object-oriented Modeling) paradigm. An AMS, which consists of various machine groups, can produce machine parts in different physical dimensions and lot size. To model such a system, the method which utilizes Sub-PNs are proposed. This enables the models according to part routings. The machine group which causes bottleneck is obtained and modified to relieve the problem. By iterating these steps which consist of modelling, simulation, and performance evaluation, an AMS can e obtained which satisfies the required manufacturing conditions. Finally, the implementation issues of PN modeling are addressed. The approach is the IOM from PN modeling by Sub-PNs and the other is a development of IOM tool for the performance evaluation of AMS.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1995.10a
• /
• pp.1059-1062
• /
• 1995

In cutting system, relative displacement between rool and workpiece is very important. Even though there have been so many works for modeling cutting process of end-milling, most of them have considered only one displacement of either tool or workpiece instead of both. In this paper, the relative displacement between tool and workpiece is considered for modeling cutting process of end-milling using simple experimental modal analysis and cutting force simulation program is developed. In cutting force model, instantaneous uncut chip thickness model is used and Runge-Kutta method is used for the simulation of time varying cutting system.