• 한국수학사학회지
• /
• 제24권2호
• /
• pp.17-30
• /
• 2011

이 연구에서는 카발리에리가 제시한 두 가지 불가분량법 사이의 전환에 대해 고찰한다. 불가분량법 사용에 대한 반대에 대응하기 위해, 카발리에리는 그가 처음 제시했던 불가분량법을 수정하였다. 이 과정에 대한 분석을 통해, 이 연구에서는 카발리에리가 불가분량과 관련된 패러독스를 피하기 위해 도형의 밀도를 반영하는 방향으로 불가분량법을 바꾸었다는 면과 함께, 라카토스의 이론에 근거해, 이러한 전환이 불완전한 보조정리 합체법으로서의 특정을 지니고 있음을 밝힌다.

• 한국토양비료학회지
• /
• 제12권1호
• /
• pp.47-48
• /
• 1979

Lemnaceae의 반공생적 질소고정(窒素固定)을 확인(確認)하기 위(爲)하여 SEM으로 관찰(觀察), 조사(調査)한 바 다음과 같은 결과(結果)를 얻었다. 1) 반공생적 질소고정(窒素固定)을 하고 있는 암조(藍藻)는 Calthrix sp.와 Microcrate sp.가 많았으나 L. gibba에서는 Anabaena sp.도 보였다. 2) L. oligorhiza는 거의 공생적(共生的) 질소고정(窒素固定)을 하고 있는 것으로 보였으나, 타(他)의 Lemnaceae는 이와같이 보이지 않았다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1997년도 추계학술대회 논문집 학회본부
• /
• 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.

• 전기학회논문지
• /
• 제61권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.

• 전기학회논문지
• /
• 제59권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.

• 전기학회논문지
• /
• 제58권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
• /
• 제7권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
• /
• 제29권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.

• 대한수학회보
• /
• 제31권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.

• 대한수학회보
• /
• 제22권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).