• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2008.06a
• /
• pp.921-922
• /
• 2008

• Nuclear Engineering and Technology
• /
• v.55 no.1
• /
• pp.25-36
• /
• 2023

Nuclear power plants have recognized the importance of nuclear cybersecurity. Based on regulatory guidelines and security-related standards issued by regulatory agencies around the world including IAEA, NRC, and KINAC, nuclear operating organizations and related systems manufacturing organizations, design companies, and regulatory agencies are considering methods to prepare for nuclear cybersecurity. Cryptographic algorithms have to be developed and applied in order to meet nuclear cybersecurity requirements. This paper presents methodologies for validating cryptographic algorithms that should be continuously applied at the critical control system of I&C in NPPs. Through the proposed schemes, validation programs are developed in the PLC, which is a critical system of a NPP's I&C, and the validation program is verified through simulation results. Since the development of a cryptographic algorithm validation program for critical digital systems of NPPs has not been carried out, the methodologies proposed in this paper could provide guidelines for Cryptographic Module Validation Modeling for Control Systems in NPPs. In particular, among several CMVP, specific testing techniques for ECB mode-based block ciphers are introduced with program codes and validation models.

• Journal of People, Plants, and Environment
• /
• v.22 no.6
• /
• pp.611-619
• /
• 2019

This study was conducted to investigate changes in the mental functions of the elderly in nursing facilities affected by a horticultural therapy program based on validation therapy. To meet the purpose, we conducted a horticultural therapy program based on validation therapy with 58 elderly participants (average age 79.12±6.84, men and women) once a week, 50 minutes per session, in a total of 10 sessions. Participants were divided into the control and experimental group with convenience sampling. The program was carried out from March 15 to November 22, 2018. Vibraimage 8 pro(ELSYS, 2014) is a recent, psychologically based, emotional-recognition visual imaging technology that measures pixels microvibration in terms of digital frequency and amplitude parameters. To examine the effects of the horticultural therapy program based on validation therapy, Vibraimage was used to assess aggression, stress, tension, suspect, balance, charm, energy, self-regulation, inhibition, neuroticism and positive, negative, physiological domains of mental functions before and after program. As a result, the mean score of the positive domain in the control group significantly decreased from 63.89±5.09 to 60.74±5.48, but it decreased without statistical significance in the experimental group from 63.98±5.45 to 61.39±6.02. The mean score of neuroticism in the experimental group significantly decreased from 31.64±10.94 to 22.87±13.79. Moreover, the mean score of the physiological domain in the experimental group also significantly decreased from 25.08±6.27 to 19.42±8.80. Accordingly, horticultural therapy program based on validation therapy can be utilized as a program to promote mental health, especially maintaining positive mental health function of the eldery, helping those who live in long-term care facilities enjoy a happier life more happier.

• Journal of Institute of Control, Robotics and Systems
• /
• v.12 no.8
• /
• pp.834-841
• /
• 2006

Recently, many enterprises are installing AMSs(Automated Manufacturing Systems) for their competitive advantages. As the level of automation increases, proper design and validation of control logic is a imperative task for the successful operation of AMSs. However, current discrete event simulation methods mainly focus on the performance evaluation. As a result, they lack the modeling capabilities for the detail logic of automated manufacturing system controller. Proposed in this paper is a method of validation of the controller logic for automated material handling system using an object-oriented design and simulation. Using this method, FA engineers can validate the controller logic easily in earlier stage of system design, so they can reduce the time for correcting the logic errors and enhance the productivity of control program development Generated simulation model can also be used as a communication tool among FA engineers who have different experiences and disciplines.

• Journal of electromagnetic engineering and science
• /
• v.15 no.3
• /
• pp.181-184
• /
• 2015

