• 융합정보논문지
• /
• 제7권3호
• /
• pp.65-71
• /
• 2017

양자논리는 양자역학을 위한 수학적 구조인 힐버트 공간에서의 사영을 다루기 위해 Birkhoff와 von Neumann에 의해 소개되었고 Husimi는 이 양재논리를 보완하기 위해 직교모듈라의 성질과 직교모듈라 격자를 제안하였다. Abbott은 직교모듈라 격자에서의 함의를 연구하기 위해 직교함의 대수와 그 성질을 소개하였다. 직교모듈라 격자에서 가환관계는 분배법칙과 모듈라 성질 등과 관련된 중요한 성질이다. 본 논문에서는 직교함의 대수에서의 한 이항연산과 이를 이용한 최대하계를 정의하고 그 이항연산의 성질을 밝힌다. 또한 준동형사상을 정의하고 이를 이용하여 직교함의 대수에서의 가환관계를 특성화한다.

• 한국수학사학회지
• /
• 제20권1호
• /
• pp.73-82
• /
• 2007

본 논문은 Wajsberg hoops, BCK-대수와 MV-대수의 도입과 그 발전과정을 간단히 소개하고, Wajsberg hoops, MV-대수, 그리고 가환 BCK-대수의 관계를 살펴본다. 특히 모든 Wajsberg 대수는 가환 BCK-대수가 됨을 규명한다.

• 한국지능시스템학회:학술대회논문집
• /
• 한국지능시스템학회 2007년도 추계학술대회 학술발표 논문집
• /
• pp.292-295
• /
• 2007

센서 네트워크에서 공격자는 훼손된 노드들 이용하여 위조 보고서를 네트워크에 주입할 수 있다. Yang과 Lu는 이러한 위조 보고서를 전달 중에 여과하기 위하여 가환 암호 기반 여과 기법을 제안하였다. 그러나 이 기법에서는 클러스터 헤드가 훼손된 경우에 위조 보고서를 전달 중에 여과할 수 없는 문제가 있다. 본 논문에서는 클러스터 헤드 훼손 여부에 관계없이 보고서를 전달 중에 여과할 수 있는 퍼지 로직 및 가환 암호 기반 위조 보고서 여과기법을 제안한다. 기본적으로 제안된 방법은 가환 암호를 기반으로 감지 보고서를 생성 및 검증하며, 보조 검증 수단으로 대칭 암호를 사용한다. 에너지 소비 절감을 위하여 퍼지 규칙 기반 시스템이 계산 비용이 큰 가환 암호 검증의 확률과 보조 검증 수단 사용 여부를 결정한다.