• 한국수학교육학회지시리즈D:수학교육연구
• /
• 제11권2호
• /
• pp.143-151
• /
• 2007

Nowadays there are practically no mathematical courses in which Computer Algebra Systems (CAS) programs, such as MATHEMATlCA, Maple, and TI-89/92, are not used to some extent. However, generally the usage of these programs is reduced to illustration of computing processes: calculation of integrals, differentiation, solution of various equations, etc. This is obtained by usage of standard command of type: Solve [...] in MATHEMATICA. At the same time the main difficulties arise at teaching nonconventional mathematical courses such as coding theory, discrete mathematics, cryptography, Scientific computing, which are gaining the increasing popularity now. Now it is impossible to imagine a modern engineer not having basic knowledge in discrete mathematics, Cryptography, coding theory. Digital processing of signals (digital sound, digital TV) has been introduced in our lives.

• 대한수학회보
• /
• 제48권2호
• /
• pp.315-324
• /
• 2011

In this paper, we study the effects of a deformation mapping on the resulting deformation d/BCK-algebra obtained via such a deformation mapping. Besides providing a method of constructing d-algebras from BCK-algebras, it also highlights the special properties of the standard BCK-algebras of posets as opposed to the properties of the class of divisible d/BCK-algebras which appear to be of interest and which form a new class of d/BCK-algebras insofar as its not having been identified before.

• Nonlinear Functional Analysis and Applications
• /
• 제26권2호
• /
• pp.225-236
• /
• 2021

In this paper, we determine position vector of a line of curvature of a regular surface which is relatively normal-slant helix, with respect to Darboux frame. Then, a vector differential equation is established by means Darboux formulas, in the case of the geodesic torsion is vanishes. In terms of solution, we determine the parametric representation of a line of curvature which is relatively normal-slant helix, with respect to standard frame in Euclidean 3-space. Thereafter, we apply this result to find the position vector of a line of curvature which is isophote curve.

• 대한수학회논문집
• /
• 제33권2호
• /
• pp.527-533
• /
• 2018

Let $\mathcal{X}$ be a countably generated Hilbert module over a locally $C^*$-algebra $\mathcal{A}$ in multiplier module M($\mathcal{X}$) of $\mathcal{X}$. We propose the necessary and sufficient condition such that a sequence $\{h_n:n{{\in}}\mathbb{N}\}$ in M($\mathcal{X}$) is a standard frame of multipliers in $\mathcal{X}$. We also show that if T in $b(L_{\mathcal{A}}(\mathcal{X}))$, the space of bounded maps in set of all adjointable maps on $\mathcal{X}$, is surjective and $\{h_n:n{{\in}}\mathbb{N}\}$ is a standard frame of multipliers in $\mathcal{X}$, then $\{T{\circ}h_n:n{\in}\mathbb{N}}$ is a standard frame of multipliers in $\mathcal{X}$, too.

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

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

• 한국통신학회논문지
• /
• 제24권12B호
• /
• pp.2249-2261
• /
• 1999

본 논문에서는 Multiprotocol Label Switching 시스템을 위한 Label Distribution Protocol의 설계와 구현에 관해서 서술한다. 먼저 Gigabit Switched Router를 만들기 위해서 필요한 LDP의 구현 시 고려해야 될 사항에 대해 살피고, 상세 설계를 제안한다. 결과로써, IETE 표준에 의거한, LDP를 구현하는 데이터 구조 및 처리 절차들을 제시한다. 본 논문에서는 구현 시 Carrier Class Product에 적용하기 위해 고려해야 할 점들을 제시한다. 구현된 프로토콜은 상용망에서 요구되는 IP 라우팅 테이블 항목 개수인 4만개의 엔트리들 수용 요구를 만족시킨다. 또한 본 시스템은 표준 Unix API를 사용하여 구현됨으로써 이식성을 가지고 있다. 이러한 구현 시 고려할 사항들과 표준에 의거하여 구현을 함으로써, 우리는 본 LDP가 표준에 기준한 다른 상용제품과 연동성을 확보할 것을 기대한다. 이 LDP의 프로토타입을 구축하고, 이 구현 결과의 프로세스 대수를 사용한 형식적 명세와 분석 그리고 성능 분석을 함으로써 메커니즘의 타당성을 검증하고있다.

• 호남수학학술지
• /
• 제30권2호
• /
• pp.247-258
• /
• 2008

In this paper, we show how certain topologies associate with ideals of subtraction algebras on subtraction algebras. We show subtraction algebras to be topological subtraction algebras with respect to theses topologies. Furthermore, we show how certain standard properties may arise. In addition we demonstrate that it is natural for these topologies to have many clop en sets and thus to be highly disconnected via the ideal theory of subtraction algebras.

• 대한수학회논문집
• /
• 제23권2호
• /
• pp.169-178
• /
• 2008

In this paper, we show how to associate certain topologies with special ideals of BCC-algebras on these BCC-algebras. We show that it is natural for BCC-algebras to be topological BCC-algebras with respect to theses topologies. Furthermore, we show how certain standard properties may arise. In addition we demonstrate that it is natural for these topologies to have many clopen sets and thus to be highly connected via the ideal theory of BCC-algebras.

• 대한수학회보
• /
• 제58권4호
• /
• pp.885-895
• /
• 2021

In this paper, we study a kind of self-inversive polynomials in bicomplex algebra. For a bicomplex polynomial, this is the study of a relation between a kind of symmetry of its coefficients and a kind of symmetry of zeros. For our deep study, we define several new levels of self-inversivity. We prove some functional equations for standard ones, a decomposition theorem for generalized ones and a comparison theorem. Although we focus the j-conjugation in our study, our argument can be applied for other conjugations.

• Journal of applied mathematics & informatics
• /
• 제40권1_2호
• /
• pp.133-139
• /
• 2022

We offered a new method for constructing Latin squares. We introduce the concept of a standard form via example for Latin squares of order n and we also call it symmetric BCL algebras matrix, and thereby become BCL algebra representations of the picture of Latin squares. Our research shows that some new properties of the Latin squares with BCL algebras are in ℤ_n.