• Journal of the Korean Mathematical Society
• /
• v.33 no.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.

• Communications of the Korean Mathematical Society
• /
• v.10 no.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
• /
• v.8 no.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].

• The Pure and Applied Mathematics
• /
• v.25 no.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.

• Korean Journal of Computational Design and Engineering
• /
• v.22 no.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.

• Bulletin of the Korean Mathematical Society
• /
• v.52 no.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.

• Communications of the Korean Mathematical Society
• /
• v.22 no.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.

• Communications of the Korean Mathematical Society
• /
• v.24 no.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
• /
• v.29 no.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
• /
• v.2 no.2
• /
• pp.107-116
• /
• 1994

Choropleth map is a type of thematic maps in which areal units are shaded with a color or pattern that symbolizes some characteristic of the mapped unit. CMS was first developed to produce choropleth maps on ordinary microcomputer environments in 1988. Since then there have been significant technological developments and enhancements in user environments, which have affected the field of choropleth mapping systems posi¬tively. A new version of CMS was developed in accordance with these changes. CMS II requires an IBM PC, or compatible, with the minimum 640KB memory and VGA graphic board. It supports HP laser jet printers to output a high resolution map. The program can use Hangul letters for main menu, map title, and legend. And dBase file format (DEW) was implemented to exchange attribute files effectively.