• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2001.11a
• /
• pp.293-296
• /
• 2001

본 논문은 GF(2$^{m}$ )상에서 파워썸 연산을 수행하는데 필요한 새로운 알고리즘과 그에 따른 병렬 입/출력 구조를 제안한다. 새로운 알고리즘은 최상위 비트 우선 구조를 기반으로 하고, 제안된 구조는 기존의 구조에 비해 낮은 하드웨어 복잡도와 적은 지연을 가진다. 이는 역원과 나눗셈 연산을 위한 기본 구조로 사용될 수 있으며 암호 프로세서 칩 디자인의 기본 구조로 이용될 수 있고, 또한 단순성, 규칙성과 병렬성으로 인해 VLSI 구현에 적합하다.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2003.07a
• /
• pp.83-88
• /
• 2003

부채널 공격(side channel attack)을 막는 새로운 접근방법으로 생각되는 랜덤 부호화 스칼라 곱 알고리즘은 Ha와 Moon에 의해서 제안되었다. 그러나 이 방법은 여전히 논쟁의 여지가 있다. 본 논문에서는 Ha-Moon 알고리즘이 기존의 세 가지 단순 전력 소모량 분석(simple power analysis, SPA)에 안전함을 보인다. 그리고 정수론의 성질을 이용하여 두 가지 중요한 정리를 제시하고 이 정리들을 이용하여 Ha-Moon 알고리즘에 적용할 수 있는 공격 알고리즘을 개발한다. 예를 들면, 163-비트 키들에 대하여 제안 알고리즘은 20개의 전력 소모량을 이용하여 키 복잡도 Ο(2$^{8}$ )를 가지고 공격할 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04b
• /
• pp.190-192
• /
• 2000

MMDBMS(Main Memory Database Management System)에서 사용되는 갱신기법중 퍼지 검사점을 지원하는 직접갱신 기법은 많은 양의 로그를 필요로 하며 회복 과정이 복잡하다는 단점이 있다. 본 논문에서는 퍼지 검사점을 지원하면서 저장해야 할 로그의 양을 줄이고 회복 과정이 단순한 회복 기법을 제안한다. 제안하는 회복 기법은 로그의 양을 줄이고 위해 철회된 트랜잭션의 로그를 비휘발성 메모리에 저장하지 않는 시스템 구조와 많은 양의 메모리를 사용하지 않는 POLUG(Page Oritented Logical Undo loG)를 사용하여 퍼지 검사점을 지원할 수 있는 장점을 가진다.

• Journal of KSNVE
• /
• v.21 no.5
• /
• pp.38-42
• /
• 2011

이번 강좌의 4번째는 자기변형 현상을 기술하는 구성방정식(constitutive equation)을 다루고자 한다. 최근의 다양한 연구 성과들은 이번 연재에서 다루는 1차 근사화된 구성방정식에서 다룰 수 없거나 다루지 않는 많은 물리적 현상을 포함한 결과를 보여주고 있으나 시작은 늘 가장 이해하기 쉽고 단순한 것에 출발하는 것이 좋다고 생각하였다. 그리고 이번 연재부터는 복잡하진 않지만 다소간의 수학식이 등장하게 된다는 점을 미리 언급해둔다.

• Proceedings of the KSLP Conference
• /
• 2003.11a
• /
• pp.159-161
• /
• 2003

일상생활 중에 많은 사람들이 과도한 음성을 사용하게 되어 자신도 모르는 사이에 발성기관의 이상이 생기는 경우를 본다. 이러한 병적인 음성을 분석하기 위해서는 정상적인 음성의 특징을 먼저 객관적으로 분석하고 이들의 기준치를 잡은 다음 병적인 음성의 특징이 그 기준에서 얼마나 벗어났는지를 밝히는 과정이 필요하다. 사람의 음성을 지문과 같이 나타내는 음성분석 소프트웨어가 다양하게 개발되어 왔다. 시중에는 너무 간단하여 사용하기는 편하나 학술 논문을 작성할 때 사용할 만큼 정확한 데이터를 제공하지 못하는 프로그램이 있고, 반면에 매우 복잡한 기능들이 들어가 있어서 단순한 분석을 위해 그 모든 기능들을 익혀야 하는 불편한 프로그램도 나와 있다. 특히, 비싼 하드웨어를 동반한 소프트웨어들은 가격에 비해 사용자의 편의를 고려하지 않는 프로그램들도 있다. (중략)

