• Kyungpook Mathematical Journal
• /
• 제50권1호
• /
• pp.81-87
• /
• 2010

We modify the definition of difference algebra given by J. Meng to obtain a structure which is a directoid with sectional switching involutions with respect to the given partial order. Moreover, we show that this is a representation of our skew difference algebras because every such directoid can be converted into a skew difference algebra.

• Kyungpook Mathematical Journal
• /
• 제46권3호
• /
• pp.433-436
• /
• 2006

In this note we show that a representable difference algebra is equivalent to a commutative BCK-algebra.

• 대한수학회보
• /
• 제42권2호
• /
• pp.379-386
• /
• 2005

In this paper, we consider a collection of ideals of a difference algebra X. We use the concept of congruence relation with respect to ideals to construct a uniformity that induces a topology on X which makes this to a topological difference algebras. We study the properties of this topology regarding different ideals.

• 호남수학학술지
• /
• 제28권3호
• /
• pp.343-351
• /
• 2006

In this paper, we study decompositions of weak ideals in difference algebras and obtain equivalent conditions for closed weak ideals. Moreover, we show that if I is an ideal of a difference algebra X, then $I^g$ is an ignorable weak ideal of X.

• 대한수학회논문집
• /
• 제24권1호
• /
• pp.29-40
• /
• 2009

Motivated by [Linear Algebra and its Appl. 420(2007), 218-227] and [Linear Algebra and its Appl. 425(2007), 171-183], we, in this paper, study the solvability of periodic boundary value problems of higher order nonlinear functional difference equations with p-Laplacian. Sufficient conditions for the existence of at least one solution of this problem are established.

• 대한수학교육학회지:수학교육학연구
• /
• 제20권3호
• /
• pp.275-292
• /
• 2010

본 연구는 조기대수(Early Algebra)의 연구 동향을 살펴보고, 대수와 관련된 교과의 본질에 대한 탐구를 통하여 조기대수지도에 접근할 수 있는 여러 가지 방법을 논의하였다. 산술과 대수는 형태상 유사하고 대수를 산술의 연장선이라고 보는 관점이 우세하나, 산술과 대수의 근본적인 목적과 기호와 문자의 역할에 있어서 차이가 있다는 인식 또한 제기된다. 또한, 역사적으로 기하가 대수의 출발점이었다는 인식을 할 수 있었다. 본 연구자는 이에 따라 조기대수에 접근할 수 있는 가능성 있는 여러 가지 방향을 도출해 내었다. 조기대수 지도를 위하여 (1) 아동들의 비형식적인 전략을 고려하기 (2) 대수적 관계를 고려한 산술추론하기 (3) 기하적 문제 상황에서 대수추론을 시작하기 (4) 문자와 식의 도구를 제공하기 등을 통하여 조기대수 교육에 접근할 수 있다.

• 대한수학회논문집
• /
• 제18권2호
• /
• pp.207-214
• /
• 2003

There exist two distinct Symmetric differences in a non Boolean orthomodular lattics. Let L be an orthomodular lattice. Then L is a Boolean algebra if and only if one symmetric difference is equal to the other. An orthomodular lattice L is Boolean if and only if one of two symmetric differences of L is associative.

• 대한전자공학회논문지
• /
• 제18권1호
• /
• pp.25-34
• /
• 1981

부울 미분의 개념을 응용하여, Allen-Givone implementation oriented algebra에 의한 다치 논리 회로내의 결함을 해석했다. 회로내의 모든 라인을 그 성질에 따라 다섯 가지 유형으로 분류하였으며 각 유형별로 완전한 테스트 세트를 표현하는 식을 유도하고 증명했다. 이들 식의 실제 응용예의 결과는 진리표와의 비교에 따라 옳음이 확인되었다.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2014년도 춘계학술대회
• /
• pp.238-240
• /
• 2014

클라우드 컴퓨팅은 소프트웨어를 서비스로서 사용할 수 있도록 하는 SaaS 프레임워크를 포함한다. 기존의 서비스가 있음에도 테넌트와 용도의 차이에 따라 서비스 제공자가 서비스를 다시 구축한다면 비용이나 관리적 측면에서 많은 자원을 요구하게 된다. 이에 우리는 기존 소프트웨어를 재사용 할 수 있도록 프로세스 알제브라를 이용하여 분석하는 기법을 제안한다. process algebra는 소프트웨어의 구조를 분석하고, 이를 비즈니스 프로세스나 다른 언어로 표현할 수 있으며, 재사용할 수 있는지 검증할 수 있다. process algebra 중 CCS(Calculus of Communicating Systems)는 비즈니스 프로세스나 XML로 변환하기 유용하므로, 이를 이용하여 프로세스를 구조화하고, 구조화된 명세를 비교 및 관리를 위한 메타 저장소를 제안한다.

• 대한수학회논문집
• /
• 제18권4호
• /
• pp.635-641
• /
• 2003

The notion of negative difference on a poset is introduced, and the interrelations between FI-algebras and posets with negative difference are discussed.