• Journal of the Chungcheong Mathematical Society
• /
• v.8 no.1
• /
• pp.111-117
• /
• 1995

A function $f:{\Omega}{\rightarrow}X$ is called intrinsically-separable valued if there exists $E{\in}{\Sigma}$ with ${\mu}(E)=0$ such that $f({\Omega}-E)$ is a separable in X. For a given Dunford integrable function $f:{\Omega}{\rightarrow}X$ and a weakly compact operator T, we show that if f is intrinsically-separable valued, then f is Pettis integrable, and if there exists a sequence ($f_n$) of Dunford integrable and intrinsically-separable valued functions from ${\Omega}$ into X such that for each $x^*{\in}X^*$, $x^*f_n{\rightarrow}x^*f$ a.e., then f is Pettis integrable. We show that a function f is Pettis integrable if and only if for each $E{\in}{\Sigma}$, F(E) is $weak^*$-continuous on $B_{X*}$ if and only if for each $E{\in}{\Sigma}$, $M=\{x^*{\in}X^*:F(E)(x^*)=O\}$ is $weak^*$-closed.

• The Pure and Applied Mathematics
• /
• v.10 no.4
• /
• pp.217-223
• /
• 2003

Let $\cal{K}$ be the extension Hilbert space of a Hilbert space $\cal{H}$ and let $\Phi$ be the faithful $\ast$-representation of $\cal{B}(\cal{H})$ on $\cal{k}$. In this paper, we show that if T is an irreducible ${\omega}-hyponormal$ operators such that $ker(T)\;{\subset}\;ker(T^{*})$ and $T^{*}T\;-\;TT^{\ast}$ is compact, then $\sigma_{e}(T)\;=\;\sigma_{e}(\Phi(T))$.

• Journal of Institute of Control, Robotics and Systems
• /
• v.5 no.3
• /
• pp.288-296
• /
• 1999

A force-reflecting hand controller can provide the kinesthetic information obtained from a slave manipulator to the operator of a teleoperation system. The goal is to construct a compact hand controller that can provide large workspace and good force-reflecting capability. This paper presents the design and the analysis of a 6-degree-of-freedom force-reflecting hand controller using fivebar parallel mechanism. The forward kinematics of the fivebar parallel mechanism has been calculated in real-time using three pin-joint sensors in addition to six actuator position sensors. A force decomposition approach is used to compute the Jacobian. To evaluate the characteristics of the fivebar parallel mechanism, it has been compared with the other three parallel mechanisms in terms with workspace and manipulability measure. The hand controller using the fivebar parallel mechanism has been constructed and tested to verify the feasibility of the design concept.

• Bulletin of the Korean Mathematical Society
• /
• v.26 no.2
• /
• pp.203-209
• /
• 1989

Recently many authors [2,3,5,6] proved the existence of zeros of accretive operators and estimated the range of m-accretive operators or compact perturbations of m-accretive operators more sharply. Their results could be obtained from differential equations in Banach spaces or iteration methods or Leray-Schauder degree theory. On the other hand Kirk and Schonberg [9] used the domain invariance theorem of Deimling [3] to prove some general minimum principles for continuous accretive operators. Kirk and Schonberg [10] also obtained the range of m-accretive operators (multi-valued and without any continuity assumption) and the implications of an equivalent boundary conditions. Their fundamental tool of proofs is based on a precise analysis of the orbit of resolvents of m-accretive operator at a specified point in its domain. In this paper we obtain a sufficient condition for m-accretive operators to have a zero. From this we derive Theorem 1 of Kirk and Schonberg [10] and some results of Morales [12, 13] and Torrejon[15]. And we further generalize Theorem 5 of Browder [1] by using Theorem 3 of Kirk and Schonberg [10].

• Bulletin of the Korean Mathematical Society
• /
• v.34 no.2
• /
• pp.155-171
• /
• 1997

