• Journal of Internet Computing and Services
• /
• v.24 no.5
• /
• pp.51-66
• /
• 2023

In this paper, we propose a new type of process discovery framework, which is named as control-path-driven process group discovery framework, to be used for process mining and process reengineering in supporting life-cycle management of business process models. In addition, we develop a process mining system based on the proposed framework and perform experimental verification through it. The process execution event logs applied to the experimental effectiveness and verification are specially defined as Process BIG-Logs, and we use it as the input datasets for the proposed discovery framework. As an eventual goal of this paper, we design and implement a control path-driven process group discovery algorithm and framework that is improved from the ρ-algorithm, and we try to verify the functional correctness of the proposed algorithm and framework by using the implemented system with a BIG-Log dataset. Note that all the process mining algorithm, framework, and system developed in this paper are based on the structural information control net process modeling methodology.

• Proceedings of the KSRS Conference
• /
• 2003.11a
• /
• pp.129-131
• /
• 2003

The aim of this study is to evaluate the hazard of landslides at Penang, Malaysia, using a Geographic Information System (GIS) and remote sensing. Landslide locations were identified in the study area from interpretation of aerial photographs and field surveys. The topographic and geologic data and satellite image were collected, processed and constructed into a spatial database using GIS and image processing. The used factors that influence landslide occurrence are topographic slope, topographic aspect topographic curv ature and distance from drainage from topographic database, geology and distance from lineament from the geologic database, land use from TM satellite image and vegetation index value from SPOT satellite image. Landslide hazardous area were analysed and mapped using the landslide-occurrence factors by probability - likelihood ratio - method. The results of the analysis were verified using the landslide location data. The validation results showed satisfactory agreement between the hazard map and the existing data on landslide location.

• Journal of Ship and Ocean Technology
• /
• v.8 no.1
• /
• pp.10-30
• /
• 2004

High-fidelity RANS simulations are presented for a ducted marine propulsor, including verification ＆ validation (V＆V) using available experimental fluid dynamics (EFD) data. CFDSHIP-IOWA is used with $\textsc{k}-\omega$ turbulence model and extensions for relative rotating coordinate system and Chimera overset grids. The mesh interpolation code PEGASUS is used for the exchange of the flow information between the overset grids. Intervals V＆V for thrust, torque, and profile averaged radial velocity just downstream of rotor tip are reasonable in comparison with previous results. Flow pattern displays interaction and merging of tip-leakage and trailing edge vortices. In interaction region, multiple peaks and vorticity are smaller, whereas in merging region, better agreement with EFD. Tip-leakage vortex core position, size, circulation, and cavitation patterns for $\sigma=5$ also show a good agreement with EFD, although vortex core size is larger and circulation in interaction region is smaller.

• International conference on construction engineering and project management
• /
• 2007.03a
• /
• pp.356-365
• /
• 2007

The development in the design process is usually based on the choice of a method for designing the system, in which this method is frequently faced with tightening environmental requirements, reducing development cycle times and growing complexity. To tackle such factors, the paper proposes a comprehensive approach focusing on applying systems engineering approach to the building design support. In particular, this paper addresses all capabilities of using some available systems engineering standards (like EIA-632) in the design process. Then, a methodological approach is proposed for the practice of requirements engineering by applying quality assessment and control to design in early phase. The paradigm used, here is to extend and particularly to adapt the work carried out in military and space systems to modern building services by taking into account the semantics of buildings in terms of different engineering fields and architecture issues.

• Nuclear Engineering and Technology
• /
• v.42 no.4
• /
• pp.365-376
• /
• 2010

This paper summarizes the results of a Writing Group on the Extension of CFD codes to two-phase flow safety problems, which was created by the Group for Analysis and Management of Accidents of the Nuclear Energy Agency' Committee on the Safety of Nuclear Installations (NEA-CSNI). Two-phase CFD used for safety investigations may predict small scale flow processes, which are not seen by system thermalhydraulic codes. However, the two-phase CFD models are not as mature as those in the single phase CFD and potential users need some guidance for proper application. In this paper, a classification of various modelling approaches is proposed. Then, a general multi-step methodology for using two-phase-CFD is explained, including a preliminary identification of flow processes, a model selection, and a verification and validation process. A list of 26 nuclear reactor safety issues that could benefit from investigations at the CFD scale is identified. Then, a few issues are analyzed in more detail, and a preliminary state-of-the-art is proposed and the remaining gaps in the existing approaches are identified. Finally, guidelines for users are proposed.

