• Proceedings of the Korea Concrete Institute Conference
• /
• 한국콘크리트학회 2000년도 가을 학술발표회 논문집(II)
• /
• pp.1025-1030
• /
• 2000

Recently, surface-treatment agent was developed to restore performance of the deteriorated concrete and inhibiting corrosion of the reinforcing-bar. The performance of surface-treatment agent was verified and this agent has been broadly in America and European countries. However, this type agent has not been used broadly in Korea because performance of the agent isn't verify by a proper test method yet. In this study, we suggested our own test procedures and methods through extensive laboratory tests to verify the performance of concrete after applying the surface-treatment agent.

• Journal of the Korean Society of Radiology
• /
• 제17권7호
• /
• pp.1189-1195
• /
• 2023

In scenarios involving inspections and verifications of nuclear facilities, ensuring the proper functioning of on-site safeguards equipment is crucial. There have been precedents in Kazakhstan where equipment failed to operate properly due to extremly cold temperatures, and the year-round minimum temperature at North Korea's Punggye-ri nuclear test site is approximately minus 30 degrees Celsius. To ensure the proper functioning of equipment in extreme environments for on-site verification of nuclear activities on the Korean Peninsula, relevant research is necessary. This includes confirming the functionality of equipment used in inspections and verifications, as well as analyzing factors that may disrupt their normal operation. This study aims to conduct a risk analysis for the normal operation of equipment in extreme environments and develop criteria and procedures for environmental-based performance testing. To achieve this, we conducted a risk analysis based on IAEA safeguards, analyzed the utilization of equipment, and performed a risk analysis associated with transportation for on-site verification considering the environmental characteristics of the Korean Peninsula. Furthermore, we provided performance testing criteria and procedures. The research results can be utilized as reference material in the verification and monitoring processes of nuclear activities.

• Journal of Advanced Navigation Technology
• /
• 제21권1호
• /
• pp.50-57
• /
• 2017

Recently, safety-critical aviation system development programs promoted domestically have been terminated in the middle stage or they have not been put to practical use at the final stage. The program failure may be caused by various factors, but this study focused on imperfect test and evaluation(T&E) procedures. In general, T&E process of a safety-critical system must be distributed throughout the entire life-cycle of the system, have a continuity in phases, and can be implemented in a variety of ways depending on the maturity of the system development and acquisition strategy. This paper aims to present a new strategy by analyzing the domestic and overseas T&E processes to reduce the risk of domestic safety-critical CNS/ATM system development program and increase the success rate of program. First, we discuss the verification and validation techniques for safety-critical systems, analyze the T&E procedures of advanced institutes and the domestic situation, and then compare the domestic and overseas T&E processes to complement the imperfect testing procedure.

• Journal of Radiation Protection and Research
• /
• 제42권4호
• /
• pp.212-221
• /
• 2017

Background: This study aims to calculate detector positions as a design of a radioactive source localizing radiation portal monitor (RPM) system using an improved genetic algorithm. Materials and Methods: To calculate of detector positions for a source localizing RPM system optimization problem is defined. To solve the problem, a modified iterative genetic algorithm (MIGA) is developed. In general, a genetic algorithm (GA) finds a globally optimal solution with a high probability, but it is not perfect at all times. To increase the probability to find globally optimal solution rather, a MIGA is designed by supplementing the iteration, competition, and verification with GA. For an optimization problem that is defined to find detector positions that maximizes differences of detector signals, a localization method is derived by modifying the inverse radiation transport model, and realistic parameter information is suggested. Results and Discussion: To compare the MIGA and GA, both algorithms are implemented in a MATLAB environment. The performance of the GA and MIGA and that of the procedures supplemented in the MIGA are analyzed by computer simulations. The results show that the iteration, competition, and verification procedures help to search for globally optimal solutions. Further, the MIGA is more robust against falling into local minima and finds a more reliably optimal result than the GA. Conclusion: The positions of the detectors on an RPM for radioactive source localization are optimized using the MIGA. To increase the contrast of the measurements from each detector, a relationship between the source and the detectors is derived by modifying the inverse transport model. Realistic parameters are utilized for accurate simulations. Furthermore, the MIGA is developed to achieve a reliable solution. By utilizing results of this study, an RPM for radioactive source localization has been designed and will be fabricated soon.

• Journal of Positioning, Navigation, and Timing
• /
• 제12권2호
• /
• pp.185-200
• /
• 2023

The Korea Augmentation Satellite System (KASS) is the first satellite navigation enhancement system in Korea developed in compliance with international standards. Technologies accumulated during the development process should be spread to industries such as academia and serve as the basis for developing the domestic satellite navigation field. This paper introduces the development process from design to implementation, testing, and verification of KASS control systems (KCS). First, development standards, milestones, requirements, and interface standards are presented as KCS development methods, and major functional design, physical design, and hardware/software implementation are described based on the allocated requirements. Subsequently, the verification environment, procedures, and results of the development product are covered and the developed operational and maintenance procedures are described. In addition, based on the experience gained through the development, suggestions were made for beneficial technology development and organization when promoting satellite navigation projects in the future. Since this work has important historical value for the development of domestic satellite navigation, it is expected that the development results will be shared with academia and industry in the future and be used as basic data for similar development.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• 제26권1호
• /
• pp.247-257
• /
• 2016

