• The Pure and Applied Mathematics
• /
• v.22 no.2
• /
• pp.139-144
• /
• 2015

Abstract. In this paper, we investigate the relationships between the space X and the hyperspace C(X) concerning admissibility and connectedness im kleinen. The following results are obtained: Let X be a Hausdorff continuum, and let A ∈ C(X). (1) If for each open set U containing A there is a continuum K and a neighborhood V of a point of A such that V ⊂ IntK ⊂ K ⊂ U, then C(X) is connected im kleinen. at A. (2) If IntA ≠ ø, then for each open set U containing A there is a continuum K and a neighborhood V of a point of A such that V ⊂ IntK ⊂ K ⊂ U. (3) If X is connected im kleinen. at A, then A is admissible. (4) If A is admissible, then for any open subset U of C(X) containing A, there is an open subset V of X such that A ⊂ V ⊂ ∪U. (5) If for any open subset U of C(X) containing A, there is a subcontinuum K of X such that A ∈ IntK ⊂ K ⊂ U and there is an open subset V of X such that A ⊂ V ⊂ ∪ IntK, then A is admissible.

• The Pure and Applied Mathematics
• /
• v.7 no.2
• /
• pp.71-78
• /
• 2000

Any Hausdoroff space on a set which has at least two points a regular closed Boolean algebra different from the indiscrete regular closed Boolean algebra as indiscrete space. The Sierpinski space and the space with finite complement topology on any infinite set etc. do the same. However, there is $T_{0}$ space which does the same with Hausdorpff space as above. The regular closed Boolean algebra in a topological space is isomorphic to that algebra in the space with its open extension topology.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.6 no.1
• /
• pp.70-76
• /
• 2006

Some Stampacchia type of generalized weak vector quasivariational-like inequalities for fuzzy mappings was introduced and the existence of solutions to them under non-compact assumption was considered using the particular form of the generalized Ky Fan's section theorem due to Park [15]. As a corollary, Stampacchia type of generalized vector quasivariational-like inequalities for fuzzy mappings was studied under compact assumption using Ky Fan's section theorem [7].

• Communications of the Korean Mathematical Society
• /
• v.30 no.4
• /
• pp.493-504
• /
• 2015

The aim of this paper is to present some properties of sT-continuous functions. Moreover, we obtain a characterization and preserving theorems of semi-compact, S-closed and s-closed spaces.

• Proceedings of the KAIS Fall Conference
• /
• 2001.11a
• /
• pp.230-235
• /
• 2001

SET(Secure Electronic Transaction)은 인터네트와 같은 open network에서 안전하게 상거래를 할 수 있도록 보장해주는 지불 프로토롤이다. SET은 보안상의 허점을 보완하고자 신용카드 회사인 비자, 마스터카드와 IBM, 넷스케이프, 마이크로소프트 그리고 VeriSign의 기술적인 도움으로 개발되었다. SET은 RSA 데이터 보안회사의 암호화 기술에 기초를 두고 있으며, 기술사양 자체가 공개이므로 누구나 자유롭게 SET 프로토롤을 사용하는 소프트웨어를 개발 할 수 있다. SET은 우리가 일상생활에서 이용하는 신용카드 거래체계를 인터네트를 통한 전자상거래에서도 유사하게 이용할 수 있도록 하였다.

• The KIPS Transactions:PartA
• /
• v.12A no.5 s.95
• /
• pp.385-390
• /
• 2005

Set constraints logic language is a language that adopts `set theory` in programming. In this paper, we introduce the procedure for solving set constraints proposed by A. Dovier and show how the procedure can be implemented in logic language Prolog. The procedure is represented in `rewriting rules` and this representation is characterized by having nondeterministic rule applicationsand mathematical variables that is difficult to be implemented in general programming languages. In this paper, we show that the representation can be easily implemented by using nondeterministic control, logical variables and data structure `list` provided in Prolog. Our implementation has following advantages.First we have implemented the full features of the language. Second we have described the implementation detail in thisresearch. Third other used the commercial Prolog called SICStus, but we are using CIAO Prolog with GNU GPL(General Public License) and anyone can use it freely. Forth the software of our implementation is open source so anyone can use, modify, and distribute it freely.

• Journal of the Korean Institute of Landscape Architecture
• /
• v.13 no.2
• /
• pp.99-114
• /
• 1985

^x Open space has become the subject o\ulcorner remarkable, new interest ; and many studies have been done recently. In urban pattern, the significance of open space is not its quantity but how it is arranged. The end of this article is to set up a plan for the open space system for Kyongiu city. This paper has three parts : first, a brief discussion of the concept and function of open space ; secondly, a review of open space system ; and finally, a case study of Kyongju City. Especially, this study is focuced on the methodology in conserving and using prototype plan for historic and cultural environment. The result of this study may be summed up as follows : 1) The open space network for kyongju city can be planned out as a belt and ripple pattern. 2) The linear element of open space must play an important role in connecting each element with the whole open space system. 3 ) The Hwangseong pork can be the focal element of the open space system.

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

In this paper, we study relationships between zero characteristic properties and minimality of orbit closures or limit sets of points. Also, we characterize the set of points of zero characteristic properties. We show that the set of points of positive zero characteristic property in a compact spaces X is the intersection of negatively invariant open subsets of X.

• Korean Journal of Mathematics
• /
• v.9 no.2
• /
• pp.75-82
• /
• 2001

In this paper, we show the existence of open subsets U of $S^3$ which admit a C-transformation onto the interior of $B^3$. Let U be an open set which is homeomorphic to the interior of $B^3$. Then, we prove that if U has a pseudo general polyhedral prime end structure then U admits a C-transformation.

• Journal of the Korean Mathematical Society
• /
• v.35 no.3
• /
• pp.727-740
• /
• 1998

Controlling traffic lights at a bottleneck, in [5] a time of open passage is called optimal, if it minimizes the first moment of the asymptotic distribution of the queue length. The discussion of the first moment as function of the time of open passage is based on an analysis of the behavior of a fixed point when varying control parameters and delivers theoretical and computational aspects of the traffic problem.