• Journal of applied mathematics & informatics
• /
• v.29 no.1_2
• /
• pp.395-405
• /
• 2011

In this paper, we prove a common fixed point theorem for a pair of weakly compatible maps under E.A. property.

• Honam Mathematical Journal
• /
• v.27 no.4
• /
• pp.641-647
• /
• 2005

This note is a verification on the relations between multiplicative and almost multiplicative linear maps; and the continuity of almost multiplicative linear maps.

• Proceedings of the Korean Society of Surveying, Geodesy, Photogrammetry, and Cartography Conference
• /
• 2002.04a
• /
• pp.25-33
• /
• 2002

Historical maps are precious materials, which show spatial distribution of land use, streets and so on at the time when the maps were produced. In analysis of historical maps, the most practical method is to compare them with the present ones, for instance by overlaying them. However, the low precision, in the geometrical sense, of the historical maps makes the task of comparison very difficult. This drawback brings us the idea to incorporate the historical maps into GIS after rubber-sheet transformation, i.e. geometric correction, of them. It makes comparing and overlaying multiple maps from different time periods. Furthermore, it gives map-scales to the historical maps, which are not in general represented on the old maps, and if we allow ourselves to ignore the changes in terrain from past to present, it will make overlaying of present contour lines on the historical maps. As a result, we can bring the points of view of quantitative consideration and three-dimensional visualization into analyses of historical map. We have addressed incorporating historical maps produced in Edo period (1603-1867) in Japan into our GIS for Tokyo. This article shows the outline of our procedures and some applications, e.g., overlaying different maps from Edo period to present, quantitative analyses of land use in Edo, and visualization of landscape of Edo.

• Journal of applied mathematics & informatics
• /
• v.15 no.1_2
• /
• pp.159-172
• /
• 2004

A map is singular if each edge is on the same face on a surface (i.e., those have only one face on a surface). Because any map with loop is not colorable, all maps here are assumed to be loopless. In this paper po-vides the explicit expression of chromatic sum functions for rooted singular maps on the projective plane, the torus and the Klein bottle. From the explicit expression of chromatic sum functions of such maps, the explicit expression of enumerating functions of such maps are also derived.

• Journal of the Chungcheong Mathematical Society
• /
• v.1 no.1
• /
• pp.43-53
• /
• 1988

The main result of this paper is a characterization of almost projective modules over art in algebras by means of irreducible maps and almost split sequences. A module X is an almost projective module if and only if it has a presentation $0{\longrightarrow}L{\longrightarrow^{\alpha}}P{\longrightarrow}X{\longrightarrow}0$ with projective module P and irreducible maps ${\alpha}$. Let X be an injective almost projective non simple module and $0{\rightarrow}Dtr(x){\rightarrow}E{\rightarrow}X{\rightarrow}0$ be an almost split sequence. If $E=E_1{\oplus}E_2$ is a direct decomposition of indecomposable modules then ${\ell}(X)=3$.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.15 no.4
• /
• pp.514-519
• /
• 2005

We define extensional spaces. Moreover, we investigate the relations among T-upper-approximation spaces, T-quasi -equivalence relations and extensional spaces.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.11 no.12
• /
• pp.6188-6204
• /
• 2017

Over the years, more password-based authentication key agreement schemes using chaotic maps were susceptible to attack by off-line password guess attack. This work approaches this problem by a new method--new theorem of chaotic maps: $T_{a+b}(X)+T_{a-b}(X)=2T_a(X)T_b(X)$,(a>b). In fact, this method can be used to design two-party, three-party, even in N-party intelligently. For the sake of brevity and readability, only a two-party instance: a novel Two-party Password-Authenticated Key Agreement Protocol is proposed for resisting password guess attack in this work. Compared with the related literatures recently, our proposed scheme can be not only own high efficiency and unique functionality, but is also robust to various attacks and achieves perfect forward secrecy. For capturing improved ratio of security and efficiency intuitively, the paper firstly proposes a new parameter called security/efficiency ratio(S/E Ratio). The higher the value of the S/E Ratio, the better it is. Finally, we give the security proof and the efficiency analysis of our proposed scheme.

• Nonlinear Functional Analysis and Applications
• /
• v.27 no.2
• /
• pp.271-287
• /
• 2022

In this article, we shall prove a common fixed point theorem for two weakly compatible self-maps 𝒫 and 𝔔 on a dislocated metric space (M, d^*) satisfying the following ξ-weakly expansive condition: d^*(𝒫c, 𝒫d) ≥ d^* (𝔔c, 𝔔d) + ξ(∧(𝔔c, 𝔔d)), ∀ c, d ∈ M, where $${\wedge}(Qc,\;Qd)=max\{d^*(Qc,\;Qd),\;d^*(Qc,\;\mathcal{P}c),\;d^*(Qd,\;\mathcal{P}d),\;\frac{d^*(Qc,\;\mathcal{P}c){\cdot}d^*(Qd,\;\mathcal{P}d)}{1+d^*(Qc,\;Qd)},\;\frac{d^*(Qc,\;\mathcal{P}c){\cdot}d^*(Qd,\;\mathcal{P}d)}{1+d^*(\mathcal{P}c,\;\mathcal{P}d)}\}$$. Also, we have proved common fixed point theorems for the above mentioned weakly compatible self-maps along with E.A. property and (CLR) property. An illustrative example is also provided to support our results.

• Proceedings of the CALSEC Conference
• /
• 2003.09a
• /
• pp.191-196
• /
• 2003

The Semantic web service is able to intelligently discover, execute, composite and monitor the Web Service. It constructs the ontology on Web Service and describes the Semantic Markup in the machine-readable form. The currently developing technologies of the Semantic Web Service discovery are DAML-S matchmaker in Carnegie Mellon University, Process Handbook in MIT and etc. In this paper, we propose the ontology language based on Topic Maps that supports the benefits and solves the problems of the Semantic Web Service discovery technologies .

• Bulletin of the Korean Mathematical Society
• /
• v.45 no.3
• /
• pp.467-475
• /
• 2008

The aim of the present paper is three fold. Firstly, we obtain common fixed point theorems for a pair of selfmaps satisfying nonexpansive or Lipschitz type condition by using the notion of pointwise R-weak commutativity but without assuming the completeness of the space or continuity of the mappings involved (Theorem 1, Theorem 2 and Theorem 3). Secondly, we generalize the results obtained in first three theorems for four mappings by replacing the condition of noncompatibility of maps with the property (E.A) and using the R-weak commutativity of type $(A_g)$ (Theorem 4). Thirdly, in Theorem 5, we show that if the aspect of noncompatibility is taken in place of the property (E.A), the maps become discontinuous at their common fixed point. We, thus, provide one more answer to the problem posed by Rhoades [11] regarding the existence of contractive definition which is strong enough to generate fixed point but does not forces the maps to become continuous.