• 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.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.13 no.5
• /
• pp.2353-2359
• /
• 2012

Today, the use of the open source software is rapidly increasing. But, it is also true that the quality aspect of the open source software is not being considered seriously enough. As we see, the future prospect of the open source software seems to demand the development of a set of quality assessment technology for the open source software due to the current status of quality problems and sustained growth in its usage. Therefore, in this study a set of open source assessment models are analyzed to establish evaluation criteria, with which the open source software are to be evaluated.

• 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.

• Journal of Applied and Pure Mathematics
• /
• v.4 no.3_4
• /
• pp.141-150
• /
• 2022

The aim of this article is to introduce hesitant fuzzy paraopen and hesitant fuzzy mean open sets in hesitant fuzzy topological spaces. Moreover we investigate and extend some properties of hesitant fuzzy mean open with hesitant fuzzy paraopen, hesitant fuzzy minmimal open and maximal open sets in hesitant fuzzy topological spaces.

• Bulletin of the Korean Mathematical Society
• /
• v.20 no.2
• /
• pp.95-97
• /
• 1983

In this paper, we show a necessary and sufficient condition for QHC spaces to be S-closed. T. Thomson introduced S-closed spaces in [2]. A topological space X is said to be S-closed if every semi-open cover of X admits a finite subfamily such that the closures of whose members cover the space, where a set A is semi-open if and only if there exists an open set U such that U.contnd.A.contnd.Cl U. A topological space X is quasi-H-closed (denote QHC) if every open cover has a finite subfamily whose closures cover the space. If a topological space X is Hausdorff and QHC, then X is H-closed. It is obvious that every S-closed space is QHC but the converse is not true [2]. In [1], Cameron proved that an extremally disconnected QHC space is S-closed. But S-closed spaces are not necessarily extremally disconnected. Therefore we want to find a necessary and sufficient condition for QHC spaces to be S-closed. A topological space X is said to be semi-locally S-closed if each point of X has a S-closed open neighborhood. Of course, a locally S-closed space is semi-locally S-closed.

• 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.

• 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 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.

• 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.

• Communications of the Korean Mathematical Society
• /
• v.27 no.3
• /
• pp.603-611
• /
• 2012

We introduce the concept of fuzzy $r$-minimal ${\alpha}$-open set on a fuzzy minimal space and some basic properties. We also introduce the concepts of fuzzy $r$-M ${\alpha}$-continuous and fuzzy $r$-M($M^*$) ${\alpha}$-open mappings, and investigate characterization for such mappings.