• Korean Journal of Plant Resources
• /
• v.26 no.5
• /
• pp.597-612
• /
• 2013

The flora of Is. Gageodo (N $34^{\circ}02^{\prime}{\sim}34^{\circ}05^{\prime}$, E $125^{\circ}05^{\prime}{\sim}125^{\circ}08^{\prime}$) in Sinangun (Province Jeollanamdo) was surveyed from April 2010 to October 2011. The vascular plants from the results of 23 field surveys were revealed as 385 taxa; in total 98 families, 258 genera, 348 species, three subspecies, 31 varieties and four forms. Fifty taxa were the first records in this region. The plants in various categories were discovered in this study. The number of Korean endemic plants were 7 taxa, and 8 taxa designated by Korean Forest Service as rare plants were investigated in this region. The plants above the third degree among the floristic regional indicator plants designated by Korean Ministry of Environment were 30 taxa. In addition, 28 taxa of the naturalized plants were recorded.

• Journal of the Korea Society of Computer and Information
• /
• v.18 no.11
• /
• pp.159-165
• /
• 2013

This paper proposes a O(E) polynomial-time algorithm that has been devised to simultaneously solve edge-coloring problem and graph classification problem both of which remain NP-complete. The proposed algorithm selects an edge connecting maximum and minimum degree vertices so as to determine the number of edge coloring ${\chi}^{\prime}(G)$. Determined ${\chi}^{\prime}(G)$ is in turn either ${\Delta}(G)$ or ${\Delta}(G)+1$. Eventually, the result could be classified as class 1 if ${\chi}^{\prime}(G)={\Delta}(G)$ and as category 2 if ${\chi}^{\prime}(G)={\Delta}(G)+1$. This paper also proves Vizing's planar graph conjecture, which states that 'all simple, planar graphs with maximum degree six or seven are of class one, closing the remaining possible case', which has known to be NP-complete.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.12 no.12
• /
• pp.2219-2225
• /
• 2008

Labeling schemes which don't consider about frequent update in dynamic XML documents need relabeling process to reflect the changed label information whenever the tree of XML document is update. There is disadvantage of considerable expenses in the dynamic XML document which can occurs frequent update. To solve this problem, we suggest prime number labeling scheme that doesn't need relabeling process. However the prime number labeling scheme does not consider that it needs to update the sibling order of nodes in the XML tree of document. This update process needs much costs because the most of the XML tree of document has to be relabeling and recalculation. In this paper, we propose the prime number labeling scheme with sibling order value that can maintain the sibling order without relabeling or recalculation the XML tree of documents.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.47 no.10
• /
• pp.29-33
• /
• 2010

In this paper, a new family of wavelength-time codewords using modified time mapped prime sequences as a time spreading pattern is constructed. When $P_t$ = 3, we can construct $P_w^2$ wavelength-time codewords with low autocorrelation sidelobe and crosscorrelation of less than or equal to 1. When $P_t$ = 5 and $P_t$ = 7, the number of wavelength-time codewords of $P_w^2$ can be constructed with good crosscorrelation of 1 and autocorrelation of less than or equal to 2.

• Journal of applied mathematics & informatics
• /
• v.5 no.3
• /
• pp.819-826
• /
• 1998

The purpose of this paper is to prove the following results; (1) Let R be a prime ring of char $(R)\neq 2$ and I a nonzero left ideal of R. The existence of a nonzero symmetric bi-derivation D : $R\timesR\;\longrightarrow\;$ such that d is sew-commuting on I where d is the trace of D forces R to be commutative (2) Let m and n be integers with $m\;\neq\;0.\;or\;n\neq\;0$. Let R be a noncommutative prime ring of char$ (R))\neq \; 2-1\; p_1 \;n_1$ where p is a prime number which is a divisor of m, and I a nonzero two-sided ideal of R. Let $D_1$ ; $R\;\times\;R\;\longrightarrow\;and\;$ $D_2\;:\;R\;\times\;R\;longrightarrow\;R$ be symmetric bi-derivations. Suppose further that there exists a symmetric bi-additive mapping B ; $R\;\times\;R\;\longrightarrow\;and\;$ such that $md_1(\chi)\chi ＋ n\chi d_2(\chi)=f(\chi$) holds for all $\chi$$\in$I, where $d_1 \;and\; d_2$ are the traces of $D_1 \;and\; D_2$ respectively and f is the trace of B. Then we have $D_1=0 \;and\; D_2=0$.

