• Computers and Concrete
• /
• v.24 no.4
• /
• pp.295-302
• /
• 2019

Evolutionary algorithms based on conventional statistical methods such as regression and classification have been widely used in data mining applications. This work involves application of gene expression programming (GEP) for predicting compressive strength of fly ash geopolymer concrete, which is gaining increasing interest as an environmentally friendly alternative of Portland cement concrete. Based on 56 test results from the existing literature, a model was obtained relating the compressive strength of fly ash geopolymer concrete with the significantly influencing mix design parameters. The predictions of the model in training and validation were evaluated. The coefficient of determination ($R^2$), mean (${\mu}$) and standard deviation (${\sigma}$) were 0.89, 1.0 and 0.12 respectively, for the training set, and 0.89, 0.99 and 0.13 respectively, for the validation set. The error of prediction by the model was also evaluated and found to be very low. This indicates that the predictions of GEP model are in close agreement with the experimental results suggesting this as a promising method for compressive strength prediction of fly ash geopolymer concrete.

• Korean Journal of Remote Sensing
• /
• v.21 no.5
• /
• pp.371-382
• /
• 2005

We present a processing system for the Atmospheric Infrared Sounder (AIRS) sounding suite onboard Aqua satellite. With its unprecedented 2378 channels in IR bands, AIRS aims at achieving the sounding accuracy of radiosonde (1 K in 1-km layer for temperature and $10\%$ in 2-km layer for humidity). The core of the processor is the International MODIS/AIRS Processing Package (IMAPP) that performs the geometric and radiometric correction for generation of Level 1 brightness temperature and Level 2 geophysical parameters retrieval. The processor can produce automatically from received raw data to Level 2 geophysical parameters. As we process the direct-broadcast data almost for the first time among the AIRS direct-broadcast community, a special attention is paid to understand and verify the Level 2 products. This processor includes sub-systems, that is, the near real time validation system which made the comparison results with in-situ measurement data, and standard digital information system which carry out the data format conversion into GRIdded Binary II (GRIB II) standard format to promote active data communication between meteorological societies. This processing system is planned to encourage the application of geophysical parameters observed by AIRS to research the aqua cycle in the Korean peninsula.

• Journal of the Korean Society for Aviation and Aeronautics
• /
• v.29 no.4
• /
• pp.37-44
• /
• 2021

In case of South Korea, the airspace which airlines can operate is extremely limited due to the military operational area located within the Incheon flight information region. As a result, safety problems such as mid-air collision between aircraft or Traffic alert and Collision Avoidance System Resolution Advisory (TCAS RA) may occur with higher probability than in wider airspace. In order to prevent such safety problems, an mid-air collision risk detection model based on Detect-And-Avoid (DAA) well clear metrics is investigated. The model calculates the risk of mid-air collision between aircraft using aircraft trajectory data. In this paper, the practical use of DAA well clear metrics based model has been validated. Aviation safety data such as aviation safety mandatory report and Automatic Dependent Surveillance Broadcast is used to measure the performance of the model. The attributes of individual aircraft track data is analyzed to correct the threshold of each parameter of the model.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2021.06a
• /
• pp.132-132
• /
• 2021

Access to accurate spatial precipitation in many hydrological studies is necessary. Existence of many mountains with diverse topography in South Korea causes different spatial distribution of precipitation. Rain gauge stations show accurate precipitation information in points, but due to the limited use of rain gauge stations and the difficulty of accessing them, there is not enough accurate information in the whole area. Weather radars can provide an integrated precipitation information spatially. Despite this, weather radar data have some errors that can not provide accurate data, especially in heavy rainfall. In this study, some location-based variable like aspect, elevation, plan curvature, profile curvature, slope and distance from the sea which has most effect on rainfall was considered. Then Automatic Weather Station data was used for spatial training of variables in each event. According to this, K-fold cross-validation method was combined with Adaptive Neuro-Fuzzy Inference System. Based on this, 80% of Automatic Weather Station data was used for training and validation of model and 20% was used for testing and evaluation of model. Finally, spatial distribution of precipitation for 1×1 km resolution in Gwangdeoksan radar station was estimates. The results showed a significant decrease in RMSE and an increase in correlation with the observed amount of precipitation.

• The KIPS Transactions:PartC
• /
• v.14C no.4
• /
• pp.313-320
• /
• 2007

In this paper, we propose a method to analyze security vulnerabilities of MS word-processor by checking the validation of its input files. That is, this study is to detect some vulnerabilities in the input file of the word processor by analyzing the header information of its input file. This validation test can not be conducted by the existing software fault injection tools including Holodeck and CANVAS. The proposed method can be also applied to identify the input file vulnerabilities of Hangul and Microsoft Excel which handle a data file with a header as an input. Moreover, our method can provide a means for assessing the fault tolerance and trustworthiness of the target software.

