• Journal for History of Mathematics
• /
• v.24 no.2
• /
• pp.17-30
• /
• 2011

This study inquires into the change between two method of indivisibles, which Cavalier suggested. To cope with the objection of use of indivisibles, he modified his first method of indivisibles. Through the analysis of this transition, this study reveals the feature that Cavalier changed into reflecting the density of the figures so as to avoid the paradox related to the indivisibles and this change has the aspect of incomplete lemma-incorporation method according to Lakatos' theory.

• Korean Journal of Soil Science and Fertilizer
• /
• v.12 no.1
• /
• pp.47-48
• /
• 1979

To study on the state of nitrogen fixation of Lemma associated with blue green algae this experiment was carried out. The results were as follows: 1) The blue green algaes associated with Lemnaceae were mainly Calthrix sp. and Microcrate sp., but Anabaena sp. was found only in L. gibba. 2) It was believed that Lemnaceae associated with blue green algae have semi-symbiotic nitrogen fixation ability, especially clear in L. oligorhiza.

• Proceedings of the KIEE Conference
• /
• 1997.11a
• /
• pp.146-148
• /
• 1997

An LMI-based parameterization of all $\gamma$-suboptimal reduced-order unbiased $H_{\infty}$ filters is provided in terms of a free matrix, using the unbiasedness condition, bounded real lemma and the general solution of the basic LMI. Also, by sequentially solving the generalized eigenvalue minimization and basic LMI problem, the optimal filter coefficient matrix can be obtained with the best achievable performance.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.61 no.3
• /
• pp.466-471
• /
• 2012

In this paper, we consider the problem of a robust passive filtering with low-order for discrete-time singular systems with polytopic uncertainties. A BRL(bounded real lemma) for robust passivity with a dissipativity of discrete-time uncertain singular systems is derived. A low-order robust passive filter design method is proposed by new reduced-order method and LMI(linear matrix inequality) technique on the basis of the obtained BRL. Finally, illustrative examples are presented to show the applicability of the proposed method.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.59 no.10
• /
• pp.1894-1899
• /
• 2010

This note is concerned with a robust sliding mode control(SMC) for a class of unmatched uncertain system with severe commensurate state time delay. The suggested method is extended to the control of severe state time delay systems with unmatched uncertainties except the matched input matrix uncertainty. A transformed sliding surface is proposed and a stabilizing control input is suggested. The closed loop stability together with the existence condition of the sliding mode on the proposed sliding surface is investigated through one Lemma and two Theorems by using the Lyapunov direct method with the concept of the control Lyapunov function instead of complex Lyapunov-Kravoskii functionals. Through an illustrative example and simulation study, the usefulness of the main results is verified.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.58 no.1
• /
• pp.193-198
• /
• 2009

In this paper, we consider the design problem of delay-dependent robust $H{\infty}$ controller of discrete-time descriptor systems with parameter uncertainties and interval time-varying delays in state and control input by delay-dependent LMI (linear matrix inequality) technique. A new delay-dependent bounded real lemma for discrete-time descriptor systems with time-varying delays is derived. The condition for the existence of robust $H{\infty}$ controller and the robust $H{\infty}$ state feedback control law are proposed by LMI approach. A numerical example is demonstrated to show the validity of the design method.

• Journal of applied mathematics & informatics
• /
• v.7 no.1
• /
• pp.1-28
• /
• 2000

In the present paper, we introduce fundamental results in the KKM theory for G-convex spaces which are equivalent to the Brouwer theorem, the Sperner lemma, and the KKM theorem. Those results are all abstract versions of known corresponding ones for convex subsets of topological vector spaces. Some earlier applications of those results are indicated. Finally, We give a new proof of the Himmelberg fixed point theorem and G-convex space versions of the von Neumann type minimax theorem and the Nash equilibrium theorem as typical examples of applications of our theory.

• Journal of applied mathematics & informatics
• /
• v.29 no.3_4
• /
• pp.987-1000
• /
• 2011

We show how the dynamic optimization problem with the capital constraint can be reduced to the problem to find an optimal modified claim $\tilde{\psi}H$ where $\tilde{\psi}$ is a randomized test in the static problem. Coherent risk measure is used as risk measure in the $L^{\infty}$ random variable spaces. The paper is written in expository style to some degree. We use an average risk of measure(AVaR), which is a special coherent risk measure, to see how to hedge the modified claim in a complete market model.

• Bulletin of the Korean Mathematical Society
• /
• v.31 no.2
• /
• pp.163-165
• /
• 1994

Modules which satisfy the converse of Schur's lemma have been studied by many authors. In [6], R. Ware proved that a projective module P over a semiprime ring R is irreducible if and only if En $d_{R}$(P) is a division ring. Also, Y. Hirano and J.K. Park proved that a torsionless module M over a semiprime ring R is irreducible if and only if En $d_{R}$(M) is a division ring. In case R is a commutative ring, we obtain the following: An R-module M is irreducible if and only if En $d_{R}$(M) is a division ring and M is a multiplication R-module. Throughout this paper, R is commutative ring with identity and all modules are unital left R-modules. Let R be a commutative ring with identity and let M be an R-module. Then M is called a multiplication module if for each submodule N of M, there exists and ideal I of R such that N=IM. Cyclic R-modules are multiplication modules. In particular, irreducible R-modules are multiplication modules.dules.

• Bulletin of the Korean Mathematical Society
• /
• v.22 no.1
• /
• pp.23-29
• /
• 1985

Let H be an arbitrary complex Hilbert space. We constructed an extension K of H by means of weakly convergent sequences in H and the Banach limit. Let .phi. be the faithful *-representation of L(H) on K. In this note, we investigated the relations between spectra of T in L(H) and .phi.(T) in L(K) and we obtained the following results: 1) If T is a compact operator on H, then .phi.(T) is also a compact operator on K (Proposition 6), 2) .sigma.$_{l}$ (.phi.(T)).contnd..sigma.$_{l}$ (T) for any operator T.mem.L(H) (Corollary 10), 3) For every operator T.mem.L(H), .sigma.$_{ap}$ (.phi.(T))=.sigma.$_{ap}$ (T))=.sigma.$_{ap}$ (T)=.sigma.$_{p}$(.phi.(T)) (Lemma 12, 13) and .sigma.$_{c}$(.phi.(T))=.sigma.(Theorem 15).15).