• 대한수학회지
• /
• 제33권4호
• /
• pp.891-908
• /
• 1996

Let (X,d) be a metric space and let T be a mapping from X into itself. We say that a metric space (X,d) is T-orbitally complete if every Cauchy sequence of the form ${T^{n_i}x}_{i \in N}$ for $x \in X$ converges to a point in X.

• 대한수학회논문집
• /
• 제10권1호
• /
• pp.67-83
• /
• 1995

The notion of probabilistic metric spaces (or statistical metric spaces) was introduced and studied by Menger [19] which is a generalization of metric space, and the study of these spaces was expanede rapidly with the pioneering works of Schweizer-Sklar [25]-[26]. The theory of probabilistic metric spaces is of fundamental importance in probabilistic function analysis. For the detailed discussions of these spaces and their applications, we refer to [9], [10], [28], [30]-[32], [36] and [39].

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제8권4호
• /
• pp.299-305
• /
• 2008

The object of this paper is to introduce the notion of compatible mapping of type(${\alpha}$) in intuitionistic fuzzy metric space, and to establish common fixed point theorem for five mappings in intuitionistic fuzzy metric space. Our research are an extension for the results of [1] and [7].

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제25권2호
• /
• pp.73-94
• /
• 2018

We introduce some new type of admissible mappings and prove a coupled coincidence point theorem by using newly defined concepts for generalized compatible pair of mappings satisfying ${\alpha}-{\psi}$ contraction on partially ordered metric spaces. We also prove the uniqueness of a coupled fixed point for such mappings in this setup. Furthermore, we give an example and an application to integral equations to demonstrate the applicability of the obtained results. Our results generalize some recent results in the literature.

• 한국CDE학회논문집
• /
• 제22권2호
• /
• pp.118-128
• /
• 2017

Many countries have been developing BIM-based building code checking system and studies in the utilization of Industry Foundation Classes (IFC) in building code checking. IFC is the open standard of BIM format. Currently, there is a disadvantage that could not include all of the attribute for the regulations of each country and there is the problem with the interoperability of the different defined IFC approach between BIM software. This study focus on developing, derived object and property by comparing through domestic regulation and IFC2x3 specification provided by the buildingSMART and classified review type depending on the interoperability of derived information. According to classified review type, the IFC data structure was established and property mapping contents were developed by including BIM software compatible information and creating a type of review plan. When the developed property mapping contents are applied into BIM-based building code checking system, checking of the BIM data generated from various fields is made effective and thus improving the interoperability of information.

• 대한수학회보
• /
• 제52권5호
• /
• pp.1607-1619
• /
• 2015

We investigate some generalization of a class of Hankel-Clifford transformations having Fox H-function as part of its kernel on a class of Boehmians. The generalized transform is a one-to-one and onto mapping compatible with the classical transform. The inverse Hankel-Clifford transforms are also considered in the sense of Boehmians.

• 대한수학회논문집
• /
• 제22권4호
• /
• pp.513-526
• /
• 2007

In this paper, we give some new definitions of M-fuzzy metric spaces and we prove a common fixed point theorem for six mappings under the condition of compatible mappings of first or second type in two complete M-fuzzy metric spaces.

• 대한수학회논문집
• /
• 제24권4호
• /
• pp.581-594
• /
• 2009

In this paper, we establish a common fixed point theorem in complete fuzzy metric spaces which generalizes some results in [9].

• Nonlinear Functional Analysis and Applications
• /
• 제29권2호
• /
• pp.559-580
• /
• 2024

In this paper, we aim to prove coupled and common coupled fixed point theorems for contractive type conditions in the context of partial metric spaces by means of a control function, and to provide some corollaries of the established results. This paper presents a number of results that generalize and extend previous work in the field. In order to better illustrate the process, we provide examples.

• Spatial Information Research
• /
• 제2권2호
• /
• pp.107-116
• /
• 1994

코로플레스 지도는 지리사상의 지역간 분포 특성을 시각적으로 표현하는 지도이다. CMS는 코로플레스 지도 제작 프로그램으로 1988년에 처음 개발되었다. 본 연구에서는 최근 변화된 컴퓨터 기술과 사용자 환경을 고려하여 이에 적합한 CMS ll를 개발하였다. CMS ll는 IBM PC AT또는 상위 기종에서 실행되며 DOS 5.0 이상의 운영환경과 최소 640KB 이상의 메모리가 필요하다. 그래픽 해상력과 색상을 고려하여 그래픽보드로 VGA를 사용하고 고해상도의지도를 출력하기 위해 HP 호환의 레이저 ? 프린터를 지원한다. 코로플레스 지도를 효과적으로 디자인하기 위해 메뉴와 지도의 제목과 범례 등을 한글화하였고 한자의 사용도 가능하도록 제작하였다. 속성자료의 호환을 위해 DBF형식을 이용하였다.