• Journal of the Korean Mathematical Society
• /
• v.42 no.1
• /
• pp.129-134
• /
• 2005

Lpt X be a reduced Stein space and L a holomorphic line bundle on X. L is spanned by its global sections and the associated holomorphic map $h_L\;:\;X{\to}P(H^0(X, L)^{\ast})$ is an embedding. Choose any locally convex vector topology ${\tau}\;on\;H^0(X, L)^{\ast}$ stronger than the weak-topology. Here we prove that $h_L(X)$ is sequentially closed in $P(H^0(X, L)^{\ast})$ and arithmetically Cohen -Macaulay. i.e. for all integers $k{\ge}1$ the restriction map ${\rho}_k\;:\;H^0(P(H^0(X, L)^{\ast}),\;O_{P(H^0(X, L)^{\ast})}(k)){\to}H^0(h_L(X),O_{hL_(X)}(k)){\cong}H^0(X, L^{\otimes{k}})$ is surjective.

• Journal of Information Processing Systems
• /
• v.7 no.3
• /
• pp.519-530
• /
• 2011

A Snake is an active contour for representing object contours. Traditional snake algorithms are often used to represent the contour of a single object. However, if there is more than one object in the image, the snake model must be adaptive to determine the corresponding contour of each object. Also, the previous initialized snake contours risk getting the wrong results when tracking multiple objects in successive frames due to the weak topology changes. To overcome this problem, in this paper, we present a new snake method for efficiently tracking contours of multiple objects. Our proposed algorithm can provide a straightforward approach for snake contour rapid splitting and connection, which usually cannot be gracefully handled by traditional snakes. Experimental results of various test sequence images with multiple objects have shown good performance, which proves that the proposed method is both effective and accurate.

• Proceedings of the IEEK Conference
• /
• 2003.07c
• /
• pp.2939-2942
• /
• 2003

A new contactless Li-ion battery charging system was proposed. The conventional methods for charging Li-ion battery have some weak points. For example, there can be a contact failure, a poor waterproof, and a difficulty to standardize the battery charging systems. The new proposed system can overcome these weak points. The new charging system is composed of power transfer part and data transfer part. This paper focuses on the power transfer part for contactless battery charging. The power stage is mainly composed of PPRC(Push-pull Parallel Resonant Converter) and flyback converter. The new method of chaging Li-ion battery was proposed and PPRC + flyback-boost topology was analyzed. The proposed toplogy was tested under the constant voltage control and the constant current control which are adequate for charging Li-ion battery.

• Journal of the Korean Society of Manufacturing Technology Engineers
• /
• v.20 no.3
• /
• pp.310-315
• /
• 2011

General portal machine represents a distinct weak spot concerning their structural behavior because of long protruding structure components, such as saddles and rams. The weak point causes the deformation of the machine tool and consequently rises a severe machining error. The purpose of this study is to improve the structural design of crossrail in order to minimize it's distortion. Tool Center Point (TCP) was chosen as a reference point for evaluating the distortion effect of a crossrail and topological optimization was adopted as a method of structural design improvement. The displacements of TCP according to the machining positions were investigated by structural analyses for both of original crossrail design and the improved one. The comparing results showed that the displacement of TCP could be reduced about 55% maximum.

• Journal of Power Electronics
• /
• v.9 no.6
• /
• pp.892-902
• /
• 2009

This paper deals with the dynamic voltage control problem at the inverter end of a HVDC link when connected to a weak AC system which has the potential for harmonic instability and commutation failures. The dynamic voltage control problem is tackled with a STATCOM (Static Compensator), which not only provides a rapid recovery from harmonic instability and commutation failures but also offers a lower cost filter design for HVDC systems. PSCAD/EMTDC simulations are presented to validate the proposed topology and to demonstrate its robust performance.

• Journal of the Korean Mathematical Society
• /
• v.32 no.2
• /
• pp.279-287
• /
• 1995

