• Journal of information and communication convergence engineering
• /
• v.18 no.1
• /
• pp.28-32
• /
• 2020

Railway transportation is the main land-based transportation in most countries. Accordingly, railway-transportation safety has always been a key issue for many researchers. Railway pedestrian accidents are the main reasons of railway-transportation casualties. In this study, we conduct experiments to determine which of the latest convolutional neural network models and algorithms are appropriate to build pedestrian railroad accident prevention systems. When a drone cruises over a pre-specified path and altitude, the real-time status around the rail is recorded, following which the image information is transmitted back to the server in time. Subsequently, the images are analyzed to determine whether pedestrians are present around the railroads, and a speed-deceleration order is immediately sent to the train driver, resulting in a reduction of the instances of pedestrian railroad accidents. This is the first part of an envisioned drone-based intelligent security system. This system can effectively address the problem of insufficient manual police force.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.8 no.4
• /
• pp.91-98
• /
• 2012

This paper implements 2X2 MIMO Long Term Evolution (LTE) base station using Software defined radio (SDR) technology. The implemented base station system processes baseband signals on a Graphics Processor Unit(GPU). GPU is a high-speed parallel processor which provides very important advantage of using a very powerful C-based programming environment that is Compute Unified Device Architecture (CUDA). The implemented software-based base station system processes baseband signals through GPU. It utilizes USRP2 as its RF transceiver. In order to guarantee a real-time processing of LTE baseband signals, we have adopted well-known signal processing algorithms such as frame synchronization algorithms, ML detection, etc. using GPU operating in parallel processing.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1994.10a
• /
• pp.481-486
• /
• 1994

An image processing and pattern recognition program was developed in order to recognize the nummerinc displays on gas flow meters. the testing process of the accuracy of gas flow meters are to be automated, using the developed software. There are already many known pattern recognition algorithms for recognition of the letters. To upgrade the recognization accuracy, four different algorithms are applied in sequentially in the software. An calculation method to assign the weighting factors for the result of each algorithm was developed. It showed 98% accuracy by the pattern recognition of displaying numbers of gas mwters of 33 differnt types. This pattern recognition system is to be integrated in a industry.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.15 no.7
• /
• pp.2476-2495
• /
• 2021

Model-based software architecture verification and test scenarios generation are becoming more and more important in the software industry. Based on the existing temporal graph grammar, this paper proposes a new formalization method of the context-sensitive graph grammar for aiming at UML activity diagrams, which is called the UML Activity Graph Grammar, or UAGG. In the UAGG, there are new definitions and parsing algorithms. The proposed mechanisms are able to not only check the structural correctness of the UML activity diagram but also automatically generate the test scenario according to user constraints. Finally, a case study is discussed to illustrate how the UAGG and its algorithms work.

• Journal of the Korean Society of Systems Engineering
• /
• v.17 no.2
• /
• pp.91-97
• /
• 2021

User interface for cancer classification system is a software application with clinician's friendly tools and functions to diagnose cancer from pathology images. Pathology evolved from manual diagnosis to computer-aided diagnosis with the help of Artificial Intelligence tools and algorithms. In this paper, we explained each block of the project life cycle for the implementation of automated breast cancer classification software using AI and machine learning algorithms to classify normal and invasive breast histology images. The system was designed to help the pathologists in an automatic and efficient diagnosis of breast cancer. To design the classification model, Hematoxylin and Eosin (H&E) stained breast histology images were obtained from the ICIAR Breast Cancer challenge. These images are stain normalized to minimize the error that can occur during model training due to pathological stains. The normalized dataset was fed into the ResNet-34 for the classification of normal and invasive breast cancer images. ResNet-34 gave 94% accuracy, 93% F Score, 95% of model Recall, and 91% precision.

• International Journal of Computer Science & Network Security
• /
• v.24 no.4
• /
• pp.192-196
• /
• 2024

