• East Asian mathematical journal
• /
• 제27권5호
• /
• pp.545-555
• /
• 2011

Based on the A-maximal(m)-relaxed monotonicity frameworks, the approximation solvability of a general class of variational inclusion problems using the relaxed proximal point algorithm is explored, while generalizing most of the investigations, especially of Xu (2002) on strong convergence of modified version of the relaxed proximal point algorithm, Eckstein and Bertsekas (1992) on weak convergence using the relaxed proximal point algorithm to the context of the Douglas-Rachford splitting method, and Rockafellar (1976) on weak as well as strong convergence results on proximal point algorithms in real Hilbert space settings. Furthermore, the main result has been applied to the context of the H-maximal monotonicity frameworks for solving a general class of variational inclusion problems. It seems the obtained results can be used to generalize the Yosida approximation that, in turn, can be applied to first- order evolution inclusions, and can also be applied to Douglas-Rachford splitting methods for finding the zero of the sum of two A-maximal (m)-relaxed monotone mappings.

• 한국생산제조학회지
• /
• 제9권6호
• /
• pp.19-33
• /
• 2000

In this paper, we propose anew approach to the development of the automatic vision system to examine and repair the steam generator tubes at remote distance. In nuclear power plants, workers are reluctant of works in steam generator because of the high radiation environment and limited working space. It is strongly recommended that the examination and maintenance works be done by an automatic system for the protection of the operator from the radiation exposure. Digital signal processors are used in implementing real time recognition and examination of steam generator tubes in the proposed vision system. Performance of proposed digital vision system is illustrated by simulation and experiment for similar steam generator model.

• 천문학회지
• /
• 제28권2호
• /
• pp.223-243
• /
• 1995

We describe the implementation of a multi-dimensional numerical code to solve the equations for idea! magnetohydrodynamics (MHD) in cylindrical geometry. It is based on an explicit finite difference scheme on an Eulerian grid, called the Total Variation Diminishing (TVD) scheme, which is a second-order-accurate extension of the Roe-type upwind scheme. Multiple spatial dimensions are treated through a Strang-type operator splitting. Curvature and source terms are included in a way to insure the formal accuracy of the code to be second order. The constraint of a divergence-free magnetic field is enforced exactly by adding a correction, which involves solving a Poisson equation. The Fourier Analysis and Cyclic Reduction (FACR) method is employed to solve it. Results from a set of tests show that the code handles flows in cylindrical geometry successfully and resolves strong shocks within two to four computational cells. The advantages and limitations of the code are discussed.

• 한국정보처리학회논문지
• /
• 제6권3호
• /
• pp.821-831
• /
• 1999

3차운 물체 인식 중 오목과 볼록을 갖고 있는 물체의 인식은 대단히 어려운 문제이다. 본 논문에서는 물체의 인식을 위한 피처(Feature)의 추출 방법으로 오픈-볼(Open-Ball)을 제안한다. 이 새로운 방법은 물체의 크기, 이동고 회전에 불변성을 갖는 피처(Feature)를 생성하는 것뿐만이 아니라, 비교되는 물체를 인식하는 것을 상대적인 닮음 정도 측정으로 구현한다.

• 전기학회논문지
• /
• 제61권7호
• /
• pp.944-949
• /
• 2012

As modern power systems become large and complicated, the automated voltage and reactive power control system is required in most developed countries due to the recent amazing progress of computer net works and information thechnology. So far the voltage control has been depend on human operator in korean power system. This paper presents an intelligent voltage control system based on sensitivity analysis and artificial intelligence technology. Detailed state space modeling technique is discussed and a new performance index is proposed to speed up the searching performance of the expert system. As the searching strategy is very important factor of the speed of expert system the least first search algorithm is applied using this performance index. The intelligent voltage control system is applied to the Jeju power system. As a result, case studies showed a promissing application of the intelligent voltage control system.

• Nuclear Engineering and Technology
• /
• 제28권3호
• /
• pp.339-348
• /
• 1996