Evaluation of radiating radiofrequency fields from hand-held and body-mounted wireless communication devices to human bodies are conducted by measuring the specific absorption rate (SAR). The uncertainty of system validation and probe calibration in SAR measurement depend on the variation of RF power used for the validation and calibration. RF input power for system validation or probe calibration is controlled manually during the test process of the existing systems in the laboratories. Consequently, a long time is required to reach the stable power needed for testing that will cause less uncertainty. The standard uncertainty due to this power drift is typically 2.89%, which can be obtained by applying IEC 62209 in a normal operating condition. The principle of the Automatic Input Power Level Control System (AIPLC), which controls the equipment by a program that maintains a stable input power level, is suggested in this paper. The power drift is reduced to less than ${\pm}1.16dB$ by AIPLC, which reduces the standard uncertainty of power drift to 0.67%.

• The KIPS Transactions:PartC
• /
• v.13C no.4 s.107
• /
• pp.397-404
• /
• 2006

Successful software attacks require both injecting malicious code into a program's address space and altering the program's flow control to the injected code. Code section can not be changed at program's runtime, so malicious code must be injected into data section. Detoured flow control into data section is a signal of software attack. We propose a new software attack detection method which verify the target address of CALL, JMP, RET instructions, which alter program's flow control, and detect a software attack when the address is not in code section. Proposed method can detect all change of flow control related data, not only program's return address but also function pointer, buffer of longjmp() function and old base pointer, so it can detect the more attacks.

• Structural Engineering and Mechanics
• /
• v.15 no.1
• /
• pp.1-19
• /
• 2003

This paper presents the formulation of a new bridge-vehicle system with validation using the field data. Both pitching and twisting modes of the vehicle are considered in the contribution of the dynamic effects in the bridge responses. A heavy vehicle was hired as a control vehicle with known axle weight, axle spacing and spring coefficients. The measured responses were generated from the control vehicle running at a particular speed at a test span at Ma Tau Wai Flyover. The measured responses were acquired using strain gauges installed beneath the girder beams of the test bridge. The simulated responses were generated using BRVEAN that is a self-developed program based on the proposed bridge-vehicle system. The validation shows that the bridge model is valid for representing the test bridge and the governing equations are valid for representing the motion of moving vehicles.

• Journal of the Korean Solar Energy Society
• /
• v.38 no.2
• /
• pp.15-31
• /
• 2018

A program to design a small capacity wind turbine blade is proposed in this study. The program is based on a matlab GUI environment and designed to perform blade design based on the blade element momentum theory. The program is different from other simulation tools available in a point that it can analyze the side-furling power regulation mechanism and also has an algorithm to find out optimal torque schedule above the rated wind speed region. The side-furling power regulation is used for small-capacity horizontal axis wind turbines because they cannot use active pitch control due to high cost which is commonly used for large-capacity wind turbine. Also, the torque schedule above the rated wind speed region should be different from that of the large capacity wind turbines because active pitching is not used. The program developed in this study was validated with the results with FAST which is the only program that can analyze the performance of side-furled wind turbines. For the validation a commercial 10 kW wind turbine data which is available in the literature was used. From the validation, it was found that the performance prediction from the proposed simple program is close to those from FAST. It was also found that the optimal torque scheduling from the proposed program was found to increase the turbine power substantially. Further experimental validation will be performed as a future work.

• Proceedings of the KIEE Conference
• /
• 1997.07c
• /
• pp.948-950
• /
• 1997

This paper presents a basic interposing logic program to control nuclear power plant. In this paper we select a target control loop among the whole interposing modules, develop logic algorithm and functional software to compose target control loop. After that we carry out V&V(Verification and Validation) into the developed logic program to improve quality and reliability.

• Journal of Korean Society of Occupational and Environmental Hygiene
• /
• v.19 no.3
• /
• pp.288-296
• /
• 2009

We conducted validation for asbestos quality control (QC) samples made by the developed method which was presented in our published paper. The main results of the validation study are as follows. The pooled coefficient variations of analytical results in three different concentrations (low, medium, and high concentration) for amosite and chrysotile were less than 20 %, which met the sample homogenicity criteria of NIOSH. Also we confirmed the homogenicity of asbestos samples by using the relocatable field slide. To evaluate the field applicability of the developed asbestos QC samples, the field validation was performed with four proficient asbestos analysts by using the statistical methods of AIHA asbestos PAT program. All analytical results from four asbestos analysts were located in the acceptable range.