• Communications of the Korean Mathematical Society
• /
• v.34 no.3
• /
• pp.701-718
• /
• 2019

In this paper we compute the U-projective resolution of kQ-modules where Q is quiver of type $A_n$ and ${\tilde{A}}_n$. The behavior of the sequence can be seen through its geometric representation.

• Communications of the Korean Mathematical Society
• /
• v.36 no.2
• /
• pp.257-266
• /
• 2021

In this paper, by using the sequence of adjointable operators from C^*-algebra 𝓐 into Hilbert 𝓐-module E, the woven frames of multipliers in Hilbert C^*-modules are introduced. Meanwhile, we study the effect of operators on these frames and, also we construct the new woven frame of multipliers in Hilbert 𝓐-module 𝓐. Finally, compositions of woven frames of multipliers in Hilbert C^*-modules are studied.

• Kyungpook Mathematical Journal
• /
• v.60 no.4
• /
• pp.683-710
• /
• 2020

Let ℕ be the set of nonnegative integers and 𝕬 be a 2-torsion free triangular algebra over a commutative ring ℛ. In the present paper, under some lenient assumptions on 𝕬, it is proved that if Δ = {𝛿_n}_n∈ℕ is a sequence of ℛ-linear mappings 𝛿_n : 𝕬 → 𝕬 satisfying ${\delta}_n([[x,\;y],\;z])\;=\;\displaystyle\sum_{i+j+k=n}\;[[{\delta}_i(x),\;{\delta}_j(y)],\;{\delta}_k(z)]$ for all x, y, z ∈ 𝕬 with xy = 0 (resp. xy = p, where p is a nontrivial idempotent of 𝕬), then for each n ∈ ℕ, 𝛿_n = d_n + 𝜏_n; where d_n : 𝕬 → 𝕬 is ℛ-linear mapping satisfying $d_n(xy)\;=\;\displaystyle\sum_{i+j=n}\;d_i(x)d_j(y)$ for all x, y ∈ 𝕬, i.e. 𝒟 = {d_n}_n∈ℕ is a higher derivation on 𝕬 and 𝜏_n : 𝕬 → Z(𝕬) (where Z(𝕬) is the center of 𝕬) is an ℛ-linear map vanishing at every second commutator [[x, y], z] with xy = 0 (resp. xy = p).

• School Mathematics
• /
• v.11 no.3
• /
• pp.527-546
• /
• 2009

This study was designed to gain insights into instrumental genesis process of CAS in Korean high school students and to explore its practical potentials in secondary mathematics education. Two activities, such as Concept-Centered Mathematics Activity based on CAS and Problem Solving Activities, were constructed and executed to 10th Grade seven students for twelve class hours. The finding on the students' activities are as follows : it is meaningful in mathematics education, especially in algebra education, in that the CAS based concept centered mathematics activity offers great opportunities to deal with high-qualified application problems. The problem solving activities based on the instrumented CAS may have an influence on the sequence of mathematics curriculum, e.g. the optimization problems may precede the calculus problems such as derivatives in high school. The results of this study to investigate the instrumental genesis of CAS in mathematical activities will give insights into the secondary mathematics curriculum to prepare the CAS in Korea.

• School Mathematics
• /
• v.9 no.2
• /
• pp.223-240
• /
• 2007

The purpose of this study was to investigate the degree to which the middle school mathematics curriculum matched the item difficulty levels of representative mathematics items. The items used in this study were developed for the National Assessment of Educational Achievement. Ranks for difficulty values of the 60 multiple-choice item were calculated via both Classical Test Theory and Item Response Theory and correlated with the rank order of the mathematics content and cognitive domains sequence. There are six content domains; number and operation, algebra, measurement, figure, pattern and function, and probability and statistics. The cognitive domains include computation, understanding, reasoning and problem-solving. Results suggest a congruence between cognitive domain's sequence and item difficulty levels of items based on that sequence. This finding indicates that the linear or hierarchical assumptions concerning the sequence appears to be reasonable. The characteristics of items that were exceptions to this trend were addressed.

• The Journal of the Korea Contents Association
• /
• v.8 no.4
• /
• pp.86-91
• /
• 2008