Plant monitoring algorithm developments seem to be saturated which means that display system to show the results from the algorithm should be the well-defined and interactive tools for operator's diagnosing, controlling, restoring the abnormal plant situations. On the other hand, very little generalized display design concepts and evaluations are available. Events that are unfamiliar to operators and that has not been anticipated by designers may cause great threats to the nuclear power plant system safety operation. The abstraction hierarchy, considered most popular display design methodology but not generalized for nuclear power plant design space, has ken proposed as a representation frame work that can be adopted to design interfaces and supports operators in diagnosing overlooked events that should have been considered to operate plant safely. However most practical plant display systems do not fully stick to this design concept but partially rely on their philosophy from design experiences. Abstraction hierarchy display design concept will be do scribed and the trend of Advanced Control Room(ACR) CRT design will also be presented with the conventional display for the several type of plants. Consequently this complementary material should be of interest to designer and regulators concerned with nuclear power plant.

• 대한수학회논문집
• /
• 제21권2호
• /
• pp.253-259
• /
• 2006

Let T be a bounded linear operator on a Banach space X. And let ${{\rho}T}(X)$ be the local resolvent set of T at $x\;{\in}\;X$. Then we prove that a complex number ${\lambda}$ belongs to ${{\rho}T}(X)$ if and only if there is a sequence $\{x_{n}\}$ in X such that $x_n\;=\;(T - {\lambda})x_{n+1}$ for n = 0, 1, 2,..., $x_0$ = x and $\{{\parallel}x_n{\parallel}^{\frac{1}{n}}\}$ is bounded.

• 대한수학회보
• /
• 제37권1호
• /
• pp.153-169
• /
• 2000

Let E be a real q-uniformly smooth Banach space which admits a weakly sequentially continuous duality map, and K a nonempty closed convex subset of E. Let T : K -> K be a mapping such that $F(T)\;=\;{x\;{\in}\;K\;:\;Tx\;=\;x}\;{\neq}\;0$ and (I - T) satisfies the accretive-type condition: $\;{\geq}\;{\lambda}$\mid$$\mid$x-Tx$\mid$$\mid$^2$, for all $x\;{\in}\;K,\;x^*\;{\in}\;F(T)$ and for some ${\lambda}\;>\;0$. The weak and strong convergence of the Ishikawa iteration method to a fixed point of T are investigated. An application of our results to the approximation of a solution of a certain linear operator equation is also given. Our results extend several important known results from the Mann iteration method to the Ishikawa iteration method. In particular, our results resolve in the affirmative an open problem posed by Naimpally and Singh (J. Math. Anal. Appl. 96 (1983), 437-446).

• 대한수학회논문집
• /
• 제31권4호
• /
• pp.857-868
• /
• 2016

Let (X, ${\mu}$) be a generalized topological space (GTS) and $\mathcal{H}$ be a hereditary class on X due to $Cs{\acute{a}}sz{\acute{a}}r$ [8]. In this paper, we define an operator $()^{\circ}:\mathcal{P}(X){\rightarrow}\mathcal{P}(X)$. By setting $c^{\circ}(A)=A{\cup}A^{\circ}$ for every subset A of X, we define the family ${\mu}^{\circ}=\{M{\subseteq}X:X-M=c^{\circ}(X-M)\}$ and show that ${\mu}^{\circ}$ is a GT on X such that ${\mu}({\theta}){\subseteq}{\mu}^{\circ}{\subseteq}{\mu}^*$, where ${\mu}^*$ is a GT in [8]. Moreover, we define and investigate ${\mu}^{\circ}$-codense and strongly ${\mu}^{\circ}$-codense hereditary classes.

• Bulletin of the Korean Chemical Society
• /
• 제9권2호
• /
• pp.101-105
• /
• 1988

The ab initio effective valence shell Hamiltonian method, based on quasidegenerate many-body perturbation theory, is generalized to calculate molecular properties as well as the valence state energies which have previously been determined for atoms and small molecules. The procedure requires the evaluation of effective operator for each molecular property. Effective operators are perturbatively expanded in powers of correlation and contain contributions from excitations outside of the multireference valence space. To demonstrate the validity of this method, calculations for dipole moments of several low lying valence states of OH, $OH^+$, and $OH^-$ to first order in the correlations have been performed and compared with configuration interaction calculations.