• 한국지능시스템학회논문지
• /
• 제12권2호
• /
• pp.135-143
• /
• 2002

본 논문에서는 전류모드 CMOS의 기본회로를 이용해 다치 논리(Multiple Valued Logic) 연산기를 설계하고자 한다. 우선, 2진(binary)FFT(Fast courier Transform)를 확장해 다치 논리회로를 이용해서 고속 다치 FFT 연산기를 구현하였다. 다치논리회로를 이용해서 구현한 FFT연산은 기존의 2치 FFT과 비교를 해 본 결과 트랜지스터의 수를 상당히 줄일 수 있으며 회로의 간단함을 알 수가 있었다. 또한, 캐리 전파 없는 가산기론 구현하기 위해서 {0, 1, 2, 3}의 불필요한(redundant) 숫자 집합을 이용한 양의 수 표현을 FFT회로에 내부적으로 이용하여 결선의 감소와 VLSI 설계시 정규성과 규clr성으로 효과적이다. FFT 승산을 위해서는 승산기의 연산시간과 면적을 다치 LUT(Look Up Table)로 이용해 승산의 역할을 하였다. 마지막으로 이진시스템(binary system)과의 호환을 위해 다치 하이브리드형 FFT 프로세서를 제시하여 2진 4치 부호기와 4치 2진 복호기 및 전류모드 CMOS회로를 사용하여 상호 호환성을 갖도록 설계를 하였다.

• 한국학교수학회논문집
• /
• 제13권3호
• /
• pp.381-395
• /
• 2010

학령 전 아이들은 형식적인 교육을 받지 않고서도 일상적인 경험이나 비형식적인 방법으로 수를 익히고, 계산을 한다. 따라서 학령 전 아이들의 수학적 능력에 대한 이해는 유치원 교육과 초등학교 저학년의 수학 학습 지도에 시사점을 줄 수 있다는 변에서 중요하다. 본 연구에서는 학령 전인 만 5세의 아이들이 사칙연산 문장제의 의미론적 측면의 문제 유형에 어느 정도의 해결 능력과 방법을 보이는가를 조사하였다. 연구 결과, 만 5세의 학령 전 아이들은 5보다 크고 10보다 작은 수로 구성된 사칙연산 문장제에 대하여 구체물을 이용한 비형식적 연산의 수행과 정신적 암산을 수행하는 방법을 통하여 문제를 해결할 수 있는 능력을 가지고 있음을 알 수 있었다. 이것은 학령 전 아이들의 수학적 경험을 위한 교육과정이나 프로그램을 체계적으로 구성하여 제시할 필요성을 제기한다.

• 한국공간정보시스템학회 논문지
• /
• 제11권1호
• /
• pp.35-42
• /
• 2009

이 논문은 공간 사진을 이용한 u-GIS 콘텐츠를 생성할 수 있도록 하는 GeoPhoto 콘텐츠 마크업 언어를 제안하고 있다. 제안된 GeoPhoto 콘텐츠 마크업 언어는 상이한 여러 플랫폼에서 개인 맞춤형 공간 사진 영상 정보를 표출 및 활용할 수 있는 콘텐츠를 지원하기 위한 GeoPhoto 콘텐츠 모델과 마크업 언어를 포함하고 있다. GeoPhoto 콘텐츠 언어는 다양한 공간 사진 콘텐츠를 제작할 수 있도록 GeoPhoto, CubicPhoto, SequenceGeoPhoto 타입을 기반으로 현재 많이 사용되고 있는 다양한 지리 정보, 위치 정보, 사진 정보등의 정보를 융합하여 표현하는 기능을 지원한다. 또한, 사진과 관련한 다양한 콘텐츠 모텔을 제공 할 수 있도록 다양한 GeoPhoto 콘텐츠 모텔과 이 콘텐츠들 사이의 연산들을 설정할 수 있도록 지원한다. 이 논문은 GeoPhoto 콘텐츠를 표현하기 위한 연산으로서 Annotation 연산과 Enlargement 연산, Overlay 연산들을 제안하고 있다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제16권12호
• /
• pp.1177-1187
• /
• 2010

