• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.10 no.1
• /
• pp.77-87
• /
• 2000

타원곡선 이산대수 문제에 기초한 공개키 암호시스템에서 타원곡선 멱승은 반드시 필요한 연산이며 연산들 중에서 가장 복잡도가 크다. 따라서 효율적인 암호시스템 구현을 위해서는 타원곡선 멱승연산을 효율적으로 구현하는 것이 중요하다. 본 논문에서는 복합 좌표계(mixed coordinate system)를 이용한 멱승 방법을 GF(pm)상에서 정의되는 타원 곡선을 적용하여 최적의 효율성을 갖는 타원곡선 멱승 구현법을 제안한다. 또한 ‘곱셈을 이용한 역원 연산 알고리즘(IM; Inversion with Multiplication)’을 이용하여 더욱 효율적인 구현이 가능함을 보인다.

• Journal of Sensor Science and Technology
• /
• v.6 no.2
• /
• pp.145-154
• /
• 1997

Based on a new search strategy using circuit simulation and simulated annealing with local search, a technique for design automation of high-performance operational amplifiers is proposed. For arbitrary circuit topology and performance specifications, through discrete optimization of a cost function with discrete design variables the design of operational amplifiers is performed. A special-purpose circuit simulator and some heuristics are used to reduce the design time. Through the design of a low-power high-speed fully differential CMOS operational amplifier usable in smart sensors and 10-b 25-MS/s pipelined A/D converters, it has been demonstrated that a design tool developed using the proposed technique can be used for designing high-performance operational amplifiers with less design knowledge and less design effort.

• Journal of the Institute of Electronics Engineers of Korea SP
• /
• v.37 no.1
• /
• pp.27-36
• /
• 2000

As a potential approach for non-destructive testing of concrete structures, we evaluate the time-of-flight (TOF) ultrasound tomography technique In conventional X ray tomography, the reconstructed Image corresponds to the internal attenuation coefficient However, in TOF ultrasound tomography, the reconstructed Image is proportional to the retractive index of the medium Because refractive effects are minimal for X-rays, conventional reconstruction techniques are applied to reconstruct the Image in X-ray tomography However, since ultrasound travels in curved path, due to the spatial variations in the refractive index of the medium, the path must be known to correctly reconstruct the Image. Algorithm for determining the ultrasound path is developed from a Geometrical Optics point view and the image reconstruction algorithm, since the paths are curved It requires the algebraic approach, namely the ART or the SIRT Here, the difference between the computed and the measured TOP data is used as a basis, for the iteration process First the initial image is reconstructed assuming straight paths. It then updates the path based on the recently reconstructed image This process of reconstruction and path determination repeats until convergence The proposed algorithm is evaluated by computer simulations, and in addition is applied to a real concrete structure.

• Korean Journal of Logic
• /
• v.22 no.3
• /
• pp.417-446
• /
• 2019

The operation theory of the Wittgenstein's Tractatus Logico-Philosophicus is the essential basis of the philosophy of mathematics of the Tractatus. Wittgenstein presents the definition of cardinal numbers on the basis of operation theory, and suggests the proof of "$2{\times}2=4$" by using the theory of operations in 6.241. Therefore, in order to explicate correctly the philosophy of mathematics, it is required to understand rigorously the theory of operations in the Tractatus. Accordingly in this paper, I will endeavor to explicate operation theory of the Tractatus as a preliminary study for explicating the philosophy of mathematics of the Tractatus. In this process, we can ascertain Frascolla's important contributions and fallacies in his reconstruction of 6.241. In particular, we can understand the background that in 6.241 Wittgenstein made mistakes and that there he dealt with the addition operation of the theory of operations, and on the basis of this, we can reconstruct correctly 6.241.

• Review of KIISC
• /
• v.11 no.1
• /
• pp.37-46
• /
• 2001

유한체위에서의 정의된 타원곡선의 이산대수 문제의 어려움에 기초한 타원곡선 암호시스템은 다양한 타원곡선을 사용할 수 있기 때문에 다양한 암호시스템을 구성할 수 있다. 특히 비트 당 안전도가 가장 높은 타원곡선 암호시스템은 차세대 공개키 암호시스템으로 주목을 받고 있다. 짧은 키의 사용으로 스카트 카드나 모발(Mibile) 시스템 등과 같은 제약적인 환경의 인증 및 암호화에 사용 가능하다. 본 논문에서는 고성능의 타원곡선 암호시스템을 구성하고 연산기를 VHDL 언어를 이용하여 구현하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10a
• /
• pp.133-135
• /
• 1998