The memory coherence problem occurs while mapping shared virtual memory in a loosely coupled multiprocessors setup. Memory is considered coherent if a read operation provides same data written in the last write operation. The problem is addressed in the literature using different algorithms. The big question is on the correctness of such a distributed algorithm. Formal verification is the principal term for a group of techniques that routinely use an analysis that is established on mathematical transformations to conclude the rightness of hardware or software behavior in divergence to dynamic verification techniques. This paper uses UPPAAL model checker to model the dynamic distributed algorithm for shared virtual memory given by K.Li and P.Hudak. We analyse the mechanism to keep the coherence of memory in every read and write operation by using a dynamic distributed algorithm. Our results show that the dynamic distributed algorithm for shared virtual memory partially fulfils its functional requirements.

• The Transactions of the Korean Institute of Electrical Engineers P
• /
• v.63 no.3
• /
• pp.149-156
• /
• 2014

Generator of hydroelectric generating unit is to be protected by the digital protection IED. Now, any IED of large capacity for hydro power plant was not developed by domestic technology. This is because it is required for the generator of the high reliability technology and considered as due to the sale of the market of IED device is small. However, the protection IED must be develop by domestic technology to meet the advanced needs of the construction and replacement of electrical equipment in accordance with the new power plant development. In this paper, a digital algorithms for protection IED of large size of hydroelectric generating unit were designed. The algorithms consist of the stator protection, anti-motoring, overexcitation and loss of excitation. The performance of the algorithms were evaluated by using the simulation data collected from the PSCAD/EMTDC software. From test results, it can be seen that the developed algorithms were not maloperation.

• Journal of the Korean Society for Nondestructive Testing
• /
• v.29 no.4
• /
• pp.269-282
• /
• 2009

This paper presents a novel approach for Lamb wave based structural health monitoring(SHM) in honeycomb aluminum panels. In this study, a suite of three signal processing algorithms are employed to improve the damage detection capability. The signal processing algorithms used include wavelet attenuation, correlation coefficients of power density spectra, and triangulation of reflected waves. Piezoelectric transducers are utilized as both sensors and actuators for Lamb wave propagation. These SHM algorithms are built into a MatLab interface that integrates and automates the hardware and software operations and displays the results for each algorithm to the analyst for side by side comparison. The effectiveness of each of these signal processing algorithms for SHM in honeycomb aluminum panels under a variety of damage conditions is then demonstrated.

• 제어로봇시스템학회:학술대회논문집
• /
• 1992.10b
• /
• pp.306-311
• /
• 1992

We propose software algorithms which provide the characteristics of acceleration/deceleration essential to high dynamic performance at the transient state where industrial robots or CNC machine tools start and stop. The path error, which is one of the most significant factors in performance evaluation of industrial robots and CNC machine tools, is analyzed for linear, exponential, and parabolic acceleration/deceleration algorithms in case of circular interpolation. The analysis shows that the path error depends on the acceleration/deceleration routine and the servo control system. In experiments, the entire control algorithm including the proposed acceleration/deceleration algorithms is executed on the motion control system with a floating point digital signal processor(DSP) TMS320C30 as a CPU. The experimental results demonstrate that the proposed algorithms are very effective in controlling axes of motion of industrial robots or CNC machine tools with the desired characteristics.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2011.04a
• /
• pp.504-507
• /
• 2011

3D graphic softwares have brought design spaces beyond the limitations of Euclidean space. Moreover, as computational geometry has been considered together with algorithms, generative algorithms are being evolved. Recently 3D graphic softwares with the embedded generative algorithms allow designers to design free form curves and surfaces in a systematic way. While architectural design has been greatly affected by the advancement of 3D graphic technology, such attention has not given in the realm of structural design. Grasshopper is a platform in Rhino to deal with these Generative Algorithms and Associative modelling techniques. This study has tried to develop a module for preliminary structural configuration using Rhino with Grasshopper. To verify the proposed concept in this study, a module for designing a basic type of suspension structure is introduced.