• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2011년도 한국컴퓨터종합학술대회논문집 Vol.38 No.1(B)
• /
• pp.193-196
• /
• 2011

공간적으로 다양하게 재구성되며 이동하는 분산/이동/실시간 시스템을 명세 및 분석하기 위한 기존의 프로세스 대수들은 명세/분석 과정에서 텍스트 기반의 명세 언어를 사용한다. 이로 인하여 프로세스 사이의 이동성과 프로세스들의 공간적 분포를 대한 명세 및 분석 방법은 매우 큰 복잡도가 존재한다. 이를 극복하기 위하여 일반 프로세스 대수를 시각적인 형태로 표현하는 다양한 기법들이 제안되었다. 이러한 시각화 언어들은 시스템의 특정 상태를 명세하거나, 시스템의 속성을 공간적 분포와 링크정보로 분리하는 방법들이 사용되었지만, 명세하고자 하는 시스템의 전체 행위에 대한 효율적인 명세 방법이 존재하지 않고, 시각화 언어임에도 불구하고 텍스트기반의 프로세스 대수와 병행되어 사용되어야만 하는 제약들이 존재한다. 이러한 제약들을 극복하기 위한 하나의 방법으로 본 논문에서는 프로세스 대수를 위한 새로운 시각화 언어인 Onion Visual Language를 제안한다. Onion Visual Language는 프로세스 사이에서 발생하는 이동과 상호작용 등의 전체 행위를 원형의 양파껍질과 같은 형태로 표현하며, 각 프로세스들 사이에서 발생하는 행위들의 관계를 액션으로 표현한다. 또한, 계층화된 프로세스 구조, 프로세스의 상태정보, 프로세스의 미래 행위 정보, 비결정적 행위정보를 포함하여 매우 복잡한 시스템의 특징을 효율적으로 명세/분석 가능하도록 하였다.

• 대한수학교육학회지:수학교육학연구
• /
• 제15권2호
• /
• pp.215-232
• /
• 2005

컴퓨터 대수 체계(CAS) 계산기는 점차 학교와 대학에서 보편화되어가고 있다 이 계산기는 교사와 학생들에게 꽤 정교한 수학적 기능을 제공하지만, 현재로서는 어떻게 잘 활용될 수 있는지에 대해서 명확하지 않다. 특히 학생들의 학습과 문제 해결의 통합은 문제로 남아있다. 본 논문에서 우리는 TI-89 CAS 계산기를 대학에 입학하려는 학생들에게 도입하는 연구에서 이러한 문제를 제기하고 학생들이 그들의 학습에서 CAS 계산기를 조작하면서 형성하는 협력 관계의 여러 측면을 기술하였다.

• 대한수학교육학회지:학교수학
• /
• 제1권1호
• /
• pp.135-156
• /
• 1999

The purpose of this study is to discuss about the role of the visualization as an effective method of teaching abstracted mathematics, to analyze visual materials in middle and high school mathematics and to suggest various visualized materials for teaching mathematics effectively. Though formal, symbolic and analytical teaching method is a major characteristic of mathematics, the students should be taught to understand through intuition and insight, and formalize the mathematical concepts progressively. Especially the sight is one of the most important basics of cognition for intuition and insight. Therefore, suggesting mathematical contents through the visual method makes the students understand and formalize the mathematical concepts more easily. In this study, we tried to investigate the meaning and role of visualization in mathematics teaching. And, we discussed about the four roles of visualization in the process of mathematics teaching and learning confirmation and memorization of the mathematical truth, proving theorem and solving problems which is one of the most important purposes of teaching mathematics, According to the roles of visualization, we analyzed visual materials currently taught in middle and high school, and suggested various visual materials useful in teaching mathematics. The investigated fields are algebra where visual materials are little used, and geometry where they are use the most. The paper-made-textbook can't show moving animation vigorously. Hence we suggested visual materials made by GSP and applets in IES .

• 한국시뮬레이션학회논문지
• /
• 제21권4호
• /
• pp.11-24
• /
• 2012

이 연구는 상수 공정 시간을 갖는 라인생산시스템에서 CONWIP과 DBR이 각각 max-plus 선형시스템의 특수형태임을 밝히고 max-plus 대수에 기반한 안정대기시간 연구결과를 이용하여 CONWIP와 DBR의 성능을 비교 분석하였다. CONWIP의 경우, 생산시스템 내의 체류시간은 DBR의 경우보다 항상 짧다는 사실이 수학적으로 규명되었고 예제를 통해 계산, 비교되었다. 한편 두 경우에서 모두, 애로공정이후 노드에서의 대기시간은 유한버퍼의 크기와 공정의 순서에 무관함을 확인하였다. CONWIP에서는 시스템 내 평균 대기시간 또는 체류시간이 공정의 순서에 무관하지만, DBR에서는 애로공정이 뒤로 갈수록 감소함을 확인하였다.

• 음성과학
• /
• 제10권2호
• /
• pp.85-95
• /
• 2003

In speech signal processing, it is very important to detect the pitch exactly in speech recognition, synthesis and analysis. If we exactly pitch detect in speech signal, in the analysis, we can use the pitch to obtain properly the vocal tract parameter. It can be used to easily change or to maintain the naturalness and intelligibility of quality in speech synthesis and to eliminate the personality for speaker-independence in speech recognition. In this paper, we proposed a new pitch detection algorithm. First, positive center clipping is process by using the incline of speech in order to emphasize pitch period with a glottal component of removed vocal tract characteristic in time domain. And rough formant envelope is computed through peak-fitting spectrum of original speech signal infrequence domain. Using the roughed formant envelope, obtain the smoothed formant envelope through calculate the linear interpolation. As well get the flattened harmonics waveform with the algebra difference between spectrum of original speech signal and smoothed formant envelope. Inverse fast fourier transform (IFFT) compute this flattened harmonics. After all, we obtain Residual signal which is removed vocal tract element. The performance was compared with LPC and Cepstrum, ACF. Owing to this algorithm, we have obtained the pitch information improved the accuracy of pitch detection and gross error rate is reduced in voice speech region and in transition region of changing the phoneme.

