• Journal of the Korean Institute of Intelligent Systems
• /
• v.11 no.7
• /
• pp.569-573
• /
• 2001

An approximate representation of discrete functions {f$_{i,j}\mid$｜i, j=-1, 0, 1, …, N+1}in two variables by a fuzzy system is described. We use the cubic B-splines as fuzzy sets for the input fuzzification and spike functions as the output fuzzy sets. The ordinal number of f$_{i,j}$ in the sorted list is taken to be the out put fuzzy set number in the (i, j) th entry of the fuzzy rule table. We show that the fuzzy system is an exact representation of the cubic spline function s(x, y)=$\sum_{N+1}^{{i,j}=-1}f_{i,j}B_i(x)B_j(y)$ and that the approximation error S(x, y)-f(x, y) is surprisingly O($h^2$) when f(x, y) is three times continuously differentiable. We prove that when f(x, y) is a gray scale image, then the fuzzy system is a smoothed representation of the image and the original image can be recovered exactly from its fuzzy system representation when it is a digitized image.e.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.18 no.3
• /
• pp.372-384
• /
• 1993

The inverted pendulum system has interesting and challenging problems related to robotics and rocket attitude control view of both control theory and applications. Generally approximately linearized plant models are employed to control the system. In this paper a recently developed control theory based on differentiable manifold theory is used to control the inverted pendulum system which is typically nonlinear. First, the nonlinear model is transformed into the approximate feedback linearized system by nonlinear state feedback. Secondly, the linear controller is designed using the pole-placement method for the approximate feedback linearized plant model, the output of which are finally inverse-transformed to yield the control input to the actual system of the inverted pendulum. The proposed method is evaluated by the computer simulation to compare with the 3rd order linearization model.

• Biomedical Science Letters
• /
• v.19 no.3
• /
• pp.213-223
• /
• 2013

The objectives of this study are to develop a molecular diagnosis to differentiate serotypes and mating-types of C. neoformans/C. gattii complex isolates from pigeon droppings in Korea and to elucidate molecular epidemiology of the isolates. Phenotypes and genotypes of C. neoformans/C. gattii complex isolates were identified by biochemical properties and PCR using specific CNLAC1 gene, respectively. To classify serotypes and mating-types of C. neoformans/C. gattii complex isolates, the five reference strains and thirty-three isolates in Korea were investigated by restriction fragment length polymorphism (RFLP) analysis using CNLAC1 gene for varieties, by random amplified polymorphic DNA (RAPD) for serotyping, and by PCR using specific primer sets for mating typing. All isolates in Korea were belonged to C. neoformans var. grubii (serotype A) by RFLP and RAPD patterns which showed high sensitivity and specificity. Therefore, RFLP and RFLP were available to differentiate varieties and serotypes of C. neoformans. Amplification patterns of the five reference strains by specific PCR for mating typing were differentiable, and all isolates were classified into $MAT{\alpha}$. All C. neoformans environmental isolates in Korea were Cr. neoformans serotype A and $MAT{\alpha}$ which is a more virulent pathogen. This study suggests that RFLP and RAPD are rapid and correct molecular diagnosis tools for epidemiology of C. neoformans/C. gattii complex isolates.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.46 no.4
• /
• pp.1-6
• /
• 2009

In this paper, we design a dynamic state feedback smooth stabilizer for a nonlinear system whose Jacobian linearization may have uncontrollable mode because its eigenvalues are on the right half-plane. After designing an augmented system, a dynamic exponent scaling and backstepping enable one to explicitly design a smooth stabilizer and a continuously differentiable Lyapunov function which is positive definite and proper. The convergence of the designed controller is proved by the new notion 'degree indicator'.

• Journal of the Korean Mathematical Society
• /
• v.45 no.5
• /
• pp.1393-1404
• /
• 2008

Let K be a nonempty closed convex subset of a Banach space E. Suppose $\{T_{n}\}$ (n = 1,2,...) is a uniformly asymptotically regular sequence of nonexpansive mappings from K to K such that ${\cap}_{n=1}^{\infty}$ F$\(T_n){\neq}{\phi}$. For $x_0{\in}K$, define $x_{n+1}={\lambda}_{n+1}x_{n}+(1-{\lambda}_{n+1})T_{n+1}x_{n},n{\geq}0$. If ${\lambda}_n{\subset}[0,1]$ satisfies $lim_{n{\rightarrow}{\infty}}{\lambda}_n=0$, we proved that $\{x_n\}$ weakly converges to some $z{\in}F\;as\;n{\rightarrow}{\infty}$ in the framework of reflexive Banach space E which satisfies the Opial's condition or has $Fr{\acute{e}}chet$ differentiable norm or its dual $E^*$ has the Kadec-Klee property. We also obtain that $\{x_n\}$ strongly converges to some $z{\in}F$ in Banach space E if K is a compact subset of E or there exists one map $T{\in}\{T_{n};n=1,2,...\}$ satisfy some compact conditions such as T is semi compact or satisfy Condition A or $lim_{n{\rightarrow}{\infty}}d(x_{n},F(T))=0$ and so on.

• Journal of the Korean Mathematical Society
• /
• v.45 no.5
• /
• pp.1443-1482
• /
• 2008

