• Kyungpook Mathematical Journal
• /
• 제47권2호
• /
• pp.283-294
• /
• 2007

By a near ${\lambda}$-lattice is meant an upper ${\lambda}$-semilattice where is defined a parti binary operation $x{\Lambda}y$ with respect to the induced order whenever $x$, $y$ has a common lower bound. Alternatively, a near ${\lambda}$-lattice can be described as an algebra with one ternary operation satisfying nine simple conditions. Hence, the class of near ${\lambda}$-lattices is a quasivariety. A ${\lambda}$-semilattice $\mathcal{A}=(A;{\vee})$ is said to have sectional (antitone) involutions if for each $a{\in}A$ there exists an (antitone) involution on [$a$, 1], where 1 is the greatest element of $\mathcal{A}$. If this antitone involution is a complementation, $\mathcal{A}$ is called an ortho ${\lambda}$-semilattice. We characterize these near ${\lambda}$-lattices by certain identities.

• 한국통신학회논문지
• /
• 제30권1C호
• /
• pp.1-8
• /
• 2005

본 논문에서는 이중 대각 부행렬에 근거한 결정적 LDPC 부호의 일종인 반집합 대수 LDPC 행렬이라는 새로운 LDPC 부호의 구성을 제시한다. 이러한 구성 방법에 의해 일종의 high rate LDPC 부호를 얻게 되며, 이 부류의 부호들은 큰 girth와 양호한 최소거리 특성을 갖는다. 또한, 순환 시프트 레지스터를 이용한 단순한 병렬 어레이 구조로 구현할 수 있으며, 반복 복호에 의해 용이하게 처리될 수 있다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제27권2호
• /
• pp.121-134
• /
• 2013

대학 수학교육에서 선형대수학은 가장 중요한 과목 중 하나이다. 21세기 향상된 정보 기술이 선형대수학 수업에 적용된다면, 학생들의 선형대수학 내용에 대한 이해는 한층 더 향상될 것이다. 우리는 학생들의 관심을 높이고 보다 효율적으로 학습 목표에 도달하는데 기여하고자 웹상의 무료 수학 프로그램인 'Sage'(http://sagemath.org)를 활용한 교수학습 환경을 구축하고 그 콘텐츠를 개발하였다. 특히, 2009년 저자는 PC 환경 외에 휴대폰의 인터넷 기능을 통하여 Sage 명령어를 사용할 수 있는 단순모듈 콘텐츠를 개발하였다. 본 논문에서는 스마트폰을 이용하여 대부분의 Sage 기능을 활용할 수 있도록 개발한 모바일 Sage를 소개하고, 학생들의 자기주도적인 선형대수학 학습을 위해 개발한 모바일 선형대수학 스마트폰 콘텐츠(강의록, 동영상강의, 문제와 풀이, 공학적 도구)를 소개한다.

• 한국통신학회논문지
• /
• 제39B권6호
• /
• pp.387-396
• /
• 2014

최근 SDN (Software Defined Networking) 기반의 다양한 네트워크 제어 및 관리 플랫폼들이 서비스제공자 및 통신사업자들에 의해 연구되고 있다. SDN의 중요한 특징 중 하나는 소프트웨어 프로그램으로 작성된 간단한 응용에 의해 네트워크가 쉽게 제어되고 관리된다는 점에 있다. 이러한 관점에서 잘못 작성된 SDN 응용은 네트워크 전체에 오류를 발생시킬 수 있어, 해당 응용은 작성된 오픈플로우 포워딩 규칙(rule)을 SDN 컨트롤러(controller)를 통해 스위치에 반영하기 전에 토폴로지와 네트워크 환경의 안전성(safety)과 일관성(consistency)이 반드시 검증되어야 한다. 본 논문에서는 SDN 응용 검증을 위한 프로세스 알지브라 (process algebra) 기반의 언어인 pACSR (Packet based Algebra of Communicating Shared Resources)와 이를 기반으로 한 정형 검증 프레임워크를 제안하고, 이에 대한 SDN 정형검증 도구 연구시제품 구현 현황을 기술한다.

• Journal of the Korean Data and Information Science Society
• /
• 제18권3호
• /
• pp.827-832
• /
• 2007

Several partial orders on integral partitions have been studied with many applications such as majorizations, capacities of quantum memory and embeddabilities of matrix algebras. In particular, the embeddability, stable embeddability and strong-stable embeddability problems arise for finite dimensional irreducible modules over a complex simple Lie algebra L. We find a sufficient condition for an L-module strong-stably embeds into another L-module using formal character theory.

• 대한수학회보
• /
• 제56권2호
• /
• pp.391-397
• /
• 2019

In this paper, we give a simple proof of the improved Johnson bound for A(n, d), the maximum number of codewords in a binary code of length n and minimum distance d, given by Mounits, Etzion and Litsyn.

• 호남수학학술지
• /
• 제27권2호
• /
• pp.141-162
• /
• 2005

In this paper, by considering the notion of hyperK-algebras of order 3 (which satisfies the simple or normal condition), we state and prove some theorems which determine the relationships between (weak) hyperK-ideals and positive implicative hyperK-ideals of type $1,{\ldots},8$.

• 충청수학회지
• /
• 제10권1호
• /
• pp.117-126
• /
• 1997

We find more simple forms of property T for von Neumann algebras which are finite direct sum of $II_1$ factors.

• 대한수학회논문집
• /
• 제12권1호
• /
• pp.75-78
• /
• 1997

We show that if a simple $C^*$-algebra A satisfies certain $K_1$-group conditions, then two unitarily equivalent projections are homotopic. Also we show that the equivalence of projections determined by a dimension function is a homotopy.

• 대한수학회보
• /
• 제43권3호
• /
• pp.653-655
• /
• 2006

We give a simple proof of the statement that if T is a bounded linear operator on a complex HIlbert space then T is Fredholm if and only if ${\pi}(T)$ is not a TDZ, where ${\pi}(\cdot)$ is the Catkin homomorphism.