• 정보처리학회논문지D
• /
• 제11D권4호
• /
• pp.929-936
• /
• 2004

컴포넌트 기반 플랫폼이 갖는 주 한계점은 컴포넌트 기반 시스템이 갖는 컴포넌트간 상호작용과 관련된 행위에 대한 기술과 추론에 대한 적당한 수단을 제대로 제공하지 못한다는 것이다. 현 컴포넌트 기반 플래폼이 CORBA의 IDL과 같은 컴포넌트에 대한 시그네쳐 수준에서의 기술을 위한 방법을 제공하기는 하지만, 이는 컴포넌트들간 상호작용과 같은 행위 기술을 저 수준에서 제공하는 것에 불과하다 컴포넌트 기반 시스템에서 중요한 과제 중 하나는 바로 컴포넌트들간 상호작용과 같은 행위를 기술하는 것과 이를 바탕으로 행위에 대한 검증이 필요하다. 본 논문에서는 프로세스 대수를 이용하여 컴포넌트 인터페이스의 명세 정의와 추상화된 소프트웨어 아키텍처를 어떻게 만족시킬 것인가를 보장받기위한 role의 결합방법, 생성된 아키텍처에 대한 전개규칙, 시각화방법을 연구한다. 또한 사례연구를 통해 본 논문에서 제안한 명세기법 및 정의의 타당함을 보였다.

• 대한수학교육학회지:수학교육학연구
• /
• 제9권1호
• /
• pp.321-332
• /
• 1999

컴퓨터를 활용한 수학 교수-학습 자료 및 방법에 대한 다양한 접근이 시도되어지고 있다. 그러나 최근 복합 매체 기술의 접목으로 개인 사용자를 위한 매체가 주를 이루면서 '누가 제어를 하는가\ulcorner' 라는 문제에 부딪히게 되었다. 본 논문에서는 이러한 문제를 해결하기 위해 집단 사용자들이 실시간 직,간접으로 연결 된 대화형 매체에 접속하여 실시간으로 과정을 실행할 수 있을 뿐만 아니라, 제한적이나마 변화를 통한 학습정보의 재구성을 기할 수 있는 컴퓨터 대수 체계기반(CASME)과 연계한 응용 프로그램의 개발모형에 대해 알아보고,이를 사용하여 작성된 대화형 실행 매체를 통한 수학 학습의 모형을 제시하고자 한다.

• Journal of the Optical Society of Korea
• /
• 제20권3호
• /
• pp.341-357
• /
• 2016

A novel asymmetric multiple-image encryption method using an octonion Fresnel transform (OFST) and a two-dimensional Sine Logistic modulation map (2D-SLMM) is presented. First, a new multiple-image information processing tool termed the octonion Fresneltransform is proposed, and then an efficient method to calculate the OFST of an octonion matrix is developed. Subsequently this tool is applied to process multiple plaintext images, which are represented by octonion algebra, holistically in a vector manner. The complex amplitude, formed from the components of the OFST-transformed original images and modulated by a random phase mask (RPM), is used to derive the ciphertext image by employing an amplitude- and phase-truncation approach in the Fresnel domain. To avoid sending whole RPMs to the receiver side for decryption, a random phase mask generation method based on SLMM, in which only the initial parameters of the chaotic function are needed to generate the RPMs, is designed. To enhance security, the ciphertext and two decryption keys produced in the encryption procedure are permuted by the proposed SLMM-based scrambling method. Numerical simulations have been carried out to demonstrate the proposed scheme's validity, high security, and high resistance to various attacks.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제22권4호
• /
• pp.417-444
• /
• 2008

본 논문에서는 세 가지 관련된 분야의 연구를 통하여 우리나 대학 신입생들의 함수 개념을 조사하였다. 대학 신입생들은 함수를 어떻게 이해하고 있는가?; 인식론적 장애를 포함한 오 개념에는 어떤 것들이 있는가?; 함수 개념은 어떤 경로를 거쳐서 획득되는가? 등이다. 이와 함께 대학의 여러 분야에서 함수가 어떻게 정의되고 쓰이는지를 살펴보고, 미국의 교과서들에 나타난 함수 정의와 도입을 살펴보았다. 설문조사와 이들을 토대로 함수를 대응의 관점에서 도입하는 새로운 교육과정에 대하여 수직선 테스트의 도입을 포함한 몇 가지 제언을 하였다.

• 한국통신학회논문지
• /
• 제37A권12호
• /
• pp.1031-1037
• /
• 2012

Tonelli-Shanks 알고리즘을 변형한 새로운 알고리즘을 통해 효율적으로 제곱근 및 세제곱근을 찾을 수 있는 방법을 연구하였다. 이 논문에서 소개하는 제곱근을 찾는 알고리즘은 Number Field Sieve에 응용할 수 있다. 큰 합성수를 인수분해하는데 가장 효율적인 알고리즘으로 알려진 Number Field Sieve (NFS)는 법 N에 대하여 공통근을 갖는 두 다항식 선택한 후에, sieving, linear algebra, square root 단계를 차례대로 거친다. NFS의 마지막 단계에서는 수체(Number Field)상에서 제곱근을 구하는 과정이 필요한데 이를 유한체(Finite Field)상으로 내려서 계산한 후 CRT(Chinese Remainder Theorem)을 이용하여 수체 상에서의 제곱근으로 복원하는 과정에서 제안된 알고리즘이 사용될 수 있다.