• 대한수학회논문집
• /
• 제36권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
• /
• 제60권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).

• 대한수학교육학회지:학교수학
• /
• 제11권3호
• /
• pp.527-546
• /
• 2009

본 연구는 CAS가 도입된 이후의 우리나라 수학교육에 대비하여 고등학교 수학활동에서 CAS의 도구발생 과정을 통찰하고, 중등수학교육에서 도구화된 CAS의 활용 가능성을 탐색하기 위해 설계되었다. 이를 위하여 본 연구자는 CAS에 기반 한 개념중심 수학과제 학습과 문제해결을 각각 고안하였으며 고등학교 1학년생 7명을 대상으로 총 12차시의 수업을 실시하고 수업녹화자료와 면담을 통해 학생들의 활동을 분석하였다. 분석결과 학생들은 CAS를 이용하여 수준 높은 응용문제를 다룰 수 있는 것으로 나타나 CAS가 교육과정 내용수준에 영향을 줄 수 있음을 확인할 수 있었고, 또 도구화된 CAS에 기반 한 무리방정식 문제해결활동을 통해 CAS가 교육과정의 제시 순서에 영향을 줄 수 있음을 발견하였다. 이 연구는 고등학교 수학교육에서 CAS의 도구발생을 분석하여 사례를 제공함으로써 CAS가 도입된 이후의 우리나라 수학교육에 대비한 기초연구가 될 것이다.

• 대한수학교육학회지:학교수학
• /
• 제9권2호
• /
• pp.223-240
• /
• 2007

본 연구는 중학생들의 수학 성취를 국가수준에서 평가한 경험적 자료를 활용하여 우리나라 중학교 수학과 교육과정의 내용과 수학에서의 인지행동이 위계적으로 구성되어 있는지를 조사하였다. 전반적으로 교육과정의 내용 제시 순서는 난이도 순위와 통계적으로 유의한 상관관계가 나타나지 않은 반면, 인지행동의 위계는 난이도 순위와 통계적으로 유의한 상관관계가 있었다. 이러한 결과에서 검사 문항의 난이도 순위가 학교에서 배운 수학 교과 내용의 순서보다는 문항에서 요구하는 인지행동의 수준과 더 관련이 있음을 알 수 있었다. 그리고 내용 위계와 인지행동의 위계 간 상관관계가 유의하게 나타나, 교육과정에서 늦게 등장하는 내용일수록 요구되는 인지 행동도 높은 수준임을 발견할 수 있었다. 내용 및 인지행동의 위계와 난이도 순위 간 상관분석에서 특이한 양상을 나타낸 문항에 대해서는 그 특성을 분석하였다.

• 한국콘텐츠학회논문지
• /
• 제8권4호
• /
• pp.86-91
• /
• 2008

본 논문에서는 혼돈함수들 중 하나인 텐트함수의 변환을 수행하는 이산화된 8비트 텐트맵의 설계 절차를 보이기 위해서, 먼저 이산화 텐트맵의 진리표를 작성하였고, 진리표를 통해 구해진 간략화된 부울대수에 따라, 배타적 논리합 게이트만을 사용하여 이산화 맵을 실제 하드웨어로 구현하였다. 제안된 텐트맵 회로는 혼돈맵의 혼돈 특성에 따라8비트 유한 정밀도와 주기 8의 상태들을 발생시키는 궤환회로로 구성되었으며, 설계된 회로도를 제시하였다. 이산화된 텐트맵은 스트림 암호시스템의 키스트림 발생회로에서 혼돈 2진 순서들을 발생시키는데 새롭게 사용될 것이다.

• 한국통신학회논문지
• /
• 제26권5A호
• /
• pp.889-901
• /
• 2001

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

• 대한수학회논문집
• /
• 제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.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (1)
• /
• pp.474-476
• /
• 2000

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

• 대한수학회논문집
• /
• 제37권1호
• /
• pp.259-267
• /
• 2022

We use L_∞ models to compute the rational homotopy type of the mapping space of the component of the natural inclusion i_n,k : ℂPⁿ ↪ ℂP^n+k between complex projective spaces and show that it has the rational homotopy type of a product of odd dimensional spheres and a complex projective space. We also characterize the mapping aut₁ ℂPⁿ → map(ℂPⁿ, ℂP^n+k; i_n,k) and the resulting G-sequence.

• 대한수학회지
• /
• 제61권4호
• /
• pp.713-742
• /
• 2024

From the ordinary notion of upper-tail quantitle function, a new concept called conditionally upper-tail quantitle function given a σ-algebra is proposed. Some basic properties of this terminology and further properties of conditionally strictly stationary sequences are derived. By means of these properties, several conditional central limit theorems for a sequence of conditionally strong mixing and conditionally strictly stationary random variables are established, some of which are the conditional versions corresponding to earlier results under non-conditional case.