• 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.

• The Journal of the Acoustical Society of Korea
• /
• v.34 no.5
• /
• pp.394-402
• /
• 2015

CMA (Constant Modulus Algorithm) is one of the well-known algorithms in blind acoustic channel equalization. Generally, CMA converges slowly and the speed of convergence is dependent on a step-size in the CMA procedure. Many researches have tried to speed up the convergence speed by applying a variable step-size to CMA, e.g. the orthogonal projection CMA and algebraic optimal step-size CMA. In this paper, we summarize these two algorithms, and we propose a new CMA with improved convergence performance. The improvement comes from the switching between the orthogonal projection CMA and algebraic optimal step-size CMA. In simulation results, we show the performance improvement in the time invariant channels as well as in time varying channel.

• Communications of Mathematical Education
• /
• v.18 no.2 s.19
• /
• pp.93-108
• /
• 2004

Wassily Leontief가 미국 경제의 모델에 선형 대수를 적용한 이론으로 1973년에 노벨 경제학상을 받은 후로는 인문${\cdot}$사회 과학(특히 상경(商經) 분야)을 전공하는 사람에게도 선형 대수는 큰 관심 분야가 되었다. 그래서 1980년대 부터는 대학의 기초 과목으로써 선형 대수를 가르치는 것은 유행처럼 퍼졌고 또 가르침에 관한 연구도 활발하여졌다. 현행 우리나라의 초${\cdot}$중${\cdot}$고등 학교의 수학과 교육과정(이른바 “제 7차 개정”) 속에는 선형대수의 내용이 어느 정도 있으나 학생들에게 확실한 개념을 갖도록 가르치고 있지 않다. 수직선, 순서 쌍, n-겹수, 직교 좌표, 벡터 등 해석기하적인 내용과 선형 방정식계의 풀이법(가우스${\cdot}$조르단 소거법을 쓰지 않는 풀이법) 등 일반 대수적인 내용은 다루지만 선형 변환, 벡터 공간의 구조 등은 다루지 않는다. m${\sim}$n 행렬은 수학II에 나와 있긴 하나 소개하는 정도에 그친다. 한편 과학 계열 고등학교 학생을 위한 "고급 수학"에는 비교적 많은 양의 선형 대수의 내용이 있다. 일반 계열 고등학교의 수학에서도 선형 대수의 내용을 확장하고 학생들에게 확실한 개념을 갖도록 가르쳐서 이들이 대학에 진학하여 전공 분야에서 아무 어려움이 없도록 하는 것이 바람직하다.

• Proceedings of the Korean Society of Soil and Groundwater Environment Conference
• /
• 2004.04a
• /
• pp.366-369
• /
• 2004

조석의 효과가 대수층에 미치는 해안대수층에서 지하수-기표수 상호작용에 관한 모사를 위해 수치모델링을 이용하였다 모사에 사용한 모델은 하천경계와 해안경계가 서로 직교하며 하천은 대수층을 부분 관통하고 있다. 해안경계와 하천경계에 의한 동시영향을 함께 모사한 결과, 해안경계에 의한 효과는 일정한 범위까지만 나타났으나, 하천경계에 의한 영향은 시간의 증가에 따라 영향범위가 넓어졌다. 하천경계와 해안경계조건이 만나는 부근에서는 해안경계에 의한 지하수위의 반복적인 상승과 하강으로 인해 두 경계조건에 의한 지하수위가 상호 상승작용을 일으키기도 하고 상호 상쇄되어 지하수위의 변화가 없는 엉역이 나타나기도 한다. 따라서 이러한 하천과 해안경계조건이 상호 교차하는 주변 대수층에서의 수위를 측정하여 해안대수층에서의 수리상수를 추정하면 수리확산계수를 과대 혹은 과소평가하는 오류를 범할 수 있으므로 주의를 요한다.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.12 no.5
• /
• pp.1158-1174
• /
• 1988

A numerical technique is developed for the solution of fully developed turbulent recirculating flow in the passage of variable area using the non-orthogonal coordinate transformation. In the numerical analysis, primitive pressure-velocity finite difference equations were solved by SIMPLER algorithm with 2-equation turbulence model and algebraic stress model (ASM). QUICK scheme on the differencing of convective terms which is free from the inaccuracies of numerical diffusion has been applied to the variable grids and the results compared with those from HYBRID scheme. In order to test the effect of streamline curvatures on turbulent diffusion Lee and Choi streamline curvature correction model which has been obtained by modifying the Leschziner and Rodi's model is testes. The ASM was also employed and the results are compared to those from another turbulence model. The results show that difference of convective differencing schemes and turbulence models give significant differences in the prediction of velocity fields in the expansion region and outlet region of the combustor, however show little differences in the parallel flow region.