It is required to have Personal Information Agreement when a financial company uses personal information by the Law of Privacy. So, financial companies have to demand customers the submission of Personal Information Agreement. Thus, financial companies have made Personal Information Agreement in various formats for customers. However, financial companies are lack of a verification process, the cases of collecting invalid Agreement often occurred. This study focuses on the verification process of Personal Information Agreement and the contents of Personal Information Agreement. In conclusion, this study proposes an improved model that added to the process of verification for the concept of Agreement. Based on this study, I hope financial companies to reform their agreement process and to improve the effectiveness on the implementation of Personal Information Utilization Agreement.

• Journal of the Korean Society of Propulsion Engineers
• /
• 제23권2호
• /
• pp.95-103
• /
• 2019

Control systems of compressed gas supply facility are responsible for storing and supplying compressed gases required for launch complex qualification test and launch operation. Most of the facilities that make up the launch complex require compressed gas for their operation. Therefore, such control systems should be developed and verified earlier rather than the other systems that constitute the launch complex. Each verification for hardware and software is performed separately. In particular, software verification of control algorithms loaded on the controller takes a lot of time and man power during the development period of the control system. Thus, specific test procedures and methods should be prepared in advance for efficient development. This paper introduces the configuration of a compressed gas supply facility and its control system with the verification procedure and results of major algorithms.

• Journal of Korea Trade
• /
• 제27권1호
• /
• pp.101-118
• /
• 2023

Purpose - Korea became a trillion-dollar trading country in 2011. With the exponential increase in Korea's trade volume over the past decades, trade-related administrative burdens per capita for Korea Customs became enormous, for which the government established the Single Window, a trade-facilitating system, in 2004 to enhance the efficiency of customs-clearing procedures for traders. This paper focuses on finding whether the Korean Single Window system affects the country's trade facilitation positively through an empirical methodology. Design/methodology - To find empirical evidence that Single Window affects trade facilitation for the customs-clearing procedure, this study assumes that a time-efficient environment enables the handling of the increase in trade volume, under which four independent variables related to import customs-clearing procedures and two dependent variables to import were adopted for empirical analysis. The import customs procedures are classified into four steps from port entry to declaration acceptance. To understand the relationship between variables, scattered plots and correlation coefficients were calculated. Eight hypotheses were set and underwent simple linear regression. The data for analysis were collected by Korea Customs, and were about the lead time of import, the volume of imports in million USD, and the number of import declarations reported to customs offices on a monthly basis from 2005 to 2013. Findings - Six of the eight hypotheses showed the statistically significant result that lead time in the import customs-clearing procedure positively affects the number of import declaration reports and import volume. Specifically, Hypothesis 1, Hypothesis 2, and Hypothesis 3 strongly support the assumption lead time in import customs declaration has an inverse relationship with the number of import declarations, which means that the shorter the import lead time, the more import declaration increases. Research Limitations/Implications - With limited data accessibility to the government's custom-sclearing procedures, only the import lead time for customs clearance were adopted as independent variables. This paper, however, successfully found that the Single Window system contributed to trade facilitation. Originality/value - This study found that the time-saving Single Window system of Korea Customs enables itself to manage an exponentially-increasing trade volume by creating a trade-facilitating environment for customs personnel and traders, which may be a unique implication found through quantitative methodology.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• 제37권4호
• /
• pp.359-366
• /
• 2009

MATLAB Autocode generation is a feature that converts a block diagram model in Simulink to a c program. Utilizing this function makes MATLAB/Simulink an integrated developing environment, from controller design to implementation. It can reduce development cost and time significantly. However, this automated process requires high reliability on the software, especially the original Simulink block diagram model. And thus, the verification of the codes becomes important. In this study, a UAV flight program which is generated with Simulink is validated and modified according to DO-178B. As a result of applying the procedures, the final program not only satisfied the functional requirement but is also verified with structural point of view with Decision Coverage 93%, Condition Coverage 95% and MC/DC 90%.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• 제37권3C호
• /
• pp.233-240
• /
• 2012

Unlike traditional factory environment, in an industrial factory network applied wireless sensor network technologies, all procedures of discovery, identification and verification of devices should be performed in an automatic fashion. To address these challenges, we design a management system using the device registry server that we propose in this paper. In the phase of device discovery, the proposed system utilizes properties of routing protocol running in factories. Also, in the phase of identification and verification, the system uses unique and general information of a device stored within the device registration server. Such a way allows management system to reduce implementation complexity and to easily manage devices in a factory applied with a wireless network consisting of heterogeneous devices.