• 대한수학회지
• /
• 제61권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
• /
• 제64권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
• /
• 제60권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
• /
• 제17권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
• /
• 제19권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)$.

• 호남수학학술지
• /
• 제2권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)

• 한국지능시스템학회논문지
• /
• 제11권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.

• 한국통신학회논문지
• /
• 제18권3호
• /
• pp.372-384
• /
• 1993

로보트 제어와 로케트의 자세 제어에 관련하여 도립 진자 시스템은 제어 이론과 응용면에서 흥미 있는 문제이다. 일반적으로 도립 진자 시스템을 제어하기 위하여 소신호 모델에 의한 근사화 모델이 사용되었다. 본 논문에서는 미분 다양체 이론을 기초로 한 비선형 제어 이론을 도입 진자 시스템에 적용하고자 한다. 먼저 비선형 모델을 비선형 상태 궤환을 이용하여 근사 선형화 모델로 변환시키고, 선형화 모델에 극점 배치를 통하여 선형 제어기를 설계하였다. 컴퓨터 시뮬레이션을 통하여 제안된 기법을 Tayler 급수의 3차 선형화모델과 비교하였다.

• 대한의생명과학회지
• /
• 제19권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.

• 전자공학회논문지SC
• /
• 제46권4호
• /
• pp.1-6
• /
• 2009

본 논문에서 우리는 비선형 시스템에 대한 다이나믹 스무스 상태 궤환 안정화기를 설계한다. 이 시스템은 우반평면에 고유값이 존재함으로 제어불가능 모드를 가질 수 있다. 이 시스템을 지수적으로 안정화하기 위해서 우리는 추가 다이나믹스를 고려한 다이나믹 제어기를 제안한다. 추가 다이나믹스의 설계 후에 다이나믹 차수 보정법과 역진기법을 이용하여 안정화기와 미분 가능, positive definite, proper인 리아푸노프 함수를 설계한다. 설계된 제어기의 수렴성은 차수 지표자라는 새로운 개념의 도입으로 증명될 것이다.