• 제어로봇시스템학회:학술대회논문집
• /
• 1999.10a
• /
• pp.92-95
• /
• 1999

The design problem of the control system is the ability to synthesize controller that achieve robust stability and robust performance. The paper explains the Finite Inclusions Theorem (FIT) by the procedure namely FIT synthesis. It is developed for synthesizing robustly stabilizing controller for parametrically uncertain system. The fundamental problem in the study of parametrically uncertain system is to determine whether or not all the polynomials in a given family of characteristic polynomials is Hurwitz i.e., all their roots lie in the open left-half plane. By FIT it can prove a polynomial is Hurwitz from only approximate knowledge of the polynomial's phase at finitely many points along the imaginary axis. An example shows the simplicity of using the FIT synthesis to directly search for robust controller of parametrically uncertain system by way of solving a sequence of systems of linear inequalities. The systems of inequalities are solved via the projection method which is an elegantly simple technique fur solving (finite or infinite) systems of convex inequalities in an arbitrary Hilbert space. Results from example show that the controller synthesized by FIT synthesis is better than by H$\sub$$\infty$/ synthesis with parametrically uncertain system as well as satisfied the objectives for a considerably larger range of uncertainty.

• Journal of the Korea Society of Computer and Information
• /
• v.10 no.2 s.34
• /
• pp.143-151
• /
• 2005

As the internet and I-commerce have been developing. a novel method for marketing is needed. A new advertisement using E-mail is becoming popular, because it has characteristics with low costs and relative efficiency. However. as the spam mails are increasing rapidly, mail service companies and users are deeply damaged in their mind and economically. In this paper, we design a hierarchical spam mail blocking policy through cooperation of all the participants-user, administrator, ISP to cut off the spam mail efficiently and Propose an efficient model to block and manage the spam mails based on the Policy. Also we prove the efficiencies and effectiveness of the proposed model through evaluation process .

• Nuclear Engineering and Technology
• /
• v.52 no.2
• /
• pp.223-229
• /
• 2020

The present work proposes a solution to the static Boltzmann transport equation approximated by the simplified P₃ (SP₃) on angular, and the analytic coarse mesh finite difference (ACMFD) for spatial variables. Multi-group SP₃-ACMFD equations in 3D rectangular geometry are solved using the GMRES solution technique. As the core time dependent analysis necessitates the solution of an eigenvalue problem for an initial condition, this work is hence devoted to development and verification of the proposed static SP₃-ACMFD solver. A 3D multi-group static diffusion solver is also developed as a byproduct of this work to assess the improvement achieved using the SP₃ technique. Static results are then compared against transport benchmarks to assess the proximity of SP₃-ACMFD solutions to their full transport peers. Results prove that the approach can be considered as an acceptable interim approximation with outputs superior to the diffusion method, close to the transport results, and with the computational costs less than the full transport approach. The work would be further generalized to time dependent solutions in Part II.

• Proceedings of the KIEE Conference
• /
• 1996.07c
• /
• pp.1774-1777
• /
• 1996

In this paper, applicability of SI-PD(switching impulse - partial discharge) testing method was put on an attempt as a newly proposed diagnostic method for the underground distribution power cable system in Korea. For this purpose, SI-PD testing equipment was designed, and tests were performed using artificial needle-type defects integrated into the 22.9 kV CN/CV cables in drder to prove its reliability. As a result, arc noises, generated from spark gap, were considerably decreased by use of a pneumatic switch immersed into oil, and artificial needle-type defects were well detected with impulse voltage level under $2U_0$. These results imply that it is likely possible to apply SI-PD measurement method as a the nondistructive test for the 22.9 kV CN/CV cable system in Korea.

• Proceedings of the KIEE Conference
• /
• 1996.07c
• /
• pp.1825-1827
• /
• 1996

In this study, the Joint of 345kV OF $1C{\times}2000mm^2$ cable was developed to keep up with the trends that need higher-voltage & capacity underground transmission line. The type of joint developed was based on the two kinds of models that have had a good reliability internationally. The mechnic and electric characteristics of the sample specimen was managed in detail when it was manufactured and estimated. Especially, in order to prove the reliability of usage for 30 years, the method of long term aging test was studied. As a result of test, we knew that the joint developed had a good performance. From this study, it can be thought that future ultra-high voltage underground transmission line could be constructed by domestic technology.

• The Journal of the Korea Contents Association
• /
• v.16 no.3
• /
• pp.61-71
• /
• 2016

This paper intends to prove that the props in movies can be used to communicate messages ans themes to the audience very usefully. I selected the movie "her" to investigate by the use of props. The props in the film can communicate with the audiences without a dialogue and visual. At the same time, the props can make a audiences sympathy as a role playing like a main character. As a result, the props used in the movie were explained to study their relevancy to the narratives of the movie. The props in the movie is so useful and powerful, and then image is more important than any other things in the movie as a narrative tool and storytelling.

