• 대한수학교육학회지:학교수학
• /
• 제12권2호
• /
• pp.193-217
• /
• 2010

미 연방정부 교육부로부터 재정 지원을 받고 있는 평가 기준 검사 전문연구센터인 CRESST (The National Center for Research on Evaluation, Standards, and Student Testing at UCLA)에서는 지속적인 형성평가 실시에 따른 결과 반영을 통하여 교사의 수업 개선과 학생의 내용 숙달을 지원하고, 투입한 형성평가 프로그램의 교육 효과성을 검증하고자 하는 5년 일정(2007년～2011년)의 장기적 연구를 수행 중에 있다. 2007년과 2008년의 사전 연구를 토대로, 2009년도 연구에서는 우리나라 중학교 1학년 학생들에게 PowerSource(c)를 투입하여 대수 영역 성취도의 변화 추이를 분석하고, 해당 프로그램의 활용에 대한 교사와 학생의 반응을 탐색하고자 하였다. 또한, 우리나라 중학교 2학년 학생들에 PowerSource(c)를 투입하여 대수 영역 성취도의 변화 추이를 분석하고자 하였다. 본고에서는 CRESST의 PowerSource(c)의 이해 및 이의 활용을 토대로, 중학교 2학년 학생들을 대상으로 하는 대수 영역 성취도의 변화 추이를 분석하는 데에 초점을 두었다.

• 한국정보과학회논문지:시스템및이론
• /
• 제31권5_6호
• /
• pp.335-346
• /
• 2004

톨레미II는 내장형 시스템과 같이 이질적 성질을 가진 병렬 시스템을 모델링하고 디자인 할 수 있는 환경을 지원해준다. 톨레미II는 여러 개의 도메인을 가지고 있다. 도메인은 각 시스템의 구성 요소들간의 통신 방법을 결정하는 물리적인 규칙이다. 톨레미II에는 PetriNet, Timed Multitasking, SR 등 11개의 도메인이 존재한다. 시스템의 구성요소들은 그 특성에 맞는 도메인을 사용하여 명세 되어 질 수 있다. 톨레미II는 특히 정형적 도메인으로 프로세스 알제브라 언어의 일종인 CSP를 가지고 있다. 그러나 CCS는 도메인으로 구현되지 않았다. CCS는 프로세스 알제브라의 일종으로서 정형적으로 병렬시스템을 명세하고 검증할 수 있는 언어이다. 따라서 본 논문에서는 CCS도메인을 구현함으로써 톨레미II를 사용하는 개발자가 톨레미II에서 사용하고 있는 동일한 모델링 패턴을 사용하면서 CCS의 정형적 의미론을 바탕으로 하여 시스템 명세를 할 수 있게 하였다. 이것은 톨레미II의 도메인의 다양성을 가지고 옴으로써 톨레미II의 표현력과 가용력을 높였다. 본 논문에서는 톨레미II에 구현된 CCS 도메인의 구조와 구현 방법을 설명하겠다.

• 대한수학회보
• /
• 제53권3호
• /
• pp.821-831
• /
• 2016

A case study is added to our recent work on Quillen phenomenon. Pointwise positivity of polynomials on generalized lemniscates of the complex plane is related to sums of hermitian squares of rational functions, and via operator quantization, to essential subnormality.

• 충청수학회지
• /
• 제31권1호
• /
• pp.47-52
• /
• 2018

Let ${\delta}$ be a derivation in a noetherian integral domain A. It is shown that a natural map induces a homeomorphism between the spectrum of $A[z;{\delta}]$ and the Poisson spectrum of $A[z;{\delta}]_p$ such that its restriction to the primitive spectrum of $A[z;{\delta}]$ is also a homeomorphism onto the Poisson primitive spectrum of $A[z;{\delta}]_p$.

• Korean Journal of Mathematics
• /
• 제30권4호
• /
• pp.643-652
• /
• 2022

In this paper, we will describe affine homogeneous domains in the complex plane. For this study, we deal with the Lie algebra of infinitesimal affine transformations, a structure of the hyperbolic metric involved with affine automorphisms. As a consequence, an affine homogeneous domain is affine equivalent to the complex plane, the punctured plane or the half plane.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2002년도 하계종합학술대회 논문집(4)
• /
• pp.381-384
• /
• 2002

