• Nuclear Engineering and Technology
• /
• v.27 no.3
• /
• pp.385-392
• /
• 1995

A software engineering process has been developed for the design of safety critical software for Wolsong 2/3/4 project to satisfy the requirement of the regulatory body. Among the process, this paper described the detail process of validation testing peformed to ensure that the software with its hardware, developed by the design group, satisfies the requirements of the functional specification prepared by the independent functional group. To perform the test, test facility and test software ore developed and actual safety system computer was connected. Three kinds of test cases, i.e., functional test performance test and self-check test were programmed and run to verify each functional specifications. Test failures ore fedback to the design group to revise the software and test result were analyzed and documented in the report to submit to the regulatory body. The test methodology and procedure were very efficient and satisfactory to perform the systematic and automatic test. The test results were also acceptable and successful to verify the software acts as specified in the program functional specification. This methodology can be applied to the validation of other safety-critical software.

• Journal of the Korean Society of Marine Environment & Safety
• /
• v.14 no.2
• /
• pp.163-168
• /
• 2008

Ship detection from satellite remote sensing is a crucial application for global monitoring for the purpose of protecting the marine environment and ensuring marine security. It permits to monitor sea traffic including fisheries, and to associate ships with oil discharge. An automatic ship detection approach for RADARSAT Fine Synthetic Aperture Radar (SAR) image is described and assessed using in situ ship validation information collected during field experiments conducted on August 6, 2004. Ship detection algorithms developed here consist of five stages: calibration, land masking, prescreening, point positioning, and discrimination. The fine image was acquired of Ulsan Port, located in southeast Korea, and during the acquisition, wind speeds between 0 m/s and 0.4 m/s were reported. The detection approach is applied to anchoring ships in the anchorage area of the port and its results are compared with validation data based on Vessel Traffic Service (VTS) radar. Our analysis for anchoring ships, above 68 m in length (LOA), indicates a 100% ship detection rate for the RADARSAT single beam mode. It is shown that the ship detection performance of SAR for smaller ships like barge could be higher than the land-based radar. The proposed method is also applied to estimate the ship's dimensions of length and breadth from SAR radar cross section(RCS), but those values were comparatively higher than the actual sizes because of layover and shadow effects of SAR.

• 제어로봇시스템학회:학술대회논문집
• /
• 2004.08a
• /
• pp.326-329
• /
• 2004

In this paper, we show a new form of blood pressure controller combined PI control with $H_{\infty}$ loop-shaping. Hypertensive patients or post-operative patients need to maintain normally blood pressure. Exact regulation of blood pressure is needed for maintaining variable blood pressure of preventing complications. The regulation of blood pressure is achieved by injecting drugs, and usually sodium nitroprusside is used as those kinds of drugs. It is necessary to control the infusion rate sodium-nitroprusside carefully to achieve the desired blood pressure. It has been known that regulation of blood pressure by automatic controller is more effective than regulation of blood pressure by human operators. The control of blood pressure has many constraints and uncertainties. Most of biological system has the time-varying variables and the side effects such as increased risk of sepsis and organ failure. To solve such a problem, we design a new robust PI controller using $H_{\infty}$ loop-shaping to decrease noise effects that come out from human body and errors for time delay. The system with designed controller shows more stable control of mean blood pressure and more robust performance for uncertainties. Validation methods for the control performance are confirmed to computer simulations.

• IE interfaces
• /
• v.24 no.3
• /
• pp.187-195
• /
• 2011

The automatic radiopharmaceutical module consists of several 2-way valves, couple of syringes, gas supply unit, heating(cooling) unit and sensors to control the chemical reagents as well as to help the chemical reaction. In order to control the actuators of radiopharmaceutical module, the process is tabulated using spread sheet as like excel. Unlike the common program, a trivial error is too critical to allowed in the process because the error can lead to leak the radioactive reagent and to cause the synthesis equipment failure during synthesizing. Hence, the synthesis process has been validated using graphic simulation while the operator checks the whole process visually and undergoes trial and error. The verification of the synthesis process takes a long time and has a difficulty in finding the error. This study presents a methodology to verify the process algebraically while the radiopharmaceutical module is converted to the network model. The proposed method is validated using actual synthesis process.

• Bulletin of the Korean Space Science Society
• /
• 2008.10a
• /
• pp.35.3-36
• /
• 2008

The ground-based spacecraft simulator is a useful tool to realize various space missions and satellite formation flying in the future. Also, the spacecraft simulator can be used to develop and verify new control laws required by modern spacecraft applications. In this research, therefore, Hardware-in-the-loop (HIL) simulator which can be demonstrated the experimental validation of the theoretical results is designed and developed. The main components of the HIL simulator which we focused on are the thruster system to attitude control and automatic mass-balancing for elimination of gravity torques. To control the attitude of the spacecraft simulator, 8 thrusters which using the cold gas (N2) are aligned with roll, pitch and yaw axis. Also Linear actuators are applied to the HIL simulator for automatic mass balancing system to compensate for the center of mass offset from the center of rotation. Addition to the thruster control system and Linear actuators, the HIL simulator for spacecraft attitude control includes an embedded computer (Onboard PC) for simulator system control, Host PC for simulator health monitoring, command and post analysis, wireless adapter for wireless network, rate gyro sensor to measure 3-axis attitude of the simulator, inclinometer to measure horizontality and battery sets to independently supply power only for the simulator. Finally, we present some experimental results from the application of the controller on the spacecraft simulator.

