• 대한전자공학회논문지TC
• /
• 제43권7호
• /
• pp.115-121
• /
• 2006

곱셈기의 효율성은 정규 기저(normal basis), 다항식 기저(polynomial basis), 쌍대 기저(dual basis), 여분 표현(redundant representation) 등과 같은 유한체 원소의 표현 방법에 주로 의존한다. 특히 여분 표현에서의 제곱 및 모듈로 감산(modular reduction)은 단순한 방법에 의해 효율적으로 수행될 수 있기 때문에, 여분 표현은 흥미로운 유한체 표현 방법이다. 본 논문은 여분 표현을 사용한 기약인 all-one 다항식에 의해 정의된 GF(Zm)에서의 효율적인 비트-병렬 곱셈기를 제안한다. 또한 제안된 비트-병렬 곱셈기의 효율성을 향상시키기 위해, Karatsuba에 의해 제안된 잘 알려진 곱셈 방법을 변형한다. 결과로써, 제안된 곱셈기는 all-one 다항식을 사용한 기존의 알려진 곱셈기들과 비교해 적은 공간 복잡도(space complexity)를 가지는 반면에, 제안된 곱셈기의 시간 복잡도(time complexity)는 기존의 곱셈기와 유사하다.

• 대한임베디드공학회논문지
• /
• 제14권6호
• /
• pp.313-319
• /
• 2019

Finite field operations have played an important role in error correcting codes and cryptosystems. Recently, the necessity of efficient computation processing is increasing for security in cyber physics systems. Therefore, efficient implementation of finite field arithmetics is more urgently needed. These operations include addition, multiplication, division and inversion. Addition is very simple and can be implemented with XOR operation. The others are somewhat more complicated than addition. Among these operations, multiplication is the most important, since time-consuming operations, such as exponentiation, division, and computing multiplicative inverse, can be performed through iterative multiplications. In this paper, we propose a multiplexer based parallel computation algorithm that performs Montgomery multiplication over finite field using redundant basis. Then we propose an efficient multiplexer based semi-systolic multiplier over finite field using redundant basis. The proposed multiplier has less area-time (AT) complexity than related multipliers. In detail, the AT complexity of the proposed multiplier is improved by approximately 19% and 65% compared to the multipliers of Kim-Han and Choi-Lee, respectively. Therefore, our multiplier is suitable for VLSI implementation and can be easily applied as the basic building block for various applications.

• 한국컴퓨터정보학회논문지
• /
• 제25권1호
• /
• pp.13-19
• /
• 2020

본 논문에서는 유한체상의 여분 기저(redundant basis)를 사용한 모듈러 AB² 곱셈을 수행하는 멀티플렉서(multiplexer) 기반의 기법을 제안한다. 그리고 제안한 기법을 사용하여 효율적인 멀티플렉서 기반의 세미-시스톨릭(semi-systolic) AB² 곱셈기를 제안한다. 모듈러 AB² 곱셈기의 셀 내부의 연산을 멀티플렉서로 처리할 수 있는 수식을 유도한다. 멀티플렉서를 이용하여 셀을 구현하여, 셀의 지연시간을 감소시킨다. 기존의 구조들과 비교하면, 제안한 AB² 곱셈기는 Liu 등, Lee 등, Ting 등, 및 Kim-Kim의 곱셈기들의 AT 복잡도보다 약 80.9%, 61.8%, 61.8%, 및 9.5% 가량이 감소되었다. 따라서, 제안한 곱셈기는 VLSI(very large scale integration) 구현에 적합하며 다양한 응용에 쉽게 적용할 수 있다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1996년도 한국자동제어학술회의논문집(국내학술편); 포항공과대학교, 포항; 24-26 Oct. 1996
• /
• pp.237-240
• /
• 1996

Internal Force based control of dual redundant manipulator is proposed. One is resolved acceleration type control in the decoupled joint space which includes null motion space and the other is in the impedance control fashion in which the desired impedances are decoupled in three subspace, internal motion controlled space, orthogonal to that space, and the null motion controlled space. The internal force is formulated with its basis set meaningful. The object dynamics is also briefly evolved beforehand.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1990년도 한국자동제어학술회의논문집(국제학술편); KOEX, Seoul; 26-27 Oct. 1990
• /
• pp.1150-1155
• /
• 1990

This paper proposes an optimal redundancy resolution of a kinematically redundant manipulator while considering homotopy classes. The necessary condition derived by minimizing an integral cost criterion results in a second-order differential equation. Also boundary conditions as well as the necessary condition are required to uniquely specify the solution. In the case of a cyclic task, we reformulate the periodic boundary value problem as a two point boundary value problem to find an initial joint velocity as many dimensions as the degrees of redundancy for given initial configuration. Initial conditions which provide desirable solutions are obtained by using the basis of the null projection operator. Finally, we show that the method can be used as a topological lifting method of nonhomotopic extremal solutions and also show the optimal solution with considering the manipulator dynamics.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• 제19권2호
• /
• pp.171-188
• /
• 2015