• Water for future
• /
• v.29 no.5
• /
• pp.215-222
• /
• 1996

An expression for the cross covariance of the logconductivity and the head in nonstationary porous formation is obtained. This cross covariance plays a key role in the inverse problem, i.e., in inferring the statistical characteristics of the conductivity field from head data. The nonstationary logconductivity is modeled as superposition of definite linear trend and stationary fluctuation and the hydraulic head in saturated aquifers is found through stochastic analysis of a steady, two-dimensional flow. The cross covariance with a Gaussian correlation function is investigated for two particular cases where the trend is either parallel or normal to the head gradient. The results show that cross covariances are stationary except along separation distances parallel to the mean flow direction for the case where the trend is parallel to head gradient. Also, unlike the stationary model, the cross covariance along distances normal to flow direction is non-zero. From these observations we conclude that when a trend in the conductivity field is suspected, this information must be incorporated in the analysis of groundwater flow and solute transjport.

• Proceedings of the KIEE Conference
• /
• 2006.10c
• /
• pp.279-281
• /
• 2006

적분연산행렬은 구간연속 직교함수들이 시스템 동정, 해석, 제어기 설계 등의 분야에 널리 이용될 수 있는 계기를 제공하였다. 특히 블럭펄스 함수는 연산이 간단하기 때문에 선형 시변계와 비선형계 등의 제어문제 둥에 널리 이용되어 오고 있다. 본 논문은 기존의 블럭펄스 함수 적분 연산행렬과 비교했을 때 적분오차를 줄이는 적분연산행렬을 소개하였으며, 이를 이용하여 고차 시스템의 응답에 가장 최적한 응답을 갖는 저차 시스템의 응답을 갖도록 최적응답 방법에 적용하여 대수적인 방법으로 저차 시스템의 파라메터를 구하는 알고리즘을 제시함으로서 유용성을 확인하였다.

• Proceedings of the KIEE Conference
• /
• 2005.07d
• /
• pp.2543-2545
• /
• 2005

It is well known that the orthogonal function is a very useful to estimate an unknown inputs in the linear dynamic systems for its recursive algebraic algorithm. At this aspects, derivative operation(matrix) of orthogonal functions(walsh, block pulse and haar) are introduced and shown how it can useful to design an UIO(unknown inputs observer) design.

• Journal of Soil and Groundwater Environment
• /
• v.9 no.4
• /
• pp.32-41
• /
• 2004

Analysis of water-level fluctuation due to goundwater-surface water interaction in coastal aquifers is carried out by numerical modeling. The conceptual model used in this study has a stream boundary and a tidal boundary that forms a right angle and the stream partially penetrates the aquifer. We analyzed the effect of each boundary and the simultaneous effect of the two boundary conditions. The area of influence caused by the stream boundary increased during the simulation, while the influence zone of the coastal boundary was relatively constant. The groundwater level near the zone where two boundaries meet may rise by the action of combined effect of the two boundaries or may not change by cancelling the effect of each boundary. Thereafter, care must be taken when hydraulic parameters are estimated using sinusoidal oscillations of hydraulic head in coastal aquifers. Sensitivity analysis is employed to develop insight into the controls on groundwater level fluctuations. In this study our analyses focused on the effect of conductance and the stream width to the aquifer nearby.

• Proceedings of the KAIS Fall Conference
• /
• 2009.05a
• /
• pp.863-866
• /
• 2009

Ethanol/3-methyl-1-butanol 계에 대하여 정온하 즉 50, 55, 60, 65, 70, 75 및 $80^{\circ}C$에서 2성분 기-액 평형측정치를 측정하였다. 측정된 기-액평형치의 액조성과 비휘발도의 대수치와의 관계를 직교좌표에 plot하면 직선이 이루어지고 온도변화에 대한 각각의 직선이 평형임을 확인하였다. Ethanol/3-methyl-1-butanol 계에 대한 추산식은 각각의 온도변화에 따라 나타내었고 이식들을 이용하여 추산식을 구하였다. 추산식으로부터 구한 추산치와 측정치를 비교 검토한 결과 Ethanol/3-methyl-1-butanol 계에서는 기상조성의 몰분율은 ${\pm}0.00051$[-]의 오차 범위에서 잘 일치하는 것으로 나타났고, modified UNIFAC방법은 실측치와 비교한 평균오차는 ${\pm}0.0022$[-]에서 추산하였다. 따라서 본 연구에서 제안한 추산법이 2성분계 기-액평형치를 추산하는 방법으로 타당함을 확인하였다.