• KIPS Transactions on Software and Data Engineering
• /
• v.10 no.4
• /
• pp.115-124
• /
• 2021

Since function block diagram (FBD) programs are widely used to implement safety-critical systems, effective testing for FBD programs has become important. Mutation testing, a fault-based testing, is highly effective in fault detection but computationally expensive. To support testers for FBD programs, we propose an automated mutant generator for FBD programs. We designed the MuGenFBD tool with the cost and equivalent mutant issues in consideration. We conducted experiments on real industrial examples to present the performance of MuGenFBD. The results show that MuGenFBD can generate mutants for FBD programs automatically with low probability of equivalent mutants and low cost. This tool can effectively support mutation analysis and mutation-adequate test generation for FBD programs.

• Progress in Medical Physics
• /
• v.6 no.2
• /
• pp.3-12
• /
• 1995

A 50 $\mu\textrm{m}$ thick niobium filter and its quantitatively determined aluminum equivalent filter were evaluated for effects on entrance skin dose, image quality, and x-ray tube loading for three different tube voltages in radiology. There was no significant difference in the reducion in entrance skin dose and increase in tube loading between two filters while keeping radiographic contrast on the film. For the clinical use of the aluminum equivalent filter as an alternative to the niobium filter in radiology, aluminum equivalent filter thickness at the mid energy range of radiology, 90 kVp, was measured and the filter was applied to the other kVp values, 73 and 125 kVps, to evaluate the effect on the entrance skin dose and tube loading. There was no significant difference between two filter cases at the selected kVp. The aluminum filter with equivalent thickness can be used as an inexpensive alternative to the niobium filter.

• Communications of the Korean Mathematical Society
• /
• v.18 no.4
• /
• pp.677-685
• /
• 2003

Let M be the vector space of all real S-measurable functions defined on a measure space (X, S, $\mu$). In this paper, we investigate some topological structure of T on M. Indeed, (M, T) becomes a topological vector space. Moreover, if $\mu$, is ${\sigma}-finite$, we can define a complete invariant metric on M which is compatible with the topology T on M, and hence (M, T) becomes a F-space.

• Bulletin of the Korean Chemical Society
• /
• v.21 no.1
• /
• pp.65-68
• /
• 2000

A $\mu-oxo$ diiron(III) complex and two bis( $\mu-alkoxo)$ diiron(III) complexes with biomimetic tripodal ligand containing mixed N/O donor atoms were synthesized using a mononuclear iron(III) complex as starting material. Depending on the amounts and kinds of bases used, we obtained various kinds of diiron (III) complexes. The reaction of $[$Fe^{III}$(Hbbea)Cl_2]Cl$, 1, with an equivalent amount of $KO_2$ or NaOAc produced $[$Fe^{III}$_2O(Hb-bea)_2Cl_2]Cl_2$, 2. An additional equivalent amount of NaOBz or NaOAc converts complex 2 to complex 3 or complex 4 depending on the base used. The addition of two equivalent amounts of NaOBz orNaOAc directly converts complex 1 to $[$Fe^{III}$_2(bbea)_2(OBz)_2]Cl_2$, 3, or $[$Fe^{III}$_2(bbea)_2(OAc)_2]Cl_2$, 4, depending on the base used. Crystal data are as follows: [$Fe^{III}_2O(Hbbea)_2Cl_2]Cl_2$, 2: monoclinic space group $$P2_1/n$$, a = 8.421 (1) $\AA$, b = 18.416 (2) $\AA$, c = 13.736 (1) $\AA$, $\beta$ = 104.870 $(7)^{\circ}$, V = 2058.9 (4) $\AA^3$, Z = 2, R1 = 0.0469 and wR2 = 0.1201 for reflections with I > 2 ${\sigma}$(I).

• Journal of the Earthquake Engineering Society of Korea
• /
• v.7 no.1
• /
• pp.9-16
• /
• 2003

To evaluate the seismic performance of multistory building structures use an equivalent SDOF model to represent the resistance of the structure to deformation as it respond in its predominant mode. This paper presents a method of converting a MDOF system into an equivalent SDOF model. The principal objective of this investigation is to evaluate appropriateness of converting method through perform nonlinear time history analysis of a multistory building structures and an equivalent SDOF model. The hysteresis rules to be used an equivalent SDOF model is obtained from the pushover analysis. Comparing the peak inelastic response of a moment resisting reinforced concrete frames and an equivalent SDOF model, the adequacy and the validity of the converting method is verified. The conclusion of this study is following; A method of converting a MDOF system into an equivalent SDOF model through the nonlinear time history response analysis is valid. The representative lateral displacement of a moment resisting reinforced concrete frames is close to the height of the first modal participation vector \ulcorner$_1{\beta}$${_1{\mu}}=1$. It can be found that the hysteresis rule of an equivalent SDOF model have influence on the time history response. Therefore, it necessary for selecting hysteresis rules to consider hysteresis characteristics of a moment resisting reinforced concrete frames.

• Journal of Environmental Science International
• /
• v.13 no.12
• /
• pp.1079-1088
• /
• 2004