In this paper, the efficient column-wise/row-wise lattice reduction (LR) updating and downdating methods are developed and their complexities are analyzed. The well-known LLL algorithm, developed by Lenstra, Lenstra, and Lov${\acute{a}}$sz, is considered as a LR method. When the column or the row is appended/deleted in the given lattice basis matrix H, the proposed updating and downdating methods modify the preconditioning matrix that is primarily computed for the LR with H and provide the initial parameters to reduce the updated lattice basis matrix efficiently. Since the modified preconditioning matrix keeps the information of the original reduced lattice bases, the redundant computational complexities can be eliminated when reducing the lattice by using the proposed methods. In addition, the rounding error analysis of the proposed methods is studied. The numerical results demonstrate that the proposed methods drastically reduce the computational load without any performance loss in terms of the condition number of the reduced lattice basis matrix.

• 정보보호학회논문지
• /
• 제18권2호
• /
• pp.3-10
• /
• 2008

유한체 $GF(2^m)$의 원소를 표현하기 위한 기저선택은 곱셈기의 효율성에 영향을 미친다. 이중에서 여분표현을 이용한 곱셈기는 모듈러 감산을 빠르게 구성할 수 있는 특징을 이용하여 시간-공간의 trade-off를 효율적으로 제공한다. 따라서 여분표현을 이용한 기존의 곱셈기는 다른 기저로 표현한 곱셈기보다 시간 복잡도 상의 효율성을 제공하나 공간 복잡도가 많이 늘어나는 단점을 가진다. 본 논문에서는 다항식 지수승 연산이 많이 사용된다는 것을 감안해 Left-to-Right 형태의 지수승 환경에 적합한 시간-공간 복잡도 상의 효율성을 가지는 새로운 비트-병렬 곱셈기를 제안한다. 제안하는 곱셈기는 $T_A+({\lceil}{\log}_2m{\rceil})T_x$ 시간 복잡도와 (2m-1)(m+s) 공간 복잡도를 요구하며 ESP(Equally Spaced Polynomial) 기약다항식 기반의 기존 여분표현 곱셈기와 비교해 공간 복잡도는 $2(ms+s^2)$ 감소하며, 시간복잡도는 $T_A+({\lceil}{\log}_2(m+s){\rceil})T_x$에서 $T_A+({\lceil}{\log}_2m{\rceil})T_x$로 감소된다. ($T_A$:2개의 입력에 1개의 출력인 AND 게이트 시간, $T_x$:2개의 입력에 1개의 출력인 XOR 게이트 시간이며 m:ESP기약 다항식 차수, s: ESP기약 다항식의 각항의 차수 간격)

• 한국실내디자인학회논문집
• /
• 제15권6호
• /
• pp.77-88
• /
• 2006

According to critics and architects, non-linear structure is not only an organic form of space, but also a form of space detached from modem style. Accordingly, non-linear structure can be accepted as an alternative to what has remained unsolved by deconstructionist. However, they are criticized for not clarifying the interdependent relationship between non-linearity of space and cognitive structure of human being. They ended up remaining the hypothesis just an intuitive and abstract one. This research began on the basis that their hypothesis is hard to be objectified, and it needs further inquiry. The purpose of this thesis is to explore how the redundant factors constitute non-linear structures of digital media centered space design. Geometric compositions of space structure were analyzed to define what types of redundant factors are contrived in the process of visual information. This study about the visual form, researching the Information Theory, and then offer a quantitative analysis that makes those more objective. Space structure and geometric composition were analyzed to define what types of redundancy are contrived in the process of visual information. In particular, I put higher theoretical emphasis on what characteristics are ensued in the process of structuring spaces than any other subjects. Followings are the conclusion of analysis. First, as a result of examining, we can assume that NOX' space structure is not a chaotic form, but has an operating the form of its own. Second, in case of curvilinear, the structure was found redundancy on mid deviation ratio and discontinuous circular fabric. Although most of their structures appeared complex with a higher coherent constant, they were found to be stable factors because of the low deviation ratio between systems. The amount of surplus information was stable structure as well.

• 정보관리학회지
• /
• 제9권2호
• /
• pp.20-42
• /
• 1992

KORMARC 형식은 협동 목록으로서의 처리 능력, 국가 서지 기술 형식으로서의 포 괄성 및 간결성 그리고 국제 교환용으로서의 호환성 및 확장성을 가져야만 한다. 따라서 기 술 규칙에 충실하고, 전산 처리에 편리하고 亢長性이 없으며, 국제 표준을 준용하고 있어야 할 것이다. 본 연구는 국립중앙도서관이 1984년에 발표한 KORMARC 단행본용 형식을 이 와 같은 관점에서 검토하고 개정한 것이다.

• 대한가정학회지
• /
• 제40권2호
• /
• pp.1-13
• /
• 2002

The purpose of this study is to analyze typologic methods in the Family Studies. For this goal, we reviewed literatures related to social research methodology, and analyzed articles in the Family Studies part on the basis of themes and typologic methods. The major resets can be summarized as follow: Typology methods used to clarify complex and subtle family phenomena and distinguish redundant interaction in everyday life. Especially, they can show family system type, communication mode style, leisure activity type, life altitude type, and personality traits type. Typology was made by the methods as follow: the insight, crossing the two single question, intersecting scale's mean or middle point, cluster analysis, and factor analysis. Typology is useful method in the Family Studies, but the accuracy standard needs in the future studies.