• 한국자원식물학회지
• /
• 제26권5호
• /
• pp.597-612
• /
• 2013

전라남도 신안군 가거도(북위 $34^{\circ}02^{\prime}{\sim}34^{\circ}05^{\prime}$, 동경 $125^{\circ}05^{\prime}{\sim}125^{\circ}08^{\prime}$)에 자생하는 식물상을 밝히고 주요 식물들의 분포를 파악하였다. 2010년 4월부터 2011년 10월까지 총 23회에 걸쳐 현지조사를 실시한 결과 조사지역의 관속식물은 98과 258속 348종 3아종 31변종 4품종의 총 385분류군으로 정리되었다. 이중 기존의 조사에서는 발견되지 않았으나 본 조사에서 최초로 밝혀진 분류군은 50분류군이었다. 가거도에 자생하는 식물들 중에는 한국 특산식물 7분류군, 산림청 지정 희귀식물 8분류군, 식물구계학적 특정식물 중 III등급 이상에 해당하는 30분류군 등이 생육하고 있었다. 귀화식물은 28분류군이 조사되었다.

• 한국컴퓨터정보학회논문지
• /
• 제18권11호
• /
• pp.159-165
• /
• 2013

본 논문은 NP-완전 문제인 간선 색칠과 그래프 부류 결정 문제를 동시에 해결하는 O(E)의 다항시간 알고리즘을 제안하였다. 제안된 알고리즘은 최대차수-최소차수 정점 쌍 간선을 단순히 선택하는 방법으로 간선 채색수 ${\chi}^{\prime}(G)$를 결정하였다. 결정된 ${\chi}^{\prime}(G)$는 ${\Delta}(G)$ 또는 ${\Delta}(G)+1$을 얻는다. 결국, 알고리즘 수행 결과 얻은 ${\chi}^{\prime}(G)$로부터 ${\chi}^{\prime}(G)={\Delta}(G)$이면 부류 1, ${\chi}^{\prime}(G)={\Delta}(G)+1$이면 부류 2로 분류할 수 있다. 또한, 미해결 문제로 알려진 "최대차수가 6인 단순, 평면 그래프는 부류 1이다."라는 Vizing의 평면 그래프 추정도 증명하였다.

• 한국정보통신학회논문지
• /
• 제12권12호
• /
• pp.2219-2225
• /
• 2008

동적인 XML문서에서 빈번히 발생하는 갱신에 대한 고려를 하지 않는 레이블링 기법들은 XML 문서 트리의 갱신이 일어날 때 마다 변화된 레이블 정보를 반영하기 위해서 전체 XML 트리를 재탐색하여 전체 노드의 레이블을 다시 계산하는 리레이블링 과정이 필요하다. 이러한 리레이블링은 갱신이 빈번히 일어나는 동적인 XML 문서에서는 비용이 상당히 크다는 단점이 있다. 이런 단점을 해결하기 위해 리레이블링 과정이 필요 없는 레이블링 기법으로 프라임 넘버 레이블링 기법이 제안되었다. 그러나 프라일 넘버 레이블링 기법은 문서가 갱신될 때 XML 문서 트리의 노드 간 형제순서를 갱신하는 문제는 고려하지 않고 있다. 이러한 형제순서의 갱신과정은 XML 문서 트리의 많은 부분을 재탐색하고 재기록 하여야 하므로 많은 비용이 필요하게 된다. 따라서 본 논문에서는 XML 문서 트리의 리레이블링과 재계산이 필요 없이 형제순서를 유지할 수 있는 형제순서 값을 갖는 프라임 넘버 레이블링 기법을 제안한다.

• 대한전자공학회논문지SD
• /
• 제47권10호
• /
• pp.29-33
• /
• 2010

변형된 time mapped prime sequences를 time spreading pattern에 이용하여 다양한 wavelength-time codeword를 구현하는 방법을 연구하였다. 이 연구 결과 $P_t$ = 3 일 때는 autocorrelation sidelobe와 crosscorrelation을 1이하로 유지하며 사용하는 파장 수의 제곱에 해 당하는 wavelength-time codeword를 생성 할 수 있으며 $P_t$ = 5 와 $P_t$ = 7 일 때는 crosscorrelation을 1이하로 유지하면서 $P_w$개의 wavelength-time codeword에 대해서 autocorrelation sidelobe를 2이하로 제한하는 범위에서 역시 사용하는 파장 수의 제곱에 해당하는 wavelength-time codeword를 생성할 수 있다.

• Journal of applied mathematics & informatics
• /
• 제5권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$.

• 한국표면공학회지
• /
• 제51권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년도 ICCAS
• /
• 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.

• 대한수학회보
• /
• 제56권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.

• 대한수학회보
• /
• 제58권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ⁿ).

• 한국수학사학회지
• /
• 제12권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.