• The Journal of Korea Robotics Society
• /
• v.16 no.4
• /
• pp.327-335
• /
• 2021

In this paper, we propose an embedded robot system based on "ROS2 on Yocto" that can support various robots. We developed a lightweight OS based on the Yocto Project as a next-generation robot platform targeting cloud robotics. Yocto Project was adopted for portability and scalability in both software and hardware, and ROS2 was adopted and optimized considering a low specification embedded hardware system. We developed SLAM, navigation, path planning, and motion for the proposed robot system validation. For verification of software packages, we applied it to home cleaning robot and indoor delivery robot that were already commercialized by LG Electronics and verified they can do autonomous driving, obstacle recognition, and avoidance driving. Memory usage and network I/O have been improved by applying the binary launch method based on shell and mmap application as opposed to the conventional Python method. Finally, we verified the possibility of mass production and commercialization of the proposed system through performance evaluation from CPU and memory perspective.

• Journal of computational fluids engineering
• /
• v.16 no.2
• /
• pp.30-48
• /
• 2011

A three-dimensional thermal-hydraulic code, CUPID, has been developed for the analysis of transient two-phase flows at component scale. The CUPID code adopts a two-fluid three-field model for two-phase flows. A semi-implicit two-step numerical method was developed to obtain numerical solutions on unstructured grids. This paper presents an overview of the CUPID code development and assessment strategy. The governing equations, physical models, numerical methods and their improvements, and the systematic verification and validation processes are discussed. The code couplings with a system code, MARS, and, a three-dimensional reactor kinetics code, MASTER, are also presented.

• Journal of Electrical Engineering and Technology
• /
• v.2 no.3
• /
• pp.386-390
• /
• 2007

At recent times, an essential issue in the replacement of the old analogue I&C to computer-based digital systems in nuclear power plants becomes the quantitative software reliability assessment. Software reliability models have been successfully applied to many industrial applications, but have the unfortunate drawback of requiring data from which one can formulate a model. Software that is developed for safety critical applications is frequently unable to produce such data for at least two reasons. First, the software is frequently one-of-a-kind, and second, it rarely fails. Safety critical software is normally expected to pass every unit test producing precious little failure data. The basic premise of the rare events approach is that well-tested software does not fail under normal routine and input signals, which means that failures must be triggered by unusual input data and computer states. The failure data found under the reasonable testing cases and testing time for these conditions should be considered for the quantitative reliability assessment. We presented the quantitative reliability assessment methodology of safety critical software for rare failure cases in this paper.

• Journal of Applied Reliability
• /
• v.16 no.3
• /
• pp.216-223
• /
• 2016

Purpose: This paper suggests the procedure to enhance the reliability of the software of the medical device that is to cure, treat, diagnose, and prevent a disease or an abnormal health conditions. Methods: After test requirements are classified by the software requirements specification for safety and backgrounds, reliability assessment methods are suggested. Results: Verification and validation for function and safety can be performed whether the medical device software are implemented as intended. Conclusion: Procedure on the static analysis, unit test, integration test, and system test are provided for the medical device software.

• Journal of the Korean Society of Systems Engineering
• /
• v.5 no.1
• /
• pp.33-41
• /
• 2009

The analog or partly digital typed interface of main control room in nuclear power plant (NPP) is gradually being replaced to the totally digitalized interface suitable for the digital environment. SKN 3,4 Nuclear Power Plant is currently developed in such a way to employ advanced displays and controls such as computerized procedure system(CPS), large display panel(LDP), and Soft control. According to the developed design process, the main control room (MCR) of the SKN3,4 was aesthetically designed based on a design concept of the health and sustainability and technically evaluated with human factors guidelines, which somehow lack of the confidence on the evaluation for the rapidly changing digital environment. The suitable review guideline for the digitalized interface and the environment was developed such as the guideline for CPS with information displays on VDU. For the guideline development, tremendous guidelines and technical papers related to evaluation issues of digital environment has been collected, analyzed and transformed to electric database forms and then built on database management system, called Design Review Supporting System to retrieve the appropriate issues for the practical usage of evaluators-in-field.