• Journal of the Korean Mathematical Society
• /
• v.42 no.6
• /
• pp.1111-1120
• /
• 2005

Hong and Nel in [8] obtained a number of spectral dualities between a cartesian closed topological category X and a category of algebras of suitable type in X in accordance with the original formalism of Porst and Wischnewsky[12]. In this paper, there arises a dual adjointness S $\vdash$ C between the category X = Lim of limit spaces and that A of MV-algebras in X. We firstly show that the spectral duality: $S(A)^{op}{\simeq}C(X^{op})$ holds for the dualizing object K = I = [0,1] or K = 2 = {0, 1}. Secondly, we study a duality between the category of Tychonoff spaces and the category of semi-simple MV-algebras. Furthermore, it is shown that for any $X\;\in\;Lim\;(X\;{\neq}\;{\emptyset})\;C(X,\;I)$ is densely embedded into a cube $I^/H/$, where H is a set.

• Journal of Mechanical Science and Technology
• /
• v.19 no.3
• /
• pp.826-835
• /
• 2005

Exposed-type steel column bases are used widely in low-rise building construction. Numerous researchers have examined methods to identify their stiffness and strength, but those studies have heretofore been restricted to in-plane behaviors. This paper presents an experimental investigation of inelastic behaviors of square hollow section (SHS) steel column bases under biaxial bending. Two types of failure modes are considered : anchor bolt yielding and base plate yielding. Different pinching effects and interaction surfaces for biaxial bending are observed for these two modes during bi-directional quasi-static cyclic loading tests. Differences are elucidated using limit analyses based on a simple analytical model.

• The Transactions of the Korean Institute of Electrical Engineers D
• /
• v.53 no.4
• /
• pp.246-257
• /
• 2004

This paper proposes two contributions. One is an analysis for the limit of the subject of goal-directed reactive robot navigation, and the other is an effective navigation method employing the scheme of the subject. The analysis for the subject is presented in order to clarify the limit of the method. On the basis of the analysis, a safety-guaranteeing and deadlock-free reactive navigation method is newly proposed. The proposed method has a simple behavior-based frame such that it can make the required navigation tasks such as obstacle avoidance, deadlock resolving, and etc. with a very small set of behaviors in entirely unknown environments such as a living room, an office, and etc. Some results of experiments show these validities.

• Communications for Statistical Applications and Methods
• /
• v.12 no.1
• /
• pp.71-86
• /
• 2005

Testing for normality has always been an important part of statistical methodology. In this paper a test statistic for multivariate normality is proposed. The underlying idea is to investigate all the possible linear combinations that reduce to the standard normal distribution under the null hypothesis and compare the order statistics of them with the theoretical normal quantiles. The suggested statistic is invariant with respect to nonsingular matrix multiplication and vector addition. We show that the limit distribution of an approximation to the suggested statistic is representable as the supremum over an index set of the integral of a suitable Gaussian process.

• Journal of Institute of Control, Robotics and Systems
• /
• v.15 no.4
• /
• pp.385-389
• /
• 2009

This paper deals with the enhancement of the complex potential navigation for wheeled mobile robots. The circle theorem from complex function theory is used to avoid an obstacle, and the enhancement to avoid multiple obstacles is proposed. The limit cycle navigation can be combined for robot to kick the ball to the intentioned direction. Avoiding step and superposing twin vortices can be applied to adjust the direction of robot's trajectory. The proposed method is verified through a set of simulation works, and the feasibilities for the enhancement of complex potential theory are successful.

• Bulletin of the Korean Chemical Society
• /
• v.26 no.9
• /
• pp.1421-1426
• /
• 2005

The stationary point structures and relative energies between them as well as binding energies of $(CO)_2$ have been investigated at the CCSD(T) level using the correlation-consistent basis sets aug-cc-pVXZ(X=T,Q,5). It is found that while the equilibrium structure corresponds to the C-bonded T-shaped configuration with intermolecular distance of 4.4 $\AA$, there exists another minimum, slightly higher in energy ($\sim$10 $cm^{-1}$) than the global minimum, corresponding to the O-bonded T-shaped configuration with the intermolecular distance of 3.9 $\AA$. The CCSD(T) basis set limit binding energy of $(CO)_2$ is estimated to be 132 $cm^{-1}$.

• Honam Mathematical Journal
• /
• v.21 no.1
• /
• pp.157-169
• /
• 1999

For a k-connected inverse system $({\scr{X}},\;*)=((X_{\lambda},\;*),p_{{\lambda}{{\lambda}}^{\prime}},\;{\Lambda})$ of pointed topological spaces and pointed preserving weak fibrations, inducting epimorphic chain maps, over a directed set, we show that the homotopy group ${\pi}_k(lim{\scr{X}},\;*)$ of the inverse limit is isomorphic to the integral homology group $$H_k(lim{\scr{X}};\mathbb{Z})$. Using the result of S. $Marde{\check{s}}i{\acute{c}}$, we prove that the group of pure extension $Pext(colimH^n({\scr{X}},\;A)$ is isomorphic to the group of extension $Ext({\Delta}({\lambda}),\;Hom(H^n({\scr{X}}),\;A))$.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.21 no.10
• /
• pp.1619-1625
• /
• 1997

This paper concerns a 2-axis PR type pneumatic manipulator system translating in vertical and rotating in horizontal directions. A simplified linear model is mathematically formulated similar to the pneumatic acturators in dynamic responses in order to devise an appropriate position control scheme. A PD controller preceding the on/off solenoid valve turns out not only economical but also effective in reducing rise time and amplitude of limit cycles, if its control gains are determined on the basis of frequency response. And, additional implementation of symmetric or asymmetric deadband at the PD controller output greatly helps minimize valve opening numbers, positional error, and undesirable direction-dependent property due to the gravitational load. Such a control concept is synthesized through numerical simulations and next applied to the experimental set-up, featuring enhanced positional servo characteristics.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1996.05b
• /
• pp.368-373
• /
• 1996

A simple set of the transition criterion of the condensation regimes and the heat transfer coefficients on the direct contact condensation of the core makeup tank is developed, and implemented in RELAP5/MOD3.1 The condensation regimes are divided into two regimes: supply limit and condensation limit. In mode]ing the transition criterion between two regimes, a large-eddy model developed by Theofanous is used, and the empirical coefficient of the present large-eddy model is close to that of the large-eddy model. It turns out that the modified code better predicts the experimental data, especially the injection flow rate and the water level trend than the original code does.

• Journal of Environmental Impact Assessment
• /
• v.5 no.1
• /
• pp.15-29
• /
• 1996

Composting is very important in practicing environmentally sustainable agriculture because compost application conserve soil and its fertility. Composting is also another important factor in achieving high national recycling goal above 20%. To encourage composting, it is necessary to revise current regulations on composting. Current regulation set the limit only for 4 metals and the limit is significantly strict, especially for lead, which dictates less than 150ppm. In this paper, authors suggested reasonable standard for some heavy metal concentration in compost taking into account other country's criteria.