• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 2008년도 춘계학술대회 논문집
• /
• pp.921-922
• /
• 2008

• Nuclear Engineering and Technology
• /
• 제55권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.

• 인간식물환경학회지
• /
• 제22권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.

• 제어로봇시스템학회논문지
• /
• 제12권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
• /
• 제15권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%.

• 정보처리학회논문지C
• /
• 제13C권4호
• /
• pp.397-404
• /
• 2006

소프트웨어 공격이 성공하기 위해서는 공격 코드가 프로그램의 주소 공간에 주입된 후 프로그램의 제어 흐름이 공격 코드 위치로 변경되어야 한다. 프로그램의 주소 공간 중 코드 영역은 실행 중에 변경이 불가능하므로 공격 코드가 주입될 수 있는 곳은 데이터 영역 밖에 없다. 따라서 데이터 영역으로 프로그램의 제어가 변경될 경우 주입된 공격 코드로 제어가 옮겨 가는 공격이 발생한 것으로 판단할 수 있다. 따라서 본 논문에서는 프로그램의 제어 흐름과 관련된 CALL, JMP, RET 명령어의 목적 주소를 검사하여 제어가 옮겨갈 목적 주소가 프로그램의 실행 코드가 저장된 텍스트 영역이 아닌 데이터 영역일 경우 소프트웨어 공격이 발생한 것으로 간주하는 소프트웨어 공격 탐지 기법을 제안하였다. 제안된 방법을 이용하면 함수의 복귀주소뿐만 아니라 함수포인터, longjmp() 버퍼 등 프로그램 제어 흐름과 관련된 모든 데이터가 변경되었는지 점검할 수 있었기 때문에 기존 기법들보다 더 많은 종류의 공격을 탐지할 수 있었다.

• Structural Engineering and Mechanics
• /
• 제15권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.

• 한국태양에너지학회 논문집
• /
• 제38권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.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1997년도 하계학술대회 논문집 D
• /
• 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.

• 한국산업보건학회지
• /
• 제19권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.