• Proceedings of the Korea Society for Simulation Conference
• /
• 1999.04a
• /
• pp.237-241
• /
• 1999

본 논문은 이산사건 시스템 모델링에 관계대수를 이용함으로써 이산사건 시스템 모델을 시뮬레이션 할 때 data consistency를 보장하는 방법을 다룬다. 복잡한 이산사건 시스템은 모델링 및 분석에 형식론적인 프레임웍이 필요하며 모델의 추상화와 재사용이 용이한 DEVS형식론이 널리 사용되고 있다. 본 논문에서는 DEVS 형식론으로 기술된 모델을 정보의 손상 없이 관계대수형 모델로 변환하여 관계대수형 이산사건 모델로써 이용하는 방법론을 제시한다.

• Proceedings of the Korea Contents Association Conference
• /
• 2018.05a
• /
• pp.381-382
• /
• 2018

격자함의 대수와 헤이팅 대수는 부울 대수를 일반화한 논리체계이며 논리적 함의(${\rightarrow}$)를 이항연사자로 갖는 대수적 체계를 갖는다. 본 논문에서는 격자함의 대수와 헤이팅 대수가 서로 다른 대수체계를 갖는다는 것을 예로 보이고, 이들의 차이점을 조사한다. 또한 격자함의 대수, 헤이팅 대수, 그리고 부울 대수의 관계를 알아본다.

• Proceedings of the Korean Society of Soil and Groundwater Environment Conference
• /
• 2003.04a
• /
• pp.292-295
• /
• 2003

제주도 전역의 88개소에서 측정한 양수시험자료를 분석하여 투수량계수를 산출하였으며, 투수량계수계수와 비양수량의 관계식을 산출하였다. 제주도의 화산암 대수층은 대체로 투수성이 크고 대수층의 상.하부로부터 상당량의 지하수가 공급되므로 누수피압대수층이 적합한 모델로 판단된다. 투수량계수는 0.405~1038.52m$^2$/d로서 넓은 범위에 걸쳐서 분포하며 이는 제주도 화산 암의 투수성이 지역에 따라 다양하다는 것을 의미한다. 비양수량(Q/s)-투수량계수(T) 관계식은 T = 0.582(Q/s)$^{0.974}$ 로 계산되었으며, 이 관계식은 지역적으로 투수량계수 산출이 불가능할 경우에 비양수량만으로 투수량계수를 추정하는데 이용될 수 있다.

• Journal for History of Mathematics
• /
• v.20 no.1
• /
• pp.73-82
• /
• 2007

This paper delineates some history and developments of Wajsberg hoops, MV-algebras and commutative BCK-algebras. It also discuss some relations on them. Finally, it shows that every Wajsberg hoop is a commutative BCK-algebra.

• Journal of Educational Research in Mathematics
• /
• v.20 no.3
• /
• pp.275-292
• /
• 2010

In this study, we discussed the way to teach algebra earlier through investigating to research trends of Early Algebra and researching about nature of subject involving algebra. There is a strong view that arithmetic and algebra have analogous forms and that algebra is on extension to arithmetic. Nevertheless, it is also possible to present a perspective that the fundamental goal and role of symbols and letters are difference between arithmetic and algebra. And, we could recognize that geometry was starting point of algebra trough historical perspectives. To consider these, we extracted some of possible directions to approaches to teach algebra earlier. To access to teaching algebra earlier, following ways are possible. (1) To consider informal strategy of young children. (2) Arithmetic reasoning considered of the algebraic relation. (3) Starting to algebraic reasoning in the context of geometrical problem situation. (4) To present young students to tool of letters and formular.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2023.05a
• /
• pp.522-522
• /
• 2023

