• Journal of the Korean Mathematical Society
• /
• v.61 no.3
• /
• pp.427-444
• /
• 2024

The matrix completion problem is to predict missing entries of a data matrix using the low-rank approximation of the observed entries. Typical approaches to matrix completion problem often rely on thresholding the singular values of the data matrix. However, these approaches have some limitations. In particular, a discontinuity is present near the thresholding value, and the thresholding value must be manually selected. To overcome these difficulties, we propose a shrinkage and thresholding function that smoothly thresholds the singular values to obtain more accurate and robust estimation of the data matrix. Furthermore, the proposed function is differentiable so that the thresholding values can be adaptively calculated during the iterations using Stein unbiased risk estimate. The experimental results demonstrate that the proposed algorithm yields a more accurate estimation with a faster execution than other matrix completion algorithms in image inpainting problems.

• Kyungpook Mathematical Journal
• /
• v.64 no.1
• /
• pp.95-111
• /
• 2024

The filled function method is useful in solving unconstrained global optimization problems. However, depending on the type of function, and parameters used, there are limitations that cause difficultiies in implemenations. Exponential and logarithmic functions lead to the overflow effect, requiring iterative adjustment of the parameters. This paper proposes a polynomial-filled function that has a general form, is non-exponential, nonlogarithmic, non-parameteric, and continuously differentiable. With this newly proposed filled function, the aforementioned shortcomings of the filled function method can be overcome. To confirm the superiority of the proposed filled function algorithm, we apply it to a set of unconstrained global optimization problems. The data derived by numerical implementation shows that the proposed filled function can be used as an alternative algorithm when solving unconstrained global optimization problems.

• Journal of Applied Biological Chemistry
• /
• v.60 no.1
• /
• pp.55-59
• /
• 2017

Although wheat is a common staple food in the world, some people suffer from a variety of wheat allergies. For example, wheat-dependent exercise-induced anaphylaxis is induced in the gastrointestinal tract by wheat proteins. Relatively high molecular weight proteins that are salt-insoluble induce many wheat allergies. In the present study, we investigated the induction of an allergy response using crude wheat proteins, which are relatively low molecular weight, salt-soluble proteins. The crude antigen used in this study was extracted using phosphate buffered saline. When the antigen extracts from various wheat cultivars were orally administered, differentiable degrees of allergy responses were observed as measured by serum IgE and histamine secretion compared to the control. Serum IgE levels increased following administration of three of the wheat extracts. This evidence suggests that a combination of salt-soluble wheat proteins could be antigens for the induction of various allergy responses.

• Structural Engineering and Mechanics
• /
• v.17 no.3_4
• /
• pp.409-428
• /
• 2004

In this paper, a Holder exponent, a measure of the degree to which a signal is differentiable, is presented to detect the presence of a discontinuity and when the discontinuity occurs in a dynamic signal. This discontinuity detection has potential applications to structural health monitoring because discontinuities are often introduced into dynamic response data as a result of certain types of damage. Wavelet transforms are incorporated with the Holder exponent to capture the time varying nature of discontinuities, and a classification procedure is developed to quantify when changes in the Holder exponent are significant. The proposed Holder exponent analysis is applied to various experimental signals to reveal underlying damage causing events from the signals. Signals being analyzed include acceleration response of a mechanical system with a rattling internal part, acceleration signals of a three-story building model with a loosing bolt, and strain records of an in-situ bridge during construction. The experimental results presented in this paper demonstrate that the Holder exponent can be an effective tool for identifying certain types of events that introduce discontinuities into the measured dynamic response data.

• Korean Journal of Mathematics
• /
• v.19 no.3
• /
• pp.279-289
• /
• 2011

Let E be a uniformly convex Banach space with a uniformly Gateaux differentiable norm, C be a nonempty closed convex subset of E and f : $C{\rightarrow}C$ be a fixed bounded continuous strong pseudocontraction with the coefficient ${\alpha}{\in}(0,1)$. Let $\{{\lambda}_t\}_{0<t<1}$ be a net of positive real numbers such that ${\lim}_{t{\rightarrow}0}{\lambda}_t={\infty}$ and S = {$T(s)$ : $0{\leq}s$ < ${\infty}$} be a nonexpansive semigroup on C such that $F(S){\neq}{\emptyset}$, where F(S) denotes the set of fixed points of the semigroup. Then sequence {$x_t$} defined by $x_t=tf(x_t)+(1-t)\frac{1}{{\lambda}_t}{\int_{0}}^{{\lambda}_t}T(s)x{_t}ds$ converges strongly as $t{\rightarrow}0$ to $\bar{x}{\in}F(S)$, which solves the following variational inequality ${\langle}(f-I)\bar{x},\;p-\bar{x}{\rangle}{\leq}0$ for all $p{\in}F(S)$.

• Honam Mathematical Journal
• /
• v.2 no.1
• /
• pp.1-8
• /
• 1980

논문(論文)[3] (본(本) 논문(論文) 제1부(第1部))에서 미분가능다양체(微分可能多樣體) M 위의 (n-1)차(次) 미분형식(微分型式) ${\beta}^{(n-1)}$이 Compact인 Carrier를 가지면 ${\int}d{\beta}^{(n-1)}=0$이며, (p-1)차(次) 미분형식(微分型式) ${\beta}^{(p-1)}$과 p차(次) 미분가능쇄(微分可能쇄鎖) $C^{(p)}=\Sigma\limits_ik_iS_i{^{(p)}}$에 대(對)하여 ${\int\limits_{c^{(p)}}}d{\beta}^{(p-1)}={\int\limits_{{\partial}{c}^{(p)}}}{\beta}^{(p-1)}$이 성립(成立) (Stokes 정리(定理)의 일반화(一般化))⋯등(等) M위의 적분(積分)에 관한 여러 가지 성질(性質)들을 구명(究明)하였다. 이 성질(性質)들을 토태(土台)로 하여 본(本) 논문(論文)에서는; 제2절(第2節)에서 미분가능다양체(微分可能多樣體) M위의 Lie 도함수(導函數)의 정의(定義)와 Lie적분(微分)에 관(關)한 여러가지 성질(性質)들을 고찰(考察)하고, 제3절(第3節)에서 div X와 Laplace 작용소(作用素) ${\Delta}f$의 정의(定義) 및 실(實) n차원(次元) 가부호미분가능(可符號微分可能) 다양체(多樣體) M 위에서의 divX와 ${\Delta}f$의 적분(積分)에 관(關)한 성질(性質), 즉(卽) $V=\sqrt{{\mid}g{\mid}}dx^1{\Lambda}{\cdots}{\Lambda}dx^n{\in}A^n(M)$에 대(對)하여 $$\int_MdivXV\limits=\int_M{\Delta}fv=0$$인 관계(關係)가 성립(成立)함을 구명(究明)한다. (정리(定理) 3.3)

• 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'.