• Environmental Analysis Health and Toxicology
• /
• v.20 no.4 s.51
• /
• pp.297-302
• /
• 2005

The purpose of this study was to provide the standard method for the analysis of organophosphorous pesticides such as chlorpyrifos, diazinon, malathion and parathion in blood. We performed method validation for these pesticides in blood according to EURACHEM (A focus For Analytical Chemistry in Europe) guide. For the analysis of the pesticides, we used solid-phase extraction ,column (Waters Oasis $HLB^{(R)}$. After the extraction, the supernatants were evaporated to dryness under the nitrogen stream. They were analyzed by gas chromatography/mass spectrometry (GC/MS) after reconstituting with ethanol. Terbufos was used as an internal standard. To validate this method, we performed verification procedures with the following parameters: selectivity, linearity of calibration, accuracy, precision, limit of detection and quantification. Validation data according to Eurachem guide were adequate for our purpose for the analysis of chlorpyrifos, diazinon, malathion and parathion in blood.

• Journal of Mechanical Science and Technology
• /
• v.17 no.12
• /
• pp.1844-1854
• /
• 2003

This paper discusses details of modeling and robust control of an AMB (active magnetic bearing) spindle, and part I presents a modeling and validation process of the AMB spindle. There are many components in AMB spindle : electromagnetic actuator, sensor, rotor, power amplifier and digital controller. If each component is carefully modeled and evaluated, the components have tight structured uncertainty bounds and achievable performance of the system increases. However, since some unknown dynamics may exist and the augmented plant could show some discrepancy with the real plant, the validation of the augmented plant is needed through measuring overall frequency responses of the actual plant. In addition, it is necessary to combine several components and identify them with a reduced order model. First, all components of the AMB spindle are carefully modeled and identified based on experimental data, which also render valuable information in quantifying structured uncertainties. Since sensors, power amplifiers and discretization dynamics can be considered as time delay components, such dynamics are combined and identified with a reduced order. Then, frequency responses of the open-loop plant are measured through closed-loop experiments to validate the augmented plant. The whole modeling process gives an accurate nominal model of a low order for the robust control design.

• Korean Journal of Childcare and Education
• /
• v.19 no.1
• /
• pp.43-67
• /
• 2023

Objective: This study aimed to validate a scale which could measure the correct mediation behavior of parents for their children's smart media use. Methods: The subjects were comprised of 514 parents of 5-year-old children. The collected data were analyzed using Jasp. Results: First, in the primary validation process, a total of 19 items and five factors were extracted through exploratory factor analysis. Through secondary validation process, we found that the scale model satisfies the goodness-of-fit evaluation criteria and is valid through confirmatory factor analysis. The newly constructed parents smart media mediation scale in early childhood emerged as a valid and reliable scale. Second, it was found that the more parents pursue 'active mediation', 'instructive mediation', and 'supervision', and avoid 'co-viewing', and 'technical restrictions', the more they had a positive effect on children's smart media usage capabilities. Third, the total score of smart media mediation for young children's parents was found to significantly differentiate young children's smart media overdependence, and self-regulation. Conclusion/Implications: The final smart media mediation scale for young children's parents was composed of 19 items, with five factors: 'co-viewing', 'instructive mediation', 'technical restrictions', 'active mediation', and 'supervision'.

• Tunnel and Underground Space
• /
• v.17 no.6
• /
• pp.464-474
• /
• 2007

An enhancement in the performance and safety of a high-level waste repository requires a validation of its engineered barrier. An engineering-scale test (named "KENTEX") has been conducted to investigate the thermal-hydro-mechanical behaviors in the engineered barrier of the Korean reference disposal system The validation test started on May 31, 2005 and is still under operation. The experimental data obtained allowed a preliminary and qualitative interpretation of the thermal-hydro-mechanical behaviors in the bentonite blocks. The temperature was higher as it became closer to the heater, while it became lower as it was farther away from the heater. The water content had a higher value in the part close to the hydration surface than that in the heater part. The relative humidity data suggested that a hydration of the bentonite blocks might occur by different drying-wetting processes, depending on their position. The total pressure was continuously increased by the evolution of the saturation front in the bentonite blocks and thereby the swelling pressure. Near the heater region, there was also a significant contribution of the thermal expansion of bentonite and the vapor pressure in the pores of the bentonite blocks.

• Journal of the Korean Data and Information Science Society
• /
• v.21 no.3
• /
• pp.407-417
• /
• 2010

In Basel II compliance, internal rating systems are allowed for banks to enhance the self control and the validation of the system are getting more important. The validation methods are composed of qualitative test and quantitative test, three basic standards of which are discriminatory power, stability and calibration. The aim of this article is to review the quantitative tests for calibration and find a new method for it. These methods for discrimination between forecasted PD and observed PD include binomial test, chi square test, Brier score, traffic lights approach, normal test and extended traffic lights approach. We introduce a modified extended traffic lights approach considering asset correlations.