• Honam Mathematical Journal
• /
• v.31 no.2
• /
• pp.259-265
• /
• 2009

Let $\mathcal{L}$ be a subspace lattice on a Hilbert space $\mathcal{H}$. Let x and y be vectors in $\mathcal{H}$ and let $P_x$ be the projection onto sp(x). If $P_xE$ = $EP_x$ for each E ${\in}\;\mathcal{L}$, then the following are equivalent. (1) There exists an operator A in Alg$\mathcal{L}$ such that Ax = y, Af = 0 for all f in $sp(x)^{\perp}$ and A ${\geq}$ 0. (2) sup ${\frac{{\parallel}E^{\perp}y{\parallel}}{{\parallel}E^{\perp}x{\parallel}}:E{\in}\mathcal{L}}$ < ${\infty}$ < x, y > ${\geq}$ 0. Let X and Y be operators in $\mathcal{B}(\mathcal{H})$. Let P be the projection onto $\overline{rangeX}$. If PE = EP for each E ${\in}\;\mathcal{L}$, then the following are equivalent: (1) sup ${\frac{{\parallel}E^{\perp}Yf{\parallel}}{{\parallel}E^{\perp}Xf{\parallel}}:f{\in}\mathcal{H},E{\in}\mathcal{L}}$ < ${\infty}$ and < Xf, Yf > ${\geq}$ 0 for all f in H. (2) There exists a positive operator A in Alg$\mathcal{L}$ such that AX = Y.

• Journal of the Korean Mathematical Society
• /
• v.34 no.3
• /
• pp.731-770
• /
• 1997

We study Diriclet forms and related subjects for the Gibbs measures of classical unbounded sping systems interacting via potentials which are superstable and regular. For any Gibbs measure $\mu$, we construct a Dirichlet form and the associated diffusion process on $L^2(\Omega, d\mu), where \Omega = (R^d)^Z^\nu$. Under appropriate conditions on the potential we show that the Dirichlet operator associated to a Gibbs measure $\mu$ is essentially self-adjoint on the space of smooth bounded cylinder functions. Under the condition of uniform log-concavity, the Gibbs measure exists uniquely and there exists a mass gap in the lower end of the spectrum of the Dirichlet operator. We also show that under the condition of uniform log-concavity, the unique Gibbs measure satisfies the log-Sobolev inequality. We utilize the general scheme of the previous works on the theory in infinite dimensional spaces developed by e.g., Albeverio, Antonjuk, Hoegh-Krohn, Kondratiev, Rockner, and Kusuoka, etc, and also use the equilibrium condition and the regularity of Gibbs measures extensively.

• Journal of the Chungcheong Mathematical Society
• /
• v.24 no.1
• /
• pp.19-34
• /
• 2011

A bounded linear operator T on a complex Banach space X is said to have property (I) provided that T has Bishop's property (${\beta}$) and there exists an integer p > 0 such that for a closed subset F of ${\mathbb{C}}$ ${X_T}(F)={E_T}(F)=\bigcap_{{\lambda}{\in}{\mathbb{C}}{\backslash}F}(T-{\lambda})^PX$ for all closed sets $F{\subseteq}{\mathbb{C}}$, where $X_T$(F) denote the analytic spectral subspace and $E_T$(F) denote the algebraic spectral subspace of T. Easy examples are provided by normal operators and hyponormal operators in Hilbert spaces, and more generally, generalized scalar operators and subscalar operators in Banach spaces. In this paper, we prove that if T has property (I), then the quasi-nilpotent part $H_0$(T) of T is given by $$KerT^P=\{x{\in}X:r_T(x)=0\}={\bigcap_{{\lambda}{\neq}0}(T-{\lambda})^PX$$ for all sufficiently large integers p, where ${r_T(x)}=lim\;sup_{n{\rightarrow}{\infty}}{\parallel}T^nx{\parallel}^{\frac{1}{n}}$. We also prove that if T has property (I) and the spectrum ${\sigma}$(T) is finite, then T is algebraic. Finally, we prove that if $T{\in}L$(X) has property (I) and has decomposition property (${\delta}$) then T has a non-trivial invariant closed linear subspace.

