• Proceedings of the KSME Conference
• /
• 2008.11a
• /
• pp.695-700
• /
• 2008

Artificial neural network (ANN) has been extensively used in areas of nonlinear system modeling, analysis and design applications. Basically, ANN has its distinct capabilities of implementing system identification and/or function approximation using a number of input/output patterns that can be obtained via numerical and/or experimental manners. The paper describes a role of ANN, especially a back-propagation neural network (BPN) in the context of engineering analysis, design and optimization. Fundamental mechanism of BPN is briefly summarized in terms of training procedure and function approximation. The BPN based causality analysis (CA) is further discussed to realize the problem decomposition in the context of multidisciplinary design optimization. Such CA is also applied to quantitatively evaluate the uncoupled or decoupled design matrix in the context of axiomatic design with the independence axiom.

• Communications of the Korean Mathematical Society
• /
• v.24 no.1
• /
• pp.127-144
• /
• 2009

Let f be a diffeomorphism of a compact $C^{\infty}$ manifold, and let p be a hyperbolic periodic point of f. In this paper we introduce the notion of $C^1$-stable inverse shadowing for a closed f-invariant set, and prove that (i) the chain recurrent set $\cal{R}(f)$ of f has $C^1$-stable inverse shadowing property if and only if f satisfies both Axiom A and no-cycle condition, (ii) $C^1$-generically, the chain component $C_f(p)$ of f associated to p is hyperbolic if and only if $C_f(p)$ has the $C^1$-stable inverse shadowing property.

• Kyungpook Mathematical Journal
• /
• v.45 no.4
• /
• pp.455-470
• /
• 2005

This paper introduces compactness notions for frames which are expressed in terms of the convergence of suitably specified general filters. It establishes several preservation properties for them as well as their coreflectiveness in the setting of regular frames. Further, it shows that supercompact, compact, and $Lindel{\ddot{o}}f$ frames can be described by compactness conditions of the present form so that various familiar facts become consequences of these general results. In addition, the Prime Ideal Theorem and the Axiom of Countable Choice are proved to be equivalent to certain conditions connected with the kind of compactness considered here.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.20 no.4
• /
• pp.1333-1346
• /
• 1996

As the automation system in manufacturing field works more efficientely, the automation scheme is applied to many areas. In order to reduce the entire manufacturing, cost the design process must be automated. However, design process is so complicated, it is very difficult to construct the design automation system. The axiomatic approach to design provides a general theoretical framework for all design fields, including mechanical design. The key concepts of axiomatic design are : the existence of domains, the characteristic vectors within the domains that can be decomposed into hierarchies through zigzagging between the domains, and the design axioms. Using this approach, the glass bulb design process was analyzed and the design automation software was developed. Through menu display, a user can select or furnish the design input and generate the drawing with ease.

• Journal for History of Mathematics
• /
• v.27 no.6
• /
• pp.403-408
• /
• 2014

The interdisciplinary study addresses the G$\ddot{o}$del's ontology from the perspective of the mathematical maximality. We first investigate G$\ddot{o}$del's God having all the positive properties as the intersection of ultrafilters in his own ontological proof(1970). Regarding the axiom of choice and his compactness theorem(1930), the next part discusses the ontological meaning of the maximal rather than the maximum in terms of an episteme space. The results show that G$\ddot{o}$del's ontological arguments imply all the existence of the maximal reality, and all the human's epistemological boundedness as well.

• Korean Journal of Mathematics
• /
• v.26 no.4
• /
• pp.709-727
• /
• 2018

Here we have studied the ideas of $g^*$-closed sets, $g{\bigwedge}_{{\tau}^-}$ sets and ${\lambda}^*$-closed sets and investigate some of their properties in the spaces of A. D. Alexandroff [1]. We have also studied some separation axioms like $T_{\frac{\omega}{4}}$, $T_{\frac{3\omega}{8}}$, $T_{\omega}$ in Alexandroff spaces and also have introduced a new separation axiom namely $T_{\frac{5\omega}{8}}$ axiom in this space.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2008.11a
• /
• pp.221-222
• /
• 2008

• Journal for History of Mathematics
• /
• v.17 no.1
• /
• pp.53-60
• /
• 2004

In this paper, we analyse several number theoretical proofs of the irrationality of $\sqrt{2}$ and reveal that these proofs are implied by The Completeness Axiom of the real number system.

• Kyungpook Mathematical Journal
• /
• v.26 no.1
• /
• pp.67-72
• /
• 1986

• Journal of the Korean Mathematical Society
• /
• v.46 no.2
• /
• pp.363-447
• /
• 2009

The author previously defined the spectral invariants, denoted by $\rho(H;\;a)$, of a Hamiltonian function H as the mini-max value of the action functional ${\cal{A}}_H$ over the Novikov Floer cycles in the Floer homology class dual to the quantum cohomology class a. The spectrality axiom of the invariant $\rho(H;\;a)$ states that the mini-max value is a critical value of the action functional ${\cal{A}}_H$. The main purpose of the present paper is to prove this axiom for nondegenerate Hamiltonian functions in irrational symplectic manifolds (M, $\omega$). We also prove that the spectral invariant function ${\rho}_a$ : $H\;{\mapsto}\;\rho(H;\;a)$ can be pushed down to a continuous function defined on the universal (${\acute{e}}tale$) covering space $\widetilde{HAM}$(M, $\omega$) of the group Ham((M, $\omega$) of Hamiltonian diffeomorphisms on general (M, $\omega$). For a certain generic homotopy, which we call a Cerf homotopy ${\cal{H}}\;=\;\{H^s\}_{0{\leq}s{\leq}1}$ of Hamiltonians, the function ${\rho}_a\;{\circ}\;{\cal{H}}$ : $s\;{\mapsto}\;{\rho}(H^s;\;a)$ is piecewise smooth away from a countable subset of [0, 1] for each non-zero quantum cohomology class a. The proof of this nondegenerate spectrality relies on several new ingredients in the chain level Floer theory, which have their own independent interest: a structure theorem on the Cerf bifurcation diagram of the critical values of the action functionals associated to a generic one-parameter family of Hamiltonian functions, a general structure theorem and the handle sliding lemma of Novikov Floer cycles over such a family and a family version of new transversality statements involving the Floer chain map, and many others. We call this chain level Floer theory as a whole the Floer mini-max theory.