In order to understand chemical characteristics and dewfall formation in western Busan area, we analysed monthly distribution of dewfall, and investigated the correlation between dewfall formation amount and meteoro­logical factors. This study used the modified teflon plate $(1m{\times}1m)$ at Silla university in Busan from August 2002 to April 2003. In order to estimate qualitatively water soluble components, IC, ICP and UV methods for water soluble ions are also used respectively. Dewfall amount of sampling periods (47 day) collected 3.8 mm. Meteorological conditions for the formation of dewfall above $50\;g/m^{2}$ showed that temperature diurnal $range(^{\circ}C)\;was\;5.6^{\circ}C$ above, cloud amounts (1/10) at dawn of the sampling day was 7/10 below, mean wind speed at dawn (0~6hr) of the sampling day was 4.4 m/sec below, and mixing ratio at 6hr of the sampling day was 3.2 g/kg above. Distribution of water soluble ions in dewfall founded the highest concentration (206.1\;{\mu}eq/{\ell}\;for\;SO_{4}^{2-},\;42.4\;{\mu}eq/{\ell}\;for\;NH_{4}^{+},\;249.2\;{\mu}eq/{\ell}\;for\;Ca^{2+},\;and\;42.0\;{\mu}eq/{\ell}\;for\;Mg^{2+})$ during the March, the lowest concentration $(73.0\;{\mu}eq/{\ell}\;for\;SO_{4}^{2-},\;4.6\;{\mu}eq/{\ell}\;for\;NH_{4}^+\;and\;72.7\;{\mu}eq/{\ell}\;for\;Ca^{2+})$ during the August. Monthly equivalent ratio of $[SO_{4}^{2-}]/[NO_{3}^-]$ showed the highest value (4.99) during the October, the lowest value (1.84) during the August, and the mean value was 3.45.

• Korean Journal of Materials Research
• /
• v.29 no.8
• /
• pp.511-518
• /
• 2019

In this study, the effect of carbon equivalent and cooling rate on microstructure and hardness of A516 steels for pressure vessel is investigated. Six kinds of specimens are fabricated by varying carbon equivalent and cooling rate, and their microstructures and hardness levels are analyzed. Specimens with low carbon equivalent consist of ferrite and pearlite. As the cooling rate increases, the size of pearlite decreases slightly. The specimens with high carbon equivalent and rapid cooling rates of 10 and $20^{\circ}C/s$ consist of not only ferrite and pearlite but also bainite structure, such as granular bainite, acicular ferrite, and bainite ferrite. As the cooling rate increases, the volume fractions of bainite structure increase and the effective grain size decreases. The effective grain sizes of granular bainite, acicular ferrite, and bainitic ferrite are ~20, ~5, and ${\sim}10{{\mu}m$, respectively. In the specimens with bainite structure, the volume fractions of acicular ferrite and bainitic ferrite, with small effective grains, increase as cooling rate increases, and so the hardness increases significantly.

• Journal of Life Science
• /
• v.28 no.6
• /
• pp.708-717
• /
• 2018

The antioxidant activity and protective effects of a hot water extract from the Stauntonia hexaphylla fruit (WESHF) were investigated in vitro and in vivo. The total polyphenol and flavonoid contents of WESHF were $16.13{\pm}0.27mg$ gallic acid equivalent/g and $4.7{\pm}0.80mg$ catechin equivalent/g, respectively. In addition, the DPPH radical-scavenging activity ($SC_{50}$) and the Oxygen Radical Absorbance capacity of WESHF were $63.62{\pm}4.10{\mu}g/ml$ and $90.63{\pm}5.29{\mu}M$ trolox equivalent/g, respectively. The hepatoprotective effect of WESHF against hydrogen peroxide-induced oxidative damage was investigated. $H_2O_2$-induced liver damage on HepG2 cells was prevented by $200{\mu}g/ml$ of WESHF. Furthermore, to investigate the protection mechanism of WESHF on hydrogen peroxide-induced cytotoxicity in HepG2 cells, pre-treatment with $200{\mu}g/ml$ of WESHF significantly attenuated a decrease in the activities of CAT, SOD, GR, and GPx. The hepatoprotective activity of WESHF was evaluated in an experimental model of hepatic damage induced by acetaminophen (APAP). The levels of alanine aminotransferase (ALT) and aspartate aminotransferase (AST) were significantly decreased in the livers of mice treated with 200 mg/kg of WESHF compared to the APAP-treated group. The lipid peroxidation level, which increased after APAP administration, was significantly reduced in the WESHF group. In addition, histological examinations of the liver showed the same protective effect of WESHF treatment. Based on these findings, it is suggested that WESHF has potent hepatoprotective effects, and the mechanism that causes this type of protection could be related to antioxidant pathways.

• The Korean Journal of Food And Nutrition
• /
• v.13 no.1
• /
• pp.1-5
• /
• 2000

Detection for heat-labile enterotoxin(LT) of enterotoxigenic Escherichia coli(ETEC, EC81, O148:H28) and enterotoxin of enterotoxigentic Clostridium perfringents type A(CP, NCTC8238, Hobbs serotype 2) by use of a polymerase chain reaction (PCR) assay were positive reaction, which using LT gene-specific primers of ETEC with a detection limit equivalent from 100ng/${\mu}\ell$ to 1 pg of a DNA fragment of 417-bp in EC81 and enterotoxin gene-specific primers of CP with a detection limit equivalent from 100ng/${\mu}\ell$ to 10pg of a DNA fragment of 364-bp in NCTC8238. Detection for a LT gene of ETEC highly appeared 10-fold sensitivity than an enterotoxin gene of CP.

• Proceedings of the Materials Research Society of Korea Conference
• /
• 1992.05a
• /
• pp.8-8
• /
• 1992

The study of magnetic properties of ferro and ferri-magnetic materials has shown that, due to their different time constants, magnetisation mechanisms (domain wall displacement, spin rotation and wall bulging) can be separated by using the complex permeability formalisms, they exhibit characteristic features in $\mu$′ versus $\mu$" plots. In many cases. the elements (inductances, resistances and capacitances) of the equivalent circuit representing the friquency behaviour, can also be associated with physical parameters of the sample [1-3]. In a different approach, domain wall dynamics can be represented by a motion equation with mass, damping and restoring force terms [4]. In this paper, we show that these two approaches are consistent and how they are related.