• Journal of the Korean Institute of Gas
• /
• v.22 no.6
• /
• pp.8-15
• /
• 2018

worker-centered safety management for hazardous areas in the plant is required. The causes of gas accidents in the past five years are closely related to the behavior of the operator, such as careless handling of the user, careless handling of the suppliers, and intentional, as well as equipment failure and accident of thought. In order to prevent such accidents, real-time monitoring of hazardous areas in the plant is required. However, when installing a camera in a work space for real-time monitoring, problems such as human rights abuse occur. In order to prevent this, an infrared camera with low resolution with low exposure of the operator is used. In real-time monitoring, image analysis is performed using CNN algorithm, not human, to prevent human rights violation.

• Communications of the Korean Mathematical Society
• /
• v.24 no.3
• /
• pp.367-379
• /
• 2009

For a prime number p, let $\mathbb{Q}_p$ denote the p-adic field and let $\mathbb{Q}_p^d$ denote a vector space over $\mathbb{Q}_p$ which consists of all d-tuples of $\mathbb{Q}_p$. For a function f ${\in}L_{loc}^1(\mathbb{Q}_p^d)$, we define the Hardy-Littlewood maximal function of f on $\mathbb{Q}_p^d$ by $$M_pf(x)=sup\frac{1}{\gamma{\in}\mathbb{Z}|B_{\gamma}(x)|H}{\int}_{B\gamma(x)}|f(y)|dy$$, where |E|$_H$ denotes the Haar measure of a measurable subset E of $\mathbb{Q}_p^d$ and $B_\gamma(x)$ denotes the p-adic ball with center x ${\in}\;\mathbb{Q}_p^d$ and radius $p^\gamma$. If 1 < q $\leq\;\infty$, then we prove that $M_p$ is a bounded operator of $L^q(\mathbb{Q}_p^d)$ into $L^q(\mathbb{Q}_p^d)$; moreover, $M_p$ is of weak type (1, 1) on $L^1(\mathbb{Q}_p^d)$, that is to say, |{$x{\in}\mathbb{Q}_p^d:|M_pf(x)|$>$\lambda$}|$_H{\leq}\frac{p^d}{\lambda}||f||_{L^1(\mathbb{Q}_p^d)},\;\lambda$ > 0 for any f ${\in}L^1(\mathbb{Q}_p^d)$.

• Journal of Institute of Control, Robotics and Systems
• /
• v.17 no.7
• /
• pp.685-696
• /
• 2011

An efficient laparoscope manipulator robot was designed to automatically control the position of laparoscope via a passive joint on end-effector position. The end position of the manipulator is controlled to have corresponding velocity defined in the global coordinate space using laparoscopic visual information. Desired spatial position of laparoscope was derived from detected positions of surgical instrument tips, then the clinical viewing plane was moved by visual servoing task. The laparoscope manipulator is advantageous for automatically maintaining clinically important views in the laparoscopic image without any additional operator. A laparoscope is mounted to a holder which is linked to four degree of freedom manipulator via universal joint-type passive rings connection. No change in the design of laparoscope or manipulator is necessary for its application to surgery assistant robot system. Expanded working space and surgical efficiency were accomplished by implementing slant linking structure between laparoscope and manipulator. To ensure reliable positioning accuracy and controllability, the motion of laparoscope in an abdominal space through trocar was inspected using geometrical analysis. A designed laparoscope manipulating robot system can be easily set up and controlled in an operation room since it has a few subsidiary devices such as a laparoscope light source regulator, a control PC, and a power supply.

• Bulletin of the Korean Mathematical Society
• /
• v.33 no.4
• /
• pp.603-611
• /
• 1996

