• 대한수학교육학회지:수학교육학연구
• /
• 제13권1호
• /
• pp.13-28
• /
• 2003

Practice of proof is considered in, the view of language and meta-mathematics, recognizing the role of proof that is the means of communication and development of mathematical understanding. Linguistic components in proof texts are symbol, verbal language and visual text, and contain the implicit knowledge in the meta-mathematics view. This study investigates the functions of linguistic elements according to Halliday's functional grammar and the rhetoric skills in proof texts in math textbook, teacher's note, and student's written text. We need to inquire into the aspects of language for mathematics learning process and the understanding and use of students' language.

• Kyungpook Mathematical Journal
• /
• 제11권1호
• /
• pp.93-99
• /
• 1971

In this paper, the author has established the formulae for product of two generalized hypergeometric polynomials by defining the polynomial in the form $$F_n(x)=x^{({\delta}-1)n}{_{p+{\delta}}F_q}\[\array{{\Delta}({\delta},-n),&a_1,&{\cdots}{\cdots},&a_p\\&b_1,&{\cdots}{\cdots},&b_q};\;{\lambda}x^c\]$$, where the symbol ${\Delta}({\delta},-n)$ represents the set of ${\delta}$-parameters: $${\frac{-n}{\delta}},\;{\frac{-n+1}{\delta}},\;{\cdots}{\cdots},\;{\frac{-n+{\delta}-1}{\delta}}$$ and ${\delta}$, n are positive integers. A number of known as well as new results have been also obtained with proper choice of parameters.

• Kyungpook Mathematical Journal
• /
• 제51권2호
• /
• pp.139-143
• /
• 2011

In this paper we consider mappings ${\sigma}$ which map the binary operation symbol f to the term ${\sigma}$(f) which do not necessarily preserve the arities. We call these mappings generalized hypersubstitutions. Any generalized hypersubstitution ${\sigma}$ can be extended to a mapping $\hat{\sigma}$ on the set of all terms of type ${\tau}$ = (2). We de ne a binary operation on the set $Hyp_G$(2) of all generalized hypersubstitutions of type ${\tau}$ = (2) by using this extension The set $Hyp_G$(2) together with the identity generalized hypersubstitution ${\sigma}_{id}$ which maps f to the term f($x_1,x_2$) forms a monoid. We determine all regular elements of this monoid.

• Kyungpook Mathematical Journal
• /
• 제52권2호
• /
• pp.109-136
• /
• 2012

We aim at presenting certain unexpected functional relations among various hypergeometric functions of one or several variables (for example, see the identities in Corollary 5) by making use of Carlson's method employed in his work (Some extensions of Lardner's relations between $_0F_3$ and Bessel functions, SIAM J. Math. Anal. 1(2)(1970), 232-242).

• Kyungpook Mathematical Journal
• /
• 제45권3호
• /
• pp.395-404
• /
• 2005

Let α be a complex number with 𝕽α > 0. Let the functions f and g be analytic in the unit disc E = {z : |z| < 1} and normalized by the conditions f(0) = g(0) = 0, f'(0) = g'(0) = 1. In the present article, we study the differential subordinations of the forms $${\alpha}{\frac{z^2f^{{\prime}{\prime}}(z)}{f(z)}}+{\frac{zf^{\prime}(z)}{f(z)}}{\prec}{\alpha}{\frac{z^2g^{{\prime}{\prime}}(z)}{g(z)}}+{\frac{zg^{\prime}(z)}{g(z)}},\;z{\in}E,$$ and $${\frac{z^2f^{{\prime}{\prime}}(z)}{f(z)}}{\prec}{\frac{z^2g^{{\prime}{\prime}}(z)}{g(z)}},\;z{\in}E.$$ As consequences, we obtain a number of sufficient conditions for star likeness of analytic maps in the unit disc. Here, the symbol ' ${\prec}$ ' stands for subordination

• Kyungpook Mathematical Journal
• /
• 제63권1호
• /
• pp.45-60
• /
• 2023

In this paper we suggest an enhanced Geraghty-type contractive mapping for examining the existence properties of classical nonlinear operators with or without prior degenerates. The nonlinear operators are proved to exist with the imposition of the Geraghty-type condition in a non-empty closed subset of complete metric spaces. To showcase some efficacies of the Geraghty-type condition, convergent rate and stability are deduced. The results are used to study some asymptotic properties of perturbed integral and hypergeometric operators. The results also extend and generalize some existing Geraghty-type conditions.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제24권2호
• /
• pp.475-502
• /
• 2010

