• 대한수학회논문집
• /
• 제23권3호
• /
• pp.427-446
• /
• 2008

In this paper, we give some new definitions of compatible mappings in intuitionistic fuzzy metric spaces and we prove a common fixed point theorem for four mappings under the condition of compatible mappings of type (I) and of type (II) in complete intuitionistic fuzzy metric spaces.

• Kyungpook Mathematical Journal
• /
• 제52권4호
• /
• pp.483-494
• /
• 2012

In this paper we study properties of commutative BE-algebras and we give the construction of quotient (X/I; *, I) of a commutative BE-algebra X via an obstinate ideal I of X. We construct upper semilattice and prove that is a nearlattice. Finally we define and study commutative ideals in BE-algebras.

• Journal of applied mathematics & informatics
• /
• 제24권1_2호
• /
• pp.261-271
• /
• 2007

The symbol C($m_1^{n_1}m_2^{n_2}{\cdots}m_s^{n_s}$) denotes a 2-regular graph consisting of $n_i$ cycles of length $m_i,\;i=1,\;2,\;{\cdots},\;s$. In this paper, we give some construction methods of cyclic($K_v$, G)-designs, and prove that there exists a cyclic($K_v$, G)-design when $G=C((4m_1)^{n_1}(4m_2)^{n_2}{\cdots}(4m_s)^{n_s}\;and\;v{\equiv}1(mod\;2|G|)$.

• Kyungpook Mathematical Journal
• /
• 제49권4호
• /
• pp.763-770
• /
• 2009

We investigate the dynamical properties of a Holling type I predator-prey model, which harvests both prey and predator and stock predator impulsively. By using the Floquet theory and small amplitude perturbation method we prove that there exists a stable prey-extermination solution when the impulsive period is less than some critical value, which implies that the model could be extinct under some conditions. Moreover, we give a sufficient condition for the permanence of the model.

• 충청수학회지
• /
• 제14권1호
• /
• pp.1-6
• /
• 2001

We investigate the relationships between the Gottlieb groups and the generalized Gottlieb groups, and study some properties of the generalized Gottlieb groups. Lee and Woo [5] proved that $G_n(X,i_1,X{\times}Y){\simeq_-}G_n(X){\oplus}{\pi}_n(Y)$. We can easily re-prove the above main theorem of [5] using some properties of the generalized Gottlieb groups, and obtain a more powerful result as follows; if $F{\rightarrow}^iE{\rightarrow}^pB$ is a homotopically trivial fibration, then $G_n(F,i,E){\simeq_-}{\pi}_n(B){\oplus}G_n(F)$.

• Kyungpook Mathematical Journal
• /
• 제60권1호
• /
• pp.71-72
• /
• 2020

A ring R is quasi-reversible if 0 ≠ ab ∈ I(R) for a, b ∈ R implies ba ∈ I(R), where I(R) is the set of all idempotents in R. In this short paper, we prove that the ring of 2×2 matrices over an arbitrary field is quasi-reversible, which is an answer to the question given by Da Woon Jung et al. in [Bull. Korean Math. Soc., 56(4) (2019) 993-1006].

• 대한수학회논문집
• /
• 제31권4호
• /
• pp.695-701
• /
• 2016

Let I and J be two ideals of a commutative Noetherian ring R and M, N be two non-zero finitely generated R-modules. Let t be a non-negative integer such that $H^i_{I,J}(N)$ is (I, J)-minimax for all i < t. It is shown that the generalized local cohomology module $H^i_{I,J}(M,N)$ is (I, J)-Cofinite minimax for all i < t. Also, we prove that the R-module $Ext^j_R(R/I,H^i_{I,J}(N))$ is finitely generated for all $i{\leq}t$ and j = 0, 1.

• Journal of applied mathematics & informatics
• /
• 제40권1_2호
• /
• pp.327-339
• /
• 2022

In this paper, we introduce arithmetic ${\mathcal{I}}$-statistically convergent sequence space $A{\mathcal{I}}SC$, ${\mathcal{I}}$-lacunary arithmetic statistically convergent sequence space $A{\mathcal{I}}SC_{\theta}$, strongly ${\mathcal{I}}$-lacunary arithmetic convergent sequence space $AN_{\theta}[{\mathcal{I}}]$ and prove some inclusion relations between these spaces. Futhermore, we give ${\mathcal{I}}$-lacunary arithmetic statistical continuity. Finally, we define ${\mathcal{I}}$-Cesàro arithmetic summability, strongly ${\mathcal{I}}$-Cesàro arithmetic summability. Also, we investigate the relationship between the concepts of strongly ${\mathcal{I}}$-Cesàro arithmetic summability, strongly ${\mathcal{I}}$-lacunary arithmetic summability and arithmetic ${\mathcal{I}}$ -statistically convergence.

• Journal of applied mathematics & informatics
• /
• 제23권1_2호
• /
• pp.517-523
• /
• 2007

Let R/I be an Artinian algebra of codimension 3 with Hilbert function H such that $h_{d-1}>h_d=h_{d+1}$. Ahn and Shin showed that A cannot be level if ${\beta}_{1,d+2}(Gin(I))={\beta}_{2,d+2}(Gin(I))$ where Gin(I) is a generic initial ideal of I. We prove that some certain graded Artinian algebra R/I cannot be level if either ${\beta}_{1,d}(I^{lex})={\beta}_{2,d}(I^{lex})+1\;or\;{\beta}_{1,d+1}(I^{lex})={\beta}_{2,d+1}(I^{lex})\;where\;I^{lex}$ is a lex-segment ideal associated to I.

• 한국시뮬레이션학회논문지
• /
• 제6권2호
• /
• pp.89-104
• /
• 1997

Performance bottleneck of parallel computer systems has mostly been I/O devices because of disparity between processor speed and I/O speed. Therefore I/O node placement strategy is required such that it can minimize the number of I/O nodes, I/O access time and I/O traffic in an interconnection network. In this paper, we propose an optimal distance-k embedding algorithm, and analyze its effect on system performance when this algorithm is applied to n x n torus architecture. We prove this algorithm is an efficient I/O node placement using software simulation. I/O node placement using the proposed algorithm shows the highest performance among other I/O node placements in all cases. It is because locations of I/O nodes are uniformly distributed in the whole network, resulting in reduced traffic in the intE'rconnection network.