• Journal for History of Mathematics
• /
• v.18 no.3
• /
• pp.67-78
• /
• 2005

In this paper we deals with Leibniz's definition of infinite and infinitely small quantities, infinite quantities and theory of quantified indivisibles in comparison with Galileo's concept of indivisibles. Leibniz developed 'method of indivisible' in order to introduce the integrability of continuous functions. also we deals with this demonstration, with Leibniz's rules of arithmetic of infinitely small and infinite quantities.

• 한국정보교육학회:학술대회논문집
• /
• 2008.01a
• /
• pp.236-241
• /
• 2008

수학과 수 연산 영역의 학습 부진 현상은 논리적 위계성이 뚜렷한 수학과의 특성상 이전 학년에서 발생된 학습 결손이나 이해의 부족이 다음 학년에서의 학습 방해나 장애로 이어지며, 이러한 과정의 반복은 학습 부진을 증대시켜 학습 불능에까지 이르게 되는 등 심각한 문제가 되고 있다. 수 연산 능력은 수학 학습의 가장 기초 기능일 뿐 아니라 우리 주변의 생활 속에서 문제 해결력을 키우고 다시 생활 속에 자연스럽게 활용할 수 있는 수학적인 힘을 기르는데 반드시 갖추어야 할 기본 능력이다. 이를 위해 본 연구에서는 수학과 학습부진아의 특성 및 지도에 관한 문헌을 검토 분석하고, 수학과 기초학력을 진단 및 부진 요인을 탐색하여 단계형 수준별 개별화 학습 프로그램을 설계하였으며, 이를 효과적으로 적용할 수 있는 방법을 탐색하였다. 그리고 학업성취도 및 수학 학습 태도에 대한 프로그램의 효과를 검증하였다.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.9 no.1
• /
• pp.135-146
• /
• 1999

Most public key cryptosystems are constructed based on a modular exponentiation, which is further decomposed into a series of modular multiplications. We design a new systolic array multiplier to speed up modular multiplication using Montgomery algorithm. This multiplier with simple circuit for each processing element will save about 14% logic gates of hardware and 20% execution time compared with previous one.

• Journal of the Korean Institute of Telematics and Electronics C
• /
• v.36C no.10
• /
• pp.56-65
• /
• 1999

This paper presents an architecture and its instruction set for a graphic coprocessor(GCP) which can be used for a multimedia server. The proposed instruction set employs parallel architecture concepts, such as SIMD and Superscalar. GCP consists of a scheduler and four functional units. The scheduler solves an instruction bottleneck problem causing by sharing with four general processors(GPs). GCP can execute up to 4 instructions in parallel. It consists of about 56,000 gates and operates at 30 MHz clock frequency due to speed limitation of SOG technology. GCP meets the real-time DCT algorithm requirement of the CIF image format and can process up to 63 frames/sec for the DCT Algorithm and 21 frames/sec for the Full Block matching Algorithm of the CIF image format.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.41 no.12
• /
• pp.75-81
• /
• 2004

AE-CORDIC improves the CORDIC operation speed with a rotation direction pre-computation algorithm. Its CORDIC iteration stages consist of non-predictable rotation direction states and predictable rotation stages. The non-predictable stages are replaced with lookup-table which has smaller hardware size than CORDIC iteration stages. The predictable stages can determine rotation direction with the input angle and simple encoder. In this paper, a rotation direction pre-computation algorithm with input angle encoder is proposed. and AE-CORDIC which have optimized Lookup-table is compared with the P-CORDIC algorithm. Hardware size, delay, and SQNR of the AE-CORDIC are verified with Samsung 0.18㎛ technology and Synopsys design compiler when input angle bit length is 16.

• Journal of the Institute of Electronics Engineers of Korea SP
• /
• v.46 no.4
• /
• pp.157-164
• /
• 2009

An efficient pipeline MDC Radix-4 FFT structure is proposed in this paper. Every stages in pipeline FFT structure consists of delay' commutator and butterfly. Proposed butterflies in front and rear stages utilize CORDIC and Common Sub-expression Sharing(CSS) techniques, respectively. It is shown that proposed butterfly structure can reduce the number of adders through sharing common patterns of CSD type coefficients. The Verilog-HDL modeling and Synopsys logic synthesis results that the proposed structure show 48.2% cell area reduction in the complex multiplication part and 22.1% cell area reduction in overall 256-point FFT structure comparison with those of the conventional structures. Consequently, the proposed FFT structure can be efficiently used in various OFDM systems.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• v.9 no.2
• /
• pp.631-634
• /
• 2005

Traditional database systems have been used models supported for the operations and relationships based on simple interval. video data models are required in order to provide supporting temporal paradigm, various object operations and temporal operations, efficient retrieval and browsing in video model. As video model is based on object-oriented paradigm, I present entire model structure for video data through the design of metadata which is used of logical schema of video, attribute and operation of object, and inheritance and annotation. by using temporal paradigm through the definition of time point and time interval in object-oriented based model, we can use video information more efficiently by time variation.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2004.05b
• /
• pp.439-442
• /
• 2004

Traditional database systems have been used models supported for the operations and relationships based on simple interval. video data models are required in order to provide supporting temporal paradigm, various object operations and temporal operations, efficient retrieval and browsing in video model. As video model is based on object-oriented paradigm, 1 present entire model structure for video data through the design of metadata which is used of logical schema of video, attribute and operation of object, and inheritance and annotation. by using temporal paradigm through the definition of time point and time interval in object-oriented based model, we tan use video information more efficiently by me variation.

• Proceedings of the KSRS Conference
• /
• 2007.03a
• /
• pp.109-112
• /
• 2007

본 논문에서는 대축척 수치지도와 Quickbird 위성영상의 자동 보정을 영상공간에서 수행한다. 알고리즘은 보정변환식의 초기 계수값 결정과 정확한 변환계수 결정과정으로 나뉜다. 초기 계수값 결정은 보정변환식의 상수항을 결정하는 것으로 수치지형도의 지면개체와 영상에서 추출된 에지의 논리곱 연산을 적용하여 최적값을 추정하는 방식을 용한다. 보정 다항식의 정확한 변환계수를 결정하기 위하여 수치지형도의 지면 선형개체 점데이터와 영상의 에지개체 점데이터간 ICP 조정을 수행하였다. 제안된 방법의 정확도를 평가한 결과， 영상공간에서 1.72화소의 RMSE를 나타내었다.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.26 no.10
• /
• pp.1591-1597
• /
• 1989

Through the matematical alaysis of EX-NOR logic relation between the input vector and the memory matrix, we propose a new method for optical implementation of the bipolar Hopfield neural network model based on the optical vector-matrix multiplier.