• 전기전자학회논문지
• /
• 제25권1호
• /
• pp.88-94
• /
• 2021

현재 사용되고 있는 RSA, ECC와 같은 공개키 암호화 기법은 소인수분해와 같은 현재의 컴퓨터로 계산이 오래 걸리는 수학적 문제를 암호화에 사용했다. 그러나 양자컴퓨터가 상용화된다면 Shor Algorithm에 의해 기존의 암호화 시스템은 쉽게 깨질 수 있다. 그로 인해 Quantum-resistant 한 암호화 알고리즘의 도입이 필요해졌고, 그중 하나로 Lattice-based Cryptography가 제안되고 있다. 이 암호화 알고리즘은 Polynomial Ring에서 연산이 행해지고, 그중 Polynomial Multiplication이 가장 큰 연산 시간을 차지한다. 그러므로 다항식 곱셈 계산을 빠르게 하는 하드웨어 모듈이 필요하고, 그중 Finite Field에서 연산 되는 FFT인 Number Theoretic Transform을 이용해서 다항식 곱셈을 계산하는 8-point NTT-based Polynomial Multiplier 모듈을 설계하고 시뮬레이션했다. HDL을 사용하여 로직검증을 수행하였고, Hspice를 사용하여 트랜지스터 수준에서 제안된 설계가 지연시간과 전력소모에서 얼마나 개선되는지를 비교 분석하였다. 제안된 설계에서 평균 지연속도 30%의 개선과 8% 이상의 전력소모 감소 효과를 볼 수 있었다.

• 항공우주기술
• /
• 제4권1호
• /
• pp.229-238
• /
• 2005

본 연구는 인공위성 영상의 전처리 시스템에 사용되기 위한 RPC 기하보정 모듈을 개발하는 것이다. 이를 위하여, Terrain-Independent Ⅰ, Terrain-Independent Ⅱ 및 Terrain-Dependent의 3가지 방법이 KOMPSAT-1, SPOT PAN 영상에 적용되었다.

• 대한수학회보
• /
• 제48권3호
• /
• pp.469-474
• /
• 2011

The Kauffman bracket skein module $K_t$(M) of a 3-manifold M becomes an algebra for t = -1. We prove that this algebra has no non-trivial nilpotent elements for M being the exterior of the twist knot in 3-sphere and, therefore, it is isomorphic to the $SL_2(\mathbb{C})$-character ring of the fundamental group of M. Our proof is based on some properties of Chebyshev polynomials.

• 대한수학회보
• /
• 제57권5호
• /
• pp.1165-1176
• /
• 2020

Let M be a module over a commutative ring R. In this paper, we study Int(R, M), the module of integer-valued polynomials on M over R, and Int_M(R), the ring of integer-valued polynomials on R over M. We establish some properties of Krull dimensions of Int(R, M) and Int_M(R). We also determine when Int(R, M) and Int_M(R) are nontrivial. Among the other results, it is shown that Int(ℤ, M) is not Noetherian module over Int_M(ℤ) ∩ Int(ℤ), where M is a finitely generated ℤ-module.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2000년도 ITC-CSCC -1
• /
• pp.318-321
• /
• 2000

This paper propose the method of constructing the highly efficiency adder and multiplier systems over finite fie2, degree of uk terms, therefore we decrease k into m-1 degree using irreducible primitive polynomial. We propose two method of control signal generation for perform above decrease process. One method is the combinational logic expression and the other method is universal signal generation. The proposed method of constructing the highly adder/multiplier systems is as following. First of all, we obtain algorithms for addition and multiplication arithmetic operation based on the mathematical properties over finite fields, next we construct basic cell of A-cell and M-cell using T-gate and modP cyclic gate. Finally we construct adder module and multiplier module over finite fields after synthesize ${\alpha}$$\^$k/ generation module and control signal CSt generation module with A-cell and M-cell. Then, we propose the future research and prospects.

• Journal of Electrical Engineering and Technology
• /
• 제9권5호
• /
• pp.1471-1481
• /
• 2014

