• Proceedings of the Korea Contents Association Conference
• /
• 2017.05a
• /
• 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개의 논리적 함의를 소개하고 이들 사이의 관계를 조사한다.

• Journal of Convergence for Information Technology
• /
• v.7 no.3
• /
• pp.65-71
• /
• 2017

The quantum logic was introduced by G. Birkhoff and 1. von Neumann in order to study projections of a Hilbert space for a formulation of quantum mechanics, and Husimi proposed orthomodular law and orthomodular lattices to complement the quantum logic. Abott introduced orthoimplication algebras and its properties to investigate an implication of orthomodular lattice. The commuting relation is an important property on orthomodular lattice which is related with the distributive law and the modular law, etc. In this paper, we define a binary operation on orthoimplication algebra and the greatest lower bound by using this operation and research some properties of this operation. Also we define a homomorphism and characterize the commuting relation of orthoimplication algebra by the homomorphism.

• Proceedings of the Korea Contents Association Conference
• /
• 2013.05a
• /
• 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.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• v.29 no.1
• /
• pp.385-390
• /
• 2005

LMTT (Linear Motor-based Transfer Techn-ology) is a horizontal transfer system for the yard automation, which has been proposed to take the place of AGV (Automated Guided Vehicle) in the maritime container terminal. The system is based on PLMSL (Permanent Magnetic Linear Synchronous Motor) that consists of stator modules on the rail and shuttle car. It is desirable to reduce the weight of LMTT in order to control the electronic devices with minimum energy. In this research, the DACE modeling, known as the one of Kriging interpolation, is introduced to obtain the surrogate approximation model of the structural responses. Then, the GRG(Generalized Reduced Gradient) method built in Excel is adopted to determine the optimum. The objective function is set up as weight. On the contrary, the design variables are considered as transverse, longitudinal and wheel beam's thicknesses, and the constraints are the maximum stresses generated by four loading conditions.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2005.10a
• /
• pp.289-295
• /
• 2005

LMTT (Linear Motor-based Transfer Techn-ology) is a horizontal transfer system for the yard automation This system is based on PMLSM (Permanent Magnetic Linear Synchronous Motor) toot consists of stator modules on the rail and shuttle car. In this research, the kriging interpolation method with sequential sampling find the optimum design of mover in LMTT. The design variables are considered as the transverse, longitudinal and wheel beam's thicknesses. The objective function is set up as weight, while the constant function are set up as the stresses generated by four loading conditions. The objective function is set up as weight. The optimum results obtained by the suggested method are compared with those by the GENESIS.