• 한국콘텐츠학회:학술대회논문집
• /
• 한국콘텐츠학회 2017년도 춘계 종합학술대회 논문집
• /
• pp.431-432
• /
• 2017

고전 논리의 연산이 집합의 연산과 밀접하게 관련되어 있는 것과 같이 양자논리(quantum logic)는 힐버트 공간(Hilbert space)의 닫힌부분공간(closed subspace)의 연산과 관련되어 있다. 닫힌부분공간들의 집합은 직교모듈로 격자(orthomodular lattice)를 이루고, von Neumann과 Birkhoff를 포함하여 많은 수학자들은 양자논리의 수학적 체계를 만들기 위해 직교모듈로 격자를 이용하였다. 일반 격자(lattice)에서 논리적 함의(implication)는 $x{\rightarrow}y={\neg}x{\vee}y$에 의해 일의적으로 정의되지만 직교모듈로 격자에서는 6개의 서로 다른 논리적 함의가 정의되는 것으로 알려져 있다. 본 논문에서는 직교모듈로 격자에서 정의되는 3개의 논리적 함의를 소개하고 이들 사이의 관계를 조사한다.

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

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

• 한국콘텐츠학회:학술대회논문집
• /
• 한국콘텐츠학회 2013년도 춘계 종합학술대회 논문집
• /
• pp.369-370
• /
• 2013

Orthomodular lattice is a mathematical description of quantum theory which is based on the family CS(H) of all closed subspaces of a Hilbert space H. A partial multiplier is a function F from a non-empty subset D of a commutative semigroup A into A such that F(x)y = xF(y) for every elements x, y in A. In this paper, we define the notion of multipliers on orthomodular lattices and give some properties of multipliers. Also, we characterize some properties of orthomodular lattices by multipliers.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2005년도 춘계학술대회 논문집
• /
• pp.385-390
• /
• 2005

LMTT(Linear Motor-based Transfer Technology)는 항만 자동화를 위한 수평 이송 시스템이며, 셔틀카(shuttle car)와 격자구조의 레일에 부착된 스테이터 모듈(stator module)로 구성된 PLMSL(Permanent Magnetic Linear Synchronous Motor)에 의해 구동된다. 본 논문에서는 LMTT시스템 부품인 이동체(mover)의 경량화를 위하여 직교배열표 및 크리깅 방법을 이용하여 최적설계를 수행한다. 설계변수로는 가로빔, 세로빔, 휠빔의 두께와 높이 방향의 치수를 결정하는 형상변수를 포함시켰다. 목적함수로는 중량, 제한조건 함수로는 안전율이 고려된 응력으로 설정하였다. 본 연구에서 제시된 방법으로 구한 최적해를 민감도기반 최적설계로 구해진 최적해와 비교, 검토하였다.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2005년도 추계학술대회 논문집
• /
• pp.289-295
• /
• 2005

LMTT(Linear Motor-based Transfer Technology)는 항만 자동화를 위한 수평 이송 시스템이며, 셔틀카(shuttle car)와 격자구조의 레일에 부착된 스테이터 모듈(stator module)로 구성된 PMLSM(Permanent Magnetic Linear Synchronous Motor)에 의해 구동된다. 본 논문에서는 LMTT시스템에서 컨테이너 운반을 담당하는 셔틀카(shuttle car)를 구성하는 부품인 이동체(mover)의 경량화를 위하여 직교배열표 및 크리깅 방법을 이용하여 최적설계를 수행한다. 설계변수로는 가로빔, 세로빔, 휠빔의 두께를 제한조건 함수로는 안전율이 고려된 응력을 넘지 않도록 설정하였다. 목적함수로는 중량을 설정하였다. 본 연구에서 제시된 방법으로 구한 최적해는 크리깅 내삽법(Kriging interpolation)으로 알려진 DACE(Design and Analysis of Computer Experiments) 모델을 엑셀(Excel)로 수식화하고 구했으며, GENESIS를 이용하여 민감도기반 최적설계로 구해진 최적해와 비교 및 검토하였다.