• Economic and Environmental Geology
• /
• v.45 no.5
• /
• pp.525-533
• /
• 2012

Snowmelt from seasonal snow covers can be significant in many environments of northern and alpine areas. Water flow and chemical transport resulting from snowmelt have been studied for an understanding of contributions to watersheds or catchments. A Mobile-Immobile water Model (MIM) was developed to describe the movement of ionic tracers through a snowpack by Lee et al. (2008a) and Lee et al. (2008b). To validate the model used in the studies, mass balance calculations of the model were conducted and comparisons were made between model results and analytical solutions in this work. Mass balance was calculated based on the fact that change in total mass within a snowpack with time is equal to sum of any change in the flux of water or ionic tracers into and out of the snowpack. Calculations of both water and ionic mass show almost perfect agreement between changes of two water and solute mass fluxes. Comparisons between model results and analytical solutions including wave velocity and effective saturation show almost perfect agreement.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.37 no.7
• /
• pp.642-652
• /
• 2009

Most of lap jointed aircraft structures encounter the fretting damages, which provoke fretting cracks prematurely and lead to significant reduction of fatigue life. In the case of ageing aircrafts especially, this fretting fatigue problem is a fatal threat for the safety and airworthiness. Recently, as the service life extension program(SLEP) of ageing aircrafts has become a hot issue, the prediction of fretting fatigue life is also indispensable. On these backgrounds, a series of experimental tests of fretting fatigue on bolted lap joint specimens, were performed. And the fretting crack initiation and propagation life of each specimen were evaluated using existing and newly proposed prediction models with the fretting parameters obtained from the FEA results for elasto-plastic contact stress analyses. The validations of prediction models were also discussed, comparing the prediction results with experimental test ones.

• Journal of Korean Society for Atmospheric Environment
• /
• v.25 no.3
• /
• pp.179-187
• /
• 2009

This paper describes the field evaluation of a sampling and analytical method for the quantity of airborne hexavalent chromium ($Cr^{6+}$) in the industrial areas, such as Sihwa and Banwol. Ambient measurements were performed by using the cellulose filter during the four seasons (October 2006 to June 2007). The determination of hexavalent chromium was carried out by ion chromatography. Performance validations, including method detection limit, relative standard deviation, and recovery percent, were also investigated. The mean concentrations of $Cr^{6+}$ in Sihwa and Banwol were 0.767 and 0.796 $ng/m^3$, respectively, which are similar to those of other foreign industrial areas. The seasonal variations of $Cr^{6+}$ levels were not quite different, which implies that the chromium was continuously emitted from the industrial sources throughout the year. The concentration variations between total chromium and $Cr^{6+}$ have also shown the similar pattern, suggesting that these components originate from the same sources. The concentration of $Cr^{6+}$ was found to be 0.7 to 2.4% of the total chromium. From these results, the approach using the cellulose filter may be suitable to collect $Cr^{6+}$ in the ambient air.

• Journal of Environmental Health Sciences
• /
• v.36 no.6
• /
• pp.510-517
• /
• 2010

Phthalates, such as di (2-ethylhexyl) phthalate (DEHP), dibutyl phthalate (DBP) have been proved to be teratogenics and endocrine disruptors, metabolized rapidly and excreted in the urine. In this study, a simultaneous analytical method for 10 phthalate metabolites, MnBP, MiBP, MBzP, MCHP, MEHP, MEHHP, MEOHP, MnOP, MiNP and MiDP, in human urines, based on switching system with on-line pretreatment column using HPLC-MS/MS has been developed. This method was validated according to the guideline of bioanalytical method validation of National Institute of Toxicological Research. Limits of detection range between 0.2 and 0.9 ng/ml for 10 phthalate metabolites. The calibration curves showed linearity in the range 0.997~0.999, and the results of the intra- and inter-day validations were in the range from 0.4 to 14.7% RSD and from 0.3 to 9.4% RSD, respectively. Recoveries of phthalate metabolites varied from 87.0 to 116.1%. This analytical method showed high accuracy and stable precision for all metabolites, and seems to be suitable for biomonitoring of phthalates in human urine.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.35 no.10
• /
• pp.859-867
• /
• 2007

The objective of this study is to develop and validate a numerical method which can handle the multi-rotor aerodynamic characteristics. For the purpose of power estimation, table look-up method is implemented to the existing unsteady panel code that is coupled with a time-marching free wake model. Also, the Reynolds number scaling is implemented for the application to various regions of Reynolds number. The computed results are validated against the available experimental data for coaxial and tandem rotors. In the validation case for the coaxial rotor, more accurate result is acquired when the thickness effect is considered. The wake instability problem occurs at a particular separation distance between the rotors for tandem rotors. The wake instability is avoided by setting the single-rotor wake geometry as the initial wake geometry for the multi-rotor analysis. The estimated result for rotor separation effect is compared with the result of the momentum theory.

• Computers and Concrete
• /
• v.26 no.2
• /
• pp.127-136
• /
• 2020