To present the design procedure of discretized 8-bit tent map executing the transformation of tent function which is one of the chaotic functions, first, the truth table of discretized tent map was written, and then according to the simplified Boolean algebra equations obtained from the truth table, the discretized map is implemented with the exclusive logic gate as a real hardware. The discretized tent map circuit which provides the feedback circuit for generating the period-8 states relevant to the 8-bit finite precision is also designed and presented in this paper. Furthermore, it might be used stream cipher system with a new key-stream circuit for generate of chaotic binary sequence.

• Communications of the Korean Mathematical Society
• /
• v.39 no.3
• /
• pp.611-622
• /
• 2024

The purpose of this paper is to introduce a new class of rings containing the class of m-formally Noetherian rings and contained in the class of nonnil-SFT rings introduced and investigated by Benhissi and Dabbabi in 2023 [4]. Let A be a commutative ring with a unit. The ring A is said to be nonnil-m-formally Noetherian, where m ≥ 1 is an integer, if for each increasing sequence of nonnil ideals (I_n)_n≥0 of A the (increasing) sequence (∑_i1+⋯+im=nI_i1I_i2⋯I_im)_n≥0 is stationnary. We investigate the nonnil-m-formally Noetherian variant of some well known theorems on Noetherian and m-formally Noetherian rings. Also we study the transfer of this property to the trivial extension and the amalgamation algebra along an ideal. Among other results, it is shown that A is a nonnil-m-formally Noetherian ring if and only if the m-power of each nonnil radical ideal is finitely generated. Also, we prove that a flat overring of a nonnil-m-formally Noetherian ring is a nonnil-m-formally Noetherian. In addition, several characterizations are given. We establish some other results concerning m-formally Noetherian rings.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.26 no.5A
• /
• pp.889-901
• /
• 2001

본 논문에서 Multiprotocol Label Switching 시스템을 위한 Label Distribution Protocol의 개발과 분석에 관해서 기술한다. 먼저 Gigabit Switched Router를 만들기 위해서, 상용화시 Carrier Class 제품에 적용하기 위한 LDP의 구현시 고려해야 될 사항에 대해 살피고, 상세 설계를 제안한다. IETF 표준에 의거한 LDP의 구현을 위한 상세 설계는 프로토콜 상태기계의 유도 트리와 프로세스 대수를 사용한 형식적 명세를 사용하여 제시한다. 본 논문에서는 제시된 유도트리와 프로세스 대수를 사용한 프로토콜 동작의 분석을 통해, 구현된 LDP의 상호 연동성과 완전성, 생존성, 도달성, 안전성을 검증한다. 또한 이를 사용하여 구현된 LDP가 기존 상용 제품들과의 연동성과 그 동작의 신뢰성을 확보할 것을 기대한다. 결과적으로 구현된 LDP의 프로토콜 동작들의 검증을 제공한다.

• Communications of the Korean Mathematical Society
• /
• v.33 no.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.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.474-476
• /
• 2000

소프트웨어 프로젝트의 비용의 대부분이 구현(implementation) 단계나 테스트 단계에서의 에러 수정에 소모되고 있으며, 이러한 에러들의 대부분은 프로젝트 개발 초기 단계에서의 부정확(imprecision)에 기안한 것이다. 정형 명세 기법은 명세 단계에서 기인하는 에러들을 줄이기 위해 Z나 VDM과 같은 정형 표기법에 의해 쓰여진다. 그러나, Z 표기법의 병행성 표현 능력의 부족으로 병행성을 요구하는 시스템의 명세에서 사용할 수 없거나, Process Algebra의 CSP(Communicating Sequence Processes)등과 같은 다른 정형 언어와 함께 명세해야 하는 단점이 있다. 본 연구에서는 Z와 같은 범용 목적의 명세 언어가 병행성(concurrency)을 표현할 수 있도록 하기 위해서, 병행 프로세서(concurrent process) 개념을 도입하며, 이를 나타내는 표기를 정의하고 사용한다. 또한, 병행성의 제어를 위해서 프로시듀어 기술부(procedure description)의 도입 및 관련 스키마(schema)들을 정의한다.