This paper presents the new power dissipation model of individual switching device in a high-level modular multilevel converter (MMC), which can be mostly used in voltage sourced converter (VSC) based high-voltage direct current (HVDC) system and flexible AC transmission system (FACTS). Also, the voltage balancing method based on sorting algorithm is newly proposed to advance the MMC functionalities by effectively adjusting switching variations of the sub-module (SM). The proposed power dissipation model does not fully calculate the average power dissipation for numerous switching devices in an arm module. Instead, it estimates the power dissipation of every switching element based on the inherent operational principle of SM in MMC. In other words, the power dissipation is computed in every single switching event by using the polynomial curve fitting model with minimum computational efforts and high accuracy, which are required to manage the large number of SMs. After estimating the value of power dissipation, the thermal condition of every switching element is considered in the case of external disturbance. Then, the arm modeling for high-level MMC and its control scheme is implemented with the electromagnetic transient simulation program. Finally, the case study for applying to the MMC based HVDC system is carried out to select the appropriate insulated-gate bipolar transistor (IGBT) module in a steady-state, as well as to estimate the proper thermal condition of every switching element in a transient state.

• 대한수학회보
• /
• 제50권6호
• /
• pp.1905-1914
• /
• 2013

Let D be an integral domain with quotient field K, M a torsion-free D-module, X an indeterminate, and $N_v=\{f{\in}D[X]|c(f)_v=D\}$. Let $q(M)=M{\otimes}_D\;K$ and $M_{w_D}$={$x{\in}q(M)|xJ{\subseteq}M$ for a nonzero finitely generated ideal J of D with $J_v$ = D}. In this paper, we show that $M_{w_D}=M[X]_{N_v}{\cap}q(M)$ and $(M[X])_{w_{D[X]}}{\cap}q(M)[X]=M_{w_D}[X]=M[X]_{N_v}{\cap}q(M)[X]$. Using these results, we prove that M is a strong Mori D-module if and only if M[X] is a strong Mori D[X]-module if and only if $M[X]_{N_v}$ is a Noetherian $D[X]_{N_v}$-module. This is a generalization of the fact that D is a strong Mori domain if and only if D[X] is a strong Mori domain if and only if $D[X]_{N_v}$ is a Noetherian domain.

• 전자공학회논문지
• /
• 제53권2호
• /
• pp.70-75
• /
• 2016

본 논문에서는 다항식에 기초하여 유한체상의 P=2인 경우의 효율적인 곱셈기를 구성하는 방법을 제안하였다. 제안한 곱셈기 회로는 다항식의 연산부와 mod F(${\alpha}$) 연산부, 모듈러 연산부로 구성된다. 또한, 이들 각 연산부는 모듈 구조를 가지므로 m의 확장에 따른 회로 구성이 용이하며 회로 구성에 사용한 소자는 AND 게이트와 XOR 게이트만으로 구성하여 정규성, 확장성이 용이하며 이를 기반으로 VLSI화에 적합하다. 제안한 곱셈기는 기존의 곱셈기에 비해 좀 더 콤펙트, 규칙적, 정규성과 확장성이 용이하며 최근의 IoT 환경에서의 여러 분야에 적용 및 응용이 가능할 것이다.

• 대한수학회논문집
• /
• 제10권3호
• /
• pp.575-581
• /
• 1995

The simple modules and the simple comodules of the quantum group $X)q(2)$ defined by M. L. Ge, N. H. Jing and Y. S. Wu, are classified.

• 디지털산업정보학회논문지
• /
• 제8권4호
• /
• pp.1-11
• /
• 2012

This paper is the study on the development of a torque precision measuring system using the curve fitting algorithm. This system can be divided into the hardware part and the software part. The hardware part consists of the main base board, the DAQ(Data Aquisition) board and Calibration parts. The software part consists of the software filter module and the curve fitting algorithm module. We have tested the torque transducer including the strain gauge for 200 Nm range and have analyzed the data acquired with the curve fitting algorithm by using this system. The DAQ board converts the electric signal induced by the transducer to the digital value precisely by using the shunt calibration procedure. The main board including the curve fitting algorithm calculates the exact digital torque value by using the digital value from the DAQ board. In this study, we confirmed that the result of the appropriate high-order power-series polynomial function is more accurate than the result of the low-order power-series polynomial through the system.