• Communications of the Korean Mathematical Society
• /
• v.23 no.2
• /
• pp.257-268
• /
• 2008

Let G and K be compact subgroups of orthogonal groups and $0{\leq}r<x<{\infty}$. We prove that every topological fiber bundle over a definable $C^r$ manifold whose structure group is K admits a unique strongly definable $C^r$ fiber bundle structure up to definable $C^r$ fiber bundle isomorphism. We prove that every G vector bundle over an affine definable $C^rG$ manifold admits a unique strongly definable $C^rG$ vector bundle structure up to definable $C^rG$ vector bundle isomorphism.

• Journal of the Korean Society of Food Science and Nutrition
• /
• v.30 no.2
• /
• pp.338-343
• /
• 2001

The ethanol extract of Quercus mongolica leaf was fractionated by various organic solvents, and their antimicrobial and antioxidative activities were investigated against several microorganisms. The ethanol extract of Quercus mongolica leaf at two thousand $\mu\textrm{g}$ per disc showed 17~21mm inhibition zone against Gram postive and Gram negative bacteria. Among the various solvent fractions from ethanol extract of Quercus mongolica leaf, the hexane fraction showed the strongest antimicrobial activity. Minimal inhibitory concentration (MIC) of hexane fraction was 250$\mu\textrm{g}$/mL against Bacillus cereus, 250~500$\mu\textrm{g}$/mL against Listeria monocytogenes, 500$\mu\textrm{g}$/mL against Staphylococcus aureus, Salmonella typhimurium, Escherichia coli O157, and Pseudomonas aeruginosa. Also, the hexane and chloroform fraction had the similar antioxidative activity compared to that of butylated hydroxy toluene(BHT).

• The Pure and Applied Mathematics
• /
• v.21 no.2
• /
• pp.113-120
• /
• 2014

In this paper, we first show that for any space X, there is a ${\sigma}$-complete Boolean subalgebra of $\mathcal{R}$(X) and that the subspace {${\alpha}{\mid}{\alpha}$ is a fixed ${\sigma}Z(X)^{\sharp}$-ultrafilter} of the Stone-space $S(Z({\Lambda}_X)^{\sharp})$ is the minimal basically disconnected cover of X. Using this, we will show that for any countably locally weakly Lindel$\ddot{o}$f space X, the set {$M{\mid}M$ is a ${\sigma}$-complete Boolean subalgebra of $\mathcal{R}$(X) containing $Z(X)^{\sharp}$ and $s_M^{-1}(X)$ is basically disconnected}, when partially ordered by inclusion, becomes a complete lattice.

• Journal of the Korean Society for Precision Engineering
• /
• v.18 no.5
• /
• pp.65-73
• /
• 2001

In this paper, a mobile system using multi-wheel steering and driving mechanism is proposed to maximize maneuverability of the wheeled mobile system. Among various possible configurations, the two-wheel steering and driving systems, which is minimal in structural requirement, is proposed to reduce the complexity in actual design and difficulties in control. The system possesses three or four degrees of freedom depending on the orientations of two wheels, one or two for driving and two for steering, which implies that the system's mobility is always less than three DOF. The proposed system, nonetheless, can exactly emulate characteristics of the omnidirectional motion as long as the planned path is smooth i.e., the curvature changes continuously while velocity is not zero. Efficient kinematic and dynamic control algorithms are proposed for position and orientation control of the proposed wheeled mobile system.

• International Journal of Aeronautical and Space Sciences
• /
• v.16 no.4
• /
• pp.548-559
• /
• 2015

We performed a numerical simulation based on the two-dimensional (2-D) unsteady Euler's equation with a single-step Arrhenius reaction model in order to investigate the detonation wave front propagation of an Argon (Ar) diluted oxy-hydrogen mixture ($2H_2+O_2+12Ar$). This simulation operates in the detonation frame of reference. We examine the effect of grid size and the performance impact of integrated quantities such as mass flow. For a given set of baseline conditions, the minimal and maximum grid resolutions required to simulate the respective detonation waves and the detonation cell structures are determined. Tertiary shock wave behavior for various grids and pre-exponential factors are analyzed. We found that particle fluctuation can be weakened by controlling the mass flow going through the oblique shock waves.

