• Nuclear Engineering and Technology
• /
• v.31 no.2
• /
• pp.157-171
• /
• 1999

In this work, an automatic software verification method for Nuclear Power Plant (NPP) protection system is developed. This method utilizes Colored Petri Net (CPN) for system modeling and Prototype Verification System (PVS) for mathematical verification. In order to help flow-through from modeling by CPN to mathematical proof by PVS, an information extractor from CPN models has been developed in this work. In order to convert the extracted information to the PVS specification language, a translator also has been developed. ML that is a higher-order functional language programs the information extractor and translator. This combined method has been applied to a protection system function of Wolsong NPP SDS2(Steam Generator Low Level Trip). As a result of this application, we could prove completeness and consistency of the requirement logically. Through this work, in short, an axiom or lemma based-analysis method for CPN models is newly suggested in order to complement CPN analysis methods and a guideline for the use of formal methods is proposed in order to apply them to NPP Software Verification and Validation.

• Journal of Environmental Science International
• /
• v.13 no.7
• /
• pp.637-643
• /
• 2004

A new method of automatic recording raingauge is developed to measure rainfall with 0.01mm resolution. This use two different signals to measure rainfall more accurately compare than other raingauges. One is weight of the tipping bucket with rainfall amount and the other is pulse from tipping bucket reverse. New method applied 1 mm tipping bucket mechanism and install loadcell under tipping bucket mechanism for measuring rainfall weight. Loadcell measure weight of rainfall until 1 mm with 0.01 mm resolution and more than 1 mm than bucket reverse and pulse signal generate, after that loadcell measure weight again. The validation of new instrument was examined in the room 65 mm/hour rainfall rate total 53 mm range. There is below than 1 % error of absolute rainfall amount and 0.01 mm resolution. The field test of instrument was carried out by comparing its measured values with values recorded by weight type and standard type on June 1 2003 at Terrestrial Environmental Research Center at Tsukuba University in Tsukuba of Japan, when it has recorded total amount of 40.58 mm rainfall by standard raingauge and new raingauge recorded 41.032 mm. Same rainfall intensity pattern observed in field observation with weight type raingauge. Rainfall intensity between weight type and Lee-A type raingauge reached 0.9947 correlation in 3 minute average.

• International Journal of Highway Engineering
• /
• v.14 no.4
• /
• pp.141-148
• /
• 2012

PURPOSES : This study demonstrates the need for the collection of road weather information in order to perform efficient snow removal works during the winter season. Snow removal operations are usually dependent upon weather information obtained from the Automatic Weather Station provided by the Korea Meteorological Administration. However, there are some difference between road weather and weather forecasts in their scope. This is because general weather forecasts are focused on macroscopic standpoints rather than microscopic perspectives. METHODS : In this study, the relationship between snow removal works and historical weather forecasts are properly analyzed to prove the importance of road weather information. We collected both weather data and snow removal works during winter season at "A" regional offices in Gangwon areas. RESULTS : Results showed that the validation of weather forecasts for snow removal works were depended on the height difference between AWS location and its neighboring roadway. CONCLUSIONS : Namely, it appears that road weather information should be collected where AWS location and its neighboring roadway have relatively big difference in their heights.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2002.11b
• /
• pp.422-427
• /
• 2002

This paper focuses on the formulation and validation of an automatic strategy for the selection of the locations and directions of strain gauges to capture at best the modal response of a blade in a series of modes. These locations and directions are selected to render the strain measurements as robust as possible with respect to random mispositioning of the gauges and gauge failures. The approach relies on the evaluation of the signal-to-noise ratios of the gauge measurements from finite element strain data and includes the effects of gauge size. A genetic algorithm is used to find the strain gauge locations-directions that lead to the largest possible value of the smallest modal strain signal-to-noise ratio, in the absence of gauge failure, or of its expected value when gauge failure is possible. A fan blade is used to exemplify the applicability of the proposed methodology and to demonstrate the effects of the essential parameters of the problem, i.e. the mispositioning level, the probability of gauge failure, and the number of gauges.

• Transactions of the Korean Society of Automotive Engineers
• /
• v.16 no.2
• /
• pp.8-17
• /
• 2008

This paper presents the Matlab/Simulink-based software-in-the-loop simulation(SILS) environment which is the co-simulator for temporal and functional simulations of control systems. The temporal behavior of a control system is strongly dependent on the implemented software and hardware such as the real-time operating system, the target CPU, and the communication protocol. The proposed SILS abstracts the system with tasks, task executions, real-time schedulers, and real-time networks close to the implementation. Methods to realize these components in graphical block representations are investigated with Matlab/Simulink, which is most commonly used tool for designing and simulating control algorithms in control engineering. In order to achieve a seamless development from SILS to rapid control prototyping (RCP), the SILS block-set is designed to support automatic code generation without tool changes and block modifications.