본 연구에서는 고등학교 1학년 113명을 대상으로 수학 문제 해결에서 표상 활용 능력을 학업성취도에 따라 분석하고, 학업성취도에 따른 표상 활용의 특징에 대하여 알아보았다. 이를 위해서 학생들에게 다양한 표상을 사용하여 해결할 수 있는 문제를 제시하고, 이를 최대 세 가지방법을 이용하여 풀도록 하였다. 또한 지필 평가의 비교분석 결과를 토대로 6명의 학생을 선발하여 인터뷰를 실시하고 학업성취도에 따라 표상 활용에 차이가 나는 원인을 분석해 보았다. 그 결과 상위권 학생들은 50%이상이 모든 문항에서 두 가지 이상의 표상을 활용해 문제를 해결하였지만, 중위권 학생들은 문항의 난이도에 따라 편차가 있었고, 하위권 학생들은 문제 해결에 표상을 다양하게 활용하지 못하였다. 표상 활용의 특징으로, 상위권 학생들은 수식사용을 선호하였고 문제 해결과정에서 수학적 기호를 효율적으로 사용하였다. 이에 반해 중 하위권 학생들은 표나 그림을 이용하는 경우가 대다수였고, 같은 표상 양식이라 할지라도 상위권 학생이 중 하위권 학생보다 더 구조적이고 세련되게 표현하고 있었다.

• Journal of Communications and Networks
• /
• 제12권5호
• /
• pp.433-441
• /
• 2010

Multihop transmission is a promising technique that helps in achieving broader coverage (excellent network connectivity) and preventing the impairment of wireless channels. This paper proposes a cluster-based multihop wireless network that makes use of the advantages of multihop relaying, i.e., path loss gain, and partial relay selection in each hop, i.e., spatial diversity. In this partial relay selection, the node with the maximum instantaneous channel gain will serve as the sender for the next hop. With the proposed protocol, the transmit power and spectral efficiency can be improved over those in the case of direct transmission and conventional multihop transmission. Moreover, at a high signal-to-noise ratio (SNR), the performance of the system with at least two nodes in each cluster is dependent only on the last hop and not on any of the intermediate hops. For a practically feasible decode-and-forward relay strategy, a compact expression for the probability density function of the end-to-end SNR at the destination is derived. This expression is then used to derive closed-form expressions for the outage probability, average symbol error rate, and average bit error rate for M-ary square quadrature amplitude modulation as well as to determine the spectral efficiency of the system. In addition, the probability of SNR gain over direct transmission is investigated for different environments. The mathematical analysis is verified by various simulation results for demonstrating the accuracy of the theoretical approach.

• 한국전자통신학회논문지
• /
• 제12권6호
• /
• pp.1027-1034
• /
• 2017

본 논문은 양자게이트의 모든 제어 동작점에서 양자들의 확률진폭, 확률, 평균 기댓값 및 정상상태 단위행렬의 행렬요소 등을 수학적 투사로 측정할 수 있는 새로운 함수 임베딩 방법을 제안하였다. 본 논문의 함수 임베딩 방법은 디랙 기호와 크로네커델타 기호를 사용해 각 제어 동작점에 대한 확률진폭의 직교 정규화조건을 2진 스칼라 연산자에 임베딩 한 것이다. 이와 같은 함수 임베딩 방법은 양자게이트 함수를 단일양자들의 텐서 곱으로 표현하는 유니터리 변환에서 유니터리 게이트의 산술 멱함수 제어에 매우 효과적 수단임을 밝혔다. Ternary 2-qutrit cNOT 게이트에 본 논문이 제안한 함수 임베딩 방법을 적용했을 때의 진화연산과 투사측정 결과를 제시하고, 기존의 방법들과 비교 검토하였다.

• 한국통신학회논문지
• /
• 제35권3C호
• /
• pp.314-319
• /
• 2010

처프 확산 대역 (chirp spread spectrum: CSS) 기술은 넓은 주파수 대역에 걸쳐 데이터를 확산하는 기술로, 다중 경로 페이딩에 강인한 특성을 보인다. 이로 인해 무선 통신 분야에서 크게 주목받고 있다. 하지만 다중 경로 페이딩 환경에 따른 CSS 시스템의 성능에 대한 연구는 아직 부족한 실정이다. 본 논문에서는 다중 경로 페이딩 채널이 직접 변조 (direct modulation: DM) M진 위상 편이 방식 (M-ary phase shift keying: MPSK) 시스템에 미치는 영향에 대해 알아본다. 채널 환경은 레일레이 페이딩을 가정하고, 덧셈 꼴 백색 가우시안 잡음의 (additive white Gaussian noise: AWGN) 영향을 받은 chirp 신호의 이론적인 심볼 에러율을 (symbol error rate: SER) 구한다. 그리고 실험적인 결과를 통해 이론적인 SER이 실험적인 SER과 일치함을 확인한다.