• Journal of KIISE:Software and Applications
• /
• v.29 no.12
• /
• pp.860-872
• /
• 2002

Fault tree analysis is the most widely used saftly analysis technique in industry. However, the analysis is often applied manually, and there is no systematic and automated approach available to validate the analysis result. In this paper, we demonstrate that a real-time model checker UPPAAL is useful in formally specifying the required behavior of safety-critical software and to validate the accuracy of manually constructed fault trees. Functional requirements for emergency shutdown software for a nuclear power plant, named Wolsung SDS2, are used as an example. Fault trees were initially developed by a group of graduate students who possess detailed knowledge of Wolsung SDS2 and are familiar with safety analysis techniques including fault tree analysis. Functional requirements were manually translated in timed automata format accepted by UPPAAL, and the model checking was applied using property specifications to evaluate the correctness of the fault trees. Our application demonstrated that UPPAAL was able to detect subtle flaws or ambiguities present in fault trees. Therefore, we conclude that the proposed approach is useful in augmenting fault tree analysis.

• International Journal of Highway Engineering
• /
• v.14 no.4
• /
• pp.9-18
• /
• 2012

PURPOSES : This study evaluated the field applicability and laboratory performance of warm-mix asphalt (WMA) as an alternative technology in asphalt pavement. METHODS : The pilot road using two different types of WMA mixture and one HMA mixture was constructed in Waegwan-Seokjeok road construction site and the mixtures were sampled at the asphalt plant for laboratory testings. The field applicability was assessed in environmental aspects, such as $CO_2$ emission, and in aspects of constructibility using the existing equipment and procedure, i.e., thickness and density measurement. The laboratory testings included the moisture susceptibility test by AASHTO T283, dynamic modulus test, triaxial repeated load permanent deformation test, and the fatigue test. RESULTS : The temperatures for production and compaction of WMA were $20{\sim}30^{\circ}C$ lower than those for HMA and therefore, the noxious gas emission were significantly reduced. The field density of WMA pavements was similar or better than that of HMA pavement. From the laboratory testings, it was found that WMA mixtures exhibit comparable performance to HMA mixture in moisture susceptibility, permanent deformation, and fatigue performance. CONCLUSIONS : With these results, it would be concluded that WMA could replace the existing HMA technology without any significant issue. To support this conclusion, it is necessary to track the long-term performance of WMA in pilot road.

• Journal of Electrical Engineering and Technology
• /
• v.8 no.5
• /
• pp.1029-1039
• /
• 2013

To avoid undesirable disconnection of healthy wind generators (WGs) or a wind power plant, a WG protection relay should discriminate among faults, so that it can operate instantaneously for WG, connected feeder or connection bus faults, it can operate after a delay for inter-tie or grid faults, and it can avoid operating for parallel WG or adjacent feeder faults. A WG protection relay based on the positive- and negative-sequence fault components is proposed in the paper. At stage 1, the proposed relay uses the magnitude of the positive-sequence component in the fault current to distinguish faults requiring non-operation response from those requiring instantaneous or delayed operation responses. At stage 2, the fault type is first determined using the relationships between the positive- and negative-sequence fault components. Then, the relay differentiates between instantaneous operation and delayed operation based on the magnitude of the positive-sequence fault component. Various fault scenarios involving changes in position and type of fault and faulted phases are used to verify the performance of the relay. This paper concludes by implementing the relay on a hardware platform based on a digital signal processor. Results indicate that the relay can successfully distinguish the need for instantaneous, delayed, or non-operation.

• Journal of the Korean Society for Nondestructive Testing
• /
• v.31 no.5
• /
• pp.543-551
• /
• 2011

