• Journal of applied mathematics & informatics
• /
• 제3권1호
• /
• pp.79-88
• /
• 1996

In this paper we define a new short exact sequence of automata and we investigate module-like properties on projective and injective automata

• 대한수학회지
• /
• 제60권3호
• /
• pp.479-501
• /
• 2023

We study the rationality and symmetry of the Gromov-Witten invariants of the projective line twisted by certain line bundles.

• 대한전자공학회논문지SD
• /
• 제42권1호
• /
• pp.57-67
• /
• 2005

고속 스칼라곱 연산은 타원곡선 암호 응용을 위해서 매우 중요하다. 보안 상황에 따라 유한체의 크기를 변경하려면 타원곡선 암호 보조프로세서가 크기 가변 유한체 연산 장치를 제공하여야 한다. 크기 가변 유한체 연산기의 효율적인 연산 구조를 연구하기 위하여 전형적인 두 종류의 스칼라곱 연산 알고리즘을 FPGA로 구현하였다. Affine 좌표계 알고리즘은 나눗셈 연산기를 필요로 하며, projective 좌표계 알고리즘은 곱셈 연산기만 사용하나 중간 결과 저장을 위한 메모리가 더 많이 소요된다. 크기 가변 나눗셈 연산기는 각 비트마다 궤환 신호선을 추가하여야 하는 문제점이 있다. 본 논문에서는 이로 인한 클록 속도저하를 방지하는 간단한 방법을 제안하였다. Projective 좌표계 구현에서는 곱셈 연산으로 널리 사용되는 디지트 serial 곱셈구조를 사용하였다. 디지트 serial 곱셈기의 크기 가변 구현은 나눗셈의 경우보다 간단하다. 최대 256 비트 크기의 연산이 가능한 크기 가변 유한체 연산기를 이용한 암호 프로세서로 실험한 결과, affine 좌표계 알고리즘으로 스칼라곱 연산을 수행한 시간이 6.0 msec, projective 좌표계 알고리즘의 경우는 1.15 msec로 나타났다. 제안한 타원곡선 암호 프로세서를 구현함으로써, 하드웨어 구현의 경우에도 나눗셈 연산을 사용하지 않는 projective 좌표계 알고리즘이 속도 면에서 우수함을 보였다. 또한, 메모리의 논리회로에 대한 상대적인 면적 효율성이 두 알고리즘의 하드웨어 구현 면적 요구에 큰 영향을 미친다.

• 대한수학회논문집
• /
• 제12권3호
• /
• pp.539-541
• /
• 1997

Let X be a smooth projective threefold. Let C be a smooth projective curve and let $f : X \to C$ be a fiber space with connected fiber S. Assume that $q_1(S) = 0$. Then we have $-X(O_C)X(O_S) \leq -X(O_X)$.

• 대한수학회논문집
• /
• 제12권3호
• /
• pp.665-678
• /
• 1997

In this paper we prove that if the minimum of the sectional curvatures of a compact n-dimensional minimal generic submanifold M of a complex projective space is 1/n, then M is the geodesic minimal hypersphere.

• 대한수학회논문집
• /
• 제12권4호
• /
• pp.1007-1013
• /
• 1997

The purposer of this paper is to prove a rigidity theorem for real hypersurfaces in a complex projective spece.

• 대한수학회지
• /
• 제33권2호
• /
• pp.387-397
• /
• 1996

Let G be a finite group and F be a field of characteristic $p \geq 0$. Let $\Gamma = F^f G$ be a twisted group algebra corresponding to a 2-cocycle $f \in Z^2(G,F^*), where F^* = F - {0}$ is the multiplicative subgroup of F.

• 대한수학회보
• /
• 제38권1호
• /
• pp.157-161
• /
• 2001

In this paper, we prove that an affine manifold M is finitely covered by a manifold $\overline{M}$ where $\overline{M}$ is radiant or the tangent bundle of $\overline{M}$ has a conformally flat vector subbundle of the projective holonomy group of M admits an invariant probability Borel measure. This implies that$x^M$is zero.

• 대한수학회보
• /
• 제34권4호
• /
• pp.535-547
• /
• 1997

The (2, 2, 2, 2)-orbifold is a 2-dimensional orbifold with four order 2 cone points having 2-sphere as an underlying space. The (2, 2, 2, 2)-orbifold admits different geometric structures. The purpose of this paper is to find some real profective structures on the (2, 2, 2, 2)-orbifold.

• Journal of applied mathematics & informatics
• /
• 제18권1_2호
• /
• pp.183-196
• /
• 2005

In this paper we study the chromatic sum functions for rooted nonseparable near-triangular maps on the projective plane. A chromatic sum equation for such maps is obtained.