• Journal of the Korean institute of surface engineering
• /
• v.51 no.6
• /
• pp.344-353
• /
• 2018

Plasma electrolytic oxidation of Ti-25Ta-xHf alloy in electrolyte containing Ca and P for dental implants was investigated using various experimental techniques. Ti-25Ta-xHf (x=0 and 15 wt.%) alloys were manufactured in an arc-melting vacuum furnace. Micropores were formed in PEO films on Ti-25Ta-xHf alloys in 0.15 M calcium acetate monohydrate + 0.02 M calcium glycerophosphate at 240 V, 270 V and 300 V for 3 min, respectively. The microstructure of Ti-25Ta-xHf alloys changed from (${\alpha}^{\prime}+{\alpha}^{{\prime}{\prime}}$) phase to (${\alpha}^{{\prime}{\prime}}+{\beta}$) phase by addition of Hf. As the applied potential increased, the number of pore and the area ratio of occupied by micro-pore decreased, whereas the pore size increased. The anatase phase increase as the applied potential increased. Also, the crystallite size of anatase-$TiO_2$ can be controlled by applied voltage.

• 제어로봇시스템학회:학술대회논문집
• /
• 2004.08a
• /
• pp.68-71
• /
• 2004

Recently, a great deal of research and development of a fuel cell have been carried out to solve problems on the drain of fossil fuel, air pollution and global warning. In order to improve the efficiency of a fuel cell, it is necessary to clarify the flow in separator. In this study, distributions of velocity flow rate and pressure, and streamlines are examined in detail from numerical analysis with CFD code. In the experiment the distribution of flow rate is measured and flow in the each grooves of the separator is visualized by dye method changing Reynolds number. Furthermore, effects of size of the inlet and outlet manifolds and shape of ribs near the inlet outlet on the distributions of flow and pressure are examined.

• Bulletin of the Korean Mathematical Society
• /
• v.56 no.5
• /
• pp.1143-1157
• /
• 2019

Let $T_aD_b(n)$ and $T_aD^{\prime}_b(n)$ denote respectively the number of representations of a positive integer n by $a(x^2-x)/2+b(4y^2-3y)$ and $a(x^2-x)/2+b(4y^2-y)$. Similarly, let $S_aD_b(n)$ and $S_aD^{\prime}_b(n)$ denote respectively the number of representations of n by $ax^2+b(4y^2-3y)$ and $ax^2+b(4y^2-y)$. In this paper, we prove 162 formulas for these functions.

• Bulletin of the Korean Mathematical Society
• /
• v.58 no.4
• /
• pp.1031-1038
• /
• 2021

The main aim of this article is to study quantitative structure of finite simple exceptional groups F₄(2ⁿ) with n > 1. Here, we prove that the finite simple exceptional groups F₄(2ⁿ), where 2⁴ⁿ + 1 is a prime number with n > 1 a power of 2, can be uniquely determined by their orders and the set of the number of elements with the same order. In conclusion, we give a positive answer to J. G. Thompson's problem for finite simple exceptional groups F₄(2ⁿ).

• Journal for History of Mathematics
• /
• v.12 no.2
• /
• pp.47-54
• /
• 1999

We introduce some historical facts on number theory, especially prime numbers and modular arithmetic. And then, with the viewpoint of computer arithmetic, residue number systems are considered as an alternate to positional number systems so that high performance and high speed computation can be achieved in a specified domain such as cryptography and digital signal processing.