In speech signal processing, it Is very important to detect the pitch exactly in speech recognition, synthesis and analysis. but, it is very difficult to pitch detection from speech signal because of formant and transition amplitude affect. therefore, in this paper, we proposed a pitch detection using the spectrum flattening techniques. Spectrum flattening is to eliminate the formant and transition amplitude affect. In time domain, positive center clipping is process in order to emphasize pitch period with a glottal component of removed vocal tract characteristic. And rough formant envelope is computed through peak-fitting spectrum of original speech signal in frequency domain. As a results, well get the flattened harmonics waveform with the algebra difference between spectrum of original speech signal and smoothed formant envelope. After all, we obtain residual signal which is removed vocal tract element The performance was compared with LPC and Cepstrum, ACF 0wing 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.

• 대한수학회보
• /
• 제59권4호
• /
• pp.853-868
• /
• 2022

We study the structure of right regular commutators, and call a ring R strongly C-regular if ab - ba ∈ (ab - ba)²R for any a, b ∈ R. We first prove that a noncommutative strongly C-regular domain is a division algebra generated by all commutators; and that a ring (possibly without identity) is strongly C-regular if and only if it is Abelian C-regular (from which we infer that strong C-regularity is left-right symmetric). It is proved that for a strongly C-regular ring R, (i) if R/W(R) is commutative, then R is commutative; and (ii) every prime factor ring of R is either a commutative domain or a noncommutative division ring, where W(R) is the Wedderburn radical of R.

• 한국학교수학회논문집
• /
• 제11권4호
• /
• pp.629-654
• /
• 2008

최근 들어 새롭게 개정된 미국 조지아주 수학과 교육과정을 소개하고, 이의 이해를 보다 심도 있게 도모하기 위하여 우리나라 제7차 수학과 교육과정 수정안과 비교 분석하고자 하였다. 그러나, 미국 조지아주 수학과 교육과정 전체를 한 번에 다루기에는 그 양이 너무나 방대하여, 본 고에서는 '수와 연산' 및 '대수' 영역(우리나라의 '수와 연산', '문자와 식', '규칙성' 또는 '함수'에 해당)을 중심으로 다루고자 하였다. 본고에서는 두 나라간의 교육과정 내용의 양질에 관한 우위를 가리거나 우리나라 교육과정의 문제점 내지 개선책을 마련하기 보다는 수학 교육 관련 전문가인 독자들로 하여금 대수 영역 관련의 내용에 관하여 두 나라 간에 어떠한 차이가 있는지 살펴보고 음미해 볼 수 있는 근간을 제공하고자 하였다. 또한, 본 고에 제시된 연구 결과를 비롯하여 향후 여러 나라의 수학과 교육과정을 보다 심도 있게 연구하고, 앞으로 우리나라 수학과 교육과정을 개정하는 데에 기초 자료로 활용되기를 기대한다.

• 대한수학회지
• /
• 제52권6호
• /
• pp.1253-1270
• /
• 2015

Let (R, m) be a commutative Noetherian local domain, M a non-zero finitely generated R-module of dimension n > 0 and I be an ideal of R. In this paper it is shown that if $x_1,{\ldots },x_t$ ($1{\leq}t{\leq}n$) be a sub-set of a system of parameters for M, then the R-module $H^t_{(x_1,{\ldots },x_t)}$(R) is faithful, i.e., Ann $H^t_{(x_1,{\ldots },x_t)}$(R) = 0. Also, it is shown that, if $H^i_I$ (R) = 0 for all i > dim R - dim R/I, then the R-module $H^{dimR-dimR/I}_I(R)$ is faithful. These results provide some partially affirmative answers to the Lynch's conjecture in [10]. Moreover, for an ideal I of an arbitrary Noetherian ring R, we calculate the annihilator of the top local cohomology module $H^1_I(M)$, when $H^i_I(M)=0$ for all integers i > 1. Also, for such ideals we show that the finitely generated R-algebra $D_I(R)$ is a flat R-algebra.

• 음성과학
• /
• 제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.