Let $M^n$ be a connected subminifold of a Euclidean space $E^m$, equipped with the induced metric. Denoty by $\Delta$ the Laplacian operator of $M^n$ and by x the position vector. A well-known T. Takahashi's theorem [13] says that $\delta x = \lambda x$ for some constant $\lambda$ if and only if $M^n$ is either minimal subminifold of $E^m$ or minimal submanifold in a hypersphere of $E^m$. In [9], O. Garay studied the hypersurfaces $M^n$ in $E^{n+1}$ satisfying $\delta x = Dx$, where D is a diagonal matrix, and he classified such hypersurfaces. Garay's condition can be seen as a generalization of T.

• Bulletin of the Korean Mathematical Society
• /
• v.25 no.2
• /
• pp.167-170
• /
• 1988

Versions of Tannaka duality in operator algebraic context have been obtained in [6], [8] etc. Suppose .sigma.is an automorphism of a von Neumann algebra M, on which there is an action .alpha. of a compact group G such that .sigma. vertical bar $M^{\alpha}$=id, where $M^{\tau}$is the fixed point algebra under the action .alpha.. Then it is shown that if there is an action .tau. of a group H which commutes with .alpha., and which is ergodic in the sense that the fixed point algebra $M^{\tau}$ is trivial, then there exists g.mem.G such that .sigma.=.alpha.(g). Recently Evans and Kishimoto ([4]) showed the versions of Tannaka duality in $C^{*}$-settings under some conditions.s.

• Bulletin of the Korean Mathematical Society
• /
• v.53 no.4
• /
• pp.1087-1094
• /
• 2016

On a compact n-dimensional manifold M, it has been conjectured that a critical point of the total scalar curvature, restricted to the space of metrics with constant scalar curvature of unit volume, is Einstein. In this paper, after derivng an interesting curvature identity, we show that the conjecture is true in dimension three and four when g is weakly Einstein. In higher dimensional case $n{\geq}5$, we also show that the conjecture is true under an additional Ricci curvature bound. Moreover, we prove that the manifold is isometric to a standard n-sphere when it is n-dimensional weakly Einstein and the kernel of the linearized scalar curvature operator is nontrivial.

• Journal of the Korean Mathematical Society
• /
• v.52 no.1
• /
• pp.177-190
• /
• 2015

Let X be a completely regular Hausdorff space, and E and F be Banach spaces. Let $C_{rc}(X,E)$ be the Banach space of all continuous functions $f:X{\rightarrow}E$ such that f(X) is a relatively compact set in E. We establish an integral representation theorem for bounded linear operators $T:C_{rc}(X,E){\rightarrow}F$. We characterize continuous operators from $C_{rc}(X,E)$, provided with the strict topologies ${\beta}_z(X,E)$ ($z={\sigma},{\tau}$) to F, in terms of their representing operator-valued measures.

• 제어로봇시스템학회:학술대회논문집
• /
• 2005.06a
• /
• pp.1863-1866
• /
• 2005

In this paper we propose a platform that is applicable to low altitude remote sensing. Basic idea of the platform is based on the model helicopter. On big difference from the conventional model helicopter is that our platform has four main rotors. Furthermore, vision control strategy is introduced so that operator can use the platform without any specialized intensive knowledge

• Nuclear Engineering and Technology
• /
• v.50 no.4
• /
• pp.582-588
• /
• 2018

Accident diagnosis is one of the complex tasks for nuclear power plant (NPP) operators. In abnormal or emergency situations, the diagnostic activity of the NPP states is burdensome though necessary. Numerous computer-based methods and operator support systems have been suggested to address this problem. Among them, the recurrent neural network (RNN) has performed well at analyzing time series data. This study proposes an algorithm for accident diagnosis using long short-term memory (LSTM), which is a kind of RNN, which improves the limitation for time reflection. The algorithm consists of preprocessing, the LSTM network, and postprocessing. In the LSTM-based algorithm, preprocessed input variables are calculated to output the accident diagnosis results. The outputs are also postprocessed using softmax to determine the ranking of accident diagnosis results with probabilities. This algorithm was trained using a compact nuclear simulator for several accidents: a loss of coolant accident, a steam generator tube rupture, and a main steam line break. The trained algorithm was also tested to demonstrate the feasibility of diagnosing NPP accidents.