• Journal of Institute of Control, Robotics and Systems
• /
• v.17 no.8
• /
• pp.747-752
• /
• 2011

HMMs (Hidden Markov Models) are widely used for biological signal, such as EEG (electroencephalogram) sequence, analysis because of their ability to incorporate sequential information in their structure. A recent trends of research are going after the biological interpretable HMMs, and we need to control the complexity of the HMM so that it has good generalization performance. So, an automatic means of optimizing the structure of HMMs would be highly desirable. In this paper, we described a procedure of classification of motor imagery EEG signals using HMM. The motor imagery related EEG signals recorded from subjects performing left, right hand and foots motor imagery. And the proposed a method that was focus on the validation of the HSA (Harmony Search Algorithm) based optimization for HMM. Harmony search algorithm is sufficiently adaptable to allow incorporation of other techniques. A HMM training strategy using HSA is proposed, and it is tested on finding optimized structure for the pattern recognition of EEG sequence. The proposed HSA-HMM can performs global searching without initial parameter setting, local optima, and solution divergence.

• IEIE Transactions on Smart Processing and Computing
• /
• v.6 no.1
• /
• pp.21-26
• /
• 2017

In this paper, we suggest an automated sleep scoring method using machine learning algorithms on accelerometer data from a wristband device. For an experiment, 36 subjects slept for about eight hours while polysomnography (PSG) data and accelerometer data were simultaneously recorded. After the experiments, the recorded signals from the subjects were preprocessed, and significant features for sleep stages were extracted. The extracted features were classified into each sleep stage using five machine learning algorithms. For validation of our approach, the obtained results were compared with PSG scoring results evaluated by sleep clinicians. Both accuracy and specificity yielded over 90 percent, and sensitivity was between 50 and 80 percent. In order to investigate the relevance between features and PSG scoring results, information gains were calculated. As a result, the features that had the lowest and highest information gain were skewness and band energy, respectively. In conclusion, the sleep stages were classified using the top 10 significant features with high information gain.

• ETRI Journal
• /
• v.18 no.4
• /
• pp.265-286
• /
• 1997

This paper presents a new software development environment that supports an integrated methodology for covering all phases of software development and gives integrated methods with tools for ITUT (Telecommunication Standardization Section of the International Telecommunication Union) languages. The design of the environment to improve software productivity and quality is based on five main concepts: 1) formal specifications based on SDL (Specification and Description Language) and MSC (Message Sequence Charts) in the design phase, 2) verification and validation of those designs by tools, 3) automatic code generation and a safe separate compilation scheme based on CHILL (CCITT High-Level Language) to facilitate programming-in-the-many and programming-in-the-large. 4) debugging of distributed real-time concurrent CHILL programs, and 5) simulation of application software for integrated testing on the host machine based on CHILL. The application results of the environment compared with other approaches show that the productivity is increased by 19 % because of decreasing implementation and testing cost, and the quality is increased by 83 % because of the formal specifications with its static and dynamic checking facilities.

• Journal of the Korean Society for Precision Engineering
• /
• v.13 no.5
• /
• pp.104-114
• /
• 1996

For the improvement of productivity, the reduction of cost and time for manufacturing is mandatory, especially in the field of electromic industry. The study is concerned with a practical means of systematic assistance to formability estimation and selection of reliable design specification for electronic sheet metal parts. The objective of this research work is to develop a simulation system which hops to analyze the target processes with the finite element method and to acquire available design data quickly and exactly. The simulation system developed in the study consists of design verification, selection of optimal combination of parameters, knowledge acquisition and graphical user interface(GUI). Design verification is automatically carried out by using the finite element method. A data base management system and nomograms are utilized for knowledge acquisition. The developed system has been applied to some major sheet metal forming operations such as flanging, embossing, bending and blanking. According to the simulated results, the validation of the target processes has been confirmend. Analysis data, estimation rules of formability and graphical representation of the analysis have been employed for the designer's understanding and evaluation, thus providing a practical means of robust design and evaluation of forma- bility for producing electronic sheet metal parts.

• Transactions of the Korean Society for Noise and Vibration Engineering
• /
• v.14 no.8
• /
• pp.757-766
• /
• 2004

This paper focuses on the formulation and validation of an automatic strategy to select the optimal location and direction of strain gauges for the measurement of the modal response. These locations and directions are important to render the strain measurements as robust as possible when a random mispositioning of the gauges and gauge failures are expected. The approach relies on the evaluation of the signal-to-noise ratios of the gauge measurements from strain data of finite element. The multi-step optimization strategy including genetic algorithm is used to find the strain gauge locations-directions that maximize the smallest modal strain signal-to-noise ratio in the absence of gauge failure or its expected value when gauge failure is possible. A flat Plate is used to prove the applicability of the proposed methodology and to demonstrate the effects of the essential parameters of the problem such as the mispositioning level, the probability of gauge failure, and the number of gauges.