• Communications of the Korean Mathematical Society
• /
• v.19 no.2
• /
• pp.321-328
• /
• 2004

In this paper, we will prove the following: Let D be a nonempty of a normed linear space X and T : D -> X be a nonexpansive mapping. Let ${x_n}$ be a sequence in D and ${t_n}$, ${s_n}$ be real sequences such that (i) $0\;{\leq}\;t_n\;{\leq}\;t\;<\;1\;and\;{\sum_{n=1}}^{\infty}\;t_n\;=\;{\infty},\;(ii)\;(a)\;0\;{\leq}\;s_n\;{\leq}\;1,\;s_n\;->\;0\;as\;n\;->\;{\infty}\;and\;{\sum_{n=1}}^{\infty}\;t_ns_n\;<\;{\infty}\;or\;(b)\;s_n\;=\;s\;for\;all\;n\;{\geq}\;1\;and\;s\;{\in}\;[0,1),\;(iii)\;x_{n+1}\;=\;(1-t_n)x_n+t_nT(s_nTx_n+(1-s_n)x_n)\;for\;all\;n\;{\geq}\;1.$ Then, if the sequence {x_n} is bounded, then $lim_{n->\infty}\;$\mid$$\mid$x_n-Tx_n$\mid$$\mid$\;=\;0$. This result improves and complements a result of Deng [2]. Furthermore, we will show that certain conditions on D, X and T guarantee the weak and strong convergence of the Ishikawa iterative sequence to a fixed point of T.

• Bulletin of the Korean Mathematical Society
• /
• v.47 no.5
• /
• pp.907-913
• /
• 2010

Let D be an integrally closed domain with quotient field K, * be a star operation on D, X, Y be indeterminates over D, $N_*\;=\;\{f\;{\in}\;D[X]|\;(c_D(f))^*\;=\;D\}$ and $R\;=\;D[X]_{N_*}$. Let b be the b-operation on R, and let $*_c$ be the star operation on D defined by $I^{*_c}\;=\;(ID[X]_{N_*})^b\;{\cap}\;K$. Finally, let Kr(R, b) (resp., Kr(D, $*_c$)) be the Kronecker function ring of R (resp., D) with respect to Y (resp., X, Y). In this paper, we show that Kr(R, b) $\subseteq$ Kr(D, $*_c$) and Kr(R, b) is a kfr with respect to K(Y) and X in the notion of [2]. We also prove that Kr(R, b) = Kr(D, $*_c$) if and only if D is a $P{\ast}MD$. As a corollary, we have that if D is not a $P{\ast}MD$, then Kr(R, b) is an example of a kfr with respect to K(Y) and X but not a Kronecker function ring with respect to K(Y) and X.

• Journal of The Korean Association of Information Education
• /
• v.17 no.1
• /
• pp.93-100
• /
• 2013

Currently the mose used software to make presentation is Powerpoint. But a few learners only can use that program to present. Lately free software called Prezi is available to many users. Prezi is free to general users. To evaluate the experiences of making presentaion by Powerpoint and Prezi effects on the learning motive is the purpose of study. In conclusion, my goal of this study is that by using convenient Prezi, I would like to prove that it will really analyze the learning motives(attention, relevance, confidence, satisfaction) when learners is being thaught through Prezi not unuseful Powerpoint.

• Journal of the Korean Mathematical Society
• /
• v.45 no.5
• /
• pp.1443-1482
• /
• 2008

In this paper we define a Myller configuration in a Finsler space and use some special configurations to obtain results about Finsler subspaces. Let $F^{n}$ = (M,F) be a Finsler space, with M a real, differentiable manifold of dimension n. Using the pull back bundle $({\pi}^{*}TM,\tilde{\pi},\widetilde{TM})$ of the tangent bundle $(TM,{\pi},M)$ by the mapping $\tilde{\pi}={\pi}/TM$ and the Cartan Finsler connection of a Finsler space, we obtain an orthonormal frame of sections of ${\pi}^{*}TM$ along a regular curve in $\widetilde{TM}$ and a system of invariants, geometrically associated to the Myller configuration. The fundamental equations are written in a very simple form and we prove a fundamental theorem. Important lines in a Finsler subspace are defined like special lines in a Myller configuration, geometrically associated to the subspace: auto parallels, lines of curvature, asymptotes. Torse forming vector fields with respect to the Cartan Finsler connection are characterized by means of the invariants of the Frenet frame of a versor field along a curve, and the new notion of torse forming vector fields in the sense of Myller is introduced. The particular cases of concurrence and parallelism in the sense of Myller are completely studied, for vector fields from the distribution $T^m$ of the Myller configuration and also from the normal distribution $T^p$.