분산 공유메모리 시스템(DSM)의 성능 향상을 위해 일관성 모델의 측면에서 많은여구가 진행되었다. 분산 공유메모리 시스템의 성능을 저하시키는 가장 큰 요인은 거짓 공유 문제와 별도의 통신비용 문제를 들 수 있는데 , 동기화 연산에 의한 일관성 유지 방법, 흠-기반 접근방법 등의 보다 완화된 메모리 모델로서, 이러한 문제점을 해결하려는 연구가 진행되어 왔고, 어느 정도 타당한 결과를 보았다. 본 논문에서는 동기화 연산에 의한 일관성 모델을 기초로 동적 흠-기반 접근 방법을 제안하며, 이것은 흠에서의 이점 및 부하를 여러 프로세서에게 분산시켜 시스템 전반의 성능 향상을 가져온다.

• The Journal of the Acoustical Society of Korea
• /
• v.10 no.6
• /
• pp.64-70
• /
• 1991

본논문에서는 Hidden Markov Model 에 기초한 실시간 고립 단어 인식 시스템에서의 Viterbi 알 고리듬을 위한 전용 VLSI 구조를 제안하였다. 제안된 구조는 듀얼포트 레지스터 파일로 입출력 부하를 줄이고 가산-최소/최대 연산부의 병렬 연산 구조를 이용하여 실시간 동작이 가능하도록 설계되었다. 모 델 인자와 상태 변수의 값에 태그들을 덧붙임으로써 이 구조는 대표적인 HMM 구조들을 쉽게 구현할 수 있다.

• The Journal of the Acoustical Society of Korea
• /
• v.5 no.3
• /
• pp.21-27
• /
• 1986

LSP 방식은 음성의 주파수 특성을 포함하는 공진 주파수를 낮은 부분과 SHB은 부분의 주파수 로 표시되는 선스펙트럼쌍 계수를 구하는 방법이다. 본 논문은 LSP 방식을 사용하여 한국어의 기본 모 음 7개를 대상으로 하여 분석하고 LSP 계수를 구하는 Algorithm을 개발하였으며 PARCOR 방식과 비 교하였다. 실험 결과 LSP 방식의 연산량이 PARCO 방식의 연산량보다 약 1/2정도로 적음을 알 수 있었 고 Hardware 구성 시에 있어서도 경제적임을 알 수 있었다. 그리고 LSP는 계수 모음의 종류에 따라 각 기 다른 공진 주파수, 대역폭을 나타내기 때문에 음성 합성이나 음성 인식 분야에 있어 기초 자료로 이 용할 수 있을 것으로 사료된다.

• Proceedings of the Korea Contents Association Conference
• /
• 2014.11a
• /
• pp.453-454
• /
• 2014

교육용 게임은 학습 흥미를 증진시킬 수 있는 중요한 도구 중 하나이다. 웹 기반의 정보화 기술의 발전에 따라 웹 기반의 학습 콘텐츠의 수요도 계속 증가하고 있다. 본 논문에서는 초등학교 저학년생을 대상으로 기초적인 사칙 연산 학습을 위한 게임 콘텐츠를 개발하였다. 특히, 웹 소켓 기술을 사용하여 개발된 본 게임은 다수의 사용자가 동시에 게임에 참여할 수 있으며, 각 사용자는 별도의 학습 프로그램 설치를 하지 않고도 웹에 연결된 환경이라면 브라우저를 통해 본 학습 게임에 접속하여 활용이 가능하다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.603-605
• /
• 2000

분산 공유메모리 시스템(DSM)의 성능 향상을 위해 일관성 모델의 측면에서 많은 연구가 진행되었다. 분산 공유메모리 시스템의 성능을 저하시키는 가장 큰 요인은 거짓공유 문제와 별도의 통신비용 문제를 들 수 있는데, 동기화 연산에 의한 일관성 유지 방법, 홈-기반 접근방법 등의 보다 완화된 메모리 모델로서 이러한 문제점을 해결하려는 연구가 진행되어 왔고, 어느 정도 타당한 결과를 보였다. 본 논문에서는 동기화 연산에 의한 일관성 모델을 기초로 동적 홈-기반 접근방법을 제안하며, 이것은 홈에서의 이점 및 부하를 여러 프로세서에게 분산시켜 시스템 전반의 성능향상을 가져온다.