There is an inherent randomness for concrete microstructure even with the same manufacturing process. Meanwhile, the concrete material under the aqueous environment is usually not fully saturated by water. This study aimed to develop a stochastic micromechanical framework to investigate the probabilistic behavior of the unsaturated concrete from microscale level. The material is represented as a multiphase composite composed of the water, the pores and the intrinsic concrete (made up by the mortar, the coarse aggregates and their interfaces). The differential scheme based two-level micromechanical homogenization scheme is presented to quantitatively predict the concrete's effective properties. By modeling the volume fractions and properties of the constituents as stochastic, we extend the deterministic framework to stochastic to incorporate the material's inherent randomness. Monte Carlo simulations are adopted to reach the different order moments of the effective properties. A distribution-free method is employed to get the unbiased probability density function based on the maximum entropy principle. Numerical examples including limited experimental validations, comparisons with existing micromechanical models, commonly used probability density functions and the direct Monte Carlo simulations indicate that the proposed models provide an accurate and computationally efficient framework in characterizing the material's effective properties. Finally, the effects of the saturation degrees and the pore shapes on the concrete macroscopic probabilistic behaviors are investigated based on our proposed stochastic micromechanical framework.

• Journal of Microbiology and Biotechnology
• /
• v.30 no.8
• /
• pp.1132-1141
• /
• 2020

Inflammatory bowel disease (IBD) is an increasing global burden and a predisposing factor to colorectal cancer. Although a number of treatment options are available, the side effects could be considerable. Studies on fecal microbiota transplantation (FMT) as an IBD intervention protocol require further validation as the underlying mechanisms for its attenuating effects remain unclear. This study aims to demonstrate the ameliorative role of FMT in an ulcerative colitis (UC) model induced by dextran sulfate sodium (DSS) and elucidate its relative mechanisms in a mouse model. It was shown that FMT intervention decreased disease activity index (DAI) levels and increased the body weight, colon weight and colon length of experimental animals. It also alleviated histopathological changes, reduced key cytokine expression and oxidative status in the colon. A down-regulated expression level of genes associated with NF-κB signaling pathway was also observed. The results of 16S rRNA gene sequencing showed that FMT intervention restored the gut microbiota to the pattern of the control group by increasing the relative abundance of Firmicutes and decreasing the abundances of Bacteroidetes and Proteobacteria. The relative abundances of the genera Lactobacillus, Butyricicoccus, Lachnoclostridium, Olsenella and Odoribacter were upregulated but Helicobacter, Bacteroides and Clostridium were reduced after FMT administration. Furthermore, FMT administration elevated the concentrations of SCFAs in the colon. In conclusion, FMT intervention could be suitable for UC control, but further validations via clinical trials are recommended.

• Journal of KIISE:Software and Applications
• /
• v.36 no.10
• /
• pp.793-799
• /
• 2009

Esterel is an imperative synchronous language that is well-adopted to specify reactive systems. Programmers sometimes want simple validations that can be applied while the system is under development. Since a reactive system reacts to environment changes, a test data is a sequence of input events. Generating proper test data by hand is complex and error-prone. Although several test data generators exist, they are hard to learn and use. Mostly, system designers need test data to reach a specific status of a target program. In this paper, we develop a test data generator to generate test input sequences for debugging Esterel programs. Our tool is focused on easy usage; users can describe test data properties with simple specifications. We show a case study in which the test data generator is used for a practical development process.

• Journal of Korea Water Resources Association
• /
• v.42 no.1
• /
• pp.75-92
• /
• 2009

The development of the method for flood runoff analysis representing Korean mountain basins have been one of big concerns for Korean hydrologists for several decades. Several traditional methods dealing with unit hydrograph have been restricted to be used in Korea basins, because of its drawbacks due to its originality from other countries and the uncertainties of control parameters as well as its linearity assumption between rainfall and runoff relationship. In this paper, several geomorphological similarity relationships for Korean mountain basins was developed by using the experimental data over 40 Korean basins. Then those were applied directly to geomorphological unit hydrograph theory to meet Korean geomorphological unit hydrograph. The developed method was applied to Andong Dam basin. The results show the applicability and simplicity of the developed Korean geomorphological unit hydrograph generally for Korean mountain basins in future. It might be needed for more validations and applications of this method over Korean regions.

• The Transactions of the Korean Institute of Electrical Engineers D
• /
• v.55 no.7
• /
• pp.303-312
• /
• 2006

This paper proposes the architecture and protocol of a data communication network for the safety system in nuclear power plants. First, we establish four design criteria with respect to determinability, reliability, separation and isolation, and verification/validation. Next we construct the architecture of the safety network for the following systems: PPS (Plant Protection System), ESF-CCS (Engineered Safety Features-Component Control System) and CPCS (Core Protection Calculator System). The safety network consists of 12 sub-networks and takes the form of a hierarchical star. Among 163 communication nodes are about 1600 origin-destination (OD) pairs created on their traffic demands. The OD pairs are allowed to exchange data only during the pre-assigned time slots. Finally, the communication protocol is designed in consideration of design factors for the safety network. The design factors include a network topology of star, fiber-optic transmission media, synchronous data transfer mode, point-to-point link configuration, and a periodic transmission schedule etc. The resulting protocol is the modification of IEEE 802.15.4 (LR-WPAN) MAC combined with IEEE 802.3 (Fast Ethernet) PHY. The MAC layer of IEEE 802.15.4 is simplified by eliminating some unnecessary (unctions. Most importantly, the optional TDMA-like scheme called the guaranteed time slot (GTS) is changed to be mandatory to guarantee the periodic data transfer. The proposed protocol is formally specified using the SDL. By performing simulations and validations using Telelogic Tau SDL Suite, we find that the proposed safety protocol fits well with the characteristics and the requirements of the safety system in nuclear power plants.