• Journal of the Korean Society of Groundwater Environment
• /
• v.5 no.3
• /
• pp.123-128
• /
• 1998

Leaky aquifer (two-aquifer) system in this study consist of an upper unconfined and a lower confined aquifer with a leaky layer between them. It is assumed that water is withdrawn from the confined aquifer of the aquifer system, the upper unconfined aquifer will be affected by the leaky aquifer separating the upper and lower aquifer. In order to analyze the leaky aquifer, the determination of hydraulic parameters is needed. In this paper, hydraulic parameters are suggested by improved SM (slope-matching) method. To know variation of groundwater head in leaky aquifer systems, an numerical scheme is made using the finite difference method. To verify the numerical scheme, its solution is compared to analytical one. The solution of them agrees well in one-dimensional system at steady-state condition. And heads of groundwader are computed upper and lower aquifer in two-dimensional system.

• Communications of Mathematical Education
• /
• v.23 no.2
• /
• pp.399-428
• /
• 2009

2007 Renewed Korea Elementary Mathematics Curriculum introduce algebra 6th grade. According to many studies about introducing algebra, it is desirable to teach 6th graders algebra through generalization of patterns. In this study, 6th graders' understanding processes and difficulties in pattern generalization were analyzed and possiblities of introducing algebra to 6th graders through pattern generalization were examined.

• Journal for History of Mathematics
• /
• v.21 no.4
• /
• pp.61-78
• /
• 2008

In this paper, we discuss about De Morgan's view on the development of algebra according to following distinctions: arithmetic, universal arithmetic, symbolic algebra, significant algebra. De Morgan thought that the differences between arithmetic and universal arithmetic lie in the usage of letters and the immediate performance of computation. In his viewpoint, universal arithmetic is a transitional phase, in which absurd phenomena occur, from arithmetic to algebra and these absurd phenomena call for algebra. The feature of De Morgan's view on the development of algebra is that symbolic calculus which consist of symbol system without symbol's meaning is acquired, then as extended meanings are furnished to symbols, symbolic calculus become logical so significant calculus is developed. For example, Single algebra is developed, as an extended meaning is furnished to a symbol -1, and double algebra is developed, as an extended meaning is furnished to a symbol $\sqrt{-1}$. According to De Morgan, a symbol system is derived from the incompleteness of a prior symbol system.

• Economic and Environmental Geology
• /
• v.30 no.5
• /
• pp.433-442
• /
• 1997

A dual-permeability fractal model of fluid flow is proposed. The model simulates groundwater flow in fissured dual aquifer system composed of Aquifer 1 and Aquifer 2. For this model. groundwater flow originates only from Aquifer 1 on the pumping well. The model considers wellbore storage and skin effects at the pumping well and then shows exact drawdown at the early time of pumping. Type curves for different flow dimensions and for two cases are presented and analyzed. The case 1 represents the aquifer system which consists of Aquifer 1 with low permeability and high specific storage and Aquifer 2 with high permeability and low specific storage. The case 2 is inverse to the case 1. Dimensionless drawdown curves in Aquifer 1 and Aquifer 2 shows characteristic trend each other. Consequently, the model will be useful to analyze pumping test data of different draw down patterns on the pumping well and observation wells.

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

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

• Proceedings of the Korean Society of Soil and Groundwater Environment Conference
• /
• 2002.09a
• /
• pp.129-133
• /
• 2002

본 고에서는 지하 대수층 생태계 및 그에 대한 외국의 연구사례를 개괄하여 소개하고, 지속가능한 지하수 개발에 있어서 대수층 생물이 갖는 의미에 대하여 고찰하였다. 아울러 국내에서 발견된 대수층 생물을 소개하고 향후 연구방향을 설정하였다. 지하 대수층은 다양한 생물로 구성된 독특한 생태계를 가지고 있다. 생물학적 평형상태를 유지하는 경우 이 생태계는 대수층이 장기간 양호한 수질을 유지할 수 있는 기능을 가진다. Parabathynellidae, Parastenocaris 및 선충류의 발견을 통해서 고령군 다산면 대수층이 지하수 생태계 연구를 위한 적합한 대상임이 확인되었다. 향후 연구방향으로서 1) 지하수 동물상 조사, 2) 생태계 구성원에 대한 Autecology 및 Synecology적 접근, 3) Bioremediation 및 Bioindicator 관련 연구 등이 제시되었다.

• 한국신재생에너지학회:학술대회논문집
• /
• 2009.11a
• /
• pp.556-560
• /
• 2009

개별 대수층에 냉수와 온수를 저장하여 수자원과 냉난방 열원으로 활용하는 방안에 대한 평가를 지열-지하수 부정류 모델링을 통해 수행하였다. 저장 및 회수 가동 시간이 증가함에 따라서 각각의 대수층 내에 온열과 냉열이 축열되는 현상이 확인되었으며, 지하수 유동에 의해 축열된 수체가 지하수 흐름방향으로 이동하는 현상을 확인 하여 지하수 유동이 축열 정도를 결정하는 요인이 될 수 있음을 확인하였다. 설정된 모델에 대하여, 두 개의 개별 대수층 사이의 열 간섭은 거의 없는 것으로 나타났다. 주입과 양수의 가동 횟수가 증가되면, 대수층 축열 효과는 증대되는 것으로 나타났다. 열-지하수 모델링을 통한 온도 예측은 실제 냉난방의 효율성을 결정짓는 수온을 정량적으로 계산할 수 있는 유용한 기술로 평가됨과 더불어, 수자원의 지하 저장을 통해 효율적으로 물을 확보하고 관리할 수 있는 방안이 될 수 있을 것으로 기대된다.

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

밀양지역 지하수의 계절별 수위변동 특성을 파악하기 위하여 500여개 공을 대상으로 총3회 측정하였다. 봄에서 늦가을까지의 시기별로 측정된 현장지하수위 자료를 이용하여 밀양시 전역의 충적층 및 암반 대수층의 지하수위 등치선도를 작성하였다. 지구통계기법을 이용하여 작성된 밀양지역의 지하수위 등치선도는 계절별로는 큰 변동이 없었으나, 충적대수층과 암반대수층에서의 지하수위 분포양상은 다르게 나타났다. 계절적인 지하수위 변동이 약한 것은 밀양지역의 지하구는 대부분이 농업용수로 이용되고 봄과 가을에는 용수 사용량이 비슷하며, 여름에는 강수량은 맑지만 농업용수의 사용량이 증가하여 함양량이 크지 않기 때문이다. 대수층유형에 따른 지하수위는 암반대수층의 피압 정도와 충적 및 암반 지하수공들의 공간적인 분포 양상에 따라서 영향을 받고 있는 것으로 나타났다.

• Korean Journal of Logic
• /
• v.21 no.2
• /
• pp.155-174
• /
• 2018

This paper deals with Kripke-style semantics, which will be called algebraic Kripke-style semantics, for weakly associative fuzzy logics. First, we recall algebraic semantics for weakly associative logics. W next introduce algebraic Kripke-style semantics, and also connect them with algebraic semantics.

• Korean Journal of Logic
• /
• v.21 no.3
• /
• pp.353-371
• /
• 2018

This paper deals with Routley-Meyer-style semantics, which will be called algebraic Routley-Meyer-style semantics, for the fuzzy logic system MTL. First, we recall the monoidal t-norm logic MTL and its algebraic semantics. We next introduce algebraic Routley-Meyer-style semantics for it, and also connect this semantics with algebraic semantics.