• Proceedings of the Korean Society of Fisheries Technology Conference
• /
• 2002.10a
• /
• pp.287-288
• /
• 2002

한국과 중국 대륙사이에 위치하는 황해(Yellow Sea)는 형태적으로 폐쇄된 모양을 나타내고 있어서 여기에 서식하고 있는 어류상도 단순할 것 같이 생각되지만, 실제로는 중국과 한반도의 대형 하천에서 다량의 담수가 유입됨으로 인하여 계절적으로 염도의 변화가 심하게 일어나고, Kuroshio 난류의 영향과 여름철 황해 저층수의 형성으로 인한 영향 등으로 복잡한 해수환경의 생태적 특성을 가지고 있어, 실제로는 다양한 어류상을 구성하고 있다. (중략)

• Proceedings of the Korean Society for Agricultural Machinery Conference
• /
• 2002.07a
• /
• pp.413-418
• /
• 2002

단순한 반복작업에서 부터 복잡한 의사결정과정과 경험적 지식을 필요로 하는 고도화된 산업분야에 이르기까지, 오늘날 정보화의 물결이 닿지 않는 곳이란 거의 찾기 어렵다. 트랙터와 같은 자주형 농기계의 자율주행 기술은 농업분야에서 이루어 지고있는 산업 정보화의 또 다른 일면이며 생산성과 포장작업 능률을 혁신적으로 향상시킬 수 있는 미래의 기술로 평가되고 있다. (중략)

• Proceedings of the Korea Society for Energy Engineering kosee Conference
• /
• 2003.05a
• /
• pp.601-604
• /
• 2003

본 연구의 목표는 현재 복수기의 운전상황을 반영한 열유동 해석을 수행하여 저압터빈후드 온도의 좌우 편차가 발생하는 원인을 분석하는 것이다. 그러나 실제 복수기가 기하학적 형상이 복잡하고, 운전조건의 명확한 설정이 어려우며, 또한 수치해석에도 포함되는 오차 등을 고려하면, 단순히 현재의 운전조건 만을 반영한 해석에 의하여서는 원인의 규명이 어렵게 된다.(중략)

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.76-78
• /
• 2002

내장형 시스템의 개발에 있어서 자원의 효율적인 활용과 정확한 설계를 위해 SystemC를 이용한 통합설계 방식이 많이 사용되고 있다. 하지만 시스템이 점점 복잡해 지면서 단순한 언어차원에서의 개발 뿐 아니라 개발 이전에 시스템의 정확성을 검증해야 할 필요성이 대두되었다. 이를 위해 정형기법 및 테스팅과 같은 방법을 사용하게 되었다. 본 논문에서는 SystemC로부터 정형기법 도구인 VIS의 입력 언어인 BLIF-MV로 자동 변환하는 알고리즘을 제시하고, SystemC 코드로부터의 자동 검증 방법을 제안하고자 한다.

• Proceedings of the KAIS Fall Conference
• /
• 2011.05a
• /
• pp.339-342
• /
• 2011

본 논문은 기존의 복잡한 구조의 전통적인 엘리베이터 도어의 문제점을 개선한 리니어유도모터(LIM)를 적용한 단순 메커니즘 구조와 직접 구동의 신개념의 엘리베이터 도어시스템의 개발에 관한 것으로 최적의 도어 구조와 리니어모터의 설계, 벡터제어에 의한 고성능 구동제어기 및 최적 운전 패턴을 제안하였다. 또한 본 논문에서는 제안된 리니어도어시스템의 설계와 제작과정에 대해서 자세히 서슬하며 실제 제작되어 분석과 시험에 의해 성능을 검증하고자 한다.