• 충청수학회지
• /
• 제33권2호
• /
• pp.227-236
• /
• 2020

A set {a₁, a₂,_…, a_m} of positive integers is called Diophantine m-tuple if a_ia_j+1 is a perfect square for all 1 ≤ i < j ≤ m. In this paper, we find the structure of torsion group of elliptic curve E_k constructed by Diophantine triple, and find all integer points on E_k under assumption that rank(E_k(ℚ)) = 1.

• 대한수학회지
• /
• 제52권5호
• /
• pp.991-1001
• /
• 2015

In this work we obtain conditions for nonspecial line bundles on general ${\kappa}$-gonal curves failing to be normally generated. Let L be a nonspecial very ample line bundle on a general ${\kappa}$-gonal curve X with ${\kappa}{\geq}4$ and $deg\mathcal{L}{\geq}{\frac{3}{2}}g+{\frac{g-2}{{\kappa}}}+1$. If L fails to be normally generated, then L is isomorphic to $\mathcal{K}_X-(ng^1_{\kappa}+B)+R$ for some $n{\geq}1$, B and R satisfying (1) $h^0(R)=h^0(B)=1$, (2) $n+3{\leq}degR{\leq}2n+2$, (3) $deg(R{\cap}F){\leq}1$ for any $F{\in}g^1_k $. Its converse also holds under some additional restrictions. As a corollary, a very ample line bundle $\mathcal{L}{\simeq}\mathcal{K}_X-g^0_d+{\xi}^0_e$ is normally generated if $g^0_d{\in}X^{(d)}$ and ${\xi}^0_e{\in}X^{(e)}$ satisfy $d{\leq}{\frac{g}{2}}-{\frac{g-2}{\kappa}}-3$, supp$(g^0_d{\cap}{\xi}^0_e)={\phi}$ and deg$(g^0_d{\cap}F){\leq}{\kappa}-2$ for any $F{\in}g^1_k$.

• 호남수학학술지
• /
• 제39권1호
• /
• pp.93-100
• /
• 2017

Let $\mathcal{H}$ be an infinite dimensional separable Hilbert space with a fixed orthonormal base $\{e_1,e_2,{\cdots}\}$. Let $\mathcal{L}$ be the subspace lattice generated by the subspaces $\{[e_1],[e_1,e_2],[e_1,e_2,e_3],{\cdots}\}$ and let $Alg{\mathcal{L}}$ be the algebra of bounded operators which leave invariant all projections in $\mathcal{L}$. Let p and q be natural numbers($p{\leqslant}q$). Let $\mathcal{B}_{p,q}=\{T{\in}Alg\mathcal{L}{\mid}T_{(p,q)}=0\}$. Let $\mathcal{A}$ be a linear manifold in $Alg{\mathcal{L}}$ such that $\{0\}{\varsubsetneq}{\mathcal{A}}{\subset}{\mathcal{B}}_{p,q}$. If $\mathcal{A}$ is an ideal in $Alg{\mathcal{L}}$, then $T_{(i,j)}=0$, $p{\leqslant}i{\leqslant}q$ and $i{\leqslant}j{\leqslant}q$ for all T in $\mathcal{A}$.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제2권1호
• /
• pp.53-59
• /
• 1995

Consider a solution y(t) of the nonlinear equation (E) y" ＋ f(t, y) = 0. A solution y(t) is said to be oscillatory if for every T ＞ 0 there exists $t_{0}$ ＞ T such that y($t_{0}$) = 0. Let F be the class of solutions of (E) which are indefinitely continuable to the right, i.e. y $\in$ F implies y(t) exists as a solution to (E) on some interval of the form [t$\sub$y/, $\infty$). Equation (E) is said to be oscillatory if each solution from F is oscillatory.(omitted)

• 호남수학학술지
• /
• 제24권1호
• /
• pp.1-8
• /
• 2002

In this paper we will show that if E is an injective module over a commutative ring A, then the sequence of sets $Ass_{A}(A/I^{n})^{*(E)}),\;n{\in}N,$ is increasing and ultimately constant. Also we will obtain some results concerning the integral closure of ideals related to some modules.

• 대한수학회보
• /
• 제56권1호
• /
• pp.57-71
• /
• 2019

Let R be an associative ring with identity, M a t.u.p. monoid with only one unit and ${\omega}:M{\rightarrow}End(R)$ a monoid homomorphism. Let R be a reversible, M-compatible ring and ${\alpha}=a_1g_1+{\cdots}+a_ng_n$ a non-zero element in skew monoid ring $R{\ast}M$. It is proved that if there exists a non-zero element ${\beta}=b_1h_1+{\cdots}+b_mh_m$ in $R{\ast}M$ with ${\alpha}{\beta}=c$ is a constant, then there exist $1{\leq}i_0{\leq}n$, $1{\leq}j_0{\leq}m$ such that $g_{i_0}=e=h_{j_0}$ and $a_{i_0}b_{j_0}=c$ and there exist elements a, $0{\neq}r$ in R with ${\alpha}r=ca$. As a consequence, it is proved that ${\alpha}{\in}R*M$ is unit if and only if there exists $1{\leq}i_0{\leq}n$ such that $g_{i_0}=e$, $a_{i_0}$ is unit and aj is nilpotent for each $j{\neq}i_0$, where R is a reversible or right duo ring. Furthermore, we determine the relation between clean and nil clean elements of R and those elements in skew monoid ring $R{\ast}M$, where R is a reversible or right duo ring.

