• Journal of KIISE:Software and Applications
• /
• v.34 no.7
• /
• pp.655-666
• /
• 2007

Reasoners using typical Tableaux algorithm such as RacerPro, Pellet have a problem in Tableaux algorithm large ABox reasoning. Researches to solve these Problems are dealt with Instance Store of University of Manchester which uses Tableaux algorithm based reasoner and DBMS and KAON2 of University of Karlsruhe using Disjunctive Datalog approach. An evaluation experiment for present reasoners is the experiment of TBox reasoning in most of Tableaux algorithm based one. The most of benchmarking tests in reasoning systems haven't done with ABox reasoning based Tableaux Algorithm but done with TBox reasoning based Tableaux Algorithm. Especially, rarely reported benchmarking tests in reasoners have been issued nowadays. Therefore, this thesis evaluates systems with theory of each reasoners for large ABox reasoning that becomes issues recently with typical reasoners. The large AoBx reasoning engine will be analyzed using Instance Store and KAON2 of Manchester University for large ABox processing. At the analysing method, LUBM(Lehigh University BenchMark), benchmarking test method, and it's test system will be introduced. In conclusion, I recommend appropriate reasoner in various environment with experiment result and characteristic of algorithm used for each reasoner.

• Water for future
• /
• v.23 no.1
• /
• pp.6-20
• /
• 1990

산업이 고도로 발전하면서 많은 나라들은 인간의 생활 환경을 인간과 자연이 조화로운 삶을 영위할 수 있는 공원과 같은 생활공간으로 개발하기 위하여 많은 부존자원을 이용하고 있다. 이들 자원중에서 수자원은 쾌적한 생활공간을 조성하기 위한 가장 중요한 것으로서, 효율적인 수자원 이용을 위하여 물의 사용량 결정, 사용량 평가 등에 관한 사항들을 정량화하기 위하여 수문모형을 사용하고 있다. 본 논문은 독일의 Karlsruhe 대학의 Institute for Hydrology and Water Resourced Planning(IHW)에서 수행된 연구에 기초를 두고 있는 것으로서 장래의 강우-유출 모형개발을 고찰하였다.

• Journal of the Korean Chemical Society
• /
• v.24 no.5
• /
• pp.371-379
• /
• 1980

The spectral properties of the solvated electrons in tetrahydrofuran(THF)-water binary system have been investigated. In this study, the solvated electrons have been produced by applying nsec Q-switch Nd(YAG) laser photolysis technique. The experimental method photolysis were schematically described. The solvent and the temperature effects on the absorption spectrum of solvated electrons have also been studied. The observation of the spectrum with increasing THF content and temperatue showed a trend that the former shifted to longer wavelength and the other showed broadening effect. The half-life of solvated electrons were also increased with THF content. The absorption maxima of the mixtures were always observed in the middle of that of pure water and THF. The correlation between the volume and the absorption energy of solvated electrons were discussed from the results.

• Nuclear Engineering and Technology
• /
• v.42 no.6
• /
• pp.656-661
• /
• 2010

Lead-alloys are very attractive nuclear coolants due to their thermo-hydraulic, chemical, and neutronic properties. By utilizing the HELIOS (Heavy Eutectic liquid metal Loop for Integral test of Operability and Safety of PEACER$^2$) facility, a thermal hydraulic benchmarking study has been conducted for the prediction of pressure loss in lead-alloy cooled advanced nuclear energy systems (LACANES). The loop has several complex components that cannot be readily characterized with available pressure loss correlations. Among these components is the core, composed of a vessel, a barrel, heaters separated by complex spacers, and the plenum. Due to the complex shape of the core, its pressure loss is comparable to that of the rest of the loop. Detailed CFD simulations employing different CFD codes are used to determine the pressure loss, and it is found that the spacers contribute to nearly 90 percent of the total pressure loss. In the system codes, spacers are usually accounted for; however, due to the lack of correlations for the exact spacer geometry, the accuracy of models relies strongly on assumptions used for modeling spacers. CFD can be used to determine an appropriate correlation. However, application of CFD also requires careful choice of turbulence models and numerical meshes, which are selected based on extensive experience with liquid metal flow simulations for the KALLA lab. In this paper consistent results of CFX and Star-CD are obtained and compared to measured data. Measured data of the pressure loss of the core are obtained with a differential pressure transducer located between the core inlet and outlet at a flow rate of 13.57kg/s.

• The Journal of the Acoustical Society of Korea
• /
• v.21 no.1E
• /
• pp.3-11
• /
• 2002

