• Journal of Information Processing Systems
• /
• v.15 no.6
• /
• pp.1438-1448
• /
• 2019

We present a new technique, called VED (very effective debugging), for detecting and correcting division by zero errors for all types of .NET application. We use applications written in C# because C# applications are distributed through the internet and its executable format is used extensively. A tool called Immunity Debugger is used to reverse engineer executable code to get binaries of source code. With this technique, we demonstrate integer division by zero errors, the location of the error causing assembly language code, as well as error recovery done according to user preference. This technique can be extended to work for other programming languages in addition to C#. VED can work on different platforms such as Linux. This technique is simple to implement and economical because all the software used here are open source. Our aims are to simplify the maintenance process and to reduce the cost of the software development life cycle.

• Proceedings of the KIEE Conference
• /
• 2002.06a
• /
• pp.41-45
• /
• 2002

In industrial computer vision systems, the image quality is dependent on the parameters such as light source, illumination method, optics, and surface properties. Most of them are related with the lighting system, which is designed in heuristic, based on the designer's experimental knowledge, In this paper, a design code by which the optimal lighting method and light source for computer vision systems can be found are suggested based on experimental results, To prove the usefulness of the design code, it is applied to the lighting system design of the transistor marking inspection system and the results are presented.

• Nuclear Engineering and Technology
• /
• v.49 no.3
• /
• pp.638-644
• /
• 2017

The importance of developing a source-term assessment technology has been emphasized owing to the decommissioning of Kori nuclear power plant (NPP) Unit 1 and the increase of deteriorated NPPs. We analyzed the behavioral mechanism of corrosion products in the primary system of a pressurized heavy-water reactor-type NPP. In addition, to check the possibility of applying the CRUDTRAN code to a Canadian Deuterium Uranium Reactor (CANDU)-type NPP, the type was assessed using collected domestic onsite data. With the assessment results, it was possible to predict trends according to operating cycles. Values estimated using the code were similar to the measured values. The results of this study are expected to be used to manage the radiation exposures of operators in high-radiation areas and to predict decommissioning processes in the primary system.

• Journal of the Optical Society of Korea
• /
• v.17 no.6
• /
• pp.471-480
• /
• 2013

The beating of two or more lasers that have the same or a finite difference in the central frequencies, is the main source of noise in spectral amplitude coding optical code division multiple access (SAC OCDMA) systems. In this paper we adopt a spatial multiplexing (SM) scheme for SAC OCDMA systems to mitigate this beat noise. The results show that for different code weights and different data rates SM SAC can support a larger number of users than the conventional SAC for all different laser source configurations. However, SM SAC requires a more complex system than the conventional SAC, and almost twice as much optical component.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.10 no.2
• /
• pp.13-20
• /
• 2014

In this paper, we implemented the object scanning with nxtOSEK which is an open source platform. nxtOSEK consists of device driver of leJOS NXJ C/Assembly source code, TOPPERS/ATK(Automotive real time Kernel) and TOPPERS/JSP Real-Time Operating System source code that includes ARM7 specific porting part, and glue code make them work together. nxtOSEK can provide ANSI C by using GCC tool chain and C API and apply for real-time multi tasking features. We experimented the 3D scanning with ultra sonic and laser sensor which are made directly by laser module diode and experimented the measurement of scanning the object by knowing x, y, and z coordinates for every points that it scans. In this paper, the laser module is the dimension of $6{\times}10[mm]$ requiring 5volts/5[mW], and used the laser light of wavelength in the 650[nm] range. For detecting the object, we used the beacon detection algorithm and as the laser light swept the objects, the photodiode monitored the ambient light at interval of 10[ms] which is called a real time. We communicated the 3D scanning platform via bluetooth protocol with host platform and the results are displayed via DPlot graphic tool. And therefore we enhanced the functionality of the 3D scanner for identifying the image scanning with laser sensor modules compared to ultra sonic sensor.