• Proceedings of the KSRS Conference
• /
• v.2
• /
• pp.684-687
• /
• 2006

Airborne imagery must be precisely orthorectified to be used as geographical information data. GPS/INS (Global Positioning System/Inertial Navigation System) and LIDAR (LIght Detection And Ranging) data were employed to automatically orthorectify airborne images. In this study, 154 frame airborne images and LIDAR vector data were acquired. LIDAR vector data were converted to raster image for employing as reference data. To derive images with constant brightness, flat field correction was applied to the whole images. The airborne images were geometrically corrected by calculating internal orientation and external orientation using GPS/INS data and then orthorectified using LIDAR digital elevation model image. The precision of orthorectified images was validated using 50 ground control points collected in arbitrary selected five images and LIDAR intensity image. In validation results, RMSE (Root Mean Square Error) was 0.365 smaller then two times of pixel spatial resolution at the surface. It is possible that the derived mosaicked airborne image by this automatic orthorectification method is employed as geographical information data.

• Journal of Power Electronics
• /
• v.17 no.1
• /
• pp.232-241
• /
• 2017

Advanced control algorithms must be used to make wind power generation truly cost effective and reliable. In this study, we develop a new and simple control scheme that employs model predictive control (MPC), which is used in permanent magnet synchronous generators and grid-connected inverters. The proposed control law is based on two points, namely, MPC-based torque-current control loop is used for the generator-side converter to reach the maximum power point of the wind turbine, and MPC-based direct power control loop is used for the grid-side converter to satisfy the grid code and help improve system stability. Moreover, a simple prediction scheme is developed for the direct-drive wind energy conversion system (WECS) to reduce the computation burden for real-time applications. A small-scale WECS laboratory prototype is built and evaluated to verify the validity of the developed control methods. Acceptable results are obtained from the real-time implementation of the proposed MPC methods for WECS.

• Journal of Institute of Control, Robotics and Systems
• /
• v.14 no.3
• /
• pp.307-317
• /
• 2008

Relaxed static stability(RSS) concept has been applied to improve aerodynamic performance of modem version supersonic jet fighter aircraft. Therefore, flight control system are necessary to stabilize an unstable aircraft and provides adequate handling qualities. Also, flight control systems of modem version aircraft employ a safety system to support emergency situations such as a pilot unknown attitude flight conditions of an aircraft in night flight-testing. This situation is dangerous because the aircraft can lose if the pilot not take recognizance of situation. Therefore, automatic recovery system is necessary. The system called the "Pilot Activated Recovery System" or PARS, provided a pilot initiated automatic maneuver capable of an aircraft recoveries in situations of unusual attitudes. This paper addresses the concept of PARS and designed using nonlinear control law design process based on model of supersonic jet trainer. And, this control law is verified by nonlinear analysis and real-time pilot evaluation using in-house software. The result of evaluation reveals that the PARS support recovery of an aircraft unusual attitude and improve a safety of an aircraft.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.67 no.9
• /
• pp.1224-1231
• /
• 2018

Automatic age estimation has been used in many social network applications, practical commercial applications, and human-computer interaction visual-surveillance biometrics. However, it has rarely been explored. In this paper, we propose an automatic age estimation system, which includes face detection and convolutional deep learning based on an inception module. The latter is a 22-layer-deep network that serves as the particular category of the inception design. To evaluate the proposed approach, we use 4,000 images of eight different age groups from the Adience age dataset. k-fold cross-validation (k = 5) is applied. A comparison of the performance of the proposed work and recent related methods is presented. The results show that the proposed method significantly outperforms existing methods in terms of the exact accuracy and off-by-one accuracy. The off-by-one accuracy is when the result is off by one adjacent age label to the above or below. For the exact accuracy, the age label of "60+" is classified with the highest accuracy of 76%.

• Journal of Wind Energy
• /
• v.9 no.4
• /
• pp.32-39
• /
• 2018

In this study, the annual power production of a wind farm according to obstacles and wind data was predicted for the Garyeok-do wind farm in the Saemangeum area. The Saemangeum Garyeok-do wind farm was built in December 2014 by the Korea Rural Community Corporation. Currently, two 1.5 MW wind turbines manufactured by Hyundai Heavy Industries are installed and operated. Automatic weather station data from 2015 to 2017 was used as wind data to predict the annual power production of the wind farm for three consecutive years. For prediction, a commercial computational fluid dynamics tool known to be suitable for wind energy prediction in complex terrain was used. Predictions were made for three cases with or without considering obstacles and wind direction errors. The study found that by considering both obstacles and wind direction errors, prediction errors could be substantially reduced. The prediction errors were within 2.5 % or less for all three years.