• Communications of Mathematical Education
• /
• v.13 no.1
• /
• pp.19-38
• /
• 2002

알고리즘이란 ‘유한한 단계를 거쳐 일련의 문제를 해결하기 위한 명확하고 체계적인 방법’ 으로써 수량에 관련된 문제를 보다 신속 ${\cdot}$ 정확하게 처리하기 위하여 역사적으로 다양한 알고리즘이 존재 ${\cdot}$ 변천해 왔다. 계산기가 발명되기 전까지는 지필 알고리즘이 매우 강조되어 왔으나 계산기가 상용화되면서 지필알고리즘에 대한 효용성과 활용도가 점차 줄어들고 있으나 지필 알고리즘은 수학학습의 기초 ${\cdot}$ 기본인 동시에 뼈대로써 그 가치와 역할은 여전히 중요하다. 그러나 표준화된 지필 알고리즘에 대한 지나친 강조로 인해 학생들은 대수적 구조나 계산 원리를 바르게 이해하지 못한 채 반복 연습을 통해 익힌 표준 알고리즘을 기계적으로 적용하여 답을 구하는 경우가 많으며, 이로 인해 학생들은 수학학습에 대한 불안감과 기피현상이 보이고 있다. 또 인간의 창조적 사고활동의 최종적인 산물인 표준 알고리즘은 대안적인 알고리즘에 비해 효율성에서 앞서지만 학생들의 사고 수준에서는 그 원리를 이해하기 힘든 경우가 있을 것이다. 따라서 수학교육의 목적 중의 하나인 문제 해결력을 기르기 위해, 그리고 표준 알고리즘의 가치와 효율성을 인식시키고, 수학학습에 대한 불안감을 줄이기 위해 표준 알고리즘뿐만 아니라 대안적인 알고리즘을 병행하여 지도할 필요가 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04a
• /
• pp.31-33
• /
• 2004

TSP(Traveling Salesman Problem)는 주어진 N개의 City들을 단 한번씩만 거쳐 출발지로 되돌아오는 경로들 중 가장 작은 비용이 소요되는 경로를 찾는 문제이며, 고전적인 최적화 문제로 널리 알려져 있다. City의 수가 증가하면 최적 Tour를 찾기 위한 연산 시간이 길어지는 단점이 있다. 본 논문에서는 대규모 TSP의 효율적 해결을 위해 새로운 알고리즘을 제안한다. 본 논문에서는 대규모의 City들의 집합을 두개의 소집합으로 분할하고, 병합을 위해 하나의 Junction City를 지정한다. 분할된 두개의 소집합 각각의 최적 Tour를 구한 후 분할된 두 최적 Tour를 병합하여 하나의 근사 Tour를 구한다. 지정된 Junction City는 병합 시 최적 병합조건을 구하는 연산의 간편화를 기대할 수 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10c
• /
• pp.481-483
• /
• 2004

다양한 동영상 압축표준에서 압축효율을 높이기 위해 1/2 화소를 이용한다. 1/2 화소는 프레임 간 참조시 압축 효율을 높이기 위한 프레임 내 화소를 연산하여 생성되는 가상의 값이며 이 연산식은 표준에 따라 다르다. MPEG-2에서 H.264로의 포맷 변환시 이 1/2 화소값의 차이로 인해 MPEG-2의 모션벡터와 움직임 보상된 값을 그대로 사용할 수 없게 된다. 본 논문에서는 MPEG-2의 모션벡터를 그대로 사용하고 DCT(Discrete Cosine Transform) 도메인에서 두 표준의 화소값의 차이를 보정하는 기법을 제안한다. 제안된 기법은 픽셀 도메인의 창조 블록을 이용하여 보정 할 위치를 찾고 두 표준의 1/2 화소 계산식의 차이를 이용하여 보정 할 값을 구하게 된다. 구해진 보정 값을 DCT하여 DCT 도메인의 현재 블록에 더하여 보정하게 된다. 이 기법은 모든 블록의 값을 완벽하게 보정할 수는 없지만 두 표준 간 차이값이 큰 1/2 화소를 보정할 수 있으며 IDCT라 DCT로 인한 화질 열화도 감소된다 또한, DCT 상태에서 보정을 수행하므로 픽셀 도메인에서 보다 약 7%의 계산복잡도도 낮출 수 있다.

• Annual Conference of KIPS
• /
• 2016.04a
• /
• pp.270-273
• /
• 2016

암호데이터 중복제거 기술이란 클라우드 서버에 전송된 데이터를 기존의 클라우드 서버에 저장된 데이터와 비교하여 데이터의 중복된 저장을 방지하는 기술이다. 이러한 데이터 중복제거 기술은 다양한 보안 위협이 발생하는데, 이 중 소유권 위조 공격은 원본 데이터를 소유하지 않은 공격자가 데이터의 소유권을 획득하여 클라우드 스토리지에 저장된 데이터를 취득할 수 있는 위협이다. 이러한 위협을 해결하기 위해 암호화 기술을 적용한 여러 기술들이 제안되어왔지만 과도하게 많은 통신 횟수와 연산량으로 인해 효율성이 떨어지는 문제가 존재한다. 따라서 본 논문에서는 클라우드 스토리지에 저장되는 데이터의 기밀성과 무결성을 보장하며, 연산량과 통신량 측면에서 효율적인 암호데이터 중복제거 기술을 제안한다.

• Annual Conference of KIPS
• /
• 2014.11a
• /
• pp.763-766
• /
• 2014