In this paper we define a Myller configuration in a Finsler space and use some special configurations to obtain results about Finsler subspaces. Let $F^{n}$ = (M,F) be a Finsler space, with M a real, differentiable manifold of dimension n. Using the pull back bundle $({\pi}^{*}TM,\tilde{\pi},\widetilde{TM})$ of the tangent bundle $(TM,{\pi},M)$ by the mapping $\tilde{\pi}={\pi}/TM$ and the Cartan Finsler connection of a Finsler space, we obtain an orthonormal frame of sections of ${\pi}^{*}TM$ along a regular curve in $\widetilde{TM}$ and a system of invariants, geometrically associated to the Myller configuration. The fundamental equations are written in a very simple form and we prove a fundamental theorem. Important lines in a Finsler subspace are defined like special lines in a Myller configuration, geometrically associated to the subspace: auto parallels, lines of curvature, asymptotes. Torse forming vector fields with respect to the Cartan Finsler connection are characterized by means of the invariants of the Frenet frame of a versor field along a curve, and the new notion of torse forming vector fields in the sense of Myller is introduced. The particular cases of concurrence and parallelism in the sense of Myller are completely studied, for vector fields from the distribution $T^m$ of the Myller configuration and also from the normal distribution $T^p$.

• Journal of Educational Research in Mathematics
• /
• v.8 no.2
• /
• pp.495-507
• /
• 1998

This article intends to review what problems the terms in calculus have and how those problems are caused. For this purpose We make examinations on the considerations in the analysis of mathematical terminology, which includes the problems of general and technical terms, the meaning and the boundary of words, their consistency, the name and meaning, concept and their concept images, translations and qwerty effects. And in chapter 3, We analyse the textbook which are currently used, through which I was able to find out that the terms in calculus have some problems, In other words, the key terms such as "differentiable", "differential coefficient", "differential" have their roots in the term "differential" but the term "derived function" is very distinct from other terms and thus obstructs the consistency of terms. And the central term "differential" is being used without clear definition. In particular, the fact that "differential", when used in its arbitrary definition, has the image of "splitting minutely" can be an obstacle to understanding the exact concepts of calculus. In chapter 4, We make a review on the history of calculus and the term "differential" currently used in modern mathematics so that I can identify the origin of the problem connected with the usage of the term "differential". We should recognize the specified problems and its causes and keep their instructional implications in mind. Furthermore, following researches and discussions should be made on whether the terminology system of calculus should be reestablished and how the reestablishment should be made.e terminology system of calculus should be reestablished and how the reestablishment should be made.

• Proceedings of the KIEE Conference
• /
• 1997.07c
• /
• pp.1009-1011
• /
• 1997

This paper presents an optimization method which determines locations and size of capacitors simultaneously while minimizing power losses and improving voltage profile in radial distribution systems. Especially, the cost function associated with capacitor placement is considered as step function due to banks of standard discrete capacities. Genetic algorithms(GA) are used to obtain efficiently the solution of the cost function associated with capacitors which is non-continuous and non-differentiable function. The strings in GA consist of the node number index and size of capacitors to be installed. The length mutation operator, which is able to change the length of strings in each generation, is used. The proposed method which determines locations and size of capacitors simultaneously can reduce power losses and improve' voltage profile with capacitors of minimum size. Its efficiency is proved through the application in radial distribution systems.

• Kyungpook Mathematical Journal
• /
• v.56 no.3
• /
• pp.777-789
• /
• 2016

In this paper, we establish some new oscillation criteria for the second-order forced nonlinear functional dynamic equations with damping term $$(r(t)x^{\Delta}(t))^{\Delta}+q({\sigma}(t))x^{\Delta}(t)+p(t)f(x({\tau}(t)))=e(t)$$, and $$(r(t)x^{\Delta}(t))^{\Delta}+q(t)x^{\Delta}(t)+p(t)f(x({\sigma}(t)))=e(t)$$, on a time scale ${\mathbb{T}}$, where r(t), p(t) and q(t) are real-valued right-dense continuous (rd-continuous) functions [1] defined on ${\mathbb{T}}$ with p(t) < 0 and ${\tau}:{\mathbb{T}}{\rightarrow}{\mathbb{T}}$ is a strictly increasing differentiable function and ${\lim}_{t{\rightarrow}{\infty}}{\tau}(t)={\infty}$. No restriction is imposed on the forcing term e(t) to satisfy Kartsatos condition. Our results generalize and extend some pervious results [5, 8, 10, 11, 12] and can be applied to some oscillation problems that not discussed before. Finally, we give some examples to illustrate our main results.

• Journal of Digital Contents Society
• /
• v.18 no.5
• /
• pp.969-976
• /
• 2017

This paper proposes the learning method of an artificial neural network and a convolutional neural network using the WFSO algorithm developed as an optimization algorithm. Since the optimization algorithm searches based on a number of candidate solutions, it has a drawback in that it is generally slow, but it rarely falls into the local optimal solution and it is easy to parallelize. In addition, the artificial neural networks with non-differentiable activation functions can be trained and the structure and weights can be optimized at the same time. In this paper, we describe how to apply WFSO algorithm to artificial neural network learning and compare its performances with error back-propagation algorithm in multilayer artificial neural networks and convolutional neural networks.