• Proceedings of the Korean Nuclear Society Conference
• /
• 1995.10a
• /
• pp.191-196
• /
• 1995

The intelligent human-machine interface (HMI) has been developed to enhance the safety and availability of a nuclear power plant by improving operational reliability The key elements of the HMI are the large display panels which present synopsis of the plant status and the compact, digital work stations for the primary operator control and monitoring functions. The work station consists of four consoles such as a dynamic alarm console (DAC), a system information console (SIC), a computerized operating-procedure console (COC), and a safety related information console (SRIC). The DAC provides clean alarm pictures, in which information overlapping is excluded and alarm impacts are discriminated, for quick situation awareness. The SIC covers a normal operation by offering all necessary plant information and control functions. In addition, it is closely linked with the DAC and the COC to automatically display related system information under the request of these consoles. The COC aids the operator with proper emergency operation guidelines so as to shutdown the plant safely, and it also reduces his physical/mental burden by automating the operating procedures. The SRIC continuously displays safety related information to allow the operator to assess the plant status focusing on plant safety. The proposed HMI has been validated and demonstrated with on-line data obtained from the full-scope simulator for Yonggwang Units 1,2.

• Communications of the Korean Mathematical Society
• /
• v.9 no.4
• /
• pp.917-926
• /
• 1994

Let ($M, G_M, F$) be a (p+q)-dimensional Riemannian manifold with a foliation F of codimension q and a bundle-like metric $g_M$ with respect to F ([9]). Aside from the Laplacian $\bigtriangleup_g$ associated to the metric g, there is another differnetial operator, the Jacobi operator $J_D$, which is a second order elliptic operator acting on sections of the normal bundle. Its spectrum isdiscrete as a consequence of the compactness of M. The study of the spectrum of $\bigtriangleup_g$ acting on functions or forms has attracted a lot of attention. In this point of view, the present authors [7] have studied the spectrum of the Laplacian and the curvature of a compact orientable cosymplectic manifold. On the other hand, S. Nishikawa, Ph. Tondeur and L. Vanhecke [6] studied the spectral geometry for Riemannian foliations. The purpose of the present paper is to study the relation between two spectra and the transversal geometry of cosymplectic foliations. We shall be in $C^\infty$-category. Manifolds are assumed to be connected.

• Bulletin of the Korean Mathematical Society
• /
• v.42 no.3
• /
• pp.653-659
• /
• 2005

In this paper it is proved that quasisimilar n-tuples of tensor products of injective p-quasihyponormal operators have the same spectra, essential spectra and indices, respectively. And it is also proved that a Weyl n-tuple of tensor products of injective p-quasihyponormal operators can be perturbed by an n-tuple of compact operators to an invertible n-tuple.

• Korean Journal of Mathematics
• /
• v.17 no.1
• /
• pp.53-66
• /
• 2009

We show the existence of a nontrivial periodic solution for the superquadratic parabolic equation with Dirichlet boundary condition and periodic condition with a superquadratic nonlinear term at infinity which have continuous derivatives. We use the critical point theory on the real Hilbert space $L_2({\Omega}{\times}(0 2{\pi}))$. We also use the variational linking theorem which is a generalization of the mountain pass theorem.

• Journal of the Chungcheong Mathematical Society
• /
• v.13 no.1
• /
• pp.119-130
• /
• 2000

We give alternative proof of the existence theorem for certain elliptic systems describing competing interactions with nonlinear di usion. The existence of positive solution depends on the sign of the principal eigenvalue of suitable operators of Schr$\ddot{o}$dinger type. If the sign of such operators are both positive, then system has a positive solution. The main tool employed is the fixed point index of compact operator on positive cones.

• Bulletin of the Korean Mathematical Society
• /
• v.55 no.4
• /
• pp.1137-1147
• /
• 2018

In this paper, we discovered a sufficient condition ensuring the weighted composition operators $C_{{\omega}_1,{\varphi}_1},{\cdots},C_{{\omega}_N,{\varphi}_N}$ were disjoint supercyclic on $H({\Omega})$ endowed with the compact open topology. Besides, we provided a condition on inducing symbols to guarantee the disjoint supercyclicity of non-constant adjoint multipliers $M^*_{{\varphi}_1},M^*_{{\varphi}_2},{\cdots},M^*_{{\varphi}_N}$ on a Hilbert space ${\mathcal{H}}$.

• Journal of the Korean Mathematical Society
• /
• v.33 no.3
• /
• pp.575-585
• /
• 1996

Recently, existence theorems of coupled fixed points for mixed monotone operators have been considered by several authors (see [1]-[3], [6]). In this paper, we are continuously going to study the existence problems of coupled fixed points for two more general classes of mixed monotone operators. As an application, we utilize our main results to show thee existence of coupled fixed points for a class of non-linear integral equations.

• Korean Journal of Mathematics
• /
• v.19 no.1
• /
• pp.101-109
• /
• 2011

We get a theorem which shows that there exist at least two or three nontrivial weak solutions for the nonlinear parabolic boundary value problem with the variable coefficient jumping nonlinearity. We prove this theorem by restricting ourselves to the real Hilbert space. We obtain this result by approaching the topological method. We use the Leray-Schauder degree theory on the real Hilbert space.

• Bulletin of the Korean Mathematical Society
• /
• v.43 no.2
• /
• pp.389-393
• /
• 2006

In this paper it is shown that the spectrum ${\sigma}$ is continuous at every p-hyponormal operator when restricted to the set of essentially p-hyponormal operators and moreover ${\sigma}$ is continuous when restricted to the set of compact perturbations of p-hyponormal operators whose spectral pictures have no holes associated with the index zero.

• Communications of the Korean Mathematical Society
• /
• v.12 no.4
• /
• pp.869-880
• /
• 1997

In this paper, we give sufficient conditions of certain elliptic systems involving competing iteractions with nonlinear diffusion rates. The existence of positive solution depends on the sign of the first eigenvalue of operators of Schr$\ddot{o}$dinger type. More precisely, if the sign of such operators are either both positive or both negative, then system has a positive solution. The main tool employed is the fixed point index of compact operator on positive cones.