플래시 메모리는 입출력 속도가 빠르고 에너지 효율성이 좋지만, out-place update만 가능하며 쓰기 연산을 위한 IO의 지연시간이 읽기 연산보다 현저히 길다는 단점을 가진다. 이를 보완하기 위해 고안된 FlashSSD(Solid State Drive)는 최근 하드 디스크를 대체하는 저장장치로 주목받고 있다. DBMS(Database Management System)의 성능 개선을 위하여 FlashSSD를 활용한 다양한 연구가 진행되었다. 그중 FD-tree를 사용한 인덱스는 좋은 갱신 성능을 보임과 동시에 검색 성능을 보인다. 하지만 FD-tree의 구성 요소 중 하나인 레벨이 하나의 자료구조로만 이루어져 있어 인덱스로서의 비효율성을 가지고 있기 때문에 이를 인덱스의 접근 빈도를 이용하여 개선하고 검색 성능을 높이고자 한다.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.10 no.9
• /
• pp.2384-2389
• /
• 2009

In this paper, we propose a lightweight mutual authentication protocol for secure and efficient home network service. Lee et al. recently proposed an attribute-base authentication key agreement protocol using public key in home network. Its protocol provided forward secrecy but don't diminish conspicious overhead of operation using ticket. Therefore the proposed protocol provided the security and efficiency using hash function and counter. Also it can provide secure home network service by check consumer electronics control level of users after created session key.

• Annual Conference of KIPS
• /
• 2019.05a
• /
• pp.479-481
• /
• 2019

본 연구에서는 이미지를 분류하는 인공 신경망 가속기를 최적화했고, 이를 구현하여 기존 인공 신경망 가속기와 성능을 비교 분석했다. FPGA(Field Programmable Fate Array) 보드를 이용하여 가속기를 구현했으며, 해당 보드의 내부 메모리인 BRAM 을 FIFO(First In First Out)구조로 설계하여 메모리 시스템을 구현했다. Approximate computing 기법을 효율적으로 적용하기 위해 FWL(Fractional Word Length)최적점을 분석했고, 이를 기반으로 인공 신경망 가속기의 부동 소수점 연산을 고정 소수점 연산으로 변환했다. 구현된 인공 신경망 가속기는 기존의 인공 신경망에 비해, 약 7.4%더 효율적인 전력소모량을 보였다.

• Annual Conference of KIPS
• /
• 2015.10a
• /
• pp.751-753
• /
• 2015

최근 사물인터넷 기술의 발전으로 다양한 프로세서 기반의 사물인터넷 디바이스들이 등장하고 있다. 이러한 사물인터넷 디바이스의 특징은 저 전력과 매끄러운 서비스 제공이라고 할 수 있다. 다양한 프로세서 중 4비트 마이크로프로세서는 인터넷 뱅킹용 토큰, 자동차 키 등 여러 산업분야에서 사용되고 있으며, 가장 낮은 소비전력을 가진다는 특징을 가지고 있다. 본 논문에서는 4비트 프로세서 상에서의 ARX연산 기반 블록암호의 효율적인 구현에 대해 연구하였다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.28 no.9C
• /
• pp.851-859
• /
• 2003

최근 사용자들의 멀티채널 선호도는 급속도로 전파되고 있다. MPEG은 동영상 및 음향시스템의 데이터 압축기술을 제공하는데, 현재 각광을 받고있는 것이 디지털 오디오이다. MPEG 표준안은 MPEG-1오디오 알고리즘을 MPEG-2 알고리즘에 동일하게 사용해도 멀티채널 및 5.1채널 사운드륵 제공한다. MDCT(Modified Discrete Cosine Transform)는 TDAC(Time Domain Aliasing Cancellation)에 기반을 두고있는 변형이산 여현 변환을 나타낸 것이다. 본 논문에서는 오디오 부분의 핵심이라 할 수 있는 MDCT/IMDCT(Inverse MDCT) 알고리즘을 최적화하여 효율적인 알고리즘을 제안하였다. 그리고 연산과정에서 중복되는 영역을 묶음으로써 연산에 필요한 계수를 줄였다. 최적화 전에 비해 코사인 계수를 0.5%이하로 최적화하였고, 승산에서 0.098%, 가산에서 0.58% 효율을 보였다. 알고리즘 검증은 C언어를 사용하여 검증하였고, 최적화된 알고리즘을 적용하여 마이크로 프로그램 방식의 하드웨어 구조론 설계하였다.

• Proceedings of the Korea Contents Association Conference
• /
• 2019.05a
• /
• pp.269-270
• /
• 2019

무장 비행 궤적 간 간섭을 식별하여 아군 무장간 충돌을 방지함으로써 단위 시간 당 교전 효과를 극대화하는 것은 다무장 대지 무기체계 운용에 있어서 필수적이다. 기존 연구에서는 연산 부하의 최소화를 목표로 3차원 무장 비행 궤적을 2차원 평면의 사격선으로 변환하여 간섭을 식별하는 알고리즘을 제안하였다. 그러나 기존 연구는 2차원 평면에서 사격선간 교차점이 발생할 경우 간섭으로 식별하고, 이에 대한 무장 할당을 해제함으로써 무장 활용도를 감소시키는 문제가 있었다. 이를 고려하여 본 논문에서는 교전 효과 최대화를 위한 효율적인 무장 궤적 간 간섭 식별 알고리즘을 제안한다. 제안하는 알고리즘은 2차원 평면에서 사격선간 교차점이 발생할 경우, 해당 사격선을 3차원 평면에서 비행 궤적 간 비교 연산을 수행하여 실제 간섭 여부를 식별함으로써 무장 활용도를 최대화하는 것이 가능하다. 성능 평가 결과, 제안하는 기법은 기존 기법에 비해 궤적 교차수는 최대 52.1% 감소하였으며, 그에 따른 표적 할당율은 최대 6.9% 향상됨을 보임으로써 그 우수성을 확인하였다.