플래시 메모리는 휴대성, 저전력, 대용량의 특징을 갖고 있어 휴대용 기기에서의 사용이 증가하고 있다. 그러나 하드디스크와는 달리 플래시 메모리는 읽기 연산에 비해 쓰기 연산의 비용이 상대적으로 커서, 쓰기 연산 횟수 감소에 대한 연구가 요구된다. 본 논문에서는 데이터 쓰기 연산 횟수를 감소시키기 위해, 플래시 메모리에 저장된 데이터를 다루는 응용 프로그램을 재작성하여 저장될 데이터를 적절히 재배치하기 위한 정적 분석 기법을 제안하였다. 이 기법은 프로그램을 정적 분석해서 쓰기 연산 부분을 파악하고, 이들을 분리해내어 저장되도록 프로그램을 재작성 함으로써, 수행 시간에 전체 쓰기 영역이 줄어들도록 하는 것이다. 따라서 본 논문에서는 프로그램에서 다루어지는 데이터 중 쓰기 가능한 영역을 얻어내는 분석과 가능한 작은 개수의 페이지에 쓰기 대상 부분이 모여 있도록 재배치하기 위한 분석을 고안하였다. 정적 분석 결과는 자주 수행되는 프로그램 경로에 대한 프로파일링 결과와 조합되어 보다 실제적인 분석 결과를 얻고자 하였으며, 결과적으로, FAST 시뮬레이터 상에서 데이터 처리 성능을 향상시키는 데에 기여함을 보였다.

• 정보과학회 논문지
• /
• 제41권12호
• /
• pp.1090-1098
• /
• 2014

이 연구는 단봉 전역 최적화 성능이 개선된 적응적 코시 분포 차분 진화 알고리즘을 제안한다. 기존 적응적 코시 분포 차분 진화 알고리즘은(ACDE) 개체의 다양성을 보장하여 다봉 전역 최적화 문제에 우수한 "DE/rand/1" 돌연변이 전략을 사용했다. 그러나 이 돌연변이 전략은 수렴 속도가 느려 단봉 전역 최적화 문제에 단점이 있다. 제안 알고리즘은 "DE/rand/1" 돌연변이 전략 대신 수렴 속도가 빠른 "DE/current-to-best/1" 돌연변이 전략을 사용했다. 이때, 개체의 다양성이 부족하여 발생할 수 있는 지역 최적해로의 수렴을 방지하기 위해서 매개변수 초기화 연산이 추가됐다. 매개변수 초기화 연산은 특정세대를 주기로 실행되거나 또는 선택 연산에서 모든 개체가 진화에 실패하는 경우 실행된다. 매개변수 초기화 연산은 각 개체들의 매개변수에 탐험적 특성이 높은 값을 할당하여 넓은 공간을 탐색할 수 있도록 보장한다. 성능 평가 결과, 개선된 적응적 코시 분포 차분 진화 알고리즘이 최신 차분 진화 알고리즘들에 비해 특히, 단봉 전역 최적화 문제에서 성능이 개선됨을 확인했다.

• 정보과학회 논문지
• /
• 제44권4호
• /
• pp.344-351
• /
• 2017

속성 기반 서명은 속성을 가지는 서명키를 사용하여 속성 술어를 기반으로 하는 서명을 생성하는 암호 방식이다. 속성 기반 서명에서 서명을 생성하는 동안 서명키가 유출된다면, 해당 서명키에 대한 서명이 위조될 수 있는 문제가 발생한다. 따라서 서명 생성은 보안이 보장되는 하드웨어에서 수행되어야 한다. 이러한 하드웨어를 보안 하드웨어라고 명명한다. 그러나 보안 하드웨어는 연산속도가 느리기 때문에 속성 기반 서명과 같은 많은 연산을 빠른 시간 안에 수행하기에는 적합하지 않다. 이 논문은 속성 기반 서명의 연산을 분리하여 성능이 좋은 일반 하드웨어와 보안 하드웨어로 이루어지는 시스템에서 효율적으로 사용가능한 속성 기반 서명 기법을 제안한다. 제안하는 기법은 기존에 존재하는 임의의 속성 기반 서명과 일반 전자서명으로 설계가 가능하며, 속성 기반 서명이 안전하지 않은 환경에서 수행되더라도 일반 전자서명을 보안 하드웨어에서 수행함으로써 안전성을 보장한다. 제안된 논문은 기존의 속성 기반 서명을 보안 하드웨어에서 생성하는 것에 비해서 11배의 성능향상을 보인다.

• 한국정보통신학회논문지
• /
• 제17권9호
• /
• pp.2041-2047
• /
• 2013