Let consider the following problem: find an element u(t) in a Banach space U from the equation $$ x'(t) = Ax(t) + f(t,x(t)) + \Phi_0 u(t), 0 \leq t \leq T $$ with initial and terminal conditions $$ x(0) = 0, x(T) = \phi $$ in a Banach space X where $\phi \in D(A)$. This problem is a kind of control engineering inverse problem and contains nonlinear term, so that it is difficult and interesting. Thee proof main result in this paper is based on the Fredholm property of [1] in section 3. Similar considerations of linear system have been dealt with in many references. Among these literatures, Suzuki[5] introduced this problem for heat equation with unknown spatially-varing conductivity. Nakagiri and Yamamoto[2] considered the identifiability problem, which A is a unknown operator to be identified, where the system is described by a linear retarded functional differential equation. We can also apply to determining the magnitude of the control set for approximate controllability if X is a reflexive space, i.e., we can consider whether a dense subset of X is covered by reachable set in section 4.

• Communications of the Korean Mathematical Society
• /
• v.15 no.4
• /
• pp.649-668
• /
• 2000

In this paper we prove the following : Let M be a real (2n-1)-dimensional compact minimal semi-invariant submanifold in a complex projective space P(sub)n+1C. If the scalar curvature $\geq$2(n-1)(2n+1), then m is a homogeneous type $A_1$ or $A_2$. Next suppose that the third fundamental form n satisfies dn = 2$\theta\omega$ for a certain scalar $\theta$$\neq$c/2 and $\theta$$\neq$c/4 (4n-1)/(2n-1), where $\omega$(X,Y) = g(X,øY) for any vectors X and Y on a semi-invariant submanifold of codimension 3 in a complex space form M(sub)n+1 (c). Then we prove that M has constant principal curvatures corresponding the shape operator in the direction of the distingusihed normal and the structure vector ξ is an eigenvector of A if and only if M is locally congruent to a homogeneous minimal real hypersurface of M(sub)n (c).

• The Korean Journal of Air & Space Law and Policy
• /
• v.26 no.1
• /
• pp.127-145
• /
• 2011

European Union unilaterally included the emissions from aviation activities into EU ETS on 19 November 2008 by amending Directive 2003/87/EC. According to the Directive all the emissions(mainly against the CO2) from aviation activities shall be subject to the regulation of EU ETS from 2012. For the period from 1 January 2012 to 31 December 2012, the total quantity of allowances to be allocated to aircraft operators shall be equivalent to 97% of the historical aviation emission s. From 1 January 2013, the allowances will be reduced to 95%. The allocation of allowances which may be applied by each operator with free of charge will be reduced from 85% to 82% from 1 January 2012 to 1 January 2013. Since the Directive will affect every country's airline industry more or less, the nations and international organizations respond variously. The controversial focus is that whether EU has the right to unilaterally include the emissions from international aviation activities into EU ETS. This article firstly analyzes the effect caused by EU ETS to China's airline industry, and then studies the legality of the action of EU subject to current positive international law, and finally draws the conclusion that EU enjoys no such right to unilaterally include the emissions from international aviation activities.

• Journal of Electrical Engineering and Technology
• /
• v.6 no.5
• /
• pp.697-705
• /
• 2011

In this paper, a closed-loop system constructed with a linear plant and nonlinearity in the feedback connection is considered to argue against its planar orbital stability. Through a state space approach, a main result that presents a sufficient stability criterion of the limit cycle predicted by solving the harmonic balance equation is given. Preliminarily, the harmonic balance of the nonlinear feedback loop is assumed to have a solution that determines the characteristics of the limit cycle. Using a state-space approach, the nonlinear loop equation is reformulated into a linear perturbed model through the introduction of a residual operator. By considering a series of transformations, such as a modified eigenstructure decomposition, periodic averaging, change of variables, and coordinate transformation, the stability of the limit cycle can be simply tested via a scalar function and matrix. Finally, the stability criterion is addressed by constructing a composite Lyapunov function of the transformed system.