• Journal of Communications and Networks
• /
• v.11 no.5
• /
• pp.500-508
• /
• 2009

We have designed an algorithm for a problem in multicast communication. The problem is to construct a multicast tree while minimizing its cost, which is known to be NP-complete. Our algorithm, which employs new concepts defined as potential cost and spanning cost, generates a multicast tree more efficiently than the well-known heuristic called Takahashi and Matsuyama (TM) [1] in terms of tree cost. The time complexity of our algorithm is O($kn^2$) for an n-node network with k members in the multicast group and is comparable to the TM. Our empirical performance evaluation comparing the proposed algorithm with TM shows that the enhancement is up to 1.25%~4.23% for each best case.

• The Journal of the Korean dental association
• /
• v.34 no.3 s.322
• /
• pp.215-222
• /
• 1996

Ridge expansion osteotomy(REO) procedure is used to widen the narrow ridge in locations that are too thin to permit the use of standard implant drills. The objective of this technique is to maintain, if possible, all of the existing maxillary bone by pushing the bone aside with minimal trauma. The author has used tis procedure on five patients who had narrow ridge in their soft maxillary bone. Fifteen implants were placed in sites needing ridge expansion using REO. The satisfactory results were obtained. The REO procedure is thought to be a safer and more conservative method of widening a narrow ridge. And this procedure is heatless, offers excellent tactile sensitivity, control, visibility, and takes advantage of available bone.

• Bulletin of the Korean Chemical Society
• /
• v.34 no.11
• /
• pp.3279-3283
• /
• 2013

We present an elementary pedagogical derivation of the Brillouin-Wigner and the Rayleigh-Schr$\ddot{o}$dinger perturbation theories with Epstein-Nesbet partitioning. A variant of the Brillouin-Wigner perturbation theory is also introduced, which can be easily extended to the quasi-degenerate case. A main advantage of the new theory is that the computing time required for obtaining the successive higher-order results is minimal after the third-order calculation. We illustrate the accuracy of the new perturbation theory for some simple model systems like the perturbed harmonic oscillator and the particle in a box.

• Korean Journal of Plant Resources
• /
• v.21 no.6
• /
• pp.431-434
• /
• 2008

Dental caries is the destruction of the enamel of teeth by Streptoccus mutans. S. mutans has been isolated from human dental plaque and is associated with the initial development of enamel lesions. We have studied the antibacterial action of the fruit of Callistemon citrin us against a cariogenic bacterium, S. mutans. From the fruit of C. citrinus, piceatannol (3,3',4',5-tetrahydroxystilbene) was isolated by repeated column chromatography with $SiO_2$ and Sephadex LH-20. Its structure was elucidated by instrumental analysis using 1D-NMR, 2D-NMR and EI-MS. This compound was isolated from the fruit of C. citrin us for the first time. The anticarcinogenic activity of this compound was determined by using agar well-diffusion method and minimal inhibition concentration (MIC).

• Electronics and Telecommunications Trends
• /
• v.34 no.4
• /
• pp.32-42
• /
• 2019

The performance of machine learning algorithms significantly depends on how a configuration of hyperparameters is identified and how a neural network architecture is designed. However, this requires expert knowledge of relevant task domains and a prohibitive computation time. To optimize these two processes using minimal effort, many studies have investigated automated machine learning in recent years. This paper reviews the conventional random, grid, and Bayesian methods for hyperparameter optimization (HPO) and addresses its recent approaches, which speeds up the identification of the best set of hyperparameters. We further investigate existing neural architecture search (NAS) techniques based on evolutionary algorithms, reinforcement learning, and gradient derivatives and analyze their theoretical characteristics and performance results. Moreover, future research directions and challenges in HPO and NAS are described.