• 대한수학회지
• /
• 제42권3호
• /
• pp.529-541
• /
• 2005

An operator T belonging to the algebra B(H) of bounded linear transformations on a Hilbert H into itself is said to be posinormal if there exists a positive operator $P{\in}B(H)$ such that $TT^*\;=\;T^*PT$. A posinormal operator T is said to be conditionally totally posinormal (resp., totally posinormal), shortened to $T{\in}CTP(resp.,\;T{\in}TP)$, if to each complex number, $\lambda$ there corresponds a positive operator $P_\lambda$ such that $|(T-{\lambda}I)^{\ast}|^{2}\;=\;|P_{\lambda}^{\frac{1}{2}}(T-{\lambda}I)|^{2}$ (resp., if there exists a positive operator P such that $|(T-{\lambda}I)^{\ast}|^{2}\;=\;|P^{\frac{1}{2}}(T-{\lambda}I)|^{2}\;for\;all\;\lambda)$. This paper proves Weyl's theorem type results for TP and CTP operators. If $A\;{\in}\;TP$, if $B^*\;{\in}\;CTP$ is isoloid and if $d_{AB}\;{\in}\;B(B(H))$ denotes either of the elementary operators $\delta_{AB}(X)\;=\;AX\;-\;XB\;and\;\Delta_{AB}(X)\;=\;AXB\;-\;X$, then it is proved that $d_{AB}$ satisfies Weyl's theorem and $d^{\ast}_{AB}\;satisfies\;\alpha-Weyl's$ theorem.

• 한국수학사학회지
• /
• 제21권4호
• /
• pp.1-10
• /
• 2008

이 논문은 홍길주(洪吉周)$(1786{\sim}1841)$의 기하신설(幾何新說)에 들어 있는 대수학 분야를 조사하여 홍길주(洪吉周)의 대수학을 구조적으로 분석한다. 쌍추억산(雙推臆算)은 수리정온(數理精蘊)의 첩차호징(疊借互徵)으로 이에 대한 문제를 추가한 것이고, 개방몽구(開方蒙求)에서 완전제곱수부터 완전다섯제곱수를 급수로 나타내는 등식(等式)을 얻어내었다. 잡쇄수초에서, 정수환(整數環) Z의 상환(商環) Z/(9)를 도입하여 합동방정식을 해결하고, 마지막으로 황금비(黃金比)의 성질을 기하적으로 규명하였다.

• Tribology and Lubricants
• /
• 제14권2호
• /
• pp.26-34
• /
• 1998

This paper presents a high-speed performance analysis of ball bearings with ceramic balls under thrust loads. The sliding velocity profiles between a ball and raceways were obtained by the 3-D quasi-dynamic equations of motion including both centrifugal force and gyroscopic moment derived by vector matrix algebra. The friction at the contact areas was obtained by the Bair-Winer's non-Newtonian rheological model and the Hamrock-Dowson's central film thickness in EHL analysis. The nonlinear equations were solved by the Newton-Raphson method and the underrelaxation iterative method. The friction torques and ball behaviors with various loads, ball materials, and contact angles were predicted by this model. It was shown that the friction torque was sensitive to thrust load and contact angle, and that the friction torque and the pitch angle of the bearing with ceramic balls are smaller than those of the bearing with steel balls.

• Journal of Mechanical Science and Technology
• /
• 제17권4호
• /
• pp.538-544
• /
• 2003

Although many methodologies exist for determining the constrained equations of motion, most of these methods depend on numerical approaches such as the Lagrange multiplier's method expressed in differential/algebraic systems. In 1992, Udwadia and Kalaba proposed explicit equations of motion for constrained systems based on Gauss's principle and elementary linear algebra without any multipliers or complicated intermediate processes. The generalized inverse method was the first work to present explicit equations of motion for constrained systems. However, numerical integration results of the equation of motion gradually veer away from the constraint equations with time. Thus, an objective of this study is to provide a numerical integration scheme, which modifies the generalized inverse method to reduce the errors. The modified equations of motion for constrained systems include the position constraints of index 3 systems and their first derivatives with respect to time in addition to their second derivatives with respect to time. The effectiveness of the proposed method is illustrated by numerical examples.

• 대한수학회논문집
• /
• 제35권3호
• /
• pp.891-906
• /
• 2020

In this paper, the commutative module amenable Banach algebras are characterized. The hereditary and permanence properties of module amenability and the relations between module amenability of a Banach algebra and its ideals are explored. Analogous to the classical case of amenability, it is shown that the projective tensor product and direct sum of module amenable Banach algebras are again module amenable. By an application of Ryll-Nardzewski fixed point theorem, it is shown that for an inverse semigroup S, every module derivation of 𝑙¹(S) into a reflexive module is inner.