본 논문에서는 DVB-S2 기반 고속 LDPC 복호를 위한 알고리즘을 제안하였다. 체크 노드 연산중에 비트 노드 연산을 수행하여 기존의 LDPC 복호 알고리즘에 비해 반복횟수를 줄일 수 있는 horizontal shuffle scheduling 알고리즘을 기반으로 하여 복호 속도를 보다 고속화 할 수 있는 알고리즘을 제안하였다. 기존의 체크 노드 연산은 하나의 메모리에서 값을 가져오기 때문에 체크 노드 연산과정에서 많은 지연이 발생 하는데 이를 row weight의 개수인 dc개의 병렬구조로 설계함으로써 체크 노드 연산과정의 지연을 줄일 수 있고 따라서 고속 복호가 가능하다. 이를 DVB-S2에 제시되고 있는 다양한 부호화율에서 dc개의 분리 할 수 있는 최대의 메모리를 제시하고 전송률을 제시하였다.

• 한국초등수학교육학회지
• /
• 제18권2호
• /
• pp.237-255
• /
• 2014

본 연구의 목적은 초등학생들의 소수 개념에 대한 이해 정도와 소수 연산에 대한 수행 능력을 분석하여 소수 지도에 대한 교수학적 시사점을 얻고자 함이다. 이를 위해 조사연구를 실시하였고, 156명의 6학년 학생들을 대상으로 하였다. 결과 분석은 각 문항별 정답률과 오류가 많이 발생하는 요소를 살펴보았다. 검사 결과, 초등학생들의 소수 개념과 그 연산에서 85.64%의 정답률을 나타냈고, 소수 개념(89.23%), 덧셈(89.84%), 뺄셈(89.56%) 영역보다 소수의 곱셈(80.73%)과 나눗셈(78.85%) 영역에서 낮은 이해도를 보였다. 소수 개념과 그 연산에 대한 학습이 진행될수록 학습 격차가 더 커진다는 것을 알 수 있었기에 낮은 학년에서부터 점진적으로 학습결손을 줄여주려는 노력이 필요하다. 이에 학습 결손을 해소하기 위한 프로그램이 필요하며, 소수의 교수 학습도 개념과 원리를 중시하는 방향으로 바뀌어야 할 것이다.

• 한국멀티미디어학회논문지
• /
• 제8권1호
• /
• pp.79-87
• /
• 2005

공개키 연산기는 전자상거래 환경에서 사용자 인증, 서명 및 키 분배 등에 있어서 매우 중요한 기반요소이다. 유선망 환경에서는 공인 인증서를 이용한 전자상거래가 이미 활성화되었으나, 무선망 환경에서는 무선 단말기의 제약으로 인하여 아직까지 보편화되지 못하고 있는 실정이다. 본 논문에서는 소프트웨어 프로파일링 기법을 적용하여 공개키 연산기 내부 연산별 부담(Overhead)을 측정하고, 이 정보를 기반으로 통합 설계에 적용할 수 있는 방안을 제시한다. 또한, 통합 시스템의 성능 예측 방안 및 하드웨어와 소프트웨어간의 통신부담을 줄일 수 있는 방안에 대해서 제시하며, 예제 모델로서 EC-Elgamal 알고리즘의 연산과정을 정량적으로 측정하고 분석하였다.

• 한국정보과학회논문지:데이타베이스
• /
• 제35권3호
• /
• pp.218-230
• /
• 2008

시간지원 데이타베이스 시스템에서의 시간 집계 연산은 일반적인 집계 연산의 확장으로써, 집계의 범위 조건에 '시간'을 포함한다. 시간 집계 연산은 이력 데이타 웨어하우스, 전화 기록 관리(CDR) 등에 유용하다. 본 논문에서는 질의 조건에 여러 개의 선택 프레디키트들을 포함하는 시간 집계 연산을 효율적으로 처리하기 위한 자료 구조인 ITA-tree를 제안하고, 이를 이용한 시간 집계 처리 기법을 제안한다. ITA-tree에서는 레코드의 시간 구간을 T-value라는 하나의 값으로 변환한 후, $B^+$-tree와 비슷하게 이 값을 이용하여 색인을 생성한다. 또한, 많은 레코드가 동일한 T-value 값을 가지게 되는 핫-스팟 문제를 위해 개선된 ITA-tree인 eITA-tree를 제안한다. 본 논문에서는 제안된 기법들의 성능을 분석과 실험을 통해 비교한다.