• Bulletin of the Korean Mathematical Society
• /
• v.34 no.2
• /
• pp.273-285
• /
• 1997

The aim of this paper is to present theorems on the exitence of zeros for mappings defined on convex subsets of topological vector spaces with values in a vector space. In addition to natural assumptions of continuity, convexity, and compactness, the mappings are subject to some geometric conditions. In the first theorem, the mapping satisfies a "Darboux-type" property expressed in terms of an auxiliary numerical function. Typically, this functions is, in this case, related to an order structure on the target space. We derive an existence theorem for "obtuse" quasiconvex mappings with values in an ordered vector space. In the second theorem, we prove the existence of a "common zero" for an arbitrary (not necessarily countable) family of mappings satisfying a general "inwardness" condition againg expressed in terms of numerical functions (these numerical functions could be duality pairings (more generally, bilinear forms)). Our inwardness condition encompasses classical inwardness conditions of Leray-Schauder, Altman, or Bergman-Halpern types.

• Bulletin of the Korean Mathematical Society
• /
• v.50 no.3
• /
• pp.1007-1020
• /
• 2013

Approximate fixed point property problem for Mann iteration sequence of a nonexpansive mapping has been resolved on a Banach space independent of uniform (strict) convexity by Ishikawa [Fixed points and iteration of a nonexpansive mapping in a Banach space, Proc. Amer. Math. Soc. 59 (1976), 65-71]. In this paper, we solve this problem for a class of mappings wider than the class of asymptotically nonexpansive mappings on an arbitrary normed space. Our results generalize and extend several known results.

• Journal of Environmental Science International
• /
• v.14 no.12
• /
• pp.1081-1085
• /
• 2005

This study is carried out for obtaining the basic materials for presentation of creation and desirable management of urban roadside trees through analyse the existence effect of trees on people who operate th commercial areas along the streets. Roadside tree and green areas are recognized comfort space in addition to simple planting area. Therefore various trees and flowering plants should be introduced in addition to roadside facilities for convenience. Planted roadside trees should be maintained. We will propose an method that residents plant and manage the trees and flowering plants on the two lane of one way road. However main lines more than four lane of one way have more public property beside the residents space. Therefore these should be maintained mainly by related government agencies.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.30 no.6C
• /
• pp.481-489
• /
• 2005

In this letter, we propose an efficient training sequence structure for adaptive linear multiuser detectors in space-time block coded multiuser systems, by exploiting a particular property of the minimum mean square error multiuser detectors used in these systems. The proposed structure wastes less overall system capacity than the straightforward training structure, without any corresponding loss of performance, as confirmed by the simulation results.

• Proceedings of the Korean Institute of Interior Design Conference
• /
• 2001.05a
• /
• pp.64-68
• /
• 2001

As Dutch structuralism discovered a possibility that can improve the problem of modem architecture through study on non-western area. Dutch structuralism had tremendous impact on Philosophy, psychology, art history and the style of a dress and many other cultural trend. In architecture, Aldo van Eyck embodied that theory and succeeded to Herman Hertzberger and Piet Blom. As result Structuralism related with architecture has dealt with the participation and domain of residents, namely public domain and private domain, the approach property of public space, middle domain which shows the harmony between public domain and private one, and the structuralism discovered that each element of public space and private space has been developed as an architectural type that makes a group by repetitive arrangement and it found out a possibility that can make up problems overlooked in modem architecture through development and change.

• Proceedings of the SAREK Conference
• /
• 2008.11a
• /
• pp.107-110
• /
• 2008

This study is aimed to develop fundamental technology on the smoke control method by simulation model and scale model simulation technique in underground space. Thereby, this research aimed to establish design elements and technologies required for smoke control system that is suitable to underground spaces of the high-rise residential-commercial and office buildings in order to minimize the loss of lives and property damage in case of fire.

• Journal of the Chungcheong Mathematical Society
• /
• v.4 no.1
• /
• pp.103-113
• /
• 1991

Some properties of a path space and the fundamental group ${\sigma}(X,x_0,G)$ of a topological transformation group (X, G, ${\pi}$) are described. It is shown that ${\sigma}(X,x_0,H)$ is a normal subgroup of ${\sigma}(X,x_0,G)$ if H is a normal subgroup of G ; Let (X, G, ${\pi}$) be a transformation group with the open action property. If every identification map $p:{\Sigma}(X,x,G)\;{\longrightarrow}\;{\sigma}(X,x,G)$ is open for each $x{\in}X$, then ${\lambda}$ induces a homeomorphism between the fundamental groups ${\sigma}(X,x_0,G)$ and ${\sigma}(X,y_0,G)$ where ${\lambda}$ is a path from $x_0$ to $y_0$ in X ; The space ${\sigma}(X,x_0,G)$ is an H-space if the identification map $p:{\Sigma}(X,x_0,G)\;{\longrightarrow}\;{\sigma}(X,x_0,G)$ is open in a topological transformation group (X, G, ${\pi}$).

• Journal of the Korean Mathematical Society
• /
• v.45 no.1
• /
• pp.1-27
• /
• 2008

We introduce a new concept of convex spaces and a multimap class K having certain KKM property. From a basic KKM type theorem for a K-map defined on an convex space without any topology, we deduce ten equivalent formulations of the theorem. As applications of the equivalents, in the frame of convex topological spaces, we obtain Fan-Browder type fixed point theorems, almost fixed point theorems for multimaps, mutual relations between the map classes K and B, variational inequalities, the von Neumann type minimax theorems, and the Nash equilibrium theorems.

• The Transactions of the Korean Institute of Electrical Engineers
• /
• v.40 no.4
• /
• pp.394-401
• /
• 1991

B-spline function is generally used for an image interpolation because of its smoothness and continuity, but it accompanies a large amount of blurring effect. In this paper, a space-variant B-spline interpolation function is proposed through deblurring process followed by de-aliasing process. The proposed function has parametric expression and performs smoothing and edge-enhancement adaptively in the interpolation process according to local property of the image. Application of this function to image enlargement, rotation, and curve representation producted good results. Even in the presence of noise, noise smoothing effect as well as edge-enhancement were observed in the image interpolation process.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.17 no.6
• /
• pp.347-353
• /
• 2022

In this paper, we propose a method that performs a text-video retrieval model by replacing video properties using captions. In general, the exisiting embedding-based models consist of both joint embedding space construction and the CNN-based video encoding process, which requires a lot of computation in the training as well as the inference process. To overcome this problem, we introduce a video-captioning module to replace the visual property of video with captions generated by the video-captioning module. To be specific, we adopt the caption generator that converts candidate videos into captions in the inference process, thereby enabling direct comparison between the text given as a query and candidate videos without joint embedding space. Through the experiment, the proposed model successfully reduces the amount of computation and inference time by skipping the visual processing process and joint embedding space construction on two benchmark dataset, MSR-VTT and VATEX.