Steam generator tubes for nuclear power plants contain the local shape transitions on their inner or outer surface such as dent, bulge, over-expansion, eccentricity, deflection, and so on by the application of physical force during the tube manufacturing and steam generator assembling and by the sludge (that is, corrosion products) produced during the plant operation. The structural integrity of tubes will be degraded by generating the corrosive crack at that location. The profilometry using the traditional bobbin probes which are currently applied for measuring the profile change of tubes gives us basic information such as axial locations and average magnitudes of deformations. However, the three-dimensional quantitative evaluation on circumferential locations, distributional angle, and size of deformations will have to be conducted to understand the effects of residual stresses increased by local deformations on corrosive cracking of tubes. Steam generator tubes of Korean standard nuclear power plants expanded within their tube-sheets by the explosive expansion method and suffered from corrosive cracks in the early stage of power operation. Thus, local deformations of steam generator tubes at the top of tube-sheet were measured with an advanced rotating probe and a laser profiling system for the two cases where the tubes expanded by the explosive expansion method and hydraulic expansion. Also, the trends of eccentricity, deflection, and over-expansion of tubes were evaluated. The advanced eddy current profilometry was confirmed to provide accurate information of local deformations compared with laser profilometry.

• Journal of the Korean Society for Nondestructive Testing
• /
• v.27 no.2
• /
• pp.89-96
• /
• 2007

The bobbin probe examination is basic and the important method among other ECT techniques for the steam generator tube integrity assesment that is practiced during each plant outage. The bobbin probe is one of the essential components which consist of the whole ECT examination system, and provides us a decisive data for the evaluation of tube integrity in compliance with acceptance criteria described in specific procedures. The selection of examination probe is especially important because the quality of acquired ECT data is determined by the probe design characteristics, such as geometry and operation frequency, and has enormous effects on examination results. In this study, An optimal differential bobbin probe is designed for the steam generator tube inspection in nuclear power plants(NPPs). Based on the test results for electrical and ECT signal characteristics, the prototype bobbin probe satisfies all the criteria.

• Korean Journal of Soil Science and Fertilizer
• /
• v.45 no.4
• /
• pp.602-609
• /
• 2012

Burkholderia anthina R-4183, Burkholderia diffusa R-15930 and Burkholderia stabilis LMG 14294 isolated from green house soils (Gongju-Gun area, South Korea) were characterized and their phosphate solubilizing ability was assessed. Under in vitro culture conditions, all three species were proved to be effective in solubilizing phosphates in varying degrees. Strain Burkholderia anthina exhibited the highest phosphate solubilization in NBRIP medium ($665{\mu}g\;ml^{-1}$) followed by Burkholderia diffusa ($630{\mu}g\;ml^{-1}$) and Burkholderia stabilis ($578{\mu}g\;ml^{-1}$). However, solubilization of $FePO_4$ and $AlPO_4$ was found to be poor in all the strains. Acidification by means of gluconic and oxalic acids accumulation in the culture medium could be the possible mechanism responsible for phosphate solubilization. Glucose at the rate of 3% was found be the best carbon source for Burkholderia anthina while other two Burkholderia species showed maximum phosphate solubilization at 2% of glucose. In the case of nitrogen sources, ammonium and nitrate were equally effective in solubilizing phosphates by Burkholderia species. Despite a slight decrease in phosphate solubilization observed at increasing temperature, all three Burkholderia species could withstand a temperature of $30-35^{\circ}C$, pH at the range of 7-9 and the presence of NaCl (up to 2.5%) without much compromising the phosphate solubilization. As shown with potted mung bean seedlings, all the three isolates could enhance soil fertility and plant growth indicating their great potential to be used as bio-inoculants.

• Toxicological Research
• /
• v.34 no.2
• /
• pp.85-95
• /
• 2018

The term Butterfly tea refers to decoction of Mariposa christia vespertilionis leaves which is widely consumed by cancer patients throughout Malaysia and has gained a huge popularity among Malaysians, not only cancer patients but also researchers to discover the real potential of this plant. Herein, the study is aimed at evaluating the possible toxicity in 28-day subacute oral toxicity of ethanolic extract M. christia vespertilionis in male Sprague Dawley rats. The 28-day subacute toxicity study was conducted to detect the no-observed adverse effect level (NOAEL). In this study, a total of 30 rats were divided into the control, 5% DMSO (vehicle), low dose (75 mg/kg), medium dose (125 mg/kg) and high dose (250 mg/kg) groups. The extract was administered daily from day 1 until day 28. At the end of the study, the animals were humanely sacrificed and assessed for the effect extract of Mariposa christia vespertilionis leaves on body weight and relative organ weights and haematological, biochemical and histopathological parameters. The haematological and serum biochemical parameters for the assessment of kidney and liver injuries were carried out. Results of haematological and serum biochemistry results showed no changes in the control and treated groups. In the histopathology, evaluation of kidney tissues in all treated groups showed no significant (p > 0.05) lesions. In contrast to kidney, liver tissues showed significant differences (p < 0.05) in lesions observed in low dose (430 mg), medium dose (700 mg) and high dose (1480 mg) groups with very mild, mild and mild to moderate lesion of hepatic necrosis, in the respective groups, and very mild hepatic degeneration and hepatitis were scored in all three groups.