• Korean Journal of Mathematics
• /
• 제30권2호
• /
• pp.391-402
• /
• 2022

For a given graph G = (V, E), a dominating set is a subset V' of the vertex set V so that each vertex in V ＼ V' is adjacent to a vertex in V'. The minimum cardinality of a dominating set of G is called the domination number of G and is denoted by γ(G). For an integer k ≥ 1, the k-th power G^k of a graph G with V (G^k) = V (G) for which uv ∈ E(G^k) if and only if 1 ≤ d_G(u, v) ≤ k. Note that G² is the square graph of a graph G. In this paper, we obtain some tight bounds for the sum of the domination numbers of a graph and its square graph in terms of the order, order and size, and maximum degree of the graph G. Also, we characterize such extremal graphs.

• 한국HCI학회:학술대회논문집
• /
• 한국HCI학회 2008년도 학술대회 1부
• /
• pp.65-71
• /
• 2008

본 논문에서는 협업 가상 환경이 보다 더 높은 현실감을 제공하도록 고해상도 tiled-display 에 기반을 둔 촉감 협업 시스템의 구조 및 구현 방법을 제안한다. 또한 이 시스템에서 QoE (quality of experience)의 수준을 높일 수 있는 기법을 제안한다. 촉각 기반 시스템과 고해상도 tiled-display를 위한 시스템은 각각 컴퓨터의 자원에 대한 요구조건이 있다. 촉각 시스템의 요구조건은 햅틱 디바이스의 햅틱 렌더링 반복 속도이다. 1kHz 이상의 렌더링 속도를 만족시키지 못하면 햅틱 장비는 불안정해지며 촉감 기반 협업을 방해한다. 그리고 tiled-display는 동영상을 디스플레이하기 위해서 일정 속도 이상으로 새로운 화면을 갱신 시켜야 한다. 일반적으로 햅틱 시스템과 tiled-display 시스템을 각각 사용하면 각각의 요구들을 만족시킬 수 있지만 두 시스템을 함께 사용하면 컴퓨터의 지원 부족에 의해 전체 시스템 성능이 저하되고 사용자의 QoE를 만족시키기 어려워진다. 따라서 본 논문에서는 QoE 를 높일 수 있는 구조로 tiled-display 기반 햅틱 협업 시스템을 구현하고 또한 상황에 따른 사용자의 감각적 우선순위를 파악하여 디스플레이 업데이트 주기와 햅틱 렌더링 주기를 선택적으로 조율함으로써 제한된 지원을 효율적으로 이용하고 시스템 전체의 QoE를 높일 수 있는 기법을 제안한다.

• Journal of applied mathematics & informatics
• /
• 제22권1_2호
• /
• pp.435-440
• /
• 2006

Let G be a simple graph with vertex set V(G) and edge set E(G). A subset S of E(G) is called an edge cover of G if the subgraph induced by S is a spanning subgraph of G. The maximum number of edge covers which form a partition of E(G) is called edge covering chromatic number of G, denoted by X'c(G). It is known that for any graph G with minimum degree ${\delta},\;{\delta}-1{\le}X'c(G){\le}{\delta}$. If $X'c(G) ={\delta}$, then G is called a graph of CI class, otherwise G is called a graph of CII class. It is easy to prove that the problem of deciding whether a given graph is of CI class or CII class is NP-complete. In this paper, we consider the classification of nearly bipartite graph and give some sufficient conditions for a nearly bipartite graph to be of CI class.

• Kyungpook Mathematical Journal
• /
• 제62권3호
• /
• pp.437-453
• /
• 2022

Unlike for polynomial rings, the notion of multiplication for the near-ring of polynomials is the substitution operation. This leads to somewhat surprising results. Let S be an abelian left near-ring with identity. The relation ~ on S defined by letting a ~ b if and only if ann_S(a) = ann_S(b), is an equivalence relation. The compressed zero-divisor graph 𝚪_E(S) of S is the undirected graph whose vertices are the equivalence classes induced by ~ on S other than [0]_S and [1]_S, in which two distinct vertices [a]_S and [b]_S are adjacent if and only if ab = 0 or ba = 0. In this paper, we are interested in studying the compressed zero-divisor graphs of the zero-symmetric near-ring of polynomials R₀[x] and the near-ring of the power series R₀[[x]] over a commutative ring R. Also, we give a complete characterization of the diameter of these two graphs. It is natural to try to find the relationship between diam(𝚪_E(R₀[x])) and diam(𝚪_E(R₀[[x]])). As a corollary, it is shown that for a reduced ring R, diam(𝚪_E(R)) ≤ diam(𝚪_E(R₀[x])) ≤ diam(𝚪_E(R₀[[x]])).