Let $F$ be a set of distributions on R with the topology of weak convergence, and let $A$ be the $\sigma$-field generated by the open sets. We denote by $F_1^\infty$ the space consisting of all infinite sequence $(F_1, F_2, \cdots), F_n \in F and R_1^\infty$ the space consisting of all infinite sequences $(x_1, x_2, \cdots)$ of real numbers. Take the $\sigma$-field $F_1^\infty$ to be the smallest $\sigma$-field of subsets of $F_1^\infty$ containing all finite-dimensional rectangles and take $B_1^\infty$ to be the Borel $\sigma$-field $R_1^\infty$.

• The Bulletin of The Korean Astronomical Society
• /
• v.36 no.1
• /
• pp.46.2-46.2
• /
• 2011

Planck is already in active operation, and in a few years a detailed CMB anisotropy map will be compiled, surpassing WMAP both in temperature and polarization. The E mode - E mode autocorrelation power spectrum at large scales contains weak but sizable information on the history of cosmic reionization. We show our latest advance of our own simulation of cosmic reionization that incorporates Pop III stars, and provide a forecast for Planck polarization measurement.

• Journal of KIISE:Computing Practices and Letters
• /
• v.13 no.1
• /
• pp.1-10
• /
• 2007

An advantage of the mobile ad hoc network (MANET) is that mobile nodes can self-organize the network topology without the help of network infrastructure. However, for the perfect self-organization of the MANET, each mobile node needs to self-configure its address. Even though a mobile node configures a unique address during the booting time, its address may conflict with nodes in other MANETs since MANETs containing the same address can be merged. The address autoconfiguration protocol implemented in this work consists of the strong DAD (Duplicate Address Detection) and the weak DAD. A unique address of a node is assigned by the strong DAD during the booting time and the weak DAD is used to detect address conflict and resolve address conflict during the ad hoc routing. In this work, we have implemented address autoconfiguration in the IPv6-based MANET using AODV as the routing protocol. We describe how the IPv6 address autoconfiguration is implemented and verify our implementation by showing the test scenarios on our testbed.

• Journal of the Korean Mathematical Society
• /
• v.48 no.2
• /
• pp.397-420
• /
• 2011

In this paper we study the structure of closed weakly dense ideals in Privalov spaces $N^p$ (1 < p < $\infty$) of holomorphic functions on the disk $\mathbb{D}$ : |z| < 1. The space $N^p$ with the topology given by Stoll's metric [21] becomes an F-algebra. N. Mochizuki [16] proved that a closed ideal in $N^p$ is a principal ideal generated by an inner function. Consequently, a closed subspace E of $N^p$ is invariant under multiplication by z if and only if it has the form $IN^p$ for some inner function I. We prove that if $\cal{M}$ is a closed ideal in $N^p$ that is dense in the weak topology of $N^p$, then $\cal{M}$ is generated by a singular inner function. On the other hand, if $S_{\mu}$ is a singular inner function whose associated singular measure $\mu$ has the modulus of continuity $O(t^{(p-1)/p})$, then we prove that the ideal $S_{\mu}N^p$ is weakly dense in $N^p$. Consequently, for such singular inner function $S_{\mu}$, the quotient space $N^p/S_{\mu}N^p$ is an F-space with trivial dual, and hence $N^p$ does not have the separation property.

• Communications of the Korean Mathematical Society
• /
• v.29 no.4
• /
• pp.527-538
• /
• 2014

Let K be a compact Hausdorff space, $\mathfrak{A}$ a commutative complex Banach algebra with identity and $\mathfrak{C}(\mathfrak{A})$ the set of characters of $\mathfrak{A}$. In this note, we study the class of functions $f:K{\rightarrow}\mathfrak{A}$ such that ${\Omega}_{\mathfrak{A}}{\circ}f$ is continuous, where ${\Omega}_{\mathfrak{A}}$ denotes the Gelfand representation of $\mathfrak{A}$. The inclusion relations between this class, the class of continuous functions, the class of bounded functions and the class of weakly continuous functions relative to the weak topology ${\sigma}(\mathfrak{A},\mathfrak{C}(\mathfrak{A}))$, are discussed. We also provide some results on its completeness under the norm defined by ${\mid}{\parallel}f{\parallel}{\mid}={\parallel}{\Omega}_{\mathfrak{A}}{\circ}f{\parallel}_{\infty}$.