• Journal of the Chungcheong Mathematical Society
• /
• v.6 no.1
• /
• pp.53-57
• /
• 1993

Let E and F be Banach spaces with $X{\subset}E$ and $Y{\subset}F$. Suppose that X is weakly compact, convex and has the fixed point property for a nonexpansive mapping, and Y has the fixed point property for a multivalued nonexpansive mapping. Then $(X{\oplus}Y)_p$, $1{\leq}$ P < ${\infty}$ has the fixed point property for a multi valued nonexpansive mapping. Furthermore, if X has the generic fixed point property for a nonexpansive mapping, then $(X{\oplus}Y)_{\infty}$ has the fixed point property for a multi valued nonexpansive mapping.

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

• Korean Journal of Mathematics
• /
• v.20 no.3
• /
• pp.353-360
• /
• 2012

In this paper we introduce the property (C), which is a cone metric extension of the usual metric property (E,A) and consider fixed point theorems for generalized contractive mappings under suitable conditions in cone metric spaces without normal cones.

• Nonlinear Functional Analysis and Applications
• /
• v.26 no.3
• /
• pp.565-580
• /
• 2021

In this paper, first of all we prove a fixed point theorem for 𝜓_∫𝜑-weakly contractive mapping. Next, we prove some common fixed point theorems for a pair of weakly compatible self maps along with E.A. property and (CLR) property. An example is also given to support our results.

• Journal of KIISE:Databases
• /
• v.36 no.6
• /
• pp.466-475
• /
• 2009

Considerable research in the field of ontology mapping has been done when information sharing and reuse becomes necessary by a variety of ontology development. Ontology mapping method consists of the lexical, structural, instance, and logical inference similarity computing. Lexical similarity computing used in most ontology mapping methods performs an ontology mapping by using the synonym set defined in the WordNet. In this paper, we define the Super Word Set including the hypenym, hyponym, holonym, and meronym set and propose an ontology mapping method using the Super Word Set. The results of experiments show that our method improves the performance by up to 12%, compared with previous ontology mapping method.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.39A no.8
• /
• pp.445-452
• /
• 2014

In this paper, we define ideal autocorrelation property for balanced quaternary sequence with even period. We also prove that our definition is ideal autocorrelation property for balanced quaternary sequence with even period. Furthermore, we propose a generation method of quaternary sequence with ideal autocorrelation property of period $2{\times}(2^n-1)$ using a binary sequence with ideal autocorrelation of period $2^n-1$ and Gray mapping. We also derive the autocorrelation value distribution of the newly proposed quaternary sequence.

• Bulletin of the Korean Mathematical Society
• /
• v.55 no.5
• /
• pp.1419-1431
• /
• 2018

Let $f=h+{\bar{g}}$ be a harmonic mapping of the unit disk ${\mathbb{D}}$ with the holomorphic part h satisfying that h is injective and $h({\mathbb{D}})$ is an M-linearly connected domain. In this paper, we obtain the sufficient and necessary conditions for f to be bi-Lipschitz, which is in particular, quasiconformal. Moreover, some distortion theorems are also obtained.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2012.10a
• /
• pp.447-449
• /
• 2012

There are many essential elements in making the realistic 3D games, of which one of the most important is mapping. Mapping can add the details to 3D objects easily, which are impossible or difficult by modeling alone, and can reduce file data capacities to run the game engine. The theory of the mapping is to throw 2D image on 3D object correctly, but they do not match each other at the rate of 1:1 100 percent completely due to the difference of the fundamental property of them. To solve this problem, various kinds of mapping methods are developed and used. This paper will compare and analyze the characteristics, and merits and demerits of these various kinds of mapping methods and will inquire which method is the most efficient one.

• Kyungpook Mathematical Journal
• /
• v.3 no.2
• /
• pp.39-41
• /
• 1960

• Bulletin of the Korean Mathematical Society
• /
• v.50 no.3
• /
• pp.1007-1020
• /
• 2013

Approximate fixed point property problem for Mann iteration sequence of a nonexpansive mapping has been resolved on a Banach space independent of uniform (strict) convexity by Ishikawa [Fixed points and iteration of a nonexpansive mapping in a Banach space, Proc. Amer. Math. Soc. 59 (1976), 65-71]. In this paper, we solve this problem for a class of mappings wider than the class of asymptotically nonexpansive mappings on an arbitrary normed space. Our results generalize and extend several known results.