• Journal of computational fluids engineering
• /
• v.17 no.2
• /
• pp.21-27
• /
• 2012

Reynolds-averaged Navier-Stokes equations solver based on a pressure-based cell-centered finite volume method was developed using OpenFOAM libraries, which was an open source and providing computational continuum mechanics libraries. For the reasonable development of the turbulent boundary layer on the bow of the ship, specified library was developed. Grid sensitivities, such as skewness and aspect ratio of a cell, were tested for the solution convergence. Pressure, turbulent kinetic energy, turbulent dissipation rate contours on the ship surface computed by the developed CFD code were compared with those computed by the commercial CFD code, Fluent.

• Journal of KIISE:Computing Practices and Letters
• /
• v.7 no.6
• /
• pp.703-714
• /
• 2001

In C language, a local buffer overflow in stack can destroy control information stored near the buffer. In case the buffer overflow is used maliciously to overwrite the stored return address, the system is exposed to serious security vulnerabilities. This paper analyzes the process of buffer overflow hacking and methodologies to avoid the attacks in details. And it proposes a device of static buffer overflow detection by using function summary and tracking information flow of buffer domain at assembly source code level(SASS, Static Assembly Source code Scanner) and then show the feasibility and validity of it by implementing a prototype in Pentium based Linux environment.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.8
• /
• pp.2041-2049
• /
• 1998

This paper suggests a technique for program segmentation and maintenance using PSDG(Post-State Dependency Graph) that improves the quality of a software by identifying and detecting defects in already fixed source code. A program segmentation is performed by utilizing source code analysis which combines the measures of static, dynamic and semantic slicing when we need understandability of defect in programs for corrective maintanence. It provides users with a segmental principle to split a program by tracing state dependency of a source code with the graph, and clustering and highlighting, Through a modeling of the PSDG, elimination of ineffective program deadcode and generalization of related program segments arc possible, Additionally, it can be correlated with other design modeb as STD(State Transition Diagram), also be used as design documents.

• Nuclear Engineering and Technology
• /
• v.54 no.2
• /
• pp.764-769
• /
• 2022

The United Arab Emirates is currently building and operating four units of the APR-1400 developed by a South Korean vendor, Korea Electric Power Corporation (KEPCO). This paper attempts to perform APR-1400 reactor core analysis by using the well-known two-step method. The two-step method was applied to the APR-1400 first cycle using the open-source nodal diffusion code, KOMODO. In this study, the group constants were generated using CASMO-4 fuel transport lattice code. The simulation was performed in Hot Zero Power (HZP) at steady-state and transient conditions. Some typical parameters necessary for the Nuclear Design Report (NDR) were evaluated in this paper, such as effective neutron multiplication factor, control rod worth, and critical boron concentration for steady-state analysis. Other parameters such as reactivity insertion, power, and fuel temperature changes during the Reactivity Insertion Accident (RIA) simulation were evaluated as well. The results from KOMODO were verified using PARCS and SIMULATE-3 nodal core simulators. It was found that KOMODO gives an excellent agreement.

• International Journal of Internet, Broadcasting and Communication
• /
• v.15 no.2
• /
• pp.218-226
• /
• 2023

In Korea, we still use function point based cost estimations for software size and cost of a project. The current problem is that we make difficultly calculating function points with requirements and also have less accurate. That is, it is difficult for non-experts to analyze requirements and calculate function point values with them, and even experts often derive different function points. In addition, all stakeholders strongly make the validity and accuracy of the function point values of the project before /after the development is completed. There are methods for performing function point analysis using source code [1][2][3][4] and some researchers [5][6][7] attempt empirical verification of function points about the estimated cost. There is no research on automatic cost validation with source code after the final development is completed. In this paper, we propose automatically how to calculate Function Points based on natural language requirements before development and prove FP calculation based on the final source code after development. We expect validation by comparing the function scores calculated by forward engineering and reverse engineering methods.