• 대한수학회논문집
• /
• 제27권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.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제22권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.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제7권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
• /
• 제6권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].

• 대한수학회논문집
• /
• 제30권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.

• 한국산학기술학회:학술대회논문집
• /
• 한국산학기술학회 2001년도 추계산학기술 심포지엄 및 학술대회 발표논문집
• /
• pp.230-235
• /
• 2001

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

• 정보처리학회논문지A
• /
• 제12A권5호
• /
• pp.385-390
• /
• 2005

`집합 제한 논리 언어`는 `집합 이론`을 프로그래밍에 도입한 언어이다. 본 논문은 A. Dovier 연구팀이 제안한 집합 제한 문제 풀이(solver) 절차를 소개하고, 이 절차가 논리 언어 Prolog 상에서 어떻게 구현 가능한 지를 보인다. 이 절차는 `다시쓰기 규칙(rewrite rule)`으로 표현되어 있는데 이 표현의 특징은 일반 프로그래밍 언어가 표현하기 힘든 비결정적 규칙 적용(nondeterministic rule application)과 수학적 변수 (mathematical variable)를 사용한다는 점이다. 본 연구에서는 이들 특징이 Prolog 언어에서 제공되는 비결정적 제어 (nondeterministic control), 논리적 변수(logical variable) 및 리스트(list) 자료구조의 사용으로 쉽게 구현 가능함을 보인다. 본 연구의 구현은 다음과 같은 의의를 가지고 있다. 첫째 본연구는 이 언어의 모든 기능을 완전하게 구현하였다는 점이다. 둘째 본 연구에서는 이 언어의 구현 방법을 누구나 알기 쉽게 기술하였다는 점이다. 셋째 기존의 구현이 상업적 Prolog인 SICStus Prolog를 사용하여 구현한 것과는 달리 본 구현은GNU GPL(General Public License)을 가지는CIAO Prolog를 사용하여 구현하였기 때문에 누구나 자유롭게 사용할 수 있는 점이다. 넷째 본 연구에서 개발된 소스 코드는 공개 소프트웨어이기 때문에 누구나 자유롭게 사용, 수정 및 배포할 수 있다는 점이다.

• 한국조경학회지
• /
• 제13권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.

• 대한수학회논문집
• /
• 제19권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
• /
• 제9권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.