Broadcast news transcription is one of the hardest tasks in speech recognition because broadcast speech signals have much variability in speech quality, channel and background conditions. We developed a Korean broadcast news speech recognizer. We used a morpheme-based dictionary and a language model to reduce the out-of·vocabulary (OOV) rate. We concatenated the original morpheme pairs of short length or high frequency in order to reduce insertion and deletion errors due to short morphemes. We used a lexicon with multiple pronunciations to reflect inter-morpheme pronunciation variations without severe modification of the search tree. By using the merged morpheme as recognition units, we achieved the OOV rate of 1.7% comparable to European languages with 64k vocabulary. We implemented a hidden Markov model-based recognizer with vocal tract length normalization and online speaker adaptation by maximum likelihood linear regression. Experimental results showed that the recognizer yielded 21.8% morpheme error rate for anchor speech and 31.6% for mostly noisy reporter speech.

• Journal of the Microelectronics and Packaging Society
• /
• v.20 no.4
• /
• pp.1-6
• /
• 2013

Recently, various types of flexible devices such as flexible displays, batteries, e-skins and solar cell panels have been reported. Most of the researches focus on the development of high performance flexible device. However, to realize these flexible devices, the long-term reliability should be guaranteed during the repeated deformations of flexible devices because the direct mechanical stress would be applied on the electronic devices unlike the rigid Si-based devices. Among various materials consisting electronics devices, metal electrode is one of the weakest parts against mechanical deformation because the mechanical and electrical properties of metal films degrade gradually due to fatigue damage during repeated deformations. This article reviews the researches of fatigue behavior of thin metal film, and introduces the methods to enhance the reliability of metal electrode for flexible device.

• Journal of the Optical Society of Korea
• /
• v.11 no.1
• /
• pp.34-39
• /
• 2007

Laser-induced breakdown of colloidal suspensions, such as polystyrene, $ZrO_2$, and $SiO_2$ particles in diameters of 100-400 nm in water is investigated by nanosecond flash-pumped Nd:YAG laser pulses operating at a wavelength ${\lambda}$= 532 nm. The breakdown threshold intensity is examined in terms of breakdown probability as a function of laser pulse energy. The threshold intensity for $SiO_2$ particles ($1.27{\times}10^{11}\;W/cm^2$) with a size of 100 nm is higher than those for polystyrene and $ZrO_2$ particles with the same size, namely $5.7{\times}10^{10}$ and $5.5{\times}10^{10}\;W/cm^2$, respectively. Results indicate that the absorption of five photons is required to induce ionization of $SiO_2$ particles, whereas the other particles necessitate four-photon absorption. These breakdown thresholds are compared with those measured by nanosecond pulses from a diode-pumped Nd:YAG laser having a different focusing geometry.

• Journal of the Korean Ceramic Society
• /
• v.49 no.1
• /
• pp.19-28
• /
• 2012

High-energy mechanical action applied to solid leads to destruction and diminution to the nanosize level. But on the other hand, it can induce structural changes at the nanoscale and at the atomic level which can result in novel materials properties. In this contribution, case studies will be presented concerned with the tailoring of magnetic properties of mechanically treated nanomaterials. Emphasis is placed on materials that have been synthesized by mechanochemical means and on an improved understanding of their nanomagnetism in general. The associated local structural changes of the iron containing magnetic materials discussed in the examples have been studied most suitably by $^{57}Fe$ Mossbauer nuclear probe spectroscopy whose results are supplemented by measurements of the magnetic properties of the mechanosynthesized nanomaterials.

• Progress in Superconductivity and Cryogenics
• /
• v.17 no.4
• /
• pp.21-24
• /
• 2015

We report optical spectra of underdoped $BaFe_{1.89}Co_{0.11}As_2$ that hosts both of magnetic and superconducting orders. The temperature dependent evolution of optical conductivity shows finger prints of the magnetic order and the s-wave nature of the superconducting gaps. Careful inspection on the superconducting state reveals that the two orders compete but coexist in the ground state.

• CELLMED
• /
• v.3 no.1
• /
• pp.7.1-7.7
• /
• 2013

Brassica juncea is a polyphenols enriched edible plant, with diverse medicinal uses of different parts of which have been mentioned in the Ayurveda. The effects of 10 daily oral doses (100, 200, and 400 mg/kg/day) of a methanolic Brassica juncea leaf extract in rat models of anxiety using nondiabetic and alloxan-diabetic rats were quantified. In all the three behavioural tests used, i.e. elevated plus maze, open field, and social interaction tests, anxiolytic-like activity of the extract was observed in the diabetic animals only. Quantitatively, the efficacy of the highest tested dose of the extract in these tests was always less than those observed after its lower ones. These observations provide further experimental evidences for the conviction that Brassica vegetables could as well be useful for combating diabetes associated mental health problems.