• 전자공학회논문지S
• /
• 제36S권3호
• /
• pp.47-56
• /
• 1999

제한된 출력 즉 오차 측정된 출력 값만을 사용하여 원하는 목표치에 도달하도록 하는 제어 문제를 푸는데 많은 연구가 진행되어 왔다. 종종 그러한 제어기를 설계할 때 해를 구하기 어려운 Non Linear Two Point Boundary Value Problem에 직면하게 된다. 특히 Reduced order 추정자 알고리즘은 백색 잡음에 의하여 영향을 받은 선형 시스템의 측정된 상태 뿐 만 아니라 보조 상태를 추정하기 위하여 개발되었다. 추정자를 설계할 때 상태는 무편향성이고 추정자의 편차는 추정자 및 추정상태와 공통되는 상태에 대한 모든 출력의 subspace에 수직이 된다. 특히 reduced order에서의 필터 성능은 full order에서의 필터 성능에 대해 suboptimal 이지만 상응한 Riccati equation을 푸는데 계산시간이 줄고 memory사용이 적은 이점이 있다. 본 논문에서는 Kronecker algebra와 선택행렬을 이용하여 Non Linear Two Point Boundary Value Problem을 Linear Two Point Boundary Value Problem으로 변환시켜 부수적으로 수반되는 대수적인 Riccati equation을 유도함으로써 문제를 쉽게 해결하는데 있다.

• 충청수학회지
• /
• 제22권3호
• /
• pp.481-495
• /
• 2009

Huffman, Park and Skoug introduced various results for the $L_{p}$ analytic Fourier-Feynman transform and the convolution for functionals on classical Wiener space which belong to some Banach algebra $\mathcal{S}$ introduced by Cameron and Storvick. Also Chang, Kim and Yoo extended the above results to an abstract Wiener space for functionals in the Fresnel class $\mathcal{F}(B)$ which corresponds to $\mathcal{S}$. Moreover they introduced the $L_{p}$ analytic Fourier-Feynman transform for functionals on a product abstract Wiener space and then established the above results for functionals in the generalized Fresnel class $\mathcal{F}_{A1,A2}$ containing $\mathcal{F}(B)$. In this paper, we investigate more generalized relationships, between the Fourier-Feynman transform and the convolution product for functionals in $\mathcal{F}_{A1,A2}$, than the above results.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 1993년도 가을 학술발표회논문집
• /
• pp.81-90
• /
• 1993

The optimum design of a structure requires the determination of the economical member size and shape of the structure which satisfies the design condition and function. In this study, the process of design automatization of three-dimensional truss structure introduces the optimization technique tests its application in the design automatization, proposes its application method and applies the example structure of the parabolic antenna truss. Using the Formex Algebra of configuration function, the structure's mesh-generation is automatized. By using the program developed in this study, the input member array, member size and load condition designer can generate the input data file for the structure analysis and optimum design. This study is aimed at the development of a design automatization system that search for tile optimum value of a structure design by observing the structure's sensitivity from the modification of member array and member property.

• 한국수학사학회지
• /
• 제17권3호
• /
• pp.23-32
• /
• 2004

본 고에서는 유클리드의 원론에 나타난 대수적 개념들을 개괄하고, 현대적인 기호로 그 의미를 분석하였다. 유클리드의 원론에는 이차방정식, 곱셈공식, 비례식, 정수론, 무리수 등의 대수적 개념이 포함되어 있으나, 그 표현과 추론은 완전히 기하학적인 형태로 이루어져 있다 이러한 내용을 분석하는 것은 대수학의 발생적 본질을 찾아 최초에 수학이 만들어지는 상황을 학생들에게 경험하게 함으로써 수학화를 구현하려는 교육적인 문제의식에도 일종의 시사를 제공하게 될 것이다.

• 대한수학회논문집
• /
• 제23권1호
• /
• pp.81-93
• /
• 2008

In [3, 9], using the theory of noncommutative Dirichlet forms in the sense of Cipriani [6] and the symmetric embedding map, authors constructed the KMS-symmetric Markovian semigroup $\{S_t\}_{t{\geq}0}$ on a von Neumann algebra $\cal{M}$ with an admissible function f and an operator $x\;{\in}\;{\cal{M}}$. We give a sufficient and necessary condition for x so that the semigroup $\{S_t\}_{t{\geq}0}$ acts separately on diagonal and off-diagonal operators with respect to a basis and study some results.