지하수 시스템의 방출은 저지대 강에서 건조기에 흐르는 하천 유지유량의 원천이 된다. 수자원 분야에서 분포형 모형이 도입되며 수문 분석의 고도화가 이루어지고 있는 오늘날에도, 아직 대수층 깊이 등 지하수관련 매개변수에 대한 연구는 미진한 실정이다. 본 연구는 분포형 모형의 지하수 관련 매개변수 중 지형자료에 해당하는 대수층 깊이의 물리적인 분포형태를 예측하고, 지하수 모의결과를 검토하여 해당 기법의 적용성을 확인하였다. 본 연구에서는 북측의 미계측 유역을 포함한 소양강 유역을 연구대상 지역으로 설정하였고, 정밀한 분포형 모형인 GSSHA(Gridded Surface Hydrologic Analysis)를 활용하였다. 대수층 깊이 추정 방법은 크게 세가지 시나리오로 구분하여 모의를 진행하였다. 유역의 지하수 데이터를 통해 도출된 대수층깊이 등분포(시나리오1), 지표 고도와 대수층 깊이의 선형 반비례 관계를 가정한 선형 회귀식(시나리오2), 동일한 가정을 두고 Log차원에서 회귀식을 적용한 경우(시나리오 3). 위 3가지 시나리오를 통해 산정된 유출량과, 지하수 수위 등을 소양강댐 유입량 자료 및 유역 내 6개 지하수 관측소를 대상으로 결과를 비교하여 적용성을 확인하였다. 시나리오별 유출량 모의 오차평가 결과, 관측 첨두 유량을 가장 잘 반영하고 있는 기법은 일반적으로 선행 연구에서 많이 활용하고 있는 등분포형 기법으로 분석되었으며, 과소·과대 모의된 정도를 나타내는 지표와 모형의 효율성을 나타내는 지표는 선형 회귀분석 기법이 가장 우수한 결과로 분석되었다. 따라서, 대수층 깊이를 등분포하여 모의하던 기존 방식에 비해 지면고도-대수층깊이 간의 반비례 관계를 적용하는 방식이 지하수 모의에 있어서 보다 합리적일 것으로 판단된다. 향후 임의의 인자와 대수층 깊이간의 정밀한 회귀관계를 도출한다면 더욱 합리적이고 신뢰성 높은 결과를 얻을 수 있을것으로 기대된다. 또한 유역 단위의 지하수 모의가 정밀하게 이루어진다면 최근 많은 관심이 집중되는 하천 유지유량과 건기 유출 등의 연구 분야에도 많은 기여를 할 수 있을 것으로 기대된다.

• The Journal of the Acoustical Society of Korea
• /
• v.17 no.4
• /
• pp.54-59
• /
• 1998

이 논문에서는 등간격 선배열 감지기를 사용하여 근거리 표적의 위치 추정을 하는 연산량이 적은 효과적인 대수적 경로 추종 알고리듬을 제안하였다. 원거리 표적의 방위각 추적 알고리듬으로 근거리 표적의 방위각을 추정하면 추정된 방위각은 실제 근거리 표적의 방위각과 거리의 대수적 관계식으로 주어짐을 보였다. 2차원 MUSIC스펙트럼의 극대값을 찾기 위하여 두 개의 결합된 2차원 다항식으로부터 구한 경로를 추종하는 기존의 방식대신 에 이 대수적 관계식을 경로로 사용한다. L개의 감지기에 M개의 표적 신호가 도달하는 경 우, 제안한 알고리듬은 대수적 경로를 따라 M번의 1차원 탐색을 하므로 2차원 다항식으로 부터 경로를 구하여 2L-2번의 1차원 탐색을 하는 기존의 경로 추종 알고리듬보다 연산량을 줄일 수 있다.

• 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 Korean Society of Soil and Groundwater Environment Conference
• /
• 2002.04a
• /
• pp.342-346
• /
• 2002

불포화 층상 해안 대수층 내에서의 밀도 의존적 지하수 유동 및 염분 이동에 대한 연구를 위해 하나의 지하수 유동-용질 이동 연동 수치 모델이 제시되었다. 이 수치 모델은 밀도 의존적 지하수 유동 지배 방정식, 염분 이동 지배 방정식 및 농도와 밀도의 관계식, 그리고 유한 요소법에 기초하여 개발되었다. 서로 다른 두가지 성질의 불포화 대수층이 고려되었다. 하나는 사질토층 위에 점토층이 존재하는 층상 대수층이고, 다른 하나는 사질토층과 점토층이 혼합된 두가지 물질로 구성된 균질화된 대수층이다. 수치모델의 결과는 층상 불균질성 (layered heterogeneity)가 해안 대수층 내에서의 밀도의존적 지하수 유동과 염분 이동에 있어서 매우 중요한 역할을 하고 있음을 보여준다. 그러한 층상 불균질성의 효과는 사질토층과 점토층과의 현저한 수리학적 및 수리역학적 성질의 차이에 기인한다 따라서 실제 해안 대수층 내에서 관찰되는 점토층을 적절히 고려하는 것이 보다 합리적고 타당한 해안 대수층내에서의 밀도 의존적 지하수 유동 및 염분 이동 해석을 가능하게 할 것이다.

• School Mathematics
• /
• v.5 no.3
• /
• pp.343-360
• /
• 2003

In this paper, we deal with the teaching of algebra based on patterns and generalization. The past algebra curriculum starts with letters(variables), algebraic expressions, and equations, but these formal approaching method has many difficulties in the school algebra. Therefore we insist the new algebraic approaches should be needed. In order to develop these instructions, we firstly investigate the relationship of patterns and algebra, the relationship of generalization and algebra, the steps of generalization from patterns and levels of difficulties. Next we look into the algebra instructions based arithmetic patterns, visual patterns and functional situations. We expect that these approaches help students learn algebra when they begin school algebra.