• Korean Journal of Agricultural and Forest Meteorology
• /
• v.5 no.1
• /
• pp.6-10
• /
• 2003

This study was conducted to select the ozone tolerant individuals of Cornus controversa Hemsl., and to use malondialdehyde (MDA) content as an indicator of plant damage level for several oxidative stress levels. Seeds of C. controversa were collected at 9 provinces in Korea. One-year-old seedlings were grown in greenhouses and exposed to 100 pub ozone concentration for 8h day$^{-1}$ for 10 weeks. At the termination of ozone exposure, heights of seedlings were measured and MDA contents in the leaves were analyzed. Tolerant, intermediate, and sensitive individuals were selected using the standardized indices of height and MDA content. Height and MDA content of C. controversa exposed to ozone were significantly different among individuals and provinces. MDA content showed negative correlation (r=-0.531, p$\leq$ 0.001) with height growth performance. Height and MDA content of tolerant individuals presented significant differences from those of sensitive individuals. As a result, MDA content may be suitable for the evaluation of the damage level of plants by oxidative stress.

• Journal of the Korean Society of Food Culture
• /
• v.16 no.2
• /
• pp.170-179
• /
• 2001

Green Tea consists of 15-30% catechins (a type of polyphenol), which act as super antioxidants, inhibitory action against aging process. Antioxidants fight radical-free oxygen, an agent which can begin the process of cancer by damaging essential body chemicals and harming DNA. This study was peformed to develop the elderly diet using Green Tea as an inhibitory action against aging process. Nokchaborijook (Baley gruel added rice powder and Green Tea) was manufactured by various levels of Green Tea(1, 4, 7%) and the grinding period(15, 30, 45 sec). The optimum levels of added Green Tea and grinding periods on Nokchaborijook were determined with the results of sensory evaluation by response surface methodology and analysis of composition. The Anti-oxidant Vitamin A, C, E and Flavonoid were increased with increased levels of Green Tea and grinding periods be decreased. As the levels of Green Tea and grinding periods were increased, the green color and penetrated force became stronger. Among the sensory attributes, Bitterness, Green Tea Flavor and Hashness were greater depending on increasing Green Tea. Jujube flavor was greater relying on decreasing Green Tea. Greenness and spreadability of particles were increased as both the amounts of Green Tea and the grinding period were increased. This result was used to determine the optimum conditions of adding levels of Green Tea and grinding periods. The optimum conditions of Nokchaborijook was established as adding of 5.8% Green Tea grinded for 15 seconds.

• Microbiology and Biotechnology Letters
• /
• v.41 no.2
• /
• pp.176-182
• /
• 2013

Several types of mesoporous alumina adsorbents with different physical properties were prepared by spray pyrolysis and were used for the separation/purification of the anticancer agent paclitaxel. The pore diameter of the adsorbents had a greater effect than did the surface area and the pore volume on the removal of plant-derived impurities. An appropriate pore diameter (~10.8 nm) was required for effective impurity removal. At a constant pore diameter, the surface area of the adsorbent affected not only the purity but also the yield of paclitaxel. Also, increasing the surface area of the adsorbent resulted in an increase in the adsorption of paclitaxel and impurities (biomass-derived tar and wax components). Removal of these impurities was confirmed by HPLC analysis of the absorbent after the treatment and TGA of the organic substances that were bound to the adsorbent.